MIP-0.2.0.1: samples/lp/test-solution-glpk-infeasible.sol
Problem:
Rows: 3
Columns: 3 (3 integer, 0 binary)
Non-zeros: 5
Status: INTEGER EMPTY
Objective: obj = 0 (MINimum)
No. Row name Activity Lower bound Upper bound
------ ------------ ------------- ------------- -------------
1 r.4 0 0 =
2 r.5 0 1
3 r.6 0 2
No. Column name Activity Lower bound Upper bound
------ ------------ ------------- ------------- -------------
1 x * 0
2 y * 0
3 z * 0 0
Integer feasibility conditions:
KKT.PE: max.abs.err = 0.00e+00 on row 0
max.rel.err = 0.00e+00 on row 0
High quality
KKT.PB: max.abs.err = 1.00e+00 on row 2
max.rel.err = 5.00e-01 on row 2
SOLUTION IS INFEASIBLE
End of output