shs1023
primal-infeasible
The instance
as published- Variables
- 444,625
- Constraints
- 133,944
- Nonzeros
- 1,044,725
- 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
x441719 ≤ 0
this instance, the other side
x441719 ≥ 1 at depth 751
x441719 ≤ 0
this instance, the other side
x441719 ≥ 1 at depth 751
- Depth in the tree
- 751
- Bounds tightened vs. source
- 4,650
- Branch variable
- x441719
Tightened bounds
4,650 entriesx354<=0x376<=0x919<=0x2118<=1x2141<=0x2505<=0x3067<=0x3077<=0x4406<=0x4410<=0x4414<=0x4426<=0
12 of 4,650 shown. The complete list is in the sidecar.