MIPLIB 2017 Infeas

sing44

primal-infeasible

The instance

as published
Variables
59,708
Constraints
54,745
Nonzeros
281,260
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
C44490 ≥ 1
this instance, the other side
C44490 ≤ 0 at depth 225
Depth in the tree
225
Bounds tightened vs. source
30,464
Branch variable
C44490

Tightened bounds

30,464 entries
C0001<=129C0002<=150.40000000000001C0003<=172C0004<=193C0005<=226.80000000000001C0008<=6.2999999999999998C0009<=96.900000000000006C0010<=134.90000000000001C0011<=152.40000000000001C0012<=165.90000000000001C0013<=0.72199999999999998C0014<=14

12 of 30,464 shown. The complete list is in the sidecar.