lr2-22dr3-333vc4v17a-t60
primal-infeasible
The instance
as published- Variables
- 109,519
- Constraints
- 108,566
- Nonzeros
- 435,517
- 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_(3,13),(3,14),2 ≤ 0
this instance, the other side
x_(3,13),(3,14),2 ≥ 1 at depth 1,048
x_(3,13),(3,14),2 ≤ 0
this instance, the other side
x_(3,13),(3,14),2 ≥ 1 at depth 1,048
- Depth in the tree
- 1,048
- Bounds tightened vs. source
- 7,210
- Branch variable
- x_(3,13),(3,14),2
Tightened bounds
7,210 entriesf_(0,0),0<=0z_(0,0),0<=0f_(0,0),1<=0z_(0,0),1<=0f_(0,0),2<=0z_(0,0),2<=0f_(0,0),3<=0z_(0,0),3<=0f_(0,0),4<=0z_(0,0),4<=0f_(0,0),5<=0z_(0,0),5<=0
12 of 7,210 shown. The complete list is in the sidecar.