9.56user 8.35system 0:13.93elapsed 128%CPU (0avgtext+0avgdata 241080maxresident)k
0inputs+2240outputs (0major+110485minor)pagefaults 0swaps
