MIPLIB 2017 Infeas

ns1116954

primal-infeasible

The instance

as published
Variables
12,648
Constraints
131,991
Nonzeros
410,582
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
C7299 ≤ 0
this instance, the other side
C7299 ≥ 1 at depth 178
Depth in the tree
178
Bounds tightened vs. source
178
Branch variable
C7299

Tightened bounds

178 entries
C5228>=1C5240>=1C5250>=1C5259>=1C5272>=1C5285>=1C5345>=1C5347>=1C5426>=1C5441>=1C5462<=0C5478>=1

12 of 178 shown. The complete list is in the sidecar.