modified clock_getcpuclockid_ex.c to also print the id of the clock not just the time it has been running