15.72user 0.86system 0:08.03elapsed 206%CPU (0avgtext+0avgdata 318848maxresident)k
0inputs+400outputs (0major+10196minor)pagefaults 0swaps
