52.64/52.77	Error at 1: Unexpected token '>=', 'benchmark' expected.
52.64/52.77	syntax error
52.64/52.77	rm: cannot remove ‘/tmp/muTerm336465782861021530.in.dec’: Operation not permitted
52.64/52.77	rm: cannot remove ‘/tmp/muTerm336465782861021530.in.form’: Operation not permitted
54.78/54.87	Error at 1: Unexpected token '>=', 'benchmark' expected.
54.78/54.87	syntax error
54.78/54.87	rm: cannot remove ‘/tmp/muTerm2145174067468703135.in.dec’: Operation not permitted
54.78/54.87	rm: cannot remove ‘/tmp/muTerm2145174067468703135.in.form’: Operation not permitted
56.88/56.97	Error at 1: Unexpected token '>=', 'benchmark' expected.
56.88/56.97	syntax error
56.88/56.97	rm: cannot remove ‘/tmp/muTerm1315634022635723058.in.dec’: Operation not permitted
56.88/56.98	rm: cannot remove ‘/tmp/muTerm1315634022635723058.in.form’: Operation not permitted
59.03/59.08	Error at 1: Unexpected token '>=', 'benchmark' expected.
59.03/59.09	syntax error
59.05/59.09	rm: cannot remove ‘/tmp/muTerm10599613932089018456.in.dec’: Operation not permitted
59.05/59.09	rm: cannot remove ‘/tmp/muTerm10599613932089018456.in.form’: Operation not permitted
299.72/300.04	/export/starexec/sandbox2/solver/bin/starexec_run_default: line 9:  8828 Alarm clock             $command
299.72/300.05	EOF