4036.76user 4.45system 12:50.07elapsed 524%CPU (0avgtext+0avgdata 2814348maxresident)k
0inputs+1384outputs (0major+30358minor)pagefaults 0swaps
