MIPLIB 2017 Infeas

physiciansched3-4

primal-infeasible

The instance

as published
Variables
74,119
Constraints
239,780
Nonzeros
908,634
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
c37121 ≥ 1
this instance, the other side
c37121 ≤ 0 at depth 144
Depth in the tree
144
Bounds tightened vs. source
27,829
Branch variable
c37121

Tightened bounds

27,829 entries
c4<=0c8<=0c10<=0c12<=0c13<=0c14<=0c15<=0c18<=0c19<=0c22<=0c24<=0c30<=0

12 of 27,829 shown. The complete list is in the sidecar.