36.60user 7.04system 0:12.22elapsed 357%CPU (0avgtext+0avgdata 387532maxresident)k
0inputs+416outputs (0major+11742minor)pagefaults 0swaps
