“MESSAGE-MACRO” refers to the combination of MESSAGE and MACRO, run iteratively in a multi-disciplinary optimization algorithm.
This combination is activated by calling
solve() with the argument model=’MESSAGE-MACRO’, or using the GAMS
MESSAGE-MACRO_run.gms script directly (see Running a model for details about these two methods).
This page describes how to solve two numerical issues that can occur in large MESSAGEix models.
Oscillation detection in the MESSAGE-MACRO algorithm
The documentation for the
MESSAGE_MACRO class describes the algorithm and its three parameters:
The algorithm detects ‘oscillation’, which occurs when MESSAGE and MACRO each return slightly different solutions, but these two solutions are each stable.
If the difference between these points is greater than convergence_criterion, the algorithm might jump between these two points infinitely. Instead, the algorithm detects oscillation by comparing model solutions on each iteration to previous values recorded in the iteration log.
If the algorithm picks up on the oscillation between iterations, then after MACRO has solved and before solving MESSAGE, a log message is printed as follows:
--- Restarting execution --- MESSAGE-MACRO_run.gms(4986) 625 Mb --- Reading solution for model MESSAGE_MACRO --- MESSAGE-MACRO_run.gms(4691) 630 Mb +++ Indication of oscillation, increase the scaling parameter (4) +++ --- GDX File c:\repo\message_ix\message_ix\model\output\MsgIterationReport_ENGAGE_SSP2_v4_EN_NPi2020_900.gdx Time since GAMS start: 1 hour, 10 minutes +++ Starting iteration 14 of MESSAGEix-MACRO... +++ +++ Solve the perfect-foresight version of MESSAGEix +++ --- Generating LP model MESSAGE_LP
This example is from a particular model run, and the actual message may differ.
The algorithm then gradually reduces max_adjustment from the user-supplied value. This has the effect of reducing the allowable relative change in demands, until the convergence_criterion is met.
Issue 1: Oscillations not detected
Oscillation detection can fail, especially when the oscillation is very small.
When this occurs, MESSAGE-MACRO will iterate until max_iteration (default
50) and then print a message indicating that it has not converged.
For the MESSAGEix-GLOBIOM global model, this issue can be encountered with scenarios which have stringent carbon budgets (e.g. <1000 Gt CO₂ cumulative) and require more aggressive reductions of demands.
In order to find out whether failure to converge is due to undetected oscillation, check the iteration report in
The initial iterations will show the objective function value either decreasing or increasing (depending on the model), but after a number of iterations, the objective function will flip-flop between two very similar values.
The issue can be resolved by tuning max_adjustment and convergence_criterion from their respective default values of
0.2 (20%) and
The general approach is to reduce max_adjustment.
Reducing this parameter to half of its default value—i.e.
0.1, or 10%—can help, but it can be reduced further, as low as
This may require further tuning of the other parameters: first, ensure that convergence_criterion is smaller than max_adjustment, e.g. set to
0.009 (0.9%) <
Second, due to the small change allowed to the model solution each iteration, if the initial MESSAGE solution is not close to the convergence point, numerous iterations could be required.
Therefore max_iteration may also need an increase.
These changes can be made in two ways:
Pass the values to
MESSAGE_MACROvia keyword arguments to
Manually edit the default values in
Issue 2: MESSAGE solves optimally with unscaled infeasibilities
message_ix is configured so that the CPLEX solver runs using the lpmethod option set to
2, selecting the dual simplex method.
Solving models the size of MESSAGEix-GLOBIOM takes very long with the dual simplex method—scenarios with stringent constraints can take >10 hours on common hardware.
With lpmethod set to
4, selecting the barrier method, the model can solve in under a minute.
The drawback of using the barrier method is that, after CPLEX has solved, it crosses over to a simplex optimizer for verification. As part of this verification step, it may turn out that the CPLEX solution is “optimal with unscaled infeasibilities.”
This issue arises when some parameters in the model are not well-scaled, resulting in numerical issues within the solver. This page (from an earlier, 2002 version of the CPLEX user manual) offers some advice on how to overcome the issues. The most direct solution is to rescale the parameters in the model itself.
When this is not possible, there are some workarounds:
Adjust CPLEX’s convergence criterion, epopt (this is distinct from the convergence_criterion of the MESSAGE_MACRO algorithm). In
DEFAULT_CPLEX_OPTIONSsets this to
1e-6by default. This approach is delicate, as changing the tolerance may also change the solution by a significant amount. This has not been tested in detail and should be handled with care.
Switch to other methods provided by CPLEX, using e.g. lpmethod =
2. A disadvantage of this approach is the longer runtime, as described above.
Start the MESSAGE-MACRO algorithm with lpmethod set to
4. Manually monitor its progress, and after approximately 10 iterations have passed, delete the file
cplex.opt. When CPLEX can not find its option file, it will revert to using a simplex method (and advanced basis) from thereon.