13901107 records/s real 60.00 s user 239.50 s sys 0.01 s 239.53user 0.01system 1:00.10elapsed 398%CPU (0avgtext+0avgdata 23392maxresident)k 56inputs+8outputs (0major+1510minor)pagefaults 0swaps 17643 records/s real 60.00 s user 5.09 s sys 73.32 s 5.13user 73.33system 1:00.07elapsed 130%CPU (0avgtext+0avgdata 23104maxresident)k 0inputs+8outputs (0major+1060101minor)pagefaults 0swaps 13828644 records/s real 60.00 s user 239.83 s sys 0.01 s 239.86user 0.01system 1:00.08elapsed 399%CPU (0avgtext+0avgdata 23232maxresident)k 0inputs+8outputs (0major+1498minor)pagefaults 0swaps