Sometimes the scheduler seems to deadlock. We should try to test it more rigorously (e.g. more messages/clients etc.)