I have a collection of hard MIP&#39;s for which I&#39;m only interested in finding a feasible solution (I have reason to believe that there is only one feasible solution, but I haven&#39;t proved it).  Since the objective doesn&#39;t matter, I have been making it identically 0.  However, after reading some recent papers on randomization, I&#39;ve come to believe that it might be better to choose a random objective (say with all the coefficients in [0,1]).  However, I&#39;d like CBC to stop as soon as it finds a feasible solution, and not continue to try to prove optimality.  I assume that I would do this with some call back, but what are the details?<br>
<br>Victor<br>