INFO     Running translator.
INFO     translator input: ['/nfs/home/student.aau.dk/rtollu18/dat7/netstack/pddl-domains/domain-cc.pddl', '/nfs/home/student.aau.dk/rtollu18/dat7/netstack/zoo_pddl/TataNld_4.pddl']
INFO     translator arguments: []
INFO     translator time limit: None
INFO     translator memory limit: 25600 MB
INFO     callstring: /usr/bin/python2 /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/translate/translate.py /nfs/home/student.aau.dk/rtollu18/dat7/netstack/pddl-domains/domain-cc.pddl /nfs/home/student.aau.dk/rtollu18/dat7/netstack/zoo_pddl/TataNld_4.pddl
Parsing...
Parsing: [0.050s CPU, 0.054s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.016s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.011s wall-clock]
Preparing model... [0.070s CPU, 0.067s wall-clock]
Generated 173 rules.
Computing model... [22.200s CPU, 22.224s wall-clock]
443181 relevant atoms
523864 auxiliary atoms
967045 final queue length
1399592 total queue pushes
Completing instantiation... Command '['/usr/bin/python2', '/nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/translate/translate.py', '/nfs/home/student.aau.dk/rtollu18/dat7/netstack/pddl-domains/domain-cc.pddl', '/nfs/home/student.aau.dk/rtollu18/dat7/netstack/zoo_pddl/TataNld_4.pddl']' returned non-zero exit status -9
@@@T37395@@@
Done!
real 37.64
user 36.39
sys 1.03
slurmstepd-dhabi04: error: Detected 1 oom-kill event(s) in step 4402354.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
