5257.93user 5.04system 7:46.62elapsed 1127%CPU (0avgtext+0avgdata 2728648maxresident)k
0inputs+968outputs (0major+29314minor)pagefaults 0swaps
