15.30user 0.87system 0:03.02elapsed 535%CPU (0avgtext+0avgdata 307500maxresident)k
0inputs+400outputs (0major+11956minor)pagefaults 0swaps
