[((1 2 3))]
0.05user 0.00system 0:00.05elapsed 98%CPU (0avgtext+0avgdata 30984maxresident)k
0inputs+0outputs (0major+3667minor)pagefaults 0swaps