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/Belnet2005_3.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/Belnet2005_3.pddl
Parsing...
Parsing: [0.020s CPU, 0.041s 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.011s wall-clock]
Preparing model... [0.010s CPU, 0.009s wall-clock]
Generated 173 rules.
Computing model... [0.210s CPU, 0.210s wall-clock]
3991 relevant atoms
6806 auxiliary atoms
10797 final queue length
14087 total queue pushes
Completing instantiation... [0.210s CPU, 0.208s wall-clock]
Instantiating: [0.440s CPU, 0.446s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.010s CPU, 0.011s wall-clock]
Checking invariant weight... [0.000s CPU, 0.000s wall-clock]
Instantiating groups... [0.000s CPU, 0.001s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.000s wall-clock]
Choosing groups...
237 uncovered facts
Choosing groups: [0.000s CPU, 0.000s wall-clock]
Building translation key... [0.010s CPU, 0.002s wall-clock]
Computing fact groups: [0.020s CPU, 0.018s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.001s 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.020s CPU, 0.020s wall-clock]
Translating task: [0.260s CPU, 0.258s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
4 propositions removed
Detecting unreachable propositions: [0.030s CPU, 0.036s wall-clock]
Translator variables: 239
Translator derived variables: 0
Translator facts: 514
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 41
Translator operators: 3142
Translator axioms: 0
Translator task size: 17720
Translator peak memory: 31860 KB
Writing output... [0.060s CPU, 0.051s wall-clock]
Done! [0.840s CPU, 0.864s 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.
239 variables of 239 necessary
0 of 3 mutex groups necessary.
3142 of 3142 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 514 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=57121, notReached=206055, spurious=1020
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=255102, notReached=8074, spurious=1020
15 operators are spurious because were not triggered
H^2 mutexes added fw: 8074, unreachable: 0
0 of 3127 operators detected as spurious
Total mutex and disambiguation time: 0.695129 iterations: 2
4037 of 4037 mutex groups necessary.
3127 of 3142 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 3127
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 239
4037 of 4037 mutex groups necessary.
3127 of 3127 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
239 variables of 239 of 239 necessary
The causal graph is not acyclic.
239 variables of 239 necessary
4037 of 4037 mutex groups necessary.
3127 of 3127 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 239
Preprocessor facts: 514
Preprocessor derived variables: 0
Preprocessor operators: 3127
Preprocessor mutex groups: 4037
Preprocessor task size: 25677
Writing output...
Preprocessor time: 0.856897s
Preprocessor peak memory: 11816 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.000290981s]
Simplifying transitions... done!
done reading input! [t=0.0894475s]
building causal graph...done! [t=0.0920341s]
packing state variables...Variables: 239
Bytes per state: 32
done! [t=0.092235s]
done initalizing global data [t=0.0922392s]
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() = 196
leader_vars_follower_preconditioned.size() = 195
follower_operators.size() = 2932
leader_operators.size() = 195
Initializing Symbolic Variables
Sym variable order: 1 27 162 25 22 42 188 114 102 90 174 4 150 78 126 138 66 54 24 30 71 143 107 131 179 47 119 59 9 95 35 204 167 155 83 49 145 37 109 97 11 157 169 61 181 121 211 85 133 73 18 28 158 23 110 62 146 122 215 86 12 98 182 74 134 38 170 50 76 184 112 136 172 148 160 14 124 40 100 64 52 222 88 26 130 58 118 70 154 178 8 142 166 94 201 82 106 34 39 2 46 16 123 75 183 147 87 135 13 218 159 51 99 111 63 171 153 45 33 177 93 198 141 7 69 165 117 81 105 129 176 104 152 57 56 68 195 80 32 6 128 116 164 92 140 44 149 41 137 77 29 89 161 3 113 101 31 125 173 53 115 65 191 185 43 151 5 127 175 55 163 67 79 139 103 91 108 96 48 180 36 84 72 10 60 120 144 208 168 156 20 132 17 21 15 19 212 219 205 192 233 187 231 223 227 224 190 213 200 229 238 203 197 189 221 235 0 226 217 237 207 194 193 225 209 230 234 210 196 186 214 199 216 220 206 202 228 232 236 
Num variables: 239 => 248
Initialize Symbolic Manager(496, 32258, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 246 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 0.132s
Starting Stackelberg bounded search...
 opt: 0.005 reg: 0 solved: 1 total time: 1.97366
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 1.9737
 opt: 0.002 reg: 0 solved: 1 total time: 1.98622
 opt: 0.003 reg: 0 solved: 1 total time: 1.9898
 opt: 0.005 reg: 0 solved: 1 total time: 1.99535
 opt: 0.003 reg: 0 solved: 1 total time: 1.99858
 opt: 0.007 reg: 0 solved: 1 total time: 2.00662
 opt: 0.004 reg: 0 solved: 1 total time: 2.01168
 opt: 0.005 reg: 0 solved: 1 total time: 2.01705
 opt: 0.005 reg: 0 solved: 1 total time: 2.02254
 opt: 0.006 reg: 0 solved: 1 total time: 2.02901
 opt: 0.005 reg: 0 solved: 1 total time: 2.03436
 opt: 0.005 reg: 0 solved: 1 total time: 2.03956
 opt: 0.005 reg: 0 solved: 1 total time: 2.04519
 opt: 0.036 reg: 0 solved: 3 total time: 2.08224
L = 1, leader states: 8192, follower subproblems: 8192, F:100000, total time: 2.08237
 opt: 0.041 reg: 0 solved: 7 total time: 2.13732
 opt: 0.031 reg: 0.001 solved: 4 total time: 2.17061
 opt: 0.048 reg: 0.007 solved: 6 total time: 2.22618
 opt: 0.137 reg: 0.01 solved: 6 total time: 2.37437
 opt: 0.045 reg: 0.017 solved: 6 total time: 2.43765
 opt: 0.113 reg: 0 solved: 4 total time: 2.55251
 opt: 0.052 reg: 0.002 solved: 7 total time: 2.60829
 opt: 0.048 reg: 0.006 solved: 5 total time: 2.66377
 opt: 0.11 reg: 0.023 solved: 6 total time: 2.79752
 opt: 0.048 reg: 0.002 solved: 4 total time: 2.84866
 opt: 0.102 reg: 0.002 solved: 4 total time: 2.95412
 opt: 0.05 reg: 0.01 solved: 8 total time: 3.01548
 opt: 0.092 reg: 0.009 solved: 8 total time: 3.11843
 opt: 0.152 reg: 0.013 solved: 6 total time: 3.28437
 opt: 0.059 reg: 0.009 solved: 3 total time: 3.35316
 opt: 0.172 reg: 0.014 solved: 6 total time: 3.53993
 opt: 0.21 reg: 0.019 solved: 7 total time: 3.76995
 opt: 0.043 reg: 0.007 solved: 9 total time: 3.82138
 opt: 0.133 reg: 0.012 solved: 6 total time: 3.96748
 opt: 0.128 reg: 0.02 solved: 5 total time: 4.11673
 opt: 0.051 reg: 0.008 solved: 8 total time: 4.17678
 opt: 0.178 reg: 0.008 solved: 8 total time: 4.36429
 opt: 0.128 reg: 0.013 solved: 8 total time: 4.50643
 opt: 0.142 reg: 0.013 solved: 8 total time: 4.6632
 opt: 0.102 reg: 0.026 solved: 9 total time: 4.79238
 opt: 0.119 reg: 0.013 solved: 6 total time: 4.92588
 opt: 0.167 reg: 0.01 solved: 5 total time: 5.10459
 opt: 0.212 reg: 0.017 solved: 8 total time: 5.33433
 opt: 0.145 reg: 0.033 solved: 8 total time: 5.51448
 opt: 0.198 reg: 0.006 solved: 8 total time: 5.71926
 opt: 0.192 reg: 0.011 solved: 7 total time: 5.92423
 opt: 0.224 reg: 0.009 solved: 8 total time: 6.15877
 opt: 0.223 reg: 0.01 solved: 8 total time: 6.39291
 opt: 0.131 reg: 0.027 solved: 9 total time: 6.55262
 opt: 0.216 reg: 0.006 solved: 8 total time: 6.77588
 opt: 0.129 reg: 0.019 solved: 9 total time: 6.9249
 opt: 0.143 reg: 0.021 solved: 9 total time: 7.09043
 opt: 0.176 reg: 0.028 solved: 8 total time: 7.29499
 opt: 0.15 reg: 0.015 solved: 8 total time: 7.46127
 opt: 0.265 reg: 0.027 solved: 9 total time: 7.75411
 opt: 0.116 reg: 0.021 solved: 9 total time: 7.89212
 opt: 0.047 reg: 0.027 solved: 10 total time: 7.96748
 opt: 0.159 reg: 0.014 solved: 10 total time: 8.14177
 opt: 0.143 reg: 0.026 solved: 9 total time: 8.31159
 opt: 0.213 reg: 0.017 solved: 10 total time: 8.54285
 opt: 0.188 reg: 0.022 solved: 9 total time: 8.75453
 opt: 0.187 reg: 0.027 solved: 9 total time: 8.96965
 opt: 0.145 reg: 0.019 solved: 9 total time: 9.13423
 opt: 0.205 reg: 0.038 solved: 8 total time: 9.37787
 opt: 0.226 reg: 0.012 solved: 9 total time: 9.61666
 opt: 0.139 reg: 0.01 solved: 9 total time: 9.76692
 opt: 0.206 reg: 0.01 solved: 8 total time: 9.9841
 opt: 0.227 reg: 0.017 solved: 10 total time: 10.2291
 opt: 0.176 reg: 0.016 solved: 9 total time: 10.4222
 opt: 0.234 reg: 0.013 solved: 9 total time: 10.6704
 opt: 0.06 reg: 0.464 solved: 9 total time: 11.1952
 opt: 0.263 reg: 0.011 solved: 9 total time: 11.4703
 opt: 0.235 reg: 0.019 solved: 9 total time: 11.7251
 opt: 0.107 reg: 0.012 solved: 9 total time: 11.8457
 opt: 0.233 reg: 0.012 solved: 9 total time: 12.092
 opt: 0.303 reg: 0.026 solved: 10 total time: 12.4228
 opt: 0.255 reg: 0.025 solved: 9 total time: 12.7042
 opt: 0.261 reg: 0.027 solved: 9 total time: 12.9933
 opt: 0.216 reg: 0.012 solved: 9 total time: 13.2223
 opt: 0.205 reg: 0.03 solved: 10 total time: 13.4588
 opt: 0.242 reg: 0.057 solved: 9 total time: 13.7597
 opt: 0.246 reg: 0.018 solved: 9 total time: 14.025
 opt: 0.272 reg: 0.029 solved: 9 total time: 14.3272
 opt: 0.255 reg: 0.019 solved: 9 total time: 14.6027
 opt: 0.222 reg: 0.023 solved: 9 total time: 14.8488
 opt: 0.21 reg: 0.025 solved: 10 total time: 15.0845
 opt: 0.221 reg: 0.009 solved: 9 total time: 15.3153
 opt: 0.226 reg: 0.004 solved: 9 total time: 15.5461
 opt: 0.207 reg: 0.004 solved: 9 total time: 15.7581
 opt: 0.261 reg: 0.008 solved: 9 total time: 16.0288
 opt: 0.252 reg: 0.025 solved: 10 total time: 16.3067
L = 2, leader states: 1.06288e+06, follower subproblems: 1.06288e+06, F:100000, total time: 16.307
 opt: 0.074 reg: 0.018 solved: 4 total time: 16.4149
 opt: 0.069 reg: 0.007 solved: 6 total time: 16.4916
 opt: 0.085 reg: 0.001 solved: 4 total time: 16.579
 opt: 0.072 reg: 0.001 solved: 4 total time: 16.6538
 opt: 0.068 reg: 0.001 solved: 4 total time: 16.7245
 opt: 0.096 reg: 0.025 solved: 8 total time: 16.8468
 opt: 0.131 reg: 0.007 solved: 4 total time: 16.9865
 opt: 0.095 reg: 0.024 solved: 6 total time: 17.1066
 opt: 0.1 reg: 0.012 solved: 4 total time: 17.22
 opt: 0.066 reg: 0.021 solved: 8 total time: 17.3084
 opt: 0.153 reg: 0.01 solved: 8 total time: 17.4727
 opt: 0.1 reg: 0.03 solved: 9 total time: 17.604
 opt: 0.125 reg: 0.024 solved: 8 total time: 17.7547
 opt: 0.092 reg: 0.043 solved: 6 total time: 17.8913
 opt: 0.063 reg: 0.005 solved: 7 total time: 17.9611
 opt: 0.164 reg: 0.028 solved: 10 total time: 18.1549
 opt: 0.123 reg: 0.012 solved: 7 total time: 18.291
 opt: 0.13 reg: 0.011 solved: 6 total time: 18.4328
 opt: 0.107 reg: 0.017 solved: 4 total time: 18.5583
 opt: 0.174 reg: 0.038 solved: 6 total time: 18.7721
 opt: 0.127 reg: 0.042 solved: 9 total time: 18.9422
 opt: 0.147 reg: 0.022 solved: 6 total time: 19.1125
 opt: 0.149 reg: 0.02 solved: 6 total time: 19.2828
 opt: 0.186 reg: 0.03 solved: 6 total time: 19.4995
 opt: 0.129 reg: 0.037 solved: 8 total time: 19.6667
 opt: 0.163 reg: 0.014 solved: 8 total time: 19.8455
 opt: 0.154 reg: 0.01 solved: 8 total time: 20.0109
 opt: 0.128 reg: 0.014 solved: 4 total time: 20.1538
 opt: 0.199 reg: 0.022 solved: 8 total time: 20.3762
 opt: 0.16 reg: 0.035 solved: 6 total time: 20.5727
 opt: 0.133 reg: 0.021 solved: 9 total time: 20.7284
 opt: 0.234 reg: 0.019 solved: 11 total time: 20.9824
 opt: 0.668 reg: 0.04 solved: 6 total time: 21.6908
 opt: 0.107 reg: 0.005 solved: 6 total time: 21.8039
 opt: 0.145 reg: 0.006 solved: 6 total time: 21.9564
 opt: 0.181 reg: 0.006 solved: 6 total time: 22.1444
 opt: 0.083 reg: 0.008 solved: 6 total time: 22.2371
 opt: 0.167 reg: 0.022 solved: 6 total time: 22.4273
 opt: 0.128 reg: 0.029 solved: 6 total time: 22.5858
 opt: 0.069 reg: 0.032 solved: 4 total time: 22.6885
 opt: 0.13 reg: 0.033 solved: 9 total time: 22.8529
 opt: 0.157 reg: 0.024 solved: 6 total time: 23.0356
 opt: 0.165 reg: 0.018 solved: 6 total time: 23.2196
 opt: 0.195 reg: 0.016 solved: 6 total time: 23.4319
 opt: 0.143 reg: 0.037 solved: 6 total time: 23.613
 opt: 0.177 reg: 0.029 solved: 6 total time: 23.8202
 opt: 0.088 reg: 0.033 solved: 6 total time: 23.9427
 opt: 0.134 reg: 0.011 solved: 4 total time: 24.0893
 opt: 0.118 reg: 0.025 solved: 9 total time: 24.2332
 opt: 0.124 reg: 0.029 solved: 6 total time: 24.3878
 opt: 0.141 reg: 0.008 solved: 9 total time: 24.5379
 opt: 0.214 reg: 0.014 solved: 8 total time: 24.7666
 opt: 0.116 reg: 0.031 solved: 9 total time: 24.9144
 opt: 0.152 reg: 0.045 solved: 8 total time: 25.1124
 opt: 0.122 reg: 0.009 solved: 8 total time: 25.2448
 opt: 0.15 reg: 0.018 solved: 6 total time: 25.4137
 opt: 0.139 reg: 0.016 solved: 6 total time: 25.5695
 opt: 0.134 reg: 0.015 solved: 6 total time: 25.7201
 opt: 0.125 reg: 0.037 solved: 9 total time: 25.8829
 opt: 0.128 reg: 0.037 solved: 8 total time: 26.0491
 opt: 0.16 reg: 0.033 solved: 6 total time: 26.2434
 opt: 0.138 reg: 0.066 solved: 9 total time: 26.4489
 opt: 0.178 reg: 0.007 solved: 9 total time: 26.6351
 opt: 0.177 reg: 0.026 solved: 8 total time: 26.8397
 opt: 0.168 reg: 0.045 solved: 6 total time: 27.0544
 opt: 0.153 reg: 0.021 solved: 9 total time: 27.2291
 opt: 0.115 reg: 0.043 solved: 9 total time: 27.3879
 opt: 0.228 reg: 0.605 solved: 8 total time: 28.2214
 opt: 0.136 reg: 0.035 solved: 6 total time: 28.394
 opt: 0.175 reg: 0.013 solved: 8 total time: 28.5836
 opt: 0.16 reg: 0.025 solved: 8 total time: 28.7692
 opt: 0.21 reg: 0.015 solved: 8 total time: 28.9946
 opt: 0.193 reg: 0.031 solved: 9 total time: 29.22
 opt: 0.137 reg: 0.009 solved: 8 total time: 29.3673
 opt: 0.245 reg: 0.02 solved: 6 total time: 29.6338
 opt: 0.129 reg: 0.025 solved: 8 total time: 29.7889
 opt: 0.243 reg: 0.021 solved: 8 total time: 30.054
 opt: 0.162 reg: 0.056 solved: 8 total time: 30.2733
 opt: 0.167 reg: 0.014 solved: 6 total time: 30.4555
 opt: 0.189 reg: 0.022 solved: 8 total time: 30.6673
 opt: 0.217 reg: 0.021 solved: 8 total time: 30.9059
 opt: 0.246 reg: 0.021 solved: 8 total time: 31.1736
 opt: 0.186 reg: 0.052 solved: 8 total time: 31.4128
 opt: 0.278 reg: 0.048 solved: 8 total time: 31.74
 opt: 0.221 reg: 0.033 solved: 8 total time: 31.9949
 opt: 0.147 reg: 0.018 solved: 6 total time: 32.1614
 opt: 0.186 reg: 0.039 solved: 9 total time: 32.3874
 opt: 0.086 reg: 0.036 solved: 8 total time: 32.5113
 opt: 0.143 reg: 0.016 solved: 8 total time: 32.6708
 opt: 0.078 reg: 0.019 solved: 8 total time: 32.7689
 opt: 0.257 reg: 0.04 solved: 9 total time: 33.0666
 opt: 0.211 reg: 0.042 solved: 6 total time: 33.3204
 opt: 0.158 reg: 0.024 solved: 6 total time: 33.5039
 opt: 0.155 reg: 0.034 solved: 8 total time: 33.6941
 opt: 0.19 reg: 0.067 solved: 8 total time: 33.9524
 opt: 0.193 reg: 0.05 solved: 8 total time: 34.1959
 opt: 0.204 reg: 0.049 solved: 6 total time: 34.4497
 opt: 0.19 reg: 0.007 solved: 8 total time: 34.6485
 opt: 0.658 reg: 0.013 solved: 8 total time: 35.3189
 opt: 0.194 reg: 0.029 solved: 7 total time: 35.5433
 opt: 0.164 reg: 0.035 solved: 8 total time: 35.744
 opt: 0.137 reg: 0.028 solved: 9 total time: 35.9105
 opt: 0.165 reg: 0.031 solved: 8 total time: 36.1074
 opt: 0.19 reg: 0.023 solved: 6 total time: 36.322
 opt: 0.158 reg: 0.031 solved: 10 total time: 36.5123
 opt: 0.268 reg: 0.03 solved: 8 total time: 36.8111
 opt: 0.212 reg: 0.041 solved: 8 total time: 37.0654
 opt: 0.171 reg: 0.024 solved: 6 total time: 37.2614
 opt: 0.23 reg: 0.025 solved: 8 total time: 37.5171
 opt: 0.193 reg: 0.036 solved: 9 total time: 37.7477
 opt: 0.239 reg: 0.067 solved: 8 total time: 38.0544
 opt: 0.159 reg: 0.027 solved: 8 total time: 38.2418
 opt: 0.226 reg: 0.015 solved: 8 total time: 38.4844
 opt: 0.224 reg: 0.036 solved: 6 total time: 38.7451
 opt: 0.108 solved: 2147483647 total time: 38.8538
L = 3, leader states: 3.35544e+07, follower subproblems: 3.35544e+07, F:2147483647, total time: 38.9005
Search time: 36.986s
Total number of leader states: 7.67047e+08
Total number of follower subproblems: 5.05594e+08
Pareto-frontier size: 1
Pareto-frontier: (3,2147483647) 
	 fix ops costs: 3, attacker cost: 2147483647: 
	 fix action sequences: 
			 sequence 0:
				 fix_switch t0 s83 blaststepdone
				 fix_switch t0 s6 blaststepdone
				 fix_switch t0 s48 blaststepdone
				 fix_switch t0 s27 blaststepdone
				 fix_next-step t0 t1 blaststepdone
				 fix_switch t1 s69 blaststepdone
				 fix_switch t1 s62 blaststepdone
				 fix_switch t1 s46 blaststepdone
				 fix_switch t1 s41 blaststepdone
				 fix_switch t1 s4 blaststepdone
				 fix_next-step t1 t2 blaststepdone
				 fix_switch t2 s67 blaststepdone
				 fix_switch t2 s25 blaststepdone
				 fix_switch t2 s20 blaststepdone
				 fix_last-step t2 blaststepdone
	 attacker plan: 
		 <unsolvable>
END Pareto-frontier
Total follower searches: 205
Solved by optimal solver: 205
Solved by cost bounded solver: 0
Optimally solved follower subproblems: 205
Solved follower subproblems: 205
Optimal solver time: 31.465s
Cost-bounded solver time: 0s
Follower search time: 31.465s
Total time: 38.9187s
Optimal engine:
Peak memory: 593196 KB
@@@T40870@@@
Done!
real 41.42
user 40.25
sys 0.65
