MIPLIB 2017 Infeas

neos-4295773-pissa

primal-infeasible

The instance

as published
Variables
85,126
Constraints
210,116
Nonzeros
552,408
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
C10377 ≤ 0
this instance, the other side
C10377 ≥ 1 at depth 291
Depth in the tree
291
Bounds tightened vs. source
291
Branch variable
C10377

Tightened bounds

291 entries
C0413<=0C0820<=0C0822<=0C0823<=0C0828<=0C0831<=0C0832<=0C0834<=0C0835<=0C0836<=0C0840<=0C0841<=0

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