4364.02user 4.92system 13:48.12elapsed 527%CPU (0avgtext+0avgdata 2819608maxresident)k
0inputs+1456outputs (0major+28885minor)pagefaults 0swaps
