gmut-76-40

primal-infeasible

The instance

as published

Variables: 24,338
Constraints: 2,586
Nonzeros: 153,017
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
x251_0 ≥ 1
this instance, the other side
x251_0 ≤ 0 at depth 383

Depth in the tree: 383
Bounds tightened vs. source: 12,222
Branch variable: x251_0

Tightened bounds

12,222 entries

x1_0<=0x1_1>=1x1_2<=0x1_4<=0x1_5<=0x1_6<=0x2_0<=0x2_1<=0x2_2<=0x2_4>=1x2_5<=0x2_6<=0

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

Also published in the dual-infeasible set view →

Download

gmut-76-40_if.mps.gz0.92 MiB gmut-76-40_if.meta.json0.20 MiB

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

Source instance

Namegmut-76-40

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 →