931.99user 2.00system 3:52.76elapsed 401%CPU (0avgtext+0avgdata 1754764maxresident)k
0inputs+744outputs (0major+17300minor)pagefaults 0swaps
