13284340 records/s real 60.00 s user 239.89 s sys 0.04 s 240.87user 0.04system 1:00.33elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1490minor)pagefaults 0swaps 52046 records/s real 60.00 s user 5.94 s sys 59.19 s 6.88user 59.19system 1:00.31elapsed 109%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+3124288minor)pagefaults 0swaps 13210811 records/s real 60.00 s user 239.91 s sys 0.04 s 240.66user 0.05system 1:00.32elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1481minor)pagefaults 0swaps