<font face="arial,helvetica,sans-serif">Hi,<br><br>I think I&#39;ve found a bug in pre-processing phase of CBC.<br><br>What I was doing (and worked flawlessly </font><font face="arial,helvetica,sans-serif"></font>for all MIPs except this one) was to inform to CBC a feasible solution found using a greedy heuristic. This solution was informed considering variables of the pre-processed model (checking for the original variables in originalColumns() ).<br>
<br>What happened is that the pre-processed model for this case included a new set of constraints (expected) which make this valid solution to be considered infeasible (unexpected). When I fix the same set of variables in the original LP there is no problem.<br>
<br>To make it easy to check for this problem I&#39;ve wrote a small code which fixes the same variables in the original and in the pre-processed problem and made it available here:<br><br><a href="http://www.decom.ufop.br/haroldo/files/ppBug.tar.gz">http://www.decom.ufop.br/haroldo/files/ppBug.tar.gz</a><br>
<br>In infRows.txt I listed tree constraints that when removed allows feasibility to be obtained again.<br><br>Thanks in advance,<br><br>Haroldo<font face="arial,helvetica,sans-serif"><br clear="all"></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>