25.32user 0.71system 0:03.67elapsed 709%CPU (0avgtext+0avgdata 311244maxresident)k
0inputs+416outputs (0major+13264minor)pagefaults 0swaps
