MIPLIB 2017 Infeas

neos-3695882-vesdre

primal-infeasible

The instance

as published
Variables
6,135
Constraints
191,504
Nonzeros
598,115
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
C5308 ≤ 0
this instance, the other side
C5308 ≥ 1 at depth 14
Depth in the tree
14
Bounds tightened vs. source
184
Branch variable
C5308

Tightened bounds

184 entries
C0002<=1190C0003<=8500C0004<=1326C0005<=9928C0006<=9928C0007<=9792C0008<=9826C0009<=9690C0010<=8942C0011<=8840C0012<=1292C0013<=9758

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