default-scheduler allocated