46.33user 0.26system 0:11.90elapsed 391%CPU (0avgtext+0avgdata 567940maxresident)k
0inputs+424outputs (0major+12991minor)pagefaults 0swaps
