MIPLIB 2017 Infeas

eilA101-2

primal-infeasible

The instance

as published
Variables
65,832
Constraints
100
Nonzeros
959,373
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
x40007 ≤ 0
this instance, the other side
x40007 ≥ 1 at depth 53
Depth in the tree
53
Bounds tightened vs. source
53
Branch variable
x40007

Tightened bounds

53 entries
x15<=0x43<=0x53<=0x68<=0x84<=0x87<=0x2240<=0x3333<=0x3959<=0x4094>=1x7349<=0x10948<=0

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

Also published in the dual-infeasible set view →