4075.47user 4.81system 11:16.76elapsed 602%CPU (0avgtext+0avgdata 2837704maxresident)k
0inputs+1248outputs (0major+34867minor)pagefaults 0swaps
