MIPLIB 2017 Infeas

neos-2991472-kalu

primal-infeasible

The instance

as published
Variables
12,105
Constraints
18,170
Nonzeros
13,709,358
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
C10494 ≤ 0
this instance, the other side
C10494 ≥ 1 at depth 1,339
Depth in the tree
1,339
Bounds tightened vs. source
1,339
Branch variable
C10494

Tightened bounds

1,339 entries
C0096>=1C0151<=0C0152<=0C0153<=0C0186<=0C0190<=0C0194<=0C0197<=0C0199<=0C0200<=0C0201<=0C0282<=0

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

Also published in the dual-infeasible set view →