<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Gleb,<br>
<br>
It was a race between finding problem was infeasible and finding
it had no constraints.<br>
<br>
Should be fixed now.<br>
<br>
John<br>
On 12/06/18 01:12, Gleb Belov wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAKSwnJZjNNc28S5FBwk5hvrhsffaMy8DxA8m8JPKViJuFVKg7w@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<div dir="ltr">Hi,
<div><br>
</div>
<div>here is an instance erroneously reported feasible with the
current Cbc-stable: <a
href="https://www.dropbox.com/s/4s7c5dszer647ee/budget-bug.osicbc.mps?dl=0"
moz-do-not-send="true">https://www.dropbox.com/s/4s7c5dszer647ee/budget-bug.osicbc.mps?dl=0</a></div>
<div>Output of cbc standalone (Kubuntu 16.04.4):</div>
<div><span style="font-family:monospace"><span
style="color:rgb(0,0,0);background-color:rgb(255,255,255)">Coin0505I
Presolved problem not optimal, resolve after postsolve
</span><br>
Cgl0013I Postprocessed model is infeasible - possible
tolerance issue - try without preprocessing
<br>
2 relaxed row infeasibilities - summing to 185.283
<br>
Accuracy problem on post-processing - maybe try without
pre-processing
<br>
2 relaxed row infeasibilities - summing to 185.283
<br>
2 relaxed row infeasibilities - summing to 185.283
<br>
<br>
Result - Optimal solution found<br>
</span><br>
</div>
<div>Could someone have a look?</div>
<div><br>
</div>
<div>The original MiniZinc model and discussion: <a
href="http://www.minizinc.org/forum.html?place=msg%2Fminizinc%2F1adai3q65ts%2Fiw3Q4JykAwAJ"
moz-do-not-send="true">http://www.minizinc.org/forum.html?place=msg%2Fminizinc%2F1adai3q65ts%2Fiw3Q4JykAwAJ</a><br
clear="all">
<div><br>
</div>
<div>Thank you,</div>
<div>Gleb</div>
-- <br>
<div dir="ltr" class="gmail_signature">
<div dir="ltr">
<div>
<div dir="ltr">
<div>
<div dir="ltr">
<div>
<div dir="ltr">
<div>
<div dir="ltr">Dr Gleb Belov Monash
University +61 3 9903 1622<br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Cbc mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a>
<a class="moz-txt-link-freetext" href="https://list.coin-or.org/mailman/listinfo/cbc">https://list.coin-or.org/mailman/listinfo/cbc</a>
</pre>
</blockquote>
<p><br>
</p>
</body>
</html>