@@ -272,7 +272,7 @@ static void runthreads(long sleep_cnt, int min_threads, int max_threads, int chp
/* used_space = get_allocated_space(&systemallocator.heaps[0]); */
/* reqd_space = get_used_space(&systemallocator.heaps[0]); */
//used_space = 0;
- printf(" Used space: %zu\n Requested space: %zu\n", used_space, reqd_space);
+ /* printf(" Used space: %zu\n Requested space: %zu\n", used_space, reqd_space); */
printf("%2d ", num_threads ) ;
printf("%6.3f", duration ) ;