3511.90user 4.63system 4:56.73elapsed 1185%CPU (0avgtext+0avgdata 2567300maxresident)k
0inputs+808outputs (0major+27746minor)pagefaults 0swaps
