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