Remove results with errors
These results were affected by a bug in the planner (out-of-range index access). This was fixed in the meantime, and these measurements will be repeated now.
This commit is contained in:
parent
00d1bdd175
commit
ceef73c21b
GPG Key ID:
05F3611E97A70ABF
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/instances/instance-2.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: grid-round-2-strips
|
||||
instance: 2
|
||||
ipc: ipc-1998
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,26 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-1998', 'domain': 'grid-round-2-strips', 'instance': 2}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/instances/instance-2.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/instances/instance-2.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 245.50 MEM 0 MAXMEM 5683864 STALE 1 MAXMEM_RSS 5404696
|
||||
<time name="ALL">245340</time>
|
||||
|
||||
@ -1,144 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/instances/instance-2.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/grid-round-2-strips/instances/instance-2.pddl
|
||||
Parsing...
|
||||
Parsing: [0.030s CPU, 0.028s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.001s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.010s CPU, 0.007s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.020s CPU, 0.023s wall-clock]
|
||||
Preparing model... [0.020s CPU, 0.023s wall-clock]
|
||||
Generated 46 rules.
|
||||
Computing model... [0.570s CPU, 0.564s wall-clock]
|
||||
5240 relevant atoms
|
||||
2298 auxiliary atoms
|
||||
7538 final queue length
|
||||
15595 total queue pushes
|
||||
Completing instantiation... [1.520s CPU, 1.517s wall-clock]
|
||||
Instantiating: [2.140s CPU, 2.143s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
12 initial candidates
|
||||
Finding invariants: [0.020s CPU, 0.018s wall-clock]
|
||||
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
|
||||
Instantiating groups... [0.020s CPU, 0.010s wall-clock]
|
||||
Collecting mutex groups... [0.000s CPU, 0.003s wall-clock]
|
||||
Choosing groups...
|
||||
1 uncovered facts
|
||||
Choosing groups: [0.010s CPU, 0.009s wall-clock]
|
||||
Building translation key... [0.000s CPU, 0.006s wall-clock]
|
||||
Computing fact groups: [0.070s CPU, 0.070s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.010s CPU, 0.002s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.000s CPU, 0.003s wall-clock]
|
||||
Building mutex information...
|
||||
Building mutex information: [0.000s CPU, 0.003s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.070s CPU, 0.072s wall-clock]
|
||||
Translating task: [1.310s CPU, 1.310s wall-clock]
|
||||
360 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
103 propositions removed
|
||||
Detecting unreachable propositions: [0.600s CPU, 0.599s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
20 of 20 variables necessary.
|
||||
1 of 20 mutex groups necessary.
|
||||
4140 of 4140 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.190s CPU, 0.194s wall-clock]
|
||||
Translator variables: 20
|
||||
Translator derived variables: 0
|
||||
Translator facts: 424
|
||||
Translator goal facts: 3
|
||||
Translator mutex groups: 1
|
||||
Translator total mutex groups size: 11
|
||||
Translator operators: 4140
|
||||
Translator axioms: 0
|
||||
Translator task size: 24548
|
||||
Translator peak memory: 52428 KB
|
||||
Writing output... [0.420s CPU, 0.458s wall-clock]
|
||||
Done! [4.830s CPU, 4.869s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 23.33s
|
||||
Memory: 1248MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.11s
|
||||
Memory: 1248MB (+0MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.11s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 1248MB
|
||||
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])]
|
||||
Grounding Time: 29.32s
|
||||
Memory: 3776MB (+2528MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 3.57s
|
||||
Memory: 3981MB (+205MB)
|
||||
UNSAT
|
||||
Iteration Time: 75.88s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 6714.0MB
|
||||
Grounding... [('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('check', [10])]
|
||||
Grounding Time: 33.92s
|
||||
Memory: 5215MB (+1234MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 13.02s
|
||||
Memory: 5410MB (+195MB)
|
||||
UNSAT
|
||||
Iteration Time: 131.14s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 10
|
||||
Expected Memory: 8143.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 10
|
||||
Expected Memory: 10876.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 10
|
||||
Expected Memory: 13609.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 10
|
||||
Expected Memory: 16342.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/instances/instance-21.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: logistics-round-1-strips
|
||||
instance: 21
|
||||
ipc: ipc-1998
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,41 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-1998', 'domain': 'logistics-round-1-strips', 'instance': 21}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/instances/instance-21.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:15-28: info: atom does not occur in any rule head:
|
||||
mutexGroup(G)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:30-45: info: atom does not occur in any rule head:
|
||||
contains(G,X,V)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:67:15-28: info: atom does not occur in any rule head:
|
||||
mutexGroup(G)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:74:41-56: info: atom does not occur in any rule head:
|
||||
contains(G,X,V)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:84:41-56: info: atom does not occur in any rule head:
|
||||
contains(G,X,V)
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/instances/instance-21.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 130.97 MEM 33472 MAXMEM 6198964 STALE 1 MAXMEM_RSS 5807084
|
||||
<time name="ALL">130770</time>
|
||||
|
||||
@ -1,138 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/instances/instance-21.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/logistics-round-1-strips/instances/instance-21.pddl
|
||||
Parsing...
|
||||
Parsing: [0.040s CPU, 0.038s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.002s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.010s CPU, 0.016s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.030s CPU, 0.023s wall-clock]
|
||||
Preparing model... [0.040s CPU, 0.047s wall-clock]
|
||||
Generated 51 rules.
|
||||
Computing model... [2.410s CPU, 2.401s wall-clock]
|
||||
20976 relevant atoms
|
||||
10799 auxiliary atoms
|
||||
31775 final queue length
|
||||
47040 total queue pushes
|
||||
Completing instantiation... [4.580s CPU, 4.583s wall-clock]
|
||||
Instantiating: [7.100s CPU, 7.102s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
6 initial candidates
|
||||
Finding invariants: [0.040s CPU, 0.046s wall-clock]
|
||||
Checking invariant weight... [0.010s CPU, 0.005s wall-clock]
|
||||
Instantiating groups... [0.330s CPU, 0.334s wall-clock]
|
||||
Collecting mutex groups... [0.020s CPU, 0.016s wall-clock]
|
||||
Choosing groups...
|
||||
0 uncovered facts
|
||||
Choosing groups: [0.040s CPU, 0.044s wall-clock]
|
||||
Building translation key... [0.030s CPU, 0.029s wall-clock]
|
||||
Computing fact groups: [0.630s CPU, 0.630s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.010s CPU, 0.014s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.020s CPU, 0.014s wall-clock]
|
||||
Building mutex information...
|
||||
Building mutex information: [0.010s CPU, 0.016s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.190s CPU, 0.181s wall-clock]
|
||||
Translating task: [3.700s CPU, 3.693s wall-clock]
|
||||
0 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
64 propositions removed
|
||||
Detecting unreachable propositions: [2.050s CPU, 2.047s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
64 of 64 variables necessary.
|
||||
0 of 64 mutex groups necessary.
|
||||
17170 of 17170 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.430s CPU, 0.435s wall-clock]
|
||||
Translator variables: 64
|
||||
Translator derived variables: 0
|
||||
Translator facts: 2511
|
||||
Translator goal facts: 11
|
||||
Translator mutex groups: 0
|
||||
Translator total mutex groups size: 0
|
||||
Translator operators: 17170
|
||||
Translator axioms: 0
|
||||
Translator task size: 66020
|
||||
Translator peak memory: 85716 KB
|
||||
Writing output... [1.360s CPU, 1.504s wall-clock]
|
||||
Done! [15.520s CPU, 15.657s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 73.15s
|
||||
Memory: 3718MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.30s
|
||||
Memory: 3718MB (+0MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.30s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 3718MB
|
||||
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])]
|
||||
Grounding Time: 21.70s
|
||||
Memory: 5709MB (+1991MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 1.82s
|
||||
Memory: 6016MB (+307MB)
|
||||
UNSAT
|
||||
Iteration Time: 30.63s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 8314.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 10612.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 12910.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 15208.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 17506.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-15.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: mystery-round-1-strips
|
||||
instance: 15
|
||||
ipc: ipc-1998
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,41 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-1998', 'domain': 'mystery-round-1-strips', 'instance': 15}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-15.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:15-28: info: atom does not occur in any rule head:
|
||||
mutexGroup(G)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:30-45: info: atom does not occur in any rule head:
|
||||
contains(G,X,V)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:67:15-28: info: atom does not occur in any rule head:
|
||||
mutexGroup(G)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:74:41-56: info: atom does not occur in any rule head:
|
||||
contains(G,X,V)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:84:41-56: info: atom does not occur in any rule head:
|
||||
contains(G,X,V)
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-15.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 224.42 MEM 33472 MAXMEM 8486536 STALE 1 MAXMEM_RSS 8114084
|
||||
<time name="ALL">224160</time>
|
||||
|
||||
@ -1,132 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-15.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-15.pddl
|
||||
Parsing...
|
||||
Parsing: [0.020s CPU, 0.025s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.001s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.010s CPU, 0.007s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.040s CPU, 0.043s wall-clock]
|
||||
Preparing model... [0.040s CPU, 0.034s wall-clock]
|
||||
Generated 42 rules.
|
||||
Computing model... [1.960s CPU, 1.966s wall-clock]
|
||||
17570 relevant atoms
|
||||
6412 auxiliary atoms
|
||||
23982 final queue length
|
||||
56683 total queue pushes
|
||||
Completing instantiation... [6.980s CPU, 6.986s wall-clock]
|
||||
Instantiating: [9.060s CPU, 9.061s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
12 initial candidates
|
||||
Finding invariants: [0.120s CPU, 0.124s wall-clock]
|
||||
Checking invariant weight... [0.000s CPU, 0.003s wall-clock]
|
||||
Instantiating groups... [0.060s CPU, 0.060s wall-clock]
|
||||
Collecting mutex groups... [0.010s CPU, 0.004s wall-clock]
|
||||
Choosing groups...
|
||||
0 uncovered facts
|
||||
Choosing groups: [0.010s CPU, 0.013s wall-clock]
|
||||
Building translation key... [0.000s CPU, 0.008s wall-clock]
|
||||
Computing fact groups: [0.240s CPU, 0.246s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.010s CPU, 0.003s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.000s CPU, 0.003s wall-clock]
|
||||
Building mutex information...
|
||||
Building mutex information: [0.010s CPU, 0.005s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.270s CPU, 0.271s wall-clock]
|
||||
Translating task: [5.310s CPU, 5.309s wall-clock]
|
||||
0 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
52 propositions removed
|
||||
Detecting unreachable propositions: [2.660s CPU, 2.657s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
52 of 52 variables necessary.
|
||||
0 of 52 mutex groups necessary.
|
||||
16665 of 16665 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.770s CPU, 0.773s wall-clock]
|
||||
Translator variables: 52
|
||||
Translator derived variables: 0
|
||||
Translator facts: 681
|
||||
Translator goal facts: 1
|
||||
Translator mutex groups: 0
|
||||
Translator total mutex groups size: 0
|
||||
Translator operators: 16665
|
||||
Translator axioms: 0
|
||||
Translator task size: 98645
|
||||
Translator peak memory: 101500 KB
|
||||
Writing output... [1.730s CPU, 1.881s wall-clock]
|
||||
Done! [20.040s CPU, 20.193s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 184.23s
|
||||
Memory: 8250MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.71s
|
||||
Memory: 8250MB (+0MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.71s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8250MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8250MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8250MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8250MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8250MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8250MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-17.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: mystery-round-1-strips
|
||||
instance: 17
|
||||
ipc: ipc-1998
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,41 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-1998', 'domain': 'mystery-round-1-strips', 'instance': 17}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-17.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:15-28: info: atom does not occur in any rule head:
|
||||
mutexGroup(G)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:66:30-45: info: atom does not occur in any rule head:
|
||||
contains(G,X,V)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:67:15-28: info: atom does not occur in any rule head:
|
||||
mutexGroup(G)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:74:41-56: info: atom does not occur in any rule head:
|
||||
contains(G,X,V)
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp:84:41-56: info: atom does not occur in any rule head:
|
||||
contains(G,X,V)
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-17.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 249.19 MEM 33472 MAXMEM 9188932 STALE 1 MAXMEM_RSS 8862700
|
||||
<time name="ALL">249090</time>
|
||||
|
||||
@ -1,132 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-17.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-17.pddl
|
||||
Parsing...
|
||||
Parsing: [0.030s CPU, 0.035s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.002s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.010s CPU, 0.010s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.040s CPU, 0.037s wall-clock]
|
||||
Preparing model... [0.030s CPU, 0.028s wall-clock]
|
||||
Generated 42 rules.
|
||||
Computing model... [1.930s CPU, 1.934s wall-clock]
|
||||
17564 relevant atoms
|
||||
6015 auxiliary atoms
|
||||
23579 final queue length
|
||||
56133 total queue pushes
|
||||
Completing instantiation... [6.970s CPU, 6.970s wall-clock]
|
||||
Instantiating: [9.000s CPU, 9.002s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
12 initial candidates
|
||||
Finding invariants: [0.120s CPU, 0.123s wall-clock]
|
||||
Checking invariant weight... [0.010s CPU, 0.003s wall-clock]
|
||||
Instantiating groups... [0.060s CPU, 0.059s wall-clock]
|
||||
Collecting mutex groups... [0.010s CPU, 0.005s wall-clock]
|
||||
Choosing groups...
|
||||
2 uncovered facts
|
||||
Choosing groups: [0.020s CPU, 0.018s wall-clock]
|
||||
Building translation key... [0.000s CPU, 0.009s wall-clock]
|
||||
Computing fact groups: [0.250s CPU, 0.253s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.010s CPU, 0.004s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.000s CPU, 0.003s wall-clock]
|
||||
Building mutex information...
|
||||
Building mutex information: [0.010s CPU, 0.005s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.270s CPU, 0.271s wall-clock]
|
||||
Translating task: [5.340s CPU, 5.334s wall-clock]
|
||||
0 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
56 propositions removed
|
||||
Detecting unreachable propositions: [2.660s CPU, 2.666s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
52 of 52 variables necessary.
|
||||
0 of 52 mutex groups necessary.
|
||||
16616 of 16616 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.790s CPU, 0.786s wall-clock]
|
||||
Translator variables: 52
|
||||
Translator derived variables: 0
|
||||
Translator facts: 730
|
||||
Translator goal facts: 1
|
||||
Translator mutex groups: 0
|
||||
Translator total mutex groups size: 0
|
||||
Translator operators: 16616
|
||||
Translator axioms: 0
|
||||
Translator task size: 99223
|
||||
Translator peak memory: 100868 KB
|
||||
Writing output... [1.690s CPU, 1.848s wall-clock]
|
||||
Done! [20.000s CPU, 20.160s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 206.52s
|
||||
Memory: 8936MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.79s
|
||||
Memory: 8936MB (+0MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.80s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8936MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8936MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8936MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8936MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8936MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8936MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-10.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: freecell-strips-typed
|
||||
instance: 10
|
||||
ipc: ipc-2000
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,28 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 10}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-10.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
Warning: name clash between type and predicate 'suit'.
|
||||
Interpreting as predicate in conditions.
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-10.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 227.19 MEM 33472 MAXMEM 8615836 STALE 1 MAXMEM_RSS 7913704
|
||||
<time name="ALL">227020</time>
|
||||
|
||||
@ -1,136 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-10.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-10.pddl
|
||||
Parsing...
|
||||
Parsing: [0.060s CPU, 0.058s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.005s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.020s CPU, 0.013s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.060s CPU, 0.068s wall-clock]
|
||||
Preparing model... [0.040s CPU, 0.032s wall-clock]
|
||||
Generated 125 rules.
|
||||
Computing model... [0.740s CPU, 0.741s wall-clock]
|
||||
5624 relevant atoms
|
||||
1418 auxiliary atoms
|
||||
7042 final queue length
|
||||
24499 total queue pushes
|
||||
Completing instantiation... [2.590s CPU, 2.584s wall-clock]
|
||||
Instantiating: [3.450s CPU, 3.447s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
15 initial candidates
|
||||
Finding invariants: [0.180s CPU, 0.179s wall-clock]
|
||||
Checking invariant weight... [0.010s CPU, 0.005s wall-clock]
|
||||
Instantiating groups... [0.030s CPU, 0.027s wall-clock]
|
||||
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
|
||||
Choosing groups...
|
||||
11 uncovered facts
|
||||
Choosing groups: [0.010s CPU, 0.005s wall-clock]
|
||||
Building translation key... [0.000s CPU, 0.002s wall-clock]
|
||||
Computing fact groups: [0.230s CPU, 0.226s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.010s CPU, 0.002s wall-clock]
|
||||
Building mutex information...
|
||||
not in strips_to_sas, left out: Atom bottomcol(c0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(d0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(h0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(s0)
|
||||
Building mutex information: [0.000s CPU, 0.003s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.110s CPU, 0.114s wall-clock]
|
||||
Translating task: [2.400s CPU, 2.403s wall-clock]
|
||||
2246 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
14 propositions removed
|
||||
Detecting unreachable propositions: [1.190s CPU, 1.192s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
30 of 30 variables necessary.
|
||||
36 of 50 mutex groups necessary.
|
||||
5344 of 5344 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.450s CPU, 0.452s wall-clock]
|
||||
Translator variables: 30
|
||||
Translator derived variables: 0
|
||||
Translator facts: 124
|
||||
Translator goal facts: 4
|
||||
Translator mutex groups: 36
|
||||
Translator total mutex groups size: 142
|
||||
Translator operators: 5344
|
||||
Translator axioms: 0
|
||||
Translator task size: 44562
|
||||
Translator peak memory: 63436 KB
|
||||
Writing output... [0.760s CPU, 0.806s wall-clock]
|
||||
Done! [8.650s CPU, 8.691s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 200.75s
|
||||
Memory: 8376MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.76s
|
||||
Memory: 8376MB (+0MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.76s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8376MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8376MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8376MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8376MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8376MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8376MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-6.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: freecell-strips-typed
|
||||
instance: 6
|
||||
ipc: ipc-2000
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,28 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 6}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-6.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
Warning: name clash between type and predicate 'suit'.
|
||||
Interpreting as predicate in conditions.
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-6.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 229.47 MEM 0 MAXMEM 8643776 STALE 1 MAXMEM_RSS 7952968
|
||||
<time name="ALL">229340</time>
|
||||
|
||||
@ -1,136 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-6.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-6.pddl
|
||||
Parsing...
|
||||
Parsing: [0.030s CPU, 0.037s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.003s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.010s CPU, 0.008s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.050s CPU, 0.052s wall-clock]
|
||||
Preparing model... [0.030s CPU, 0.025s wall-clock]
|
||||
Generated 125 rules.
|
||||
Computing model... [0.720s CPU, 0.725s wall-clock]
|
||||
5652 relevant atoms
|
||||
1425 auxiliary atoms
|
||||
7077 final queue length
|
||||
24613 total queue pushes
|
||||
Completing instantiation... [2.600s CPU, 2.601s wall-clock]
|
||||
Instantiating: [3.420s CPU, 3.421s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
15 initial candidates
|
||||
Finding invariants: [0.140s CPU, 0.141s wall-clock]
|
||||
Checking invariant weight... [0.010s CPU, 0.005s wall-clock]
|
||||
Instantiating groups... [0.030s CPU, 0.026s wall-clock]
|
||||
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
|
||||
Choosing groups...
|
||||
11 uncovered facts
|
||||
Choosing groups: [0.010s CPU, 0.005s wall-clock]
|
||||
Building translation key... [0.000s CPU, 0.002s wall-clock]
|
||||
Computing fact groups: [0.190s CPU, 0.187s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.000s CPU, 0.002s wall-clock]
|
||||
Building mutex information...
|
||||
not in strips_to_sas, left out: Atom bottomcol(c0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(d0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(h0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(s0)
|
||||
Building mutex information: [0.010s CPU, 0.003s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.110s CPU, 0.113s wall-clock]
|
||||
Translating task: [2.410s CPU, 2.411s wall-clock]
|
||||
2190 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
14 propositions removed
|
||||
Detecting unreachable propositions: [1.200s CPU, 1.203s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
30 of 30 variables necessary.
|
||||
32 of 50 mutex groups necessary.
|
||||
5369 of 5369 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.450s CPU, 0.453s wall-clock]
|
||||
Translator variables: 30
|
||||
Translator derived variables: 0
|
||||
Translator facts: 125
|
||||
Translator goal facts: 4
|
||||
Translator mutex groups: 32
|
||||
Translator total mutex groups size: 124
|
||||
Translator operators: 5369
|
||||
Translator axioms: 0
|
||||
Translator task size: 44686
|
||||
Translator peak memory: 63436 KB
|
||||
Writing output... [0.720s CPU, 0.760s wall-clock]
|
||||
Done! [8.530s CPU, 8.578s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 203.14s
|
||||
Memory: 8403MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.73s
|
||||
Memory: 8404MB (+1MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.74s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8404MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8404MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8404MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8404MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8404MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8404MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-7.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: freecell-strips-typed
|
||||
instance: 7
|
||||
ipc: ipc-2000
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,28 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 7}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-7.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
Warning: name clash between type and predicate 'suit'.
|
||||
Interpreting as predicate in conditions.
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-7.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 226.27 MEM 33472 MAXMEM 8615004 STALE 1 MAXMEM_RSS 7910608
|
||||
<time name="ALL">226110</time>
|
||||
|
||||
@ -1,136 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-7.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-7.pddl
|
||||
Parsing...
|
||||
Parsing: [0.040s CPU, 0.043s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.004s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.010s CPU, 0.009s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.050s CPU, 0.058s wall-clock]
|
||||
Preparing model... [0.030s CPU, 0.027s wall-clock]
|
||||
Generated 125 rules.
|
||||
Computing model... [0.730s CPU, 0.725s wall-clock]
|
||||
5624 relevant atoms
|
||||
1418 auxiliary atoms
|
||||
7042 final queue length
|
||||
24499 total queue pushes
|
||||
Completing instantiation... [2.600s CPU, 2.602s wall-clock]
|
||||
Instantiating: [3.420s CPU, 3.429s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
15 initial candidates
|
||||
Finding invariants: [0.190s CPU, 0.186s wall-clock]
|
||||
Checking invariant weight... [0.010s CPU, 0.005s wall-clock]
|
||||
Instantiating groups... [0.020s CPU, 0.026s wall-clock]
|
||||
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
|
||||
Choosing groups...
|
||||
12 uncovered facts
|
||||
Choosing groups: [0.010s CPU, 0.005s wall-clock]
|
||||
Building translation key... [0.000s CPU, 0.002s wall-clock]
|
||||
Computing fact groups: [0.240s CPU, 0.232s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.000s CPU, 0.002s wall-clock]
|
||||
Building mutex information...
|
||||
not in strips_to_sas, left out: Atom bottomcol(c0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(d0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(h0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(s0)
|
||||
Building mutex information: [0.000s CPU, 0.003s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.120s CPU, 0.115s wall-clock]
|
||||
Translating task: [2.400s CPU, 2.403s wall-clock]
|
||||
2412 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
14 propositions removed
|
||||
Detecting unreachable propositions: [1.200s CPU, 1.198s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
30 of 30 variables necessary.
|
||||
32 of 50 mutex groups necessary.
|
||||
5344 of 5344 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.490s CPU, 0.488s wall-clock]
|
||||
Translator variables: 30
|
||||
Translator derived variables: 0
|
||||
Translator facts: 124
|
||||
Translator goal facts: 4
|
||||
Translator mutex groups: 32
|
||||
Translator total mutex groups size: 124
|
||||
Translator operators: 5344
|
||||
Translator axioms: 0
|
||||
Translator task size: 44456
|
||||
Translator peak memory: 63436 KB
|
||||
Writing output... [0.710s CPU, 0.762s wall-clock]
|
||||
Done! [8.600s CPU, 8.663s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 200.06s
|
||||
Memory: 8374MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.73s
|
||||
Memory: 8374MB (+0MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.73s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8374MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8374MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8374MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8374MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8374MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8374MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-8.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: freecell-strips-typed
|
||||
instance: 8
|
||||
ipc: ipc-2000
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,28 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 8}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-8.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
Warning: name clash between type and predicate 'suit'.
|
||||
Interpreting as predicate in conditions.
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-8.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 227.82 MEM 33472 MAXMEM 8613928 STALE 1 MAXMEM_RSS 7908456
|
||||
<time name="ALL">227650</time>
|
||||
|
||||
@ -1,136 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-8.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-8.pddl
|
||||
Parsing...
|
||||
Parsing: [0.040s CPU, 0.044s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.004s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.010s CPU, 0.010s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.060s CPU, 0.058s wall-clock]
|
||||
Preparing model... [0.030s CPU, 0.028s wall-clock]
|
||||
Generated 125 rules.
|
||||
Computing model... [0.720s CPU, 0.722s wall-clock]
|
||||
5624 relevant atoms
|
||||
1418 auxiliary atoms
|
||||
7042 final queue length
|
||||
24499 total queue pushes
|
||||
Completing instantiation... [2.580s CPU, 2.590s wall-clock]
|
||||
Instantiating: [3.420s CPU, 3.417s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
15 initial candidates
|
||||
Finding invariants: [0.170s CPU, 0.177s wall-clock]
|
||||
Checking invariant weight... [0.010s CPU, 0.005s wall-clock]
|
||||
Instantiating groups... [0.030s CPU, 0.025s wall-clock]
|
||||
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
|
||||
Choosing groups...
|
||||
11 uncovered facts
|
||||
Choosing groups: [0.010s CPU, 0.005s wall-clock]
|
||||
Building translation key... [0.000s CPU, 0.002s wall-clock]
|
||||
Computing fact groups: [0.220s CPU, 0.223s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.010s CPU, 0.002s wall-clock]
|
||||
Building mutex information...
|
||||
not in strips_to_sas, left out: Atom bottomcol(c0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(d0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(h0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(s0)
|
||||
Building mutex information: [0.000s CPU, 0.003s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.110s CPU, 0.112s wall-clock]
|
||||
Translating task: [2.400s CPU, 2.396s wall-clock]
|
||||
2299 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
12 propositions removed
|
||||
Detecting unreachable propositions: [1.190s CPU, 1.193s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
30 of 30 variables necessary.
|
||||
36 of 50 mutex groups necessary.
|
||||
5344 of 5344 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.450s CPU, 0.448s wall-clock]
|
||||
Translator variables: 30
|
||||
Translator derived variables: 0
|
||||
Translator facts: 126
|
||||
Translator goal facts: 4
|
||||
Translator mutex groups: 36
|
||||
Translator total mutex groups size: 142
|
||||
Translator operators: 5344
|
||||
Translator axioms: 0
|
||||
Translator task size: 44508
|
||||
Translator peak memory: 63436 KB
|
||||
Writing output... [0.750s CPU, 0.799s wall-clock]
|
||||
Done! [8.580s CPU, 8.628s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 201.53s
|
||||
Memory: 8373MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.73s
|
||||
Memory: 8373MB (+0MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.74s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8373MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8373MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8373MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8373MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8373MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8373MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-9.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: freecell-strips-typed
|
||||
instance: 9
|
||||
ipc: ipc-2000
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,28 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 9}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-9.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
Warning: name clash between type and predicate 'suit'.
|
||||
Interpreting as predicate in conditions.
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-9.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 227.90 MEM 33472 MAXMEM 8648012 STALE 1 MAXMEM_RSS 7957520
|
||||
<time name="ALL">227660</time>
|
||||
|
||||
@ -1,136 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-9.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-9.pddl
|
||||
Parsing...
|
||||
Parsing: [0.050s CPU, 0.054s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.004s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.010s CPU, 0.011s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.070s CPU, 0.064s wall-clock]
|
||||
Preparing model... [0.030s CPU, 0.029s wall-clock]
|
||||
Generated 125 rules.
|
||||
Computing model... [0.740s CPU, 0.736s wall-clock]
|
||||
5656 relevant atoms
|
||||
1425 auxiliary atoms
|
||||
7081 final queue length
|
||||
24625 total queue pushes
|
||||
Completing instantiation... [2.600s CPU, 2.597s wall-clock]
|
||||
Instantiating: [3.450s CPU, 3.446s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
15 initial candidates
|
||||
Finding invariants: [0.140s CPU, 0.140s wall-clock]
|
||||
Checking invariant weight... [0.010s CPU, 0.005s wall-clock]
|
||||
Instantiating groups... [0.020s CPU, 0.025s wall-clock]
|
||||
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
|
||||
Choosing groups...
|
||||
12 uncovered facts
|
||||
Choosing groups: [0.000s CPU, 0.005s wall-clock]
|
||||
Building translation key... [0.000s CPU, 0.002s wall-clock]
|
||||
Computing fact groups: [0.190s CPU, 0.186s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.000s CPU, 0.002s wall-clock]
|
||||
Building mutex information...
|
||||
not in strips_to_sas, left out: Atom bottomcol(c0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(d0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(h0)
|
||||
not in strips_to_sas, left out: Atom bottomcol(s0)
|
||||
Building mutex information: [0.000s CPU, 0.003s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.120s CPU, 0.114s wall-clock]
|
||||
Translating task: [2.420s CPU, 2.412s wall-clock]
|
||||
2428 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
14 propositions removed
|
||||
Detecting unreachable propositions: [1.200s CPU, 1.200s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
30 of 30 variables necessary.
|
||||
32 of 50 mutex groups necessary.
|
||||
5375 of 5375 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.450s CPU, 0.451s wall-clock]
|
||||
Translator variables: 30
|
||||
Translator derived variables: 0
|
||||
Translator facts: 125
|
||||
Translator goal facts: 4
|
||||
Translator mutex groups: 32
|
||||
Translator total mutex groups size: 122
|
||||
Translator operators: 5375
|
||||
Translator axioms: 0
|
||||
Translator task size: 44730
|
||||
Translator peak memory: 63436 KB
|
||||
Writing output... [0.720s CPU, 0.765s wall-clock]
|
||||
Done! [8.580s CPU, 8.624s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 201.51s
|
||||
Memory: 8406MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.74s
|
||||
Memory: 8407MB (+1MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.74s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8407MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8407MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8407MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8407MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8407MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 8407MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-18.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: depots-strips-automatic
|
||||
instance: 18
|
||||
ipc: ipc-2002
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,26 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-2002', 'domain': 'depots-strips-automatic', 'instance': 18}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-18.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-18.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 105.26 MEM 33472 MAXMEM 5183084 STALE 1 MAXMEM_RSS 4803824
|
||||
<time name="ALL">105090</time>
|
||||
|
||||
@ -1,138 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-18.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-18.pddl
|
||||
Parsing...
|
||||
Parsing: [0.020s CPU, 0.023s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.002s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.010s CPU, 0.011s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.040s CPU, 0.033s wall-clock]
|
||||
Preparing model... [0.030s CPU, 0.033s wall-clock]
|
||||
Generated 43 rules.
|
||||
Computing model... [0.830s CPU, 0.836s wall-clock]
|
||||
6652 relevant atoms
|
||||
3059 auxiliary atoms
|
||||
9711 final queue length
|
||||
24313 total queue pushes
|
||||
Completing instantiation... [2.370s CPU, 2.375s wall-clock]
|
||||
Instantiating: [3.290s CPU, 3.298s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
16 initial candidates
|
||||
Finding invariants: [0.060s CPU, 0.056s wall-clock]
|
||||
Checking invariant weight... [0.010s CPU, 0.006s wall-clock]
|
||||
Instantiating groups... [0.110s CPU, 0.117s wall-clock]
|
||||
Collecting mutex groups... [0.010s CPU, 0.005s wall-clock]
|
||||
Choosing groups...
|
||||
47 uncovered facts
|
||||
Choosing groups: [0.020s CPU, 0.028s wall-clock]
|
||||
Building translation key... [0.010s CPU, 0.009s wall-clock]
|
||||
Computing fact groups: [0.270s CPU, 0.269s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.010s CPU, 0.004s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.010s CPU, 0.010s wall-clock]
|
||||
Building mutex information...
|
||||
Building mutex information: [0.020s CPU, 0.019s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.130s CPU, 0.129s wall-clock]
|
||||
Translating task: [2.840s CPU, 2.838s wall-clock]
|
||||
7680 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
66 propositions removed
|
||||
Detecting unreachable propositions: [1.450s CPU, 1.442s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
65 of 65 variables necessary.
|
||||
46 of 65 mutex groups necessary.
|
||||
5568 of 5568 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.620s CPU, 0.621s wall-clock]
|
||||
Translator variables: 65
|
||||
Translator derived variables: 0
|
||||
Translator facts: 663
|
||||
Translator goal facts: 13
|
||||
Translator mutex groups: 46
|
||||
Translator total mutex groups size: 901
|
||||
Translator operators: 5568
|
||||
Translator axioms: 0
|
||||
Translator task size: 50506
|
||||
Translator peak memory: 67276 KB
|
||||
Writing output... [0.850s CPU, 0.913s wall-clock]
|
||||
Done! [9.490s CPU, 9.548s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 36.02s
|
||||
Memory: 1884MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.15s
|
||||
Memory: 1884MB (+0MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.15s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 1884MB
|
||||
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])]
|
||||
Grounding Time: 36.63s
|
||||
Memory: 4668MB (+2784MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 1.62s
|
||||
Memory: 4884MB (+216MB)
|
||||
UNSAT
|
||||
Iteration Time: 51.27s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 7884.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 10884.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 13884.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 16884.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 19884.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-20.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: depots-strips-automatic
|
||||
instance: 20
|
||||
ipc: ipc-2002
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,26 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-2002', 'domain': 'depots-strips-automatic', 'instance': 20}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-20.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-20.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 114.70 MEM 0 MAXMEM 5554396 STALE 1 MAXMEM_RSS 5195580
|
||||
<time name="ALL">114580</time>
|
||||
|
||||
@ -1,138 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-20.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/depots-strips-automatic/instances/instance-20.pddl
|
||||
Parsing...
|
||||
Parsing: [0.020s CPU, 0.022s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.002s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.010s CPU, 0.011s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.020s CPU, 0.022s wall-clock]
|
||||
Preparing model... [0.020s CPU, 0.022s wall-clock]
|
||||
Generated 43 rules.
|
||||
Computing model... [1.000s CPU, 0.996s wall-clock]
|
||||
7130 relevant atoms
|
||||
5437 auxiliary atoms
|
||||
12567 final queue length
|
||||
27375 total queue pushes
|
||||
Completing instantiation... [2.490s CPU, 2.488s wall-clock]
|
||||
Instantiating: [3.550s CPU, 3.551s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
16 initial candidates
|
||||
Finding invariants: [0.060s CPU, 0.065s wall-clock]
|
||||
Checking invariant weight... [0.010s CPU, 0.008s wall-clock]
|
||||
Instantiating groups... [0.150s CPU, 0.141s wall-clock]
|
||||
Collecting mutex groups... [0.010s CPU, 0.005s wall-clock]
|
||||
Choosing groups...
|
||||
51 uncovered facts
|
||||
Choosing groups: [0.030s CPU, 0.030s wall-clock]
|
||||
Building translation key... [0.010s CPU, 0.011s wall-clock]
|
||||
Computing fact groups: [0.310s CPU, 0.311s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.010s CPU, 0.005s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.100s CPU, 0.105s wall-clock]
|
||||
Building mutex information...
|
||||
Building mutex information: [0.020s CPU, 0.018s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.140s CPU, 0.135s wall-clock]
|
||||
Translating task: [2.990s CPU, 2.988s wall-clock]
|
||||
8070 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
70 propositions removed
|
||||
Detecting unreachable propositions: [1.400s CPU, 1.394s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
67 of 67 variables necessary.
|
||||
48 of 67 mutex groups necessary.
|
||||
5894 of 5894 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.660s CPU, 0.660s wall-clock]
|
||||
Translator variables: 67
|
||||
Translator derived variables: 0
|
||||
Translator facts: 773
|
||||
Translator goal facts: 14
|
||||
Translator mutex groups: 48
|
||||
Translator total mutex groups size: 993
|
||||
Translator operators: 5894
|
||||
Translator axioms: 0
|
||||
Translator task size: 52919
|
||||
Translator peak memory: 69068 KB
|
||||
Writing output... [0.890s CPU, 0.952s wall-clock]
|
||||
Done! [10.060s CPU, 10.120s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 37.63s
|
||||
Memory: 1969MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.16s
|
||||
Memory: 1969MB (+0MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.16s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 1969MB
|
||||
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])]
|
||||
Grounding Time: 40.21s
|
||||
Memory: 5033MB (+3064MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 1.84s
|
||||
Memory: 5276MB (+243MB)
|
||||
UNSAT
|
||||
Iteration Time: 57.88s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 8583.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 11890.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 15197.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 18504.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 21811.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
@ -1,40 +0,0 @@
|
||||
command:
|
||||
- timeout
|
||||
- -m=9216000
|
||||
- -t=900
|
||||
- python3
|
||||
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
|
||||
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/domain.pddl
|
||||
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/instances/instance-18.pddl
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
configuration:
|
||||
id: fd-pb-e2
|
||||
instanceSets:
|
||||
- lpnmr-hard-instances
|
||||
options:
|
||||
- --stats
|
||||
- --verbose
|
||||
- --print-call
|
||||
- -m 8192
|
||||
- --translate
|
||||
- -B 0.9
|
||||
- --parallel=2
|
||||
exitCode: 1
|
||||
instance:
|
||||
domain: driverlog-strips-automatic
|
||||
instance: 18
|
||||
ipc: ipc-2002
|
||||
versions:
|
||||
clingo: 5.2.2
|
||||
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
|
||||
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
|
||||
plasp: 3.1.1
|
||||
python: 3.6.3
|
||||
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
|
||||
@ -1,26 +0,0 @@
|
||||
# configuration: {'id': 'fd-pb-e2', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2'], 'instanceSets': ['lpnmr-hard-instances']}
|
||||
# instance: {'ipc': 'ipc-2002', 'domain': 'driverlog-strips-automatic', 'instance': 18}
|
||||
# command: ['timeout', '-m=9216000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/instances/instance-18.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--translate', '-B 0.9', '--parallel=2']
|
||||
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
|
||||
# exit code: 1
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:13:4-34: info: atom does not occur in any rule head:
|
||||
requires(feature(actionCosts))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:14:4-33: info: atom does not occur in any rule head:
|
||||
requires(feature(axiomRules))
|
||||
|
||||
/home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp:15:4-41: info: atom does not occur in any rule head:
|
||||
requires(feature(conditionalEffects))
|
||||
|
||||
Traceback (most recent call last):
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 945, in <module>
|
||||
Planner().run(options, clingo_options)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 705, in run
|
||||
length = scheduler.next(result)
|
||||
File "/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py", line 231, in next
|
||||
first = self.__next_runs[0]
|
||||
IndexError: list index out of range
|
||||
# planner call: /home/wv/bin/linux/64/fast-downward/fast-downward.py --translate --build=release64 /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/instances/instance-18.pddl && plasp-3.1.1 translate --parsing-mode=compatibility output.sas | /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/planner.py - /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/preprocess.lp /home/pluehne/Documents/ASP/plasp-javier/encodings/strips/strips-incremental.lp --stats --verbose -m 8192 -B 0.9 --query-at-last --check-at-last --forbid-actions --force-actions -c planner_on=1 -c _closure=3 -c _parallel=2
|
||||
FINISHED CPU 184.25 MEM 33472 MAXMEM 8007832 STALE 1 MAXMEM_RSS 7489216
|
||||
<time name="ALL">184140</time>
|
||||
|
||||
@ -1,138 +0,0 @@
|
||||
INFO Running translator.
|
||||
INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/instances/instance-18.pddl']
|
||||
INFO translator arguments: []
|
||||
INFO translator time limit: None
|
||||
INFO translator memory limit: None
|
||||
INFO callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/instances/instance-18.pddl
|
||||
Parsing...
|
||||
Parsing: [0.050s CPU, 0.043s wall-clock]
|
||||
Normalizing task... [0.000s CPU, 0.002s wall-clock]
|
||||
Instantiating...
|
||||
Generating Datalog program... [0.020s CPU, 0.017s wall-clock]
|
||||
Normalizing Datalog program...
|
||||
Normalizing Datalog program: [0.010s CPU, 0.019s wall-clock]
|
||||
Preparing model... [0.040s CPU, 0.042s wall-clock]
|
||||
Generated 35 rules.
|
||||
Computing model... [0.980s CPU, 0.978s wall-clock]
|
||||
10402 relevant atoms
|
||||
3678 auxiliary atoms
|
||||
14080 final queue length
|
||||
22680 total queue pushes
|
||||
Completing instantiation... [1.820s CPU, 1.817s wall-clock]
|
||||
Instantiating: [2.880s CPU, 2.885s wall-clock]
|
||||
Computing fact groups...
|
||||
Finding invariants...
|
||||
11 initial candidates
|
||||
Finding invariants: [0.050s CPU, 0.044s wall-clock]
|
||||
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
|
||||
Instantiating groups... [0.110s CPU, 0.101s wall-clock]
|
||||
Collecting mutex groups... [0.000s CPU, 0.006s wall-clock]
|
||||
Choosing groups...
|
||||
5 uncovered facts
|
||||
Choosing groups: [0.020s CPU, 0.017s wall-clock]
|
||||
Building translation key... [0.010s CPU, 0.011s wall-clock]
|
||||
Computing fact groups: [0.240s CPU, 0.231s wall-clock]
|
||||
Building STRIPS to SAS dictionary... [0.000s CPU, 0.005s wall-clock]
|
||||
Building dictionary for full mutex groups... [0.000s CPU, 0.004s wall-clock]
|
||||
Building mutex information...
|
||||
Building mutex information: [0.010s CPU, 0.006s wall-clock]
|
||||
Translating task...
|
||||
Processing axioms...
|
||||
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
|
||||
Processing axioms: [0.100s CPU, 0.102s wall-clock]
|
||||
Translating task: [2.010s CPU, 2.008s wall-clock]
|
||||
500 effect conditions simplified
|
||||
0 implied preconditions added
|
||||
Detecting unreachable propositions...
|
||||
0 operators removed
|
||||
0 axioms removed
|
||||
30 propositions removed
|
||||
Detecting unreachable propositions: [1.010s CPU, 1.006s wall-clock]
|
||||
Reordering and filtering variables...
|
||||
32 of 35 variables necessary.
|
||||
5 of 35 mutex groups necessary.
|
||||
8360 of 8960 operators necessary.
|
||||
0 of 0 axiom rules necessary.
|
||||
Reordering and filtering variables: [0.250s CPU, 0.250s wall-clock]
|
||||
Translator variables: 32
|
||||
Translator derived variables: 0
|
||||
Translator facts: 825
|
||||
Translator goal facts: 23
|
||||
Translator mutex groups: 5
|
||||
Translator total mutex groups size: 30
|
||||
Translator operators: 8360
|
||||
Translator axioms: 0
|
||||
Translator task size: 35190
|
||||
Translator peak memory: 62668 KB
|
||||
Writing output... [0.680s CPU, 0.753s wall-clock]
|
||||
Done! [7.210s CPU, 7.278s wall-clock]
|
||||
planner.py version 0.0.1
|
||||
|
||||
Time: 29.83s
|
||||
Memory: 1680MB
|
||||
|
||||
Iteration 1
|
||||
Queue: [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Solving...
|
||||
Solving Time: 0.11s
|
||||
Memory: 1680MB (+0MB)
|
||||
UNSAT
|
||||
Iteration Time: 0.11s
|
||||
|
||||
Iteration 2
|
||||
Queue: [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 0
|
||||
Expected Memory: 1680MB
|
||||
Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])]
|
||||
Grounding Time: 66.24s
|
||||
Memory: 7079MB (+5399MB)
|
||||
Unblocking actions...
|
||||
Solving...
|
||||
Solving Time: 14.86s
|
||||
Memory: 7463MB (+384MB)
|
||||
UNSAT
|
||||
Iteration Time: 134.85s
|
||||
|
||||
Iteration 3
|
||||
Queue: [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 13246.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 4
|
||||
Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 19029.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 5
|
||||
Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 24812.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 6
|
||||
Queue: [(5,25,0,True), (6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 30595.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 7
|
||||
Queue: [(6,30,0,True)]
|
||||
Grounded Until: 5
|
||||
Expected Memory: 36378.0MB
|
||||
Skipping: not enough memory for grounding...
|
||||
|
||||
Iteration Time: 0.00s
|
||||
|
||||
Iteration 8
|
||||
|
||||
Loading…
Reference in New Issue
Block a user