MIPLIB 2017 Infeas

bab2

primal-infeasible

The instance

as published
Variables
147,912
Constraints
17,245
Nonzeros
2,027,726
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
x4352 ≤ 0
this instance, the other side
x4352 ≥ 1 at depth 718
Depth in the tree
718
Bounds tightened vs. source
814
Branch variable
x4352

Tightened bounds

814 entries
x18<=0x226<=0x228<=0x229<=0x235<=0x236<=0x244<=0x246<=0x247<=0x248<=0x362<=0x450<=0

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