<div dir="ltr"><div>Hi everyone,</div><div><br></div><div>I am still having problem with max time limit when preprocess is off even with 2.10.4 version.</div><div>I am solving mip problem using binary found on bintray (Cbc-2.10.4-win32-msvc15).</div><div><br></div><div>Sometimes, cbc reaches max time limit but does not return the best solution found providing uncorrect data.</div><div>I attached the mps file and three log files.</div><div><br></div><div>Without preprocessing, I get this at the end of log with 2.10.4 (I deleted cuts info for readibility) :</div><div style="margin-left:40px">Cbc0010I After 1300 nodes, 13 on tree, 20305.811 best solution, best possible 20209.422 (19.38 seconds)<br>Cbc0004I Integer solution of 20305.811 found after 61433 iterations and 1334 nodes (19.79 seconds)<br>Cbc0020I Exiting on maximum time<br>Cbc0005I Partial search - best objective 20305.811 (best possible 20209.422), took 61895 iterations and 1362 nodes (20.00 seconds)<br>Cbc0032I Strong branching done 2042 times (14765 iterations), fathomed 76 nodes and fixed 176 variables<br>Cbc0035I Maximum depth 22, 62 variables fixed on reduced cost<br>0  Obj 17950.691 Primal inf 63.616727 (121) Dual inf 1.5638368e+12 (75)<br>Stopped - objective value 1.7973277e+12<br>Cuts at root node changed objective from 17950.7 to 19760.5<br>...<br><br>Result - Stopped on time limit<br><br>Objective value:                100000000000000007629769841091887003294964970946560.00000000<br>Lower bound:                    20209.422<br>Gap:                            4948187144522872794252484886662922505826598912.00<br>Enumerated nodes:               1362<br>Total iterations:               61895<br>Time (CPU seconds):             20.03<br>Time (Wallclock seconds):       20.03</div><div><br></div><div>The objective value and the gap are clearly wrong. <br></div><div>The log indicates clearly that cbc has found an integer solution of 20305.811.</div><div><br></div><div><br>

</div><div>With 2.8.13 (or if I switch on preprocessing with 2.10.4), I get correct data : <br></div><div style="margin-left:40px">Cbc0010I After 2400 nodes, 11 on tree, 20305.811 best solution, best possible 19652.01 (19.66 seconds)<br>Cbc0020I Exiting on maximum time<br>Cbc0005I Partial search - best objective 20305.811 (best possible 19652.01), took 69811 iterations and 2442 nodes (20.00 seconds)<br>Cbc0032I Strong branching done 3234 times (22229 iterations), fathomed 292 nodes and fixed 234 variables<br>Cbc0035I Maximum depth 25, 111 variables fixed on reduced cost<br>Cuts at root node changed objective from 17950.7 to 19638.7<br>...<br><br>Result - Stopped on time limit<br><br>Objective value:                20305.81106305<br>Lower bound:                    19652.010<br>Gap:                            0.03<br>Enumerated nodes:               2442<br>Total iterations:               69811<br>Time (CPU seconds):             20.03<br>Time (Wallclock seconds):       20.03</div><div><br></div><div>In this case, everything seems logical for me.</div><div><br></div><div>For me, this issue is a big problem because I always have to set a maximum time for optimization.</div><div>I am forced to still use 2.8.13 version of cbc with whom I dit not have this issue.</div><div><br></div><div>Nicolas<br></div><br><div><br></div></div>