25.06user 0.56system 0:03.60elapsed 710%CPU (0avgtext+0avgdata 310268maxresident)k
0inputs+416outputs (0major+11677minor)pagefaults 0swaps
