Resolve "SolverManager profiling extra results"

Closes #439 (closed)

added To Do (release) label

assigned to @joanvallve

added 1 commit

• dc307ffa - implemented and all tests passing

Compare with previous version

approved this merge request

marked this merge request as ready

added 4 commits

• dc307ffa...e62baaf7 - 3 commits from branch devel
• ee1968ad - Merge branch 'devel' into 439-solvermanager-profiling-extra-results

Compare with previous version

enabled an automatic merge when the pipeline for ee1968ad succeeds

aborted the automatic merge because source branch was updated

added 1 commit

• b2a33707 - [skip ci] fixed comment CMakelists

Compare with previous version

merged

mentioned in commit e5d8981b