pub const WORKER_PING_INTERVAL: Duration;
The interval at which each worker broadcasts a ping to every other node.