12.52user 0.68system 0:13.18elapsed 100%CPU (0avgtext+0avgdata 97488maxresident)k
0inputs+536outputs (0major+164796minor)pagefaults 0swaps
