<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&#39;s not completely corrected since I&#39;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&#39;m running this model through callCbc(), and you need to disable heuristics otherwise DiveCoefficient will find a solution before gomory cuts &quot;too much&quot;..</div><div><br></div><div>Here&#39;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()-&gt;readLp(&quot;infeas.lp&quot;);<br></font></div></div><div><div><font face="monospace, monospace">std::string args(&quot;-heur off -solve&quot;); // using &quot;-gomory off -solve&quot; 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>