Scheduling pre-emptible tasks with flexible resourcing options and auxiliary resource requirements. (January 2021)