[Bonmin] another assertion in HYB

[Ashutosh Mahajan]

This time in Syn15M04M.nl running HYB.

[mahajan at flogin3 bonmin-1.5.1-minlp-hyb]$ cat bonmin.opt 
bonmin.algorithm                            B-HYB
bonmin.time_limit                           7200.0
bonmin.nlp_log_level                        0
bonmin.bb_log_level                         1
bonmin.bb_log_interval                      1000

[mahajan at flogin3 bonmin-1.5.1-minlp-hyb]$ cat Syn15M04M.out 
Bonmin 1.5.1 using Cbc 2.7.2 and Ipopt 3.10.1


******************************************************************************
This program contains Ipopt, a library for large-scale nonlinear optimization.
 Ipopt is released as open source code under the Eclipse Public License (EPL).
         For more information visit http://projects.coin-or.org/Ipopt
******************************************************************************

OA0003I New best feasible of -408.15457 found after 0.140979 sec and
OA0014I Major iteration 1 ub: -408.15049
OA0003I New best feasible of -408.15457 found after 0.278958 sec and
OA0014I Major iteration 2 ub: -408.15049
OA0003I New best feasible of -408.15457 found after 0.415937 sec and
OA0014I Major iteration 3 ub: -408.15049
Cbc0012I Integer solution of -408.15457 found by nonlinear programm after 76 iterations and 0 nodes (0.43 seconds)
Cbc0031I 52 added rows had average density of 8.8076923
Cbc0013I At root node, 52 cuts changed objective from -9422.7666 to -5864.5586 in 20 passes
Cbc0014I Cut generator 0 (NLP solution based oa cuts) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)
Cbc0014I Cut generator 1 (Mixed Integer Gomory) - 156 row cuts average 43.8 elements, 0 column cuts (46 active)
Cbc0014I Cut generator 2 (Mixed Integer Rounding) - 85 row cuts average 2.8 elements, 0 column cuts (6 active)
Cbc0014I Cut generator 3 (Clique) - 2 row cuts average 3.0 elements, 0 column cuts (0 active)
Cbc0014I Cut generator 4 (Flow Covers) - 24 row cuts average 2.1 elements, 0 column cuts (0 active)
Cbc0014I Cut generator 5 (Feasibility Pump for MINLP.) - 4 row cuts average 3.0 elements, 0 column cuts (0 active)
Cbc0014I Cut generator 6 (Outer Approximation feasibility check.) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)
Cbc0014I Cut generator 7 (Outer Approximation strong branching solution check.) - 0 row cuts average 0.0 elements, 0 column cuts (0 active)
Cbc0010I After 0 nodes, 1 on tree, -408.15457 best solution, best possible -5864.5586 (0.66 seconds)
OA0003I New best feasible of -4903.4785 found after 1.236812 sec and
Cbc0016I Integer solution of -4903.4785 found by strong branching after 1133 iterations and 12 nodes (1.24 seconds)
bonmin: ../../../Cbc/src/CbcBranchDynamic.cpp:551: virtual int CbcBranchDynamicDecision::betterBranch(CbcBranchingObject*, CbcBranchingObject*, double, int, double, int): Assertion `distance >= 0.0' failed.

Cheers.
--
regards
Ashutosh Mahajan
http://coral.ie.lehigh.edu/~asm4