12.94user 2.47system 0:05.92elapsed 260%CPU (0avgtext+0avgdata 312004maxresident)k
0inputs+400outputs (0major+9569minor)pagefaults 0swaps
