<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Haroldo,<br>
<br>
In the latest trunk there is an assert(feasible) at 15938 - but I
don't think that is the one you mean. I think you mean the one
below at line 15905.<br>
<br>
if (feasible) {<br>
//int numberPasses = doCutsNow(1) ?
maximumCutPasses_ : 0;<br>
int numberPasses = /*doCutsNow(1) ?*/
maximumCutPasses_ /*: 0*/;<br>
feasible = solveWithCuts(cuts, numberPasses,
node);<br>
if (fathomDone)<br>
assert (feasible);<br>
}<br>
<br>
I am unable to reproduce the problem using gcc 4.6.3 or gcc 4.9.0
and -O1 g. What exactly were your configure options? Do you
still get the correct answer if you take out assert?<br>
<br>
John Forrest<br>
On 09/07/14 21:57, Haroldo Gambini Santos wrote:<br>
</div>
<blockquote cite="mid:53BDACB3.1070003@gmail.com" type="cite">
<meta http-equiv="Context-Type" content="text/html;
charset=ISO-8859-1">
Hi Forrest,<br>
<br>
CBC trunk (compiled with "-O1 -g" ) is exiting at one assertion
when solving a small MIP:<br>
<a moz-do-not-send="true"
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>
(188 rows, 114 columns, 108 of which are binary)<br>
<br>
The message is:<br>
<b>cbc: CbcModel.cpp:15939: int CbcModel::doOneNode(CbcModel*,
CbcNode*&, CbcNode*&): Assertion `feasible' failed.<br>
</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 moz-do-not-send="true" class="moz-txt-link-freetext" href="http://www.decom.ufop.br/haroldo/">http://www.decom.ufop.br/haroldo/</a></pre>
</blockquote>
<br>
</body>
</html>