cmflsp50-24-8-8
primal-infeasible
The instance
as published- Variables
- 16,392
- Constraints
- 3,520
- Nonzeros
- 158,622
- 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_5_11 ≥ 1
this instance, the other side
Y_5_11 ≤ 0 at depth 284
Y_5_11 ≥ 1
this instance, the other side
Y_5_11 ≤ 0 at depth 284
- Depth in the tree
- 284
- Bounds tightened vs. source
- 304
- Branch variable
- Y_5_11
Tightened bounds
304 entriesY_1_6<=0Y_1_12<=0Y_1_13<=0Y_1_14<=0Y_1_15<=0Y_1_17<=0Y_1_19<=0Y_1_20<=0Y_1_21<=0Y_1_22<=0Y_1_23<=0Y_2_8>=1
12 of 304 shown. The complete list is in the sidecar.