#include <sys/times.h>

clock_t getCurrentCPU(void);