Non integer timelimit

[jonathanirvings]

This is usually useful when the time limit is less than 1s (e.g. we don't want a 1s solution got AC).

[jonathanirvings]

I've looked around and tried a bit about this. Sadly ulimit -t does not allow for non-integer limit :'( It may be possible to use timeout (http://man7.org/linux/man-pages/man1/timeout.1.html) instead but unfortunately it does not available on default in OSX :'(