MIPLIB 2017 Infeas

neos-876808

primal-infeasible

The instance

as published
Variables
87,268
Constraints
85,808
Nonzeros
682,376
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
C35898 ≤ 0
this instance, the other side
C35898 ≥ 1 at depth 26
Depth in the tree
26
Bounds tightened vs. source
26
Branch variable
C35898

Tightened bounds

26 entries
C0300<=0C3203<=0C5277<=0C5553<=0C5846<=0C10529<=0C12264<=0C13415>=1C17517<=0C17826<=0C18086<=0C18087<=0

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

Also published in the dual-infeasible set view →