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/Interoute_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/Interoute_2.pddl
Parsing...
Parsing: [0.010s CPU, 0.012s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.004s 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.210s CPU, 0.215s wall-clock]
4434 relevant atoms
7469 auxiliary atoms
11903 final queue length
15594 total queue pushes
Completing instantiation... [0.220s CPU, 0.221s wall-clock]
Instantiating: [0.460s CPU, 0.463s 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...
252 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.020s CPU, 0.022s wall-clock]
Translating task: [0.280s CPU, 0.284s 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.039s wall-clock]
Translator variables: 254
Translator derived variables: 0
Translator facts: 546
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 43
Translator operators: 3539
Translator axioms: 0
Translator task size: 19920
Translator peak memory: 33248 KB
Writing output... [0.050s CPU, 0.047s wall-clock]
Done! [0.870s CPU, 0.877s 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.
254 variables of 254 necessary
0 of 3 mutex groups necessary.
3539 of 3539 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 546 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=64516, notReached=232492, spurious=1108
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=287816, notReached=9192, spurious=1108
12 operators are spurious because were not triggered
H^2 mutexes added fw: 9192, unreachable: 0
0 of 3527 operators detected as spurious
Total mutex and disambiguation time: 0.82933 iterations: 2
4596 of 4596 mutex groups necessary.
3527 of 3539 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 3527
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 254
4596 of 4596 mutex groups necessary.
3527 of 3527 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
254 variables of 254 of 254 necessary
The causal graph is not acyclic.
254 variables of 254 necessary
4596 of 4596 mutex groups necessary.
3527 of 3527 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 254
Preprocessor facts: 546
Preprocessor derived variables: 0
Preprocessor operators: 3527
Preprocessor mutex groups: 4596
Preprocessor task size: 29008
Writing output...
Preprocessor time: 1.01324s
Preprocessor peak memory: 13068 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.000366093s]
Simplifying transitions... done!
done reading input! [t=0.0973049s]
building causal graph...done! [t=0.100144s]
packing state variables...Variables: 254
Bytes per state: 36
done! [t=0.100363s]
done initalizing global data [t=0.100367s]
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() = 3318
leader_operators.size() = 209
Initializing Symbolic Variables
Sym variable order: 1 197 236 18 65 16 125 149 53 41 14 101 89 173 77 137 185 161 150 113 114 174 102 42 186 162 3 30 126 54 138 66 78 90 27 198 94 82 34 106 166 70 212 46 130 7 118 58 190 142 154 178 55 163 25 91 139 201 187 127 67 4 115 31 175 43 188 79 151 19 103 176 80 32 205 128 56 44 104 5 140 164 68 152 92 26 192 116 20 24 84 144 156 180 48 72 219 9 132 168 36 71 108 96 2 120 143 131 17 60 179 59 83 215 35 8 167 47 95 119 107 191 155 222 85 157 97 169 109 181 145 10 37 193 73 61 121 133 49 111 51 39 99 135 195 75 12 63 123 171 230 87 147 62 50 183 21 159 98 86 226 74 182 11 38 170 194 146 158 134 28 110 122 57 141 29 177 93 117 105 45 69 6 81 189 209 129 153 33 160 52 165 64 184 112 172 100 13 76 40 148 88 233 196 124 23 136 15 22 216 231 202 237 227 213 234 206 223 210 251 203 253 207 247 224 228 221 245 0 220 199 200 246 239 250 249 238 252 217 218 208 204 225 229 214 235 232 211 248 244 241 240 242 243 
Num variables: 254 => 263
Initialize Symbolic Manager(526, 30418, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 262 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 0.159s
Starting Stackelberg bounded search...
 opt: 0.169 reg: 0 solved: 1 total time: 2.41641
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 2.41647
 opt: 0.053 reg: 0 solved: 1 total time: 2.48122
 opt: 0.053 reg: 0 solved: 1 total time: 2.5351
 opt: 0.055 reg: 0 solved: 1 total time: 2.59089
 opt: 0.054 reg: 0 solved: 1 total time: 2.64536
 opt: 0.054 reg: 0 solved: 1 total time: 2.70035
 opt: 0.055 reg: 0 solved: 1 total time: 2.75608
 opt: 0.056 reg: 0 solved: 1 total time: 2.81311
 opt: 0.056 reg: 0 solved: 1 total time: 2.86929
 opt: 0.055 reg: 0 solved: 1 total time: 2.92527
 opt: 0.056 reg: 0 solved: 1 total time: 2.98194
 opt: 0.055 reg: 0 solved: 1 total time: 3.03716
 opt: 0.133 reg: 0 solved: 1 total time: 3.17064
 opt: 0.207 reg: 0 solved: 2 total time: 3.37772
L = 1, leader states: 8192, follower subproblems: 8192, F:100000, total time: 3.37785
 opt: 0.085 reg: 0 solved: 2 total time: 3.47786
 opt: 0.072 reg: 0 solved: 2 total time: 3.55102
L = 2, leader states: 1.06288e+06, follower subproblems: 1.06288e+06, F:100000, total time: 3.55116
 opt: 0.075 reg: 0 solved: 2 total time: 3.64363
 opt: 0.104 reg: 0 solved: 4 total time: 3.74869
 opt: 0.082 reg: 0 solved: 3 total time: 3.83245
 opt: 0.129 reg: 0 solved: 3 total time: 3.96283
 opt: 0.09 reg: 0.001 solved: 4 total time: 4.05604
 opt: 0.116 reg: 0.003 solved: 4 total time: 4.177
 opt: 0.089 reg: 0.007 solved: 3 total time: 4.27465
 opt: 0.141 reg: 0.007 solved: 3 total time: 4.42465
 opt: 0.142 reg: 0.009 solved: 4 total time: 4.57763
 opt: 0.118 reg: 0.011 solved: 4 total time: 4.70796
L = 3, leader states: 3.35544e+07, follower subproblems: 3.35544e+07, F:100000, total time: 4.70871
 opt: 0.09 reg: 0.013 solved: 3 total time: 4.83023
 opt: 0.079 reg: 0.002 solved: 2 total time: 4.9122
 opt: 0.122 reg: 0.003 solved: 4 total time: 5.03868
 opt: 0.105 reg: 0.005 solved: 4 total time: 5.15003
 opt: 0.149 reg: 0.006 solved: 4 total time: 5.30661
 opt: 0.119 reg: 0.01 solved: 4 total time: 5.43641
 opt: 0.191 reg: 0.009 solved: 4 total time: 5.63775
 opt: 0.117 reg: 0.01 solved: 4 total time: 5.76641
 opt: 0.157 reg: 0.004 solved: 4 total time: 5.92907
 opt: 0.125 reg: 0.003 solved: 4 total time: 6.05893
 opt: 0.132 reg: 0.003 solved: 4 total time: 6.19605
 opt: 0.148 reg: 0.005 solved: 4 total time: 6.35069
 opt: 0.165 reg: 0.002 solved: 4 total time: 6.51972
 opt: 0.172 reg: 0.002 solved: 4 total time: 6.69556
 opt: 0.119 reg: 0.003 solved: 4 total time: 6.81854
 opt: 0.111 reg: 0.003 solved: 4 total time: 6.93383
 opt: 0.156 reg: 0.002 solved: 4 total time: 7.09404
 opt: 0.152 reg: 0.003 solved: 4 total time: 7.24983
 opt: 0.195 reg: 0.002 solved: 4 total time: 7.44856
L = 4, leader states: 4.88281e+08, follower subproblems: 4.88281e+08, F:100000, total time: 7.44945
 opt: 0.108 reg: 0.01 solved: 5 total time: 7.58745
 opt: 0.084 reg: 0.008 solved: 2 total time: 7.6809
 opt: 0.115 reg: 0.017 solved: 4 total time: 7.81354
 opt: 0.577 reg: 0.016 solved: 4 total time: 8.40757
 opt: 0.749 reg: 0.003 solved: 4 total time: 9.16084
 opt: 0.162 reg: 0.004 solved: 4 total time: 9.32843
 opt: 0.193 reg: 0.004 solved: 4 total time: 9.52729
 opt: 0.138 reg: 0.009 solved: 3 total time: 9.67591
 opt: 0.153 reg: 0.006 solved: 4 total time: 9.83629
 opt: 0.157 reg: 0.002 solved: 4 total time: 9.99657
 opt: 0.158 reg: 0.005 solved: 4 total time: 10.1615
 opt: 0.139 reg: 0.015 solved: 5 total time: 10.3163
 opt: 0.242 reg: 0.017 solved: 4 total time: 10.5774
 opt: 0.224 reg: 0.007 solved: 4 total time: 10.8103
 opt: 0.242 reg: 0.017 solved: 4 total time: 11.0715
 opt: 0.159 reg: 0.024 solved: 8 total time: 11.2565
 opt: 0.154 reg: 0.013 solved: 4 total time: 11.4243
 opt: 0.194 reg: 0.01 solved: 4 total time: 11.6302
 opt: 0.16 reg: 0.027 solved: 4 total time: 11.8187
 opt: 0.197 reg: 0.024 solved: 4 total time: 12.0411
 opt: 0.14 reg: 0.029 solved: 6 total time: 12.2117
 opt: 0.203 reg: 0.011 solved: 4 total time: 12.4274
 opt: 0.169 reg: 0.005 solved: 4 total time: 12.6031
 opt: 0.194 reg: 0.007 solved: 4 total time: 12.8061
 opt: 0.182 reg: 0.02 solved: 5 total time: 13.0098
 opt: 0.228 reg: 0.027 solved: 4 total time: 13.2661
 opt: 0.209 reg: 0.042 solved: 5 total time: 13.5191
 opt: 0.156 reg: 0.017 solved: 6 total time: 13.6937
 opt: 0.191 reg: 0.002 solved: 4 total time: 13.8883
 opt: 0.163 reg: 0.021 solved: 7 total time: 14.0738
 opt: 0.248 reg: 0.033 solved: 8 total time: 14.3541
 opt: 0.182 reg: 0.002 solved: 4 total time: 14.5399
 opt: 0.152 reg: 0.02 solved: 8 total time: 14.7133
 opt: 0.195 reg: 0.037 solved: 8 total time: 14.9475
 opt: 0.23 reg: 0.002 solved: 4 total time: 15.1813
 opt: 0.231 reg: 0.005 solved: 4 total time: 15.4193
 opt: 0.211 reg: 0.014 solved: 8 total time: 15.6457
 opt: 0.159 reg: 0.038 solved: 9 total time: 15.8438
 opt: 0.201 reg: 0.007 solved: 4 total time: 16.0535
 opt: 0.173 reg: 0.005 solved: 4 total time: 16.2324
 opt: 0.211 reg: 0.013 solved: 8 total time: 16.4585
 opt: 1.412 reg: 0.016 solved: 4 total time: 17.8859
 opt: 0.239 reg: 0.023 solved: 4 total time: 18.1497
 opt: 0.231 reg: 0.004 solved: 4 total time: 18.3866
 opt: 0.239 reg: 0.004 solved: 4 total time: 18.6307
 opt: 0.235 reg: 0.005 solved: 8 total time: 18.8726
 opt: 0.17 reg: 0.032 solved: 8 total time: 19.0757
 opt: 0.222 reg: 0.027 solved: 8 total time: 19.3264
 opt: 0.232 reg: 0.014 solved: 8 total time: 19.5732
 opt: 0.228 reg: 0.02 solved: 9 total time: 19.8232
 opt: 0.228 reg: 0.038 solved: 8 total time: 20.0905
 opt: 0.214 reg: 0.023 solved: 8 total time: 20.328
 opt: 0.222 reg: 0.015 solved: 8 total time: 20.5656
 opt: 0.265 reg: 0.013 solved: 8 total time: 20.8446
 opt: 0.25 reg: 0.031 solved: 8 total time: 21.1274
 opt: 0.245 reg: 0.056 solved: 8 total time: 21.4297
 opt: 0.25 reg: 0.023 solved: 8 total time: 21.7043
 opt: 0.215 reg: 0.039 solved: 8 total time: 21.9591
 opt: 0.263 reg: 0.024 solved: 8 total time: 22.2477
 opt: 0.216 reg: 0.016 solved: 8 total time: 22.4812
 opt: 0.236 reg: 0.018 solved: 8 total time: 22.7372
 opt: 0.221 reg: 0.021 solved: 8 total time: 22.9813
 opt: 0.216 reg: 0.026 solved: 8 total time: 23.2249
 opt: 0.24 reg: 0.023 solved: 8 total time: 23.4899
 opt: 0.317 reg: 0.047 solved: 8 total time: 23.855
 opt: 0.225 reg: 0.012 solved: 8 total time: 24.0936
 opt: 0.207 reg: 0.016 solved: 8 total time: 24.3177
 opt: 0.239 reg: 0.025 solved: 8 total time: 24.5828
 opt: 0.736 reg: 0.027 solved: 8 total time: 25.3456
 opt: 0.93 reg: 0.033 solved: 8 total time: 26.3091
 opt: 0.319 reg: 0.046 solved: 8 total time: 26.6754
 opt: 0.222 reg: 0.015 solved: 8 total time: 26.9138
 opt: 0.241 reg: 0.016 solved: 8 total time: 27.173
 opt: 0.242 reg: 0.014 solved: 8 total time: 27.4304
 opt: 0.224 reg: 0.014 solved: 8 total time: 27.6696
 opt: 0.219 reg: 0.014 solved: 8 total time: 27.9045
 opt: 0.24 reg: 0.023 solved: 8 total time: 28.1693
 opt: 0.232 reg: 0.025 solved: 8 total time: 28.4276
 opt: 0.212 reg: 0.047 solved: 8 total time: 28.6878
 opt: 0.369 reg: 0.032 solved: 8 total time: 29.09
 opt: 0.232 reg: 0.012 solved: 8 total time: 29.335
 opt: 0.212 reg: 0.016 solved: 8 total time: 29.5639
 opt: 0.242 reg: 0.012 solved: 8 total time: 29.8193
 opt: 0.243 reg: 0.017 solved: 8 total time: 30.0817
 opt: 0.224 reg: 0.017 solved: 8 total time: 30.3243
 opt: 0.315 reg: 0.02 solved: 8 total time: 30.6604
 opt: 0.226 reg: 0.027 solved: 8 total time: 30.9153
 opt: 0.224 reg: 0.019 solved: 8 total time: 31.1601
 opt: 0.227 reg: 0.027 solved: 8 total time: 31.4163
 opt: 0.223 reg: 0.046 solved: 8 total time: 31.6865
 opt: 0.221 reg: 0.563 solved: 8 total time: 32.471
 opt: 0.822 reg: 0.041 solved: 8 total time: 33.3352
 opt: 0.226 reg: 0.045 solved: 8 total time: 33.6083
 opt: 0.363 reg: 0.04 solved: 8 total time: 34.0124
 opt: 0.265 reg: 0.016 solved: 8 total time: 34.2957
 opt: 0.223 reg: 0.021 solved: 8 total time: 34.5407
 opt: 0.266 reg: 0.028 solved: 8 total time: 34.8355
 opt: 0.331 reg: 0.026 solved: 8 total time: 35.1935
 opt: 0.226 reg: 0.051 solved: 8 total time: 35.4722
 opt: 0.225 reg: 0.028 solved: 8 total time: 35.7271
 opt: 0.218 reg: 0.029 solved: 8 total time: 35.9757
 opt: 0.254 reg: 0.036 solved: 8 total time: 36.2675
 opt: 0.204 reg: 0.052 solved: 8 total time: 36.5247
 opt: 0.32 reg: 0.017 solved: 8 total time: 36.863
 opt: 0.234 reg: 0.028 solved: 8 total time: 37.1269
 opt: 0.312 reg: 0.056 solved: 8 total time: 37.496
 opt: 0.298 reg: 0.036 solved: 8 total time: 37.8312
 opt: 0.261 reg: 0.021 solved: 8 total time: 38.1157
 opt: 0.231 reg: 0.026 solved: 8 total time: 38.3738
 opt: 0.249 reg: 0.021 solved: 8 total time: 38.6449
 opt: 0.22 reg: 0.043 solved: 8 total time: 38.9098
 opt: 0.221 reg: 0.051 solved: 8 total time: 39.1827
 opt: 0.281 reg: 0.056 solved: 8 total time: 39.5217
 opt: 0.258 reg: 0.024 solved: 8 total time: 39.8054
 opt: 0.23 reg: 0.021 solved: 8 total time: 40.0578
 opt: 0.278 reg: 0.032 solved: 8 total time: 40.3699
 opt: 0.229 reg: 0.027 solved: 8 total time: 40.6268
 opt: 0.259 reg: 0.04 solved: 8 total time: 40.9271
 opt: 0.253 reg: 0.056 solved: 8 total time: 41.2375
 opt: 0.225 reg: 0.061 solved: 8 total time: 41.5248
 opt: 0.251 reg: 0.065 solved: 8 total time: 41.8427
 opt: 0.271 reg: 0.071 solved: 8 total time: 42.1864
 opt: 0.234 reg: 0.024 solved: 8 total time: 42.4451
 opt: 0.258 reg: 0.032 solved: 8 total time: 42.7359
 opt: 0.243 reg: 0.034 solved: 8 total time: 43.014
 opt: 0.276 reg: 0.055 solved: 8 total time: 43.3461
 opt: 0.248 reg: 0.674 solved: 8 total time: 44.2681
 opt: 0.85 reg: 0.026 solved: 8 total time: 45.1457
 opt: 0.266 reg: 0.042 solved: 8 total time: 45.4553
 opt: 0.292 reg: 0.044 solved: 8 total time: 45.7926
 opt: 0.264 reg: 0.027 solved: 8 total time: 46.0851
 opt: 0.227 reg: 0.047 solved: 8 total time: 46.3602
 opt: 0.249 reg: 0.059 solved: 8 total time: 46.669
 opt: 0.216 reg: 0.066 solved: 8 total time: 46.9527
 opt: 0.215 reg: 0.072 solved: 8 total time: 47.2406
 opt: 0.279 reg: 0.023 solved: 8 total time: 47.5435
 opt: 0.34 reg: 0.025 solved: 8 total time: 47.91
 opt: 0.354 reg: 0.028 solved: 8 total time: 48.2928
 opt: 0.221 reg: 0.045 solved: 8 total time: 48.5602
 opt: 0.263 reg: 0.055 solved: 8 total time: 48.8805
 opt: 0.22 reg: 0.071 solved: 8 total time: 49.1726
 opt: 0.271 reg: 0.063 solved: 8 total time: 49.5079
 opt: 0.296 reg: 0.075 solved: 8 total time: 49.88
 opt: 0.258 reg: 0.046 solved: 8 total time: 50.1847
 opt: 0.171 reg: 0.116 solved: 9 total time: 50.4734
 opt: 0.252 reg: 0.062 solved: 8 total time: 50.7892
 opt: 0.25 reg: 0.632 solved: 8 total time: 51.6712
 opt: 0.881 reg: 0.022 solved: 8 total time: 52.5755
 opt: 0.229 reg: 0.024 solved: 8 total time: 52.8298
 opt: 0.232 reg: 0.026 solved: 8 total time: 53.0897
 opt: 0.214 reg: 0.03 solved: 8 total time: 53.3349
 opt: 0.276 reg: 0.032 solved: 8 total time: 53.6443
 opt: 0.31 reg: 0.039 solved: 8 total time: 53.9945
 opt: 0.313 reg: 0.051 solved: 8 total time: 54.3599
 opt: 0.223 reg: 0.046 solved: 8 total time: 54.6303
 opt: 0.222 reg: 0.053 solved: 8 total time: 54.9061
 opt: 0.277 reg: 0.058 solved: 8 total time: 55.2402
 opt: 0.324 reg: 0.065 solved: 8 total time: 55.63
 opt: 0.264 reg: 0.08 solved: 8 total time: 55.9752
 opt: 0.223 reg: 0.051 solved: 8 total time: 56.2509
 opt: 0.225 reg: 0.054 solved: 8 total time: 56.5318
 opt: 0.345 reg: 0.053 solved: 8 total time: 56.9317
 opt: 0.262 reg: 0.083 solved: 8 total time: 57.2782
 opt: 0.25 reg: 0.032 solved: 8 total time: 57.562
 opt: 0.284 reg: 0.05 solved: 8 total time: 57.8973
 opt: 0.229 reg: 0.043 solved: 8 total time: 58.1716
 opt: 0.32 reg: 0.039 solved: 8 total time: 58.5318
 opt: 0.239 reg: 0.679 solved: 8 total time: 59.4505
 opt: 0.863 reg: 0.043 solved: 8 total time: 60.3571
 opt: 0.367 reg: 0.052 solved: 8 total time: 60.7769
 opt: 0.335 reg: 0.066 solved: 8 total time: 61.179
 opt: 0.28 reg: 0.039 solved: 8 total time: 61.4999
 opt: 0.218 reg: 0.03 solved: 8 total time: 61.7498
 opt: 0.228 reg: 0.028 solved: 8 total time: 62.0069
 opt: 0.205 reg: 0.116 solved: 8 total time: 62.329
 opt: 0.354 reg: 0.056 solved: 8 total time: 62.7406
 opt: 0.292 reg: 0.103 solved: 8 total time: 63.1367
 opt: 0.237 reg: 0.067 solved: 8 total time: 63.4423
 opt: 0.289 reg: 0.024 solved: 8 total time: 63.7569
 opt: 0.324 reg: 0.04 solved: 8 total time: 64.1219
 opt: 0.236 reg: 0.038 solved: 8 total time: 64.3972
 opt: 0.215 reg: 0.052 solved: 8 total time: 64.6663
 opt: 0.265 reg: 0.048 solved: 8 total time: 64.9805
 opt: 0.294 reg: 0.645 solved: 8 total time: 65.9198
 opt: 0.859 reg: 0.057 solved: 8 total time: 66.8368
 opt: 0.239 reg: 0.024 solved: 8 total time: 67.1013
 opt: 0.33 reg: 0.038 solved: 8 total time: 67.471
 opt: 0.227 reg: 0.039 solved: 8 total time: 67.7383
 opt: 0.217 reg: 0.036 solved: 8 total time: 67.9923
 opt: 0.26 reg: 0.046 solved: 8 total time: 68.2997
 opt: 0.279 reg: 0.06 solved: 8 total time: 68.6408
 opt: 0.297 reg: 0.072 solved: 8 total time: 69.0103
 opt: 0.255 reg: 0.029 solved: 8 total time: 69.2952
 opt: 0.29 reg: 0.05 solved: 8 total time: 69.6369
 opt: 0.183 reg: 0.048 solved: 9 total time: 69.8688
 opt: 0.292 reg: 0.085 solved: 8 total time: 70.2474
 opt: 0.283 reg: 0.067 solved: 8 total time: 70.598
 opt: 0.348 reg: 0.057 solved: 8 total time: 71.0041
 opt: 0.37 reg: 0.031 solved: 8 total time: 71.4062
 opt: 0.279 reg: 0.052 solved: 8 total time: 71.7378
 opt: 0.328 reg: 0.611 solved: 8 total time: 72.6773
 opt: 0.937 reg: 0.073 solved: 8 total time: 73.6883
 opt: 0.303 reg: 0.05 solved: 8 total time: 74.0422
 opt: 0.243 reg: 0.017 solved: 8 total time: 74.304
 opt: 0.294 reg: 0.033 solved: 8 total time: 74.6329
 opt: 0.344 reg: 0.055 solved: 8 total time: 75.0338
 opt: 0.306 reg: 0.046 solved: 8 total time: 75.3871
 opt: 0.341 reg: 0.035 solved: 8 total time: 75.7631
 opt: 0.293 reg: 0.059 solved: 8 total time: 76.1169
 opt: 0.277 reg: 0.033 solved: 8 total time: 76.4277
 opt: 0.291 reg: 0.048 solved: 8 total time: 76.7678
 opt: 0.25 reg: 0.057 solved: 8 total time: 77.0761
 opt: 0.226 reg: 0.09 solved: 8 total time: 77.3927
 opt: 0.298 reg: 0.057 solved: 8 total time: 77.7491
 opt: 0.265 reg: 0.077 solved: 8 total time: 78.0925
 opt: 0.889 reg: 0.027 solved: 8 total time: 79.0088
 opt: 0.844 reg: 0.046 solved: 8 total time: 79.899
 opt: 0.26 reg: 0.025 solved: 8 total time: 80.1853
 opt: 0.325 reg: 0.032 solved: 8 total time: 80.5431
 opt: 0.388 reg: 0.043 solved: 8 total time: 80.9749
 opt: 0.333 reg: 0.056 solved: 8 total time: 81.3653
 opt: 0.306 reg: 0.099 solved: 8 total time: 81.7724
 opt: 0.367 reg: 0.025 solved: 8 total time: 82.1658
 opt: 0.349 reg: 0.04 solved: 8 total time: 82.5558
 opt: 0.288 reg: 0.044 solved: 8 total time: 82.8895
 opt: 0.263 reg: 0.036 solved: 8 total time: 83.1896
 opt: 0.373 reg: 0.034 solved: 8 total time: 83.5981
 opt: 0.36 reg: 0.102 solved: 8 total time: 84.0611
 opt: 0.265 reg: 0.041 solved: 8 total time: 84.3686
 opt: 0.215 reg: 0.049 solved: 8 total time: 84.6347
 opt: 0.252 reg: 0.07 solved: 8 total time: 84.9576
 opt: 0.245 reg: 0.044 solved: 8 total time: 85.2475
 opt: 0.329 reg: 0.083 solved: 8 total time: 85.6615
 opt: 0.896 reg: 0.043 solved: 8 total time: 86.6011
 opt: 0.794 reg: 0.023 solved: 8 total time: 87.4197
 opt: 0.384 reg: 0.031 solved: 8 total time: 87.8361
 opt: 0.235 reg: 0.064 solved: 8 total time: 88.1368
 opt: 0.288 reg: 0.077 solved: 8 total time: 88.5032
 opt: 0.385 reg: 0.084 solved: 8 total time: 88.9729
 opt: 0.281 reg: 0.025 solved: 8 total time: 89.2795
 opt: 0.282 reg: 0.031 solved: 8 total time: 89.5935
 opt: 0.279 reg: 0.036 solved: 8 total time: 89.9104
 opt: 0.333 reg: 0.062 solved: 8 total time: 90.3058
 opt: 0.353 reg: 0.054 solved: 8 total time: 90.7137
 opt: 0.312 reg: 0.032 solved: 8 total time: 91.0587
 opt: 0.339 reg: 0.036 solved: 8 total time: 91.435
 opt: 0.303 reg: 0.037 solved: 8 total time: 91.776
 opt: 0.251 reg: 0.065 solved: 8 total time: 92.0933
 opt: 0.263 reg: 0.676 solved: 8 total time: 93.0324
 opt: 0.836 reg: 0.043 solved: 8 total time: 93.9129
 opt: 0.276 reg: 0.027 solved: 8 total time: 94.2168
 opt: 0.344 reg: 0.03 solved: 8 total time: 94.5926
 opt: 0.331 reg: 0.028 solved: 8 total time: 94.9535
 opt: 0.381 reg: 0.036 solved: 8 total time: 95.372
 opt: 0.269 reg: 0.041 solved: 8 total time: 95.6839
 opt: 0.298 reg: 0.064 solved: 8 total time: 96.0479
 opt: 0.246 reg: 0.05 solved: 8 total time: 96.3447
 opt: 0.243 reg: 0.03 solved: 8 total time: 96.6186
 opt: 0.323 reg: 0.052 solved: 8 total time: 96.9949
 opt: 0.311 reg: 0.048 solved: 8 total time: 97.3554
 opt: 0.224 reg: 0.053 solved: 8 total time: 97.6336
 opt: 0.262 reg: 0.048 solved: 8 total time: 97.9448
 opt: 0.313 reg: 0.082 solved: 8 total time: 98.3406
 opt: 0.348 reg: 0.045 solved: 8 total time: 98.7349
 opt: 0.274 reg: 0.665 solved: 8 total time: 99.6739
 opt: 0.833 reg: 0.083 solved: 8 total time: 100.591
 opt: 0.273 reg: 0.063 solved: 8 total time: 100.929
 opt: 0.235 reg: 0.055 solved: 8 total time: 101.22
 opt: 0.244 reg: 0.055 solved: 8 total time: 101.52
 opt: 0.308 reg: 0.064 solved: 8 total time: 101.894
 opt: 0.24 reg: 0.023 solved: 8 total time: 102.159
 opt: 0.238 reg: 0.04 solved: 8 total time: 102.437
 opt: 0.257 reg: 0.04 solved: 8 total time: 102.736
 opt: 0.358 reg: 0.066 solved: 8 total time: 103.162
 opt: 0.245 reg: 0.072 solved: 8 total time: 103.481
 opt: 0.22 reg: 0.087 solved: 8 total time: 103.79
 opt: 0.305 reg: 0.056 solved: 8 total time: 104.152
 opt: 0.361 reg: 0.705 solved: 8 total time: 105.217
 opt: 0.827 reg: 0.049 solved: 8 total time: 106.094
 opt: 0.269 reg: 0.055 solved: 8 total time: 106.418
 opt: 0.271 reg: 0.077 solved: 8 total time: 106.768
 opt: 0.33 reg: 0.076 solved: 8 total time: 107.176
 opt: 0.297 reg: 0.078 solved: 8 total time: 107.552
 opt: 0.252 reg: 0.065 solved: 8 total time: 107.871
 opt: 0.374 reg: 0.045 solved: 8 total time: 108.292
 opt: 0.27 reg: 0.083 solved: 8 total time: 108.646
 opt: 0.362 reg: 0.054 solved: 8 total time: 109.064
 opt: 0.272 reg: 0.07 solved: 8 total time: 109.408
 opt: 0.348 reg: 0.045 solved: 8 total time: 109.802
 opt: 0.345 reg: 0.041 solved: 8 total time: 110.19
 opt: 0.246 reg: 0.661 solved: 8 total time: 111.097
 opt: 0.848 reg: 0.052 solved: 8 total time: 111.998
 opt: 0.263 reg: 0.076 solved: 8 total time: 112.338
 opt: 0.258 reg: 0.038 solved: 8 total time: 112.636
 opt: 0.263 reg: 0.035 solved: 8 total time: 112.935
 opt: 0.344 reg: 0.04 solved: 8 total time: 113.321
 opt: 0.271 reg: 0.044 solved: 8 total time: 113.638
 opt: 0.271 reg: 0.073 solved: 8 total time: 113.984
 opt: 0.249 reg: 0.1 solved: 8 total time: 114.334
 opt: 0.302 reg: 0.036 solved: 8 total time: 114.673
 opt: 0.389 reg: 0.029 solved: 8 total time: 115.092
 opt: 0.304 reg: 0.043 solved: 8 total time: 115.441
 opt: 0.361 reg: 0.046 solved: 8 total time: 115.849
 opt: 0.353 reg: 0.063 solved: 8 total time: 116.267
 opt: 0.363 reg: 0.053 solved: 8 total time: 116.683
 opt: 0.321 reg: 0.067 solved: 8 total time: 117.073
 opt: 0.293 reg: 0.069 solved: 8 total time: 117.435
 opt: 0.395 reg: 0.691 solved: 8 total time: 118.521
 opt: 0.943 reg: 0.032 solved: 8 total time: 119.497
 opt: 0.347 reg: 0.075 solved: 8 total time: 119.92
 opt: 0.381 reg: 0.054 solved: 8 total time: 120.357
 opt: 0.365 reg: 0.028 solved: 8 total time: 120.751
 opt: 0.394 reg: 0.034 solved: 8 total time: 121.181
 opt: 0.25 reg: 0.047 solved: 8 total time: 121.48
 opt: 0.3 reg: 0.059 solved: 8 total time: 121.84
 opt: 0.312 reg: 0.072 solved: 8 total time: 122.225
 opt: 0.363 reg: 0.033 solved: 8 total time: 122.622
 opt: 0.216 reg: 0.138 solved: 12 total time: 122.978
 opt: 0.258 reg: 0.068 solved: 8 total time: 123.306
 opt: 0.355 reg: 0.04 solved: 8 total time: 123.702
 opt: 0.381 reg: 0.033 solved: 8 total time: 124.117
 opt: 0.89 reg: 0.043 solved: 8 total time: 125.051
 opt: 0.963 reg: 0.054 solved: 8 total time: 126.068
 opt: 0.303 reg: 0.084 solved: 8 total time: 126.456
 opt: 0.353 reg: 0.085 solved: 8 total time: 126.895
 opt: 0.402 reg: 0.064 solved: 8 total time: 127.362
 opt: 0.319 reg: 0.054 solved: 8 total time: 127.737
 opt: 0.279 reg: 0.048 solved: 8 total time: 128.065
 opt: 0.301 reg: 0.078 solved: 8 total time: 128.446
 opt: 0.26 reg: 0.059 solved: 8 total time: 128.767
 opt: 0.234 reg: 0.034 solved: 8 total time: 129.036
 opt: 0.297 reg: 0.067 solved: 8 total time: 129.402
 opt: 0.347 reg: 0.075 solved: 8 total time: 129.825
 opt: 0.304 reg: 0.777 solved: 8 total time: 130.906
 opt: 0.886 reg: 0.064 solved: 8 total time: 131.857
 opt: 0.285 reg: 0.028 solved: 8 total time: 132.171
 opt: 0.347 reg: 0.048 solved: 8 total time: 132.568
 opt: 0.325 reg: 0.054 solved: 8 total time: 132.949
 opt: 0.334 reg: 0.094 solved: 8 total time: 133.379
 opt: 0.279 reg: 0.091 solved: 8 total time: 133.751
 opt: 0.258 reg: 0.048 solved: 8 total time: 134.059
 opt: 0.243 reg: 0.059 solved: 8 total time: 134.362
 opt: 0.294 reg: 0.039 solved: 8 total time: 134.697
 opt: 0.371 reg: 0.055 solved: 8 total time: 135.124
 opt: 0.372 reg: 0.088 solved: 8 total time: 135.585
 opt: 0.314 reg: 0.751 solved: 8 total time: 136.651
 opt: 0.899 reg: 0.05 solved: 8 total time: 137.598
 opt: 0.374 reg: 0.042 solved: 8 total time: 138.016
 opt: 0.394 reg: 0.049 solved: 8 total time: 138.46
 opt: 0.283 reg: 0.057 solved: 8 total time: 138.801
 opt: 0.305 reg: 0.087 solved: 8 total time: 139.195
 opt: 0.271 reg: 0.089 solved: 8 total time: 139.556
 opt: 0.313 reg: 0.039 solved: 8 total time: 139.91
 opt: 0.302 reg: 0.063 solved: 8 total time: 140.276
 opt: 0.386 reg: 0.076 solved: 8 total time: 140.739
 opt: 0.313 reg: 0.097 solved: 8 total time: 141.15
 opt: 0.342 reg: 0.685 solved: 8 total time: 142.177
 opt: 0.893 reg: 0.094 solved: 8 total time: 143.164
 opt: 0.281 reg: 0.073 solved: 8 total time: 143.52
 opt: 0.28 reg: 0.083 solved: 8 total time: 143.885
 opt: 0.382 reg: 0.073 solved: 8 total time: 144.342
 opt: 0.379 reg: 0.065 solved: 8 total time: 144.787
 opt: 0.325 reg: 0.058 solved: 8 total time: 145.172
 opt: 0.31 reg: 0.05 solved: 8 total time: 145.533
 opt: 0.35 reg: 0.053 solved: 8 total time: 145.937
 opt: 0.353 reg: 0.085 solved: 8 total time: 146.376
 opt: 0.26 reg: 0.046 solved: 8 total time: 146.683
 opt: 0.34 reg: 0.041 solved: 8 total time: 147.066
 opt: 0.377 reg: 0.071 solved: 8 total time: 147.513
 opt: 0.353 reg: 0.039 solved: 8 total time: 147.905
 opt: 0.281 reg: 0.745 solved: 8 total time: 148.932
 opt: 0.972 reg: 0.057 solved: 8 total time: 149.961
 opt: 0.339 reg: 0.044 solved: 8 total time: 150.345
 opt: 0.381 reg: 0.029 solved: 8 total time: 150.757
 opt: 0.27 reg: 0.081 solved: 8 total time: 151.11
 opt: 0.363 reg: 0.081 solved: 8 total time: 151.555
 opt: 0.306 reg: 0.052 solved: 8 total time: 151.914
 opt: 0.381 reg: 0.044 solved: 8 total time: 152.342
 opt: 0.353 reg: 0.071 solved: 8 total time: 152.767
 opt: 0.328 reg: 0.118 solved: 8 total time: 153.215
 opt: 0.312 reg: 0.11 solved: 8 total time: 153.638
 opt: 0.336 reg: 0.064 solved: 8 total time: 154.04
 opt: 0.282 reg: 0.054 solved: 8 total time: 154.378
 opt: 1.17 reg: 0.054 solved: 8 total time: 155.601
 opt: 0.757 reg: 0.041 solved: 8 total time: 156.4
 opt: 0.39 reg: 0.055 solved: 8 total time: 156.846
 opt: 0.338 reg: 0.046 solved: 8 total time: 157.23
 opt: 0.357 reg: 0.087 solved: 8 total time: 157.674
 opt: 0.392 reg: 0.113 solved: 8 total time: 158.18
 opt: 0.354 reg: 0.038 solved: 8 total time: 158.573
 opt: 0.258 reg: 0.048 solved: 8 total time: 158.881
 opt: 0.315 reg: 0.051 solved: 8 total time: 159.248
 opt: 0.328 reg: 0.128 solved: 8 total time: 159.705
 opt: 0.352 reg: 0.035 solved: 8 total time: 160.094
 opt: 0.349 reg: 0.038 solved: 8 total time: 160.483
 opt: 0.327 reg: 0.069 solved: 8 total time: 160.881
 opt: 0.287 reg: 0.077 solved: 8 total time: 161.246
 opt: 0.37 reg: 0.067 solved: 8 total time: 161.685
 opt: 0.31 reg: 0.07 solved: 8 total time: 162.067
 opt: 0.37 reg: 0.032 solved: 8 total time: 162.47
 opt: 0.261 reg: 0.038 solved: 8 total time: 162.77
 opt: 0.242 reg: 0.06 solved: 8 total time: 163.073
 opt: 0.305 reg: 0.068 solved: 8 total time: 163.447
 opt: 0.315 reg: 0.061 solved: 8 total time: 163.825
 opt: 0.391 reg: 0.804 solved: 8 total time: 165.021
 opt: 0.873 reg: 0.04 solved: 8 total time: 165.935
 opt: 0.264 reg: 0.058 solved: 8 total time: 166.258
 opt: 0.363 reg: 0.081 solved: 8 total time: 166.703
 opt: 0.251 reg: 0.072 solved: 8 total time: 167.028
 opt: 0.397 reg: 0.072 solved: 8 total time: 167.498
 opt: 0.363 reg: 0.067 solved: 8 total time: 167.926
 opt: 0.351 reg: 0.056 solved: 8 total time: 168.334
 opt: 0.352 reg: 0.051 solved: 8 total time: 168.738
 opt: 0.416 reg: 0.061 solved: 8 total time: 169.216
 opt: 0.298 reg: 0.103 solved: 8 total time: 169.618
 opt: 0.338 reg: 0.139 solved: 8 total time: 170.096
 opt: 0.341 reg: 0.076 solved: 8 total time: 170.515
 opt: 0.31 reg: 0.064 solved: 8 total time: 170.89
 opt: 0.384 reg: 0.083 solved: 8 total time: 171.358
 opt: 0.351 reg: 0.081 solved: 8 total time: 171.791
 opt: 0.309 reg: 0.074 solved: 8 total time: 172.175
 opt: 0.334 reg: 0.853 solved: 8 total time: 173.362
 opt: 0.854 reg: 0.101 solved: 8 total time: 174.318
 opt: 0.337 reg: 0.042 solved: 8 total time: 174.699
 opt: 0.365 reg: 0.026 solved: 8 total time: 175.091
 opt: 0.29 reg: 0.051 solved: 8 total time: 175.432
 opt: 0.397 reg: 0.058 solved: 8 total time: 175.888
 opt: 0.412 reg: 0.071 solved: 8 total time: 176.373
 opt: 0.389 reg: 0.087 solved: 8 total time: 176.851
 opt: 0.393 reg: 0.037 solved: 9 total time: 177.283
 opt: 0.25 reg: 0.051 solved: 8 total time: 177.585
 opt: 0.251 reg: 0.071 solved: 8 total time: 177.907
 opt: 0.296 reg: 0.043 solved: 8 total time: 178.246
 opt: 0.317 reg: 0.096 solved: 8 total time: 178.66
 opt: 0.277 reg: 0.069 solved: 8 total time: 179.008
 opt: 0.308 reg: 0.075 solved: 8 total time: 179.392
 opt: 0.37 reg: 0.029 solved: 8 total time: 179.792
 opt: 0.329 reg: 0.042 solved: 8 total time: 180.164
 opt: 0.299 reg: 0.097 solved: 8 total time: 180.562
 opt: 0.358 reg: 0.092 solved: 8 total time: 181.014
 opt: 0.308 reg: 0.167 solved: 8 total time: 181.491
 opt: 0.375 reg: 0.081 solved: 8 total time: 181.948
 opt: 0.272 reg: 0.068 solved: 8 total time: 182.289
 opt: 0.286 reg: 0.047 solved: 8 total time: 182.623
 opt: 1.682 reg: 0.054 solved: 8 total time: 184.358
 opt: 0.408 reg: 0.061 solved: 8 total time: 184.828
 opt: 0.323 reg: 0.024 solved: 8 total time: 185.176
 opt: 0.417 reg: 0.043 solved: 8 total time: 185.638
 opt: 0.301 reg: 0.053 solved: 8 total time: 185.993
 opt: 0.275 reg: 0.077 solved: 8 total time: 186.347
 opt: 0.346 reg: 0.144 solved: 8 total time: 186.839
 opt: 0.346 reg: 0.066 solved: 8 total time: 187.252
 opt: 0.293 reg: 0.034 solved: 8 total time: 187.581
 opt: 0.283 reg: 0.109 solved: 8 total time: 187.973
 opt: 0.326 reg: 0.094 solved: 8 total time: 188.394
 opt: 0.316 reg: 0.117 solved: 8 total time: 188.829
 opt: 0.313 reg: 0.077 solved: 8 total time: 189.22
 opt: 0.411 reg: 0.04 solved: 8 total time: 189.673
 opt: 0.265 reg: 0.051 solved: 8 total time: 189.991
 opt: 0.293 reg: 0.072 solved: 8 total time: 190.358
 opt: 0.315 reg: 0.057 solved: 8 total time: 190.732
 opt: 0.3 reg: 0.068 solved: 8 total time: 191.101
 opt: 0.319 reg: 0.061 solved: 8 total time: 191.483
 opt: 0.342 reg: 0.12 solved: 8 total time: 191.946
 opt: 0.374 reg: 0.875 solved: 8 total time: 193.196
 opt: 0.921 reg: 0.062 solved: 8 total time: 194.18
 opt: 0.399 reg: 0.052 solved: 8 total time: 194.632
 opt: 0.341 reg: 0.046 solved: 8 total time: 195.021
 opt: 0.41 reg: 0.033 solved: 8 total time: 195.465
 opt: 0.407 reg: 0.032 solved: 8 total time: 195.905
 opt: 0.263 reg: 0.046 solved: 8 total time: 196.216
 opt: 0.361 reg: 0.116 solved: 8 total time: 196.695
 opt: 0.304 reg: 0.103 solved: 8 total time: 197.102
 opt: 0.326 reg: 0.097 solved: 8 total time: 197.526
 opt: 0.267 reg: 0.059 solved: 8 total time: 197.853
 opt: 0.298 reg: 0.051 solved: 8 total time: 198.204
 opt: 0.349 reg: 0.036 solved: 8 total time: 198.59
 opt: 0.332 reg: 0.046 solved: 8 total time: 198.969
 opt: 0.348 reg: 0.059 solved: 8 total time: 199.378
 opt: 0.402 reg: 0.052 solved: 8 total time: 199.834
 opt: 0.291 reg: 0.042 solved: 8 total time: 200.167
 opt: 0.323 reg: 0.056 solved: 8 total time: 200.548
 opt: 0.317 reg: 0.039 solved: 8 total time: 200.905
 opt: 0.443 reg: 0.039 solved: 8 total time: 201.389
 opt: 1.612 reg: 0.066 solved: 8 total time: 203.066
 opt: 0.268 reg: 0.056 solved: 8 total time: 203.391
 opt: 0.332 reg: 0.083 solved: 8 total time: 203.807
 opt: 0.321 reg: 0.044 solved: 8 total time: 204.174
 opt: 0.345 reg: 0.066 solved: 8 total time: 204.587
 opt: 0.421 reg: 0.036 solved: 8 total time: 205.045
 opt: 0.33 reg: 0.092 solved: 8 total time: 205.469
 opt: 0.358 reg: 0.078 solved: 8 total time: 205.906
 opt: 0.41 reg: 0.069 solved: 8 total time: 206.386
 opt: 0.31 reg: 0.034 solved: 8 total time: 206.732
 opt: 0.425 reg: 0.058 solved: 8 total time: 207.217
 opt: 0.273 reg: 0.121 solved: 8 total time: 207.612
 opt: 0.38 reg: 0.095 solved: 9 total time: 208.088
 opt: 0.405 reg: 0.024 solved: 8 total time: 208.519
 opt: 0.378 reg: 0.02 solved: 9 total time: 208.918
 opt: 0.267 reg: 0.04 solved: 8 total time: 209.226
 opt: 0.342 reg: 0.031 solved: 8 total time: 209.601
 opt: 1.102 reg: 0.052 solved: 8 total time: 210.756
 opt: 0.887 reg: 0.069 solved: 8 total time: 211.712
 opt: 0.445 reg: 0.049 solved: 8 total time: 212.208
 opt: 0.271 reg: 0.042 solved: 8 total time: 212.522
 opt: 0.305 reg: 0.071 solved: 8 total time: 212.9
 opt: 0.385 reg: 0.057 solved: 8 total time: 213.343
 opt: 0.338 reg: 0.08 solved: 8 total time: 213.762
 opt: 0.339 reg: 0.134 solved: 8 total time: 214.236
 opt: 0.331 reg: 0.041 solved: 8 total time: 214.609
 opt: 0.282 reg: 0.099 solved: 12 total time: 214.992
 opt: 0.315 reg: 0.095 solved: 8 total time: 215.403
 opt: 0.298 reg: 0.079 solved: 8 total time: 215.782
 opt: 0.328 reg: 0.079 solved: 8 total time: 216.19
 opt: 0.226 solved: 2147483647 total time: 216.417
L = 5, leader states: 4.35356e+09, follower subproblems: 4.35356e+09, F:2147483647, total time: 216.503
Search time: 214.567s
Total number of leader states: 4.64003e+10
Total number of follower subproblems: 3.01208e+10
Pareto-frontier size: 1
Pareto-frontier: (5,2147483647) 
	 fix ops costs: 5, attacker cost: 2147483647: 
	 fix action sequences: 
			 sequence 0:
				 fix_switch t0 s138 blaststepdone
				 fix_next-step t0 t1 blaststepdone
				 fix_switch t1 s30 blaststepdone
				 fix_switch t1 s132 blaststepdone
				 fix_next-step t1 t2 blaststepdone
				 fix_switch t2 s70 blaststepdone
				 fix_switch t2 s63 blaststepdone
				 fix_switch t2 s45 blaststepdone
				 fix_switch t2 s172 blaststepdone
				 fix_switch t2 s165 blaststepdone
				 fix_next-step t2 t3 blaststepdone
				 fix_switch t3 s49 blaststepdone
				 fix_switch t3 s36 blaststepdone
				 fix_switch t3 s151 blaststepdone
				 fix_switch t3 s147 blaststepdone
				 fix_next-step t3 t4 blaststepdone
				 fix_last-step t4 blaststepdone
	 attacker plan: 
		 <unsolvable>
END Pareto-frontier
Total follower searches: 560
Solved by optimal solver: 560
Solved by cost bounded solver: 0
Optimally solved follower subproblems: 560
Solved follower subproblems: 560
Optimal solver time: 175.883s
Cost-bounded solver time: 0s
Follower search time: 175.883s
Total time: 216.524s
Optimal engine:
Peak memory: 764812 KB
@@@T218868@@@
Done!
real 219.16
user 217.60
sys 1.10
