gmut-76-50

primal-infeasible

The instance

as published

Variables: 68,865
Constraints: 2,586
Nonzeros: 470,045
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
x46_1 ≥ 1
this instance, the other side
x46_1 ≤ 0 at depth 366

Depth in the tree: 366
Bounds tightened vs. source: 366
Branch variable: x46_1

Tightened bounds

366 entries

x1_1>=1x3_2<=0x3_3>=1x4_3>=1x5_2>=1x7_4>=1x8_1<=0x9_4>=1x12_3>=1x13_1>=1x15_4>=1x15_6<=0

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

Also published in the dual-infeasible set view →

Download

gmut-76-50_if.mps.gz2.58 MiB gmut-76-50_if.meta.json7 KiB

The sidecar carries the full provenance, including the fields this page truncates.

Source instance

Namegmut-76-50

Submitted byNora Konnyu

Groupgmu

TermsNo licence of record

Imported from the MIPLIB2010 submissions. It predates MIPLIB's submission form, and the licence that form required. See LICENSE.

set_packingvariable_bound

Timber harvest scheduling model These are harvest scheduling models of hypothetical forest planning problems where net timber revenues are maximized over a planning horizon subject to four sets of constraints: 1. Each management unit can be harvested only once over the planning horizon, 2. Volume harvested in one planning period should not be less or more than some portion of that in the preceding period, 3. Area-weighted average age of the forest by the end of the plan should notbe less than a certain target age. 4. Clearcut size in any planning period has to be below a specific limit. Decision variable are management units and generalized management units (group of management units with a combined area not exceeding the limit on clearcut size) and can be either fully harvested or left untouched in any planning period, therefore there is a binary restriction on the decision variables.

Source description quoted from MIPLIB 2017; links and mathematical notation formatted for the web.

View on MIPLIB 2017 →