MIPLIB 2017 Infeas

neos-956971

primal-infeasible

The instance

as published
Variables
57,756
Constraints
2,527
Nonzeros
483,560
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
C48341 ≤ 0
this instance, the other side
C48341 ≥ 1 at depth 12,571
Depth in the tree
12,571
Bounds tightened vs. source
12,571
Branch variable
C48341

Tightened bounds

12,571 entries
C0108>=1C0244<=0C0307<=0C0309<=0C0354<=0C0360<=0C0361<=0C0368<=0C0375<=0C0403<=0C0404<=0C0455<=0

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

Also published in the dual-infeasible set view →