[Couenne-tickets] [Couenne] #32: COUNENNE cannot solve the problem, no any messages

[Couenne]

#32: COUNENNE cannot solve the problem, no any messages
----------------------+----------------------
 Reporter:  design@…  |      Owner:  pbelotti
     Type:  defect    |     Status:  new
 Priority:  major     |  Milestone:
Component:  Couenne   |    Version:
 Keywords:            |
----------------------+----------------------
 {{{
 I have tried to solve problem like that (with 2 variables x and y, and
 with 2 constraints c1 and c2):
 Var x As {-1.5..1.5}
 Var y As {-1e30..1e30}

 Con c1 As tg(x)^3 + ln(sin(x/2.0) + tg(2*x)) - cos(2-y) = 0
 Con c2 As cos(exp(-y)) - 2*y - 0.1*cos(sin(2*x)) = -3

 This problem is one of UNICALC solver examples.

 The problem with tightened variables bounds here:
 http:/np-soft.ru/downloads/couenne/TRIG1.zip

 COIN solvers IPOPT, BONMIN and COUENNE cannot solve it.

 Here is problem with decomposed constraints:
 http:/np-soft.ru/downloads/couenne/np_612_69393248.zip

 IPOPT and BONMIN had found feasible solution. But COUENNE printed several
 messages and stopped:

 C:\Projects\solvers>couenne.exe np_612_69393248.nl
 Couenne 0.4.7 --  an Open-Source solver for Mixed Integer Nonlinear
 Optimization
 Mailing list: couenne at list.coin-or.org
 Instructions: http://www.coin-or.org/Couenne


 It is looks like a bug…
 }}}

--
Ticket URL: <https://projects.coin-or.org/Couenne/ticket/32>
Couenne <https://projects.coin-or.org/Couenne>
Couenne, a solver for non-convex MINLP