13493810 records/s real 60.00 s user 239.87 s sys 0.00 s 240.06user 0.05system 1:00.15elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1492minor)pagefaults 0swaps 29789 records/s real 60.00 s user 6.02 s sys 62.96 s 6.20user 62.58system 1:00.11elapsed 114%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1788822minor)pagefaults 0swaps 10767335 records/s real 60.00 s user 239.96 s sys 0.00 s 240.28user 0.06system 1:00.19elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1481minor)pagefaults 0swaps