square47
primal-infeasible
The instance
as published- Variables
- 95,030
- Constraints
- 61,591
- Nonzeros
- 27,329,856
- 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 ≤ 0
this instance, the other side
y_25 ≥ 1 at depth 30
y_25 ≤ 0
this instance, the other side
y_25 ≥ 1 at depth 30
- Depth in the tree
- 30
- Bounds tightened vs. source
- 59,356
- Branch variable
- y_25
Tightened bounds
59,356 entriesx_1_1_15<=0x_1_6_43<=0x_1_7_42<=0x_1_7_43<=0x_1_8_41<=0x_1_8_42<=0x_1_8_43<=0x_1_9_40<=0x_1_9_41<=0x_1_9_42<=0x_1_9_43<=0x_1_10_39<=0
12 of 59,356 shown. The complete list is in the sidecar.