Skip to content

Troubleshooting

General strategies

Building a smaller model

config.init.time_subset allows you to specify a subset of timesteps to be used. This can be useful for debugging purposes as it can dramatically speed up model solution times. The timestep subset can be specified as [startdate, enddate], e.g. ['2005-01-01', '2005-01-31']. The subsets are processed before building the model and applying time resolution adjustments, so time resolution reduction functions will only see the reduced set of data.

Retaining logs and temporary files

The setting config.solve.save_logs (disabled by default) sets the directory into which to save logs and temporary files from the solver. Inspecting the solver logs can provide greater insight into model infeasibilities. Inspecting the model LP file can show you exactly what math is being sent to the solver - some of it might not match what you were expecting. You can increase the verbosity of the LP file by running model.backend.verbose_strings() after building the optimisation problem (model.build()) but before solving it (model.solve()). Model components and index items are then given in full for easier inspection (by default, Pyomo uses short random names for all generated model components).

Analysing the optimisation problem without solving the model

You can inspect the math components in the solver "backend" after you have built your optimisation problem using model.build(). These objects are accessible within model.backend.

For instance, the constraints limiting outflows can be viewed by calling model.backend.get_constraint("flow_out_max"). A single object can be then accessed by slicing the resulting array: model.backend.get_constraint("flow_out_max").sel(techs=...).

The object will be difficult to work with unless you are familiar with Pyomo. However, you can also view the data in a more readable format by using setting the as_backend_objs option to false: constr = model.backend.get_constraint("flow_out_max", as_backend_objs=False). This will allow you to inspect constraint upper bounds (constr.ub), lower bounds (constr.lb), and bodies as math strings (constr.body).

Note

Don't forget to call model.backend.verbose_strings() if you want to inspect your backend objects as math strings as you will get richer information to work with.

Save an LP file

Alternatively, if you are working from the command line or have little experience with Pyomo, you can generate an LP file. The LP file contains the mathematical model formulation of a fully built Calliope model. It is a standard format that can be passed to various solvers. Examining the LP file manually or using additional tools (see below) can help find issues when a model is infeasible or unbounded. To build a model and save it to LP without actually solving it, use:

calliope run my_model.yaml --save_lp=my_saved_model.lp

or in Python:

model.build()
model.backend.to_lp('my_saved_model.lp')

Improving solution times by reducing problem size

One way to improve solution time is to reduce the size of a problem. Another way is to address potential numerical issues, which is dealt with further below in understanding-infeasibility-and-numerical-instability.

Number of variables

The dimensions nodes, techs, timesteps, carriers, and costs all contribute to model complexity. A reduction of any of these dimensions will reduce the number of resulting decision variables in the optimisation, which in turn will improve solution times.

Note

By reducing the number of locations (e.g. merging nearby locations) you also remove the technologies linking those locations to the rest of the system, which is additionally beneficial.

Calliope has the ability to resample the time dimension (e.g. 1hr -> 2hr intervals), or for the user to supply their own clusters on which time steps will be grouped together. In so doing, significant solution time improvements can be achieved.

See also

Stefan Pfenninger (2017). Dealing with multiple decades of hourly wind and PV time series in energy models: a comparison of methods to reduce time resolution and the planning implications of inter-annual variability. Applied Energy. doi: 10.1016/j.apenergy.2017.03.051

Complex technologies

Calliope is primarily an LP framework, but application of certain constraints will trigger binary or integer decision variables. When triggered, a MILP model will be created. See our "MILP" example for an example of these variables in action.

In both cases, there will be a time penalty, as linear programming solvers are less able to converge on solutions of problems which include binary or integer decision variables. But, the additional functionality can be useful. A purchasing cost allows for a cost curve of the form \(y = Mx + C\) to be applied to a technology, instead of the LP costs which are all of the form \(y = Mx\). Integer units also trigger per-timestep decision variables, which allow technologies to be "on" or "off" at each timestep.

Additionally, in LP models, interactions between timesteps (whenever carrier storage is being used) can lead to longer solution time. The exact extent of this is as-yet untested.

Model mode

Solution time increases more than linearly with the number of decision variables. As it splits the model into temporal chunks, operate mode can help to alleviate solution time of big problems. This is clearly at the expense of fixing technology capacities. However, one solution is to use a heavily time clustered plan mode to get indicative model capacities. Then, run operate mode with these capacities to get a higher resolution operation strategy. If necessary, this process could be iterated.

Influence of solver choice on speed

The open-source solvers (GLPK and CBC) are slower than the commercial solvers. If you are an academic researcher, it is recommended to acquire a free licence for Gurobi or CPLEX to very quickly improve solution times. GLPK in particular is slow when solving MILP models. CBC is an improvement, but can still be several orders of magnitude slower at reaching a solution than Gurobi or CPLEX.

We tested solution time for various solver choices on our example models, extended to run over a full year (8760 hours). These runs took place on the University of Cambridge high performance computing cluster, with a maximum run time of 5 hours. As can be seen, CBC is far superior to GLPK. If introducing binary constraints, although CBC is an improvement on GLPK, access to a commercial solver is preferable.

