proteindesign122trx11p8
primal-infeasible
The instance
as published- Variables
- 127,326
- Constraints
- 254
- Nonzeros
- 503,427
- Format
- MPS, gzipped
Where it comes from
provenanceA 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
X_INTRODUCED_118859_ ≤ 0
this instance, the other side
X_INTRODUCED_118859_ ≥ 1 at depth 799
X_INTRODUCED_118859_ ≤ 0
this instance, the other side
X_INTRODUCED_118859_ ≥ 1 at depth 799
- Depth in the tree
- 799
- Bounds tightened vs. source
- 799
- Branch variable
- X_INTRODUCED_118859_
Tightened bounds
799 entriesX_INTRODUCED_0_<=21X_INTRODUCED_4_<=29X_INTRODUCED_8_<=10X_INTRODUCED_34_>=23X_INTRODUCED_57_<=21X_INTRODUCED_68_>=23X_INTRODUCED_1973_<=0X_INTRODUCED_2019_<=0X_INTRODUCED_2040_<=0X_INTRODUCED_2058_<=0X_INTRODUCED_2149_<=0X_INTRODUCED_2323_<=0
12 of 799 shown. The complete list is in the sidecar.