MIPLIB 2017 Infeas

adult-max5features

primal-infeasible

The instance

as published
Variables
32,674
Constraints
32,709
Nonzeros
417,567
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
error_41 ≥ 1
this instance, the other side
error_41 ≤ 0 at depth 105
Depth in the tree
105
Bounds tightened vs. source
101
Branch variable
error_41

Tightened bounds

101 entries
rho_0<=0error_0<=0error_1<=0error_3<=0error_4<=0error_5<=0error_7<=0error_8<=0error_9<=0error_10<=0error_11<=0error_12<=0

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