square37
primal-infeasible
The instance
as published- Variables
- 49,320
- Constraints
- 33,150
- Nonzeros
- 9,475,672
- 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
x_22_3_1 ≤ 0
this instance, the other side
x_22_3_1 ≥ 1 at depth 48
x_22_3_1 ≤ 0
this instance, the other side
x_22_3_1 ≥ 1 at depth 48
- Depth in the tree
- 48
- Bounds tightened vs. source
- 31,784
- Branch variable
- x_22_3_1
Tightened bounds
31,784 entriesx_1_1_1<=0x_1_1_3<=0x_1_1_7<=0x_1_1_12<=0x_1_3_36<=0x_1_4_35<=0x_1_4_36<=0x_1_5_34<=0x_1_5_35<=0x_1_5_36<=0x_1_6_33<=0x_1_6_34<=0
12 of 31,784 shown. The complete list is in the sidecar.