//return new Object[][] { { "/tmp/zipfgen/1000k_zipf0.86_N50k.dat", 16, 16384, 62500, 20d, 100, 8 } };
//return new Object[][] { { "/tmp/zipfgen/1000k_zipf0.86_N50k.dat", 8, 16384, 125000, 20d, 100, 8 } };
}
private static long[][] readDistribution(File file, int nthreads, int round) throws IOException {
BufferedReader reader = new BufferedReader(new FileReader(file));
long[][] dist = new long[nthreads][];
for(int th = 0; th < nthreads; th++) {
long[] curdist = new long[round];
dist[th] = curdist;
for(int i = 0; i < round; i++) {