getCPUIDs
int numcpuinlgroup = lgroup.getCPUIDs().length;
if (lgroup.getCPUIDs().length != 0) {
if (lgroup.getCPUIDs().length != 0) {
int cpu_ids[] = lg.getCPUIDs();
int cpus[] = group.getCPUIDs();
int set_cpus[] = getCPUIDs();