MIPLIB 2017 Infeas

germanrr

primal-infeasible

The instance

as published
Variables
10,813
Constraints
10,779
Nonzeros
175,547
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
C0005435 ≤ 0
this instance, the other side
C0005435 ≥ 1 at depth 25
Depth in the tree
25
Bounds tightened vs. source
140
Branch variable
C0005435

Tightened bounds

140 entries
C0000014>=9C0000015>=3C0000016>=5C0000017<=4C0000025>=7C0000040>=11C0000060>=3C0000063>=12C0000072>=5C0000080>=4C0000085>=4C0000093>=9

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