59.06user 0.41system 0:07.95elapsed 748%CPU (0avgtext+0avgdata 572412maxresident)k
0inputs+424outputs (0major+13200minor)pagefaults 0swaps
