uccase9
primal-infeasible
The instance
as published- Variables
- 33,242
- Constraints
- 49,565
- Nonzeros
- 332,316
- 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(53,120,2) ≤ 0
this instance, the other side
B(53,120,2) ≥ 1 at depth 445
B(53,120,2) ≤ 0
this instance, the other side
B(53,120,2) ≥ 1 at depth 445
- Depth in the tree
- 445
- Bounds tightened vs. source
- 5,676
- Branch variable
- B(53,120,2)
Tightened bounds
5,676 entries_ENS(0,1,1)<=1676.6199999999999_ENS(0,1,2)<=1673.6199999999999_ENS(0,1,3)<=1677.6199999999999_ENS(0,1,4)<=1667.6199999999999_ENS(0,1,5)<=1663.6199999999999_ENS(0,1,6)<=1667.29_ENS(0,1,7)<=1669.29_ENS(0,1,8)<=1666.29_ENS(0,1,9)<=1679.29_ENS(0,1,10)<=1682.29_ENS(0,1,11)<=1708.29_ENS(0,1,12)<=1714.29
12 of 5,676 shown. The complete list is in the sidecar.