execution: PASS
pthread_getcpuclockid doesn't return ESRCH when thread_id doesn't exist