MIPLIB 2017 Infeas

neos-5266653-tugela

primal-infeasible

The instance

as published
Variables
23,310
Constraints
23,458
Nonzeros
171,534
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
C16436 ≤ 0
this instance, the other side
C16436 ≥ 1 at depth 4
Depth in the tree
4
Bounds tightened vs. source
1,264
Branch variable
C16436

Tightened bounds

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

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

Also published in the dual-infeasible set view →