Spider: ServerManager, integration with Scheduler