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/Funet_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/Funet_3.pddl
Parsing...
Parsing: [0.010s CPU, 0.012s 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.010s wall-clock]
Generated 173 rules.
Computing model... [0.230s CPU, 0.230s wall-clock]
4451 relevant atoms
7520 auxiliary atoms
11971 final queue length
15670 total queue pushes
Completing instantiation... [0.230s CPU, 0.233s wall-clock]
Instantiating: [0.480s CPU, 0.492s 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.010s 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.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.030s CPU, 0.024s wall-clock]
Translating task: [0.320s CPU, 0.314s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
4 propositions removed
Detecting unreachable propositions: [0.050s CPU, 0.052s 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: 33508 KB
Writing output... [0.050s CPU, 0.052s wall-clock]
Done! [0.950s CPU, 0.958s 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: 1.02125 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.21942s
Preprocessor peak memory: 13424 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.00025607s]
Simplifying transitions... done!
done reading input! [t=0.10571s]
building causal graph...done! [t=0.109077s]
packing state variables...Variables: 260
Bytes per state: 36
done! [t=0.109118s]
done initalizing global data [t=0.109123s]
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 47 107 35 71 28 143 155 95 119 8 179 191 218 167 83 131 59 127 187 20 139 175 103 163 115 4 43 55 79 31 91 202 67 159 51 135 87 151 183 234 123 195 12 147 171 99 63 39 75 111 160 112 148 196 29 76 238 100 184 13 52 40 64 124 88 172 136 142 70 178 82 130 46 214 7 106 154 34 118 94 190 58 192 132 25 72 222 166 108 84 180 9 156 48 168 120 144 96 122 24 60 182 36 86 2 110 158 194 146 11 74 38 98 134 230 170 62 89 50 53 113 23 197 101 77 149 137 161 14 125 173 242 210 185 41 65 93 33 81 57 105 153 6 177 141 69 189 129 45 165 117 21 80 92 152 44 104 176 140 5 32 68 206 56 164 116 188 128 18 90 78 186 198 150 54 114 138 3 66 42 162 102 126 174 121 30 109 19 193 157 226 73 10 37 97 145 181 49 169 85 61 27 26 133 17 22 16 15 255 250 253 257 245 204 232 240 220 228 208 216 213 224 212 200 236 252 258 251 254 256 248 209 229 217 244 241 0 237 225 233 247 221 249 259 205 201 246 199 235 243 211 215 219 203 223 207 239 231 227 
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.163s
Starting Stackelberg bounded search...
 opt: 0.003 reg: 0 solved: 1 total time: 2.30597
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 2.30601
 opt: 0.002 reg: 0 solved: 1 total time: 2.31937
 opt: 0.003 reg: 0 solved: 1 total time: 2.32334
 opt: 0.005 reg: 0 solved: 1 total time: 2.32859
 opt: 0.003 reg: 0 solved: 1 total time: 2.33226
 opt: 0.004 reg: 0 solved: 1 total time: 2.33665
 opt: 0.004 reg: 0 solved: 1 total time: 2.34168
 opt: 0.005 reg: 0 solved: 1 total time: 2.34714
 opt: 0.004 reg: 0 solved: 1 total time: 2.35218
 opt: 0.006 reg: 0 solved: 1 total time: 2.35831
 opt: 0.006 reg: 0 solved: 1 total time: 2.36529
 opt: 0.005 reg: 0 solved: 1 total time: 2.37058
 opt: 0.005 reg: 0 solved: 1 total time: 2.37616
 opt: 0.011 reg: 0 solved: 2 total time: 2.38749
L = 1, leader states: 8192, follower subproblems: 8192, F:100000, total time: 2.38759
 opt: 0.022 reg: 0 solved: 3 total time: 2.42413
 opt: 0.034 reg: 0 solved: 3 total time: 2.45897
 opt: 0.023 reg: 0 solved: 2 total time: 2.48327
 opt: 0.047 reg: 0 solved: 4 total time: 2.53113
 opt: 0.025 reg: 0 solved: 3 total time: 2.55783
 opt: 0.099 reg: 0.001 solved: 4 total time: 2.65806
 opt: 0.046 reg: 0 solved: 3 total time: 2.70603
L = 2, leader states: 1.06288e+06, follower subproblems: 1.06288e+06, F:100000, total time: 2.70623
 opt: 0.05 reg: 0.001 solved: 4 total time: 2.77418
 opt: 0.043 reg: 0.001 solved: 4 total time: 2.81898
 opt: 0.022 reg: 0.001 solved: 2 total time: 2.84319
 opt: 0.035 reg: 0.003 solved: 3 total time: 2.88269
 opt: 0.041 reg: 0.007 solved: 4 total time: 2.93178
 opt: 0.113 reg: 0.007 solved: 4 total time: 3.05269
 opt: 0.111 reg: 0.004 solved: 4 total time: 3.16891
 opt: 0.088 reg: 0.007 solved: 3 total time: 3.26535
 opt: 0.108 reg: 0.004 solved: 4 total time: 3.37846
 opt: 0.143 reg: 0.003 solved: 4 total time: 3.52536
 opt: 0.124 reg: 0.002 solved: 4 total time: 3.65218
L = 3, leader states: 3.35544e+07, follower subproblems: 3.35544e+07, F:100000, total time: 3.65251
 opt: 0.045 reg: 0.009 solved: 3 total time: 3.72508
 opt: 0.043 reg: 0.016 solved: 4 total time: 3.78562
 opt: 0.043 reg: 0.003 solved: 4 total time: 3.83369
 opt: 0.041 reg: 0.003 solved: 4 total time: 3.87948
 opt: 0.117 reg: 0.004 solved: 4 total time: 4.00138
 opt: 0.029 reg: 0.001 solved: 2 total time: 4.03266
 opt: 0.129 reg: 0.003 solved: 4 total time: 4.16563
 opt: 0.054 reg: 0.005 solved: 4 total time: 4.22606
 opt: 0.075 reg: 0.011 solved: 6 total time: 4.31406
 opt: 0.058 reg: 0.025 solved: 5 total time: 4.3979
 opt: 0.071 reg: 0.026 solved: 6 total time: 4.49574
 opt: 0.082 reg: 0.002 solved: 6 total time: 4.581
 opt: 0.186 reg: 0.002 solved: 6 total time: 4.76993
 opt: 0.078 reg: 0.001 solved: 4 total time: 4.85019
 opt: 0.082 reg: 0.002 solved: 4 total time: 4.93511
 opt: 0.057 reg: 0.008 solved: 5 total time: 5.00178
 opt: 0.056 reg: 0.024 solved: 6 total time: 5.08285
 opt: 0.088 reg: 0.015 solved: 6 total time: 5.18757
 opt: 0.16 reg: 0.003 solved: 4 total time: 5.35213
 opt: 0.061 reg: 0.005 solved: 6 total time: 5.41939
 opt: 0.238 reg: 0.007 solved: 6 total time: 5.66625
 opt: 0.112 reg: 0.009 solved: 4 total time: 5.78776
 opt: 0.102 reg: 0.011 solved: 4 total time: 5.90221
 opt: 0.086 reg: 0.022 solved: 8 total time: 6.0114
 opt: 0.158 reg: 0.033 solved: 6 total time: 6.20317
 opt: 0.131 reg: 0.004 solved: 6 total time: 6.33866
 opt: 0.236 reg: 0.004 solved: 6 total time: 6.57896
 opt: 0.105 reg: 0.009 solved: 8 total time: 6.69484
 opt: 0.059 reg: 0.021 solved: 6 total time: 6.77593
 opt: 0.145 reg: 0.02 solved: 4 total time: 6.94201
 opt: 0.177 reg: 0.042 solved: 6 total time: 7.16175
 opt: 0.218 reg: 0.006 solved: 6 total time: 7.38648
 opt: 0.145 reg: 0.009 solved: 5 total time: 7.54237
 opt: 0.25 reg: 0.013 solved: 6 total time: 7.80631
 opt: 0.168 reg: 0.019 solved: 6 total time: 7.99481
 opt: 0.044 reg: 0.019 solved: 4 total time: 8.05943
 opt: 0.194 reg: 0.026 solved: 6 total time: 8.28094
 opt: 0.074 reg: 0.032 solved: 6 total time: 8.38894
 opt: 0.056 reg: 0.018 solved: 6 total time: 8.46452
 opt: 0.286 reg: 0.001 solved: 6 total time: 8.75245
 opt: 0.202 reg: 0.001 solved: 6 total time: 8.9568
 opt: 0.093 reg: 0.006 solved: 8 total time: 9.05745
 opt: 0.081 reg: 0.473 solved: 6 total time: 9.61173
 opt: 0.238 reg: 0.006 solved: 6 total time: 9.85752
 opt: 0.225 reg: 0.005 solved: 6 total time: 10.0887
 opt: 0.182 reg: 0.004 solved: 6 total time: 10.2761
 opt: 0.231 reg: 0.005 solved: 6 total time: 10.5134
 opt: 0.207 reg: 0.014 solved: 6 total time: 10.7357
 opt: 0.074 reg: 0.021 solved: 6 total time: 10.8318
 opt: 0.236 reg: 0.005 solved: 6 total time: 11.0743
 opt: 0.058 reg: 0.005 solved: 6 total time: 11.138
 opt: 0.178 reg: 0.007 solved: 6 total time: 11.3239
 opt: 0.145 reg: 0.006 solved: 6 total time: 11.4764
 opt: 0.19 reg: 0.005 solved: 6 total time: 11.6727
 opt: 0.06 reg: 0.008 solved: 6 total time: 11.7412
 opt: 0.2 reg: 0.008 solved: 6 total time: 11.9504
 opt: 0.193 reg: 0.007 solved: 6 total time: 12.1511
 opt: 0.057 reg: 0.016 solved: 6 total time: 12.2255
 opt: 0.056 reg: 0.025 solved: 6 total time: 12.3076
 opt: 0.211 reg: 0.029 solved: 6 total time: 12.5487
 opt: 0.235 reg: 0.03 solved: 6 total time: 12.8144
 opt: 0.168 reg: 0.03 solved: 6 total time: 13.0138
 opt: 0.164 reg: 0.037 solved: 8 total time: 13.2153
 opt: 0.136 reg: 0.009 solved: 6 total time: 13.3619
 opt: 0.204 reg: 0.008 solved: 6 total time: 13.5749
 opt: 0.212 reg: 0.006 solved: 6 total time: 13.7948
 opt: 0.209 reg: 0.007 solved: 6 total time: 14.0127
 opt: 0.209 reg: 0.017 solved: 6 total time: 14.2391
 opt: 0.101 reg: 0.032 solved: 8 total time: 14.3742
 opt: 0.056 reg: 0.035 solved: 6 total time: 14.4668
 opt: 0.098 reg: 0.027 solved: 9 total time: 14.5932
 opt: 0.235 reg: 0.016 solved: 6 total time: 14.8455
 opt: 0.051 reg: 0.021 solved: 6 total time: 14.9196
 opt: 0.209 reg: 0.018 solved: 6 total time: 15.1477
 opt: 0.196 reg: 0.021 solved: 6 total time: 15.3668
 opt: 0.215 reg: 0.035 solved: 6 total time: 15.6181
 opt: 0.205 reg: 0.028 solved: 6 total time: 15.8519
 opt: 0.084 reg: 0.003 solved: 6 total time: 15.94
 opt: 0.176 reg: 0.012 solved: 9 total time: 16.1288
 opt: 0.277 reg: 0.028 solved: 8 total time: 16.4355
 opt: 0.203 reg: 0.04 solved: 6 total time: 16.6797
 opt: 0.181 reg: 0.013 solved: 8 total time: 16.8749
 opt: 0.267 reg: 0.01 solved: 6 total time: 17.1531
 opt: 0.206 reg: 0.012 solved: 6 total time: 17.372
 opt: 0.169 reg: 0.016 solved: 8 total time: 17.5585
 opt: 0.197 reg: 0.01 solved: 6 total time: 17.7664
 opt: 0.256 reg: 0.011 solved: 6 total time: 18.0345
 opt: 0.152 reg: 0.02 solved: 6 total time: 18.2071
 opt: 0.194 reg: 0.022 solved: 6 total time: 18.4243
 opt: 0.236 reg: 0.026 solved: 6 total time: 18.6876
 opt: 0.327 reg: 0.038 solved: 8 total time: 19.0529
 opt: 0.238 reg: 0.019 solved: 6 total time: 19.3114
 opt: 0.262 reg: 0.019 solved: 6 total time: 19.5934
 opt: 0.223 reg: 0.021 solved: 6 total time: 19.8381
 opt: 0.094 reg: 0.047 solved: 8 total time: 19.9796
 opt: 0.107 reg: 0.046 solved: 8 total time: 20.1345
 opt: 0.278 reg: 0.037 solved: 8 total time: 20.4508
 opt: 0.142 reg: 0.046 solved: 6 total time: 20.6406
 opt: 0.22 reg: 0.491 solved: 6 total time: 21.3515
 opt: 0.235 reg: 0.006 solved: 6 total time: 21.5935
 opt: 0.106 reg: 0.025 solved: 10 total time: 21.7256
 opt: 0.229 reg: 0.005 solved: 6 total time: 21.9607
 opt: 0.089 reg: 0.016 solved: 8 total time: 22.0671
 opt: 0.096 reg: 0.024 solved: 8 total time: 22.1885
 opt: 0.278 reg: 0.003 solved: 6 total time: 22.4704
 opt: 0.259 reg: 0.002 solved: 6 total time: 22.7326
 opt: 0.089 reg: 0.007 solved: 8 total time: 22.8302
 opt: 0.225 reg: 0.008 solved: 6 total time: 23.0652
 opt: 0.248 reg: 0.005 solved: 6 total time: 23.3197
 opt: 0.201 reg: 0.012 solved: 6 total time: 23.5345
 opt: 0.197 reg: 0.025 solved: 8 total time: 23.7571
 opt: 0.102 reg: 0.013 solved: 12 total time: 23.8736
 opt: 0.306 reg: 0.014 solved: 8 total time: 24.1955
 opt: 0.095 reg: 0.045 solved: 8 total time: 24.3374
 opt: 0.277 reg: 0.023 solved: 8 total time: 24.6381
 opt: 0.257 reg: 0.019 solved: 8 total time: 24.9159
 opt: 0.311 reg: 0.031 solved: 8 total time: 25.2592
 opt: 0.281 reg: 0.025 solved: 8 total time: 25.5671
 opt: 0.209 reg: 0.029 solved: 6 total time: 25.8064
 opt: 0.215 reg: 0.005 solved: 9 total time: 26.0278
 opt: 0.095 reg: 0.015 solved: 8 total time: 26.1392
 opt: 0.094 reg: 0.034 solved: 8 total time: 26.2692
 opt: 0.202 reg: 0.007 solved: 8 total time: 26.4801
 opt: 0.306 reg: 0.01 solved: 8 total time: 26.7976
 opt: 0.128 reg: 0.015 solved: 8 total time: 26.9421
 opt: 0.326 reg: 0.017 solved: 8 total time: 27.2861
 opt: 0.164 reg: 0.018 solved: 8 total time: 27.4695
 opt: 0.173 reg: 0.017 solved: 8 total time: 27.661
 opt: 0.284 reg: 0.016 solved: 8 total time: 27.9621
 opt: 0.096 reg: 0.018 solved: 8 total time: 28.0775
 opt: 0.307 reg: 0.016 solved: 8 total time: 28.4019
 opt: 0.094 reg: 0.023 solved: 8 total time: 28.52
 opt: 0.116 reg: 0.038 solved: 10 total time: 28.675
 opt: 0.271 reg: 0.027 solved: 8 total time: 28.9735
 opt: 0.108 reg: 0.007 solved: 8 total time: 29.09
 opt: 0.1 reg: 0.008 solved: 8 total time: 29.1992
 opt: 0.276 reg: 0.006 solved: 8 total time: 29.4824
 opt: 0.215 reg: 0.008 solved: 8 total time: 29.7063
 opt: 0.101 reg: 0.028 solved: 8 total time: 29.837
 opt: 0.201 reg: 0.004 solved: 8 total time: 30.0434
 opt: 0.101 reg: 0.005 solved: 8 total time: 30.1503
 opt: 0.085 reg: 0.013 solved: 8 total time: 30.249
 opt: 0.078 reg: 0.029 solved: 6 total time: 30.357
 opt: 0.215 reg: 0.054 solved: 8 total time: 30.6271
 opt: 0.305 reg: 0.013 solved: 8 total time: 30.9464
 opt: 0.238 reg: 0.013 solved: 8 total time: 31.1985
 opt: 0.294 reg: 0.01 solved: 8 total time: 31.5037
 opt: 0.096 reg: 0.038 solved: 11 total time: 31.6393
 opt: 0.237 reg: 0.026 solved: 8 total time: 31.9034
 opt: 0.245 reg: 0.035 solved: 8 total time: 32.1845
 opt: 0.183 reg: 0.027 solved: 8 total time: 32.396
 opt: 0.28 reg: 0.008 solved: 8 total time: 32.6853
 opt: 0.358 reg: 0.013 solved: 8 total time: 33.0573
 opt: 0.323 reg: 0.012 solved: 8 total time: 33.3936
 opt: 0.34 reg: 0.009 solved: 8 total time: 33.7441
 opt: 0.218 reg: 0.016 solved: 8 total time: 33.9792
 opt: 0.277 reg: 0.024 solved: 8 total time: 34.2816
 opt: 0.29 reg: 0.027 solved: 8 total time: 34.6001
 opt: 0.238 reg: 0.028 solved: 8 total time: 34.8673
 opt: 0.289 reg: 0.024 solved: 8 total time: 35.1814
 opt: 0.246 reg: 0.027 solved: 8 total time: 35.4556
 opt: 0.755 reg: 0.034 solved: 8 total time: 36.2457
 opt: 0.264 reg: 0.041 solved: 8 total time: 36.5518
 opt: 0.361 reg: 0.01 solved: 8 total time: 36.9238
 opt: 0.292 reg: 0.008 solved: 8 total time: 37.2251
 opt: 0.108 reg: 0.016 solved: 8 total time: 37.3501
 opt: 0.342 reg: 0.014 solved: 8 total time: 37.707
 opt: 0.355 reg: 0.017 solved: 8 total time: 38.0799
 opt: 0.246 reg: 0.022 solved: 8 total time: 38.349
 opt: 0.297 reg: 0.027 solved: 8 total time: 38.6739
 opt: 0.352 reg: 0.037 solved: 8 total time: 39.0635
 opt: 0.253 reg: 0.034 solved: 8 total time: 39.3521
 opt: 0.187 reg: 0.038 solved: 8 total time: 39.5794
 opt: 0.372 reg: 0.035 solved: 8 total time: 39.9882
 opt: 0.215 reg: 0.042 solved: 8 total time: 40.2466
 opt: 0.112 reg: 0.053 solved: 10 total time: 40.4134
 opt: 0.308 reg: 0.013 solved: 8 total time: 40.7356
 opt: 0.266 reg: 0.022 solved: 8 total time: 41.0252
 opt: 0.276 reg: 0.018 solved: 8 total time: 41.3205
 opt: 0.297 reg: 0.018 solved: 8 total time: 41.6367
 opt: 0.314 reg: 0.02 solved: 8 total time: 41.9723
 opt: 0.098 reg: 0.053 solved: 10 total time: 42.1247
 opt: 0.308 reg: 0.008 solved: 8 total time: 42.4427
 opt: 0.346 reg: 0.004 solved: 8 total time: 42.7939
 opt: 0.218 reg: 0.018 solved: 8 total time: 43.031
 opt: 0.297 reg: 0.042 solved: 8 total time: 43.3711
 opt: 0.284 reg: 0.005 solved: 8 total time: 43.6611
 opt: 0.307 reg: 0.004 solved: 8 total time: 43.9733
 opt: 0.317 reg: 0.006 solved: 8 total time: 44.2982
 opt: 0.294 reg: 0.005 solved: 8 total time: 44.5984
 opt: 0.207 reg: 0.014 solved: 6 total time: 44.8206
 opt: 0.118 reg: 0.035 solved: 10 total time: 44.9748
 opt: 0.269 reg: 0.016 solved: 8 total time: 45.2613
 opt: 0.255 reg: 0.02 solved: 8 total time: 45.5375
 opt: 0.109 reg: 0.018 solved: 8 total time: 45.6661
 opt: 0.344 reg: 0.025 solved: 8 total time: 46.036
 opt: 0.278 reg: 0.036 solved: 8 total time: 46.3511
 opt: 0.288 reg: 0.005 solved: 8 total time: 46.6462
 opt: 0.377 reg: 0.012 solved: 10 total time: 47.0362
 opt: 0.22 solved: 2147483647 total time: 47.2566
L = 4, leader states: 4.88281e+08, follower subproblems: 4.88281e+08, F:2147483647, total time: 47.3126
Search time: 45.067s
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_next-step t0 t1 blaststepdone
				 fix_switch t1 s97 blaststepdone
				 fix_switch t1 s74 blaststepdone
				 fix_switch t1 s48 blaststepdone
				 fix_switch t1 s45 blaststepdone
				 fix_switch t1 s22 blaststepdone
				 fix_switch t1 s100 blaststepdone
				 fix_next-step t1 t2 blaststepdone
				 fix_switch t2 s96 blaststepdone
				 fix_switch t2 s71 blaststepdone
				 fix_switch t2 s70 blaststepdone
				 fix_switch t2 s44 blaststepdone
				 fix_switch t2 s19 blaststepdone
				 fix_switch t2 s18 blaststepdone
				 fix_next-step t2 t3 blaststepdone
				 fix_last-step t3 blaststepdone
	 attacker plan: 
		 <unsolvable>
END Pareto-frontier
Total follower searches: 232
Solved by optimal solver: 232
Solved by cost bounded solver: 0
Optimally solved follower subproblems: 232
Solved follower subproblems: 232
Optimal solver time: 40.092s
Cost-bounded solver time: 0s
Follower search time: 40.092s
Total time: 47.3316s
Optimal engine:
Peak memory: 633580 KB
@@@T49735@@@
Done!
real 50.03
user 49.08
sys 0.71
