MIPLIB 2017 Infeas

physiciansched3-3

primal-infeasible

The instance

as published
Variables
79,555
Constraints
266,227
Nonzeros
1,062,479
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
c8371 ≤ 0
this instance, the other side
c8371 ≥ 1 at depth 270
Depth in the tree
270
Bounds tightened vs. source
25,532
Branch variable
c8371

Tightened bounds

25,532 entries
c3<=0c5<=0c7<=0c8<=0c9<=0c10<=0c12<=0c15<=0c16<=0c17<=0c18<=0c19<=0

12 of 25,532 shown. The complete list is in the sidecar.