Skip to content

Reported CPU times are incorrect when used with multi-threading  #1913

Description

@dweindl

Currently, the value of Solver::getMaxTime() is checked against std::chrono::system_clock, which measures wall time. This is probably not what we want and can cause issues if a program is paused or the cpu is oversubscribed. Should be changed to std::clock. The other time measurements reported in ReturnData are already using clock.

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions