MIPLIB 2017 Infeas

hgms62

primal-infeasible

The instance

as published
Variables
48,597
Constraints
582,237
Nonzeros
1,753,238
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
Z_03_07_00 ≤ 0
this instance, the other side
Z_03_07_00 ≥ 1 at depth 42
Depth in the tree
42
Bounds tightened vs. source
18,355
Branch variable
Z_03_07_00

Tightened bounds

18,355 entries
Q_00_00_00_00<=159.404Q_00_00_00_01<=216.87Q_00_00_01_00<=159.404Q_00_00_01_01<=216.87Q_00_00_02_00<=159.404Q_00_00_02_01<=216.87Q_00_00_03_00<=159.404Q_00_00_03_01<=216.87Q_00_00_04_00<=159.404Q_00_00_04_01<=216.87Q_00_00_05_00<=159.404Q_00_00_05_01<=216.87

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