18.99user 4.47system 0:07.76elapsed 302%CPU (0avgtext+0avgdata 333528maxresident)k
0inputs+400outputs (0major+11637minor)pagefaults 0swaps
