3813.89user 4.55system 15:42.18elapsed 405%CPU (0avgtext+0avgdata 2820348maxresident)k
0inputs+1632outputs (0major+29522minor)pagefaults 0swaps
