MIPLIB 2017 Infeas

neos-5129192-manaia

primal-infeasible

The instance

as published
Variables
164,229
Constraints
531,569
Nonzeros
1,599,180
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
C57850 ≤ 0
this instance, the other side
C57850 ≥ 1 at depth 3
Depth in the tree
3
Bounds tightened vs. source
3
Branch variable
C57850

Tightened bounds

3 entries
C28765>=1C57050>=1C57850>=1

3 of 3 shown. The complete list is in the sidecar.