fixed some resource specifications in the scheduler