circ10-3
primal-infeasible
The instance
as published- Variables
- 2,700
- Constraints
- 42,620
- Nonzeros
- 307,320
- 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
x2160 ≤ 0
this instance, the other side
x2160 ≥ 1 at depth 149
x2160 ≤ 0
this instance, the other side
x2160 ≥ 1 at depth 149
- Depth in the tree
- 149
- Bounds tightened vs. source
- 149
- Branch variable
- x2160
Tightened bounds
149 entriesx1861<=0x1911<=0x1919<=0x1982<=0x1999<=0x2002<=0x2019<=0x2099<=0x2119<=0x2141<=0x2151<=0x2160>=1
12 of 149 shown. The complete list is in the sidecar.