nursesched-medium04
primal-infeasible
The instance
as published- Variables
- 29,667
- Constraints
- 8,668
- Nonzeros
- 621,829
- 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
ww(N0,17,24) ≤ 0
this instance, the other side
ww(N0,17,24) ≥ 1 at depth 1,940
ww(N0,17,24) ≤ 0
this instance, the other side
ww(N0,17,24) ≥ 1 at depth 1,940
- Depth in the tree
- 1,940
- Bounds tightened vs. source
- 1,970
- Branch variable
- ww(N0,17,24)
Tightened bounds
1,970 entriesx(N0,N,7)<=0x(N0,E,7)<=0x(N0,E,26)<=0x(N0,D,7)<=0x(N0,L,7)<=0x(N3,N,6)<=0x(N3,N,26)<=0x(N3,E,6)<=0x(N3,E,17)<=0x(N3,D,6)<=0x(N3,L,6)<=0x(N4,N,10)<=0
12 of 1,970 shown. The complete list is in the sidecar.