18.73user 0.15system 0:04.56elapsed 413%CPU (0avgtext+0avgdata 287500maxresident)k
0inputs+416outputs (0major+11955minor)pagefaults 0swaps
