INFO Running translator. INFO translator input: ['domain.pddl', 'problem.pddl'] INFO translator arguments: [] INFO translator time limit: 1799.9s INFO translator memory limit: 8192 MB INFO callstring: /usr/bin/python /planner/builds/release32/bin/translate/translate.py domain.pddl problem.pddl time limit 1799.90 -> (1800, 1801) Parsing... Parsing: [0.000s CPU, 0.006s 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... Duplicate arguments: Adding equality conditions. Normalizing Datalog program: [0.010s CPU, 0.011s wall-clock] Preparing model... [0.010s CPU, 0.004s wall-clock] Generated 203 rules. Computing model... [2.340s CPU, 2.344s wall-clock] 30035 relevant atoms 30401 auxiliary atoms 60436 final queue length 717297 total queue pushes Completing instantiation... [4.120s CPU, 4.131s wall-clock] Instantiating: [6.510s CPU, 6.502s wall-clock] Computing fact groups... Finding invariants... 6 initial candidates Finding invariants: [0.010s CPU, 0.015s wall-clock] Checking invariant weight... [0.000s CPU, 0.000s wall-clock] Instantiating groups... [0.000s CPU, 0.000s wall-clock] Collecting mutex groups... [0.000s CPU, 0.000s wall-clock] Choosing groups... 98 uncovered facts Choosing groups: [0.000s CPU, 0.000s wall-clock] Building translation key... [0.000s CPU, 0.001s wall-clock] Computing fact groups: [0.010s CPU, 0.016s 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.170s CPU, 0.170s wall-clock] Translating task: [3.860s CPU, 3.855s wall-clock] 104524 effect conditions simplified 0 implied preconditions added Detecting unreachable propositions... 0 operators removed 0 axioms removed 0 propositions removed Detecting unreachable propositions: [1.880s CPU, 1.880s wall-clock] Translator variables: 98 Translator derived variables: 0 Translator facts: 196 Translator goal facts: 10 Translator mutex groups: 0 Translator total mutex groups size: 0 Translator operators: 19883 Translator axioms: 0 Translator task size: 471552 Translator peak memory: 572972 KB Writing output... [0.550s CPU, 0.547s wall-clock] Done! [12.940s CPU, 12.934s wall-clock] INFO Running preprocessor (release32). INFO preprocessor input: output.sas INFO preprocessor arguments: [] INFO preprocessor time limit: 1786.87s INFO preprocessor memory limit: 8192 MB INFO callstring: /planner/builds/release32/bin/preprocess < output.sas time limit 1786.87 -> (1787, 1788) Building causal graph... The causal graph is not acyclic. 59 variables of 98 necessary 0 of 0 mutex groups necessary. 18323 of 19883 operators necessary. 0 of 0 axiom rules necessary. Initializing mutex computation... Mutex computation initialized with 118 fluents. iteration for mutex detection and operator pruning Initialize m_index fw Initialized mvalues forward: reached=3481, notReached=10325, spurious=118 Initialize m_ops fw Computing mutexes... Mutex computation finished with reached=13718, notReached=88, spurious=118 0 operators are spurious because were not triggered H^2 mutexes added fw: 88, unreachable: 0 0 of 18323 operators detected as spurious iteration for mutex detection and operator pruning Initialize m_index bw Init values regression Initialized mvalues backward: reached=7654, notReached=6064, spurious=206 Initialize m_ops bw Computing mutexes... Mutex computation finished with reached=13718, notReached=0, spurious=206 0 operators are spurious because were not triggered H^2 mutexes added bw: 0, unreachable: 0 0 of 18323 operators detected as spurious Total mutex and disambiguation time: 0.730923 iterations: 2 44 of 44 mutex groups necessary. 18323 of 18323 operators necessary. 0 of 0 axiom rules necessary. Change id of operators: 18323 Change id of mutexes Change id of goals Change id of initial state Remove unreachable facts from variables: 59 44 of 44 mutex groups necessary. 18323 of 18323 operators necessary. 0 of 0 axiom rules necessary. Updating causal graph and pruning unnecessary facts 59 variables of 59 of 98 necessary The causal graph is not acyclic. 59 variables of 59 necessary 44 of 44 mutex groups necessary. 18323 of 18323 operators necessary. 0 of 0 axiom rules necessary. Building domain transition graphs... solveable in poly time 0 Building successor generator... Preprocessor variables: 59 Preprocessor facts: 118 Preprocessor derived variables: 0 Preprocessor operators: 18323 Preprocessor mutex groups: 44 Preprocessor task size: 285867 Writing output... Preprocessor peak memory: 27688 KB done INFO Running search (release32). INFO search input: output INFO search arguments: ['--search', 'astar(cpdbs_symbolic(genetic_ss(use_ucb=true,num_episodes=10000000,num_collections=1,pdb_factory=symbolic,genetic_time_limit=900,time_limit=1.0,create_perimeter=true,use_first_goal_vars=false,use_norm_dist=true)))'] INFO search time limit: 1784.56s INFO search memory limit: 8192 MB INFO search executable: /planner/builds/release32/bin/downward INFO callstring: /planner/builds/release32/bin/downward --search 'astar(cpdbs_symbolic(genetic_ss(use_ucb=true,num_episodes=10000000,num_collections=1,pdb_factory=symbolic,genetic_time_limit=900,time_limit=1.0,create_perimeter=true,use_first_goal_vars=false,use_norm_dist=true)))' --internal-plan-file sas_plan < output time limit 1784.56 -> (1785, 1786) reading input... [t=0.0024045s] done reading input! [t=0.234317s] packing state variables...done! [t=0.234341s] Variables: 59 Facts: 118 Bytes per state: 8 Building successor generator...done! [t=0.274054s] done initalizing global data [t=0.274074s] parsing options parsing options building causal graph...done! [t=0.0285858s] Sym variable order: 42 39 37 32 40 33 1 3 20 9 10 7 12 2 14 15 13 5 18 24 29 21 6 23 8 11 25 27 28 4 30 22 17 16 19 26 35 38 36 51 50 53 52 58 56 55 54 49 57 41 31 34 44 45 46 48 47 0 43 Initializing Symbolic Variables Num variables: 59 => 59 Initialize Symbolic Manager(118, 135593, 16000000, 0) Generating binary variables Symbolic Variables... Done. hybrid_pdb_size:1 create_perimeter:1 initial pdb type:symbolic initial time_limit per pdb:1 reg_bin_pack_only:0 rel_analysis_only:0 single_pattern_only:0 use_ucb:1 size_selection:0 sampling_method:use_ss using normal distribution to choose size logs sampling method,SS:1,ipdb_walk:0,avg_h:0 recompute_max_additive_subsets is off after get_variables variables.size:59 i:0 i:1 i:2 i:3 i:4 i:5 i:6 i:7 i:8 i:9 i:10 i:11 i:12 i:13 i:14 i:15 i:16 i:17 i:18 i:19 i:20 i:21 i:22 i:23 i:24 i:25 i:26 i:27 i:28 i:29 i:30 i:31 i:32 i:33 i:34 i:35 i:36 i:37 i:38 i:39 i:40 i:41 i:42 i:43 i:44 i:45 i:46 i:47 i:48 i:49 i:50 i:51 i:52 i:53 i:54 i:55 i:56 i:57 i:58 Whole pattern:[ 0 1 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 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 ] overall_problem_size:5.76461e+17 initial_max_target_size:8,initial_min_target_size:4,time_limit(per pattern):1 starting timings node gen_and_exp_cost:0.00177273,node_counter:839 Setting num_collections to 1 no matter the input,peak memory:2685956 seeding with creating_perimeter g_timer before calling ZeroOnePDB to generate initial perimeter:19.8789 g_timer after calling ZeroOnePDB to generate initial perimeter:20.6327 g_timer after calling terminate_creation to push perimeter into best_pdb_collections181.039 g_timer after calling terminate_creation to push perimeter into best_pdb_collections181.039 perimeter h value:4 time:181.039,time to clear dominated heuristics every 100 secs time:181.039,finished clearing dominated heuristics every 100 secs Starting bin packing First Fit Decresing, pdb_max_size:20000 binpacking time: 181.039s with 4 No more PDB generation, Current memory above 2 GB max:2630.21 breaking-1 out of GA Algortihm, current gen_time:0x937fe68 bigger than time_limit:900 final episode:,0,time:,181.039,overall_pdb_gen_time:,0,online_samples:,0,overall_sampling_time:,0,avg samp time:,0,avg_sampled_states:,-nan,overall_probe_time:,0,candidate_count:,0,unique_samples.size:,0,best_heuristics count:,1,overall_dominance_prunning_time:,0,bin_total_calls:2,bin_reg_wins:10,bin_rel_wins:,10 starting clear_dominated,starting heurs1 finished clear_dominated,remaining heurs1 final best_pdb_collections:1 collection[0][ 0x94deeec ] prev pdbs:0 First call, max_additive_subsets empty adding :[ 0 1 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 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58] non_dead_ends:0 mergeBucketDeadEnds time:2.72212e-06 Finished,episodes:0,Pattern generation (Edelkamp ONLINE) time: 162.688s,Peak Memory:2696864,current_memory:2693340 PDB collection construction time: 162.818s pdb1:0,1,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,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,pdb2:0,1,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,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58, Pruned 0 of 1 maximal additive subsets Pruned 0 of 1 PDBs Dominance pruning took 0.000134673s Max additive subsets before ADD indexes: 0 Single PDBs: 346811 Shared PDBs: Dead-end PDBs before resize: Dead-end PDBs after resize: Max additive subsets after ADD indexes: 0 pruning method: none Conducting best first search with reopening closed nodes, (real) bound = 2147483647 initial state children:67 New best heuristic value for cpdbs_symbolic(genetic_ss(use_ucb = true, num_episodes = 10000000, num_collections = 1, pdb_factory = symbolic, genetic_time_limit = 900, time_limit = 1.0, create_perimeter = true, use_first_goal_vars = false, use_norm_dist = true)): 4 [g=0, 1 evaluated, 0 expanded, t=181.976s, 2558420 KB] f = 4 [1 evaluated, 0 expanded, t=181.976s, 2558420 KB] Initial heuristic value for cpdbs_symbolic(genetic_ss(use_ucb = true, num_episodes = 10000000, num_collections = 1, pdb_factory = symbolic, genetic_time_limit = 900, time_limit = 1.0, create_perimeter = true, use_first_goal_vars = false, use_norm_dist = true)): 4 f = 5 [47 evaluated, 1 expanded, t=181.976s, 2558420 KB] f=,5,avg_eval_time_per_pdb(per heuristic if no pdbs):,inf,pdbs:,0 f = 6 [1065 evaluated, 47 expanded, t=181.978s, 2558420 KB] f=,6,avg_eval_time_per_pdb(per heuristic if no pdbs):,inf,pdbs:,0 f = 7 [15513 evaluated, 1065 expanded, t=182.01s, 2558420 KB] f=,7,avg_eval_time_per_pdb(per heuristic if no pdbs):,inf,pdbs:,0 f = 8 [163455 evaluated, 15513 expanded, t=182.39s, 2558420 KB] f=,8,avg_eval_time_per_pdb(per heuristic if no pdbs):,inf,pdbs:,0 New best heuristic value for cpdbs_symbolic(genetic_ss(use_ucb = true, num_episodes = 10000000, num_collections = 1, pdb_factory = symbolic, genetic_time_limit = 900, time_limit = 1.0, create_perimeter = true, use_first_goal_vars = false, use_norm_dist = true)): 3 [g=5, 252931 evaluated, 22906 expanded, t=182.617s, 2558420 KB] New best heuristic value for cpdbs_symbolic(genetic_ss(use_ucb = true, num_episodes = 10000000, num_collections = 1, pdb_factory = symbolic, genetic_time_limit = 900, time_limit = 1.0, create_perimeter = true, use_first_goal_vars = false, use_norm_dist = true)): 2 [g=6, 252966 evaluated, 22907 expanded, t=182.618s, 2558420 KB] New best heuristic value for cpdbs_symbolic(genetic_ss(use_ucb = true, num_episodes = 10000000, num_collections = 1, pdb_factory = symbolic, genetic_time_limit = 900, time_limit = 1.0, create_perimeter = true, use_first_goal_vars = false, use_norm_dist = true)): 1 [g=7, 253004 evaluated, 22908 expanded, t=182.618s, 2558420 KB] New best heuristic value for cpdbs_symbolic(genetic_ss(use_ucb = true, num_episodes = 10000000, num_collections = 1, pdb_factory = symbolic, genetic_time_limit = 900, time_limit = 1.0, create_perimeter = true, use_first_goal_vars = false, use_norm_dist = true)): 0 [g=8, 253063 evaluated, 22909 expanded, t=182.618s, 2558420 KB] Solution found! Actual search time: 0.642672s [t=182.618s] meet-at-institution-2 researcher1 researcher2 institution1 (1) meet-at-institution-2 researcher3 researcher4 institution1 (1) meet-at-institution-2 researcher4 researcher5 institution1 (1) meet-at-institution-2 researcher6 researcher7 institution1 (1) beers-after-conference-m3-c2 researcher7 researcher3 researcher5 researcher6 researcher4 (1) beers-after-conference-m2-c3 researcher2 researcher5 researcher4 researcher1 researcher6 (1) publish-paper-5 researcher1 researcher2 researcher4 researcher5 researcher6 (1) publish-paper-5 researcher3 researcher4 researcher5 researcher6 researcher7 (1) Plan length: 8 step(s). Plan cost: 8 Expanded 22910 state(s). Reopened 0 state(s). Evaluated 253071 state(s). Evaluations: 253071 Generated 1590427 state(s). Dead ends: 0 state(s). Expanded until last jump: 15513 state(s). Reopened until last jump: 0 state(s). Evaluated until last jump: 163455 state(s). Generated until last jump: 1070931 state(s). Number of registered states: 253071 Search time: 0.642791s Total time: 182.618s Solution found. Peak memory: 2696864 KB Checking plan: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmpPOaW2s/sas_plan Plan executed successfully - checking goal Plan valid Final value: 8 Successful plans: Value: 8 /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmpPOaW2s/sas_plan 8