added elapsed time in JSON results