[Cbc] Possible bug

[John Forrest]

Gleb,

It was a race between finding problem was infeasible and finding it had 
no constraints.

Should be fixed now.

John
On 12/06/18 01:12, Gleb Belov wrote:
> Hi,
>
> here is an instance erroneously reported feasible with the current 
> Cbc-stable: 
> https://www.dropbox.com/s/4s7c5dszer647ee/budget-bug.osicbc.mps?dl=0
> Output of cbc standalone (Kubuntu 16.04.4):
> Coin0505I Presolved problem not optimal, resolve after postsolve
> Cgl0013I Postprocessed model is infeasible - possible tolerance issue 
> - try without preprocessing
> 2 relaxed row infeasibilities - summing to 185.283
> Accuracy problem on post-processing - maybe try without pre-processing
> 2 relaxed row infeasibilities - summing to 185.283
> 2 relaxed row infeasibilities - summing to 185.283
>
> Result - Optimal solution found
>
> Could someone have a look?
>
> The original MiniZinc model and discussion: 
> http://www.minizinc.org/forum.html?place=msg%2Fminizinc%2F1adai3q65ts%2Fiw3Q4JykAwAJ
>
> Thank you,
> Gleb
> -- 
> Dr Gleb Belov       Monash University      +61 3 9903 1622
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> https://list.coin-or.org/mailman/listinfo/cbc


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20180810/c2c31a19/attachment.html>