5114.47user 48.00system 12:06.76elapsed 710%CPU (0avgtext+0avgdata 2789252maxresident)k
0inputs+1304outputs (0major+28299minor)pagefaults 0swaps
