Actions
Feature #9406
closedIgnore an another one useless warning from BenchExec (flawed measurement)
Start date:
12/04/2018
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
On my local machine BenchExec issues the following warning on regular basis:
Job failed b75957fa0f065e6bb02e67267d3671ee: SchedulerException('Execution of job b75957fa0f065e6bb02e67267d3671ee terminated with an exception: 2018-12-04 01:04:13,586 - WARNING - Cputime measured by wait was 2723.728809, cputime measured by cgroup was only 2523.715798161, perhaps measurement is flawed.\n',)
This leads to abnormal termination of quite large runs. We need to ignore such warnings as we do with CPU throttling warnings.
Actions