<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Hi Forrest,<br>
<br>
If you commit this change I can test if the behavior is fixed.<br>
<br>
<br>
<div class="moz-cite-prefix">On 13-09-2014 05:04, John Forrest
wrote:<br>
</div>
<blockquote cite="mid:5413FA70.1080300@fastercoin.com" type="cite">
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<div class="moz-cite-prefix">Haroldo,<br>
<br>
I am unable to reproduce - what exactly were your configure
options?<br>
<br>
However I think I can see the problem. There seem to be lots of
solutions at -13855499.9997 and they are checked several times
before being rejected as no better than best so far. Some of
these solutions come while trying a more primitive (but faster)
branch and bound. There is code that sets fathomDone to true if
it thinks a solution is better than best so far when obtained in
that way - it used 0.1 better as a test. The assert is<br>
<br>
if (fathomDone)<br>
assert (feasible);<br>
<br>
Anyway it looks as if due to accuracy problems fathomDone got
set true and then a double check resolve decided it was actually
worse than cutoff.<br>
<br>
fathomDone was only used for that assert - so not used in
optimized mode. My lazy inclination is just to take out
fathomDone (and assert) - it was only in when that bit of code
was new (a few years ago).<br>
<br>
John<br>
<br>
<br>
<br>
On 13/09/14 04:17, Haroldo Gambini Santos wrote:<br>
</div>
<blockquote cite="mid:5413B753.3090707@gmail.com" type="cite">
<meta http-equiv="Context-Type" content="text/html; ">
Hi,<br>
<br>
I've got this small MIP:<br>
<a moz-do-not-send="true" 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><b><tt>cbc: CbcModel.cpp:16111: int
CbcModel::doOneNode(CbcModel*, CbcNode*&,
CbcNode*&): Assertion `feasible' failed.</tt></b><br>
</blockquote>
<br>
</blockquote>
<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>