458.73user 9.50system 3:58.45elapsed 196%CPU (0avgtext+0avgdata 1126192maxresident)k
0inputs+728outputs (0major+14779minor)pagefaults 0swaps
