MIPLIB 2017 Infeas

neos-4555749-wards

primal-infeasible

The instance

as published
Variables
89,147
Constraints
51,776
Nonzeros
1,263,377
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
C23511 ≤ 0
this instance, the other side
C23511 ≥ 1 at depth 66
Depth in the tree
66
Bounds tightened vs. source
82
Branch variable
C23511

Tightened bounds

82 entries
C0001<=1109161C0002<=1109161C0003<=1109161C0004<=1109161C0005<=1109161C0006<=1109161C0007<=1109161C0008<=1109161C0009<=1109161C0010<=1109161C0011<=1109161C0012<=1109161

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