3126.87user 5.29system 4:33.87elapsed 1143%CPU (0avgtext+0avgdata 2478492maxresident)k
0inputs+736outputs (0major+26025minor)pagefaults 0swaps
