small timing/benchmarking output added