18.95user 0.10system 0:04.97elapsed 383%CPU (0avgtext+0avgdata 282824maxresident)k
0inputs+416outputs (0major+13173minor)pagefaults 0swaps
