MIPLIB 2017 Infeas

physiciansched6-1

primal-infeasible

The instance

as published
Variables
126,204
Constraints
175,664
Nonzeros
542,098
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
c11301 ≤ 0
this instance, the other side
c11301 ≥ 1 at depth 396
Depth in the tree
396
Bounds tightened vs. source
62,640
Branch variable
c11301

Tightened bounds

62,640 entries
c2<=0c3<=0c4<=0c5<=0c6<=0c7<=0c8<=0c9<=0c10<=0c12<=0c13<=0c14<=0

12 of 62,640 shown. The complete list is in the sidecar.