36.95user 7.05system 0:12.23elapsed 359%CPU (0avgtext+0avgdata 393480maxresident)k
0inputs+416outputs (0major+12448minor)pagefaults 0swaps
