On Tuesday, 17 January 2017 at 06:36:58 UTC, Stefan Koch wrote:
real 0m1.993s user 0m1.872s sys 0m0.120s
Just a tip, if you use (maybe install) /bin/time, you also get memory usage.
0.00user 0.00system 0:00.00elapsed 85%CPU (0avgtext+0avgdata 6372maxresident)k
0inputs+0outputs (0major+361minor)pagefaults 0swaps
