MIPLIB 2017 Infeas

neos-1354092

primal-infeasible

The instance

as published
Variables
13,702
Constraints
3,135
Nonzeros
187,187
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
X1656_6 ≤ 0
this instance, the other side
X1656_6 ≥ 1 at depth 8,690
Depth in the tree
8,690
Bounds tightened vs. source
9,342
Branch variable
X1656_6

Tightened bounds

9,342 entries
A02>=1A04>=1A08<=0A10>=1A14>=1A15>=1A18<=0A19>=1A20>=1A21>=1A22>=1A23>=1

12 of 9,342 shown. The complete list is in the sidecar.