[Coin-discuss] Strange termination

[Kasper Bonne Rasmussen]

Hello.

I am solving some MIP problems using the OsiCpxSolverInterface. After each
problem is solved I have an assert statement ensuring that it went
according to plan.

assert( si->isProvenOptimal() == 1 );

The problem is that sometimes that assert statement fails. It is not
proven optimal, and the return values from the functions:

isAbandoned()
isProvenOptimal()
isProvenPrimalInfeasible()
isProvenDualInfeasible()
isPrimalObjectiveLimitReached()
isDualObjectiveLimitReached()
isIterationLimitReached()

are all 0.

What could be the reason for the premature termination?

Regards
/Kasper