13066834 records/s real 60.00 s user 239.91 s sys 0.00 s 240.28user 0.00system 1:00.19elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 48inputs+8outputs (0major+1490minor)pagefaults 0swaps 62368 records/s real 60.00 s user 6.84 s sys 57.60 s 7.19user 57.61system 1:00.12elapsed 107%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+3743590minor)pagefaults 0swaps 13242466 records/s real 60.00 s user 239.90 s sys 0.01 s 240.26user 0.01system 1:00.15elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1481minor)pagefaults 0swaps