13286819 records/s real 60.00 s user 239.87 s sys 0.02 s 240.40user 0.02system 1:00.20elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1490minor)pagefaults 0swaps 27493 records/s real 60.00 s user 5.30 s sys 56.08 s 5.72user 56.09system 1:00.16elapsed 102%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1651104minor)pagefaults 0swaps 10035467 records/s real 60.00 s user 240.02 s sys 0.00 s 240.40user 0.01system 1:00.16elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1482minor)pagefaults 0swaps