Balance proxy processes with high number of workers

[ethack]

When the number of workers gets to a certain threshold, more proxy processes need to be added instead.

One example is on a system with 80 cores, there were 77 workers, 1 proxy, and 1 manager. The proxy was overloaded and bottlenecking with a single process taking up 100% of it's core.

I don't have a hard rule yet, but a more balanced distribution seems to be 75 workers, 3 proxies, and 1 manager.