2802.52user 4.20system 5:51.19elapsed 799%CPU (0avgtext+0avgdata 2567500maxresident)k
0inputs+880outputs (0major+28434minor)pagefaults 0swaps
