MIPLIB 2017 Infeas

physiciansched5-3

primal-infeasible

The instance

as published
Variables
14,488
Constraints
31,925
Nonzeros
156,378
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
c830 ≥ 1
this instance, the other side
c830 ≤ 0 at depth 362
Depth in the tree
362
Bounds tightened vs. source
3,583
Branch variable
c830

Tightened bounds

3,583 entries
c2<=0c3<=0c6>=1c10<=0c11<=0c17>=1c18<=0c20<=0c21<=0c22<=0c23<=0c24<=0

12 of 3,583 shown. The complete list is in the sidecar.