5414.87user 57.45system 12:59.41elapsed 702%CPU (0avgtext+0avgdata 2828988maxresident)k
0inputs+1336outputs (0major+28704minor)pagefaults 0swaps
