Fixed lemmas

6 jobs for resources in 2 minutes and 12 seconds (queued for 3 minutes and 1 second)