738.45user 1.67system 12:08.60elapsed 101%CPU (0avgtext+0avgdata 1178804maxresident)k
0inputs+1280outputs (0major+15534minor)pagefaults 0swaps
