MIPLIB 2017 Infeas

ns2122698

primal-infeasible

The instance

as published
Variables
155,103
Constraints
139,280
Nonzeros
424,272
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
C48R08D0602 ≤ 0
this instance, the other side
C48R08D0602 ≥ 1 at depth 5,168
Depth in the tree
5,168
Bounds tightened vs. source
74,808
Branch variable
C48R08D0602

Tightened bounds

74,808 entries
C01R15D0101<=0C01R16D0101<=0C01R17D0101<=0C01R15D0104<=0C01R16D0104<=0C01R17D0104<=0C01R15D0201<=0C01R16D0201<=0C01R16D0203<=0C01R17D0203<=0C01R15D0301<=0C01R16D0301<=0

12 of 74,808 shown. The complete list is in the sidecar.