MIPLIB 2017 Infeas

neos-4260495-otere

primal-infeasible

The instance

as published
Variables
176,048
Constraints
295,357
Nonzeros
702,986
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
C176028 ≥ 17
this instance, the other side
C176028 ≤ 16 at depth 89
Depth in the tree
89
Bounds tightened vs. source
5,287
Branch variable
C176028

Tightened bounds

5,287 entries
C0001<=2C0002<=2C0094<=1C0095<=1C0096<=1C0097<=1C0098<=1C0099<=1C0100<=1C0101<=1C0102<=1C0103<=1

12 of 5,287 shown. The complete list is in the sidecar.