[((1.0 0.37946790052053214) (2 1 3 4))]
7.51user 0.01system 0:07.53elapsed 99%CPU (0avgtext+0avgdata 53736maxresident)k
0inputs+32outputs (0major+8958minor)pagefaults 0swaps