MIPLIB 2017 Infeas

fhnw-binschedule2

primal-infeasible

The instance

as published
Variables
30,973
Constraints
6,503
Nonzeros
134,640
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
C30732 ≥ 1
this instance, the other side
C30732 ≤ 0 at depth 283
Depth in the tree
283
Bounds tightened vs. source
280
Branch variable
C30732

Tightened bounds

280 entries
C23>=1C533>=1C734>=1C955>=1C1154>=1C1216>=1C1410>=1C1769>=1C1913<=0C1962<=0C1971>=1C2025>=1

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