schedulable_task_set Nb_preemption_of_the_candidate_sol = 256 Sum_laxities_of_the_candidate_sol = 641 Min_laxities_of_the_candidate_sol = 15