uccase7
primal-infeasible
The instance
as published- Variables
- 33,020
- Constraints
- 47,132
- Nonzeros
- 335,644
- 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
B(52,71,1) ≤ 0
this instance, the other side
B(52,71,1) ≥ 1 at depth 439
B(52,71,1) ≤ 0
this instance, the other side
B(52,71,1) ≥ 1 at depth 439
- Depth in the tree
- 439
- Bounds tightened vs. source
- 8,595
- Branch variable
- B(52,71,1)
Tightened bounds
8,595 entries_ENS(0,1,1)<=1623.4279999999999_ENS(0,1,2)<=1601.4279999999999_ENS(0,1,3)<=1600.4279999999999_ENS(0,1,4)<=1599.4279999999999_ENS(0,1,5)<=1599.4580000000001_ENS(0,1,6)<=1602.4580000000001_ENS(0,1,7)<=1619.4580000000001_ENS(0,1,8)<=1622.4580000000001_ENS(0,1,9)<=1648.4580000000001_ENS(0,1,10)<=1646.4580000000001_ENS(0,1,11)<=1661.4580000000001_ENS(0,1,12)<=1659.4580000000001
12 of 8,595 shown. The complete list is in the sidecar.