[Cbc] Determining feasibility when a model times out

[Lou Hafer]

Troy,

> Using the OSI interface to CBC,

	This is your mistake  :-)   Seriously, Osi is just not set up to
provide the kind of control necessary for a MIP solver. If you want to
do anything more than run the solver to completion, you're better off to
use Cbc directly.

	There are a few folks out there who are more fond of OsiCbc. One of
them may be able to offer more helpful advice.

						Lou

 if I call setMaximumSeconds and
> branchAndBound() terminates due to that limit, how do I distinguish
> between it finishing with a feasible (but possibly suboptimal)
> solution and finishing with an infeasible solution?  I see methods
> like isProvenOptimal and isProvenPrimalInfeasible, but nothing like
> isFeasible.
> 
> I could loop over all of the integer variables and check if they are
> within tolerance of integer values, but it seems that there should be
> a method that does that (and does not risk me using the wrong
> tolerance or getting a different rounding error).
> 
> Is there something I am missing?
> 
> Troy
> 
> 
> _______________________________________________ Cbc mailing list 
> Cbc at list.coin-or.org http://list.coin-or.org/mailman/listinfo/cbc