supportcase33
primal-infeasible
The instance
as published- Variables
- 20,203
- Constraints
- 20,489
- Nonzeros
- 211,915
- 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
x[c41(2),c29(0),1] ≤ 0
this instance, the other side
x[c41(2),c29(0),1] ≥ 1 at depth 62
x[c41(2),c29(0),1] ≤ 0
this instance, the other side
x[c41(2),c29(0),1] ≥ 1 at depth 62
- Depth in the tree
- 62
- Bounds tightened vs. source
- 9,694
- Branch variable
- x[c41(2),c29(0),1]
Tightened bounds
9,694 entriesyc0<=0yc2<=0yc7<=0yc8>=1yc11<=0yc13<=0yc15<=0yc29>=1yc43<=0yc44<=0x[v0,c32(0),0]<=0x[v0,c33(0),0]<=0
12 of 9,694 shown. The complete list is in the sidecar.