p(1, 1, 19). p(1, 2,301). p(1, 3,  1). p(1, 4, 24). p(1, 5, 10). p(1, 6,645).
p(2, 1,  1). p(2, 2, 30). p(2, 3,320). p(2, 4,433). p(2, 5,199). p(2, 6, 17).
p(3, 1, 12). p(3, 2,318). p(3, 3,  9). p(3, 4,  1). p(3, 5,659). p(3, 6,  1).
p(4, 1, 17). p(4, 2,329). p(4, 3,642). p(4, 4,  1). p(4, 5,  1). p(4, 6, 10).
p(5, 1,301). p(5, 2, 12). p(5, 3, 27). p(5, 4,204). p(5, 5,130). p(5, 6,326).
p(6, 1,650). p(6, 2, 10). p(6, 3,  1). p(6, 4,337). p(6, 5,  1). p(6, 6, 1).

upper_bound(1500).

nbMachines(6).

nbJobs(6).