[Cbc] problem status returns false claim of infeasible using CbcMain

[Matthew Galati]

http://coral.ie.lehigh.edu/~magh/tmp/PRICE_AND_CUT_subProb_relax2.n0.c0.p0.b2.lp

Running this problem with command line cbc gives the correct solution:

Coin Cbc and Clp Solver version 1.2trunk, build Oct 25 2009
command line - ../../../bin/cbc PRICE_AND_CUT_subProb_relax2.n0.c0.p0.b2.lp -log 2 -allowableGap 0.0001 -solve -quit (default strategy 1)
logLevel was changed from 1 to 2
allowableGap was changed from 1e-10 to 0.0001
Continuous objective value is -13.9343 - 1.17 seconds
Cgl0003I 73 fixed, 0 tightened bounds, 562 strengthened rows, 0 substitutions
Cgl0003I 73 fixed, 0 tightened bounds, 562 strengthened rows, 0 substitutions
Cgl0003I 9 fixed, 0 tightened bounds, 13 strengthened rows, 0 substitutions
Cgl0004I processed model has 0 rows, 0 columns (0 integer) and 0 elements
Cbc0045I Options for feasibility pump -
Cbc0045I Accumulate of 1
Cbc0045I 6 retries
Cbc0045I Feasibility pump options of 40
Cbc0045I Tuning (fixing) 3
Cbc3007W No integer variables - nothing to do
Cuts at root node changed objective from 0 to -1.79769e+308
Probing was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
Gomory was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
Knapsack was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
Clique was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
MixedIntegerRounding2 was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
FlowCover was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
TwoMirCuts was tried 0 times and created 0 cuts of which 0 were active after adding rounds of cuts (0.000 seconds)
Result - Finished objective 0 after 0 nodes and 0 iterations - took 0.79 seconds (total time 2.16)
Total time 2.40



Running this problem through CbcMain with the same parameter settings gives a false claim of infeasible.
Coin Cbc and Clp Solver version 1.2trunk, build Oct 25 2009
command line - cbc -log 2 -allowableGap 0.0001 -solve -quit (default strategy 1)
logLevel was changed from 1 to 2
allowableGap was changed from 1e-10 to 0.0001
Problem is infeasible - 2.83 seconds
Total time 2.83