d20200
primal-infeasible
The instance
as published- Variables
- 4,000
- Constraints
- 1,502
- Nonzeros
- 189,389
- 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
x1,185 ≥ 1
this instance, the other side
x1,185 ≤ 0 at depth 437
x1,185 ≥ 1
this instance, the other side
x1,185 ≤ 0 at depth 437
- Depth in the tree
- 437
- Bounds tightened vs. source
- 437
- Branch variable
- x1,185
Tightened bounds
437 entriesx0,0<=0x0,2>=1x0,25<=0x0,55>=1x0,64>=1x0,73<=0x0,75<=0x0,79<=0x0,83<=0x0,95>=1x0,112<=0x0,131>=1
12 of 437 shown. The complete list is in the sidecar.