6.98user 0.05system 0:03.90elapsed 180%CPU (0avgtext+0avgdata 278216maxresident)k
0inputs+400outputs (0major+10872minor)pagefaults 0swaps
