MIPLIB 2017 Infeas

ns930473

primal-infeasible

The instance

as published
Variables
11,328
Constraints
23,240
Nonzeros
121,764
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
C0010400 ≤ 0
this instance, the other side
C0010400 ≥ 1 at depth 55
Depth in the tree
55
Bounds tightened vs. source
215
Branch variable
C0010400

Tightened bounds

215 entries
C0001364<=0C0001366<=0C0001396>=1C0002177<=0C0002307<=0C0002661<=0C0002713<=0C0002745<=0C0002776>=1C0002793>=1C0004159<=0C0004160<=0

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