nucorsav
primal-infeasible
The instance
as published- Variables
- 55,410
- Constraints
- 1,812,472
- Nonzeros
- 26,170,428
- 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
x54736 ≤ 0
this instance, the other side
x54736 ≥ 1 at depth 9
x54736 ≤ 0
this instance, the other side
x54736 ≥ 1 at depth 9
- Depth in the tree
- 9
- Bounds tightened vs. source
- 3,449
- Branch variable
- x54736
Tightened bounds
3,449 entriesx1<=66x2<=66x3<=66x4<=66x5<=66x6<=66x7<=66x8<=66x9<=66x10<=66x11<=66x12<=66
12 of 3,449 shown. The complete list is in the sidecar.