Use libgtop to get user's num of cpus