15.44user 0.87system 0:07.74elapsed 210%CPU (0avgtext+0avgdata 312848maxresident)k
0inputs+400outputs (0major+10664minor)pagefaults 0swaps
