MIPLIB 2017 Infeas

pb-fit2d

primal-infeasible

The instance

as published
Variables
118,500
Constraints
10,525
Nonzeros
1,575,578
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
x97409 ≤ 0
this instance, the other side
x97409 ≥ 1 at depth 54,505
Depth in the tree
54,505
Bounds tightened vs. source
54,505
Branch variable
x97409

Tightened bounds

54,505 entries
x64501<=0x64502<=0x64503<=0x64504<=0x64505<=0x31501>=1x31502>=1x31503>=1x31504>=1x31505>=1x31506>=1x31509<=0

12 of 54,505 shown. The complete list is in the sidecar.

Also published in the dual-infeasible set view →