update comment.

23 jobs for 175-drawing-real-random-numbers in 26 minutes and 11 seconds (queued for 4 seconds)