36.29user 7.04system 0:12.21elapsed 354%CPU (0avgtext+0avgdata 389628maxresident)k
0inputs+416outputs (0major+11203minor)pagefaults 0swaps
