Use timeout as fallback for killing process

api/src/job.js

@@ -121,12 +121,17 @@ class Job {
                 '--fsize=' + this.runtime.max_file_size,
             ];
             
+            const timeout_call = [
+                'timeout', '-s', '9', Math.ceil(timeout / 1000),
+            ];
+
             if (memory_limit >= 0) {
                 prlimit.push('--as=' + memory_limit);
             }
 
             const proc_call = [ 
                 'nice',
+                ...timeout_call,
                 ...prlimit,
                 ...nonetwork,
                 'bash',