12958723 records/s real 60.00 s user 239.85 s sys 0.02 s 240.24user 0.02system 1:00.52elapsed 396%CPU (0avgtext+0avgdata 0maxresident)k 40inputs+8outputs (0major+1492minor)pagefaults 0swaps 40356 records/s real 60.00 s user 5.54 s sys 59.26 s 6.02user 59.26system 1:01.71elapsed 105%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+2422891minor)pagefaults 0swaps 11450023 records/s real 60.00 s user 239.80 s sys 0.00 s 240.31user 0.01system 1:01.76elapsed 389%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1482minor)pagefaults 0swaps