4031.43user 4.71system 12:40.21elapsed 530%CPU (0avgtext+0avgdata 2823664maxresident)k
0inputs+1360outputs (0major+31274minor)pagefaults 0swaps
