wcet_m1_job1 = 3 & wcet_m2_job1 = 2 & wcet_m3_job1 = 4 & wcet_m2_job2 = 5 & deadline = 10