The previous section presented the set of models that are used in this problem: the evolving model, the temporal model, and a number of submodels (one for each activity in each new job). In this section, we discuss how each of these models is solved using the non-deterministic search facilities of Scheduler Engine.