}
return times;
}
public RuntimeSystemInfo getRuntimeSystemInfo(){
RuntimeSystemInfo sysInfo = new RuntimeSystemInfo();
Runtime rt = Runtime.getRuntime();
sysInfo.setFreeMemory(rt.freeMemory());
sysInfo.setMaxMemory(rt.maxMemory());
sysInfo.setNumThreads(TMB.getThreadCount());
long[] times = getAllThreadCPUTimes();
sysInfo.setCpuTime(times[0]);
sysInfo.setUserTime(times[1]);
return sysInfo;
}