cmflsp40-36-2-10
primal-infeasible
The instance
as published- Variables
- 28,152
- Constraints
- 4,266
- Nonzeros
- 386,432
- 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_16_3 ≥ 1
this instance, the other side
Y_16_3 ≤ 0 at depth 323
Y_16_3 ≥ 1
this instance, the other side
Y_16_3 ≤ 0 at depth 323
- Depth in the tree
- 323
- Bounds tightened vs. source
- 497
- Branch variable
- Y_16_3
Tightened bounds
497 entriesY_1_4<=0Y_1_5<=0Y_1_6<=0Y_1_7<=0Y_1_8<=0Y_1_9<=0Y_1_10<=0Y_1_13<=0Y_1_14<=0Y_1_15<=0Y_1_23<=0Y_1_25<=0
12 of 497 shown. The complete list is in the sidecar.