MIPLIB 2017 Infeas

momentum1

primal-infeasible

The instance

as published
Variables
5,174
Constraints
42,680
Nonzeros
103,198
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
x5045 ≤ 0
this instance, the other side
x5045 ≥ 1 at depth 37
Depth in the tree
37
Bounds tightened vs. source
652
Branch variable
x5045

Tightened bounds

652 entries
x1<=9.97631157x2<=9.97631157x3<=9.97631157x4<=9.97631157x5<=9.97631157x6<=9.97631157x7<=9.97631157x8<=9.97631157x9<=9.97631157x10<=9.97631157x11<=9.97631157x12<=9.97631157

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