25.28user 0.30system 0:03.18elapsed 802%CPU (0avgtext+0avgdata 295944maxresident)k
0inputs+416outputs (0major+12686minor)pagefaults 0swaps
