changed numbering scheme, changed Rcpuid to okcpuid