11422752 records/s real 60.00 s user 239.75 s sys 0.06 s 240.45user 0.06system 1:00.30elapsed 398%CPU (0avgtext+0avgdata 0maxresident)k 40inputs+8outputs (0major+1490minor)pagefaults 0swaps 28684 records/s real 60.00 s user 5.14 s sys 58.07 s 6.18user 58.07system 1:00.32elapsed 106%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1722565minor)pagefaults 0swaps 11639907 records/s real 60.00 s user 237.77 s sys 0.04 s 238.53user 0.04system 1:00.26elapsed 395%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1483minor)pagefaults 0swaps