3135.32user 5.45system 4:42.17elapsed 1113%CPU (0avgtext+0avgdata 2587416maxresident)k
0inputs+808outputs (0major+29760minor)pagefaults 0swaps
