<div dir="ltr">John,<div><br></div><div>Building and running the latest version of Cbc solves the problem correctly. That will teach me to assume the binaries on the website are even remotely up to date!</div><div><br></div><div>Josh<br><div class="gmail_extra"><br><div class="gmail_quote">On 24 September 2014 12:49, <span dir="ltr"><<a href="mailto:cbc-request@list.coin-or.org" target="_blank">cbc-request@list.coin-or.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
------------------------------<br>
<br>
Message: 4<br>
Date: Wed, 24 Sep 2014 12:48:58 +0100<br>
From: John Forrest <<a href="mailto:john.forrest@fastercoin.com">john.forrest@fastercoin.com</a>><br>
To: <a href="mailto:cbc@list.coin-or.org">cbc@list.coin-or.org</a><br>
Subject: Re: [Cbc] CBC reports infeasible, GLPK solves<br>
Message-ID: <<a href="mailto:5422AFAA.1040806@fastercoin.com">5422AFAA.1040806@fastercoin.com</a>><br>
Content-Type: text/plain; charset="windows-1252"; Format="flowed"<br>
<br>
Josh,<br>
<br>
Unable to reproduce problem with Cbc 2.8 - all tries worked fine.<br>
<br>
Would suggest upgrading as your version is nearly three years old.<br>
<br>
John Forrest<br>
On 24/09/14 12:32, Joshua Arnott wrote:<br>
> Hello,<br>
><br>
> I've come across a MILP which CBC reports as proven infeasible, but<br>
> which GLPK solves.<br>
><br>
> I've uploaded the problem in *.lp format here:<br>
> <a href="http://pastebin.com/EEifbfpy" target="_blank">http://pastebin.com/EEifbfpy</a><br>
><br>
> The problem was automatically generated based on some data. It's one<br>
> of many, and is the only one I've come across so far that exhibits<br>
> this problem. I guess it's something to do with tolerances or<br>
> precision in CBC. Is there anything I can do to get CBC to solve it?<br>
><br>
> See below the outputs fro CBC and GLPK (via GLPSOL).<br>
><br>
> Kind regards,<br>
><br>
> Josh<br></blockquote></div></div></div></div>