25.62user 0.47system 0:03.99elapsed 653%CPU (0avgtext+0avgdata 308132maxresident)k
0inputs+416outputs (0major+14024minor)pagefaults 0swaps
