MIPLIB 2017 Infeas

rd-rplusc-21

primal-infeasible

The instance

as published
Variables
622
Constraints
125,899
Nonzeros
852,384
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
x429 ≤ 0
this instance, the other side
x429 ≥ 1 at depth 25
Depth in the tree
25
Bounds tightened vs. source
73
Branch variable
x429

Tightened bounds

73 entries
x3>=0.99160000000000004x44>=1.4852000000000001x44<=1.4852000000000001x208<=103x274<=26.5x275<=26.5x276<=26.5x277<=26.5x278<=26.5x279<=26.5x280<=26.5x281<=26.5

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