[Clp] initialBarrierSolve aborts program on infeasible problem

[John Forrest]

Fixed in master.

On 06/12/2023 11:38, Henning Thielemann wrote:
>
> Attached is a C++ program that loads the according MPS file. All 
> methods other than initialBarrierSolve correctly report the 
> infeasibility via status, but initialBarrierSolve aborts the program:
>
> $ ./dual-off-infinity
> Coin0001I At line 1 NAME          ClpDefau
> Coin0001I At line 2 ROWS
> Coin0001I At line 11 COLUMNS
> Coin0001I At line 21 RHS
> Coin0001I At line 29 RANGES
> Coin0001I At line 32 BOUNDS
> Coin0001I At line 37 ENDATA
> Coin0002I Problem ClpDefau has 7 rows, 2 columns and 7 elements
> Clp0027I Model was imported from dual-off-infinity.mps in 0.005772 
> seconds
> Coin0507I Presolve determined that the problem was infeasible with 
> tolerance of 1e-08
> Clp3003W Analysis indicates model infeasible or unbounded
> 10 elements in sparse Cholesky, flop count 50
> Clp0035I 0 Primal 59.5 Dual -7380.5 Complementarity 10400 - 0 fixed, 
> rank 7
> Clp0035I 1 Primal 37.269361 Dual -4818.557 Complementarity 8228.2218 - 
> 0 fixed, rank 7
> Clp0035I 2 Primal 5.3815103 Dual -1210.1408 Complementarity 6488.4133 
> - 0 fixed, rank 7
> Clp0035I 3 Primal 5.3670364 Dual -387.33899 Complementarity 6191.7066 
> - 0 fixed, rank 7
> Clp0035I 4 Primal -308.02974 Dual -1659.0514 Complementarity 1955.8582 
> - 0 fixed, rank 7
> Clp0035I 5 Primal -310.02859 Dual -456.46006 Complementarity 891.5754 
> - 0 fixed, rank 7
> Clp0035I 6 Primal -561.18452 Dual -386.5366 Complementarity 664.66908 
> - 0 fixed, rank 7
> Clp0035I 7 Primal -560.11826 Dual -362.00813 Complementarity 657.36761 
> - 0 fixed, rank 7
> Clp0035I 8 Primal -549.72977 Dual 6668.613 Complementarity 275.30541 - 
> 0 fixed, rank 7
> Clp0035I 9 Primal -549.72132 Dual 324122.17 Complementarity 150.01422 
> - 0 fixed, rank 7
> Clp0035I 10 Primal -549.72132 Dual 324122.73 Complementarity 149.46374 
> - 0 fixed, rank 7
> Clp0035I 11 Primal -549.72132 Dual 324122.74 Complementarity 149.45825 
> - 0 fixed, rank 7
> Clp0035I 12 Primal -549.72138 Dual 324122.74 Complementarity 144.37258 
> - 0 fixed, rank 7
> Clp0035I 13 Primal -549.72138 Dual 324123.04 Complementarity 144.08214 
> - 0 fixed, rank 7
> Clp0035I 14 Primal -549.72138 Dual 324123.04 Complementarity 144.07924 
> - 0 fixed, rank 7
> Clp0035I 15 Primal -549.72138 Dual 324123.04 Complementarity 144.07921 
> - 0 fixed, rank 7
> Clp0035I 16 Primal -549.72138 Dual 1.4841976e+41 Complementarity 
> 135.52492 - 0 fixed, rank 7
> Clp0035I 17 Primal -549.72138 Dual -1.852911e+88 Complementarity 
> 1.852911e+88 - 0 fixed, rank 7
> dual off to infinity
> Aborted
>
>
> You can see that {cout << "status: "} is not reached.
>
> _______________________________________________
> Clp mailing list
> Clp at list.coin-or.org
> https://list.coin-or.org/mailman/listinfo/clp