11618486 records/s real 60.00 s user 239.80 s sys 0.01 s 240.20user 0.02system 1:00.19elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 40inputs+8outputs (0major+1494minor)pagefaults 0swaps 53861 records/s real 60.00 s user 5.92 s sys 58.34 s 6.21user 58.33system 1:00.11elapsed 107%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+3233151minor)pagefaults 0swaps 13442737 records/s real 60.00 s user 239.95 s sys 0.00 s 240.19user 0.00system 1:00.10elapsed 399%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+8outputs (0major+1484minor)pagefaults 0swaps