Benchmark improved but not working properly yet
Benchmark improved but not working properly yet

Problem: when the mix server are benchmarked they spawn a java
process which ends after the benchmark is completed

escapin/sElect,escapin/sElect,escapin/ElectionManager,escapin/ElectionManager,escapin/sElect,escapin/ElectionManager,escapin/sElect,escapin/ElectionManager,escapin/sElect