3799.46user 4.47system 15:39.05elapsed 405%CPU (0avgtext+0avgdata 2826776maxresident)k
0inputs+1592outputs (0major+32331minor)pagefaults 0swaps
