<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Hi Forrest,<br>
<br>
CBC trunk (compiled with "-O1 -g" ) is exiting at one assertion when
solving a small MIP:<br>
<font color="#000066"><a
href="http://www.decom.ufop.br/haroldo/files/layer2.mps.gz"><b>http://www.decom.ufop.br/haroldo/files/layer2.mps.gz</b></a>
<br>
</font>(188 rows, 114 columns, 108 of which are binary)<br>
<br>
The message is:<br>
<b><font color="#cc0000">cbc: CbcModel.cpp:15939: int
CbcModel::doOneNode(CbcModel*, CbcNode*&, CbcNode*&):
Assertion `feasible' failed.<br>
</font></b><br>
and the stack trace is:<br>
<br>
<b><small><tt>#3 0x00007ffff5493ee2 in __GI___assert_fail
(assertion=0x7ffff78c3acd "feasible", file=0x7ffff78c066e
"CbcModel.cpp", </tt><tt><br>
</tt><tt> line=15939, </tt><tt><br>
</tt><tt> function=0x7ffff78c3140
<CbcModel::doOneNode(CbcModel*, CbcNode*&,
CbcNode*&)::__PRETTY_FUNCTION__> "int
CbcModel::doOneNode(CbcModel*, CbcNode*&, CbcNode*&)")
at assert.c:101</tt><tt><br>
</tt><tt>#4 0x00007ffff788f473 in CbcModel::doOneNode
(this=this@entry=0x64ee50, baseModel=baseModel@entry=0x64ee50,
node=</tt><tt><br>
</tt><tt> @0x7fffffff6bf0: 0xb7d530, newNode=@0x7fffffff6960:
0x0) at CbcModel.cpp:15939</tt><tt><br>
</tt><tt>#5 0x00007ffff7898473 in CbcModel::branchAndBound
(this=this@entry=0x64ee50, doStatistics=doStatistics@entry=0)</tt><tt><br>
</tt><tt> at CbcModel.cpp:4553</tt><tt><br>
</tt><tt>#6 0x00007ffff7b85e8d in CbcMain1 (argc=argc@entry=2,
argv=argv@entry=0x7fffffffe008, model=..., </tt><tt><br>
</tt><tt> callBack=callBack@entry=0x7ffff7b64f17
<dummyCallBack(CbcModel*, int)>, parameterData=...) at
CbcSolver.cpp:6371</tt><tt><br>
</tt><tt>#7 0x00007ffff7b97bf8 in CbcMain1 (argc=argc@entry=2,
argv=argv@entry=0x7fffffffe008, model=..., </tt><tt><br>
</tt><tt> callBack=callBack@entry=0x7ffff7b64f17
<dummyCallBack(CbcModel*, int)>) at CbcSolver.cpp:1295</tt><tt><br>
</tt><tt>#8 0x00007ffff7b97c0d in CbcMain1 (argc=argc@entry=2,
argv=argv@entry=0x7fffffffe008, model=...) at
CbcSolver.cpp:1163</tt><tt><br>
</tt><tt>#9 0x0000000000400e4f in main (argc=2,
argv=0x7fffffffe008) at CoinSolve.cpp:336</tt><br>
</small></b><br>
Cheers,<br>
<br>
Haroldo<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>