should be sys_time.nb_sec_rem instead of cpu_time_ticks