12.30user 0.70system 0:02.62elapsed 495%CPU (0avgtext+0avgdata 308548maxresident)k
0inputs+400outputs (0major+10941minor)pagefaults 0swaps
