49.95user 0.30system 0:12.80elapsed 392%CPU (0avgtext+0avgdata 581784maxresident)k
0inputs+424outputs (0major+11642minor)pagefaults 0swaps
