MIPLIB 2017 Infeas

neos-5188808-nattai

primal-infeasible

The instance

as published
Variables
14,544
Constraints
29,452
Nonzeros
133,686
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
C14272 ≥ 1
this instance, the other side
C14272 ≤ 0 at depth 16
Depth in the tree
16
Bounds tightened vs. source
11,896
Branch variable
C14272

Tightened bounds

11,896 entries
C0001<=1C0002<=1C0003<=1C0004<=1C0005<=1C0006<=1C0007<=1C0008<=1C0009<=1C0010<=1C0011<=1C0012<=1

12 of 11,896 shown. The complete list is in the sidecar.