nursesched-sprint02
primal-infeasible
The instance
as published- Variables
- 10,250
- Constraints
- 3,522
- Nonzeros
- 204,000
- 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(N4,3,7) ≤ 0
this instance, the other side
ww(N4,3,7) ≥ 1 at depth 585
ww(N4,3,7) ≤ 0
this instance, the other side
ww(N4,3,7) ≥ 1 at depth 585
- Depth in the tree
- 585
- Bounds tightened vs. source
- 595
- Branch variable
- ww(N4,3,7)
Tightened bounds
595 entriesx(N0,N,15)<=0x(N0,N,25)<=0x(N0,E,1)<=0x(N0,D,1)<=0x(N0,D,25)<=0x(N0,D,27)<=0x(N0,L,1)<=0x(N1,N,15)<=0x(N1,N,19)<=0x(N1,D,8)<=0x(N1,L,6)<=0x(N1,L,15)<=0
12 of 595 shown. The complete list is in the sidecar.