4889.01user 4.54system 10:12.43elapsed 799%CPU (0avgtext+0avgdata 2822912maxresident)k
0inputs+1232outputs (0major+30501minor)pagefaults 0swaps
