12.98user 0.93system 0:02.70elapsed 514%CPU (0avgtext+0avgdata 307132maxresident)k
0inputs+400outputs (0major+11843minor)pagefaults 0swaps
