5231.89user 47.86system 12:23.10elapsed 710%CPU (0avgtext+0avgdata 2793480maxresident)k
0inputs+1312outputs (0major+29034minor)pagefaults 0swaps
