INFO     Running translator.
INFO     translator input: ['/nfs/home/student.aau.dk/rtollu18/dat7/netstack/pddl-domains/domain-cc.pddl', '/nfs/home/student.aau.dk/rtollu18/dat7/netstack/zoo_pddl/Agis_2.pddl']
INFO     translator arguments: []
INFO     translator time limit: None
INFO     translator memory limit: 25600 MB
INFO     callstring: /usr/bin/python2 /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/translate/translate.py /nfs/home/student.aau.dk/rtollu18/dat7/netstack/pddl-domains/domain-cc.pddl /nfs/home/student.aau.dk/rtollu18/dat7/netstack/zoo_pddl/Agis_2.pddl
Parsing...
Parsing: [0.020s CPU, 0.034s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.003s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.017s wall-clock]
Preparing model... [0.010s CPU, 0.007s wall-clock]
Generated 173 rules.
Computing model... [0.100s CPU, 0.100s wall-clock]
1941 relevant atoms
3512 auxiliary atoms
5453 final queue length
6928 total queue pushes
Completing instantiation... [0.070s CPU, 0.079s wall-clock]
Instantiating: [0.200s CPU, 0.208s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.010s CPU, 0.007s 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...
138 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.011s 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.010s CPU, 0.008s wall-clock]
Translating task: [0.110s CPU, 0.104s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
4 propositions removed
Detecting unreachable propositions: [0.010s CPU, 0.015s wall-clock]
Translator variables: 140
Translator derived variables: 0
Translator facts: 306
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 31
Translator operators: 1405
Translator axioms: 0
Translator task size: 7995
Translator peak memory: 23824 KB
Writing output... [0.010s CPU, 0.018s wall-clock]
Done! [0.370s CPU, 0.396s wall-clock]
INFO     Running preprocessor (release).
INFO     preprocessor input: output.sas
INFO     preprocessor arguments: []
INFO     preprocessor time limit: None
INFO     preprocessor memory limit: 25600 MB
INFO     callstring: /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/preprocess/preprocess < output.sas
Building causal graph...
The causal graph is not acyclic.
140 variables of 140 necessary
0 of 3 mutex groups necessary.
1405 of 1405 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 306 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=19600, notReached=73448, spurious=588
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=89600, notReached=3448, spurious=588
6 operators are spurious because were not triggered
H^2 mutexes added fw: 3448, unreachable: 0
0 of 1399 operators detected as spurious
Total mutex and disambiguation time: 0.142202 iterations: 2
1724 of 1724 mutex groups necessary.
1399 of 1405 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 1399
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 140
1724 of 1724 mutex groups necessary.
1399 of 1399 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
140 variables of 140 of 140 necessary
The causal graph is not acyclic.
140 variables of 140 necessary
1724 of 1724 mutex groups necessary.
1399 of 1399 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 140
Preprocessor facts: 306
Preprocessor derived variables: 0
Preprocessor operators: 1399
Preprocessor mutex groups: 1724
Preprocessor task size: 11382
Writing output...
Preprocessor time: 0.213094s
Preprocessor peak memory: 6004 KB
done
INFO     Running search (release).
INFO     search input: output
INFO     search arguments: ['--search', 'sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=true,plan_reuse_upper_bound=true),upper_bound_pruning=false,min_relevant_follower_cost=100000)']
INFO     search time limit: None
INFO     search memory limit: 25600 MB
INFO     search executable: /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/search/downward
INFO     callstring: /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/search/downward --search 'sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=true,plan_reuse_upper_bound=true),upper_bound_pruning=false,min_relevant_follower_cost=100000)' --plan-file sas_plan < output
reading input... [t=0.000316355s]
Simplifying transitions... done!
done reading input! [t=0.0428668s]
building causal graph...done! [t=0.0441855s]
packing state variables...Variables: 140
Bytes per state: 20
done! [t=0.0443044s]
done initalizing global data [t=0.0443088s]
Begin sort_operators()...
Begin divide_ariables()...
Begin clean_follower_actions()...
Begin create_new_variable_indices()...
Begin check_leader_vars_follower_preconditioned()...
Begin compute_leader_facts_ops_sets()...
leader_variable_domain.size() = 109
leader_vars_follower_preconditioned.size() = 108
follower_operators.size() = 1290
leader_operators.size() = 109
Initializing Symbolic Variables
Sym variable order: 1 17 18 27 91 67 119 51 35 8 75 83 59 43 99 19 62 102 22 94 70 86 3 78 30 54 46 38 12 55 71 87 105 63 4 47 79 31 23 95 39 96 109 24 64 32 5 56 48 88 72 80 40 15 92 2 123 44 76 68 9 52 84 100 36 60 28 69 101 127 37 61 85 10 77 45 53 29 93 116 66 42 90 50 82 7 74 26 34 98 58 20 33 65 41 113 89 49 6 57 81 25 73 97 16 13 21 14 11 110 106 120 124 125 136 137 103 107 128 132 115 139 122 0 121 114 138 133 117 104 118 134 130 131 111 126 112 129 108 135 
Num variables: 140 => 149
Initialize Symbolic Manager(298, 53691, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 114 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 0.033s
Starting Stackelberg bounded search...
 opt: 0.003 reg: 0 solved: 1 total time: 1.13046
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 1.13049
 opt: 0.001 reg: 0 solved: 1 total time: 1.1361
 opt: 0.001 reg: 0 solved: 1 total time: 1.1373
 opt: 0.003 reg: 0 solved: 1 total time: 1.1413
 opt: 0.002 reg: 0 solved: 1 total time: 1.14425
 opt: 0.003 reg: 0 solved: 1 total time: 1.14798
 opt: 0.003 reg: 0 solved: 1 total time: 1.15143
 opt: 0.002 reg: 0 solved: 1 total time: 1.15421
 opt: 0.002 reg: 0 solved: 1 total time: 1.15693
 opt: 0.009 reg: 0 solved: 2 total time: 1.16662
L = 1, leader states: 512, follower subproblems: 512, F:100000, total time: 1.16669
 opt: 0.01 reg: 0 solved: 2 total time: 1.18223
 opt: 0.01 reg: 0 solved: 2 total time: 1.19324
L = 2, leader states: 13122, follower subproblems: 13122, F:100000, total time: 1.19332
 opt: 0.009 reg: 0 solved: 2 total time: 1.20827
 opt: 0.015 reg: 0 solved: 3 total time: 1.22384
 opt: 0.014 reg: 0.001 solved: 4 total time: 1.23967
 opt: 0.028 reg: 0.001 solved: 4 total time: 1.26981
 opt: 0.021 reg: 0.001 solved: 4 total time: 1.29295
 opt: 0.015 reg: 0.004 solved: 4 total time: 1.31293
 opt: 0.023 reg: 0.005 solved: 4 total time: 1.34155
 opt: 0.018 reg: 0.004 solved: 4 total time: 1.36477
 opt: 0.031 reg: 0.004 solved: 4 total time: 1.40003
L = 3, leader states: 131072, follower subproblems: 131072, F:100000, total time: 1.40019
 opt: 0.01 reg: 0.005 solved: 2 total time: 1.42054
 opt: 0.037 reg: 0.009 solved: 4 total time: 1.46725
 opt: 0.032 reg: 0.006 solved: 4 total time: 1.50593
 opt: 0.019 reg: 0.011 solved: 4 total time: 1.53643
 opt: 0.02 reg: 0.001 solved: 4 total time: 1.55875
 opt: 0.021 reg: 0 solved: 4 total time: 1.58161
 opt: 0.02 reg: 0 solved: 4 total time: 1.6035
 opt: 0.036 reg: 0.001 solved: 4 total time: 1.6414
 opt: 0.028 reg: 0.001 solved: 4 total time: 1.67184
 opt: 0.026 reg: 0.001 solved: 4 total time: 1.69934
 opt: 0.025 reg: 0.001 solved: 4 total time: 1.72723
 opt: 0.029 reg: 0.002 solved: 4 total time: 1.75931
 opt: 0.03 reg: 0.002 solved: 4 total time: 1.79247
 opt: 0.031 reg: 0.001 solved: 4 total time: 1.82591
 opt: 0.016 reg: 0.004 solved: 5 total time: 1.84757
 opt: 0.03 reg: 0.006 solved: 4 total time: 1.88411
 opt: 0.031 reg: 0.004 solved: 4 total time: 1.91964
 opt: 0.016 reg: 0.01 solved: 5 total time: 1.94623
 opt: 0.037 reg: 0.01 solved: 4 total time: 1.99499
 opt: 0.018 reg: 0.023 solved: 6 total time: 2.03687
 opt: 0.018 reg: 0.01 solved: 5 total time: 2.06604
 opt: 0.021 reg: 0.015 solved: 6 total time: 2.10317
 opt: 0.03 reg: 0.012 solved: 5 total time: 2.14632
 opt: 0.025 reg: 0.01 solved: 4 total time: 2.18252
 opt: 0.023 reg: 0.022 solved: 4 total time: 2.22851
 opt: 0.035 reg: 0.006 solved: 6 total time: 2.27068
 opt: 0.037 reg: 0.004 solved: 5 total time: 2.31309
 opt: 0.037 reg: 0.009 solved: 5 total time: 2.35948
 opt: 0.036 reg: 0.005 solved: 5 total time: 2.40172
 opt: 0.035 reg: 0.006 solved: 5 total time: 2.44388
 opt: 0.037 reg: 0.015 solved: 5 total time: 2.49629
 opt: 0.037 reg: 0.016 solved: 5 total time: 2.55096
 opt: 0.024 reg: 0.015 solved: 5 total time: 2.59026
 opt: 0.021 reg: 0.035 solved: 6 total time: 2.64693
 opt: 0.032 reg: 0.007 solved: 5 total time: 2.6868
 opt: 0.029 reg: 0.004 solved: 5 total time: 2.72098
 opt: 0.032 reg: 0.014 solved: 6 total time: 2.76816
 opt: 0.03 reg: 0.012 solved: 5 total time: 2.81116
 opt: 0.019 reg: 0.02 solved: 7 total time: 2.85111
 opt: 0.047 reg: 0.024 solved: 6 total time: 2.92326
 opt: 0.035 reg: 0.022 solved: 6 total time: 2.98097
 opt: 0.039 reg: 0.023 solved: 5 total time: 3.04447
 opt: 0.033 reg: 0.028 solved: 6 total time: 3.10711
 opt: 0.038 reg: 0.016 solved: 6 total time: 3.16197
 opt: 0.036 reg: 0.032 solved: 6 total time: 3.23134
 opt: 0.032 reg: 0.007 solved: 6 total time: 3.27186
 opt: 0.042 reg: 0.005 solved: 5 total time: 3.31996
 opt: 0.034 reg: 0.01 solved: 5 total time: 3.36444
 opt: 0.035 reg: 0.016 solved: 6 total time: 3.41658
 opt: 0.037 reg: 0.022 solved: 6 total time: 3.47638
 opt: 0.036 reg: 0.014 solved: 6 total time: 3.52763
 opt: 0.039 reg: 0.008 solved: 6 total time: 3.576
 opt: 0.048 reg: 0.009 solved: 6 total time: 3.63387
 opt: 0.045 reg: 0.014 solved: 5 total time: 3.69464
 opt: 0.047 reg: 0.018 solved: 6 total time: 3.7603
 opt: 0.042 reg: 0.015 solved: 6 total time: 3.81898
 opt: 0.029 reg: 0.013 solved: 5 total time: 3.8624
 opt: 0.038 reg: 0.014 solved: 6 total time: 3.91584
 opt: 0.048 reg: 0.011 solved: 6 total time: 3.9756
 opt: 0.049 reg: 0.013 solved: 6 total time: 4.03825
 opt: 0.039 reg: 0.009 solved: 6 total time: 4.08728
 opt: 0.038 reg: 0.009 solved: 6 total time: 4.1351
 opt: 0.042 reg: 0.009 solved: 6 total time: 4.18752
L = 4, leader states: 781250, follower subproblems: 781250, F:100000, total time: 4.1878
 opt: 0.036 reg: 0.015 solved: 4 total time: 4.24726
 opt: 0.028 reg: 0.011 solved: 4 total time: 4.28698
 opt: 0.037 reg: 0.003 solved: 4 total time: 4.32897
 opt: 0.013 reg: 0.003 solved: 2 total time: 4.34611
 opt: 0.028 reg: 0.003 solved: 4 total time: 4.3785
 opt: 0.028 reg: 0.004 solved: 4 total time: 4.41114
 opt: 0.037 reg: 0.003 solved: 4 total time: 4.45199
 opt: 0.027 reg: 0.003 solved: 4 total time: 4.4832
 opt: 0.03 reg: 0.005 solved: 4 total time: 4.51964
 opt: 0.028 reg: 0.004 solved: 4 total time: 4.55294
 opt: 0.034 reg: 0.003 solved: 4 total time: 4.59061
 opt: 0.038 reg: 0.002 solved: 4 total time: 4.63265
 opt: 0.026 reg: 0.019 solved: 4 total time: 4.67888
 opt: 0.034 reg: 0.016 solved: 4 total time: 4.72998
 opt: 0.027 reg: 0.01 solved: 4 total time: 4.76802
 opt: 0.028 reg: 0.007 solved: 4 total time: 4.80448
 opt: 0.032 reg: 0.008 solved: 4 total time: 4.84576
 opt: 0.025 reg: 0.014 solved: 4 total time: 4.88529
 opt: 0.028 reg: 0.021 solved: 5 total time: 4.93597
 opt: 0.034 reg: 0.008 solved: 4 total time: 4.97885
 opt: 0.037 reg: 0.005 solved: 4 total time: 5.02234
 opt: 0.034 reg: 0.007 solved: 4 total time: 5.06461
 opt: 0.035 reg: 0.008 solved: 4 total time: 5.10896
 opt: 0.038 reg: 0.007 solved: 5 total time: 5.15547
 opt: 0.037 reg: 0.006 solved: 4 total time: 5.19954
 opt: 0.032 reg: 0.015 solved: 5 total time: 5.24837
 opt: 0.03 reg: 0.021 solved: 5 total time: 5.30066
 opt: 0.035 reg: 0.014 solved: 4 total time: 5.35071
 opt: 0.023 reg: 0.037 solved: 5 total time: 5.41159
 opt: 0.04 reg: 0.021 solved: 4 total time: 5.47406
 opt: 0.028 reg: 0.024 solved: 4 total time: 5.52795
 opt: 0.032 reg: 0.018 solved: 4 total time: 5.57907
 opt: 0.033 reg: 0.035 solved: 6 total time: 5.64882
 opt: 0.023 reg: 0.011 solved: 5 total time: 5.68399
 opt: 0.032 reg: 0.011 solved: 5 total time: 5.72757
 opt: 0.039 reg: 0.035 solved: 6 total time: 5.80284
 opt: 0.047 reg: 0.027 solved: 4 total time: 5.87854
 opt: 0.038 reg: 0.006 solved: 4 total time: 5.92403
 opt: 0.042 reg: 0.018 solved: 6 total time: 5.98465
 opt: 0.035 reg: 0.016 solved: 5 total time: 6.03674
 opt: 0.031 reg: 0.027 solved: 7 total time: 6.09599
 opt: 0.04 reg: 0.032 solved: 6 total time: 6.16974
 opt: 0.033 reg: 0.016 solved: 5 total time: 6.2199
 opt: 0.039 reg: 0.011 solved: 5 total time: 6.27178
 opt: 0.037 reg: 0.01 solved: 4 total time: 6.31942
 opt: 0.034 reg: 0.008 solved: 4 total time: 6.363
 opt: 0.035 reg: 0.03 solved: 6 total time: 6.42895
 opt: 0.043 reg: 0.016 solved: 4 total time: 6.48893
 opt: 0.041 reg: 0.025 solved: 6 total time: 6.5563
 opt: 0.044 reg: 0.015 solved: 5 total time: 6.61686
 opt: 0.034 reg: 0.008 solved: 5 total time: 6.66
 opt: 0.041 reg: 0.018 solved: 6 total time: 6.71936
 opt: 0.037 reg: 0.033 solved: 5 total time: 6.79117
 opt: 0.046 reg: 0.043 solved: 5 total time: 6.88109
 opt: 0.045 reg: 0.025 solved: 6 total time: 6.95222
 opt: 0.05 reg: 0.028 solved: 6 total time: 7.03125
 opt: 0.04 reg: 0.037 solved: 7 total time: 7.10924
 opt: 0.034 reg: 0.034 solved: 5 total time: 7.17879
 opt: 0.032 reg: 0.006 solved: 5 total time: 7.2187
 opt: 0.035 reg: 0.009 solved: 5 total time: 7.26344
 opt: 0.039 reg: 0.012 solved: 6 total time: 7.31579
 opt: 0.037 reg: 0.012 solved: 5 total time: 7.36542
 opt: 0.039 reg: 0.025 solved: 6 total time: 7.43076
 opt: 0.629 reg: 0.026 solved: 6 total time: 8.0867
 opt: 0.051 reg: 0.038 solved: 6 total time: 8.17675
 opt: 0.04 reg: 0.026 solved: 5 total time: 8.24402
 opt: 0.035 reg: 0.035 solved: 5 total time: 8.31457
 opt: 0.044 reg: 0.034 solved: 6 total time: 8.39364
 opt: 0.044 reg: 0.028 solved: 6 total time: 8.46698
 opt: 0.035 reg: 0.006 solved: 5 total time: 8.5097
 opt: 0.047 reg: 0.016 solved: 6 total time: 8.57442
 opt: 0.056 reg: 0.032 solved: 5 total time: 8.66272
 opt: 0.05 reg: 0.042 solved: 6 total time: 8.75581
 opt: 0.03 reg: 0.007 solved: 5 total time: 8.79476
 opt: 0.041 reg: 0.017 solved: 6 total time: 8.85349
 opt: 0.036 reg: 0.04 solved: 7 total time: 8.93032
 opt: 0.042 reg: 0.025 solved: 5 total time: 8.99803
 opt: 0.049 reg: 0.045 solved: 6 total time: 9.09289
 opt: 0.045 reg: 0.022 solved: 6 total time: 9.16053
 opt: 0.04 reg: 0.021 solved: 6 total time: 9.22305
 opt: 0.049 reg: 0.039 solved: 5 total time: 9.31272
 opt: 0.051 reg: 0.02 solved: 6 total time: 9.385
 opt: 0.055 reg: 0.005 solved: 6 total time: 9.446
 opt: 0.043 reg: 0.007 solved: 5 total time: 9.49708
 opt: 0.038 reg: 0.017 solved: 6 total time: 9.55346
 opt: 0.049 reg: 0.026 solved: 6 total time: 9.62909
 opt: 0.05 reg: 0.036 solved: 6 total time: 9.71614
 opt: 0.047 reg: 0.024 solved: 6 total time: 9.78805
 opt: 0.034 reg: 0.016 solved: 6 total time: 9.83944
 opt: 0.043 reg: 0.022 solved: 6 total time: 9.90555
 opt: 0.035 reg: 0.021 solved: 5 total time: 9.96247
 opt: 0.04 reg: 0.029 solved: 6 total time: 10.0335
 opt: 0.046 reg: 0.022 solved: 6 total time: 10.1025
 opt: 0.036 reg: 0.03 solved: 6 total time: 10.1698
 opt: 0.051 reg: 0.029 solved: 6 total time: 10.2513
 opt: 0.033 reg: 0.017 solved: 6 total time: 10.3023
 opt: 0.053 reg: 0.026 solved: 6 total time: 10.3819
 opt: 0.045 reg: 0.027 solved: 6 total time: 10.4553
 opt: 0.055 reg: 0.03 solved: 5 total time: 10.5422
 opt: 0.04 reg: 0.038 solved: 6 total time: 10.6213
 opt: 0.055 reg: 0.01 solved: 6 total time: 10.6878
 opt: 0.045 reg: 0.013 solved: 6 total time: 10.7476
 opt: 0.033 reg: 0.035 solved: 9 total time: 10.8165
 opt: 0.053 reg: 0.05 solved: 6 total time: 10.9206
 opt: 0.05 reg: 0.013 solved: 6 total time: 10.985
 opt: 0.06 reg: 0.017 solved: 5 total time: 11.0632
 opt: 0.03 solved: 2147483647 total time: 11.0937
L = 5, leader states: 3.35923e+06, follower subproblems: 3.35923e+06, F:2147483647, total time: 11.1152
Search time: 10.004s
Total number of leader states: 2.15796e+07
Total number of follower subproblems: 1.36722e+07
Pareto-frontier size: 1
Pareto-frontier: (5,2147483647) 
	 fix ops costs: 5, attacker cost: 2147483647: 
	 fix action sequences: 
			 sequence 0:
				 fix_next-step t0 t1 blaststepdone
				 fix_switch t1 s6 blaststepdone
				 fix_switch t1 s47 blaststepdone
				 fix_next-step t1 t2 blaststepdone
				 fix_switch t2 s7 blaststepdone
				 fix_switch t2 s31 blaststepdone
				 fix_switch t2 s30 blaststepdone
				 fix_switch t2 s19 blaststepdone
				 fix_next-step t2 t3 blaststepdone
				 fix_switch t3 s23 blaststepdone
				 fix_next-step t3 t4 blaststepdone
				 fix_switch t4 s43 blaststepdone
				 fix_last-step t4 blaststepdone
	 attacker plan: 
		 <unsolvable>
END Pareto-frontier
Total follower searches: 191
Solved by optimal solver: 191
Solved by cost bounded solver: 0
Optimally solved follower subproblems: 191
Solved follower subproblems: 191
Optimal solver time: 6.948s
Cost-bounded solver time: 0s
Follower search time: 6.948s
Total time: 11.1229s
Optimal engine:
Peak memory: 601160 KB
@@@T11900@@@
Done!
real 12.15
user 11.39
sys 0.55
