MIPLIB 2017 Infeas

rail01

primal-infeasible

The instance

as published
Variables
117,527
Constraints
46,843
Nonzeros
392,086
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
x60903 ≤ 0
this instance, the other side
x60903 ≥ 1 at depth 78
Depth in the tree
78
Bounds tightened vs. source
79
Branch variable
x60903

Tightened bounds

79 entries
x14>=1x339>=1x670<=0x2953<=0x2954<=0x8150<=0x15636<=0x16188<=0x16266<=0x18638<=0x18640<=0x22326<=0

12 of 79 shown. The complete list is in the sidecar.