[((1 2 3))]
0.16user 0.00system 0:00.16elapsed 100%CPU (0avgtext+0avgdata 35120maxresident)k
0inputs+0outputs (0major+3895minor)pagefaults 0swaps