MIPLIB 2017 Infeas

app1-2

primal-infeasible

The instance

as published
Variables
26,871
Constraints
53,467
Nonzeros
199,175
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
x62 ≤ 0
this instance, the other side
x62 ≥ 1 at depth 8
Depth in the tree
8
Bounds tightened vs. source
131
Branch variable
x62

Tightened bounds

131 entries
x40<=0x62>=1x81<=0x191<=0x243<=0x13609<=0x13617<=-0x13618<=1x13619<=1x13671<=1x13672<=1x13673<=1

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