MIPLIB 2017 Infeas

mzzv42z

primal-infeasible

The instance

as published
Variables
11,717
Constraints
10,460
Nonzeros
151,261
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
x1764 ≤ 0
this instance, the other side
x1764 ≥ 1 at depth 89
Depth in the tree
89
Bounds tightened vs. source
59
Branch variable
x1764

Tightened bounds

59 entries
x66<=0x86<=0x161<=0x197<=19x198<=63x199<=59x200<=54x205<=68x212<=14x224<=9x236<=24x238<=28

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

Also published in the dual-infeasible set view →