12139373 records/s real 60.00 s user 239.64 s sys 0.02 s 239.68user 0.03system 1:01.34elapsed 390%CPU (0avgtext+0avgdata 23408maxresident)k 56inputs+8outputs (0major+1509minor)pagefaults 0swaps 20193 records/s real 60.00 s user 3.68 s sys 53.92 s 3.72user 53.93system 1:00.67elapsed 95%CPU (0avgtext+0avgdata 23104maxresident)k 0inputs+8outputs (0major+1213103minor)pagefaults 0swaps 14236896 records/s real 60.00 s user 239.80 s sys 0.00 s 239.84user 0.01system 1:01.48elapsed 390%CPU (0avgtext+0avgdata 23248maxresident)k 0inputs+8outputs (0major+1496minor)pagefaults 0swaps