132.04user 0.48system 0:25.56elapsed 518%CPU (0avgtext+0avgdata 604928maxresident)k
0inputs+440outputs (0major+13065minor)pagefaults 0swaps
