COUNENNE cannot solve the problem, no any messages

[svigerske]

Issue created by migration from Trac.

Original creator: design@np-soft.ru

Original creation time: 2015-05-04 16:00:10

Assignee: @merraksh

Version:

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`@`list.coin-or.org
Instructions: http://www.coin-or.org/Couenne

It is looks like a bug…

[svigerske]

Comment by @merraksh created at 2015-05-09 18:12:03

Thanks for reporting. Couenne segfaults on this apparently simple problem. I'll try to fix it.

[svigerske]

Comment by @merraksh created at 2015-05-13 00:19:28

Should be fixed now in trunk and stable/0.*. Created release/0.5.5 and 0.4.10 with the fix.

[svigerske]

Comment by @merraksh created at 2015-05-13 00:19:28

Resolution: fixed