p(1, 1, 5).
p(1, 2, 10). 
p(2, 1, 7).
p(2, 2, 8).

upper_bound(1000).  %ub(1100) pour ma version

nbMachines(2).
nbJobs(2).