MIPLIB 2017 Infeas

neos-5196530-nuhaka

primal-infeasible

The instance

as published
Variables
14,544
Constraints
42,124
Nonzeros
171,702
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
C4814 ≤ 0
this instance, the other side
C4814 ≥ 1 at depth 14
Depth in the tree
14
Bounds tightened vs. source
4,766
Branch variable
C4814

Tightened bounds

4,766 entries
C0001<=0.154314759C0002<=0.154314759C0003<=0.154314759C0004<=0.154314759C0005<=0.154314759C0006<=0.154314759C0007<=0.154314759C0008<=0.154314759C0009<=0.154314759C0010<=0.154314759C0011<=0.154314759C0012<=0.154314759

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