[Cbc] assertion in OsiClpSolverInterface.cpp:498 failing

[Stefan Vigerske]

Hi,

I'm using Cbc as subsolver in GAMS/Dicopt to solve some MIPs.
It now frequently happens that the following assertion in line 498 of
OsiClpSolverInterface.cpp is failing:
assert (modelPtr_->objectiveValue()<1.0e100);
(using Osi/trunk, Clp/devel, Cbc/devel)

Unfortunately, it's a bit difficult to produce a mps file for that, 
because I use the GAMS interface, and the model is read from a 
gams-control-file that is created by Dicopt.

But maybe you have an idea when this assertion is failing?
It is good possible, that the model is infeasible, and maybe also the 
Cbc presolve saw this.

Best,
Stefan

PS: Here some output:
Solving the root node...
Presolve 37 (-7) rows, 93 (-16) columns and 181 (-27) elements
0  Obj -0.274374 Primal inf 496.775 (17) Dual inf 0.0232997 (1)
44  Obj 0.555535
Optimal - objective value 0.555535
After Postsolve, objective 0.555535, infeasibilities - dual 0 (0), 
primal 0 (0)
0  Obj 0.555535
0  Obj 0.555535
Optimal - objective value 0.555535
Starting branch-and-bound...
processed model has 37 rows, 93 columns (2 integer) and 181 elements
gmscc_ux.out: .../OsiClpSolverInterface.cpp:498: virtual void 
OsiClpSolverInterface::resolve(): Assertion 
`modelPtr_->objectiveValue()<1.0e100' failed.



-- 
Stefan Vigerske
Humboldt University Berlin, Numerical Mathematics
http://www.math.hu-berlin.de/~stefan