[((1.0 0.37946790052053214) (2 1 3 4))]
8.17user 0.01system 0:08.19elapsed 99%CPU (0avgtext+0avgdata 49876maxresident)k
0inputs+0outputs (0major+8968minor)pagefaults 0swaps