25.23user 0.55system 0:03.60elapsed 715%CPU (0avgtext+0avgdata 314680maxresident)k
0inputs+416outputs (0major+13157minor)pagefaults 0swaps
