Ignore an another one useless warning from BenchExec (flawed measurement)
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.