<br><font size=2 face="sans-serif">We are using a COIN/Cbc application
that we created by making slight modifications to the test example provided
with Cbc.</font>
<br>
<br><font size=2 face="sans-serif">What is the recommended way to extract
the best feasible integer solution? &nbsp;The documentation says to use
CbcModel::bestSolution. &nbsp;We tried this, and got bad (infeasible) results.
&nbsp;The example application (in its implementation of the SOLUTION command)
uses CbcModel::getColSolution, which is not documented. &nbsp;The documentation
does mention OsiSolverInterface::getColSolution, but this is deprecated
(with somewhat ambiguous language) in favor of CbcModel::bestSolution.</font>
<br>
<br><font size=2 face="sans-serif">We decided to mimic the example, and
tried the undocumented CbcModel::getColSolution. &nbsp;This worked nicely
with instances that ran to completion, but when we added a time limit (with
CbcModel::setMaximumSeconds) the reported solution was again infeasible.
&nbsp;(CbcModel::branchAndBound did report finding several integer solutions
in the running time available.)</font>
<br>
<br><font size=2 face="sans-serif">Thank you for your assistance. &nbsp;We
are finding Cbc, overall, quite easy to work with and adapt to our needs.</font>