[Cbc] Bug on revision 1650

[Stefan Vigerske]

Hi,

thanks.
It's actually not a bug in Cbc itself, but just an assert that shows an 
issue with the CoinPresolve::postsolve that has been there for a while 
(the issue, but not the assert). Lou is currently looking into this.

If you use Cbc/stable/2.6 or some the latest release, you should be on 
the safe side.

Stefan

> Dear Forrest/CBC developers,
>
> Experimenting with the most recent CBC revision (1650) I've crashed it on a
> miplib 2010 problem:
>
> cbc: OsiPresolve.cpp:517: virtual void OsiPresolve::postsolve(bool):
> Assertion `status != CoinWarmStartBasis::atLowerBound ||
> originalModel_->getRowUpper()[i]<  originalModel_->getInfinity()' failed.
>
> To reproduce the bug:
> wget -nH http://www.decom.ufop.br/haroldo/inst/ns1830653.lp
> cbc ns1830653.lp
>
> and wait for 600 nodes to be processed in the search three.
>
>
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc