[Cbc] Bug on revision 1650

[Haroldo Santos]

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.

-- 
=============================================================
Haroldo Gambini Santos
Computing Department - Universidade Federal de Ouro Preto - UFOP
email: haroldo [at ] iceb.ufop.br
home/research page: www.decom.ufop.br/haroldo/

"Computer science is no more about computers than astronomy
is about telescopes." Edsger Dijkstra
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://list.coin-or.org/pipermail/cbc/attachments/20110525/488fbe69/attachment.html