HeavyReadSimulation.scala: increase users to 4000