MIPLIB 2017 Infeas

neos-873061

primal-infeasible

The instance

as published
Variables
175,288
Constraints
93,360
Nonzeros
350,576
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
C100197 ≥ 1
this instance, the other side
C100197 ≤ 0 at depth 610
Depth in the tree
610
Bounds tightened vs. source
610
Branch variable
C100197

Tightened bounds

610 entries
C87666<=0C87832<=0C87867>=1C87883<=0C87903<=0C87974<=0C88118<=0C88153<=0C88320<=0C88610<=0C88631<=0C88672<=0

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