25.05user 0.70system 0:04.79elapsed 537%CPU (0avgtext+0avgdata 311232maxresident)k
0inputs+416outputs (0major+12528minor)pagefaults 0swaps
