19.97user 0.18system 0:03.65elapsed 551%CPU (0avgtext+0avgdata 285620maxresident)k
0inputs+416outputs (0major+12361minor)pagefaults 0swaps
