<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Attached????????????<br>
<br>
On 24/07/15 08:29, mg wrote:<br>
</div>
<blockquote
cite="mid:CAOayR=YObq04y0pgZs3Nx2PJWrMAjn0G8u68mO57P8H-F8BtcA@mail.gmail.com"
type="cite">
<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 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="http://list.coin-or.org/mailman/listinfo/cbc">http://list.coin-or.org/mailman/listinfo/cbc</a>
</pre>
</blockquote>
<br>
</body>
</html>