MIPLIB 2017 Infeas

neos-1593097

primal-infeasible

The instance

as published
Variables
18,460
Constraints
798
Nonzeros
113,308
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
C16272 ≤ 0
this instance, the other side
C16272 ≥ 1 at depth 4
Depth in the tree
4
Bounds tightened vs. source
264
Branch variable
C16272

Tightened bounds

264 entries
C0001<=37030C0002<=37030C0003<=37030C0004<=37030C0005<=37030C0006<=37030C0007<=37030C0008<=37030C0009<=37030C0010<=37030C0011<=37030C0012<=37030

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

Also published in the dual-infeasible set view →