56.40user 0.38system 0:07.81elapsed 726%CPU (0avgtext+0avgdata 571628maxresident)k
0inputs+424outputs (0major+12567minor)pagefaults 0swaps
