hgms30
primal-infeasible
The instance
as published- Variables
- 23,797
- Constraints
- 281,917
- Nonzeros
- 850,486
- 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
Z_03_00_04 ≥ 1
this instance, the other side
Z_03_00_04 ≤ 0 at depth 60
Z_03_00_04 ≥ 1
this instance, the other side
Z_03_00_04 ≤ 0 at depth 60
- Depth in the tree
- 60
- Bounds tightened vs. source
- 8,939
- Branch variable
- Z_03_00_04
Tightened bounds
8,939 entriesQ_00_00_00_00<=159.404Q_00_00_00_01<=216.87Q_00_00_01_00<=159.404Q_00_00_01_01<=216.87Q_00_00_02_00<=159.404Q_00_00_02_01<=216.87Q_00_00_03_00<=159.404Q_00_00_03_01<=216.87Q_00_00_04_00<=159.404Q_00_00_04_01<=216.87Q_00_00_05_00<=159.404Q_00_00_05_01<=216.87
12 of 8,939 shown. The complete list is in the sidecar.