0.15user 0.04system 0:00.22elapsed 88%CPU (0avgtext+0avgdata 31876maxresident)k 1256inputs+0outputs (3major+8671minor)pagefaults 0swaps