MIPLIB 2017 Infeas

ns1760995

primal-infeasible

The instance

as published
Variables
17,956
Constraints
615,388
Nonzeros
1,854,012
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
C1948 ≤ 0
this instance, the other side
C1948 ≥ 1 at depth 213
Depth in the tree
213
Bounds tightened vs. source
882
Branch variable
C1948

Tightened bounds

882 entries
C0001>=0C0001<=124177.60941200003C0002>=0C0002<=117206.39336697994C0003>=0C0003<=122717.38671420999C0004>=0C0004<=119226.2580225C0005>=0C0005<=112805.40482859997C0006>=0C0006<=118958.00078342995

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