lr1dr04vc05v17a-t360
primal-infeasible
The instance
as published- Variables
- 36,912
- Constraints
- 12,600
- Nonzeros
- 107,170
- 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_(0,8),(0,9),0,Term ≥ 1
this instance, the other side
x_(0,8),(0,9),0,Term ≤ 0 at depth 1,129
x_(0,8),(0,9),0,Term ≥ 1
this instance, the other side
x_(0,8),(0,9),0,Term ≤ 0 at depth 1,129
- Depth in the tree
- 1,129
- Bounds tightened vs. source
- 11,111
- Branch variable
- x_(0,8),(0,9),0,Term
Tightened bounds
11,111 entriesalphaSlack_(0,0)<=917alphaSlack_(1,0)<=224alphaSlack_(2,0)<=387alphaSlack_(3,0)<=218alphaSlack_(4,0)<=264supplyAtNode_(0,1)<=917alphaSlack_(0,1)<=1048supplyAtNode_(1,1)>=168alphaSlack_(1,1)<=252supplyAtNode_(2,1)>=301alphaSlack_(2,1)<=430supplyAtNode_(3,1)>=159
12 of 11,111 shown. The complete list is in the sidecar.