cmflsp40-24-10-7
primal-infeasible
The instance
as published- Variables
- 13,200
- Constraints
- 2,825
- Nonzeros
- 127,736
- 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
Y_25_8 ≤ 0
this instance, the other side
Y_25_8 ≥ 1 at depth 177
Y_25_8 ≤ 0
this instance, the other side
Y_25_8 ≥ 1 at depth 177
- Depth in the tree
- 177
- Bounds tightened vs. source
- 193
- Branch variable
- Y_25_8
Tightened bounds
193 entriesY_1_9<=0Y_1_20<=0Y_1_21<=0Y_3_18<=0Y_4_5<=0Y_4_23<=0Y_5_15<=0Y_5_17<=0Y_5_18<=0Y_5_20<=0Y_6_6<=0Y_6_8<=0
12 of 193 shown. The complete list is in the sidecar.