3107.88user 5.72system 4:33.96elapsed 1136%CPU (0avgtext+0avgdata 2571760maxresident)k
0inputs+800outputs (0major+25486minor)pagefaults 0swaps
