MIPLIB 2017 Infeas

sing326

primal-infeasible

The instance

as published
Variables
55,156
Constraints
50,781
Nonzeros
268,173
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
C40485 ≥ 1
this instance, the other side
C40485 ≤ 0 at depth 354
Depth in the tree
354
Bounds tightened vs. source
19,399
Branch variable
C40485

Tightened bounds

19,399 entries
C0001<=129C0002<=150.40000000000001C0003<=172C0004<=193C0005<=226.80000000000001C0006<=8.4000000000000004C0007<=5.9370000000000003C0008<=96.900000000000006C0009<=134.90000000000001C0010<=152.40000000000001C0011<=165.90000000000001C0012<=0.72199999999999998

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