[Osi] Bug in Osi?
John Forrest
john.forrest at fastercoin.com
Mon Apr 1 12:22:05 EDT 2013
I noticed this recently when using trunk. I took out assert in
Osi/trunk and could see no harm in it.
It should not be a fatal error. I don't really have time to track it
down. It must be a minor bug in one of the CoinPresolve.... postsolvers.
John Forrest
On 01/04/13 16:28, Horand Gassmann wrote:
> Hi,
>
> I am trying to solve a small aggregate planning model. (AMPL model and
> data files attached.) The LP relaxation works fine, but when I add an
> integrality constraint on the first set of variables (number_workers),
> I get an assert error:
>
> ../../../../Osi/src/Osi/OsiPresolve.cpp:507: virtual void
> OsiPresolve::postsolve(bool): Assertion `status !=
> CoinWarmStartBasis::atUpperBound || originalModel_->getColUpper()[i] <
> infty' failed.
>
> What causes the error is unclear to me. I do not provide a starting
> basis, so I wouldn't expect the presolver to even go there. Is this a
> bug? Does the presolver require finite upper bounds? Any ideas?
>
> Thanks
>
> gus
> -------------------------------------------------------
>
> Horand I. Gassmann, Professor
>
> Kenneth C. Rowe School of Business, Dalhousie University
> 6100 University Avenue, PO Box 15000
> Halifax, Nova Scotia, Canada, B3H 4R2
> ph. (902) 494-1844
> fax (902) 494-1107
>
> http://myweb.dal.ca/gassmann/
>
>
> ----- End forwarded message -----
>
>
> -------------------------------------------------------
>
> Horand I. Gassmann, Professor
>
> Kenneth C. Rowe School of Business, Dalhousie University
> 6100 University Avenue, PO Box 15000
> Halifax, Nova Scotia, Canada, B3H 4R2
> ph. (902) 494-1844
> fax (902) 494-1107
>
> http://myweb.dal.ca/gassmann/
>
>
> _______________________________________________
> Osi mailing list
> Osi at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/osi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/osi/attachments/20130401/828e5bfd/attachment.html>
More information about the Osi
mailing list