15.44user 0.72system 0:04.13elapsed 391%CPU (0avgtext+0avgdata 313976maxresident)k
0inputs+400outputs (0major+11623minor)pagefaults 0swaps
