<font face="arial,helvetica,sans-serif">Dear Forrest/CBC developers,<br><br>Experimenting with the most recent CBC revision (1650) I've crashed it on a miplib 2010 problem:<br><br><span style="font-family: courier new,monospace;">cbc: OsiPresolve.cpp:517: virtual void OsiPresolve::postsolve(bool): Assertion `status != CoinWarmStartBasis::atLowerBound || originalModel_->getRowUpper()[i] < originalModel_->getInfinity()' failed.</span><br>
<br>To reproduce the bug:<br>wget -nH <a href="http://www.decom.ufop.br/haroldo/inst/ns1830653.lp">http://www.decom.ufop.br/haroldo/inst/ns1830653.lp</a><br>cbc </font><font face="arial,helvetica,sans-serif">ns1830653.lp<br>
<br>and wait for 600 nodes to be processed in the search three.<br></font><font face="arial,helvetica,sans-serif"></font><br>-- <br>=============================================================<br>Haroldo Gambini Santos<br>
Computing Department - Universidade Federal de Ouro Preto - UFOP<br>email: haroldo [at ] <a href="http://iceb.ufop.br" target="_blank">iceb.ufop.br</a><br>home/research page: <a href="http://www.decom.ufop.br/haroldo/" target="_blank">www.decom.ufop.br/haroldo/</a><br>
<br>"Computer science is no more about computers than astronomy <br>is about telescopes." Edsger Dijkstra<br> <br>