MIPLIB 2017 Infeas

neos-4533806-waima

primal-infeasible

The instance

as published
Variables
93,318
Constraints
52,983
Nonzeros
1,250,570
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
C20082 ≤ 0
this instance, the other side
C20082 ≥ 1 at depth 11
Depth in the tree
11
Bounds tightened vs. source
24
Branch variable
C20082

Tightened bounds

24 entries
C0001<=1344767C0002<=1344767C0003<=1344767C0004<=1344767C0005<=1344767C0006<=1344767C0007<=1344767C0008<=1344767C0009<=1344767C0010<=1344767C0011<=1344767C0012<=1344767

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