24.95user 0.78system 0:04.41elapsed 583%CPU (0avgtext+0avgdata 308168maxresident)k
0inputs+416outputs (0major+10643minor)pagefaults 0swaps
