13212398 records/s real 60.00 s user 239.77 s sys 0.07 s 240.49user 0.08system 1:00.26elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1492minor)pagefaults 0swaps 36859 records/s real 60.00 s user 5.02 s sys 58.14 s 5.52user 58.13system 1:00.18elapsed 105%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+2213024minor)pagefaults 0swaps 13213532 records/s real 60.00 s user 239.92 s sys 0.03 s 240.80user 0.04system 1:00.30elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1481minor)pagefaults 0swaps