National scale example model size

  • Variables : 420526 [Nneg: 219026, Free: 105140, Other: 96360]
  • Linear constraints : 586972 [Less: 315373, Greater: 10, Equal: 271589]

MILP urban scale example model

  • Variables: 586996 [Nneg: 332913, Free: 78880, Binary: 2, General Integer: 8761, Other: 166440]
  • Linear constraints: 788502 [Less: 394226, Greater: 21, Equal: 394255]

Solution time

Solver National Urban
GLPK 4:35:40 >5hrs
CBC 0:04:45 0:52:13
Gurobi (1 thread) 0:02:08 0:03:21
CPLEX (1 thread) 0:04:55 0:05:56
Gurobi (4 thread) 0:02:27 0:03:08
CPLEX (4 thread) 0:02:16 0:03:26

Understanding infeasibility and numerical instability

A good first step when faced with an infeasible model is often to remove constraints, in particular more complex constraints and any custom math you may have applied. For example, summing over nodes/carriers/techs in a constraint can easily introduce mutually exclusive requirements on capacities or output from specific technologies. Once a minimal model works, more complex constraints can be turned on again one after the other.

Using the Gurobi solver

To understand infeasible models:

  • Set config.solve.solver_options: {DualReductions: 0} to see whether a model is infeasible or unbounded.
  • To analyse infeasible models, save an LP file then use Gurobi to generate an Irreducible Inconsistent Subsystem that shows which constraints are infeasible:
gurobi_cl ResultFile=result.ilp my_saved_model.lp

See also

More detail on this Gurobi functionality is available in the official Gurobi documentation.

To deal with numerically unstable models, try setting onfig.solve.solver_options: {Presolve: 0}, as large numeric ranges can cause the pre-solver to generate an infeasible or numerically unstable model. The Gurobi Guidelines for Numerical Issues give detailed guidance for strategies to address numerically difficult optimisation problems.

Using the CPLEX solver

There are two ways to understand infeasibility when using the CPLEX solver, the first is quick and the second is more involved:

  1. Save solver logs for your model (config.solve.save_logs: path/to/log_directory). In the directory, open the file ending in '.cplex.log' to see the CPLEX solver report. If the model is infeasible or unbounded, the offending constraint will be identified (e.g. SOLVER: Infeasible variable = slack c_u_flow_out_max_constraint(region1_2__csp__power_2005_01_01_07_00_00)_). This may be enough to understand why the model is failing, if not...

  2. save an LP file and then open the LP file in CPLEX interactive (run cplex in the command line to invoke a CPLEX interactive session). Once loaded, you can try relaxing variables / constraints to see if the problem can be solved with relaxation (FeasOpt). You can also identify conflicting constraints (tools conflict) and print those constraints directly (display conflict all). There are many more commands available to analyse individual constraints and variables in the Official CPLEX documentation.

Similar to Gurobi, numerically unstable models may lead to unexpected infeasibility, so you can try config.solve.solver_options: {preprocessing_presolve: 0} or you can request CPLEX to more aggressively scale the problem itself using the solver option read_scale: 1. The CPLEX documentation page on numeric difficulties goes into more detail on numeric instability.

Rerunning a model

After trying to solve the model, if there is an infeasibility you want to address, or simply a few values you don't think were quite right, you can change them and rerun your model. If you change them in model.inputs, rebuild the model model.build(force=True).

Particularly if your problem is large, you may not want to rebuild the backend to change a few small values. Instead you can interface directly with the backend using the model.backend functions, to update individual parameter values (model.backend.update_parameter) and variable bounds (model.backend.update_variable_bounds). By rerunning the backend specifically, you can optimise your problem with these backend changes, without rebuilding the backend entirely: model.solve(force=True).

Note

model.solve(force=True) will replace any existing results in model.results. You may want to save your model before doing this.

Debugging model errors

Inspecting debug logs

At the debug logging level, we output a lot of information about your model build which may be useful to inspect. You can do so by setting calliope.set_log_verbosity("debug") and then running your model.

If you have a bit more Python experience, you can also consider accessing and working with loggers at different points in our internals using the logging package.

  • For input YAML and CSV file processing: logging.getLogger("calliope.preprocess").
  • For processing of math syntax: logging.getLogger("calliope.backend").

For more examples of using loggers, see the logging notebook example.

Validating your math syntax

You can do a (relatively) quick check of the validity of any custom math syntax in your model by running model.validate_math_strings(my_math_dict). This will tell you if any of the syntax is malformed, although it cannot tell you if the model will build when set to the backend to generate an optimisation model.

Inspecting private data structures

There are private attributes of the Calliope Model object that you can access to gain additional insights into your model runs.

  • For all data in one place (i.e., the combination of inputs and results), the dataset model._model_data.
  • For the built backend objects (e.g., Pyomo objects) in an array format, the dataset model.backend._dataset.

Info

If using Calliope in a Python session, we recommend reading up on the Python debugger and making use of the %debug magic.

See also

We go into the details of the Calliope model in one of our tutorial notebooks.