<html><body>
<p>Matt,<br>
<br>
It was a "feature". As the problem had no integer variables, it never got anywhere near Cbc itself. So the solution in CbcModel was never set up - and that is tested for optimality.<br>
<br>
Have added a few lines to CbcSolver.cpp in trunk.<br>
<br>
John<br>
<br>
<img width="16" height="16" src="cid:1__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt="Inactive hide details for Matthew Galati ---10/28/2009 10:12:32 PM---The following code and example shows an issue that is show"><font color="#424282">Matthew Galati ---10/28/2009 10:12:32 PM---The following code and example shows an issue that is showing up in DIP. <a href="https://projects.coin-or.or">https://projects.coin-or.or</a></font><br>
<br>
<table width="100%" border="0" cellspacing="0" cellpadding="0">
<tr valign="top"><td width="1%"><img width="96" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2" color="#5F5F5F">From:</font></td><td width="100%"><img width="1" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2">Matthew Galati <Matthew.Galati@sas.com></font></td></tr>
<tr valign="top"><td width="1%"><img width="96" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2" color="#5F5F5F">To:</font></td><td width="100%"><img width="1" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2">"cbc@list.coin-or.org" <cbc@list.coin-or.org></font></td></tr>
<tr valign="top"><td width="1%"><img width="96" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2" color="#5F5F5F">Cc:</font></td><td width="100%" valign="middle"><img width="1" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2">"dip@list.coin-or.org" <dip@list.coin-or.org></font></td></tr>
<tr valign="top"><td width="1%"><img width="96" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2" color="#5F5F5F">Date:</font></td><td width="100%"><img width="1" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2">10/28/2009 10:12 PM</font></td></tr>
<tr valign="top"><td width="1%"><img width="96" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2" color="#5F5F5F">Subject:</font></td><td width="100%"><img width="1" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2">[Cbc] cbc on LP not transferring status</font></td></tr>
<tr valign="top"><td width="1%"><img width="96" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2" color="#5F5F5F">Sent by:</font></td><td width="100%"><img width="1" height="1" src="cid:2__=0ABBFCCCDFD972D38f9e8a93df938@us.ibm.com" border="0" alt=""><br>
<font size="2">cbc-bounces@list.coin-or.org</font></td></tr>
</table>
<hr width="100%" size="2" align="left" noshade style="color:#8091A5; "><br>
<br>
<br>
<tt>The following code and example shows an issue that is showing up in DIP.<br>
<br>
</tt><tt><a href="https://projects.coin-or.org/Dip/browser/trunk/Dip/bugs/main.cpp">https://projects.coin-or.org/Dip/browser/trunk/Dip/bugs/main.cpp</a></tt><tt><br>
</tt><tt><a href="https://projects.coin-or.org/Dip/browser/trunk/Dip/bugs/PRICE_AND_CUT_subProb_relax0.n0.c0.p0.b0.lp">https://projects.coin-or.org/Dip/browser/trunk/Dip/bugs/PRICE_AND_CUT_subProb_relax0.n0.c0.p0.b0.lp</a></tt><tt><br>
<br>
It happens when CBC is used to solve an LP. It seems to solve it fine but when checking the status, it returns 0 for isProvenOptimal.<br>
<br>
<br>
<br>
[magala@orclus71 bugs]$ ./a.out ../../build-g/Dip/examples/MILPBlock/PRICE_AND_CUT_subProb_relax0.n0.c0.p0.b0.lp<br>
Coin Cbc and Clp Solver version 2.3.2, build Oct 27 2009<br>
command line - cbc -log 3 -solve -quit (default strategy 1)<br>
logLevel was changed from 1 to 3<br>
Presolve 0 (-2) rows, 0 (-3) columns and 0 (-2) elements<br>
Empty problem - 0 rows, 0 columns and 0 elements<br>
Optimal - objective value 1.85108<br>
After Postsolve, objective 1.85108, infeasibilities - dual 0 (0), primal 0 (0)<br>
Optimal objective 1.851079952 - 0 iterations time 0.002, Presolve 0.00<br>
Total time 0.00<br>
cbc.isProveOptimal() = 0<br>
<br>
<br>
_______________________________________________<br>
Cbc mailing list<br>
Cbc@list.coin-or.org<br>
</tt><tt><a href="http://list.coin-or.org/mailman/listinfo/cbc">http://list.coin-or.org/mailman/listinfo/cbc</a></tt><tt><br>
</tt><br>
<br>
</body></html>