cmflsp60-36-2-6
primal-infeasible
The instance
as published- Variables
- 42,192
- Constraints
- 6,388
- Nonzeros
- 581,335
- Format
- MPS, gzipped
Where it comes from
provenanceA branch-and-bound run reached this node's parent and split on a variable. This instance is the side the search did not explore, and it has no feasible point.
branch taken by the search
Z_1_17 ≥ 1
this instance, the other side
Z_1_17 ≤ 0 at depth 1,259
Z_1_17 ≥ 1
this instance, the other side
Z_1_17 ≤ 0 at depth 1,259
- Depth in the tree
- 1,259
- Bounds tightened vs. source
- 1,283
- Branch variable
- Z_1_17
Tightened bounds
1,283 entriesY_1_5<=0Y_1_6<=0Y_1_7<=0Y_1_9<=0Y_1_10<=0Y_1_11<=0Y_1_12<=0Y_1_14<=0Y_1_16<=0Y_1_17<=0Y_1_18<=0Y_1_19<=0
12 of 1,283 shown. The complete list is in the sidecar.