<br><font size=2 face="sans-serif">Esben,</font>
<br>
<br><font size=2 face="sans-serif">Error does not seem to exist on branches/devel
but does on trunk (and presumably on stable).</font>
<br>
<br><font size=2 face="sans-serif">Will try and find time to look at it.</font>
<br>
<br><font size=2 face="sans-serif">John Forrest</font>
<br>
<br>
<br>
<table width=100%>
<tr valign=top>
<td width=40%><font size=1 face="sans-serif"><b>Esben Mose Hansen &lt;esben@ange.dk&gt;</b>
</font>
<br><font size=1 face="sans-serif">Sent by: coin-discuss-bounces@list.coin-or.org</font>
<p><font size=1 face="sans-serif">10/30/2006 10:44 AM</font>
<table border>
<tr valign=top>
<td bgcolor=white>
<div align=center><font size=1 face="sans-serif">Please respond to<br>
Discussions about open source software for Operations Research &nbsp; &nbsp;
&nbsp; &nbsp;&lt;coin-discuss@list.coin-or.org&gt;</font></div></table>
<br>
<td width=59%>
<table width=100%>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">To</font></div>
<td><font size=1 face="sans-serif">coin-discuss@list.coin-or.org</font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">cc</font></div>
<td>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">Subject</font></div>
<td><font size=1 face="sans-serif">[Coin-discuss] cbc returns non-integer
solution to integer problem</font></table>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br>
<br>
<br><tt><font size=2>Hi list :)<br>
<br>
I hope this is the correct list; it was the closest match I could find
on the <br>
webpage.<br>
<br>
I seem to have hit a bug in cbc. I have a (pure) integer problem, to which
the <br>
cbc solver returns a solution with C000025=0.375. cplex and glpk correctly
<br>
returns a proper solution (with a total cost a bit over 1e6.). &nbsp;Solving
<br>
without using the preprocessor returns the correct answer (but uses 10x
as <br>
much time as glpk). So... is this the correct place for bug reports on
<br>
cbcsolve? Or I am missing something obvious?<br>
<br>
Attached is the original problem in the mps format, and below is a log
of a <br>
session with cbc. <br>
<br>
esben@mosegris:~/ange-fs/externals/solver$ cbc prob.mps -<br>
Coin Cbc and Clp Solver version 1.01.00, build Oct &nbsp;3 2006<br>
command line - cbc prob.mps -<br>
At line 1 NAME &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;BLANK<br>
At line 2 ROWS<br>
At line 251 COLUMNS<br>
At line 1501 RHS<br>
At line 1589 BOUNDS<br>
At line 1867 ENDATA<br>
Problem BLANK has 247 rows, 277 columns and 2101 elements<br>
Model was imported from ./prob.mps in 0.008001 seconds<br>
Switching to line mode<br>
Coin:solve<br>
Optimal - objective value 6237.92<br>
Cgl0003I 0 fixed, 0 tightened bounds, 88 strengthened rows, 0 substitutions<br>
Cgl0003I 0 fixed, 0 tightened bounds, 88 strengthened rows, 0 substitutions<br>
Cgl0003I 0 fixed, 0 tightened bounds, 80 strengthened rows, 0 substitutions<br>
Cgl0003I 0 fixed, 0 tightened bounds, 80 strengthened rows, 0 substitutions<br>
Cgl0003I 0 fixed, 0 tightened bounds, 80 strengthened rows, 0 substitutions<br>
Cgl0003I 0 fixed, 0 tightened bounds, 80 strengthened rows, 0 substitutions<br>
Cgl0003I 0 fixed, 0 tightened bounds, 80 strengthened rows, 0 substitutions<br>
Cgl0003I 0 fixed, 0 tightened bounds, 80 strengthened rows, 0 substitutions<br>
Cgl0003I 0 fixed, 0 tightened bounds, 80 strengthened rows, 0 substitutions<br>
Cgl0003I 0 fixed, 0 tightened bounds, 80 strengthened rows, 0 substitutions<br>
Cgl0003I 0 fixed, 0 tightened bounds, 80 strengthened rows, 0 substitutions<br>
Cgl0004I processed model has 154 rows, 97 columns (97 integer) and 789
<br>
elements<br>
processed model has 154 rows, 97 columns and 789 elements<br>
Optimal - objective value 6237.51<br>
97 integer variables<br>
Cbc0009I Objective coefficients multiple of 1<br>
cutoff increment increased from 1e-05 to 0.999<br>
<br>
pass &nbsp; 1: obj. &nbsp; &nbsp;0.00000 --&gt; up = &nbsp; &nbsp; 1 ,
down = &nbsp; &nbsp; 0 &nbsp;- solution found<br>
Cbc0012I Integer solution of 505961 found by heuristic after 1 iterations
and <br>
0 nodes (0.71 seconds)<br>
Cbc0031I 48 added rows had average density of 18.4792<br>
Cbc0013I At root node, 48 cuts changed objective from 6237.51 to 505902
in 100 <br>
passes<br>
Cbc0014I Cut generator 0 (Probing) - 2981 row cuts (26 active), 2 column
cuts &nbsp;<br>
in 1.86412 seconds - new frequency is 1<br>
Cbc0014I Cut generator 1 (Gomory) - 2340 row cuts (16 active), 0 column
cuts &nbsp;<br>
in 0.244013 seconds - new frequency is 1<br>
Cbc0014I Cut generator 2 (Knapsack) - 0 row cuts (0 active), 0 column cuts
&nbsp;in <br>
0.004 seconds - new frequency is -100<br>
Cbc0014I Cut generator 3 (Reduce-and-split) - 178 row cuts (0 active),
0 <br>
column cuts &nbsp;in 0.320027 seconds - new frequency is -100<br>
Cbc0014I Cut generator 4 (Clique) - 0 row cuts (0 active), 0 column cuts
&nbsp;<br>
in -1.75099e-17 seconds - new frequency is -100<br>
Cbc0014I Cut generator 5 (MixedIntegerRounding2) - 64 row cuts (0 active),
0 <br>
column cuts &nbsp;in 0.056004 seconds - new frequency is -100<br>
Cbc0014I Cut generator 6 (FlowCover) - 131 row cuts (0 active), 0 column
cuts &nbsp;<br>
in 0.14401 seconds - new frequency is -100<br>
Cbc0014I Cut generator 7 (TwoMirCuts) - 600 row cuts (6 active), 0 column
cuts &nbsp;<br>
in 0.080004 seconds - new frequency is -100<br>
Cbc0001I Search completed - best objective 505961, took 2887 iterations
and 0 <br>
nodes (4.46 seconds)<br>
Cbc0032I Strong branching done 82 times (3313 iterations), fathomed 1 nodes
<br>
and fixed 18 variables<br>
Cuts at root node changed objective from 6237.51 to 505924<br>
Probing was tried 100 times and created 2981 cuts of which 26 were active
<br>
after adding rounds of cuts ( 1.86412 seconds)<br>
Gomory was tried 100 times and created 2340 cuts of which 16 were active
after <br>
adding rounds of cuts ( 0.244013 seconds)<br>
Knapsack was tried 100 times and created 0 cuts of which 0 were active
after <br>
adding rounds of cuts ( 0.004 seconds)<br>
Reduce-and-split was tried 100 times and created 178 cuts of which 0 were
<br>
active after adding rounds of cuts ( 0.320027 seconds)<br>
Clique was tried 1 times and created 0 cuts of which 0 were active after
<br>
adding rounds of cuts ( -1.75099e-17 seconds)<br>
MixedIntegerRounding2 was tried 100 times and created 64 cuts of which
0 were <br>
active after adding rounds of cuts ( 0.056004 seconds)<br>
FlowCover was tried 100 times and created 131 cuts of which 0 were active
<br>
after adding rounds of cuts ( 0.14401 seconds)<br>
TwoMirCuts was tried 100 times and created 600 cuts of which 6 were active
<br>
after adding rounds of cuts ( 0.080004 seconds)<br>
Result - Finished objective 505961 after 0 nodes and 2887 iterations -
took <br>
4.7683 seconds<br>
Coin:solu $<br>
 &nbsp; &nbsp; 24 C0000025 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;-3.652224e-17<br>
 &nbsp; &nbsp; 25 C0000026 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;0.375 &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp;1.1293305e-16<br>
 &nbsp; &nbsp; 44 C0000045 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;5
