nursesched-sprint-late03
primal-infeasible
The instance
as published- Variables
- 11,690
- Constraints
- 5,032
- Nonzeros
- 208,410
- 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(N1,L,13) ≤ 0
this instance, the other side
x(N1,L,13) ≥ 1 at depth 570
x(N1,L,13) ≤ 0
this instance, the other side
x(N1,L,13) ≥ 1 at depth 570
- Depth in the tree
- 570
- Bounds tightened vs. source
- 580
- Branch variable
- x(N1,L,13)
Tightened bounds
580 entriesx(N0,N,4)<=0x(N0,N,7)<=0x(N0,N,25)<=0x(N0,E,4)<=0x(N0,E,7)<=0x(N0,D,4)<=0x(N0,D,7)<=0x(N0,D,8)<=0x(N0,D,25)<=0x(N0,D,27)<=0x(N0,L,4)<=0x(N0,L,7)<=0
12 of 580 shown. The complete list is in the sidecar.