12.42user 0.85system 0:02.60elapsed 510%CPU (0avgtext+0avgdata 307352maxresident)k
0inputs+400outputs (0major+11426minor)pagefaults 0swaps
