3847.96user 4.45system 15:53.30elapsed 404%CPU (0avgtext+0avgdata 2818984maxresident)k
0inputs+1616outputs (0major+28575minor)pagefaults 0swaps
