<div dir="ltr"><div class="gmail_quote"><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" target="_blank">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 please?</div><div><br></div><div>The original MiniZinc model, describing some simple constraints which can be switched off leading to correct result, and discussion: <a href="http://www.minizinc.org/forum.html?place=msg%2Fminizinc%2F1adai3q65ts%2Fiw3Q4JykAwAJ" target="_blank">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="m_-8422923044457997252gmail_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>
</div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="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>