12.57user 0.05system 0:12.32elapsed 102%CPU (0avgtext+0avgdata 273076maxresident)k
0inputs+416outputs (0major+10495minor)pagefaults 0swaps
