[Cbc] CBC crashes with MIPLIB 2010 msc98-ip - CglFlowCover.cpp:1185

[Haroldo Santos]

Hi All,

I've been doing lots of tests with CBC 2.8.8 using MIPLIB 2010 instances.

It is crashing while solving instance msc98-ip (
http://miplib.zib.de/miplib2010/msc98-ip.php).

There is an assert in *CglFlowCover.cpp:1185* which is failing apparently
because an empty cut is being generated.

The relevant part of the stack trace is:

#3  0x00007fc190e22192 in __GI___assert_fail (assertion=0x7fc1935a1c1e
"cutLen", file=0x7fc1935a1bfe "CglFlowCover.cpp", line=1185,
    function=0x7fc1935a2100 "bool CglFlowCover::generateOneFlowCut(const
OsiSolverInterface&, int, int*, double*, char, double, OsiRowCut&,
double&)")
    at assert.c:103
#4  0x00007fc1934f475c in CglFlowCover::generateOneFlowCut (this=<optimized
out>, si=..., rowLen=<optimized out>, ind=<optimized out>, coef=0xbc6d080,
    sense=<optimized out>, rhs=48, flowCut=..., violation=@0x7fff058a6a60:
0.45575080610249774) at CglFlowCover.cpp:1185
#5  0x00007fc1934f4b76 in CglFlowCover::generateCuts (this=0x1d291be0,
si=..., cs=..., info=...) at CglFlowCover.cpp:320
#6  0x00007fc193c45625 in CbcCutGenerator::generateCuts (this=0x12e92580,
cs=..., fullScan=<optimized out>, solver=0x10aa67d8, node=0x0)
    at CbcCutGenerator.cpp:306
#7  0x00007fc193c94518 in CbcModel::serialCuts (this=0x2611e10,
theseCuts=..., node=0x0, slackCuts=..., lastNumberCuts=368) at
CbcModel.cpp:9313
#8  0x00007fc193c96e3a in CbcModel::solveWithCuts (this=0x2611e10,
cuts=..., numberTries=15, node=0x0) at CbcModel.cpp:7954
#9  0x00007fc193c9f9c9 in CbcModel::branchAndBound (this=<optimized out>,
doStatistics=0) at CbcModel.cpp:2905
#10 0x00007fc193f82c06 in CbcMain1 (argc=10, argv=0x7fff058b1198,
model=..., callBack=0x7fc193f6c1a0 <dummyCallBack(CbcModel*, int)>)
    at CbcSolver.cpp:6171
#11 0x0000000000400be3 in main (argc=10, argv=0x7fff058b1198) at
CoinSolve.cpp:336




-- 
=============================================================
Haroldo Gambini Santos
Computing Department
Universidade Federal de Ouro Preto - UFOP
email: haroldo [at ] iceb.ufop.br
home/research page: www.decom.ufop.br/haroldo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20140201/dd9fe677/attachment.html>