[Cbc] Bug on revision 1650
stefan at math.hu-berlin.de
Wed May 25 18:02:25 EDT 2011
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.
> 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
More information about the Cbc