MIPLIB 2017 Infeas

uccase8

primal-infeasible

The instance

as published
Variables
37,413
Constraints
53,709
Nonzeros
214,625
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
B(53,53,1) ≤ 0
this instance, the other side
B(53,53,1) ≥ 1 at depth 747
Depth in the tree
747
Bounds tightened vs. source
7,248
Branch variable
B(53,53,1)

Tightened bounds

7,248 entries
_ENS(0,1,1)<=1689.864_ENS(0,1,2)<=1666.364_ENS(0,1,3)<=1654.1209999999999_ENS(0,1,4)<=1647.1209999999999_ENS(0,1,5)<=1642.1209999999999_ENS(0,1,6)<=1651.7909999999999_ENS(0,1,7)<=1648.7909999999999_ENS(0,1,8)<=1641.7909999999999_ENS(0,1,9)<=1650.7909999999999_ENS(0,1,10)<=1649.7909999999999_ENS(0,1,11)<=1683.7909999999999_ENS(0,1,12)<=1688.7909999999999

12 of 7,248 shown. The complete list is in the sidecar.