15.37user 0.67system 0:04.14elapsed 387%CPU (0avgtext+0avgdata 314848maxresident)k
0inputs+400outputs (0major+12028minor)pagefaults 0swaps
