[(42 42), (1 1)]
[()]
0.02user 0.00system 0:00.03elapsed 100%CPU (0avgtext+0avgdata 24320maxresident)k
0inputs+0outputs (0major+2780minor)pagefaults 0swaps