&nbsp; &nbsp; &nbsp; &nbsp; -2.9817938e-14<br>
 &nbsp; &nbsp; 49 C0000050 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;7
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1.8264526e-14<br>
 &nbsp; &nbsp; 50 C0000051 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;5<br>
 &nbsp; &nbsp; 54 C0000055 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;7
&nbsp; &nbsp; &nbsp; &nbsp; -2.1385815e-14<br>
 &nbsp; &nbsp; 55 C0000056 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1
&nbsp; &nbsp; &nbsp; &nbsp; -2.0385638e-14<br>
 &nbsp; &nbsp; 59 C0000060 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;7
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2.9942487e-15<br>
 &nbsp; &nbsp; 60 C0000061 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;4.9042648e-15<br>
 &nbsp; &nbsp; 62 C0000063 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2.9317056e-15<br>
 &nbsp; &nbsp; 64 C0000065 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;6
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;-6.539658e-15<br>
 &nbsp; &nbsp; 65 C0000066 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;-6.362996e-15<br>
 &nbsp; &nbsp; 69 C0000070 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;7
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1.1726823e-14<br>
 &nbsp; &nbsp; 70 C0000071 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;7.4609657e-15<br>
 &nbsp; &nbsp; 74 C0000075 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;7
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2.0091956e-14<br>
 &nbsp; &nbsp; 75 C0000076 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2.2095334e-14<br>
 &nbsp; &nbsp; 77 C0000078 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2.0459396e-14<br>
 &nbsp; &nbsp; 79 C0000080 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;5
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2.0459396e-14<br>
 &nbsp; &nbsp; 80 C0000081 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;1
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2.0725486e-14<br>
 &nbsp; &nbsp; 84 C0000085 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;8
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2.0826837e-14<br>
 &nbsp; &nbsp; 89 C0000090 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;5
