<div dir="ltr">Hi,<div><br></div><div>I catch intermediate solutions in MyEventHandler3::event(...) using the code originally derived from driver4.cpp:</div><div><br></div><div>..........</div><div>  // If in sub tree carry on<br>  if (!model_->parentModel()) {</div><div>    .....<br>    if (whichEvent==solution||whichEvent==heuristicSolution) {<br></div><div>..........</div><div><br clear="all"><div>Now for this example: <a href="https://www.dropbox.com/s/7r2mgk33xiu0r95/parity__cbcWrongIntermSol.mps.gz?dl=0">https://www.dropbox.com/s/7r2mgk33xiu0r95/parity__cbcWrongIntermSol.mps.gz?dl=0</a>, CBC says:</div><div><br></div><div>Cbc0038I Initial state - 26 integers unsatisfied sum - 13                                       <br>Cbc0038I Solution found of 0                                                                              <br>Cbc0038I Cleaned solution of 0<br>Cbc0038I Before mini branch and bound, 67 integers at bound fixed and 1 continuous<br>Cbc0038I Mini branch and bound did not improve solution (0.00 seconds)<br>Cbc0038I After 0.00 seconds - Feasibility pump exiting with objective of 0 - took 0.00 seconds<br></div><div><br></div><div>The problem is, the 'solution of 0' mentioned above is sent to the callback where it is recognized as feasible.</div><div><br></div><div>Best regards,</div><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">Dr Gleb Belov       Monash University     
 +61 3 9903 1622<br>
</div></div></div></div></div></div></div></div></div></div></div></div>