SIGKILL might mean time limit exceeded as well
handle TLE@monitor correctly
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod
Merge branch 'master' of github.com:jongman/algospot into prod