[Cbc] decide on feasible solution after (time/node) limit exceed

[Stefan Vigerske]

Hi,

please find attached a simple program and model which illustrates the 
problem.

Stefan Vigerske wrote:
> Hi,
> 
> when Cbc exists with an exceed of time or node limit, how do I decide 
> whether a feasible solution has been found?
> For one model, I tried bool CbcModel::feasibleSolution(int & 
> numberIntegerInfeasibilities, int & numberObjectInfeasibilities), but it 
> report true and no infeasibilities, even though Cbc has not find a 
> feasible point ("best objective 1E+50").
> Also the point that I get with CbcModel::solver()->getColSolution() is 
> not integer feasible.
> 
> Best,
> Stefan
> 


-- 
Stefan Vigerske
Humboldt University Berlin, Numerical Mathematics
http://www.math.hu-berlin.de/~stefan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cbctest.cpp.gz
Type: application/x-gunzip
Size: 667 bytes
Desc: not available
Url : http://list.coin-or.org/pipermail/cbc/attachments/20070627/a98dbf0d/cbctest.cpp.bin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fixed.mps.gz
Type: application/x-gunzip
Size: 1356 bytes
Desc: not available
Url : http://list.coin-or.org/pipermail/cbc/attachments/20070627/a98dbf0d/fixed.mps.bin