[Cbc] Bug in CBC - CbcModel::doOneNode
Haroldo Gambini Santos
haroldo.santos at gmail.com
Wed Jul 9 16:57:23 EDT 2014
Hi Forrest,
CBC trunk (compiled with "-O1 -g" ) is exiting at one assertion when
solving a small MIP:
*http://www.decom.ufop.br/haroldo/files/layer2.mps.gz*
(188 rows, 114 columns, 108 of which are binary)
The message is:
*cbc: CbcModel.cpp:15939: int CbcModel::doOneNode(CbcModel*, CbcNode*&,
CbcNode*&): Assertion `feasible' failed.
*
and the stack trace is:
*#3 0x00007ffff5493ee2 in __GI___assert_fail (assertion=0x7ffff78c3acd
"feasible", file=0x7ffff78c066e "CbcModel.cpp",
line=15939,
function=0x7ffff78c3140 <CbcModel::doOneNode(CbcModel*, CbcNode*&,
CbcNode*&)::__PRETTY_FUNCTION__> "int CbcModel::doOneNode(CbcModel*,
CbcNode*&, CbcNode*&)") at assert.c:101
#4 0x00007ffff788f473 in CbcModel::doOneNode (this=this at entry=0x64ee50,
baseModel=baseModel at entry=0x64ee50, node=
@0x7fffffff6bf0: 0xb7d530, newNode=@0x7fffffff6960: 0x0) at
CbcModel.cpp:15939
#5 0x00007ffff7898473 in CbcModel::branchAndBound
(this=this at entry=0x64ee50, doStatistics=doStatistics at entry=0)
at CbcModel.cpp:4553
#6 0x00007ffff7b85e8d in CbcMain1 (argc=argc at entry=2,
argv=argv at entry=0x7fffffffe008, model=...,
callBack=callBack at entry=0x7ffff7b64f17 <dummyCallBack(CbcModel*,
int)>, parameterData=...) at CbcSolver.cpp:6371
#7 0x00007ffff7b97bf8 in CbcMain1 (argc=argc at entry=2,
argv=argv at entry=0x7fffffffe008, model=...,
callBack=callBack at entry=0x7ffff7b64f17 <dummyCallBack(CbcModel*,
int)>) at CbcSolver.cpp:1295
#8 0x00007ffff7b97c0d in CbcMain1 (argc=argc at entry=2,
argv=argv at entry=0x7fffffffe008, model=...) at CbcSolver.cpp:1163
#9 0x0000000000400e4f in main (argc=2, argv=0x7fffffffe008) at
CoinSolve.cpp:336
*
Cheers,
Haroldo
--
==================================================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
http://www.decom.ufop.br/haroldo/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20140709/1ad1edcc/attachment.html>
More information about the Cbc
mailing list