[Cbc-tickets] [COIN-OR Branch-and-Cut MIP Solver] #97: CBC version 2.4.2, OSI version 0.102.3 - OsiCbc declares problem infeasible that Cbc solves to optimal fine (tiny problem)
COIN-OR Branch-and-Cut MIP Solver
coin-trac at coin-or.org
Tue Aug 24 17:21:42 EDT 2010
#97: CBC version 2.4.2, OSI version 0.102.3 - OsiCbc declares problem infeasible
that Cbc solves to optimal fine (tiny problem)
--------------------+-------------------------------------------------------
Reporter: mgalati | Type: defect
Status: new | Priority: major
Version: | Keywords:
--------------------+-------------------------------------------------------
The code to repeat the issue can be found in DIP repository at
bugs/OsiCbc.
{{{
[magala at orclus71 OsiCbc]$ ./a.out
Clp0000I Optimal - objective value 2
Cbc0009I Objective coefficients multiple of 1
Clp0000I Optimal - objective value 2
Cbc0004I Integer solution of 2 found after 0 iterations and 0 nodes (0.00
seconds)
Cbc0001I Search completed - best objective 2, took 0 iterations and 0
nodes (0.00 seconds)
Cbc0035I Maximum depth 0, 0 variables fixed on reduced cost
Clp0000I Optimal - objective value 2
Clp0000I Optimal - objective value 2
Clp0006I 0 Obj 2.57476 Dual inf 0.10562 (1)
Clp0006I 2 Obj 2.57476
Clp0000I Optimal - objective value 2.57476
Cbc0006I The LP relaxation is infeasible or too expensive
a.out: main.cpp:47: int main(int, char**): Assertion
`!osi.isProvenPrimalInfeasible()' failed.
Aborted
}}}
--
Ticket URL: <https://projects.coin-or.org/Cbc/ticket/97>
COIN-OR Branch-and-Cut MIP Solver <http://projects.coin-or.org/Cbc>
An LP-based branch-and-cut MIP solver.
More information about the Cbc-tickets
mailing list