execution: FAILED
clock_getcpuclockid() returned an invalid clockid_t: 2