50.26user 0.27system 0:09.04elapsed 558%CPU (0avgtext+0avgdata 566376maxresident)k
0inputs+424outputs (0major+12798minor)pagefaults 0swaps
