This PR adds monitoring of spent CPU time to the benchmark suite. We can see how much CPU time does the HQ server use when scheduling tasks and managing workers.
Note: I'll be doing many improvements to the benchmark suite in order to facilitate running benchmarks (for my thesis, among other reasons). Since these changes should be contained to the benchmarks directory, I'll be self-approving them.
This PR adds monitoring of spent CPU time to the benchmark suite. We can see how much CPU time does the HQ server use when scheduling tasks and managing workers.
Note: I'll be doing many improvements to the benchmark suite in order to facilitate running benchmarks (for my thesis, among other reasons). Since these changes should be contained to the
benchmarksdirectory, I'll be self-approving them.