Work = 0 0 0

P1: 4 1 4 <= Work ? NO

P2: 1 1 4 <= work ? NO
P3: 5 1 9 <= work ? NO
P4: 1 1 3 <= work ? NO
P5: 0 0 0 <= work ? SI
P5 finish = true
work = 0 0 0 + 1 2 3 = 1 2 3
P1: 4 1 4 <= Work ? NO
P2: 1 1 4 <= work ? NO
P3: 5 1 9 <= work ? NO
P4: 1 1 3 <= work ? SI
P4 finish = true
work = 1 2 3 + 1 10 3 = 2 12 6
P1: 4 1 4 <= Work ? NO
P2: 1 1 4 <= work ? SI
P2 finish = true
work = 2 12 6 + 2 2 1 = 4 14 7
P3: 5 1 9 <= work ? NO
P1: 4 1 4 <= Work ? SI
P1 finish = true
work = 4 14 7 + 0 1 5 = 4 15 12
P3: 5 1 9 <= work ? NO
DEADLOCK