MIPLIB 2017 Infeas

nursesched-medium-hint03

primal-infeasible

The instance

as published
Variables
34,248
Constraints
14,062
Nonzeros
622,800
Format
MPS, gzipped

Where it comes from

provenance

A 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
rw(N18,1,13) ≤ 0
this instance, the other side
rw(N18,1,13) ≥ 1 at depth 1,965
Depth in the tree
1,965
Bounds tightened vs. source
1,995
Branch variable
rw(N18,1,13)

Tightened bounds

1,995 entries
x(N0,N,10)<=0x(N0,N,24)<=0x(N0,E,7)<=0x(N0,D,7)<=0x(N0,L,9)<=0x(N0,L,26)<=0x(N1,E,9)<=0x(N1,E,15)<=0x(N1,E,26)<=0x(N1,D,15)<=0x(N2,N,9)<=0x(N2,N,11)<=0

12 of 1,995 shown. The complete list is in the sidecar.

Also published in the dual-infeasible set view →