<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Hi,<br>
<br>
I've got this small MIP:<br>
<a class="moz-txt-link-freetext" href="http://www.decom.ufop.br/haroldo/files/layer2.mps">http://www.decom.ufop.br/haroldo/files/layer2.mps</a><br>
<br>
Where CBC (current trunk, revision 2070) fails:<br>
<tt>Cbc0038I Full problem 185 rows 111 columns, reduced to 77 rows
38 columns</tt><tt><br>
</tt><font color="#990000"><b><tt>cbc: CbcModel.cpp:16111: int
CbcModel::doOneNode(CbcModel*, CbcNode*&, CbcNode*&):
Assertion `feasible' failed.</tt></b></font><br>
<br>
Here goes the stack trace:<br>
<tt><font color="#000066">(gdb) backtrace <br>
#0 0x00007f48bdb7cbb9 in __GI_raise (sig=sig@entry=6)<br>
at ../nptl/sysdeps/unix/sysv/linux/raise.c:56<br>
#1 0x00007f48bdb7ffc8 in __GI_abort () at abort.c:89<br>
#2 0x00007f48bdb75a76 in __assert_fail_base (<br>
fmt=0x7f48bdcc7370 "%s%s%s:%u: %s%sAssertion `%s'
failed.\n%n", <br>
assertion=assertion@entry=0x7f48bffafa56 "feasible", <br>
file=file@entry=0x7f48bffac50e "CbcModel.cpp",
line=line@entry=16111, <br>
function=function@entry=0x7f48bffaf080
<CbcModel::doOneNode(CbcModel*, CbcNode*&,
CbcNode*&)::__PRETTY_FUNCTION__> "int
CbcModel::doOneNode(CbcModel*, CbcNode*&, CbcNode*&)")
at assert.c:92<br>
#3 0x00007f48bdb75b22 in __GI___assert_fail
(assertion=0x7f48bffafa56 "feasible", <br>
file=0x7f48bffac50e "CbcModel.cpp", line=16111, <br>
function=0x7f48bffaf080 <CbcModel::doOneNode(CbcModel*,
CbcNode*&, CbcNode*&)::__PRETTY_FUNCTION__> "int
CbcModel::doOneNode(CbcModel*, CbcNode*&, CbcNode*&)")
at assert.c:101<br>
#4 0x00007f48bff75ad3 in CbcModel::doOneNode
(this=this@entry=0x9c7330, <br>
baseModel=baseModel@entry=0x9c7330, node=@0x7fffdc20bd30:
0xe8e6d0, <br>
newNode=@0x7fffdc20ba50: 0x0) at CbcModel.cpp:16111<br>
#5 0x00007f48bff7ef08 in CbcModel::branchAndBound
(this=this@entry=0x9c7330, <br>
doStatistics=doStatistics@entry=0) at CbcModel.cpp:4581<br>
#6 0x00007f48c0274c79 in CbcMain1 (argc=argc@entry=5,
argv=argv@entry=0x7fffdc213168, <br>
model=..., callBack=callBack@entry=0x7f48c0252787
<dummyCallBack(CbcModel*, int)>, <br>
parameterData=...) at CbcSolver.cpp:6666<br>
#7 0x00007f48c0287018 in CbcMain1 (argc=argc@entry=5,
argv=argv@entry=0x7fffdc213168, <br>
model=..., callBack=callBack@entry=0x7f48c0252787
<dummyCallBack(CbcModel*, int)>)<br>
at CbcSolver.cpp:1295<br>
#8 0x00007f48c028702d in CbcMain1 (argc=argc@entry=5,
argv=argv@entry=0x7fffdc213168, <br>
model=...) at CbcSolver.cpp:1163<br>
#9 0x0000000000400e4f in main (argc=5, argv=0x7fffdc213168) at
CoinSolve.cpp:336<br>
<br>
</font></tt><br>
<br>
<pre class="moz-signature" cols="72">--
==================================================
Haroldo Gambini Santos
D.Sc, Computer Science
Universidade Federal de Ouro Preto
<a class="moz-txt-link-freetext" href="http://www.decom.ufop.br/haroldo/">http://www.decom.ufop.br/haroldo/</a></pre>
</body>
</html>