./clinic1.out 2 50 3 Creating person 0 Creating person 1 Creating person 2 Creating person 3 Creating person 4 Creating person 5 Creating person 6 Creating person 7 Creating person 8 Creating person 9 Creating person 10 Creating person 11 Creating person 12 Creating person 13 Creating person 14 Creating person 15 Creating person 16 Creating person 17 Creating person 18 Creating person 19 Creating person 20 Creating person 21 Creating person 22 Creating person 23 Creating person 24 Creating person 25 Creating person 26 Creating person 27 Creating person 28 Creating person 29 Creating person 30 Creating person 31 Creating person 32 Creating person 33 Creating person 34 Creating person 35 Creating person 36 Creating person 37 Creating person 38 Creating person 39 Creating person 40 Creating person 41 Creating person 42 Creating person 43 Creating person 44 Creating person 45 Creating person 46 Creating person 47 Creating person 48 Creating person 49 Creating observer 0 Creating observer 1 Creating observer 2 Creating doctor 0 Creating doctor 1 Doctor 0 arrives Doctor 0 enters Doctor 0 treats Person 17 queues to enter Person 11 queues to enter Doctor 0 exits Person 17 enters (1) Person 11 enters (2) Person 26 queues to enter Person 26 enters (3) Person 40 queues to enter Person 40 enters (4) Person 26 registers (1/4) Person 17 registers (2/4) Person 11 registers (3/4) Person 30 queues to enter Person 30 enters (5) Observer 0 arrives Observer 0 enters Person 20 queues to enter Person 20 enters (6) Person 40 registers (4/6) Person 2 queues to enter Person 2 enters (7) Person 20 registers (5/7) Doctor 1 arrives Doctor 1 enters Observer 2 arrives Observer 1 arrives Doctor 0 arrives Person 2 registers (6/7) Observer 0 leaves Person 31 queues to enter Person 30 registers (7/7) Doctor 1 treats Person 11 gets voucher Person 2 gets voucher Person 40 gets voucher Person 30 gets voucher Person 17 gets voucher Doctor 1 exits Observer 2 enters Observer 1 enters Doctor 0 enters Doctor 0 treats Person 26 gets voucher Person 12 queues to enter Person 20 gets voucher Observer 2 leaves Doctor 1 arrives Doctor 0 exits Person 31 enters (1) Person 11 exits Person 12 enters (2) Person 17 exits Person 40 exits Person 30 exits Person 2 exits Person 20 exits Doctor 1 enters Person 12 registers (1/2) Person 13 queues to enter Person 41 queues to enter Observer 1 leaves Person 18 queues to enter Person 31 registers (2/2) Doctor 1 treats Person 47 queues to enter Observer 0 arrives Person 27 queues to enter Doctor 0 arrives Doctor 1 exits Person 26 exits Person 13 enters (1) Person 41 enters (2) Person 18 enters (3) Person 47 enters (4) Observer 0 enters Person 27 enters (5) Doctor 0 enters Person 31 gets voucher Person 13 registers (1/5) Person 47 registers (2/5) Observer 2 arrives Person 19 queues to enter Person 18 registers (3/5) Person 41 registers (4/5) Person 4 queues to enter Person 0 queues to enter Person 12 gets voucher Person 27 registers (5/5) Doctor 0 treats Person 43 queues to enter Observer 0 leaves Person 46 queues to enter Person 3 queues to enter Person 41 gets voucher Person 22 queues to enter Doctor 0 exits Observer 2 enters Person 19 enters (1) Person 4 enters (2) Person 31 exits Person 0 enters (3) Person 43 enters (4) Person 46 enters (5) Person 3 enters (6) Person 22 enters (7) Person 27 gets voucher Observer 2 leaves Person 43 registers (1/7) Person 13 gets voucher Person 12 exits Person 27 exits Person 14 queues to enter Person 14 enters (8) Person 46 registers (2/8) Person 3 registers (3/8) Person 18 gets voucher Person 47 gets voucher Person 41 exits Person 19 registers (4/8) Person 47 exits Person 22 registers (5/8) Person 41 queues to enter Person 41 enters (9) Person 21 queues to enter Person 21 enters (10) Person 21 registers (6/10) Person 13 exits Person 0 registers (7/10) Person 4 registers (8/10) Person 28 queues to enter Person 28 enters (11) Person 15 queues to enter Person 15 enters (12) Person 10 queues to enter Person 10 enters (13) Person 28 registers (9/13) Person 41 registers (10/13) Person 47 queues to enter Person 47 enters (14) Person 18 exits Person 14 registers (11/14) Person 15 registers (12/14) Person 10 registers (13/14) Person 32 queues to enter Person 32 enters (15) Person 33 queues to enter Person 33 enters (16) Person 33 registers (14/16) Person 47 registers (15/16) Observer 1 arrives Observer 1 enters Person 32 registers (16/16) Person 35 queues to enter Person 35 enters (17) Doctor 1 arrives Doctor 1 enters Person 35 registers (17/17) Doctor 1 treats Person 22 gets voucher Doctor 1 exits Person 10 gets voucher Person 15 gets voucher Person 21 gets voucher Person 47 gets voucher Person 41 gets voucher Person 23 queues to enter Person 23 enters (1) Person 39 queues to enter Person 39 enters (2) Person 28 gets voucher Person 14 gets voucher Observer 1 leaves Person 21 exits Person 9 queues to enter Person 9 enters (3) Person 22 exits Person 19 gets voucher Person 32 gets voucher Person 23 registers (1/3) Person 47 exits Person 46 gets voucher Person 4 gets voucher Person 15 exits Observer 1 arrives Observer 1 enters Doctor 0 arrives Doctor 0 enters Person 35 gets voucher Person 43 gets voucher Person 3 gets voucher Person 33 gets voucher Observer 1 leaves Person 0 gets voucher Person 45 queues to enter Person 9 registers (2/3) Person 1 queues to enter Person 39 registers (3/3) Doctor 0 treats Person 24 queues to enter Person 40 queues to enter Person 17 queues to enter Person 12 queues to enter Observer 0 arrives Person 11 queues to enter Person 15 queues to enter Person 30 queues to enter Person 23 gets voucher Person 9 gets voucher Person 16 queues to enter Person 39 gets voucher Doctor 1 arrives Observer 2 arrives Doctor 0 exits Person 10 exits Person 41 exits Person 46 exits Person 28 exits Person 32 exits Person 14 exits Person 45 enters (1) Person 1 enters (2) Person 3 exits Person 24 enters (3) Person 19 exits Person 40 enters (4) Person 4 exits Person 33 exits Person 17 enters (5) Person 43 exits Person 0 exits Person 35 exits Person 12 enters (6) Observer 0 enters Person 11 enters (7) Person 15 enters (8) Person 30 enters (9) Person 23 exits Person 16 enters (10) Person 39 exits Doctor 1 enters Person 12 registers (1/10) Person 24 registers (2/10) Person 5 queues to enter Person 45 registers (3/10) Person 16 registers (4/10) Person 40 registers (5/10) Person 19 queues to enter Person 30 registers (6/10) Person 15 registers (7/10) Person 17 registers (8/10) Person 23 queues to enter Person 11 registers (9/10) Person 38 queues to enter Person 14 queues to enter Observer 0 leaves Person 1 registers (10/10) Doctor 1 treats Person 44 queues to enter Person 45 gets voucher Person 12 gets voucher Person 15 gets voucher Person 17 gets voucher Person 11 gets voucher Person 49 queues to enter Person 30 gets voucher Person 2 queues to enter Person 29 queues to enter Person 40 gets voucher Person 25 queues to enter Person 1 gets voucher Person 16 gets voucher Person 24 gets voucher Doctor 1 exits Observer 2 enters Person 5 enters (1) Person 9 exits Person 19 enters (2) Person 23 enters (3) Person 38 enters (4) Person 14 enters (5) Person 44 enters (6) Person 45 exits Person 49 enters (7) Person 2 enters (8) Person 29 enters (9) Person 25 enters (10) Person 30 exits Person 12 exits Person 15 exits Person 5 registers (1/10) Person 24 exits Person 29 registers (2/10) Person 17 exits Person 16 exits Person 37 queues to enter Person 37 enters (11) Person 1 exits Person 40 exits Person 15 queues to enter Person 15 enters (12) Person 44 registers (3/12) Doctor 0 arrives Doctor 0 enters Person 38 registers (4/12) Person 34 queues to enter Doctor 1 arrives Person 49 registers (5/12) Person 23 registers (6/12) Person 14 registers (7/12) Person 25 registers (8/12) Person 15 registers (9/12) Person 2 registers (10/12) Person 19 registers (11/12) Observer 1 arrives Person 42 queues to enter Person 37 registers (12/12) Doctor 0 treats Person 46 queues to enter Observer 2 leaves Person 8 queues to enter Person 7 queues to enter Person 28 queues to enter Person 48 queues to enter Person 6 queues to enter Person 2 gets voucher Person 36 queues to enter Person 37 gets voucher Person 29 gets voucher Person 23 gets voucher Person 44 gets voucher Person 38 gets voucher Person 19 gets voucher Person 14 gets voucher Person 15 gets voucher Person 49 gets voucher Doctor 0 exits Person 11 exits Person 34 enters (1) Doctor 1 enters Person 25 gets voucher Person 5 gets voucher Person 12 queues to enter Person 41 queues to enter Person 34 registers (1/1) Doctor 1 treats Person 43 queues to enter Person 21 queues to enter Person 34 gets voucher Doctor 0 arrives Doctor 1 exits Observer 1 enters Person 42 enters (1) Person 46 enters (2) Person 8 enters (3) Person 7 enters (4) Person 28 enters (5) Person 48 enters (6) Person 6 enters (7) Person 36 enters (8) Person 15 exits Person 2 exits Person 12 enters (9) Person 19 exits Person 25 exits Person 23 exits Person 49 exits Person 37 exits Person 41 enters (10) Person 38 exits Person 5 exits Person 29 exits Person 14 exits Person 43 enters (11) Person 44 exits Person 21 enters (12) Doctor 0 enters Observer 0 arrives Person 35 queues to enter Person 48 registers (1/12) Person 21 registers (2/12) Observer 1 leaves Person 28 registers (3/12) Person 26 queues to enter Person 7 registers (4/12) Person 12 registers (5/12) Person 43 registers (6/12) Person 8 registers (7/12) Person 41 registers (8/12) Person 36 registers (9/12) Person 46 registers (10/12) Person 6 registers (11/12) Person 42 registers (12/12) Doctor 0 treats Person 9 queues to enter Doctor 1 arrives Observer 2 arrives Doctor 0 exits Observer 0 enters Person 35 enters (1) Person 26 enters (2) Person 34 exits Person 9 enters (3) Doctor 1 enters Person 28 gets voucher Person 12 gets voucher Person 21 gets voucher Person 43 gets voucher Person 19 queues to enter Person 7 gets voucher Person 8 gets voucher Person 42 gets voucher Person 36 gets voucher Person 6 gets voucher Observer 1 arrives ^C