<div dir="ltr">Sorry, here's the missing attachment<div><br></div><div>Regards,</div><div>Marco</div></div><div class="gmail_extra"><br><div class="gmail_quote">2015-07-28 15:36 GMT+02:00 John Forrest <span dir="ltr"><<a href="mailto:john.forrest@fastercoin.com" target="_blank">john.forrest@fastercoin.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
<div>Attached????????????<div><div class="h5"><br>
<br>
On 24/07/15 08:29, mg wrote:<br>
</div></div></div>
<blockquote type="cite"><div><div class="h5">
<div dir="ltr">Hi All,
<div>if I remember correctly in version 2.9.4, gomory cuts
generator started to give some problems causing false
infeasibilities. In theory, version 2.9.5 contains some fixes
for this issue, but I think it's not completely corrected
since I've found a model that appears infeasible unless you
disable gomory cuts.</div>
<div><br>
</div>
<div>Attached you can find the LP file. Please note that I'm
running this model through callCbc(), and you need to disable
heuristics otherwise DiveCoefficient will find a solution
before gomory cuts "too much"..</div>
<div><br>
</div>
<div>Here's a piece of code to reproduce the problem :</div>
<div><br>
</div>
<div>
<div><font face="monospace, monospace">OsiClpSolverInterface
solver;</font></div>
<div><font face="monospace, monospace">CbcModel model(solver);</font></div>
<div><font face="monospace, monospace">model.solver()->readLp("infeas.lp");<br>
</font></div>
</div>
<div>
<div><font face="monospace, monospace">std::string args("-heur
off -solve"); // using "-gomory off -solve" it works</font></div>
<div><font face="monospace, monospace">callCbc(args, model);</font></div>
</div>
<div><font face="monospace, monospace"><br>
</font></div>
<div><font face="arial, helvetica, sans-serif">Thanks in
advance,</font></div>
<div><font face="arial, helvetica, sans-serif">Marco</font></div>
</div>
<br>
<fieldset></fieldset>
<br>
</div></div><pre>_______________________________________________
Cbc mailing list
<a href="mailto:Cbc@list.coin-or.org" target="_blank">Cbc@list.coin-or.org</a>
<a href="http://list.coin-or.org/mailman/listinfo/cbc" target="_blank">http://list.coin-or.org/mailman/listinfo/cbc</a>
</pre>
</blockquote>
<br>
</div>
<br>_______________________________________________<br>
Cbc mailing list<br>
<a href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</a><br>
<a href="http://list.coin-or.org/mailman/listinfo/cbc" rel="noreferrer" target="_blank">http://list.coin-or.org/mailman/listinfo/cbc</a><br>
<br></blockquote></div><br></div>