[Couenne-tickets] [Couenne, a solver for non-convex MINLP problems] #10: Couenne hangs on problem avion2

Wed Apr 6 17:04:48 EDT 2011

#10: Couenne hangs on problem avion2
------------------------+---------------------------------------------------
 Reporter:  Gassmann    |       Owner:  somebody
     Type:  defect      |      Status:  new     
 Priority:  major       |   Milestone:          
Component:  component1  |     Version:  2.0     
 Keywords:              |  
------------------------+---------------------------------------------------
 A user reported trouble with using Couenne through Optimization Services
 on problem avion2. I verified that the problem also exists in the stand-
 alone version of Couenne,

 couenne (Linux 2.6.27-17-generic), ASL(20110308)

 Couenne seems to get stuck in a loop trying to prove optimality:

 ...
 Cbc0010I After 50400 nodes, 7488 on tree, 9.46801e+07 best solution, best
 possible 9.46801e+07 (396.18 seconds)
 Cbc0010I After 50500 nodes, 7497 on tree, 9.46801e+07 best solution, best
 possible 9.46801e+07 (396.83 seconds)
 Cbc0010I After 50600 nodes, 7508 on tree, 9.46801e+07 best solution, best
 possible 9.46801e+07 (397.51 seconds)
 Cbc0010I After 50700 nodes, 7518 on tree, 9.46801e+07 best solution, best
 possible 9.46801e+07 (398.22 seconds)

 No progress has been made since node 900, where an integer solution is
 reported.

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