<br><font size=2 face="sans-serif">Torsten,</font>
<br>
<br><font size=2 face="sans-serif">Send the file to me.</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>&lt;Torsten.Fahle@inform-ac.com&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">09/13/2006 11:22 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">&lt;coin-discuss@list.coin-or.org&gt;</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] Infinite loop in preprocessing
/ CBC</font></table>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br>
<br>
<br><tt><font size=2>Hi all,<br>
<br>
I've run into a strange behavior of ./cbc on one of our MPS files. <br>
Applying CBC to that file with preprocess switched on CBC runs in an &quot;infinite&quot;
loop during integer preprocess.<br>
The following message appears again and again (well after 10 minutes I
stopped that run):<br>
<br>
 &nbsp; &nbsp;Coin0510I Presolve is modifying 1 integer bounds and re-presolving<br>
<br>
Without preprocess an optimal integer solution is found within a fraction
of a second(!)<br>
<br>
<br>
The source of the message is OsiPresolve::presolvedModel(...) in OsiPresolve.cpp
where any tightening <br>
of some integer bound indeed triggers a new presolving.<br>
Further debugging showed that it is always the same variable (C0000031)
for which this message occurs<br>
Initially, the lower bound of that variable is set to 0 and increased to
1 in the first iteration in presolvedModel(..)<br>
Next iteration increases it to 2, then to 3, 4,5,6,7 etc. Since this variable
is unbounded (UI 1e30 in the MPS file) <br>
that process may run for some time.<br>
<br>
So I manipulated the bounds in the MPS file. If variable C00031 is fixed
to some value, there is no problem.<br>
In both cases (presolve on / off) an optimal integer solution is found
quickly.<br>
Interestingly, if I decrease the upper bound of that variable from UI 1e30
to UI 1e25 or below the problem also disappears,<br>
whereas UI 1e26 and above reproduce the problem. Maybe this is some hint
on a numerical problem?<br>
<br>
The problem in cbc from coin_all_2006Sept13.tgz on our mps file. &nbsp;<br>
The zipped mps file has 78Kb which is more than the allowed mail size for
this list. <br>
Anyone interested can contact me and will get the file directly.<br>
<br>
Using that file, the problem can be reproduced as follows:<br>
 &nbsp;Cbc/Src/cbc -log 5 -slog 5 -import problem.mps -preprocess on -branch<br>
<br>
switching -preprocess off shows that the file can be solved quickly.<br>
<br>
The same problem also appears in some older code (COIN CVS version of April,
28th 2006)<br>
My platforms are AMD Athlon XP running Linux (g++ 3.3.4) and Windows XP
+ Microsoft Visual Studio 2003.<br>
<br>
Any hints on what's going on here? <br>
<br>
Thanks a lot,<br>
<br>
 &nbsp; Torsten<br>
<br>
---<br>
Dr. Torsten Fahle<br>
Geschäftsbereich Systeme Airport<br>
INFORM GmbH, Pascalstr.23, 52076 Aachen, Germany<br>
Tel. (+49) 24 08 - 94 56 24 &nbsp;FAX: -94 56 25<br>
e-mail: Torsten.Fahle@inform-ac.com &nbsp; http://www.groundstar.de <br>
<br>
<br>
<br>
<br>
_______________________________________________<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>