MIPLIB 2017 Infeas

neos-3555904-turama

primal-infeasible

The instance

as published
Variables
37,461
Constraints
146,493
Nonzeros
793,605
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
x26844 ≤ 0
this instance, the other side
x26844 ≥ 1 at depth 122
Depth in the tree
122
Bounds tightened vs. source
299
Branch variable
x26844

Tightened bounds

299 entries
x4914>=1x6345<=0x6363<=0x6365<=0x6366<=0x6368<=0x6369<=0x6371<=0x6372<=0x6374<=0x6375<=0x6377<=0

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