12.62user 0.87system 0:02.64elapsed 510%CPU (0avgtext+0avgdata 306788maxresident)k
0inputs+400outputs (0major+11757minor)pagefaults 0swaps
