private static void shuffle(Agent[] agents) {
        for (int i = 0; i < agents.length - 1; i++) {
            int j = prng.nextInt(agents.length - i) + i;
            Agent tmp = agents[j];
            agents[j] = agents[i];
            agents[i] = tmp;
        }
    }