r437: print timing for each batch of reads