MIPLIB 2017 Infeas

square41

primal-infeasible

The instance

as published
Variables
62,234
Constraints
40,160
Nonzeros
13,566,426
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
x_21_1_10 ≤ 0
this instance, the other side
x_21_1_10 ≥ 1 at depth 24
Depth in the tree
24
Bounds tightened vs. source
38,454
Branch variable
x_21_1_10

Tightened bounds

38,454 entries
x_1_1_20>=1x_1_6_37<=0x_1_7_36<=0x_1_7_37<=0x_1_8_35<=0x_1_8_36<=0x_1_8_37<=0x_1_9_34<=0x_1_9_35<=0x_1_9_36<=0x_1_9_37<=0x_1_10_33<=0

12 of 38,454 shown. The complete list is in the sidecar.