diff --git a/cms/grading/Sandbox.py b/cms/grading/Sandbox.py index ed4c044e33..f65487fe97 100644 --- a/cms/grading/Sandbox.py +++ b/cms/grading/Sandbox.py @@ -1038,7 +1038,7 @@ def build_box_options(self): if self.box_id is not None: res += ["--box-id=%d" % self.box_id] if self.cgroup: - res += ["--cg"] + res += ["--cg", "--cg-timing"] if self.chdir is not None: res += ["--chdir=%s" % self.chdir] for in_name, out_name, options in self.dirs: @@ -1061,7 +1061,10 @@ def build_box_options(self): if self.stack_space is not None: res += ["--stack=%d" % self.stack_space] if self.address_space is not None: - res += ["--cg-mem=%d" % self.address_space] + if self.cgroup: + res += ["--cg-mem=%d" % self.address_space] + else: + res += ["--mem=%d" % self.address_space] if self.stdout_file is not None: res += ["--stdout=%s" % self.inner_absolute_path(self.stdout_file)] if self.max_processes is not None: