0.90user 12.99system 0:03.58elapsed 387%CPU (0avgtext+0avgdata 8420maxresident)k
0inputs+8outputs (0major+10552minor)pagefaults 0swaps
