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​