13246051 records/s real 60.00 s user 239.93 s sys 0.01 s 240.44user 0.02system 1:00.19elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1491minor)pagefaults 0swaps 31100 records/s real 60.00 s user 5.82 s sys 55.70 s 6.15user 55.69system 1:00.13elapsed 102%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1867492minor)pagefaults 0swaps 11681477 records/s real 60.00 s user 239.99 s sys 0.00 s 240.57user 0.00system 1:00.21elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1481minor)pagefaults 0swaps