14.55user 0.70system 0:03.87elapsed 393%CPU (0avgtext+0avgdata 311760maxresident)k
0inputs+400outputs (0major+10237minor)pagefaults 0swaps
