ooops, fixed bug computing number of cores available between scheduling cycles