[Coin-lpsolver] Sbb crash

[Jean-Sebastien Roy]

Hi !

While trying some very small MIP (5 variables, 3 constraints) with SBB 
(the current CVS version), SBB crashed sometimes.
I've attached one of the MPS files that I use (crash.mps).
(This problem is infeasible).

The crash occurs when I do:
import crash.mps
presolve on
branch

Here is the log:

$ /opt/js/devel/COIN/Sbb/sbb -
Default solver is clp
Switching to line mode
Sbb:import crash.mps
Coin0001I At line 2 NAME          crash
Coin0001I At line 3 ROWS
Coin0001I At line 8 COLUMNS
Coin0001I At line 39 RHS
Coin0001I At line 43 BOUNDS
Coin0001I At line 49 ENDATA
Coin0002I Problem crash has 3 rows, 5 columns and 15 elements
Sbb:presolve on
Sbb:branch
Clp0009I 1 infeasibilities
assertion "modelC->tightenPrimalBounds()==0" failed: file "SbbMain.cpp", 
line 814
Abort trap (core dumped)

Regards,

js
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: crash.mps
URL: <http://list.coin-or.org/pipermail/clp/attachments/20040314/a7f17a6c/attachment.ksh>