added the np_respect_preemption_model lemma

14 jobs for preemption-model-compliance in 7 minutes and 24 seconds (queued for 4 seconds)