&nbsp; &nbsp; &nbsp; &nbsp; -1.1774703e-14<br>
 &nbsp; &nbsp; 90 C0000091 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2
&nbsp; &nbsp; &nbsp; &nbsp; -2.2198539e-14<br>
 &nbsp; &nbsp; 94 C0000095 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;4
&nbsp; &nbsp; &nbsp; &nbsp; -1.1476242e-14<br>
 &nbsp; &nbsp; 95 C0000096 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2
&nbsp; &nbsp; &nbsp; &nbsp; -1.1463318e-14<br>
 &nbsp; &nbsp; 96 C0000097 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;5.3029306e-15<br>
 &nbsp; &nbsp; 98 C0000099 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;2
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;3.9601639e-15<br>
 &nbsp; &nbsp;103 C0000104 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;3
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;4.9821728e-15<br>
 &nbsp; &nbsp;156 C0000157 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;5
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;5.3029306e-15<br>
 &nbsp; &nbsp;161 C0000162 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;3
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;3.0394972e-15<br>
 &nbsp; &nbsp;276 C0000277 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;5
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;99820<br>
<br>
-- <br>
kind regards, Esben<br>
[attachment &quot;prob.mps.bz2&quot; deleted by John J Forrest/Watson/IBM]
_______________________________________________<br>
Coin-discuss mailing list<br>
Coin-discuss@list.coin-or.org<br>
http://list.coin-or.org/mailman/listinfo/coin-discuss<br>
</font></tt>
<br>