[(5 6)]
0.22user 0.00system 0:00.23elapsed 100%CPU (0avgtext+0avgdata 35396maxresident)k
0inputs+0outputs (0major+3931minor)pagefaults 0swaps