14.95user 0.59system 0:02.98elapsed 520%CPU (0avgtext+0avgdata 313224maxresident)k
0inputs+400outputs (0major+10634minor)pagefaults 0swaps
