time = 1000  updates done = [{1, 1}, {2, 1}, {3, 1}]
time = 1000 requests seen = [{1, 106}, {2, 108}, {3, 108}]

A failure detector considers leader with PID #PID<0.216.0> to be dead.
A failure detector considers leader with PID #PID<0.216.0> to be dead.
time = 2000  updates done = [{1, 1}, {2, 1}, {3, 1}]
time = 2000 requests seen = [{1, 218}, {2, 220}, {3, 219}]

time = 3000  updates done = [{1, 1}, {2, 1}, {3, 1}]
time = 3000 requests seen = [{1, 330}, {2, 331}, {3, 330}]

Client 1 going to sleep, sent = 500
Client 2 going to sleep, sent = 500
time = 4000  updates done = [{1, 1}, {2, 1}, {3, 1}]
time = 4000 requests seen = [{1, 332}, {2, 334}, {3, 334}]

time = 5000  updates done = [{1, 1}, {2, 1}, {3, 1}]
time = 5000 requests seen = [{1, 332}, {2, 334}, {3, 334}]

time = 6000  updates done = [{1, 1}, {2, 1}, {3, 1}]
time = 6000 requests seen = [{1, 332}, {2, 334}, {3, 334}]

time = 7000  updates done = [{1, 1}, {2, 1}, {3, 1}]
time = 7000 requests seen = [{1, 332}, {2, 334}, {3, 334}]

time = 8000  updates done = [{1, 1}, {2, 1}, {3, 1}]
time = 8000 requests seen = [{1, 332}, {2, 334}, {3, 334}]