<br><font size=2 face="sans-serif">Cbc does report the problem as infeasible
but I agree that the solution file does not. &nbsp;The problem had been
fixed in trunk. &nbsp;I have copied over the modifications to stable/2.3</font>
<br>
<br><font size=2 face="sans-serif">John Forrest</font>
<br>
<br>
<br>
<table width=100%>
<tr>
<td><img src=cid:_1_0E9406340E94024C004F5FE48525763C>
<td width=100%>
<table width=100%>
<tr valign=top>
<td width=100%><font size=2 face="sans-serif"><b>[Cbc] Bug in integer infeasible
solution reporting</b></font></table>
<br>
<table width=100%>
<tr>
<td><font size=2 color=#e26200 face="sans-serif"><b>Stuart Mitchell </b></font>
<td><font size=2 color=#8f8f8f face="sans-serif">to:</font>
<td><font size=2 face="sans-serif">cbc</font>
<td>
<div align=right><font size=1 face="sans-serif">09/25/2009 12:12 AM</font></div></table>
<br>
<table width=100%>
<tr>
<td>
<table width=100%>
<tr>
<td><font size=2 color=#8f8f8f face="sans-serif">Sent by:</font>
<td width=100%><font size=2 color=#e26200 face="sans-serif"><b>cbc-bounces@list.coin-or.org</b></font></table>
<br>
<td>
<div align=right></div></table>
<br></table>
<br>
<br>
<hr>
<br>
<br>
<br><tt><font size=2>This may have something to do with the infeasibility
being found in presolve<br>
<br>
but debug.lp<br>
generates<br>
debug.sol<br>
which states it is an optimal solution even though the variables are non
<br>
integer<br>
<br>
Stu<br>
<br>
-- <br>
___________________________________<br>
Dr Stuart Mitchell<br>
Research Fellow<br>
Light Metals Research Centre (LMRC)<br>
University of Auckland<br>
Private Bag 92019<br>
Auckland<br>
New Zealand<br>
<br>
Ph (wk) &nbsp;+64 9 3737599 ext 84867<br>
 &nbsp; &nbsp;(ddi) +64 9 9234967<br>
 &nbsp; &nbsp;(fax) +64 9 3737925<br>
 &nbsp; &nbsp;(mb) &nbsp;+64 21 441331<br>
___________________________________<br>
<br>
\* test6 *\<br>
Minimize<br>
OBJ: __dummy<br>
Subject To<br>
c1: x + y &lt;= 5.2<br>
c2: x + z &gt;= 10.3<br>
c3: - y + z = 7.4<br>
Bounds<br>
__dummy = 0<br>
0 &lt;= x &lt;= 4<br>
0 &lt;= z &lt;= 10<br>
-1 &lt;= y &lt;= 1<br>
Generals<br>
x<br>
z<br>
y<br>
End<br>
Optimal - objective value &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
0<br>
 &nbsp; &nbsp; &nbsp;0 __dummy &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; 0 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp;1<br>
 &nbsp; &nbsp; &nbsp;1 x &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; 1.9 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp;0<br>
 &nbsp; &nbsp; &nbsp;2 y &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; 1 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;0<br>
 &nbsp; &nbsp; &nbsp;3 z &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; 8.4 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp;0<br>
[attachment &quot;s_mitchell.vcf&quot; deleted by John J Forrest/Watson/IBM]
_______________________________________________<br>
Cbc mailing list<br>
Cbc@list.coin-or.org<br>
http://list.coin-or.org/mailman/listinfo/cbc<br>
</font></tt>
<br>