5168.20user 47.38system 12:12.43elapsed 712%CPU (0avgtext+0avgdata 2797036maxresident)k
0inputs+1288outputs (0major+27932minor)pagefaults 0swaps
