printf("'population': %d,\n", (int) (numCores * NumKeysPerThread));
printf("'readsPerWrite': %d,\n", (int) readsPerWrite);
printf("'itersPerChunk': %d,\n", (int) itersPerChunk);
printf("'population': %d,\n", (int) (numCores * NumKeysPerThread));
printf("'readsPerWrite': %d,\n", (int) readsPerWrite);
printf("'itersPerChunk': %d,\n", (int) itersPerChunk);