Add timeLimit to snippet (and logging information)
Merge pull request #397 from emmanuel-keller/1.5

Add timeLimit to snippet (and logging information)