INFO Running translator. INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/pipesworld-no-tankage-nontemporal-strips/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/pipesworld-no-tankage-nontemporal-strips/instances/instance-26.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-2004/domains/pipesworld-no-tankage-nontemporal-strips/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/pipesworld-no-tankage-nontemporal-strips/instances/instance-26.pddl Parsing... Parsing: [0.020s CPU, 0.027s wall-clock] Normalizing task... [0.000s CPU, 0.002s wall-clock] Instantiating... Generating Datalog program... [0.010s CPU, 0.005s wall-clock] Normalizing Datalog program... Normalizing Datalog program: [0.050s CPU, 0.049s wall-clock] Preparing model... [0.010s CPU, 0.018s wall-clock] Generated 91 rules. Computing model... [0.620s CPU, 0.622s wall-clock] 2913 relevant atoms 4552 auxiliary atoms 7465 final queue length 14222 total queue pushes Completing instantiation... [1.160s CPU, 1.162s wall-clock] Instantiating: [1.860s CPU, 1.865s wall-clock] Computing fact groups... Finding invariants... 18 initial candidates Finding invariants: [0.120s CPU, 0.113s wall-clock] Checking invariant weight... [0.000s CPU, 0.001s wall-clock] Instantiating groups... [0.000s CPU, 0.000s wall-clock] Collecting mutex groups... [0.000s CPU, 0.000s wall-clock] Choosing groups... 398 uncovered facts Choosing groups: [0.000s CPU, 0.003s wall-clock] Building translation key... [0.010s CPU, 0.015s wall-clock] Computing fact groups: [0.160s CPU, 0.161s 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.000s CPU, 0.004s wall-clock] Translating task... Processing axioms... Simplifying axioms... [0.000s CPU, 0.000s wall-clock] Processing axioms: [0.050s CPU, 0.044s wall-clock] Translating task: [1.080s CPU, 1.078s wall-clock] 5044 effect conditions simplified 0 implied preconditions added Detecting unreachable propositions... 0 operators removed 0 axioms removed 6 propositions removed Detecting unreachable propositions: [0.660s CPU, 0.652s wall-clock] Reordering and filtering variables... 400 of 400 variables necessary. 0 of 2 mutex groups necessary. 2380 of 2380 operators necessary. 0 of 0 axiom rules necessary. Reordering and filtering variables: [0.780s CPU, 0.781s wall-clock] Translator variables: 400 Translator derived variables: 0 Translator facts: 802 Translator goal facts: 7 Translator mutex groups: 0 Translator total mutex groups size: 0 Translator operators: 2380 Translator axioms: 0 Translator task size: 22277 Translator peak memory: 49664 KB Writing output... [0.400s CPU, 0.429s wall-clock] Done! [5.020s CPU, 5.052s wall-clock] planner.py version 0.0.1 Time: 0.97s Memory: 111MB 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.00s Memory: 112MB (+1MB) UNSAT Iteration Time: 0.00s 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: 112MB Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])] Grounding Time: 0.31s Memory: 112MB (+0MB) Unblocking actions... Solving... Solving Time: 0.02s Memory: 116MB (+4MB) UNSAT Iteration Time: 0.47s 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: 120.0MB Grounding... [('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('check', [10])] Grounding Time: 0.38s Memory: 127MB (+11MB) Unblocking actions... Solving... Solving Time: 0.04s Memory: 137MB (+10MB) UNSAT Iteration Time: 0.60s Iteration 4 Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] Grounded Until: 10 Expected Memory: 158.0MB Grounding... [('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('check', [15])] Grounding Time: 0.36s Memory: 148MB (+11MB) Unblocking actions... Solving... Solving Time: 1.09s Memory: 158MB (+10MB) SAT Testing... NOT SERIALIZABLE Testing Time: 1.29s Memory: 166MB (+8MB) Solving... Solving Time: 7.30s Memory: 177MB (+11MB) UNKNOWN Iteration Time: 10.21s Iteration 5 Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] Grounded Until: 15 Expected Memory: 198.0MB Grounding... [('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('step', [20]), ('check', [20])] Grounding Time: 0.59s Memory: 208MB (+31MB) Unblocking actions... Solving... Solving Time: 7.14s Memory: 225MB (+17MB) UNKNOWN Iteration Time: 7.94s Iteration 6 Queue: [(5,25,0,True), (6,30,0,True)] Grounded Until: 20 Expected Memory: 273.0MB Grounding... [('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('check', [25])] Grounding Time: 0.61s Memory: 240MB (+15MB) Unblocking actions... Solving... Solving Time: 10.29s Memory: 284MB (+44MB) UNKNOWN Iteration Time: 11.12s Iteration 7 Queue: [(6,30,0,True)] Grounded Until: 25 Expected Memory: 343.0MB Grounding... [('step', [26]), ('step', [27]), ('step', [28]), ('step', [29]), ('step', [30]), ('check', [30])] Grounding Time: 0.63s Memory: 284MB (+0MB) Unblocking actions... Solving... Solving Time: 11.36s Memory: 319MB (+35MB) UNKNOWN Iteration Time: 12.24s Iteration 8 Queue: [(3,15,1,True), (4,20,1,True), (5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)] Grounded Until: 30 Blocking actions... Solving... Solving Time: 8.50s Memory: 319MB (+0MB) UNKNOWN Iteration Time: 8.52s Iteration 9 Queue: [(4,20,1,True), (5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)] Grounded Until: 30 Unblocking actions... Solving... Solving Time: 7.24s Memory: 319MB (+0MB) UNKNOWN Iteration Time: 7.26s Iteration 10 Queue: [(5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)] Grounded Until: 30 Unblocking actions... Solving... Solving Time: 8.79s Memory: 319MB (+0MB) UNKNOWN Iteration Time: 8.81s Iteration 11 Queue: [(6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)] Grounded Until: 30 Unblocking actions... Solving... Solving Time: 9.60s Memory: 319MB (+0MB) UNKNOWN Iteration Time: 9.61s Iteration 12 Queue: [(7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)] Grounded Until: 30 Expected Memory: 378.0MB Grounding... [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])] Grounding Time: 0.79s Memory: 344MB (+25MB) Unblocking actions... Solving... Solving Time: 10.61s Memory: 347MB (+3MB) UNKNOWN Iteration Time: 11.66s Iteration 13 Queue: [(8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)] Grounded Until: 35 Expected Memory: 406.0MB Grounding... [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])] Grounding Time: 0.62s Memory: 347MB (+0MB) Unblocking actions... Solving... Solving Time: 12.08s Memory: 375MB (+28MB) UNKNOWN Iteration Time: 12.98s Iteration 14 Queue: [(9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)] Grounded Until: 40 Expected Memory: 434.0MB Grounding... [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])] Grounding Time: 0.61s Memory: 375MB (+0MB) Unblocking actions... Solving... Solving Time: 6.55s Memory: 404MB (+29MB) SAT Testing... SERIALIZABLE? Testing Time: 0.00s Memory: 404MB (+0MB) Answer: 2 occurs(action(("pop-start","s12","b13","a1","a2","b9","oc1b","lco")),1) occurs(action(("pop-start","s13","b6","a1","a3","b14","gasoleo","oca1")),1) occurs(action(("pop-unitarypipe","s34","b0","a3","a4","b1","oc1b","gasoleo")),1) occurs(action(("pop-end","s13","a1","a3","b15","b14")),2) occurs(action(("pop-end","s12","a1","a2","b2","b9")),2) occurs(action(("pop-unitarypipe","s34","b3","a3","a4","b0","oc1b","oc1b")),2) occurs(action(("pop-start","s12","b11","a1","a2","b13","oc1b","oc1b")),3) occurs(action(("pop-start","s13","b0","a1","a3","b6","oc1b","gasoleo")),3) occurs(action(("pop-unitarypipe","s34","b12","a3","a4","b3","lco","oc1b")),3) occurs(action(("pop-end","s12","a1","a2","b9","b13")),4) occurs(action(("push-unitarypipe","s34","b5","a3","a4","b12","oc1b","lco")),4) occurs(action(("pop-end","s13","a1","a3","b14","b6")),4) occurs(action(("push-unitarypipe","s34","b1","a3","a4","b5","gasoleo","oc1b")),5) occurs(action(("pop-start","s13","b3","a1","a3","b0","oc1b","oc1b")),5) occurs(action(("push-start","s12","b2","a1","a2","b13","lco","oc1b")),5) occurs(action(("pop-end","s13","a1","a3","b6","b0")),6) occurs(action(("pop-unitarypipe","s34","b12","a3","a4","b1","lco","gasoleo")),6) occurs(action(("push-end","s12","a1","a2","b11","b13")),6) occurs(action(("pop-start","s13","b1","a1","a3","b3","gasoleo","oc1b")),7) occurs(action(("push-start","s12","b7","a1","a2","b2","gasoleo","lco")),7) occurs(action(("pop-unitarypipe","s34","b10","a3","a4","b12","oc1b","lco")),7) occurs(action(("pop-end","s13","a1","a3","b0","b3")),8) occurs(action(("push-end","s12","a1","a2","b13","b2")),8) occurs(action(("pop-start","s13","b12","a1","a3","b1","lco","gasoleo")),9) occurs(action(("push-start","s12","b6","a1","a2","b7","gasoleo","gasoleo")),9) occurs(action(("push-end","s12","a1","a2","b2","b7")),10) occurs(action(("pop-end","s13","a1","a3","b3","b1")),10) occurs(action(("push-start","s12","b3","a1","a2","b6","oc1b","gasoleo")),11) occurs(action(("push-end","s12","a1","a2","b7","b6")),12) occurs(action(("push-start","s12","b14","a1","a2","b3","oca1","oc1b")),13) occurs(action(("push-end","s12","a1","a2","b6","b3")),14) occurs(action(("push-start","s12","b8","a1","a2","b14","oc1b","oca1")),15) occurs(action(("push-end","s12","a1","a2","b3","b14")),16) occurs(action(("pop-start","s12","b11","a1","a2","b14","oc1b","oca1")),17) occurs(action(("pop-end","s12","a1","a2","b8","b14")),18) occurs(action(("pop-start","s12","b6","a1","a2","b11","gasoleo","oc1b")),19) occurs(action(("push-start","s13","b8","a1","a3","b1","oc1b","gasoleo")),19) occurs(action(("pop-end","s12","a1","a2","b14","b11")),20) occurs(action(("pop-start","s12","b13","a1","a2","b6","oc1b","gasoleo")),21) occurs(action(("push-end","s13","a1","a3","b12","b1")),22) occurs(action(("pop-end","s12","a1","a2","b11","b6")),22) occurs(action(("pop-start","s12","b7","a1","a2","b13","gasoleo","oc1b")),23) occurs(action(("push-start","s13","b11","a1","a3","b8","oc1b","oc1b")),23) occurs(action(("push-end","s13","a1","a3","b1","b8")),24) occurs(action(("pop-end","s12","a1","a2","b6","b13")),24) occurs(action(("push-start","s13","b6","a1","a3","b11","gasoleo","oc1b")),25) occurs(action(("pop-start","s12","b4","a1","a2","b7","rat-a","gasoleo")),26) occurs(action(("push-end","s13","a1","a3","b8","b11")),26) occurs(action(("push-start","s13","b14","a1","a3","b6","oca1","gasoleo")),27) occurs(action(("push-end","s13","a1","a3","b11","b6")),28) occurs(action(("push-unitarypipe","s34","b1","a3","a4","b10","gasoleo","oc1b")),28) occurs(action(("pop-start","s13","b12","a1","a3","b6","lco","gasoleo")),29) occurs(action(("push-unitarypipe","s34","b11","a3","a4","b1","oc1b","gasoleo")),29) occurs(action(("push-unitarypipe","s34","b8","a3","a4","b11","oc1b","oc1b")),30) occurs(action(("pop-unitarypipe","s34","b1","a3","a4","b8","gasoleo","oc1b")),31) occurs(action(("push-unitarypipe","s34","b8","a3","a4","b1","oc1b","gasoleo")),32) occurs(action(("pop-unitarypipe","s34","b1","a3","a4","b8","gasoleo","oc1b")),33) occurs(action(("push-unitarypipe","s34","b8","a3","a4","b1","oc1b","gasoleo")),34) occurs(action(("pop-unitarypipe","s34","b1","a3","a4","b8","gasoleo","oc1b")),35) occurs(action(("push-unitarypipe","s34","b8","a3","a4","b1","oc1b","gasoleo")),36) occurs(action(("pop-unitarypipe","s34","b1","a3","a4","b8","gasoleo","oc1b")),37) occurs(action(("push-unitarypipe","s34","b8","a3","a4","b1","oc1b","gasoleo")),38) occurs(action(("pop-unitarypipe","s34","b1","a3","a4","b8","gasoleo","oc1b")),39) occurs(action(("push-unitarypipe","s34","b8","a3","a4","b1","oc1b","gasoleo")),40) occurs(action(("pop-unitarypipe","s34","b1","a3","a4","b8","gasoleo","oc1b")),41) occurs(action(("push-unitarypipe","s34","b8","a3","a4","b1","oc1b","gasoleo")),42) occurs(action(("pop-unitarypipe","s34","b1","a3","a4","b8","gasoleo","oc1b")),43) occurs(action(("push-unitarypipe","s34","b8","a3","a4","b1","oc1b","gasoleo")),44) occurs(action(("pop-unitarypipe","s34","b10","a3","a4","b8","oc1b","oc1b")),45) SATISFIABLE Models : 1+ Calls : 15 Time : 109.036s (Solving: 99.97s 1st Model: 7.52s Unsat: 0.02s) CPU Time : 109.032s Choices : 536744 (Domain: 465612) Conflicts : 99503 (Analyzed: 99502) Restarts : 1097 (Average: 90.70 Last: 161) Model-Level : 359.5 Problems : 15 (Average Length: 26.00 Splits: 0) Lemmas : 99502 (Deleted: 94861) Binary : 291 (Ratio: 0.29%) Ternary : 254 (Ratio: 0.26%) Conflict : 99502 (Average Length: 1265.6 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 99502 (Average: 4.45 Max: 319 Sum: 442873) Executed : 99437 (Average: 4.44 Max: 319 Sum: 441812 Ratio: 99.76%) Bounded : 65 (Average: 16.32 Max: 32 Sum: 1061 Ratio: 0.24%) Rules : 155324 (Original: 150687) Atoms : 86791 Bodies : 39958 (Original: 35405) Count : 3863 (Original: 4352) Equivalences : 27435 (Atom=Atom: 105 Body=Body: 1 Other: 27329) Tight : Yes Variables : 230406 (Eliminated: 0 Frozen: 110428) Constraints : 1813853 (Binary: 94.4% Ternary: 2.1% Other: 3.5%) Memory Peak : 407MB Max. Length : 45 steps Sol. Length : 45 steps Models : 2