47.51user 0.28system 0:12.40elapsed 385%CPU (0avgtext+0avgdata 575424maxresident)k
0inputs+424outputs (0major+12966minor)pagefaults 0swaps
