[Cbc] Assertion `feasible' failed in small MIP
Haroldo Gambini Santos
haroldo.santos at gmail.com
Fri Sep 12 23:17:39 EDT 2014
Hi,
I've got this small MIP:
http://www.decom.ufop.br/haroldo/files/layer2.mps
Where CBC (current trunk, revision 2070) fails:
Cbc0038I Full problem 185 rows 111 columns, reduced to 77 rows 38 columns
*cbc: CbcModel.cpp:16111: int CbcModel::doOneNode(CbcModel*, CbcNode*&,
CbcNode*&): Assertion `feasible' failed.*
Here goes the stack trace:
(gdb) backtrace
#0 0x00007f48bdb7cbb9 in __GI_raise (sig=sig at entry=6)
at ../nptl/sysdeps/unix/sysv/linux/raise.c:56
#1 0x00007f48bdb7ffc8 in __GI_abort () at abort.c:89
#2 0x00007f48bdb75a76 in __assert_fail_base (
fmt=0x7f48bdcc7370 "%s%s%s:%u: %s%sAssertion `%s' failed.\n%n",
assertion=assertion at entry=0x7f48bffafa56 "feasible",
file=file at entry=0x7f48bffac50e "CbcModel.cpp", line=line at entry=16111,
function=function at entry=0x7f48bffaf080
<CbcModel::doOneNode(CbcModel*, CbcNode*&,
CbcNode*&)::__PRETTY_FUNCTION__> "int CbcModel::doOneNode(CbcModel*,
CbcNode*&, CbcNode*&)") at assert.c:92
#3 0x00007f48bdb75b22 in __GI___assert_fail (assertion=0x7f48bffafa56
"feasible",
file=0x7f48bffac50e "CbcModel.cpp", line=16111,
function=0x7f48bffaf080 <CbcModel::doOneNode(CbcModel*, CbcNode*&,
CbcNode*&)::__PRETTY_FUNCTION__> "int CbcModel::doOneNode(CbcModel*,
CbcNode*&, CbcNode*&)") at assert.c:101
#4 0x00007f48bff75ad3 in CbcModel::doOneNode (this=this at entry=0x9c7330,
baseModel=baseModel at entry=0x9c7330, node=@0x7fffdc20bd30: 0xe8e6d0,
newNode=@0x7fffdc20ba50: 0x0) at CbcModel.cpp:16111
#5 0x00007f48bff7ef08 in CbcModel::branchAndBound
(this=this at entry=0x9c7330,
doStatistics=doStatistics at entry=0) at CbcModel.cpp:4581
#6 0x00007f48c0274c79 in CbcMain1 (argc=argc at entry=5,
argv=argv at entry=0x7fffdc213168,
model=..., callBack=callBack at entry=0x7f48c0252787
<dummyCallBack(CbcModel*, int)>,
parameterData=...) at CbcSolver.cpp:6666
#7 0x00007f48c0287018 in CbcMain1 (argc=argc at entry=5,
argv=argv at entry=0x7fffdc213168,
model=..., callBack=callBack at entry=0x7f48c0252787
<dummyCallBack(CbcModel*, int)>)
at CbcSolver.cpp:1295
#8 0x00007f48c028702d in CbcMain1 (argc=argc at entry=5,
argv=argv at entry=0x7fffdc213168,
model=...) at CbcSolver.cpp:1163
#9 0x0000000000400e4f in main (argc=5, argv=0x7fffdc213168) at
CoinSolve.cpp:336
--
==================================================
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/20140913/5d4eb785/attachment.html>
More information about the Cbc
mailing list