domain.pddl problem.pddl sas_plan /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z Functions: ( :functions ( total-cost ) - number ) | Action cost: move | without_action_costs | 0 Action cost: push-to-nongoal | ( increase ( total-cost ) 1 ) | 0 Action cost: push-to-goal | ( increase ( total-cost ) 1 ) | 0 Fluent: ( = ( total-cost ) 0 ) Metric: ( :metric minimize ( total-cost ) ) /planner/src/parser /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z original_domain: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain.pddl domain_wac: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain_without_action_costs.txt domain_wce: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain_wce.txt domain_ready: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain_ready.txt original_problem: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem.pddl problem_wac: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem_without_action_costs.txt problem_wce: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/facts_wce.txt problem_ready: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem_ready.txt action_costs_domain_file: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/action_costs_from_domain_file.txt action_costs_problem_file: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/action_costs_from_problem_file.txt Action costs processed. highest number of when per action: 0 El dominio original no tiene efectos condicionales, por lo tanto no es necesario realizar la compilacion. Parsing... Parsing: [0.010s CPU, 0.002s wall-clock] Normalizing task... [0.000s CPU, 0.000s wall-clock] Instantiating... Generating Datalog program... [0.000s CPU, 0.001s wall-clock] Normalizing Datalog program... Normalizing Datalog program: [0.000s CPU, 0.004s wall-clock] Preparing model... [0.000s CPU, 0.002s wall-clock] Generated 38 rules. Computing model... [0.010s CPU, 0.010s wall-clock] 375 relevant atoms 528 auxiliary atoms 903 final queue length 1060 total queue pushes Completing instantiation... [0.010s CPU, 0.005s wall-clock] Instantiating: [0.020s CPU, 0.020s wall-clock] Computing fact groups... Finding invariants... 7 initial candidates Finding invariants: [0.000s CPU, 0.007s wall-clock] Checking invariant weight... [0.000s CPU, 0.000s wall-clock] Instantiating groups... [0.010s CPU, 0.001s wall-clock] Collecting mutex groups... [0.000s CPU, 0.000s wall-clock] Choosing groups... 20 uncovered facts Choosing groups: [0.000s CPU, 0.000s wall-clock] Building translation key... [0.000s CPU, 0.000s wall-clock] Computing fact groups: [0.010s CPU, 0.009s wall-clock] Building STRIPS to SAS dictionary... [0.000s CPU, 0.000s wall-clock] Building dictionary for full mutex groups... [0.000s CPU, 0.000s wall-clock] Building mutex information... Building mutex information: [0.000s CPU, 0.000s wall-clock] Translating task... Processing axioms... Simplifying axioms... [0.000s CPU, 0.000s wall-clock] Processing axioms: [0.000s CPU, 0.000s wall-clock] Translating task: [0.000s CPU, 0.004s wall-clock] 0 implied effects removed 112 effect conditions simplified 0 implied preconditions added Detecting unreachable propositions... 0 operators removed 7 propositions removed Detecting unreachable propositions: [0.000s CPU, 0.001s wall-clock] /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z ************ 6,49,1,2,528,080,104 sokoban-sequential,p014-microban-sequential,2,6,49,7,1,102,2,3,0,1,38,375,528,903,1060,-1,-1,-1,0,112,0,21,0,80,19,104,78,795 End the translate Translator variables: 21 Translator derived variables: 0 Translator facts: 80 Translator mutex groups: 19 Translator total mutex groups size: 104 Translator operators: 78 Translator task size: 795 Translator peak memory: 25312 KB Writing output... [0.000s CPU, 0.001s wall-clock] Done! [0.040s CPU, 0.038s wall-clock] Building causal graph... The causal graph is not acyclic. 21 variables of 21 necessary 16 of 19 mutex groups necessary. 78 of 78 operators necessary. 0 of 0 axiom rules necessary. Building domain transition graphs... solveable in poly time 0 Building successor generator... Preprocessor facts: 80 Preprocessor derived variables: 0 Preprocessor task size: 751 Writing output... esto no me sale statistics DTG 21,2, 182, 632, 0.115385, 3.47253, 30.0952, 0.0952381, 20, 8.66667, 4.6938, 18, 8.66667, 4.36799, 236, 30.0952, 50.6283,118, 30.0952, 24.7731 , 0, 0, 0, 60, 5.71429, 17.6126, 0, 0, 0, 60, 5.71429,17.6126, 80, 314, 946, 0.331924, 0.254777, 1, 41, 5.03486, 0.207827, 41, 5.03486, 0.207827, 127, 12.7504,0.519566, 127,12.7504, 0.207827 -- 21,0.0952381, 4.6938, 8.66667, 236, 30.0952,17.6126, 0,80, 314, 127 done ff: parsing domain file domain 'SOKOBAN-SEQUENTIAL' defined ... done. ff: parsing problem file problem 'P014-MICROBAN-SEQUENTIAL' defined ... done. no optimization required. skipping criterion. no metric specified. plan length assumed. checking for cyclic := effects --- OK. Evaluation function 1.000000*g(s) + 3.000000*h(s) where metric is plan length INITIAL STATE FEEATURES num_relevant_facts: 62 num_actions: 78 rp_fact_balance_min: -2 rp_fact_balance_avg: -0.032258 rp_fact_balance_var: 0.567045 rp_goal_balance_min: -1 rp_goal_balance_avg: -1.000000 rp_goal_balance_var: 0.000000 Planning Graph Fact Serie: 17 2 1 1 1 2 3 6 6 1 Relaxed Plan Add Serie: 0 2 2 2 2 2 3 3 3 4 Relaxed Plan Del Serie: 0 2 2 2 2 2 4 4 4 3 Achieved Goal Serie: 1 0 0 0 0 0 0 0 0 1 Applicable Action Serie: 1 2 2 2 3 4 6 13 17 0 Unbalance Fact Serie: 0 0 0 0 0 0 2 1 4 0 Balance Fact Serie: 17 4 4 4 4 4 6 6 5 6 Num relevant ops: 78 balance Ratio: 3.218 Unbalance Ratio: 1.192 Balance Distorsion: 19 Balance Distorsion: 19 h_ff: 9 h_max: 9 h_ffratio 1.00/home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z *** /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/initfeature-info.txt ******* initfeature-info.txt Parsing... [0.010s CPU, 0.002s wall-clock] Instantiating... Normalizing task... [0.000s CPU, 0.000s wall-clock] Generating Datalog program... [0.000s CPU, 0.001s wall-clock] Normalizing Datalog program... Normalizing Datalog program: [0.000s CPU, 0.003s wall-clock] Preparing model... [0.000s CPU, 0.001s wall-clock] Generated 38 rules. Computing model... [0.010s CPU, 0.012s wall-clock] 375 relevant atoms 528 auxiliary atoms 903 final queue length 1060 total queue pushes Completing instantiation... [0.010s CPU, 0.006s wall-clock] Instantiating: [0.020s CPU, 0.023s wall-clock] Computing fact groups... Finding invariants... 7 initial candidates Finding invariants: [0.010s CPU, 0.006s wall-clock] Checking invariant weight... [0.000s CPU, 0.000s wall-clock] Instantiating groups... [0.000s CPU, 0.002s wall-clock] Collecting mutex groups... [0.000s CPU, 0.000s wall-clock] Choosing groups... 20 uncovered facts Choosing groups: [0.000s CPU, 0.000s wall-clock] Building translation key... [0.000s CPU, 0.000s wall-clock] Computing fact groups: [0.010s CPU, 0.008s wall-clock] Building STRIPS to SAS dictionary... [0.000s CPU, 0.000s wall-clock] Building dictionary for full mutex groups... [0.000s CPU, 0.000s wall-clock] Building mutex information... Building mutex information: [0.000s CPU, 0.000s wall-clock] Translating task... Processing axioms... Simplifying axioms... [0.000s CPU, 0.000s wall-clock] Processing axioms: [0.000s CPU, 0.000s wall-clock] Translating task: [0.000s CPU, 0.003s wall-clock] 0 implied effects removed 34 effect conditions simplified 0 implied preconditions added Detecting unreachable propositions... 0 operators removed 7 propositions removed Detecting unreachable propositions: [0.000s CPU, 0.001s wall-clock] Translator variables: 21 Translator derived variables: 0 Translator facts: 80 Translator mutex groups: 19 Translator total mutex groups size: 104 Translator operators: 78 Translator task size: 795 /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z ************ Writing output... [0.000s CPU, 0.001s wall-clock] Done! [0.040s CPU, 0.039s wall-clock] Building causal graph... The causal graph is not acyclic. 21 variables of 21 necessary 16 of 19 mutex groups necessary. 78 of 78 operators necessary. 0 of 0 axiom rules necessary. Building domain transition graphs... solveable in poly time 0 Building successor generator... Preprocessor facts: 80 Preprocessor derived variables: 0 Preprocessor task size: 751 Writing output... done Dispatcher selected state size 1. This is a nonunit task. Simplifying transitions... done! Initializing heuristic cache... done! Initializing Exploration... Generating landmarks using the RPG/SAS+ approach approx. reasonable orders approx. obedient reasonable orders Removed 0 reasonable or obedient reasonable orders Landmarks generation time: 0.000100964s Discovered 3 landmarks, of which 0 are disjunctive and 0 are conjunctive 1 edges Initializing landmarks count heuristic... 2 initial landmarks, 2 goal landmarks -------------------------------------------------- TrainingTasks begin Initializing Exploration... Generating landmarks using the RPG/SAS+ approach approx. reasonable orders approx. obedient reasonable orders Removed 0 reasonable or obedient reasonable orders Landmarks generation time: 9.1846e-05s Discovered 3 landmarks, of which 0 are disjunctive and 0 are conjunctive 1 edges Initializing heuristic cache... done! Initializing landmarks count heuristic... 2 initial landmarks, 2 goal landmarks Initializing additive heuristic... Simplifying 314 unary operators... done! [314 unary operators] Initializing blind search heuristic... Initializing causal graph heuristic... Initializing context-enhanced additive heuristic... Initializing FF heuristic... Initializing additive heuristic... Simplifying 314 unary operators... done! [314 unary operators] Initializing goal count heuristic... Initializing landmark cut heuristic... Initializing HSP max heuristic... Simplifying 314 unary operators... done! [314 unary operators] -------------------------------------------------- TrainingTasks end Peak memory: 3880 KB Dispatcher selected state size 1. This is a nonunit task. Simplifying transitions... done! Initializing Exploration... Initializing Exploration... H_m_Landmarks(1) Using 80 P^m fluents. Level 1 completed. Level 2 completed. Level 3 completed. Level 4 completed. Level 5 completed. Level 6 completed. Level 7 completed. Level 8 completed. Level 9 completed. Level 10 completed. Level 11 completed. Level 12 completed. Level 13 completed. Level 14 completed. Level 15 completed. Level 16 completed. Level 17 completed. Level 18 completed. h^m landmarks computed. Removed 0 reasonable or obedient reasonable orders Calculating achievers. Landmarks generation time: 0.000517487s Discovered 18 landmarks, of which 0 are disjunctive and 0 are conjunctive 26 edges Initializing Exploration... Generating landmarks using the RPG/SAS+ approach Removed 0 reasonable or obedient reasonable orders Landmarks generation time: 9.4918e-05s Discovered 3 landmarks, of which 0 are disjunctive and 0 are conjunctive 1 edges Initializing Exploration... Generating landmarks using Zhu/Givan label propagation Removed 0 reasonable or obedient reasonable orders Landmarks generation time: 0.00839623s Discovered 18 landmarks, of which 0 are disjunctive and 0 are conjunctive 16 edges Initializing Exploration... Merging 3 landmark graphs Adding simple landmarks Adding disjunctive landmarks Adding orderings Removed 0 reasonable or obedient reasonable orders Landmarks generation time: 0.000238516s Discovered 19 landmarks, of which 0 are disjunctive and 0 are conjunctive 36 edges Peak memory: 4344 KB caught signal 11 -- exiting Dispatcher selected state size 1. This is a nonunit task. Simplifying transitions... done! Conducting lazy best first search, (real) bound = 2147483647 Initializing Red-Black Relaxation heuristic... Running A* instead of Dijkstra. Using the distances ignoring outside conditions for heuristic estimates. Preferred operators (if used) are set from relaxed plan Conflict costs are estimated Initializing FF heuristic... Initializing additive heuristic... Simplifying 314 unary operators... done! [314 unary operators] Initializing extended DTGs Adding 78 operators to extended DTGs Checking invertibility... Done checking invertibility Checking connectivity... Done checking connectivity Total number of invertible variables is 3 Invertible variables connection status: 1 Invertible variables without leafs connection status: 1 Setting black variables... Variables order is set --------------------------------------------------------------------------------------- Total number of black variables is 2 Total number of black root variables is 0 Total number of variables is 21 Total number of variables with all pairs of values connected is 0 Total number of variables with all values connected to goal is 0 Total number of black variables with strongly connected parents only is 0 Maximal number of side effects for black variable is 4 --------------------------------------------------------------------------------------- Black DAG usage status: 0 print_statistics 2,0,21,0,0,0,4 heree Counting red preconditions.. Keeping achieving operators for red facts.. Initializing black variables... Adding edges to forward graph, for the later calculation of missing values Precalculating all pair shortest paths Finished initializing Red-Black Relaxation heuristic at time step [t=0s] Peak memory: 3600 KB /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/translateFile /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/features.arff /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/initfeature-info.txt /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/landmark.arff /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/red-black /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/tmp_results sokoban-sequential,p014-microban-sequential,2,6,49,7,1,102,2,3,0,1,38,375,528,903,1060,0,112,0,21,0,80,19,104,78,795,21,2, 182, 632, 0.115385, 3.47253, 30.0952, 0.0952381, 20, 8.66667, 4.6938, 18, 8.66667, 4.36799, 236, 30.0952, 50.6283,118, 30.0952, 24.7731, 0, 0, 0, 60, 5.71429, 17.6126, 0, 0, 0, 60, 5.71429,17.6126,80, 314, 946, 0.331924, 0.254777, 1, 41, 5.03486, 0.207827, 41, 5.03486, 0.207827, 127, 12.7504,0.519566, 127,12.7504, 0.207827, 1, /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem.pddl, 62, 78, 9, 9, 1.000000, -2, -0.032258, 0.567045, -1, -1.000000, 0.000000, 3.217949, 1.192308, 19,16,1,4,16,9,1,1,9,9,19,36,1.89474,11,2,6,1.89474,3,0,1.89474,17,3.87298,2,0,21,0,0,0,4,9 results 7 ***** 1 1 inst: 1 actual: True predicted: True error: 0.709 planner: fdss-2 ***** 2 1 inst: 2 actual: True predicted: True error: 0.942 planner: probe ***** 3 1 inst: 3 actual: True predicted: False error: 0.702 planner: yahsp2-mt ***** 4 1 inst: 4 actual: True predicted: True error: 0.931 planner: mercury ***** 5 1 inst: 5 actual: True predicted: True error: 0.786 planner: jasper ***** 6 1 inst: 6 actual: True predicted: True error: 0.51 planner: siw ***** 7 1 inst: 7 actual: True predicted: True error: 0.965 planner: bfs-f /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z /planner/src Run command: python2.7 /planner/src/parser/parse.py /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain.pddl /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem.pddl Portfolio runs original domain/problem Parser took 1.0 seconds Extract Features with original problem and domain Run command: ulimit -v 4194304;ulimit -t 50; python2.7 /planner/src/features/translate/translate.py /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain.pddl /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem.pddl Run command: ulimit -v 4194304;ulimit -t 50; /planner/src/features/preprocess/preprocess < /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/output.sas Run command: ulimit -v 4194304;ulimit -t 50; /planner/src/features/ff-learner/roller3.0 -o /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain.pddl -f /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem.pddl -S 28 Run command: ulimit -v 4194304;ulimit -t 100; /planner/src/features/heuristics/training.sh /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain.pddl /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem.pddl Run command: ulimit -v 4194304;ulimit -t 100; /planner/src/search/downward --landmarks "lm=lm_merged([lm_hm(m=1),lm_rhw(),lm_zg()])" < /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/output Run command: ulimit -v 4194304;ulimit -t 100; /planner/src/search-mercury/downward ipc seq-agl-mercury /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/outputModel Run command: python2.7 /planner/src/models/parseWekaOutputFile.py /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/outputModel /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/listPlanner Model 2.0 seconds Main portfolio runs 4.0 seconds **** PRINT PLANNERS SELECTED **** bfs-f 360 probe 360 mercury 360 jasper 360 fdss-2 360 **** END PLANNERS SELECTED **** Select the planners 8.20159912109e-05 seconds Time took 5.0 seconds Original_Domain: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain.pddl Original_Problem: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem.pddl Modified_Domain: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain_ready.txt Modified_Problem: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem_ready.txt Original_Plan_file: sas_plan Plans folder: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z **************************************************** *** Planner_pat --- OK. Match tree built with 78 nodes. PDDL problem description loaded: Domain: SOKOBAN-SEQUENTIAL Problem: P014-MICROBAN-SEQUENTIAL #Actions: 78 #Fluents: 62 Landmarks found: 2 Starting search with BFS(novel,land,h_add)... --[4294967295 / 16]-- --[1 / 16]-- --[1 / 13]-- --[1 / 11]-- --[1 / 9]-- --[1 / 7]-- --[1 / 5]-- --[1 / 3]-- --[1 / 2]-- --[1 / 1]-- --[1 / 0]-- --[0 / 0]-- Total time: 0.004 Nodes generated during search: 302 Nodes expanded during search: 141 Plan found with cost: 51 BFS search completed in 0.004 secs --- OK. Fluents=64 Operators=81 ================================================ ;; PROBE searching... ================================================ [0] [1] [2] [3] [4] Advancing to distance: 5 gn:0(0/5 nodes expanded so far) open: 5 [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [0] [0] [1] [2] [0] [1] [2] Advancing to distance: 3 gn:6(36/33 nodes expanded so far) open: 24 [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [0] [1] Advancing to distance: 2 gn:9(60/47 nodes expanded so far) open: 31 ================================================ ;; SOLUTION 1 ;; Plan cost: 10.000000, steps: 51 ;; Time: 0.008 ================================================ ================================================ ;; WA*, h_add_RP, w = 5.000, bound = 10.000 ================================================ ;; Minimum h value: 16.000 ;; Minimum h value: 14.000 ;; Minimum h value: 13.000 ;; Minimum h value: 12.000 ;; Minimum h value: 11.000 ;; Minimum h value: 10.000 ;; Minimum h value: 9.000 ;; Minimum h value: 7.000 ;; Minimum h value: 1.000 1. Running translator Second argument is a file name: use two translator arguments. Parsing... Parsing: [0.010s CPU, 0.009s wall-clock] Normalizing task... [0.000s CPU, 0.000s wall-clock] Instantiating... Generating Datalog program... [0.010s CPU, 0.003s wall-clock] Normalizing Datalog program... Normalizing Datalog program: [0.010s CPU, 0.010s wall-clock] Preparing model... [0.010s CPU, 0.007s wall-clock] Generated 38 rules. Computing model... [0.080s CPU, 0.078s wall-clock] 375 relevant atoms 528 auxiliary atoms 903 final queue length 1060 total queue pushes Completing instantiation... [0.010s CPU, 0.017s wall-clock] Instantiating: [0.120s CPU, 0.115s wall-clock] Computing fact groups... Finding invariants... 7 initial candidates Finding invariants: [0.020s CPU, 0.020s wall-clock] Checking invariant weight... [0.010s CPU, 0.001s wall-clock] Instantiating groups... [0.000s CPU, 0.003s wall-clock] Collecting mutex groups... [0.000s CPU, 0.000s wall-clock] Choosing groups... 20 uncovered facts Choosing groups: [0.000s CPU, 0.001s wall-clock] Building translation key... [0.000s CPU, 0.001s wall-clock] Computing fact groups: [0.030s CPU, 0.025s wall-clock] Building STRIPS to SAS dictionary... [0.000s CPU, 0.000s wall-clock] Building dictionary for full mutex groups... [0.000s CPU, 0.000s wall-clock] Building mutex information... Building mutex information: [0.000s CPU, 0.001s wall-clock] Translating task... Processing axioms... Simplifying axioms... [0.000s CPU, 0.000s wall-clock] Processing axioms: [0.000s CPU, 0.001s wall-clock] Translating task: [0.020s CPU, 0.016s wall-clock] 0 implied effects removed 0 effect conditions simplified 0 implied preconditions added Detecting unreachable propositions... 0 operators removed 7 propositions removed Detecting unreachable propositions: [0.000s CPU, 0.003s wall-clock] Translator variables: 21 Translator derived variables: 0 Translator facts: 80 Translator goal facts: 2 Translator mutex groups: 19 Translator total mutex groups size: 104 Translator operators: 78 Translator axioms: 0 Translator task size: 795 Translator peak memory: 101724 KB Writing output... [0.020s CPU, 0.023s wall-clock] Done! [0.200s CPU, 0.194s wall-clock] 2. Running preprocessor Building causal graph... The causal graph is not acyclic. 21 variables of 21 necessary 16 of 19 mutex groups necessary. 78 of 78 operators necessary. 0 of 0 axiom rules necessary. Building domain transition graphs... solveable in poly time 0 Building successor generator... Preprocessor facts: 80 Preprocessor derived variables: 0 Preprocessor task size: 751 Writing output... done 3. Running search /planner/src/mercury/src/search/downward < output ipc seq-sat-mercury --plan-file /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result Dispatcher selected state size 1. This is a nonunit task. Simplifying transitions... done! Initializing Exploration... Generating landmarks using the RPG/SAS+ approach approx. reasonable orders approx. obedient reasonable orders Removed 0 reasonable or obedient reasonable orders Landmarks generation time: 0.000208645s Discovered 3 landmarks, of which 0 are disjunctive and 0 are conjunctive 1 edges Initializing landmarks count heuristic... 2 initial landmarks, 2 goal landmarks Initializing Exploration... Generating landmarks using the RPG/SAS+ approach approx. reasonable orders approx. obedient reasonable orders Removed 0 reasonable or obedient reasonable orders Landmarks generation time: 0.000198409s Discovered 3 landmarks, of which 0 are disjunctive and 0 are conjunctive 1 edges Initializing landmarks count heuristic... 2 initial landmarks, 2 goal landmarks Starting search: lazy_greedy(list(hrb, hlm1), preferred = list(hrb, hlm1), cost_type = 1, reopen_closed = false) Conducting lazy best first search, (real) bound = 2147483647 Initializing Red-Black Relaxation heuristic... Running A* instead of Dijkstra. Using the distances ignoring outside conditions for heuristic estimates. Preferred operators (if used) are set from relaxed plan Conflict costs are estimated Initializing FF heuristic... Initializing additive heuristic... Simplifying 314 unary operators... done! [314 unary operators] Initializing extended DTGs Adding 78 operators to extended DTGs Checking invertibility... Done checking invertibility Checking connectivity... Done checking connectivity Total number of invertible variables is 3 Invertible variables connection status: 1 Invertible variables without leafs connection status: 1 Setting black variables... Variables order is set --------------------------------------------------------------------------------------- Total number of black variables is 2 Total number of black root variables is 0 Total number of variables is 21 Total number of variables with all pairs of values connected is 0 Total number of variables with all values connected to goal is 0 Total number of black variables with strongly connected parents only is 0 Maximal number of side effects for black variable is 4 --------------------------------------------------------------------------------------- Black DAG usage status: 0 Counting red preconditions.. Keeping achieving operators for red facts.. Initializing black variables... Adding edges to forward graph, for the later calculation of missing values Precalculating all pair shortest paths Finished initializing Red-Black Relaxation heuristic at time step [t=0s] Best heuristic value: 9/1 [g=0, 1 evaluated, 0 expanded, t=0s] Best heuristic value: 8/1 [g=1, 2 evaluated, 1 expanded, t=0s] Best heuristic value: 7/1 [g=2, 3 evaluated, 2 expanded, t=0s] Best heuristic value: 6/1 [g=3, 4 evaluated, 3 expanded, t=0s] Best heuristic value: 5/1 [g=4, 5 evaluated, 4 expanded, t=0s] Best heuristic value: 4/1 [g=5, 6 evaluated, 5 expanded, t=0s] Best heuristic value: 3/1 [g=31, 49 evaluated, 43 expanded, t=0s] Cost to: 9, cost from: 1 the total is: 10 Solution found! Actual search time: 0s [t=0s] move player-01 pos-6-4 pos-6-3 dir-up (0) move player-01 pos-6-3 pos-6-2 dir-up (0) move player-01 pos-6-2 pos-5-2 dir-left (0) move player-01 pos-5-2 pos-4-2 dir-left (0) move player-01 pos-4-2 pos-3-2 dir-left (0) move player-01 pos-3-2 pos-2-2 dir-left (0) move player-01 pos-2-2 pos-2-3 dir-down (0) move player-01 pos-2-3 pos-2-4 dir-down (0) move player-01 pos-2-4 pos-2-5 dir-down (0) move player-01 pos-2-5 pos-3-5 dir-right (0) move player-01 pos-3-5 pos-4-5 dir-right (0) push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up (1) move player-01 pos-4-4 pos-3-4 dir-left (0) move player-01 pos-3-4 pos-2-4 dir-left (0) move player-01 pos-2-4 pos-2-3 dir-up (0) move player-01 pos-2-3 pos-2-2 dir-up (0) move player-01 pos-2-2 pos-3-2 dir-right (0) move player-01 pos-3-2 pos-4-2 dir-right (0) move player-01 pos-4-2 pos-5-2 dir-right (0) move player-01 pos-5-2 pos-6-2 dir-right (0) move player-01 pos-6-2 pos-6-3 dir-down (0) move player-01 pos-6-3 pos-6-4 dir-down (0) push-to-nongoal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left (1) push-to-nongoal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left (1) push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left (1) move player-01 pos-3-4 pos-4-4 dir-right (0) move player-01 pos-4-4 pos-5-4 dir-right (0) move player-01 pos-5-4 pos-6-4 dir-right (0) move player-01 pos-6-4 pos-6-3 dir-up (0) move player-01 pos-6-3 pos-6-2 dir-up (0) move player-01 pos-6-2 pos-5-2 dir-left (0) move player-01 pos-5-2 pos-4-2 dir-left (0) push-to-nongoal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down (1) move player-01 pos-4-3 pos-4-2 dir-up (0) move player-01 pos-4-2 pos-5-2 dir-right (0) move player-01 pos-5-2 pos-6-2 dir-right (0) move player-01 pos-6-2 pos-6-3 dir-down (0) move player-01 pos-6-3 pos-6-4 dir-down (0) move player-01 pos-6-4 pos-5-4 dir-left (0) push-to-nongoal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left (1) move player-01 pos-4-4 pos-4-5 dir-down (0) move player-01 pos-4-5 pos-3-5 dir-left (0) move player-01 pos-3-5 pos-2-5 dir-left (0) push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up (1) push-to-nongoal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right (1) push-to-goal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right (1) move player-01 pos-4-4 pos-4-3 dir-up (0) move player-01 pos-4-3 pos-4-2 dir-up (0) move player-01 pos-4-2 pos-3-2 dir-left (0) move player-01 pos-3-2 pos-2-2 dir-left (0) push-to-goal player-01 stone-02 pos-2-2 pos-2-3 pos-2-4 dir-down (1) Plan length: 51 step(s). Plan cost: 10 Initial state h value: 9/1. Expanded 93 state(s). Reopened 0 state(s). Evaluated 106 state(s). Evaluations: 212 Generated 215 state(s). Dead ends: 12 state(s). Best solution cost so far: 10 Solution found - keep searching Starting search: lazy_greedy(list(hrb, hlm2), preferred = list(hrb, hlm2), reopen_closed = false) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 9/2 [g=0, 1 evaluated, 0 expanded, t=0s] Best heuristic value: 8/2 [g=0, 2 evaluated, 1 expanded, t=0s] Best heuristic value: 7/2 [g=0, 3 evaluated, 2 expanded, t=0s] Best heuristic value: 6/2 [g=0, 4 evaluated, 3 expanded, t=0s] Best heuristic value: 5/2 [g=0, 5 evaluated, 4 expanded, t=0s] Best heuristic value: 4/2 [g=0, 6 evaluated, 5 expanded, t=0s] Best heuristic value: 3/2 [g=4, 49 evaluated, 43 expanded, t=0s] Best heuristic value: 3/1 [g=9, 106 evaluated, 93 expanded, t=0s] Best heuristic value: 2/1 [g=9, 109 evaluated, 96 expanded, t=0s] Best heuristic value: 1/1 [g=9, 110 evaluated, 97 expanded, t=0s] Completely explored state space -- no solution! Actual search time: 0.02s [t=0.02s] Initial state h value: 9/2. Expanded 164 state(s). Reopened 0 state(s). Evaluated 180 state(s). Evaluations: 360 Generated 369 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hrb, hlm2), preferred = list(hrb, hlm2), w = 5) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 9/2 [g=0, 1 evaluated, 0 expanded, t=0.02s] Best heuristic value: 8/2 [g=0, 2 evaluated, 1 expanded, t=0.02s] Best heuristic value: 7/2 [g=0, 3 evaluated, 2 expanded, t=0.02s] Best heuristic value: 6/2 [g=0, 4 evaluated, 3 expanded, t=0.02s] Best heuristic value: 5/2 [g=0, 5 evaluated, 4 expanded, t=0.02s] Best heuristic value: 4/2 [g=0, 6 evaluated, 5 expanded, t=0.02s] Best heuristic value: 3/2 [g=4, 49 evaluated, 43 expanded, t=0.02s] Best heuristic value: 3/1 [g=9, 106 evaluated, 93 expanded, t=0.02s] Best heuristic value: 2/1 [g=9, 109 evaluated, 96 expanded, t=0.02s] Best heuristic value: 1/1 [g=9, 110 evaluated, 97 expanded, t=0.02s] Completely explored state space -- no solution! Actual search time: 0s [t=0.02s] Initial state h value: 9/2. Expanded 177 state(s). Reopened 13 state(s). Evaluated 193 state(s). Evaluations: 386 Generated 397 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hrb, hlm2), preferred = list(hrb, hlm2), w = 3) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 9/2 [g=0, 1 evaluated, 0 expanded, t=0.02s] Best heuristic value: 8/2 [g=0, 2 evaluated, 1 expanded, t=0.02s] Best heuristic value: 7/2 [g=0, 3 evaluated, 2 expanded, t=0.02s] Best heuristic value: 6/2 [g=0, 4 evaluated, 3 expanded, t=0.02s] Best heuristic value: 5/2 [g=0, 5 evaluated, 4 expanded, t=0.02s] Best heuristic value: 4/2 [g=0, 6 evaluated, 5 expanded, t=0.02s] Best heuristic value: 3/2 [g=4, 49 evaluated, 43 expanded, t=0.02s] Best heuristic value: 3/1 [g=9, 106 evaluated, 93 expanded, t=0.02s] Best heuristic value: 2/1 [g=9, 109 evaluated, 96 expanded, t=0.02s] Best heuristic value: 1/1 [g=9, 110 evaluated, 97 expanded, t=0.02s] Completely explored state space -- no solution! Actual search time: 0s [t=0.02s] Initial state h value: 9/2. Expanded 175 state(s). Reopened 11 state(s). Evaluated 191 state(s). Evaluations: 382 Generated 394 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hrb, hlm2), preferred = list(hrb, hlm2), w = 2) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 9/2 [g=0, 1 evaluated, 0 expanded, t=0.02s] Best heuristic value: 8/2 [g=0, 2 evaluated, 1 expanded, t=0.02s] Best heuristic value: 7/2 [g=0, 3 evaluated, 2 expanded, t=0.02s] Best heuristic value: 6/2 [g=0, 4 evaluated, 3 expanded, t=0.02s] Best heuristic value: 5/2 [g=0, 5 evaluated, 4 expanded, t=0.02s] Best heuristic value: 4/2 [g=0, 6 evaluated, 5 expanded, t=0.02s] Best heuristic value: 3/2 [g=4, 49 evaluated, 43 expanded, t=0.02s] Best heuristic value: 3/1 [g=9, 119 evaluated, 106 expanded, 11 reopened, t=0.02s] Best heuristic value: 2/1 [g=9, 122 evaluated, 109 expanded, 11 reopened, t=0.02s] Best heuristic value: 1/1 [g=9, 123 evaluated, 110 expanded, 11 reopened, t=0.02s] Completely explored state space -- no solution! Actual search time: 0s [t=0.02s] Initial state h value: 9/2. Expanded 175 state(s). Reopened 11 state(s). Evaluated 191 state(s). Evaluations: 382 Generated 394 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hrb, hlm2), preferred = list(hrb, hlm2), w = 1) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 9/2 [g=0, 1 evaluated, 0 expanded, t=0.02s] Best heuristic value: 8/2 [g=0, 2 evaluated, 1 expanded, t=0.02s] Best heuristic value: 7/2 [g=0, 3 evaluated, 2 expanded, t=0.02s] Best heuristic value: 6/2 [g=0, 4 evaluated, 3 expanded, t=0.02s] Best heuristic value: 5/2 [g=0, 5 evaluated, 4 expanded, t=0.02s] Best heuristic value: 4/2 [g=0, 6 evaluated, 5 expanded, t=0.02s] Best heuristic value: 3/2 [g=4, 62 evaluated, 56 expanded, t=0.02s] Best heuristic value: 3/1 [g=9, 115 evaluated, 102 expanded, t=0.04s] Best heuristic value: 2/1 [g=9, 118 evaluated, 105 expanded, t=0.04s] Best heuristic value: 1/1 [g=9, 119 evaluated, 106 expanded, t=0.04s] Completely explored state space -- no solution! Actual search time: 0.02s [t=0.04s] Initial state h value: 9/2. Expanded 164 state(s). Reopened 0 state(s). Evaluated 180 state(s). Evaluations: 360 Generated 369 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Actual search time: 0.04s [t=0.04s] Cumulative statistics: Expanded 948 state(s). Reopened 35 state(s). Evaluated 1041 state(s). Evaluations: 2082 Generated 2138 state(s). Dead ends: 0 state(s). Search time: 0.04s Total time: 0.04s Solution found. Peak memory: 3864 KB Skip the translate Skip the preprocess 3. Running search Dispatcher selected state size . This is a nonunit task. Failed to match magic word 'begin_variables'. Got ''. Peak memory: -1 KB Skip the translate Skip the preprocess 3. Running search Dispatcher selected state size 1. This is a nonunit task. External time limit: 360 Internal time limit: 360 External memory limit: 8482560410 Internal memory limit: 8430131610 WARNING! elapsed_time not found -- assuming full time available. remaining time at start: 360.0 g bound: infinity next plan number: 1 remaining time: 359.98 config 0: relative time 330, remaining 1595 args: ['/planner/src/fdss-2/../search/downward-1', '--heuristic', 'h=ff(cost_type=1)', '--search', 'eager_greedy(h,preferred=h,cost_type=1,bound=infinity)', '--plan-file', '/home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1'] timeout: 74.48 Simplifying transitions... done! Conducting best first search without reopening closed nodes, (real) bound = 2147483647 Initializing FF heuristic... Initializing additive heuristic... Simplifying 314 unary operators... done! [314 unary operators] Best heuristic value: 9 [g=0, 1 evaluated, 0 expanded, t=0s] Best heuristic value: 8 [g=1, 2 evaluated, 1 expanded, t=0s] Best heuristic value: 7 [g=2, 3 evaluated, 2 expanded, t=0s] Best heuristic value: 6 [g=3, 4 evaluated, 3 expanded, t=0s] Best heuristic value: 5 [g=4, 5 evaluated, 4 expanded, t=0s] Best heuristic value: 4 [g=5, 7 evaluated, 5 expanded, t=0s] Best heuristic value: 3 [g=33, 57 evaluated, 44 expanded, t=0s] Best heuristic value: 2 [g=49, 112 evaluated, 86 expanded, t=0s] Best heuristic value: 1 [g=50, 114 evaluated, 87 expanded, t=0s] Best heuristic value: 0 [g=51, 115 evaluated, 88 expanded, t=0s] Solution found! Actual search time: 0s [t=0s] move player-01 pos-6-4 pos-6-3 dir-up (0) move player-01 pos-6-3 pos-6-2 dir-up (0) move player-01 pos-6-2 pos-5-2 dir-left (0) move player-01 pos-5-2 pos-4-2 dir-left (0) move player-01 pos-4-2 pos-3-2 dir-left (0) move player-01 pos-3-2 pos-2-2 dir-left (0) move player-01 pos-2-2 pos-2-3 dir-down (0) move player-01 pos-2-3 pos-2-4 dir-down (0) move player-01 pos-2-4 pos-3-4 dir-right (0) move player-01 pos-3-4 pos-3-5 dir-down (0) move player-01 pos-3-5 pos-4-5 dir-right (0) push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up (1) move player-01 pos-4-4 pos-3-4 dir-left (0) move player-01 pos-3-4 pos-2-4 dir-left (0) move player-01 pos-2-4 pos-2-3 dir-up (0) move player-01 pos-2-3 pos-2-2 dir-up (0) move player-01 pos-2-2 pos-3-2 dir-right (0) move player-01 pos-3-2 pos-4-2 dir-right (0) move player-01 pos-4-2 pos-5-2 dir-right (0) move player-01 pos-5-2 pos-6-2 dir-right (0) move player-01 pos-6-2 pos-6-3 dir-down (0) move player-01 pos-6-3 pos-6-4 dir-down (0) push-to-nongoal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left (1) push-to-nongoal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left (1) push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left (1) move player-01 pos-3-4 pos-4-4 dir-right (0) move player-01 pos-4-4 pos-5-4 dir-right (0) move player-01 pos-5-4 pos-6-4 dir-right (0) move player-01 pos-6-4 pos-6-3 dir-up (0) move player-01 pos-6-3 pos-6-2 dir-up (0) move player-01 pos-6-2 pos-5-2 dir-left (0) move player-01 pos-5-2 pos-4-2 dir-left (0) push-to-nongoal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down (1) move player-01 pos-4-3 pos-4-2 dir-up (0) move player-01 pos-4-2 pos-5-2 dir-right (0) move player-01 pos-5-2 pos-6-2 dir-right (0) move player-01 pos-6-2 pos-6-3 dir-down (0) move player-01 pos-6-3 pos-6-4 dir-down (0) move player-01 pos-6-4 pos-5-4 dir-left (0) push-to-nongoal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left (1) move player-01 pos-4-4 pos-4-5 dir-down (0) move player-01 pos-4-5 pos-3-5 dir-left (0) move player-01 pos-3-5 pos-2-5 dir-left (0) push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up (1) push-to-nongoal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right (1) push-to-goal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right (1) move player-01 pos-4-4 pos-4-3 dir-up (0) move player-01 pos-4-3 pos-4-2 dir-up (0) move player-01 pos-4-2 pos-3-2 dir-left (0) move player-01 pos-3-2 pos-2-2 dir-left (0) push-to-goal player-01 stone-02 pos-2-2 pos-2-3 pos-2-4 dir-down (1) Plan length: 51 step(s). Plan cost: 10 Initial state h value: 9. Expanded 89 state(s). Reopened 0 state(s). Evaluated 115 state(s). Evaluations: 203 Generated 201 state(s). Dead ends: 10 state(s). Search space hash size: 115 Search space hash bucket count: 193 Search time: 0s Total time: 0s Solution found. Peak memory: 4080 KB returncode: 0 g bound: 10 next plan number: 2 remaining time: 359.98 config 0: relative time 330, remaining 1595 args: ['/planner/src/fdss-2/../search/downward-1', '--heuristic', 'h=ff(cost_type=2)', '--search', 'eager_greedy(h,preferred=h,cost_type=0,bound=10)', '--plan-file', '/home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.2'] timeout: 74.48 Simplifying transitions... done! Conducting best first search without reopening closed nodes, (real) bound = 10 Initializing FF heuristic... Initializing additive heuristic... Simplifying 314 unary operators... done! [314 unary operators] Best heuristic value: 13 [g=0, 1 evaluated, 0 expanded, t=0s] Best heuristic value: 12 [g=0, 2 evaluated, 1 expanded, t=0s] Best heuristic value: 11 [g=0, 3 evaluated, 2 expanded, t=0s] Best heuristic value: 10 [g=0, 4 evaluated, 3 expanded, t=0s] Best heuristic value: 9 [g=0, 5 evaluated, 4 expanded, t=0s] Best heuristic value: 8 [g=0, 7 evaluated, 5 expanded, t=0s] Best heuristic value: 7 [g=4, 57 evaluated, 46 expanded, t=0s] Best heuristic value: 6 [g=4, 58 evaluated, 47 expanded, t=0s] Best heuristic value: 5 [g=5, 59 evaluated, 48 expanded, t=0s] Best heuristic value: 4 [g=9, 94 evaluated, 71 expanded, t=0s] Best heuristic value: 3 [g=9, 95 evaluated, 72 expanded, t=0s] Best heuristic value: 2 [g=9, 97 evaluated, 73 expanded, t=0s] Completely explored state space -- no solution! Actual search time: 0s [t=0s] Initial state h value: 13. Expanded 164 state(s). Reopened 0 state(s). Evaluated 180 state(s). Evaluations: 344 Generated 365 state(s). Dead ends: 16 state(s). Search space hash size: 180 Search space hash bucket count: 193 Search time: 0s Total time: 0s Search stopped without finding a solution. Peak memory: 4080 KB returncode: 5 Build final config. Abort portfolio and run final config. g bound: 10 next plan number: 2 remaining time: 359.97 config 0: relative time 1, remaining 1 args: ['/planner/src/fdss-2/../search/downward-1', '--heuristic', 'h=ff(cost_type=2)', '--search', 'iterated([eager(single(sum([g(),weight(h,5)])),preferred=h,cost_type=0),eager(single(sum([g(),weight(h,3)])),preferred=h,cost_type=0),eager(single(sum([g(),weight(h,2)])),preferred=h,cost_type=0),eager(single(sum([g(),weight(h,1)])),preferred=h,cost_type=0)],bound=10,repeat_last=true,plan_counter=1)', '--plan-file', '/home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result'] timeout: 359.97 Simplifying transitions... done! Starting search: eager(single(sum(list(g, weight(h, 5)))), preferred = h, cost_type = 0) Conducting best first search without reopening closed nodes, (real) bound = 10 Initializing FF heuristic... Initializing additive heuristic... Simplifying 314 unary operators... done! [314 unary operators] Best heuristic value: 13 [g=0, 1 evaluated, 0 expanded, t=0s] Best heuristic value: 12 [g=0, 2 evaluated, 1 expanded, t=0s] Best heuristic value: 11 [g=0, 3 evaluated, 2 expanded, t=0s] Best heuristic value: 10 [g=0, 4 evaluated, 3 expanded, t=0s] Best heuristic value: 9 [g=0, 5 evaluated, 4 expanded, t=0s] Best heuristic value: 8 [g=0, 7 evaluated, 5 expanded, t=0s] Best heuristic value: 7 [g=4, 51 evaluated, 41 expanded, t=0s] Best heuristic value: 6 [g=4, 52 evaluated, 42 expanded, t=0s] Best heuristic value: 5 [g=5, 53 evaluated, 43 expanded, t=0s] Best heuristic value: 4 [g=9, 93 evaluated, 71 expanded, t=0s] Best heuristic value: 3 [g=9, 94 evaluated, 72 expanded, t=0s] Best heuristic value: 2 [g=9, 96 evaluated, 73 expanded, t=0s] Completely explored state space -- no solution! Actual search time: 0s [t=0s] Initial state h value: 13. Expanded 155 state(s). Reopened 0 state(s). Evaluated 169 state(s). Evaluations: 324 Generated 343 state(s). Dead ends: 14 state(s). Search space hash size: 169 Search space hash bucket count: 193 No solution found - stop searching Actual search time: 0s [t=0s] Cumulative statistics: Expanded 155 state(s). Reopened 0 state(s). Evaluated 169 state(s). Evaluations: 324 Generated 343 state(s). Dead ends: 0 state(s). Search time: 0s Total time: 0s Search stopped without finding a solution. Peak memory: 4080 KB returncode: 5 Exit codes: [0, 5, 5] run_portfolio /planner/src/fdss-2/../search/downward-seq-sat-fdss-2.py --plan-file /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result Skip the translate Skip the preprocess 3. Running search Dispatcher selected state size . This is a nonunit task. Failed to match magic word 'begin_variables'. Got ''. Peak memory: -1 KB 1. Running translator Second argument is a file name: use two translator arguments. Parsing... Parsing: [0.010s CPU, 0.008s wall-clock] Normalizing task... [0.000s CPU, 0.000s wall-clock] Instantiating... Generating Datalog program... [0.000s CPU, 0.005s wall-clock] Normalizing Datalog program... Normalizing Datalog program: [0.020s CPU, 0.011s wall-clock] Preparing model... [0.000s CPU, 0.007s wall-clock] Generated 38 rules. Computing model... [0.100s CPU, 0.094s wall-clock] 375 relevant atoms 528 auxiliary atoms 903 final queue length 1060 total queue pushes Completing instantiation... [0.010s CPU, 0.018s wall-clock] Instantiating: [0.130s CPU, 0.135s wall-clock] Computing fact groups... Finding invariants... 7 initial candidates Finding invariants: [0.030s CPU, 0.026s wall-clock] Checking invariant weight... [0.000s CPU, 0.001s wall-clock] Instantiating groups... [0.000s CPU, 0.003s wall-clock] Collecting mutex groups... [0.000s CPU, 0.000s wall-clock] Choosing groups... 20 uncovered facts Choosing groups: [0.000s CPU, 0.001s wall-clock] Building translation key... [0.000s CPU, 0.001s wall-clock] Computing fact groups: [0.030s CPU, 0.031s wall-clock] Building STRIPS to SAS dictionary... [0.000s CPU, 0.000s wall-clock] Building dictionary for full mutex groups... [0.000s CPU, 0.000s wall-clock] Building mutex information... Building mutex information: [0.010s CPU, 0.001s wall-clock] Translating task... Processing axioms... Simplifying axioms... [0.000s CPU, 0.000s wall-clock] Processing axioms: [0.000s CPU, 0.001s wall-clock] Translating task: [0.010s CPU, 0.015s wall-clock] 0 implied effects removed 0 effect conditions simplified 0 implied preconditions added Detecting unreachable propositions... 0 operators removed 7 propositions removed Detecting unreachable propositions: [0.000s CPU, 0.003s wall-clock] Translator variables: 21 Translator derived variables: 0 Translator facts: 80 Translator goal facts: 2 Translator mutex groups: 19 Translator total mutex groups size: 104 Translator operators: 78 Translator axioms: 0 Translator task size: 795 Translator peak memory: 102332 KB Writing output... [0.030s CPU, 0.023s wall-clock] Done! [0.220s CPU, 0.219s wall-clock] 2. Running preprocessor Building causal graph... The causal graph is not acyclic. 21 variables of 21 necessary 16 of 19 mutex groups necessary. 78 of 78 operators necessary. 0 of 0 axiom rules necessary. Building domain transition graphs... solveable in poly time 0 Building successor generator... Preprocessor facts: 80 Preprocessor derived variables: 0 Preprocessor task size: 751 Writing output... done 3. Running search /planner/src/mercury/src/search/downward < output ipc seq-sat-mercury --plan-file /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result Dispatcher selected state size 1. This is a nonunit task. Simplifying transitions... done! Initializing Exploration... Generating landmarks using the RPG/SAS+ approach approx. reasonable orders approx. obedient reasonable orders Removed 0 reasonable or obedient reasonable orders Landmarks generation time: 0.000225227s Discovered 3 landmarks, of which 0 are disjunctive and 0 are conjunctive 1 edges Initializing landmarks count heuristic... 2 initial landmarks, 2 goal landmarks Initializing Exploration... Generating landmarks using the RPG/SAS+ approach approx. reasonable orders approx. obedient reasonable orders Removed 0 reasonable or obedient reasonable orders Landmarks generation time: 0.00020813s Discovered 3 landmarks, of which 0 are disjunctive and 0 are conjunctive 1 edges Initializing landmarks count heuristic... 2 initial landmarks, 2 goal landmarks Starting search: lazy_greedy(list(hrb, hlm1), preferred = list(hrb, hlm1), cost_type = 1, reopen_closed = false) Conducting lazy best first search, (real) bound = 2147483647 Initializing Red-Black Relaxation heuristic... Running A* instead of Dijkstra. Using the distances ignoring outside conditions for heuristic estimates. Preferred operators (if used) are set from relaxed plan Conflict costs are estimated Initializing FF heuristic... Initializing additive heuristic... Simplifying 314 unary operators... done! [314 unary operators] Initializing extended DTGs Adding 78 operators to extended DTGs Checking invertibility... Done checking invertibility Checking connectivity... Done checking connectivity Total number of invertible variables is 3 Invertible variables connection status: 1 Invertible variables without leafs connection status: 1 Setting black variables... Variables order is set --------------------------------------------------------------------------------------- Total number of black variables is 2 Total number of black root variables is 0 Total number of variables is 21 Total number of variables with all pairs of values connected is 0 Total number of variables with all values connected to goal is 0 Total number of black variables with strongly connected parents only is 0 Maximal number of side effects for black variable is 4 --------------------------------------------------------------------------------------- Black DAG usage status: 0 Counting red preconditions.. Keeping achieving operators for red facts.. Initializing black variables... Adding edges to forward graph, for the later calculation of missing values Precalculating all pair shortest paths Finished initializing Red-Black Relaxation heuristic at time step [t=0s] Best heuristic value: 9/1 [g=0, 1 evaluated, 0 expanded, t=0s] Best heuristic value: 8/1 [g=1, 2 evaluated, 1 expanded, t=0s] Best heuristic value: 7/1 [g=2, 3 evaluated, 2 expanded, t=0s] Best heuristic value: 6/1 [g=3, 4 evaluated, 3 expanded, t=0s] Best heuristic value: 5/1 [g=4, 5 evaluated, 4 expanded, t=0s] Best heuristic value: 4/1 [g=5, 6 evaluated, 5 expanded, t=0s] Best heuristic value: 3/1 [g=31, 49 evaluated, 43 expanded, t=0s] Cost to: 9, cost from: 1 the total is: 10 Solution found! Actual search time: 0s [t=0s] move player-01 pos-6-4 pos-6-3 dir-up (0) move player-01 pos-6-3 pos-6-2 dir-up (0) move player-01 pos-6-2 pos-5-2 dir-left (0) move player-01 pos-5-2 pos-4-2 dir-left (0) move player-01 pos-4-2 pos-3-2 dir-left (0) move player-01 pos-3-2 pos-2-2 dir-left (0) move player-01 pos-2-2 pos-2-3 dir-down (0) move player-01 pos-2-3 pos-2-4 dir-down (0) move player-01 pos-2-4 pos-2-5 dir-down (0) move player-01 pos-2-5 pos-3-5 dir-right (0) move player-01 pos-3-5 pos-4-5 dir-right (0) push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up (1) move player-01 pos-4-4 pos-3-4 dir-left (0) move player-01 pos-3-4 pos-2-4 dir-left (0) move player-01 pos-2-4 pos-2-3 dir-up (0) move player-01 pos-2-3 pos-2-2 dir-up (0) move player-01 pos-2-2 pos-3-2 dir-right (0) move player-01 pos-3-2 pos-4-2 dir-right (0) move player-01 pos-4-2 pos-5-2 dir-right (0) move player-01 pos-5-2 pos-6-2 dir-right (0) move player-01 pos-6-2 pos-6-3 dir-down (0) move player-01 pos-6-3 pos-6-4 dir-down (0) push-to-nongoal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left (1) push-to-nongoal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left (1) push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left (1) move player-01 pos-3-4 pos-4-4 dir-right (0) move player-01 pos-4-4 pos-5-4 dir-right (0) move player-01 pos-5-4 pos-6-4 dir-right (0) move player-01 pos-6-4 pos-6-3 dir-up (0) move player-01 pos-6-3 pos-6-2 dir-up (0) move player-01 pos-6-2 pos-5-2 dir-left (0) move player-01 pos-5-2 pos-4-2 dir-left (0) push-to-nongoal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down (1) move player-01 pos-4-3 pos-4-2 dir-up (0) move player-01 pos-4-2 pos-5-2 dir-right (0) move player-01 pos-5-2 pos-6-2 dir-right (0) move player-01 pos-6-2 pos-6-3 dir-down (0) move player-01 pos-6-3 pos-6-4 dir-down (0) move player-01 pos-6-4 pos-5-4 dir-left (0) push-to-nongoal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left (1) move player-01 pos-4-4 pos-4-5 dir-down (0) move player-01 pos-4-5 pos-3-5 dir-left (0) move player-01 pos-3-5 pos-2-5 dir-left (0) push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up (1) push-to-nongoal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right (1) push-to-goal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right (1) move player-01 pos-4-4 pos-4-3 dir-up (0) move player-01 pos-4-3 pos-4-2 dir-up (0) move player-01 pos-4-2 pos-3-2 dir-left (0) move player-01 pos-3-2 pos-2-2 dir-left (0) push-to-goal player-01 stone-02 pos-2-2 pos-2-3 pos-2-4 dir-down (1) Plan length: 51 step(s). Plan cost: 10 Initial state h value: 9/1. Expanded 93 state(s). Reopened 0 state(s). Evaluated 106 state(s). Evaluations: 212 Generated 215 state(s). Dead ends: 12 state(s). Best solution cost so far: 10 Solution found - keep searching Starting search: lazy_greedy(list(hrb, hlm2), preferred = list(hrb, hlm2), reopen_closed = false) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 9/2 [g=0, 1 evaluated, 0 expanded, t=0s] Best heuristic value: 8/2 [g=0, 2 evaluated, 1 expanded, t=0s] Best heuristic value: 7/2 [g=0, 3 evaluated, 2 expanded, t=0s] Best heuristic value: 6/2 [g=0, 4 evaluated, 3 expanded, t=0s] Best heuristic value: 5/2 [g=0, 5 evaluated, 4 expanded, t=0s] Best heuristic value: 4/2 [g=0, 6 evaluated, 5 expanded, t=0s] Best heuristic value: 3/2 [g=4, 49 evaluated, 43 expanded, t=0s] Best heuristic value: 3/1 [g=9, 106 evaluated, 93 expanded, t=0s] Best heuristic value: 2/1 [g=9, 109 evaluated, 96 expanded, t=0s] Best heuristic value: 1/1 [g=9, 110 evaluated, 97 expanded, t=0s] Completely explored state space -- no solution! Actual search time: 0s [t=0s] Initial state h value: 9/2. Expanded 164 state(s). Reopened 0 state(s). Evaluated 180 state(s). Evaluations: 360 Generated 369 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hrb, hlm2), preferred = list(hrb, hlm2), w = 5) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 9/2 [g=0, 1 evaluated, 0 expanded, t=0s] Best heuristic value: 8/2 [g=0, 2 evaluated, 1 expanded, t=0s] Best heuristic value: 7/2 [g=0, 3 evaluated, 2 expanded, t=0s] Best heuristic value: 6/2 [g=0, 4 evaluated, 3 expanded, t=0s] Best heuristic value: 5/2 [g=0, 5 evaluated, 4 expanded, t=0s] Best heuristic value: 4/2 [g=0, 6 evaluated, 5 expanded, t=0s] Best heuristic value: 3/2 [g=4, 49 evaluated, 43 expanded, t=0s] Best heuristic value: 3/1 [g=9, 106 evaluated, 93 expanded, t=0.02s] Best heuristic value: 2/1 [g=9, 109 evaluated, 96 expanded, t=0.02s] Best heuristic value: 1/1 [g=9, 110 evaluated, 97 expanded, t=0.02s] Completely explored state space -- no solution! Actual search time: 0.02s [t=0.02s] Initial state h value: 9/2. Expanded 177 state(s). Reopened 13 state(s). Evaluated 193 state(s). Evaluations: 386 Generated 397 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hrb, hlm2), preferred = list(hrb, hlm2), w = 3) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 9/2 [g=0, 1 evaluated, 0 expanded, t=0.02s] Best heuristic value: 8/2 [g=0, 2 evaluated, 1 expanded, t=0.02s] Best heuristic value: 7/2 [g=0, 3 evaluated, 2 expanded, t=0.02s] Best heuristic value: 6/2 [g=0, 4 evaluated, 3 expanded, t=0.02s] Best heuristic value: 5/2 [g=0, 5 evaluated, 4 expanded, t=0.02s] Best heuristic value: 4/2 [g=0, 6 evaluated, 5 expanded, t=0.02s] Best heuristic value: 3/2 [g=4, 49 evaluated, 43 expanded, t=0.02s] Best heuristic value: 3/1 [g=9, 106 evaluated, 93 expanded, t=0.02s] Best heuristic value: 2/1 [g=9, 109 evaluated, 96 expanded, t=0.02s] Best heuristic value: 1/1 [g=9, 110 evaluated, 97 expanded, t=0.02s] Completely explored state space -- no solution! Actual search time: 0s [t=0.02s] Initial state h value: 9/2. Expanded 175 state(s). Reopened 11 state(s). Evaluated 191 state(s). Evaluations: 382 Generated 394 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hrb, hlm2), preferred = list(hrb, hlm2), w = 2) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 9/2 [g=0, 1 evaluated, 0 expanded, t=0.02s] Best heuristic value: 8/2 [g=0, 2 evaluated, 1 expanded, t=0.02s] Best heuristic value: 7/2 [g=0, 3 evaluated, 2 expanded, t=0.02s] Best heuristic value: 6/2 [g=0, 4 evaluated, 3 expanded, t=0.02s] Best heuristic value: 5/2 [g=0, 5 evaluated, 4 expanded, t=0.02s] Best heuristic value: 4/2 [g=0, 6 evaluated, 5 expanded, t=0.02s] Best heuristic value: 3/2 [g=4, 49 evaluated, 43 expanded, t=0.02s] Best heuristic value: 3/1 [g=9, 119 evaluated, 106 expanded, 11 reopened, t=0.02s] Best heuristic value: 2/1 [g=9, 122 evaluated, 109 expanded, 11 reopened, t=0.02s] Best heuristic value: 1/1 [g=9, 123 evaluated, 110 expanded, 11 reopened, t=0.02s] Completely explored state space -- no solution! Actual search time: 0s [t=0.02s] Initial state h value: 9/2. Expanded 175 state(s). Reopened 11 state(s). Evaluated 191 state(s). Evaluations: 382 Generated 394 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hrb, hlm2), preferred = list(hrb, hlm2), w = 1) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 9/2 [g=0, 1 evaluated, 0 expanded, t=0.02s] Best heuristic value: 8/2 [g=0, 2 evaluated, 1 expanded, t=0.02s] Best heuristic value: 7/2 [g=0, 3 evaluated, 2 expanded, t=0.02s] Best heuristic value: 6/2 [g=0, 4 evaluated, 3 expanded, t=0.02s] Best heuristic value: 5/2 [g=0, 5 evaluated, 4 expanded, t=0.02s] Best heuristic value: 4/2 [g=0, 6 evaluated, 5 expanded, t=0.02s] Best heuristic value: 3/2 [g=4, 62 evaluated, 56 expanded, t=0.04s] Best heuristic value: 3/1 [g=9, 115 evaluated, 102 expanded, t=0.04s] Best heuristic value: 2/1 [g=9, 118 evaluated, 105 expanded, t=0.04s] Best heuristic value: 1/1 [g=9, 119 evaluated, 106 expanded, t=0.04s] Completely explored state space -- no solution! Actual search time: 0.02s [t=0.04s] Initial state h value: 9/2. Expanded 164 state(s). Reopened 0 state(s). Evaluated 180 state(s). Evaluations: 360 Generated 369 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Actual search time: 0.04s [t=0.04s] Cumulative statistics: Expanded 948 state(s). Reopened 35 state(s). Evaluated 1041 state(s). Evaluations: 2082 Generated 2138 state(s). Dead ends: 0 state(s). Search time: 0.04s Total time: 0.04s Solution found. Peak memory: 3864 KB --- OK. Match tree built with 78 nodes. PDDL problem description loaded: Domain: SOKOBAN-SEQUENTIAL Problem: P014-MICROBAN-SEQUENTIAL #Actions: 78 #Fluents: 62 Landmarks found: 2 Starting search with BFS(novel,land,h_add)... --[4294967295 / 16]-- --[1 / 16]-- --[1 / 13]-- --[1 / 11]-- --[1 / 9]-- --[1 / 7]-- --[1 / 5]-- --[1 / 3]-- --[1 / 2]-- --[1 / 1]-- --[1 / 0]-- --[0 / 0]-- Total time: 0.008 Nodes generated during search: 302 Nodes expanded during search: 141 Plan found with cost: 51 BFS search completed in 0.008 secs h: /planner/src/bfs-f/plan TimeOut: 360 *** **************************************************** Name: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result New best plan cost found: 10 Run command: mv /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result sas_plan.1 Planner /planner/src/bfs-f/plan run 5 seconds **************************************************** *** Planner_path: /planner/src/probe/plan TimeOut: 360 *** **************************************************** Name: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 ERROR: El plan /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 is worse (10) than the previous plan generated (10), therefore we remove it Planner /planner/src/probe/plan run 40 seconds **************************************************** *** Planner_path: /planner/src/mercury/plan TimeOut: 360 *** **************************************************** Name: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 ERROR: El plan /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 is worse (10) than the previous plan generated (10), therefore we remove it Planner /planner/src/mercury/plan run 5 seconds **************************************************** *** Planner_path: /planner/src/jasper/plan TimeOut: 360 *** **************************************************** Planner /planner/src/jasper/plan run 5 seconds **************************************************** *** Planner_path: /planner/src/fdss-2/plan TimeOut: 360 *** **************************************************** Name: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 ERROR: El plan /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 is worse (10) than the previous plan generated (10), therefore we remove it Planner /planner/src/fdss-2/plan run 5 seconds Main portfolio runs 65.0 seconds jasper 1735 mercury 1735 bfs-f 1735 siw 1735 Original_Domain: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain.pddl Original_Problem: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem.pddl Modified_Domain: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain_ready.txt Modified_Problem: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem_ready.txt Original_Plan_file: sas_plan Plans folder: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z **************************************************** *** Planner_path: /planner/src/jasper/plan TimeOut: 1735 *** **************************************************** Planner /planner/src/jasper/plan run 5 seconds **************************************************** *** Planner_path: /planner/src/mercury/plan TimeOut: 1735 *** **************************************************** Name: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 ERROR: El plan /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 is worse (10) than the previous plan generated (10), therefore we remove it Planner /planner/src/mercury/plan run 5 seconds **************************************************** *** Planner_path: /planner/src/bfs-f/plan TimeOut: 1735 *** **************************************************** Name: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result ERROR: El plan /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result --- OK. Match tree built with 78 nodes. PDDL problem description loaded: Domain: SOKOBAN-SEQUENTIAL Problem: P014-MICROBAN-SEQUENTIAL #Actions: 78 #Fluents: 62 Landmarks found: 2 Starting search with IW (time budget is 60 secs)... Try allocate size: 0.000484375 MB Try allocate size: 0.000484375 MB Caption {#goals, #UNnachieved, #Achieved} -> IW(max_w) {2/2/0}:IW(1) -> [2][3][4][5][6][7][8][9][10]Try allocate size: 0.0300313 MB {2/2/0}:IW(2) -> [2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][20][21][22][23][24][25][26]Try allocate size: 0.000484375 MB {2/1/1}:IW(1) -> [2][3][4][5][6][7][8][9][10]Try allocate size: 0.0300313 MB {2/1/1}:IW(2) -> [2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][20][21][22][23][24][25][26][27][28][29][30][31]Try allocate size: 1.86194 MB {2/1/1}:IW(3) -> [2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][20][21][22][23][24][25][26][27]Try allocate size: 0.000484375 MB Plan found with cost: 51 Total time: 0.016 Nodes generated during search: 887 Nodes expanded during search: 842 IW search completed in 0.016 secs /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/output.sas Skip the translate Skip the preprocess 3. Running search Dispatcher selected state size 1. This is a nonunit task. Simplifying transitions... done! Initializing Exploration... Generating landmarks using the RPG/SAS+ approach approx. reasonable orders approx. obedient reasonable orders Removed 0 reasonable or obedient reasonable orders Landmarks generation time: 0.00022648s Discovered 3 landmarks, of which 0 are disjunctive and 0 are conjunctive 1 edges Initializing LAMA-FF Synergy Object Initializing landmarks count heuristic... 2 initial landmarks, 2 goal landmarks Initializing Exploration... Generating landmarks using the RPG/SAS+ approach approx. reasonable orders approx. obedient reasonable orders Removed 0 reasonable or obedient reasonable orders Landmarks generation time: 0.000197782s Discovered 3 landmarks, of which 0 are disjunctive and 0 are conjunctive 1 edges Initializing LAMA-FF Synergy Object Initializing landmarks count heuristic... 2 initial landmarks, 2 goal landmarks Starting search: lazy_greedy(list(hff1, hlm1), preferred = list(hff1, hlm1), cost_type = 1, reopen_closed = false) Conducting lazy best first search, (real) bound = 2147483647 Best heuristic value: 1/9 [g=0, 1 evaluated, 0 expanded, t=0s] Best heuristic value: 1/8 [g=1, 2 evaluated, 1 expanded, t=0s] Best heuristic value: 1/7 [g=2, 3 evaluated, 2 expanded, t=0s] Best heuristic value: 1/6 [g=3, 4 evaluated, 3 expanded, t=0s] Best heuristic value: 1/5 [g=4, 5 evaluated, 4 expanded, t=0s] Best heuristic value: 1/4 [g=5, 6 evaluated, 5 expanded, t=0s] Best heuristic value: 1/3 [g=31, 49 evaluated, 43 expanded, t=0s] Best heuristic value: 1/2 [g=49, 99 evaluated, 86 expanded, t=0s] Best heuristic value: 1/1 [g=50, 100 evaluated, 87 expanded, t=0s] Solution found! Actual search time: 0s [t=0s] move player-01 pos-6-4 pos-6-3 dir-up (0) move player-01 pos-6-3 pos-6-2 dir-up (0) move player-01 pos-6-2 pos-5-2 dir-left (0) move player-01 pos-5-2 pos-4-2 dir-left (0) move player-01 pos-4-2 pos-3-2 dir-left (0) move player-01 pos-3-2 pos-2-2 dir-left (0) move player-01 pos-2-2 pos-2-3 dir-down (0) move player-01 pos-2-3 pos-2-4 dir-down (0) move player-01 pos-2-4 pos-2-5 dir-down (0) move player-01 pos-2-5 pos-3-5 dir-right (0) move player-01 pos-3-5 pos-4-5 dir-right (0) push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up (1) move player-01 pos-4-4 pos-3-4 dir-left (0) move player-01 pos-3-4 pos-2-4 dir-left (0) move player-01 pos-2-4 pos-2-3 dir-up (0) move player-01 pos-2-3 pos-2-2 dir-up (0) move player-01 pos-2-2 pos-3-2 dir-right (0) move player-01 pos-3-2 pos-4-2 dir-right (0) move player-01 pos-4-2 pos-5-2 dir-right (0) move player-01 pos-5-2 pos-6-2 dir-right (0) move player-01 pos-6-2 pos-6-3 dir-down (0) move player-01 pos-6-3 pos-6-4 dir-down (0) push-to-nongoal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left (1) push-to-nongoal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left (1) push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left (1) move player-01 pos-3-4 pos-4-4 dir-right (0) move player-01 pos-4-4 pos-5-4 dir-right (0) move player-01 pos-5-4 pos-6-4 dir-right (0) move player-01 pos-6-4 pos-6-3 dir-up (0) move player-01 pos-6-3 pos-6-2 dir-up (0) move player-01 pos-6-2 pos-5-2 dir-left (0) move player-01 pos-5-2 pos-4-2 dir-left (0) push-to-nongoal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down (1) move player-01 pos-4-3 pos-4-2 dir-up (0) move player-01 pos-4-2 pos-5-2 dir-right (0) move player-01 pos-5-2 pos-6-2 dir-right (0) move player-01 pos-6-2 pos-6-3 dir-down (0) move player-01 pos-6-3 pos-6-4 dir-down (0) move player-01 pos-6-4 pos-5-4 dir-left (0) push-to-nongoal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left (1) move player-01 pos-4-4 pos-4-5 dir-down (0) move player-01 pos-4-5 pos-3-5 dir-left (0) move player-01 pos-3-5 pos-2-5 dir-left (0) push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up (1) push-to-nongoal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right (1) push-to-goal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right (1) move player-01 pos-4-4 pos-4-3 dir-up (0) move player-01 pos-4-3 pos-4-2 dir-up (0) move player-01 pos-4-2 pos-3-2 dir-left (0) move player-01 pos-3-2 pos-2-2 dir-left (0) push-to-goal player-01 stone-02 pos-2-2 pos-2-3 pos-2-4 dir-down (1) Plan length: 51 step(s). Plan cost: 10 Initial state h value: 1/9. Expanded 88 state(s). Reopened 0 state(s). Evaluated 101 state(s). Evaluations: 202 Generated 206 state(s). Dead ends: 12 state(s). Best solution cost so far: 10 Solution found - keep searching Starting search: lazy_greedy(list(hff2, hlm2), preferred = list(hff2, hlm2), reopen_closed = false) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 2/13 [g=0, 1 evaluated, 0 expanded, t=0s] Best heuristic value: 2/12 [g=0, 2 evaluated, 1 expanded, t=0s] Best heuristic value: 2/11 [g=0, 3 evaluated, 2 expanded, t=0s] Best heuristic value: 2/10 [g=0, 4 evaluated, 3 expanded, t=0s] Best heuristic value: 2/9 [g=0, 5 evaluated, 4 expanded, t=0s] Best heuristic value: 2/8 [g=0, 6 evaluated, 5 expanded, t=0s] Best heuristic value: 2/7 [g=4, 54 evaluated, 48 expanded, t=0s] Best heuristic value: 2/6 [g=4, 55 evaluated, 49 expanded, t=0s] Best heuristic value: 2/5 [g=5, 56 evaluated, 50 expanded, t=0s] Best heuristic value: 1/5 [g=9, 82 evaluated, 72 expanded, t=0s] Best heuristic value: 1/4 [g=9, 84 evaluated, 74 expanded, t=0s] Best heuristic value: 1/3 [g=9, 85 evaluated, 75 expanded, t=0s] Best heuristic value: 1/2 [g=9, 86 evaluated, 76 expanded, t=0s] Completely explored state space -- no solution! Actual search time: 0s [t=0s] Initial state h value: 2/13. Expanded 164 state(s). Reopened 0 state(s). Evaluated 180 state(s). Evaluations: 360 Generated 369 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hff2, hlm2), preferred = list(hff2, hlm2), w = 5) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 2/13 [g=0, 1 evaluated, 0 expanded, t=0s] Best heuristic value: 2/12 [g=0, 2 evaluated, 1 expanded, t=0s] Best heuristic value: 2/11 [g=0, 3 evaluated, 2 expanded, t=0s] Best heuristic value: 2/10 [g=0, 4 evaluated, 3 expanded, t=0s] Best heuristic value: 2/9 [g=0, 5 evaluated, 4 expanded, t=0s] Best heuristic value: 2/8 [g=0, 6 evaluated, 5 expanded, t=0s] Best heuristic value: 2/7 [g=4, 54 evaluated, 48 expanded, t=0.02s] Best heuristic value: 2/6 [g=4, 55 evaluated, 49 expanded, t=0.02s] Best heuristic value: 2/5 [g=5, 56 evaluated, 50 expanded, t=0.02s] Best heuristic value: 1/5 [g=9, 84 evaluated, 74 expanded, t=0.02s] Best heuristic value: 1/4 [g=9, 86 evaluated, 76 expanded, t=0.02s] Best heuristic value: 1/3 [g=9, 87 evaluated, 77 expanded, t=0.02s] Best heuristic value: 1/2 [g=9, 88 evaluated, 78 expanded, t=0.02s] Completely explored state space -- no solution! Actual search time: 0.02s [t=0.02s] Initial state h value: 2/13. Expanded 169 state(s). Reopened 5 state(s). Evaluated 185 state(s). Evaluations: 370 Generated 380 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hff2, hlm2), preferred = list(hff2, hlm2), w = 3) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 2/13 [g=0, 1 evaluated, 0 expanded, t=0.02s] Best heuristic value: 2/12 [g=0, 2 evaluated, 1 expanded, t=0.02s] Best heuristic value: 2/11 [g=0, 3 evaluated, 2 expanded, t=0.02s] Best heuristic value: 2/10 [g=0, 4 evaluated, 3 expanded, t=0.02s] Best heuristic value: 2/9 [g=0, 5 evaluated, 4 expanded, t=0.02s] Best heuristic value: 2/8 [g=0, 6 evaluated, 5 expanded, t=0.02s] Best heuristic value: 2/7 [g=4, 54 evaluated, 48 expanded, t=0.02s] Best heuristic value: 2/6 [g=4, 55 evaluated, 49 expanded, t=0.02s] Best heuristic value: 2/5 [g=5, 56 evaluated, 50 expanded, t=0.02s] Best heuristic value: 1/5 [g=9, 84 evaluated, 74 expanded, t=0.02s] Best heuristic value: 1/4 [g=9, 86 evaluated, 76 expanded, t=0.02s] Best heuristic value: 1/3 [g=9, 87 evaluated, 77 expanded, t=0.02s] Best heuristic value: 1/2 [g=9, 88 evaluated, 78 expanded, t=0.02s] Completely explored state space -- no solution! Actual search time: 0s [t=0.02s] Initial state h value: 2/13. Expanded 169 state(s). Reopened 5 state(s). Evaluated 185 state(s). Evaluations: 370 Generated 380 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hff2, hlm2), preferred = list(hff2, hlm2), w = 2) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 2/13 [g=0, 1 evaluated, 0 expanded, t=0.02s] Best heuristic value: 2/12 [g=0, 2 evaluated, 1 expanded, t=0.02s] Best heuristic value: 2/11 [g=0, 3 evaluated, 2 expanded, t=0.02s] Best heuristic value: 2/10 [g=0, 4 evaluated, 3 expanded, t=0.02s] Best heuristic value: 2/9 [g=0, 5 evaluated, 4 expanded, t=0.02s] Best heuristic value: 2/8 [g=0, 6 evaluated, 5 expanded, t=0.02s] Best heuristic value: 2/7 [g=4, 54 evaluated, 48 expanded, t=0.02s] Best heuristic value: 2/6 [g=4, 55 evaluated, 49 expanded, t=0.02s] Best heuristic value: 2/5 [g=5, 56 evaluated, 50 expanded, t=0.02s] Best heuristic value: 1/5 [g=9, 84 evaluated, 74 expanded, t=0.02s] Best heuristic value: 1/4 [g=9, 86 evaluated, 76 expanded, t=0.02s] Best heuristic value: 1/3 [g=9, 87 evaluated, 77 expanded, t=0.02s] Best heuristic value: 1/2 [g=9, 88 evaluated, 78 expanded, t=0.02s] Completely explored state space -- no solution! Actual search time: 0s [t=0.02s] Initial state h value: 2/13. Expanded 169 state(s). Reopened 5 state(s). Evaluated 185 state(s). Evaluations: 370 Generated 380 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Starting search: lazy_wastar(list(hff2, hlm2), preferred = list(hff2, hlm2), w = 1) Conducting lazy best first search, (real) bound = 10 Best heuristic value: 2/13 [g=0, 1 evaluated, 0 expanded, t=0.02s] Best heuristic value: 2/12 [g=0, 2 evaluated, 1 expanded, t=0.02s] Best heuristic value: 2/11 [g=0, 3 evaluated, 2 expanded, t=0.02s] Best heuristic value: 2/10 [g=0, 4 evaluated, 3 expanded, t=0.02s] Best heuristic value: 2/9 [g=0, 5 evaluated, 4 expanded, t=0.02s] Best heuristic value: 2/8 [g=0, 6 evaluated, 5 expanded, t=0.02s] Best heuristic value: 2/7 [g=3, 57 evaluated, 51 expanded, t=0.02s] Best heuristic value: 2/6 [g=4, 58 evaluated, 52 expanded, t=0.02s] Best heuristic value: 2/5 [g=5, 74 evaluated, 67 expanded, t=0.02s] Best heuristic value: 1/5 [g=9, 111 evaluated, 98 expanded, t=0.02s] Best heuristic value: 1/4 [g=9, 113 evaluated, 100 expanded, t=0.02s] Best heuristic value: 1/3 [g=9, 114 evaluated, 101 expanded, t=0.02s] Best heuristic value: 1/2 [g=9, 115 evaluated, 102 expanded, t=0.02s] Completely explored state space -- no solution! Actual search time: 0.02s [t=0.04s] Initial state h value: 2/13. Expanded 165 state(s). Reopened 1 state(s). Evaluated 181 state(s). Evaluations: 362 Generated 371 state(s). Dead ends: 16 state(s). Best solution cost so far: 10 No solution found - keep searching Actual search time: 0.04s [t=0.04s] Cumulative statistics: Expanded 924 state(s). Reopened 16 state(s). Evaluated 1017 state(s). Evaluations: 2034 Generated 2086 state(s). Dead ends: 0 state(s). Search time: 0.04s Total time: 0.04s Solution found. Peak memory: 4212 KB 1. Running translator Parsing... [0.010s CPU, 0.003s wall-clock] Instantiating... Normalizing task... [0.000s CPU, 0.000s wall-clock] Generating Datalog program... [0.000s CPU, 0.001s wall-clock] Normalizing Datalog program... Normalizing Datalog program: [0.010s CPU, 0.004s wall-clock] Preparing model... [0.000s CPU, 0.001s wall-clock] Generated 38 rules. Computing model... [0.010s CPU, 0.016s wall-clock] 375 relevant atoms 528 auxiliary atoms 903 final queue length 1060 total queue pushes Completing instantiation... [0.010s CPU, 0.007s wall-clock] Instantiating: [0.030s CPU, 0.030s wall-clock] Computing fact groups... Finding invariants... 7 initial candidates [0.000s CPU, 0.001s wall-clock] Checking invariant weight... [0.000s CPU, 0.000s wall-clock] Instantiating groups... [0.010s CPU, 0.002s wall-clock] Collecting mutex groups... [0.000s CPU, 0.000s wall-clock] Choosing groups... 20 uncovered facts Choosing groups: [0.000s CPU, 0.000s wall-clock] Building translation key... [0.000s CPU, 0.000s wall-clock] Computing fact groups: [0.010s CPU, 0.004s wall-clock] Building STRIPS to SAS dictionary... [0.000s CPU, 0.000s wall-clock] Building dictionary for full mutex groups... [0.000s CPU, 0.000s wall-clock] Translating task... Processing axioms... Simplifying axioms... [0.000s CPU, 0.000s wall-clock] Processing axioms: [0.000s CPU, 0.000s wall-clock] Translating task: [0.000s CPU, 0.004s wall-clock] 0 implied effects removed 34 effect conditions simplified 0 implied preconditions added Building mutex information... [0.000s CPU, 0.000s wall-clock] Detecting unreachable propositions... 0 operators removed 7 propositions removed Detecting unreachable propositions: [0.000s CPU, 0.001s wall-clock] Writing translation key... [0.000s CPU, 0.000s wall-clock] Writing mutex key... [0.000s CPU, 0.001s wall-clock] Writing output... [0.000s CPU, 0.001s wall-clock] Done! [0.050s CPU, 0.045s wall-clock] 2. Running preprocessor Building causal graph... The causal graph is not acyclic. 21 variables of 21 necessary 78 of 78 operators necessary. 0 of 0 axiom rules necessary. Building domain transition graphs... solveable in poly time 0 Building successor generator... Writing output... done 3. Running search Simplifying transitions... done! Initializing HSP/FF heuristic... Reading invariants from file... done Generating landmarks using the RPG/SAS+ approach approx. reasonable orders approx. obedient reasonable orders Removed 0 reasonable or obedient reasonable orders Generated 3 landmarks, of which 0 are disjunctive 1 edges 2 initial landmarks, 2 goal landmarks Landmarks generation time: 0 seconds Randomizing search (where applicable), with seed: 2011 Search iteration 1 Using the following heuristic(s): FF heuristic with preferred operators Landmark heuristic with preferred operators Initializing HSP/FF heuristic... Initializing landmarks count heuristic... Conducting best first search. Best heuristic value: 2/15 [expanded 1 state(s)] Best heuristic value: 2/12 [expanded 2 state(s)] Best heuristic value: 2/11 [expanded 3 state(s)] Best heuristic value: 2/10 [expanded 4 state(s)] Best heuristic value: 2/9 [expanded 5 state(s)] Best heuristic value: 2/8 [expanded 6 state(s)] Best heuristic value: 2/7 [expanded 52 state(s)] Best heuristic value: 2/6 [expanded 53 state(s)] Best heuristic value: 2/5 [expanded 54 state(s)] Best heuristic value: 1/5 [expanded 77 state(s)] Best heuristic value: 1/4 [expanded 79 state(s)] Best heuristic value: 1/3 [expanded 80 state(s)] Best heuristic value: 1/2 [expanded 81 state(s)] Solution found! move player-01 pos-6-4 pos-6-3 dir-up (0) move player-01 pos-6-3 pos-6-2 dir-up (0) move player-01 pos-6-2 pos-5-2 dir-left (0) move player-01 pos-5-2 pos-4-2 dir-left (0) move player-01 pos-4-2 pos-3-2 dir-left (0) move player-01 pos-3-2 pos-2-2 dir-left (0) move player-01 pos-2-2 pos-2-3 dir-down (0) move player-01 pos-2-3 pos-2-4 dir-down (0) move player-01 pos-2-4 pos-2-5 dir-down (0) move player-01 pos-2-5 pos-3-5 dir-right (0) move player-01 pos-3-5 pos-4-5 dir-right (0) push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up (1) move player-01 pos-4-4 pos-3-4 dir-left (0) move player-01 pos-3-4 pos-2-4 dir-left (0) move player-01 pos-2-4 pos-2-3 dir-up (0) move player-01 pos-2-3 pos-2-2 dir-up (0) move player-01 pos-2-2 pos-3-2 dir-right (0) move player-01 pos-3-2 pos-4-2 dir-right (0) move player-01 pos-4-2 pos-5-2 dir-right (0) move player-01 pos-5-2 pos-6-2 dir-right (0) move player-01 pos-6-2 pos-6-3 dir-down (0) move player-01 pos-6-3 pos-6-4 dir-down (0) push-to-nongoal player-01 stone-02 pos-6-4 pos-5-4 pos-4-4 dir-left (1) push-to-nongoal player-01 stone-02 pos-5-4 pos-4-4 pos-3-4 dir-left (1) push-to-goal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left (1) move player-01 pos-3-4 pos-4-4 dir-right (0) move player-01 pos-4-4 pos-5-4 dir-right (0) move player-01 pos-5-4 pos-6-4 dir-right (0) move player-01 pos-6-4 pos-6-3 dir-up (0) move player-01 pos-6-3 pos-6-2 dir-up (0) move player-01 pos-6-2 pos-5-2 dir-left (0) move player-01 pos-5-2 pos-4-2 dir-left (0) push-to-nongoal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down (1) move player-01 pos-4-3 pos-4-2 dir-up (0) move player-01 pos-4-2 pos-5-2 dir-right (0) move player-01 pos-5-2 pos-6-2 dir-right (0) move player-01 pos-6-2 pos-6-3 dir-down (0) move player-01 pos-6-3 pos-6-4 dir-down (0) move player-01 pos-6-4 pos-5-4 dir-left (0) push-to-nongoal player-01 stone-01 pos-5-4 pos-4-4 pos-3-4 dir-left (1) move player-01 pos-4-4 pos-4-5 dir-down (0) move player-01 pos-4-5 pos-3-5 dir-left (0) move player-01 pos-3-5 pos-2-5 dir-left (0) push-to-nongoal player-01 stone-02 pos-2-5 pos-2-4 pos-2-3 dir-up (1) push-to-nongoal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right (1) push-to-goal player-01 stone-01 pos-3-4 pos-4-4 pos-5-4 dir-right (1) move player-01 pos-4-4 pos-4-3 dir-up (0) move player-01 pos-4-3 pos-4-2 dir-up (0) move player-01 pos-4-2 pos-3-2 dir-left (0) move player-01 pos-3-2 pos-2-2 dir-left (0) push-to-goal player-01 stone-02 pos-2-2 pos-2-3 pos-2-4 dir-down (1) Plan length: 51 step(s), cost: 10. Expanded 82 state(s). Generated 170 state(s). Search time: 0.01 seconds Total time: 0.01 seconds Search iteration 2 Using the following heuristic(s): FF heuristic with preferred operators Landmark heuristic with preferred operators Initializing landmarks count heuristic... Conducting weighted A* search, weight is 5, bound is 10. Best heuristic value: 2/13 [expanded 1 state(s)] Best heuristic value: 2/12 [expanded 2 state(s)] Best heuristic value: 2/10 [expanded 4 state(s)] Best heuristic value: 2/9 [expanded 5 state(s)] Best heuristic value: 2/8 [expanded 6 state(s)] Best heuristic value: 2/7 [expanded 47 state(s)] Best heuristic value: 2/5 [expanded 48 state(s)] Best heuristic value: 1/5 [expanded 105 state(s)] Best heuristic value: 1/4 [expanded 112 state(s)] Best heuristic value: 1/3 [expanded 113 state(s)] Best heuristic value: 1/2 [expanded 114 state(s)] Completely explored state space -- no solution! Expanded 180 state(s). Generated 392 state(s). Search time: 0.01 seconds Total time: 0.02 seconds 3. Running search MRW Param 0: Walk Type: MHA Heuristic: FD FF Step Type: STATE Extending Rate: 1.5 Length Walk: 10 Alpha: 0.9 Extending Period: 0.1 Walk Bias Temp: 10 Num Walks: 2000 Jump Length: 10 Max Steps: 7 Bounding Factor: 0.9 Deepening: true Tie-breaking: false Conservative Steps: false solution_bounding: g_prunning Length STDev: 0 MRW Param 1: Walk Type: MDA Heuristic: FD FF Step Type: STATE Extending Rate: 2 Length Walk: 1 Alpha: 0.9 Extending Period: 0.1 Walk Bias Temp: 0.5 Num Walks: 2000 Jump Length: 1 Max Steps: 7 Bounding Factor: 0.9 Deepening: true Tie-breaking: false Conservative Steps: false solution_bounding: g_prunning Length STDev: 0 MRW Param 2: Walk Type: MHA Heuristic: FD FF Step Type: STATE Extending Rate: 1.5 Length Walk: 1 Alpha: 0.9 Extending Period: 0.1 Walk Bias Temp: 10 Num Walks: 2000 Jump Length: 1 Max Steps: 7 Bounding Factor: 0.9 Deepening: true Tie-breaking: false Conservative Steps: false solution_bounding: g_prunning Length STDev: 0 Shared MRW Parameters: SMART Pool Size: 50 Activation Level: 50 Iterative search: true UCB Constant Value: 0.5 Use Aras: true regression graph: true Aras Memory Limit: 2000000 Aras Time Limit: NONE seed: 2011 Simplifying transitions... done! UCB Constant: 0.5 Initializing HSP/FF heuristic... Simplifying 314 unary operators... done! [314 unary operators] MRW ... Initial heuristic value from heuristic Plan Validated Total time: 34.47s cost: 10. build regression graph: true Initial plan size: 337 Initial plan cost: 10 After action elimination Plan size: 53 plan cost: 10 Plan Validated Plan Validated Step: 0 n: 1000 Plan_size: 55 Plan_cost: 10 Iteration_Time: 0.04s Total_Time: 34.51s Size: 1046 Number_goals: 14 Memory usage: 363 Plan Validated Step: 1 n: 2000 Plan_size: 55 Plan_cost: 10 Iteration_Time: 0.04s Total_Time: 34.55s Size: 1304 Number_goals: 14 Memory usage: 443 Plan Validated Step: 2 n: 4000 Plan_size: 55 Plan_cost: 10 Iteration_Time: 0.06s Total_Time: 34.61s Size: 1414 Number_goals: 14 Memory usage: 479 Plan Validated Step: 3 n: 8000 Plan_size: 55 Plan_cost: 10 Iteration_Time: 0.06s Total_Time: 34.67s Size: 1414 Number_goals: 14 Memory usage: 479 Neighborhood graph does not grow any more is worse (10) than the previous plan generated (10), therefore we remove it Planner /planner/src/bfs-f/plan run 5 seconds **************************************************** *** Planner_path: /planner/src/siw/plan TimeOut: 1735 *** **************************************************** Name: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result ERROR: El plan /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result is worse (10) than the previous plan generated (10), therefore we remove it Planner /planner/src/siw/plan run 5 seconds Main portfolio plus default planner run 85.0 seconds (in total) *** Planner List *** jasper 1715 mercury 1715 bfs-f 1715 Original_Domain: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain.pddl Original_Problem: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem.pddl Modified_Domain: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/domain_ready.txt Modified_Problem: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/problem_ready.txt Original_Plan_file: sas_plan Plans folder: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z **************************************************** *** Planner_path: /planner/src/lama-2011/plan TimeOut: 360 *** **************************************************** Name: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 ERROR: El plan /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 is worse (10) than the previous plan generated (10), therefore we remove it Planner /planner/src/lama-2011/plan run 5 seconds **************************************************** *** Planner_path: /planner/src/lamar/plan TimeOut: 360 *** **************************************************** Name: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 ERROR: El plan /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 is worse (10) than the previous plan generated (10), therefore we remove it Planner /planner/src/lamar/plan run 5 seconds **************************************************** *** Planner_path: /planner/src/arvand/plan TimeOut: 360 *** **************************************************** Name: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 ERROR: El plan /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/cleaned_result.result.1 is worse (10) than the previous plan generated (10), therefore we remove it Planner /planner/src/arvand/plan run 360 seconds Main portfolio runs 455.0 seconds -------------------- END -------------------- Checking plan: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/sas_plan.1 Plan executed successfully - checking goal Plan valid Final value: 10 Successful plans: Value: 10 /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp8xOz2z/sas_plan.1 10