[Cbc-tickets] [COIN-OR Branch-and-Cut MIP Solver] #124: crash on small instance

[COIN-OR Branch-and-Cut MIP Solver]

#124: crash on small instance
-------------------+-----------------
Reporter:  mlubin  |      Owner:  tkr
    Type:  defect  |     Status:  new
Priority:  major   |  Component:  Cbc
 Version:  2.7     |   Keywords:
-------------------+-----------------
 Cbc 2.7.6 crashes at the root node on the instance at
 http://www.mcs.anl.gov/~mlubin/cbccrash.mps.

 {{{
 ...
 Cbc0038I Before mini branch and bound, 81 integers at bound fixed and 1
 continuous
 Cbc0038I Full problem 23 rows 95 columns, reduced to 5 rows 10 columns
 Cbc0038I Mini branch and bound did not improve solution (0.01 seconds)
 Cbc0038I After 0.01 seconds - Feasibility pump exiting with objective of
 116.2 - took 0.01 seconds
 Cbc0012I Integer solution of 116.2 found by feasibility pump after 0
 iterations and 0 nodes (0.01 seconds)
 Cbc0038I Full problem 23 rows 95 columns, reduced to 2 rows 3 columns
 Cbc0038I Full problem 23 rows 95 columns, reduced to 0 rows 0 columns
 terminate called after throwing an instance of 'CoinError'
 }}}

 Debugging indicates that the crash is inside of CglProbing (hard to tell
 if this is a Cgl bug or a Cbc bug).

-- 
Ticket URL: <https://projects.coin-or.org/ticket/124>
COIN-OR Branch-and-Cut MIP Solver <http://projects.coin-or.org/Cbc>
An LP-based branch-and-cut MIP solver.