13.88user 0.87system 0:03.62elapsed 407%CPU (0avgtext+0avgdata 306316maxresident)k
0inputs+400outputs (0major+11411minor)pagefaults 0swaps
