diff --git a/m-mp/ipc-2006_trucks-propositional-strips_27.env b/m-mp/ipc-2006_trucks-propositional-strips_27.env new file mode 100644 index 000000000..d2ebc38c2 --- /dev/null +++ b/m-mp/ipc-2006_trucks-propositional-strips_27.env @@ -0,0 +1,39 @@ +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-2006/domains/trucks-propositional-strips/domains/domain-27.pddl +- /home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-27.pddl +- --stats +- --verbose +- --print-call +- -m 8192 +- --madagascar-Mp +configuration: + id: m-mp + instanceSets: + - lpnmr-easy-instances + - lpnmr-hard-instances + - lpnmr-first-plan-not-serializable + - rintanen-aij-2012 + options: + - --stats + - --verbose + - --print-call + - -m 8192 + - --madagascar-Mp +exitCode: 0 +instance: + domain: trucks-propositional-strips + instance: 27 + ipc: ipc-2006 +versions: + clingo: 5.2.2 + fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100) + planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100) + plasp: 3.1.1 + python: 3.6.3 +workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner + diff --git a/m-mp/ipc-2006_trucks-propositional-strips_27.err b/m-mp/ipc-2006_trucks-propositional-strips_27.err new file mode 100644 index 000000000..c6b4f25c5 --- /dev/null +++ b/m-mp/ipc-2006_trucks-propositional-strips_27.err @@ -0,0 +1,8 @@ +# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']} +# instance: {'ipc': 'ipc-2006', 'domain': 'trucks-propositional-strips', 'instance': 27} +# 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-2006/domains/trucks-propositional-strips/domains/domain-27.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-27.pddl', '--stats', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'] +# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner +# exit code: 0 +TIMEOUT CPU 900.02 MEM 6648972 MAXMEM 6648972 STALE 0 MAXMEM_RSS 4563808 + + diff --git a/m-mp/ipc-2006_trucks-propositional-strips_27.out b/m-mp/ipc-2006_trucks-propositional-strips_27.out new file mode 100644 index 000000000..980ce0fad --- /dev/null +++ b/m-mp/ipc-2006_trucks-propositional-strips_27.out @@ -0,0 +1,118 @@ +Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS) +Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/domains/domain-27.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-27.pddlignoring --stats +ignoring --verbose + -m 8192 +Domain: grounded-trucks +Problem: grounded-truck-27 +Parser: 29799 ground actions and 2875 state variables +Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 22.38 secs +Goal: conjunctive +Simplified: 29763 ground actions and 2874 state variables +Actions: STRIPS +Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.97 secs (max SCC size 1) +Plan type: E-step + Allocated 32 MB permanent (total 423 MB) +Horizon 0: 2874 variables +0 UNSAT (0 decisions 0 conflicts) +Horizon 5: 166059 variables + Allocated 32 MB (total 633 MB) +5 UNSAT (54 decisions 50 conflicts) +Horizon 10: 329244 variables +Horizon 15: 492429 variables +Horizon 20: 655614 variables + Allocated 32 MB permanent (total 1106 MB) +Horizon 25: 818799 variables +Horizon 30: 981984 variables + Allocated 32 MB permanent (total 1416 MB) +Horizon 35: 1145169 variables +Horizon 40: 1308354 variables + Allocated 32 MB permanent (total 1765 MB) +Horizon 45: 1471539 variables + Allocated 32 MB permanent (total 1970 MB) +Horizon 50: 1634724 variables +Horizon 55: 1797909 variables + Allocated 32 MB (total 2185 MB) + Allocated 32 MB permanent (total 2409 MB) +Horizon 60: 1961094 variables + Allocated 32 MB permanent (total 2643 MB) +Horizon 65: 2124279 variables + Allocated 32 MB permanent (total 2887 MB) +Horizon 70: 2287464 variables + Allocated 32 MB (total 2919 MB) + Allocated 32 MB permanent (total 3172 MB) +Horizon 75: 2450649 variables + Allocated 32 MB permanent (total 3435 MB) + Allocated 32 MB permanent (total 3467 MB) +Horizon 80: 2613834 variables + Allocated 32 MB (total 3499 MB) + Allocated 32 MB permanent (total 3771 MB) +Horizon 85: 2777019 variables + Allocated 32 MB permanent (total 4054 MB) +Horizon 90: 2940204 variables + Allocated 32 MB (total 4086 MB) + Allocated 32 MB permanent (total 4377 MB) + Allocated 32 MB permanent (total 4409 MB) +Horizon 95: 3103389 variables + Allocated 32 MB (total 4441 MB) + Allocated 32 MB permanent (total 4743 MB) +Horizon 100: 3266574 variables + Allocated 32 MB (total 4775 MB) + Allocated 32 MB permanent (total 5086 MB) + Allocated 32 MB permanent (total 5118 MB) +Horizon 105: 3429759 variables + Allocated 32 MB (total 5150 MB) + Allocated 32 MB (total 5182 MB) + Allocated 32 MB (total 5214 MB) + Allocated 32 MB (total 5246 MB) + Allocated 32 MB (total 5278 MB) + Allocated 32 MB (total 5310 MB) + GC: 149.10 MB + Allocated 32 MB (total 5342 MB) + Allocated 32 MB (total 5374 MB) + Allocated 32 MB (total 5406 MB) + Allocated 32 MB (total 5438 MB) + Allocated 32 MB (total 5470 MB) + Allocated 32 MB (total 5502 MB) + Allocated 32 MB (total 5534 MB) + Allocated 32 MB (total 5566 MB) + GC: 394.62 MB + GC: 297.90 MB + Allocated 32 MB (total 5598 MB) + Allocated 32 MB (total 5630 MB) + Allocated 32 MB (total 5662 MB) + Allocated 32 MB (total 5694 MB) + Allocated 32 MB (total 5726 MB) + GC: 337.41 MB + Allocated 32 MB (total 5758 MB) + Allocated 32 MB (total 5790 MB) + Allocated 32 MB (total 5822 MB) + Allocated 32 MB (total 5854 MB) + Allocated 32 MB (total 5886 MB) + GC: 347.84 MB + Allocated 32 MB (total 5918 MB) + Allocated 32 MB (total 5950 MB) + Allocated 32 MB (total 5982 MB) + Allocated 32 MB (total 6014 MB) + Allocated 32 MB (total 6046 MB) + Allocated 32 MB (total 6078 MB) + GC: 845.89 MB + GC: 491.00 MB + GC: 486.74 MB + GC: 780.04 MB + GC: 524.11 MB + GC: 523.20 MB + GC: 834.23 MB + GC: 477.58 MB + GC: 622.90 MB + GC: 592.40 MB + GC: 800.41 MB + GC: 635.21 MB + GC: 767.14 MB + GC: 711.05 MB + GC: 675.98 MB + GC: 670.89 MB + GC: 674.53 MB + GC: 680.88 MB + GC: 673.55 MB + GC: 714.01 MB +