MIPLIB 2017 Infeas

supportcase41

primal-infeasible

The instance

as published
Variables
4,725
Constraints
28,923
Nonzeros
221,321
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
x337 ≥ 1
this instance, the other side
x337 ≤ 0 at depth 90
Depth in the tree
90
Bounds tightened vs. source
1,635
Branch variable
x337

Tightened bounds

1,635 entries
x1>=28x1<=40.799999999999997x3<=4.5454545454545503x4<=4.5454545454545503x5<=6.3636363636363669x6<=6.8181818181818254x7<=6.8181818181818254x8<=4x9<=6x10<=5x11<=5x12<=5.5555555555555669

12 of 1,635 shown. The complete list is in the sidecar.