46.79user 2.95system 0:04.30elapsed 1156%CPU (0avgtext+0avgdata 106340maxresident)k
0inputs+512outputs (0major+10940minor)pagefaults 0swaps
