supportcase7
primal-infeasible
The instance
as published- Variables
- 138,844
- Constraints
- 6,532
- Nonzeros
- 2,845,545
- 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
B138779(8) ≤ 0
this instance, the other side
B138779(8) ≥ 1 at depth 12
B138779(8) ≤ 0
this instance, the other side
B138779(8) ≥ 1 at depth 12
- Depth in the tree
- 12
- Bounds tightened vs. source
- 138,032
- Branch variable
- B138779(8)
Tightened bounds
138,032 entriesC3(1)<=-0C4(1)>=20.969999999999999C4(1)<=20.969999999999999C9(1)>=19.07C9(1)<=19.07C14(1)>=17.34C14(1)<=17.34C19(1)>=30.050000000000001C19(1)<=30.050000000000001C24(1)>=24.84C24(1)<=24.84C29(1)<=0
12 of 138,032 shown. The complete list is in the sidecar.