MIPLIB 2017 Infeas

ns1830653

primal-infeasible

The instance

as published
Variables
1,629
Constraints
2,932
Nonzeros
100,933
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
C0200 ≤ 0
this instance, the other side
C0200 ≥ 1 at depth 27
Depth in the tree
27
Bounds tightened vs. source
404
Branch variable
C0200

Tightened bounds

404 entries
C0129>=1C0172<=0C0173<=0C0174<=0C0176<=0C0180<=0C0184<=0C0188<=0C0190<=0C0191<=0C0192<=0C0194<=0

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