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/BeyondTheNetwork_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/BeyondTheNetwork_3.pddl
Parsing...
Parsing: [0.010s CPU, 0.011s 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.010s wall-clock]
Preparing model... [0.010s CPU, 0.009s wall-clock]
Generated 173 rules.
Computing model... [0.220s CPU, 0.223s wall-clock]
4451 relevant atoms
7520 auxiliary atoms
11971 final queue length
15670 total queue pushes
Completing instantiation... [0.230s CPU, 0.230s wall-clock]
Instantiating: [0.480s CPU, 0.480s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.010s CPU, 0.010s 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...
258 uncovered facts
Choosing groups: [0.000s CPU, 0.000s wall-clock]
Building translation key... [0.000s CPU, 0.002s wall-clock]
Computing fact groups: [0.010s CPU, 0.017s 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.030s CPU, 0.022s wall-clock]
Translating task: [0.290s CPU, 0.283s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
4 propositions removed
Detecting unreachable propositions: [0.040s CPU, 0.038s wall-clock]
Translator variables: 260
Translator derived variables: 0
Translator facts: 558
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 43
Translator operators: 3549
Translator axioms: 0
Translator task size: 19991
Translator peak memory: 33516 KB
Writing output... [0.040s CPU, 0.044s wall-clock]
Done! [0.880s CPU, 0.885s 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.
260 variables of 260 necessary
0 of 3 mutex groups necessary.
3549 of 3549 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 558 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=67600, notReached=242644, spurious=1120
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=300988, notReached=9256, spurious=1120
16 operators are spurious because were not triggered
H^2 mutexes added fw: 9256, unreachable: 0
0 of 3533 operators detected as spurious
Total mutex and disambiguation time: 0.881188 iterations: 2
4628 of 4628 mutex groups necessary.
3533 of 3549 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 3533
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 260
4628 of 4628 mutex groups necessary.
3533 of 3533 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
260 variables of 260 of 260 necessary
The causal graph is not acyclic.
260 variables of 260 necessary
4628 of 4628 mutex groups necessary.
3533 of 3533 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 260
Preprocessor facts: 558
Preprocessor derived variables: 0
Preprocessor operators: 3533
Preprocessor mutex groups: 4628
Preprocessor task size: 29122
Writing output...
Preprocessor time: 1.06357s
Preprocessor peak memory: 13420 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.000315817s]
Simplifying transitions... done!
done reading input! [t=0.0956027s]
building causal graph...done! [t=0.0983514s]
packing state variables...Variables: 260
Bytes per state: 36
done! [t=0.0985821s]
done initalizing global data [t=0.0985871s]
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() = 209
leader_vars_follower_preconditioned.size() = 208
follower_operators.size() = 3324
leader_operators.size() = 209
Initializing Symbolic Variables
Sym variable order: 1 17 26 149 113 53 41 242 173 65 77 101 14 197 185 161 137 89 125 22 27 24 88 20 172 100 148 112 64 124 160 13 136 196 76 40 52 21 168 238 184 192 108 144 132 60 72 180 120 9 156 222 151 48 36 84 96 31 67 79 103 43 91 4 163 187 127 202 115 139 55 58 175 94 154 70 82 178 46 7 166 214 142 106 190 130 118 117 34 189 33 153 69 165 57 6 129 105 93 177 45 141 81 145 2 49 193 210 73 37 133 10 61 181 157 85 121 97 226 114 109 90 169 138 198 126 174 3 42 186 78 102 150 162 66 30 54 195 135 171 183 111 159 51 123 12 87 99 63 147 75 234 83 191 47 71 155 39 179 119 8 107 143 95 131 167 218 35 59 28 23 152 19 25 16 92 116 44 188 56 104 5 164 176 32 128 68 80 206 140 170 110 29 134 50 74 146 182 11 230 62 98 86 38 158 122 194 18 15 252 257 250 248 232 240 208 216 221 229 204 245 236 201 213 212 249 246 258 254 255 200 241 205 209 217 256 225 0 244 251 220 224 228 259 253 233 237 247 223 231 239 199 235 215 211 203 219 227 243 207 
Num variables: 260 => 269
Initialize Symbolic Manager(538, 29739, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 258 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 0.174s
Starting Stackelberg bounded search...
 opt: 0.003 reg: 0 solved: 1 total time: 2.22548
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 2.22553
 opt: 0.002 reg: 0 solved: 1 total time: 2.24218
 opt: 0.004 reg: 0 solved: 1 total time: 2.24701
 opt: 0.006 reg: 0 solved: 1 total time: 2.25345
 opt: 0.004 reg: 0 solved: 1 total time: 2.25774
 opt: 0.004 reg: 0 solved: 1 total time: 2.26266
 opt: 0.009 reg: 0 solved: 1 total time: 2.27212
 opt: 0.009 reg: 0 solved: 1 total time: 2.28192
 opt: 0.005 reg: 0 solved: 1 total time: 2.28751
 opt: 0.007 reg: 0 solved: 1 total time: 2.2956
 opt: 0.005 reg: 0 solved: 1 total time: 2.30151
 opt: 0.007 reg: 0 solved: 1 total time: 2.3088
 opt: 0.006 reg: 0 solved: 1 total time: 2.31551
 opt: 0.011 reg: 0 solved: 2 total time: 2.32677
L = 1, leader states: 8192, follower subproblems: 8192, F:100000, total time: 2.32687
 opt: 0.026 reg: 0 solved: 3 total time: 2.37262
 opt: 0.044 reg: 0 solved: 4 total time: 2.41808
 opt: 0.12 reg: 0 solved: 4 total time: 2.53966
 opt: 0.024 reg: 0 solved: 2 total time: 2.56506
 opt: 0.026 reg: 0 solved: 3 total time: 2.59254
L = 2, leader states: 1.06288e+06, follower subproblems: 1.06288e+06, F:100000, total time: 2.59266
 opt: 0.033 reg: 0.001 solved: 2 total time: 2.64614
 opt: 0.044 reg: 0.002 solved: 3 total time: 2.69313
 opt: 0.069 reg: 0.002 solved: 3 total time: 2.76557
 opt: 0.05 reg: 0.004 solved: 4 total time: 2.82091
 opt: 0.062 reg: 0.007 solved: 4 total time: 2.89173
 opt: 0.055 reg: 0.009 solved: 4 total time: 2.95642
 opt: 0.153 reg: 0.005 solved: 4 total time: 3.11564
 opt: 0.097 reg: 0.004 solved: 4 total time: 3.21787
 opt: 0.093 reg: 0.005 solved: 4 total time: 3.31766
 opt: 0.128 reg: 0.003 solved: 4 total time: 3.45043
 opt: 0.094 reg: 0.003 solved: 4 total time: 3.54866
L = 3, leader states: 3.35544e+07, follower subproblems: 3.35544e+07, F:100000, total time: 3.54896
 opt: 0.048 reg: 0.005 solved: 4 total time: 3.62023
 opt: 0.044 reg: 0.031 solved: 4 total time: 3.69597
 opt: 0.053 reg: 0.005 solved: 3 total time: 3.75603
 opt: 0.025 reg: 0.002 solved: 2 total time: 3.78511
 opt: 0.044 reg: 0.005 solved: 4 total time: 3.83464
 opt: 0.041 reg: 0.006 solved: 4 total time: 3.88303
 opt: 0.141 reg: 0.004 solved: 4 total time: 4.02879
 opt: 0.051 reg: 0.014 solved: 5 total time: 4.09536
 opt: 0.113 reg: 0.007 solved: 4 total time: 4.21622
 opt: 0.053 reg: 0.011 solved: 6 total time: 4.28157
 opt: 0.106 reg: 0.01 solved: 4 total time: 4.39936
 opt: 0.105 reg: 0.012 solved: 4 total time: 4.51744
 opt: 0.122 reg: 0 solved: 4 total time: 4.64035
 opt: 0.113 reg: 0 solved: 4 total time: 4.75489
 opt: 0.07 reg: 0.003 solved: 9 total time: 4.82916
 opt: 0.114 reg: 0.003 solved: 4 total time: 4.94729
 opt: 0.068 reg: 0.008 solved: 5 total time: 5.02531
 opt: 0.081 reg: 0.026 solved: 6 total time: 5.1336
 opt: 0.075 reg: 0.023 solved: 8 total time: 5.23307
 opt: 0.049 reg: 0.005 solved: 4 total time: 5.28847
 opt: 0.144 reg: 0.007 solved: 6 total time: 5.44114
 opt: 0.132 reg: 0.024 solved: 5 total time: 5.59781
 opt: 0.081 reg: 0.034 solved: 6 total time: 5.7141
 opt: 0.149 reg: 0.005 solved: 6 total time: 5.86914
 opt: 0.073 reg: 0.006 solved: 8 total time: 5.94972
 opt: 0.119 reg: 0.012 solved: 6 total time: 6.0815
 opt: 0.085 reg: 0.014 solved: 6 total time: 6.18177
 opt: 0.17 reg: 0.015 solved: 6 total time: 6.36798
 opt: 0.074 reg: 0.03 solved: 6 total time: 6.47275
 opt: 0.125 reg: 0.03 solved: 6 total time: 6.6289
 opt: 0.135 reg: 0.015 solved: 6 total time: 6.78007
 opt: 0.141 reg: 0.022 solved: 6 total time: 6.94472
 opt: 0.115 reg: 0.016 solved: 6 total time: 7.07606
 opt: 0.062 reg: 0.022 solved: 6 total time: 7.16122
 opt: 0.069 reg: 0.002 solved: 6 total time: 7.23411
 opt: 0.125 reg: 0.004 solved: 6 total time: 7.36437
 opt: 0.168 reg: 0.003 solved: 6 total time: 7.53717
 opt: 0.069 reg: 0.012 solved: 6 total time: 7.61955
 opt: 0.095 reg: 0.015 solved: 6 total time: 7.73118
 opt: 0.091 reg: 0.014 solved: 6 total time: 7.83815
 opt: 0.113 reg: 0.016 solved: 6 total time: 7.96838
 opt: 0.149 reg: 0.021 solved: 6 total time: 8.13911
 opt: 0.133 reg: 0.022 solved: 6 total time: 8.29522
 opt: 0.115 reg: 0.004 solved: 6 total time: 8.41496
 opt: 0.061 reg: 0.01 solved: 6 total time: 8.4873
 opt: 0.138 reg: 0.004 solved: 6 total time: 8.63021
 opt: 0.163 reg: 0.004 solved: 6 total time: 8.79846
 opt: 0.101 reg: 0.005 solved: 6 total time: 8.90505
 opt: 0.21 reg: 0.006 solved: 6 total time: 9.12209
 opt: 0.116 reg: 0.01 solved: 6 total time: 9.25015
 opt: 0.123 reg: 0.021 solved: 6 total time: 9.39553
 opt: 0.095 reg: 0.021 solved: 6 total time: 9.51224
 opt: 0.156 reg: 0.017 solved: 6 total time: 9.68651
 opt: 0.124 reg: 0.025 solved: 5 total time: 9.83617
 opt: 0.06 reg: 0.033 solved: 6 total time: 9.93057
 opt: 0.15 reg: 0.006 solved: 6 total time: 10.088
 opt: 0.165 reg: 0.004 solved: 6 total time: 10.2588
 opt: 0.061 reg: 0.005 solved: 6 total time: 10.3269
 opt: 0.122 reg: 0.008 solved: 6 total time: 10.4579
 opt: 0.167 reg: 0.005 solved: 6 total time: 10.631
 opt: 0.734 reg: 0.006 solved: 6 total time: 11.3716
 opt: 0.181 reg: 0.006 solved: 6 total time: 11.5604
 opt: 0.065 reg: 0.022 solved: 8 total time: 11.6493
 opt: 0.172 reg: 0.031 solved: 6 total time: 11.8528
 opt: 0.148 reg: 0.022 solved: 6 total time: 12.0242
 opt: 0.213 reg: 0.003 solved: 6 total time: 12.2418
 opt: 0.183 reg: 0.003 solved: 6 total time: 12.4293
 opt: 0.207 reg: 0.005 solved: 6 total time: 12.6426
 opt: 0.221 reg: 0.004 solved: 6 total time: 12.8691
 opt: 0.218 reg: 0.003 solved: 6 total time: 13.0913
 opt: 0.139 reg: 0.006 solved: 6 total time: 13.2379
 opt: 0.141 reg: 0.004 solved: 6 total time: 13.3842
 opt: 0.216 reg: 0.005 solved: 6 total time: 13.6064
 opt: 0.096 reg: 0.029 solved: 8 total time: 13.7332
 opt: 0.215 reg: 0.021 solved: 8 total time: 13.9707
 opt: 0.187 reg: 0.004 solved: 6 total time: 14.1629
 opt: 0.118 reg: 0.003 solved: 6 total time: 14.2857
 opt: 0.177 reg: 0.003 solved: 6 total time: 14.4666
 opt: 0.061 reg: 0.008 solved: 6 total time: 14.537
 opt: 0.213 reg: 0.012 solved: 6 total time: 14.7634
 opt: 0.14 reg: 0.009 solved: 6 total time: 14.9136
 opt: 0.156 reg: 0.011 solved: 6 total time: 15.081
 opt: 0.208 reg: 0.009 solved: 6 total time: 15.2989
 opt: 0.172 reg: 0.007 solved: 6 total time: 15.4789
 opt: 0.103 reg: 0.033 solved: 8 total time: 15.6155
 opt: 0.165 reg: 0.008 solved: 6 total time: 15.7901
 opt: 0.08 reg: 0.009 solved: 6 total time: 15.88
 opt: 0.172 reg: 0.022 solved: 8 total time: 16.0748
 opt: 0.267 reg: 0.018 solved: 8 total time: 16.3612
 opt: 0.201 reg: 0.019 solved: 6 total time: 16.5825
 opt: 0.156 reg: 0.01 solved: 6 total time: 16.75
 opt: 0.166 reg: 0.02 solved: 6 total time: 16.937
 opt: 0.059 reg: 0.039 solved: 6 total time: 17.0369
 opt: 0.194 reg: 0.052 solved: 6 total time: 17.2835
 opt: 0.097 reg: 0.051 solved: 6 total time: 17.4327
 opt: 0.082 reg: 0.018 solved: 8 total time: 17.5339
 opt: 0.179 reg: 0.006 solved: 6 total time: 17.7199
 opt: 0.189 reg: 0.034 solved: 9 total time: 17.9448
 opt: 0.213 reg: 0.011 solved: 6 total time: 18.1697
 opt: 0.171 reg: 0.002 solved: 6 total time: 18.3441
 opt: 0.238 reg: 0.011 solved: 6 total time: 18.5938
 opt: 0.179 reg: 0.005 solved: 6 total time: 18.779
 opt: 0.212 reg: 0.008 solved: 6 total time: 18.9999
 opt: 0.151 reg: 0.033 solved: 8 total time: 19.1856
 opt: 0.208 reg: 0.034 solved: 6 total time: 19.4285
 opt: 0.13 reg: 0.049 solved: 8 total time: 19.6083
 opt: 0.231 reg: 0.004 solved: 6 total time: 19.8445
 opt: 0.234 reg: 0.015 solved: 8 total time: 20.0952
 opt: 0.25 reg: 0.009 solved: 6 total time: 20.355
 opt: 0.181 reg: 0.025 solved: 6 total time: 20.5627
 opt: 0.155 reg: 0.067 solved: 8 total time: 20.7863
 opt: 0.234 reg: 0.005 solved: 6 total time: 21.0263
 opt: 0.227 reg: 0.012 solved: 8 total time: 21.2664
 opt: 0.199 reg: 0.018 solved: 8 total time: 21.4848
 opt: 0.222 reg: 0.489 solved: 6 total time: 22.1962
 opt: 0.171 reg: 0.028 solved: 6 total time: 22.396
 opt: 0.203 reg: 0.035 solved: 6 total time: 22.6347
 opt: 0.183 reg: 0.016 solved: 6 total time: 22.8349
 opt: 0.158 reg: 0.028 solved: 8 total time: 23.0222
 opt: 0.208 reg: 0.004 solved: 8 total time: 23.235
 opt: 0.294 reg: 0.003 solved: 8 total time: 23.5331
 opt: 0.147 reg: 0.011 solved: 8 total time: 23.6927
 opt: 0.227 reg: 0.017 solved: 8 total time: 23.9376
 opt: 0.227 reg: 0.009 solved: 8 total time: 24.1757
 opt: 0.101 reg: 0.027 solved: 8 total time: 24.3049
 opt: 0.275 reg: 0.036 solved: 8 total time: 24.6181
 opt: 0.202 reg: 0.055 solved: 8 total time: 24.876
 opt: 0.272 reg: 0.008 solved: 8 total time: 25.1575
 opt: 0.282 reg: 0.011 solved: 8 total time: 25.4526
 opt: 0.286 reg: 0.026 solved: 8 total time: 25.7658
 opt: 0.3 reg: 0.045 solved: 8 total time: 26.112
 opt: 0.17 reg: 0.027 solved: 8 total time: 26.3103
 opt: 0.333 reg: 0.015 solved: 8 total time: 26.6593
 opt: 0.265 reg: 0.018 solved: 8 total time: 26.9437
 opt: 0.187 reg: 0.037 solved: 7 total time: 27.1695
 opt: 0.281 reg: 0.006 solved: 8 total time: 27.4578
 opt: 0.282 reg: 0.006 solved: 8 total time: 27.7465
 opt: 0.284 reg: 0.009 solved: 8 total time: 28.0407
 opt: 0.298 reg: 0.012 solved: 8 total time: 28.3518
 opt: 0.232 reg: 0.008 solved: 8 total time: 28.5924
 opt: 0.234 reg: 0.017 solved: 8 total time: 28.8445
 opt: 0.282 reg: 0.032 solved: 8 total time: 29.1595
 opt: 0.187 reg: 0.071 solved: 9 total time: 29.4192
 opt: 0.313 reg: 0.014 solved: 8 total time: 29.747
 opt: 0.166 reg: 0.026 solved: 8 total time: 29.9402
 opt: 0.12 reg: 0.046 solved: 8 total time: 30.1073
 opt: 0.251 reg: 0.062 solved: 8 total time: 30.421
 opt: 0.271 reg: 0.005 solved: 8 total time: 30.699
 opt: 0.258 reg: 0.005 solved: 8 total time: 30.9633
 opt: 0.208 reg: 0.016 solved: 8 total time: 31.189
 opt: 0.248 reg: 0.018 solved: 7 total time: 31.4567
 opt: 0.292 reg: 0.042 solved: 8 total time: 31.7915
 opt: 0.722 reg: 0.017 solved: 8 total time: 32.5308
 opt: 0.265 reg: 0.005 solved: 8 total time: 32.8017
 opt: 0.207 reg: 0.01 solved: 8 total time: 33.0199
 opt: 0.242 reg: 0.022 solved: 8 total time: 33.286
 opt: 0.288 reg: 0.028 solved: 8 total time: 33.6033
 opt: 0.268 reg: 0.014 solved: 8 total time: 33.8868
 opt: 0.272 reg: 0.025 solved: 8 total time: 34.1846
 opt: 0.313 reg: 0.024 solved: 8 total time: 34.5225
 opt: 0.297 reg: 0.018 solved: 8 total time: 34.8389
 opt: 0.268 reg: 0.021 solved: 8 total time: 35.1287
 opt: 0.302 reg: 0.035 solved: 8 total time: 35.4666
 opt: 0.364 reg: 0.01 solved: 8 total time: 35.8422
 opt: 0.295 reg: 0.007 solved: 8 total time: 36.1443
 opt: 0.3 reg: 0.013 solved: 8 total time: 36.4579
 opt: 0.298 reg: 0.011 solved: 8 total time: 36.7683
 opt: 0.298 reg: 0.009 solved: 8 total time: 37.0767
 opt: 0.263 reg: 0.01 solved: 8 total time: 37.351
 opt: 0.234 reg: 0.011 solved: 8 total time: 37.5967
 opt: 0.109 reg: 0.032 solved: 10 total time: 37.7384
 opt: 0.172 reg: 0.022 solved: 8 total time: 37.9332
 opt: 0.221 reg: 0.01 solved: 8 total time: 38.1656
 opt: 0.126 reg: 0.048 solved: 12 total time: 38.3404
 opt: 0.28 reg: 0.016 solved: 8 total time: 38.637
 opt: 0.294 reg: 0.008 solved: 8 total time: 38.9406
 opt: 0.27 reg: 0.017 solved: 8 total time: 39.2285
 opt: 0.303 reg: 0.014 solved: 8 total time: 39.5462
 opt: 0.295 reg: 0.012 solved: 8 total time: 39.8545
 opt: 0.282 reg: 0.026 solved: 8 total time: 40.1632
 opt: 0.275 reg: 0.009 solved: 8 total time: 40.4479
 opt: 0.301 reg: 0.008 solved: 8 total time: 40.7585
 opt: 0.242 reg: 0.022 solved: 8 total time: 41.0236
 opt: 0.188 reg: 0.032 solved: 8 total time: 41.2449
 opt: 0.22 reg: 0.071 solved: 10 total time: 41.5367
 opt: 0.27 reg: 0.009 solved: 8 total time: 41.8174
 opt: 0.278 reg: 0.02 solved: 8 total time: 42.1167
 opt: 0.324 reg: 0.02 solved: 8 total time: 42.4623
 opt: 0.28 reg: 0.016 solved: 8 total time: 42.7596
 opt: 0.203 reg: 0.041 solved: 8 total time: 43.0049
 opt: 0.271 reg: 0.056 solved: 8 total time: 43.3334
 opt: 0.803 reg: 0.019 solved: 8 total time: 44.1559
 opt: 0.29 reg: 0.018 solved: 8 total time: 44.4652
 opt: 0.261 reg: 0.025 solved: 8 total time: 44.7527
 opt: 0.112 reg: 0.053 solved: 12 total time: 44.9188
 opt: 0.262 reg: 0.011 solved: 8 total time: 45.1936
 opt: 0.325 reg: 0.008 solved: 8 total time: 45.5282
 opt: 0.117 reg: 0.026 solved: 10 total time: 45.6728
 opt: 0.241 reg: 0.04 solved: 10 total time: 45.9547
 opt: 0.365 reg: 0.022 solved: 8 total time: 46.3427
 opt: 0.338 reg: 0.029 solved: 8 total time: 46.7107
 opt: 0.263 reg: 0.042 solved: 8 total time: 47.0168
 opt: 0.248 reg: 0.008 solved: 8 total time: 47.274
 opt: 0.236 reg: 0.007 solved: 8 total time: 47.5176
 opt: 0.328 reg: 0.007 solved: 8 total time: 47.8539
 opt: 0.284 reg: 0.016 solved: 8 total time: 48.1549
 opt: 0.343 reg: 0.017 solved: 8 total time: 48.5158
 opt: 0.264 reg: 0.023 solved: 8 total time: 48.8034
 opt: 0.286 reg: 0.047 solved: 8 total time: 49.1375
 opt: 0.273 reg: 0.005 solved: 8 total time: 49.4161
 opt: 0.266 reg: 0.006 solved: 8 total time: 49.6891
 opt: 0.299 reg: 0.006 solved: 8 total time: 49.9945
 opt: 0.182 reg: 0.011 solved: 8 total time: 50.1885
 opt: 0.261 reg: 0.016 solved: 8 total time: 50.4675
 opt: 0.323 reg: 0.013 solved: 8 total time: 50.8039
 opt: 0.292 reg: 0.013 solved: 8 total time: 51.1108
 opt: 0.297 reg: 0.011 solved: 8 total time: 51.4208
 opt: 0.251 reg: 0.024 solved: 8 total time: 51.6969
 opt: 0.274 reg: 0.023 solved: 8 total time: 51.9949
 opt: 0.287 reg: 0.013 solved: 8 total time: 52.2958
 opt: 0.314 reg: 0.02 solved: 8 total time: 52.6301
 opt: 0.241 reg: 0.02 solved: 8 total time: 52.8928
 opt: 0.27 reg: 0.044 solved: 8 total time: 53.2084
 opt: 0.357 reg: 0.018 solved: 8 total time: 53.5849
 opt: 0.163 reg: 0.017 solved: 8 total time: 53.7663
 opt: 0.313 reg: 0.021 solved: 8 total time: 54.1017
 opt: 0.283 reg: 0.012 solved: 8 total time: 54.3979
 opt: 0.279 reg: 0.012 solved: 8 total time: 54.69
 opt: 0.232 reg: 0.05 solved: 10 total time: 54.9736
 opt: 0.294 reg: 0.046 solved: 8 total time: 55.3152
 opt: 0.115 reg: 0.523 solved: 8 total time: 55.9542
 opt: 0.237 reg: 0.044 solved: 10 total time: 56.2365
 opt: 0.282 reg: 0.047 solved: 8 total time: 56.5666
 opt: 0.118 reg: 0.051 solved: 10 total time: 56.7367
 opt: 0.23 reg: 0.02 solved: 10 total time: 56.9877
 opt: 0.285 reg: 0.02 solved: 8 total time: 57.2941
 opt: 0.313 reg: 0.04 solved: 8 total time: 57.648
 opt: 0.325 reg: 0.022 solved: 8 total time: 57.9969
 opt: 0.307 reg: 0.005 solved: 8 total time: 58.3102
 opt: 0.268 reg: 0.006 solved: 8 total time: 58.5856
 opt: 0.276 reg: 0.006 solved: 8 total time: 58.8689
 opt: 0.232 reg: 0.022 solved: 10 total time: 59.1242
 opt: 0.109 reg: 0.037 solved: 8 total time: 59.2716
 opt: 0.245 reg: 0.067 solved: 8 total time: 59.5858
 opt: 0.305 reg: 0.016 solved: 8 total time: 59.9083
 opt: 0.298 reg: 0.009 solved: 8 total time: 60.2164
 opt: 0.299 reg: 0.011 solved: 8 total time: 60.5273
 opt: 0.318 reg: 0.014 solved: 8 total time: 60.8609
 opt: 0.333 reg: 0.019 solved: 8 total time: 61.2139
 opt: 0.153 solved: 2147483647 total time: 61.3673
L = 4, leader states: 4.88281e+08, follower subproblems: 4.88281e+08, F:2147483647, total time: 61.4346
Search time: 59.285s
Total number of leader states: 7.05325e+09
Total number of follower subproblems: 4.61502e+09
Pareto-frontier size: 1
Pareto-frontier: (4,2147483647) 
	 fix ops costs: 4, attacker cost: 2147483647: 
	 fix action sequences: 
			 sequence 0:
				 fix_switch t0 s144 blaststepdone
				 fix_next-step t0 t1 blaststepdone
				 fix_switch t1 s87 blaststepdone
				 fix_switch t1 s35 blaststepdone
				 fix_switch t1 s196 blaststepdone
				 fix_switch t1 s191 blaststepdone
				 fix_switch t1 s139 blaststepdone
				 fix_next-step t1 t2 blaststepdone
				 fix_switch t2 s92 blaststepdone
				 fix_switch t2 s49 blaststepdone
				 fix_switch t2 s40 blaststepdone
				 fix_switch t2 s205 blaststepdone
				 fix_switch t2 s153 blaststepdone
				 fix_switch t2 s101 blaststepdone
				 fix_next-step t2 t3 blaststepdone
				 fix_last-step t3 blaststepdone
	 attacker plan: 
		 <unsolvable>
END Pareto-frontier
Total follower searches: 280
Solved by optimal solver: 280
Solved by cost bounded solver: 0
Optimally solved follower subproblems: 280
Solved follower subproblems: 280
Optimal solver time: 53.149s
Cost-bounded solver time: 0s
Follower search time: 53.149s
Total time: 61.4543s
Optimal engine:
Peak memory: 627892 KB
@@@T63624@@@
Done!
real 63.80
user 62.95
sys 0.71
