[Cbc] [CBC] gomory makes problem infeasible (even in version 2.9.5)

mg giunto.cardanico at gmail.com
Mon Aug 10 02:50:00 EDT 2015


Sorry, here's the missing attachment

Regards,
Marco

2015-07-28 15:36 GMT+02:00 John Forrest <john.forrest at fastercoin.com>:

> Attached????????????
>
>
> On 24/07/15 08:29, mg wrote:
>
> Hi All,
> 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.
>
> 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"..
>
> Here's a piece of code to reproduce the problem :
>
> OsiClpSolverInterface solver;
> CbcModel model(solver);
> model.solver()->readLp("infeas.lp");
> std::string args("-heur off -solve"); // using "-gomory off -solve" it
> works
> callCbc(args, model);
>
> Thanks in advance,
> Marco
>
>
> _______________________________________________
> Cbc mailing listCbc at list.coin-or.orghttp://list.coin-or.org/mailman/listinfo/cbc
>
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20150810/5a8fdd01/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: infeas.lp
Type: application/octet-stream
Size: 2564 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20150810/5a8fdd01/attachment.obj>


More information about the Cbc mailing list