p(1, 1, 34). p(1, 2, 15). p(1, 3, 38). p(1, 4, 95).
p(2, 1,  2). p(2, 2, 89). p(2, 3, 19). p(2, 4,  7).
p(3, 1, 54). p(3, 2, 70). p(3, 3, 28). p(3, 4, 34).
p(4, 1, 61). p(4, 2,  9). p(4, 3, 87). p(4, 4, 29).

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

nbMachines(4).
nbJobs(4).