MIPLIB 2017 Infeas

ns1430538

primal-infeasible

The instance

as published
Variables
33,616
Constraints
34,960
Nonzeros
178,112
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
C32620 ≤ 0
this instance, the other side
C32620 ≥ 1 at depth 1,006
Depth in the tree
1,006
Bounds tightened vs. source
1,846
Branch variable
C32620

Tightened bounds

1,846 entries
C31081<=240C31082<=240C31083<=240C31084<=240C31085<=240C31086<=240C31087<=240C31088<=240C31089<=240C31090<=240C31091<=240C31092<=240

12 of 1,846 shown. The complete list is in the sidecar.