14.98user 0.68system 0:02.56elapsed 611%CPU (0avgtext+0avgdata 308812maxresident)k
0inputs+400outputs (0major+12419minor)pagefaults 0swaps
