MIPLIB 2017 Infeas

neos-5195221-niemur

primal-infeasible

The instance

as published
Variables
14,546
Constraints
42,256
Nonzeros
176,586
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
C4913 ≤ 0
this instance, the other side
C4913 ≥ 1 at depth 3
Depth in the tree
3
Bounds tightened vs. source
4,755
Branch variable
C4913

Tightened bounds

4,755 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,755 shown. The complete list is in the sidecar.