bab3
primal-infeasible
The instance
as published- Variables
- 393,800
- Constraints
- 23,069
- Nonzeros
- 3,301,838
- 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
x192387 ≤ 0
this instance, the other side
x192387 ≥ 1 at depth 1,325
x192387 ≤ 0
this instance, the other side
x192387 ≥ 1 at depth 1,325
- Depth in the tree
- 1,325
- Bounds tightened vs. source
- 1,613
- Branch variable
- x192387
Tightened bounds
1,613 entriesx8<=0x18<=0x20<=0x21<=0x199<=0x342<=0x344<=0x345<=0x348<=0x354<=0x355<=0x356<=0
12 of 1,613 shown. The complete list is in the sidecar.