MIPLIB 2017 Infeas

neos-5041822-cockle

primal-infeasible

The instance

as published
Variables
227,668
Constraints
546,733
Nonzeros
1,362,474
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
C117120 ≤ 0
this instance, the other side
C117120 ≥ 1 at depth 18
Depth in the tree
18
Bounds tightened vs. source
12,175
Branch variable
C117120

Tightened bounds

12,175 entries
C13729<=1000000C13730<=1000000C13731<=1000000C13732<=1000000C13733<=1000000C13734<=1000000C13735<=1000000C13736<=1000000C13737<=1000000C13738<=1000000C13739<=1000000C13740<=1000000

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