Skip to main content

Type Alias: SolveSummary

SolveSummary: {cpu: string;duration: number;lowerBound: ObjectiveValue;memoryUsed: number;nbBranches: number;nbConstraints: number;nbFails: number;nbIntervalVars: number;nbLNSSteps: number;nbRestarts: number;nbSolutions: number;nbWorkers: number;objective: ObjectiveValue;objectiveSense: "minimize" | "maximize" | undefined;proof: boolean;solver: string; }

A value emitted by Solver as summary event at the end of the solve. The information includes the number of solutions found, the total duration of the solve, the number of branches, fails, propagations, restarts, etc.

Type declaration

cpu

cpu: string

The CPU name detected by the solver. A string such as "AMD Ryzen 9 5950X".

duration

duration: number

The total duration of the solve (measured by the server).

lowerBound?

optional lowerBound: ObjectiveValue

Lower bound of the objective: the solver proved that there isn't any solution with a better objective value than the lower bound. If no such bound was proved then undefined.

memoryUsed

memoryUsed: number

Memory used during the solve (in bytes).

nbBranches

nbBranches: number

The total number of branches during the solve.

nbConstraints

nbConstraints: number

The total number of constraints in the input model.

nbFails

nbFails: number

The total number of fails during the solve.

nbIntervalVars

nbIntervalVars: number

The total number of interval variables in the input model.

nbLNSSteps

nbLNSSteps: number

The total number of propagations during the solve.

nbRestarts

nbRestarts: number

The total number of restarts during the solve.

nbSolutions

nbSolutions: number

Number of solutions found during the solve.

nbWorkers

nbWorkers: number

Number of workers (CPU threads) used during the solve.

objective?

optional objective: ObjectiveValue

Objective value of the best solution found. If no solution was found then undefined.

objectiveSense

objectiveSense: "minimize" | "maximize" | undefined

Whether the objective was to minimize, maximize or no objective was given.

proof

proof: boolean

Whether the solve ended by a proof (of optimality or infeasibility).

solver

solver: string

The solver used for solving. A string such as "OptalCP 1.0.0".

See