Actually looking up cpu_num from index