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

[Matthew Galati]

FYI. I ran this with Purify on windows and did not see any memory corruption
errors... besides the stuff we always see with UMRs:

[W] UMR: Uninitialized memory read in
CoinFactorization::pivotOneOtherRow(int,int) {6 occurrences}
[W] UMR: Uninitialized memory read in
CoinFactorization::pivotOneOtherRow(int,int) {15 occurrences}
...
[W] UMR: Uninitialized memory read in N::CoinCopyN(double const *,int,double
*) {486 occurrences}
[W] UMR: Uninitialized memory read in N::CoinCopyN(double const *,int,double
*) {1142 occurrences}
[W] UMR: Uninitialized memory read in N::CoinCopyN(double const *,int,double
*) {488 occurrences}
[W] UMR: Uninitialized memory read in N::CoinCopyN(double const *,int,double
*) {503 occurrences}
[W] UMR: Uninitialized memory read in N::CoinCopyN(double const *,int,double
*) {490 occurrences}
[W] UMR: Uninitialized memory read in N::CoinCopyN(double const *,int,double
*) {1135 occurrences}
...
[W] UMR: Uninitialized memory read in
CoinFactorization::pivotOneOtherRow(int,int) {325 occurrences}
[W] UMR: Uninitialized memory read in
CoinFactorization::pivotOneOtherRow(int,int) {177 occurrences}
...


Let me know if you have any ideas on this one. I know this problem is
particularly badly scaled.






http://coral.ie.lehigh.edu/~magh/tmp/PRICE_AND_CUT_subProb_relax2.n0.c0.p0.b2.lp<http://coral.ie.lehigh.edu/%7Emagh/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
>
>
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://list.coin-or.org/pipermail/cbc/attachments/20091026/c3dac920/attachment.html