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.010s wall-clock] Normalizing task... [0.000s CPU, 0.000s wall-clock] Instantiating... Generating Datalog program... [0.010s CPU, 0.001s wall-clock] Normalizing Datalog program... Normalizing Datalog program: [0.000s CPU, 0.007s wall-clock] Preparing model... [0.010s CPU, 0.004s wall-clock] Generated 211 rules. Computing model... [0.000s CPU, 0.007s wall-clock] 295 relevant atoms 424 auxiliary atoms 719 final queue length 920 total queue pushes Completing instantiation... [0.010s CPU, 0.005s wall-clock] Instantiating: [0.030s CPU, 0.024s wall-clock] Computing fact groups... Finding invariants... 20 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.000s wall-clock] Collecting mutex groups... [0.000s CPU, 0.000s wall-clock] Choosing groups... 48 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.007s 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.005s wall-clock] 55 effect conditions simplified 0 implied preconditions added Detecting unreachable propositions... 0 operators removed 0 axioms removed 5 propositions removed Detecting unreachable propositions: [0.000s CPU, 0.003s wall-clock] Translator variables: 50 Translator derived variables: 0 Translator facts: 130 Translator goal facts: 18 Translator mutex groups: 3 Translator total mutex groups size: 36 Translator operators: 100 Translator axioms: 0 Translator task size: 843 Translator peak memory: 26072 KB Writing output... [0.010s CPU, 0.001s wall-clock] Done! [0.050s CPU, 0.052s wall-clock] INFO Running preprocessor (release32). INFO preprocessor input: output.sas INFO preprocessor arguments: [] INFO preprocessor time limit: 1799.81s INFO preprocessor memory limit: 8192 MB INFO callstring: /planner/builds/release32/bin/preprocess < output.sas time limit 1799.81 -> (1800, 1801) Building causal graph... The causal graph is not acyclic. 35 variables of 50 necessary 0 of 3 mutex groups necessary. 100 of 100 operators necessary. 0 of 0 axiom rules necessary. Initializing mutex computation... Mutex computation initialized with 100 fluents. iteration for mutex detection and operator pruning Initialize m_index fw Initialized mvalues forward: reached=1225, notReached=8315, spurious=460 Initialize m_ops fw Computing mutexes... Mutex computation finished with reached=8202, notReached=1338, spurious=460 0 operators are spurious because were not triggered H^2 mutexes added fw: 1338, unreachable: 0 0 of 100 operators detected as spurious iteration for mutex detection and operator pruning Initialize m_index bw Init values regression Initialized mvalues backward: reached=1225, notReached=6977, spurious=1798 Initialize m_ops bw Computing mutexes... Mutex computation finished with reached=6231, notReached=1971, spurious=1798 36 operators are spurious because were not triggered Unreachable proposition: Atom location(sheet1, uc1_entry-hw1_topleftexit) Unreachable proposition: Atom location(sheet1, uc1_exittoime-uime_entry) Unreachable proposition: NegatedAtom notprintedwith(sheet1, back, black) Unreachable proposition: NegatedAtom notprintedwith(sheet1, back, color) Unreachable proposition: NegatedAtom notprintedwith(sheet1, front, black) Unreachable proposition: NegatedAtom notprintedwith(sheet2, back, black) Unreachable proposition: NegatedAtom notprintedwith(sheet2, back, color) Unreachable proposition: NegatedAtom notprintedwith(sheet2, front, color) Unreachable proposition: NegatedAtom notprintedwith(sheet3, back, black) Unreachable proposition: NegatedAtom notprintedwith(sheet3, back, color) Unreachable proposition: NegatedAtom notprintedwith(sheet3, front, color) H^2 mutexes added bw: 184, unreachable: 11 0 of 64 operators detected as spurious iteration for mutex detection and operator pruning Initialize m_index fw Initialized mvalues forward: reached=1225, notReached=5006, spurious=3769 Initialize m_ops fw Computing mutexes... Mutex computation finished with reached=5885, notReached=346, spurious=3769 24 operators are spurious because were not triggered Unreachable proposition: Atom location(sheet1, hw1_toprightentry-uc1_exit) Unreachable proposition: Atom location(sheet1, uime_exit-uc1_entryfromime) H^2 mutexes added fw: 80, unreachable: 2 0 of 40 operators detected as spurious iteration for mutex detection and operator pruning Initialize m_index bw Init values regression Initialized mvalues backward: reached=1225, notReached=4660, spurious=4115 Initialize m_ops bw Computing mutexes... Mutex computation finished with reached=5841, notReached=44, spurious=4115 5 operators are spurious because were not triggered H^2 mutexes added bw: 44, unreachable: 0 0 of 35 operators detected as spurious iteration for mutex detection and operator pruning Initialize m_index fw Initialized mvalues forward: reached=1225, notReached=4616, spurious=4159 Initialize m_ops fw Computing mutexes... Mutex computation finished with reached=5841, notReached=0, spurious=4159 0 operators are spurious because were not triggered H^2 mutexes added fw: 0, unreachable: 0 0 of 35 operators detected as spurious Total mutex and disambiguation time: 0.010446 iterations: 5 733 of 823 mutex groups necessary. 35 of 100 operators necessary. 0 of 0 axiom rules necessary. Change id of operators: 35 Change id of mutexes Change id of goals Change id of initial state Remove unreachable facts from variables: 35 681 of 733 mutex groups necessary. 35 of 35 operators necessary. 0 of 0 axiom rules necessary. Updating causal graph and pruning unnecessary facts 26 variables of 35 of 50 necessary The causal graph is not acyclic. 26 variables of 26 necessary 681 of 681 mutex groups necessary. 35 of 35 operators necessary. 0 of 0 axiom rules necessary. Building domain transition graphs... solveable in poly time 0 Building successor generator... Preprocessor variables: 26 Preprocessor facts: 78 Preprocessor derived variables: 0 Preprocessor operators: 35 Preprocessor mutex groups: 681 Preprocessor task size: 1667 Writing output... Preprocessor peak memory: 2352 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: 1799.78s 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 1799.78 -> (1800, 1801) reading input... [t=0.0022971s] done reading input! [t=0.00505702s] packing state variables...done! [t=0.0050668s] Variables: 26 Facts: 78 Bytes per state: 8 Building successor generator...done! [t=0.0051402s] done initalizing global data [t=0.00514342s] parsing options parsing options building causal graph...done! [t=9.9112e-05s] Sym variable order: 12 8 25 11 10 17 9 22 3 0 6 7 5 4 15 2 20 1 14 19 16 24 13 21 23 18 Initializing Symbolic Variables Num variables: 26 => 34 Initialize Symbolic Manager(68, 235294, 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:26 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 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 ] overall_problem_size:9.66368e+09 initial_max_target_size:8,initial_min_target_size:4,time_limit(per pattern):1 starting timings node gen_and_exp_cost:2.50867e-06,node_counter:398639 Setting num_collections to 1 no matter the input,peak memory:493020 seeding with creating_perimeter g_timer before calling ZeroOnePDB to generate initial perimeter:1.18396 Solution found with cost 519232 total time: 1.22346s g_timer after calling ZeroOnePDB to generate initial perimeter:1.22464 g_timer after calling terminate_creation to push perimeter into best_pdb_collections1.22465 Solution found while generating Perimeter PDB candidate of type:symbolic, adding PDB and exiting generation at time1.22466 final episode:,0,time:,1.22466,overall_pdb_gen_time:,0,online_samples:,0,overall_sampling_time:,0,avg samp time:,0,avg_sampled_states:,0,overall_probe_time:,0,candidate_count:,0,unique_samples.size:,0,best_heuristics count:,1,overall_dominance_prunning_time:,0,bin_pack_reg_count:,0,bin_packing_rel_count:0 final best_pdb_collections:1 collection[0][ 0x9ea71dc ] First call, pdbs empty 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] non_dead_ends:0 mergeBucketDeadEnds time:1.36264e-06 Finished,episodes:0,Pattern generation (Edelkamp ONLINE) time: 1.04111s,Peak Memory:493020,current_memory:476632 PDB collection construction time: 1.07104s 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,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, Pruned 0 of 1 maximal additive subsets Pruned 0 of 1 PDBs Dominance pruning took 1.4592e-05s Max additive subsets before ADD indexes: 0 Single PDBs: 492 Shared PDBs: Dead-end PDBs before resize: 259 Dead-end PDBs after resize: 259 Max additive subsets after ADD indexes: 0 pruning method: none Conducting best first search with reopening closed nodes, (real) bound = 2147483647 initial state children:1 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)): 519232 [g=0, 1 evaluated, 0 expanded, t=1.25496s, 232692 KB] f = 519232 [1 evaluated, 0 expanded, t=1.25501s, 232692 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)): 519232 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)): 519107 [g=224, 3 evaluated, 2 expanded, t=1.25505s, 232692 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)): 518982 [g=349, 7 evaluated, 3 expanded, t=1.25509s, 232692 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)): 518857 [g=474, 12 evaluated, 4 expanded, t=1.25514s, 232692 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)): 517358 [g=1874, 13 evaluated, 5 expanded, t=1.25517s, 232692 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)): 515859 [g=3373, 20 evaluated, 6 expanded, t=1.25521s, 232692 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)): 514360 [g=4872, 26 evaluated, 7 expanded, t=1.25525s, 232692 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)): 506360 [g=12872, 27 evaluated, 8 expanded, t=1.25528s, 232692 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)): 498360 [g=20872, 31 evaluated, 9 expanded, t=1.25531s, 232692 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)): 488361 [g=30871, 35 evaluated, 10 expanded, t=1.25535s, 232692 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)): 360571 [g=158661, 36 evaluated, 11 expanded, t=1.25538s, 232692 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)): 357572 [g=161660, 40 evaluated, 12 expanded, t=1.25541s, 232692 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)): 356073 [g=163159, 44 evaluated, 13 expanded, t=1.25544s, 232692 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)): 228283 [g=290949, 45 evaluated, 14 expanded, t=1.25547s, 232692 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)): 225284 [g=293948, 47 evaluated, 15 expanded, t=1.25551s, 232692 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)): 223785 [g=295447, 50 evaluated, 16 expanded, t=1.25554s, 232692 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)): 10995 [g=508237, 51 evaluated, 17 expanded, t=1.25557s, 232692 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)): 5996 [g=513236, 52 evaluated, 18 expanded, t=1.2556s, 232692 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)): 4497 [g=514735, 53 evaluated, 19 expanded, t=1.25563s, 232692 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)): 2998 [g=516234, 54 evaluated, 20 expanded, t=1.25566s, 232692 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)): 1499 [g=517733, 55 evaluated, 21 expanded, t=1.25569s, 232692 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=519232, 56 evaluated, 22 expanded, t=1.25572s, 232692 KB] Solution found! Actual search time: 0.000711022s [t=1.25575s] initialize (0) fe1-feedmsi-letter sheet1 (125) fe1-feedmsi-letter sheet2 (125) fe1-feedmsi-letter sheet3 (125) hw1-leftentrytobottomleftexit-letter sheet1 (1499) hw1-leftentrytotopleftexit-letter sheet2 (1499) hw1-leftentrytotopleftexit-letter sheet3 (1499) uc1-inverttoime-letter sheet2 back front (8000) uc1-inverttoime-letter sheet3 back front (8000) lc1-inverttoime-letter sheet1 back front (9999) uime-simplex-letter sheet2 front image-2 (127790) uc1-fromime-letter sheet2 (2999) hw1-toprightentrytorightexit-letter sheet2 (1499) uime-simplex-letter sheet3 front image-3 (127790) uc1-fromime-letter sheet3 (2999) hw1-toprightentrytorightexit-letter sheet3 (1499) lime-simplex-letter sheet1 front image-1 (212790) lc1-fromime-letter sheet1 (4999) hw1-bottomrightentrytorightexit-letter sheet1 (1499) sys-stack-letter sheet1 dummy-sheet (1499) sys-stack-letter sheet2 sheet1 (1499) sys-stack-letter sheet3 sheet2 (1499) Plan length: 22 step(s). Plan cost: 519232 Expanded 23 state(s). Reopened 0 state(s). Evaluated 56 state(s). Evaluations: 56 Generated 61 state(s). Dead ends: 33 state(s). Expanded until last jump: 0 state(s). Reopened until last jump: 0 state(s). Evaluated until last jump: 1 state(s). Generated until last jump: 0 state(s). Number of registered states: 56 Search time: 0.000821021s Total time: 1.25575s Solution found. Peak memory: 493020 KB Checking plan: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmpKZccct/sas_plan Plan executed successfully - checking goal Plan valid Final value: 519232 Successful plans: Value: 519232 /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmpKZccct/sas_plan 519232