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/Garr200902_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/Garr200902_3.pddl
Parsing...
Parsing: [0.020s CPU, 0.019s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.005s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.018s wall-clock]
Preparing model... [0.010s CPU, 0.010s wall-clock]
Generated 173 rules.
Computing model... [0.300s CPU, 0.289s wall-clock]
4451 relevant atoms
7520 auxiliary atoms
11971 final queue length
15670 total queue pushes
Completing instantiation... [0.230s CPU, 0.237s wall-clock]
Instantiating: [0.560s CPU, 0.565s 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.010s 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.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.023s wall-clock]
Translating task: [0.290s CPU, 0.290s 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.050s CPU, 0.049s wall-clock]
Done! [1.000s CPU, 0.997s 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=301252, notReached=8992, spurious=1120
14 operators are spurious because were not triggered
H^2 mutexes added fw: 8992, unreachable: 0
0 of 3535 operators detected as spurious
Total mutex and disambiguation time: 0.879331 iterations: 2
4496 of 4496 mutex groups necessary.
3535 of 3549 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 3535
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 260
4496 of 4496 mutex groups necessary.
3535 of 3535 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
4496 of 4496 mutex groups necessary.
3535 of 3535 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: 3535
Preprocessor mutex groups: 4496
Preprocessor task size: 28870
Writing output...
Preprocessor time: 1.07041s
Preprocessor peak memory: 13028 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.00032393s]
Simplifying transitions... done!
done reading input! [t=0.104873s]
building causal graph...done! [t=0.108243s]
packing state variables...Variables: 260
Bytes per state: 36
done! [t=0.108292s]
done initalizing global data [t=0.108298s]
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() = 3326
leader_operators.size() = 209
Initializing Symbolic Variables
Sym variable order: 1 15 23 21 20 16 202 27 163 55 187 127 31 79 175 4 43 67 91 103 139 115 151 26 183 18 39 111 195 171 75 159 99 12 234 87 51 123 147 172 63 135 52 76 64 184 160 148 196 124 112 13 238 100 84 40 88 144 136 108 180 36 192 120 9 156 222 168 48 96 230 72 60 132 194 74 122 86 50 11 98 182 158 146 110 170 62 134 92 38 68 140 188 56 152 176 104 5 116 80 44 206 164 128 32 2 101 19 65 24 185 125 77 41 173 14 149 161 53 197 242 113 89 137 155 59 131 143 35 95 8 119 47 107 179 191 71 90 83 218 42 174 22 167 17 150 54 102 138 30 3 186 126 78 198 114 162 66 69 165 141 57 33 81 129 6 177 189 210 153 105 45 117 118 93 178 154 70 106 130 94 214 7 142 58 34 46 166 82 190 193 181 121 37 226 133 10 109 157 97 85 73 61 169 49 28 145 25 29 255 250 247 204 217 236 244 213 201 209 241 229 224 225 254 246 249 256 258 253 200 237 221 216 205 208 228 0 257 212 252 232 220 259 233 245 251 240 248 227 199 223 219 235 231 239 203 211 243 215 207 
Num variables: 260 => 269
Initialize Symbolic Manager(538, 29739, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 186 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 0.164s
Starting Stackelberg bounded search...
 opt: 0.003 reg: 0 solved: 1 total time: 2.26426
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 2.2643
 opt: 0.002 reg: 0 solved: 1 total time: 2.27891
 opt: 0.003 reg: 0 solved: 1 total time: 2.28284
 opt: 0.004 reg: 0 solved: 1 total time: 2.2876
 opt: 0.003 reg: 0 solved: 1 total time: 2.29081
 opt: 0.003 reg: 0 solved: 1 total time: 2.29477
 opt: 0.004 reg: 0 solved: 1 total time: 2.29903
 opt: 0.004 reg: 0 solved: 1 total time: 2.30399
 opt: 0.004 reg: 0 solved: 1 total time: 2.30891
 opt: 0.004 reg: 0 solved: 1 total time: 2.31369
 opt: 0.005 reg: 0 solved: 1 total time: 2.31881
 opt: 0.004 reg: 0 solved: 1 total time: 2.32331
 opt: 0.004 reg: 0 solved: 1 total time: 2.32811
 opt: 0.009 reg: 0 solved: 2 total time: 2.33771
L = 1, leader states: 8192, follower subproblems: 8192, F:100000, total time: 2.33782
 opt: 0.017 reg: 0 solved: 2 total time: 2.37034
 opt: 0.023 reg: 0 solved: 3 total time: 2.39449
 opt: 0.019 reg: 0 solved: 3 total time: 2.41419
 opt: 0.036 reg: 0.001 solved: 4 total time: 2.4518
 opt: 0.085 reg: 0.001 solved: 4 total time: 2.53874
L = 2, leader states: 1.06288e+06, follower subproblems: 1.06288e+06, F:100000, total time: 2.53908
 opt: 0.034 reg: 0.001 solved: 3 total time: 2.5909
 opt: 0.042 reg: 0.003 solved: 4 total time: 2.63712
 opt: 0.028 reg: 0.003 solved: 2 total time: 2.66925
 opt: 0.053 reg: 0.007 solved: 4 total time: 2.73022
 opt: 0.066 reg: 0.01 solved: 4 total time: 2.8067
 opt: 0.077 reg: 0.009 solved: 3 total time: 2.89349
 opt: 0.05 reg: 0.012 solved: 4 total time: 2.95603
 opt: 0.096 reg: 0.013 solved: 4 total time: 3.06633
 opt: 0.133 reg: 0.01 solved: 4 total time: 3.21039
 opt: 0.1 reg: 0.012 solved: 4 total time: 3.32352
 opt: 0.099 reg: 0.007 solved: 4 total time: 3.43002
L = 3, leader states: 3.35544e+07, follower subproblems: 3.35544e+07, F:100000, total time: 3.43033
 opt: 0.074 reg: 0.004 solved: 4 total time: 3.52448
 opt: 0.024 reg: 0.007 solved: 2 total time: 3.55731
 opt: 0.108 reg: 0.013 solved: 4 total time: 3.67933
 opt: 0.035 reg: 0.014 solved: 3 total time: 3.72979
 opt: 0.048 reg: 0.007 solved: 6 total time: 3.78549
 opt: 0.052 reg: 0.002 solved: 4 total time: 3.84096
 opt: 0.055 reg: 0.002 solved: 4 total time: 3.89963
 opt: 0.084 reg: 0.002 solved: 4 total time: 3.98753
 opt: 0.053 reg: 0.008 solved: 5 total time: 4.04957
 opt: 0.058 reg: 0.01 solved: 6 total time: 4.1187
 opt: 0.094 reg: 0.017 solved: 4 total time: 4.23047
 opt: 0.108 reg: 0.011 solved: 4 total time: 4.35025
 opt: 0.054 reg: 0.019 solved: 4 total time: 4.42466
 opt: 0.054 reg: 0.001 solved: 4 total time: 4.48044
 opt: 0.117 reg: 0.003 solved: 6 total time: 4.602
 opt: 0.058 reg: 0.009 solved: 6 total time: 4.67082
 opt: 0.102 reg: 0.013 solved: 6 total time: 4.78715
 opt: 0.144 reg: 0.009 solved: 4 total time: 4.94189
 opt: 0.065 reg: 0.018 solved: 8 total time: 5.02596
 opt: 0.137 reg: 0.004 solved: 4 total time: 5.1679
 opt: 0.143 reg: 0.006 solved: 6 total time: 5.31782
 opt: 0.14 reg: 0.01 solved: 6 total time: 5.46899
 opt: 0.057 reg: 0.024 solved: 6 total time: 5.55214
 opt: 0.126 reg: 0.031 solved: 6 total time: 5.71025
 opt: 0.152 reg: 0.003 solved: 6 total time: 5.86642
 opt: 0.15 reg: 0.005 solved: 6 total time: 6.02283
 opt: 0.127 reg: 0.004 solved: 6 total time: 6.15599
 opt: 0.211 reg: 0.012 solved: 8 total time: 6.3807
 opt: 0.158 reg: 0.01 solved: 6 total time: 6.54985
 opt: 0.062 reg: 0.011 solved: 6 total time: 6.62383
 opt: 0.087 reg: 0.032 solved: 6 total time: 6.74339
 opt: 0.151 reg: 0.01 solved: 6 total time: 6.90579
 opt: 0.147 reg: 0.005 solved: 4 total time: 7.05918
 opt: 0.156 reg: 0.007 solved: 6 total time: 7.2234
 opt: 0.141 reg: 0.015 solved: 5 total time: 7.38081
 opt: 0.192 reg: 0.011 solved: 6 total time: 7.58428
 opt: 0.178 reg: 0.017 solved: 6 total time: 7.77957
 opt: 0.072 reg: 0.039 solved: 8 total time: 7.89238
 opt: 0.075 reg: 0.018 solved: 8 total time: 7.9862
 opt: 0.18 reg: 0.005 solved: 6 total time: 8.17232
 opt: 0.159 reg: 0.008 solved: 6 total time: 8.34071
 opt: 0.209 reg: 0.01 solved: 6 total time: 8.56015
 opt: 0.171 reg: 0.01 solved: 6 total time: 8.74175
 opt: 0.076 reg: 0.016 solved: 10 total time: 8.83543
 opt: 0.166 reg: 0.004 solved: 6 total time: 9.00668
 opt: 0.067 reg: 0.011 solved: 8 total time: 9.0858
 opt: 0.153 reg: 0.021 solved: 6 total time: 9.26048
 opt: 0.217 reg: 0.021 solved: 6 total time: 9.50026
 opt: 0.157 reg: 0.006 solved: 6 total time: 9.66453
 opt: 0.191 reg: 0.004 solved: 6 total time: 9.86107
 opt: 0.158 reg: 0.006 solved: 6 total time: 10.0263
 opt: 0.205 reg: 0.006 solved: 6 total time: 10.2389
 opt: 0.193 reg: 0.006 solved: 6 total time: 10.4389
 opt: 0.171 reg: 0.007 solved: 6 total time: 10.6187
 opt: 0.154 reg: 0.018 solved: 8 total time: 10.7915
 opt: 0.077 reg: 0.045 solved: 8 total time: 10.915
 opt: 0.173 reg: 0.01 solved: 6 total time: 11.0998
 opt: 0.181 reg: 0.007 solved: 6 total time: 11.2893
 opt: 0.218 reg: 0.014 solved: 8 total time: 11.5222
 opt: 0.173 reg: 0.01 solved: 6 total time: 11.7063
 opt: 0.254 reg: 0.01 solved: 8 total time: 11.9716
 opt: 0.09 reg: 0.026 solved: 6 total time: 12.0888
 opt: 0.188 reg: 0.034 solved: 6 total time: 12.3119
 opt: 0.177 reg: 0.017 solved: 6 total time: 12.5074
 opt: 0.187 reg: 0.016 solved: 6 total time: 12.7122
 opt: 0.152 reg: 0.013 solved: 6 total time: 12.8781
 opt: 0.643 reg: 0.031 solved: 9 total time: 13.5524
 opt: 0.205 reg: 0.003 solved: 6 total time: 13.7618
 opt: 0.089 reg: 0.014 solved: 6 total time: 13.8659
 opt: 0.175 reg: 0.024 solved: 6 total time: 14.0671
 opt: 0.161 reg: 0.013 solved: 6 total time: 14.2421
 opt: 0.228 reg: 0.016 solved: 6 total time: 14.4872
 opt: 0.191 reg: 0.013 solved: 6 total time: 14.6928
 opt: 0.109 reg: 0.027 solved: 6 total time: 14.8304
 opt: 0.187 reg: 0.005 solved: 6 total time: 15.0244
 opt: 0.199 reg: 0.015 solved: 8 total time: 15.2393
 opt: 0.075 reg: 0.042 solved: 8 total time: 15.3579
 opt: 0.082 reg: 0.038 solved: 10 total time: 15.4797
 opt: 0.172 reg: 0.006 solved: 6 total time: 15.6589
 opt: 0.262 reg: 0.013 solved: 8 total time: 15.935
 opt: 0.2 reg: 0.013 solved: 6 total time: 16.149
 opt: 0.176 reg: 0.036 solved: 8 total time: 16.3617
 opt: 0.271 reg: 0.023 solved: 10 total time: 16.6566
 opt: 0.173 reg: 0.022 solved: 8 total time: 16.8527
 opt: 0.196 reg: 0.028 solved: 6 total time: 17.0784
 opt: 0.231 reg: 0.042 solved: 8 total time: 17.3531
 opt: 0.074 reg: 0.01 solved: 8 total time: 17.4381
 opt: 0.236 reg: 0.023 solved: 10 total time: 17.6983
 opt: 0.187 reg: 0.012 solved: 6 total time: 17.8987
 opt: 0.189 reg: 0.019 solved: 6 total time: 18.1075
 opt: 0.174 reg: 0.03 solved: 6 total time: 18.3127
 opt: 0.186 reg: 0.006 solved: 6 total time: 18.505
 opt: 0.156 reg: 0.006 solved: 6 total time: 18.668
 opt: 0.185 reg: 0.023 solved: 8 total time: 18.8768
 opt: 0.175 reg: 0.012 solved: 6 total time: 19.0649
 opt: 0.214 reg: 0.007 solved: 6 total time: 19.2878
 opt: 0.195 reg: 0.007 solved: 6 total time: 19.4912
 opt: 0.194 reg: 0.022 solved: 8 total time: 19.7087
 opt: 0.204 reg: 0.037 solved: 8 total time: 19.9509
 opt: 0.231 reg: 0.016 solved: 8 total time: 20.199
 opt: 0.239 reg: 0.002 solved: 8 total time: 20.4411
 opt: 0.156 reg: 0.008 solved: 6 total time: 20.6064
 opt: 0.165 reg: 0.009 solved: 6 total time: 20.7815
 opt: 0.196 reg: 0.009 solved: 6 total time: 20.9881
 opt: 0.204 reg: 0.011 solved: 6 total time: 21.205
 opt: 0.17 reg: 0.042 solved: 8 total time: 21.4183
 opt: 0.265 reg: 0.008 solved: 8 total time: 21.6925
 opt: 0.153 reg: 0.02 solved: 6 total time: 21.8669
 opt: 0.242 reg: 0.013 solved: 8 total time: 22.1232
 opt: 0.178 reg: 0.039 solved: 7 total time: 22.3412
 opt: 0.678 reg: 0.049 solved: 8 total time: 23.0685
 opt: 0.194 reg: 0.05 solved: 9 total time: 23.3135
 opt: 0.28 reg: 0.009 solved: 10 total time: 23.6033
 opt: 0.202 reg: 0.011 solved: 6 total time: 23.8179
 opt: 0.221 reg: 0.025 solved: 8 total time: 24.065
 opt: 0.189 reg: 0.007 solved: 6 total time: 24.2621
 opt: 0.095 reg: 0.025 solved: 10 total time: 24.383
 opt: 0.259 reg: 0.028 solved: 8 total time: 24.6711
 opt: 0.255 reg: 0.035 solved: 8 total time: 24.9619
 opt: 0.206 reg: 0.04 solved: 8 total time: 25.2092
 opt: 0.083 reg: 0.04 solved: 9 total time: 25.333
 opt: 0.081 reg: 0.026 solved: 8 total time: 25.4405
 opt: 0.201 reg: 0.026 solved: 6 total time: 25.6684
 opt: 0.2 reg: 0.043 solved: 8 total time: 25.9129
 opt: 0.201 reg: 0.005 solved: 6 total time: 26.1204
 opt: 0.223 reg: 0.005 solved: 6 total time: 26.3493
 opt: 0.26 reg: 0.01 solved: 8 total time: 26.6205
 opt: 0.21 reg: 0.015 solved: 8 total time: 26.8466
 opt: 0.223 reg: 0.017 solved: 8 total time: 27.0877
 opt: 0.219 reg: 0.022 solved: 8 total time: 27.3298
 opt: 0.197 reg: 0.05 solved: 8 total time: 27.5778
 opt: 0.232 reg: 0.045 solved: 8 total time: 27.8557
 opt: 0.236 reg: 0.01 solved: 8 total time: 28.103
 opt: 0.167 reg: 0.036 solved: 9 total time: 28.307
 opt: 0.164 reg: 0.051 solved: 5 total time: 28.5238
 opt: 0.255 reg: 0.004 solved: 8 total time: 28.7845
 opt: 0.21 reg: 0.006 solved: 6 total time: 29.0018
 opt: 0.196 reg: 0.023 solved: 8 total time: 29.2222
 opt: 0.083 reg: 0.027 solved: 8 total time: 29.3333
 opt: 0.086 reg: 0.041 solved: 9 total time: 29.4612
 opt: 0.304 reg: 0.023 solved: 10 total time: 29.7885
 opt: 0.193 reg: 0.033 solved: 8 total time: 30.0158
 opt: 0.255 reg: 0.036 solved: 8 total time: 30.3079
 opt: 0.235 reg: 0.006 solved: 6 total time: 30.55
 opt: 0.251 reg: 0.004 solved: 8 total time: 30.806
 opt: 0.24 reg: 0.004 solved: 8 total time: 31.0508
 opt: 0.228 reg: 0.004 solved: 8 total time: 31.2843
 opt: 0.099 reg: 0.034 solved: 9 total time: 31.4193
 opt: 0.306 reg: 0.048 solved: 8 total time: 31.7754
 opt: 0.248 reg: 0.547 solved: 8 total time: 32.5713
 opt: 0.116 reg: 0.026 solved: 6 total time: 32.7146
 opt: 0.107 reg: 0.053 solved: 11 total time: 32.8759
 opt: 0.277 reg: 0.037 solved: 8 total time: 33.1906
 opt: 0.255 reg: 0.003 solved: 8 total time: 33.4494
 opt: 0.264 reg: 0.003 solved: 8 total time: 33.7168
 opt: 0.184 reg: 0.01 solved: 8 total time: 33.9122
 opt: 0.297 reg: 0.01 solved: 8 total time: 34.2198
 opt: 0.167 reg: 0.022 solved: 6 total time: 34.4099
 opt: 0.278 reg: 0.048 solved: 8 total time: 34.7374
 opt: 0.248 reg: 0.017 solved: 8 total time: 35.0035
 opt: 0.228 reg: 0.022 solved: 8 total time: 35.2548
 opt: 0.282 reg: 0.022 solved: 8 total time: 35.5604
 opt: 0.295 reg: 0.019 solved: 8 total time: 35.8752
 opt: 0.323 reg: 0.02 solved: 8 total time: 36.2192
 opt: 0.235 reg: 0.011 solved: 8 total time: 36.467
 opt: 0.121 reg: 0.061 solved: 10 total time: 36.6509
 opt: 0.258 reg: 0.006 solved: 6 total time: 36.9165
 opt: 0.193 reg: 0.017 solved: 8 total time: 37.1274
 opt: 0.21 reg: 0.015 solved: 8 total time: 37.3535
 opt: 0.236 reg: 0.019 solved: 6 total time: 37.6096
 opt: 0.181 reg: 0.043 solved: 7 total time: 37.834
 opt: 0.255 reg: 0.015 solved: 8 total time: 38.105
 opt: 0.202 reg: 0.028 solved: 8 total time: 38.3357
 opt: 0.276 reg: 0.025 solved: 8 total time: 38.6379
 opt: 0.249 reg: 0.026 solved: 8 total time: 38.9149
 opt: 0.241 reg: 0.028 solved: 8 total time: 39.1849
 opt: 0.191 reg: 0.031 solved: 8 total time: 39.4089
 opt: 0.231 reg: 0.03 solved: 8 total time: 39.6711
 opt: 0.25 reg: 0.019 solved: 8 total time: 39.9411
 opt: 0.25 reg: 0.019 solved: 8 total time: 40.2111
 opt: 0.244 reg: 0.022 solved: 8 total time: 40.4779
 opt: 0.245 reg: 0.024 solved: 8 total time: 40.7482
 opt: 0.231 reg: 0.024 solved: 8 total time: 41.0042
 opt: 0.216 reg: 0.034 solved: 8 total time: 41.2555
 opt: 0.178 reg: 0.05 solved: 8 total time: 41.4848
 opt: 0.175 reg: 0.007 solved: 8 total time: 41.668
 opt: 0.18 reg: 0.017 solved: 8 total time: 41.8666
 opt: 0.103 reg: 0.05 solved: 9 total time: 42.0213
 opt: 0.255 reg: 0.019 solved: 8 total time: 42.2958
 opt: 0.216 reg: 0.011 solved: 8 total time: 42.5234
 opt: 0.179 reg: 0.03 solved: 8 total time: 42.7337
 opt: 0.243 reg: 0.029 solved: 8 total time: 43.0068
 opt: 0.231 reg: 0.041 solved: 8 total time: 43.2791
 opt: 0.257 reg: 0.046 solved: 8 total time: 43.5834
 opt: 0.205 reg: 0.03 solved: 8 total time: 43.8194
 opt: 0.227 reg: 0.598 solved: 10 total time: 44.6442
 opt: 0.286 reg: 0.014 solved: 8 total time: 44.9455
 opt: 0.085 reg: 0.032 solved: 9 total time: 45.064
 opt: 0.24 reg: 0.034 solved: 8 total time: 45.3389
 opt: 0.289 reg: 0.005 solved: 8 total time: 45.6346
 opt: 0.27 reg: 0.005 solved: 8 total time: 45.9113
 opt: 0.272 reg: 0.005 solved: 8 total time: 46.1888
 opt: 0.251 reg: 0.016 solved: 8 total time: 46.4562
 opt: 0.278 reg: 0.013 solved: 8 total time: 46.7482
 opt: 0.185 reg: 0.018 solved: 8 total time: 46.9532
 opt: 0.246 reg: 0.024 solved: 8 total time: 47.2243
 opt: 0.299 reg: 0.015 solved: 8 total time: 47.54
 opt: 0.203 reg: 0.023 solved: 8 total time: 47.7668
 opt: 0.24 reg: 0.019 solved: 8 total time: 48.027
 opt: 0.249 reg: 0.015 solved: 8 total time: 48.2923
 opt: 0.246 reg: 0.045 solved: 8 total time: 48.5844
 opt: 0.212 reg: 0.039 solved: 9 total time: 48.8364
 opt: 0.258 reg: 0.014 solved: 8 total time: 49.1099
 opt: 0.248 reg: 0.01 solved: 8 total time: 49.3693
 opt: 0.269 reg: 0.01 solved: 8 total time: 49.6491
 opt: 0.217 reg: 0.011 solved: 8 total time: 49.878
 opt: 0.25 reg: 0.027 solved: 8 total time: 50.1566
 opt: 0.278 reg: 0.032 solved: 8 total time: 50.4684
 opt: 0.245 reg: 0.014 solved: 8 total time: 50.7286
 opt: 0.261 reg: 0.014 solved: 8 total time: 51.0046
 opt: 0.261 reg: 0.016 solved: 8 total time: 51.2826
 opt: 0.27 reg: 0.015 solved: 8 total time: 51.5683
 opt: 0.168 reg: 0.045 solved: 9 total time: 51.7823
 opt: 0.211 reg: 0.01 solved: 8 total time: 52.0055
 opt: 0.282 reg: 0.009 solved: 8 total time: 52.2973
 opt: 0.239 reg: 0.006 solved: 8 total time: 52.5436
 opt: 0.225 reg: 0.005 solved: 8 total time: 52.7744
 opt: 0.24 reg: 0.033 solved: 8 total time: 53.0485
 opt: 0.242 reg: 0.041 solved: 8 total time: 53.3325
 opt: 0.123 reg: 0.063 solved: 10 total time: 53.5197
 opt: 0.111 reg: 0.029 solved: 9 total time: 53.6608
 opt: 0.271 reg: 0.033 solved: 8 total time: 53.9651
 opt: 0.268 reg: 0.037 solved: 8 total time: 54.2715
 opt: 0.286 reg: 0.031 solved: 8 total time: 54.5897
 opt: 0.285 reg: 0.007 solved: 8 total time: 54.8834
 opt: 0.86 reg: 0.007 solved: 8 total time: 55.7504
 opt: 0.172 reg: 0.031 solved: 9 total time: 55.955
 opt: 0.244 reg: 0.02 solved: 8 total time: 56.2196
 opt: 0.281 reg: 0.012 solved: 8 total time: 56.5141
 opt: 0.223 reg: 0.034 solved: 8 total time: 56.7731
 opt: 0.287 reg: 0.034 solved: 8 total time: 57.0948
 opt: 0.27 reg: 0.024 solved: 8 total time: 57.3896
 opt: 0.27 reg: 0.021 solved: 8 total time: 57.682
 opt: 0.286 reg: 0.025 solved: 8 total time: 57.994
 opt: 0.266 reg: 0.032 solved: 8 total time: 58.2937
 opt: 0.261 reg: 0.027 solved: 8 total time: 58.5833
 opt: 0.261 reg: 0.023 solved: 8 total time: 58.8688
 opt: 0.254 reg: 0.022 solved: 8 total time: 59.1457
 opt: 0.275 reg: 0.05 solved: 10 total time: 59.472
 opt: 0.242 reg: 0.018 solved: 8 total time: 59.7332
 opt: 0.247 reg: 0.021 solved: 8 total time: 60.0032
 opt: 0.242 reg: 0.034 solved: 8 total time: 60.2806
 opt: 0.224 reg: 0.01 solved: 8 total time: 60.5159
 opt: 0.288 reg: 0.017 solved: 8 total time: 60.8218
 opt: 0.287 reg: 0.016 solved: 8 total time: 61.1262
 opt: 0.295 reg: 0.016 solved: 8 total time: 61.4385
 opt: 0.306 reg: 0.011 solved: 8 total time: 61.757
 opt: 0.247 reg: 0.008 solved: 8 total time: 62.0132
 opt: 0.265 reg: 0.009 solved: 8 total time: 62.2884
 opt: 0.112 reg: 0.032 solved: 9 total time: 62.434
 opt: 0.271 reg: 0.024 solved: 10 total time: 62.7305
 opt: 0.257 reg: 0.02 solved: 8 total time: 63.0085
 opt: 0.185 reg: 0.055 solved: 10 total time: 63.25
 opt: 0.259 reg: 0.016 solved: 8 total time: 63.526
 opt: 0.274 reg: 0.003 solved: 8 total time: 63.8041
 opt: 0.263 reg: 0.02 solved: 9 total time: 64.0887
 opt: 0.134 reg: 0.037 solved: 10 total time: 64.2608
 opt: 0.25 reg: 0.014 solved: 8 total time: 64.526
 opt: 0.271 reg: 0.009 solved: 8 total time: 64.8072
 opt: 0.241 reg: 0.047 solved: 9 total time: 65.096
 opt: 0.259 reg: 0.031 solved: 8 total time: 65.3869
 opt: 0.25 reg: 0.041 solved: 8 total time: 65.6798
 opt: 0.269 reg: 0.013 solved: 8 total time: 65.9634
 opt: 0.311 reg: 0.62 solved: 8 total time: 66.8941
 opt: 0.37 reg: 0.038 solved: 10 total time: 67.3034
 opt: 0.322 reg: 0.004 solved: 8 total time: 67.6311
 opt: 0.302 reg: 0.003 solved: 8 total time: 67.9369
 opt: 0.302 reg: 0.003 solved: 8 total time: 68.2435
 opt: 0.304 reg: 0.007 solved: 8 total time: 68.5552
 opt: 0.321 reg: 0.014 solved: 10 total time: 68.8912
 opt: 0.327 reg: 0.012 solved: 8 total time: 69.231
 opt: 0.307 reg: 0.008 solved: 8 total time: 69.5478
 opt: 0.289 reg: 0.008 solved: 8 total time: 69.8461
 opt: 0.209 reg: 0.036 solved: 9 total time: 70.0922
 opt: 0.309 reg: 0.045 solved: 10 total time: 70.4469
 opt: 0.308 reg: 0.004 solved: 8 total time: 70.7603
 opt: 0.188 reg: 0.033 solved: 9 total time: 70.9825
 opt: 0.277 reg: 0.022 solved: 8 total time: 71.2824
 opt: 0.295 reg: 0.06 solved: 10 total time: 71.6387
 opt: 0.28 reg: 0.01 solved: 8 total time: 71.9292
 opt: 0.295 reg: 0.009 solved: 8 total time: 72.2346
 opt: 0.297 reg: 0.007 solved: 8 total time: 72.5396
 opt: 0.241 reg: 0.032 solved: 9 total time: 72.8134
 opt: 0.225 reg: 0.051 solved: 8 total time: 73.0905
 opt: 0.117 reg: 0.032 solved: 9 total time: 73.2407
 opt: 0.199 reg: 0.024 solved: 9 total time: 73.4652
 opt: 0.264 reg: 0.055 solved: 9 total time: 73.7853
 opt: 0.283 reg: 0.067 solved: 8 total time: 74.1359
 opt: 0.288 reg: 0.013 solved: 8 total time: 74.4384
 opt: 0.295 reg: 0.007 solved: 8 total time: 74.7415
 opt: 0.281 reg: 0.033 solved: 10 total time: 75.0562
 opt: 0.287 reg: 0.031 solved: 8 total time: 75.3762
 opt: 0.297 reg: 0.045 solved: 10 total time: 75.7195
 opt: 0.295 reg: 0.076 solved: 8 total time: 76.0915
 opt: 0.176 reg: 0.025 solved: 8 total time: 76.2938
 opt: 0.256 reg: 0.023 solved: 9 total time: 76.5742
 opt: 0.12 reg: 0.049 solved: 9 total time: 76.7453
 opt: 0.299 reg: 0.035 solved: 8 total time: 77.0797
 opt: 0.214 reg: 0.018 solved: 9 total time: 77.3129
 opt: 0.267 reg: 0.034 solved: 9 total time: 77.6146
 opt: 0.264 reg: 0.032 solved: 8 total time: 77.9121
 opt: 0.277 reg: 0.021 solved: 8 total time: 78.2119
 opt: 0.285 reg: 0.05 solved: 10 total time: 78.5474
 opt: 0.264 reg: 0.701 solved: 10 total time: 79.5123
 opt: 0.351 reg: 0.022 solved: 8 total time: 79.8863
 opt: 0.266 reg: 0.052 solved: 9 total time: 80.2054
 opt: 0.301 reg: 0.01 solved: 8 total time: 80.5173
 opt: 0.337 reg: 0.01 solved: 8 total time: 80.8658
 opt: 0.235 reg: 0.027 solved: 8 total time: 81.1287
 opt: 0.335 reg: 0.033 solved: 8 total time: 81.4975
 opt: 0.301 reg: 0.016 solved: 8 total time: 81.8159
 opt: 0.258 reg: 0.047 solved: 8 total time: 82.1223
 opt: 0.28 reg: 0.004 solved: 8 total time: 82.4072
 opt: 0.22 reg: 0.024 solved: 10 total time: 82.6531
 opt: 0.199 reg: 0.029 solved: 8 total time: 82.882
 opt: 0.263 reg: 0.048 solved: 8 total time: 83.1936
 opt: 0.228 reg: 0.03 solved: 10 total time: 83.4524
 opt: 0.279 reg: 0.055 solved: 9 total time: 83.7878
 opt: 0.363 reg: 0.047 solved: 10 total time: 84.1992
 opt: 0.264 reg: 0.045 solved: 8 total time: 84.5097
 opt: 0.277 reg: 0.032 solved: 8 total time: 84.8198
 opt: 0.311 reg: 0.044 solved: 9 total time: 85.1756
 opt: 0.243 reg: 0.047 solved: 8 total time: 85.4671
 opt: 0.26 reg: 0.035 solved: 8 total time: 85.7629
 opt: 0.235 reg: 0.072 solved: 9 total time: 86.0707
 opt: 0.301 reg: 0.027 solved: 10 total time: 86.3998
 opt: 0.343 reg: 0.014 solved: 10 total time: 86.7581
 opt: 0.321 reg: 0.01 solved: 10 total time: 87.0895
 opt: 0.274 reg: 0.01 solved: 8 total time: 87.3747
 opt: 0.132 reg: 0.051 solved: 9 total time: 87.5587
 opt: 0.269 reg: 0.043 solved: 8 total time: 87.8714
 opt: 0.309 reg: 0.024 solved: 8 total time: 88.206
 opt: 0.307 reg: 0.061 solved: 10 total time: 88.575
 opt: 0.239 reg: 0.009 solved: 10 total time: 88.8243
 opt: 0.273 reg: 0.008 solved: 8 total time: 89.1059
 opt: 0.227 reg: 0.038 solved: 8 total time: 89.3725
 opt: 0.321 reg: 0.035 solved: 8 total time: 89.73
 opt: 0.31 reg: 0.021 solved: 8 total time: 90.0621
 opt: 0.299 reg: 0.059 solved: 10 total time: 90.4213
 opt: 0.293 reg: 0.038 solved: 10 total time: 90.753
 opt: 0.322 reg: 0.008 solved: 8 total time: 91.0846
 opt: 0.357 reg: 0.007 solved: 8 total time: 91.4498
 opt: 0.251 reg: 0.008 solved: 8 total time: 91.7104
 opt: 0.26 reg: 0.02 solved: 8 total time: 91.9916
 opt: 0.279 reg: 0.014 solved: 8 total time: 92.286
 opt: 0.216 reg: 0.076 solved: 10 total time: 92.5788
 opt: 0.131 reg: 0.021 solved: 10 total time: 92.732
 opt: 0.293 reg: 0.018 solved: 10 total time: 93.0448
 opt: 0.286 reg: 0.02 solved: 10 total time: 93.3517
 opt: 0.307 reg: 0.755 solved: 9 total time: 94.4141
 opt: 0.343 reg: 0.022 solved: 9 total time: 94.7801
 opt: 0.304 reg: 0.016 solved: 10 total time: 95.1015
 opt: 0.217 reg: 0.026 solved: 8 total time: 95.3453
 opt: 0.265 reg: 0.042 solved: 10 total time: 95.6525
 opt: 0.132 reg: 0.03 solved: 9 total time: 95.8158
 opt: 0.23 reg: 0.043 solved: 10 total time: 96.0894
 opt: 0.308 reg: 0.026 solved: 8 total time: 96.4248
 opt: 0.283 reg: 0.051 solved: 9 total time: 96.7606
 opt: 0.319 reg: 0.042 solved: 9 total time: 97.1222
 opt: 0.344 reg: 0.012 solved: 10 total time: 97.4792
 opt: 0.286 reg: 0.029 solved: 9 total time: 97.7954
 opt: 0.225 reg: 0.04 solved: 10 total time: 98.061
 opt: 0.29 reg: 0.059 solved: 10 total time: 98.4113
 opt: 0.235 reg: 0.062 solved: 10 total time: 98.7093
 opt: 0.305 reg: 0.03 solved: 10 total time: 99.0463
 opt: 0.267 reg: 0.077 solved: 9 total time: 99.3914
 opt: 0.196 reg: 0.072 solved: 9 total time: 99.6611
 opt: 0.173 reg: 0.113 solved: 11 total time: 99.9479
 opt: 0.31 reg: 0.017 solved: 10 total time: 100.277
 opt: 0.303 reg: 0.042 solved: 8 total time: 100.623
 opt: 0.31 reg: 0.015 solved: 8 total time: 100.949
 opt: 0.314 reg: 0.016 solved: 10 total time: 101.281
 opt: 0.28 reg: 0.034 solved: 10 total time: 101.596
 opt: 0.21 reg: 0.055 solved: 9 total time: 101.861
 opt: 0.354 reg: 0.013 solved: 10 total time: 102.229
 opt: 0.267 reg: 0.031 solved: 9 total time: 102.529
 opt: 0.274 reg: 0.072 solved: 9 total time: 102.876
 opt: 0.27 reg: 0.033 solved: 8 total time: 103.18
 opt: 0.336 reg: 0.03 solved: 9 total time: 103.547
 opt: 0.338 reg: 0.768 solved: 10 total time: 104.653
 opt: 0.395 reg: 0.008 solved: 10 total time: 105.057
 opt: 0.23 reg: 0.018 solved: 9 total time: 105.305
 opt: 0.346 reg: 0.017 solved: 10 total time: 105.669
 opt: 0.302 reg: 0.012 solved: 10 total time: 105.984
 opt: 0.246 reg: 0.038 solved: 10 total time: 106.268
 opt: 0.15 reg: 0.041 solved: 9 total time: 106.461
 opt: 0.319 reg: 0.012 solved: 10 total time: 106.793
 opt: 0.347 reg: 0.014 solved: 10 total time: 107.155
 opt: 0.334 reg: 0.064 solved: 9 total time: 107.554
 opt: 0.221 reg: 0.048 solved: 9 total time: 107.825
 opt: 0.222 reg: 0.019 solved: 8 total time: 108.067
 opt: 0.287 reg: 0.049 solved: 9 total time: 108.404
 opt: 0.202 reg: 0.021 solved: 8 total time: 108.627
 opt: 0.332 reg: 0.03 solved: 10 total time: 108.991
 opt: 0.344 reg: 0.027 solved: 10 total time: 109.363
 opt: 0.158 reg: 0.057 solved: 10 total time: 109.58
 opt: 0.316 reg: 0.065 solved: 9 total time: 109.962
 opt: 0.278 reg: 0.029 solved: 8 total time: 110.27
 opt: 0.334 reg: 0.046 solved: 9 total time: 110.651
 opt: 0.316 reg: 0.047 solved: 10 total time: 111.016
 opt: 0.306 reg: 0.009 solved: 10 total time: 111.331
 opt: 0.333 reg: 0.009 solved: 10 total time: 111.675
 opt: 0.285 reg: 0.008 solved: 10 total time: 111.968
 opt: 0.238 reg: 0.006 solved: 10 total time: 112.213
 opt: 0.293 reg: 0.041 solved: 9 total time: 112.548
 opt: 0.223 reg: 0.031 solved: 8 total time: 112.804
 opt: 0.393 reg: 0.056 solved: 10 total time: 113.254
 opt: 0.151 reg: 0.031 solved: 9 total time: 113.437
 opt: 0.298 reg: 0.035 solved: 9 total time: 113.771
 opt: 0.296 reg: 0.051 solved: 10 total time: 114.119
 opt: 0.187 reg: 0.023 solved: 8 total time: 114.33
 opt: 0.306 reg: 0.024 solved: 10 total time: 114.661
 opt: 0.305 reg: 0.059 solved: 9 total time: 115.026
 opt: 0.144 reg: 0.03 solved: 9 total time: 115.201
 opt: 0.344 reg: 0.016 solved: 10 total time: 115.562
 opt: 0.267 reg: 0.02 solved: 10 total time: 115.85
 opt: 0.281 reg: 0.843 solved: 9 total time: 116.974
 opt: 0.317 reg: 0.021 solved: 9 total time: 117.314
 opt: 0.372 reg: 0.014 solved: 10 total time: 117.701
 opt: 0.32 reg: 0.039 solved: 9 total time: 118.061
 opt: 0.374 reg: 0.032 solved: 10 total time: 118.467
 opt: 0.291 reg: 0.033 solved: 10 total time: 118.792
 opt: 0.23 reg: 0.054 solved: 9 total time: 119.077
 opt: 0.308 reg: 0.036 solved: 9 total time: 119.422
 opt: 0.258 reg: 0.046 solved: 10 total time: 119.727
 opt: 0.252 reg: 0.033 solved: 9 total time: 120.014
 opt: 0.276 reg: 0.03 solved: 9 total time: 120.321
 opt: 0.327 reg: 0.03 solved: 10 total time: 120.68
 opt: 0.329 reg: 0.032 solved: 10 total time: 121.042
 opt: 0.281 reg: 0.082 solved: 11 total time: 121.405
 opt: 0.244 reg: 0.033 solved: 9 total time: 121.684
 opt: 0.298 reg: 0.036 solved: 10 total time: 122.018
 opt: 0.283 reg: 0.069 solved: 9 total time: 122.371
 opt: 0.202 reg: 0.035 solved: 9 total time: 122.61
 opt: 0.335 reg: 0.018 solved: 10 total time: 122.964
 opt: 0.278 reg: 0.04 solved: 9 total time: 123.283
 opt: 0.243 reg: 0.038 solved: 9 total time: 123.566
 opt: 0.243 reg: 0.07 solved: 9 total time: 123.88
 opt: 0.277 reg: 0.047 solved: 9 total time: 124.206
 opt: 0.345 reg: 0.022 solved: 10 total time: 124.574
 opt: 0.307 reg: 0.073 solved: 10 total time: 124.955
 opt: 0.292 reg: 0.018 solved: 8 total time: 125.267
 opt: 0.342 reg: 0.041 solved: 10 total time: 125.651
 opt: 0.334 reg: 0.057 solved: 9 total time: 126.043
 opt: 0.217 reg: 0.048 solved: 12 total time: 126.309
 opt: 0.279 reg: 0.048 solved: 10 total time: 126.638
 opt: 0.398 reg: 0.039 solved: 10 total time: 127.076
 opt: 0.311 reg: 0.012 solved: 10 total time: 127.4
 opt: 1.006 reg: 0.025 solved: 10 total time: 128.43
 opt: 0.357 reg: 0.023 solved: 10 total time: 128.811
 opt: 0.274 reg: 0.027 solved: 8 total time: 129.113
 opt: 0.326 reg: 0.038 solved: 10 total time: 129.479
 opt: 0.402 reg: 0.026 solved: 10 total time: 129.909
 opt: 0.286 reg: 0.025 solved: 10 total time: 130.221
 opt: 0.323 reg: 0.047 solved: 9 total time: 130.591
 opt: 0.337 reg: 0.043 solved: 9 total time: 130.973
 opt: 0.327 reg: 0.033 solved: 9 total time: 131.334
 opt: 0.439 reg: 0.05 solved: 10 total time: 131.823
 opt: 0.268 reg: 0.016 solved: 10 total time: 132.108
 opt: 0.433 reg: 0.017 solved: 10 total time: 132.559
 opt: 0.265 reg: 0.015 solved: 9 total time: 132.841
 opt: 0.35 reg: 0.027 solved: 10 total time: 133.219
 opt: 0.326 reg: 0.023 solved: 10 total time: 133.569
 opt: 0.326 reg: 0.057 solved: 9 total time: 133.953
 opt: 0.331 reg: 0.019 solved: 10 total time: 134.305
 opt: 0.256 reg: 0.024 solved: 9 total time: 134.585
 opt: 0.274 reg: 0.032 solved: 9 total time: 134.893
 opt: 0.307 reg: 0.027 solved: 10 total time: 135.228
 opt: 0.272 reg: 0.055 solved: 8 total time: 135.556
 opt: 0.32 reg: 0.034 solved: 9 total time: 135.911
 opt: 0.181 reg: 0.031 solved: 10 total time: 136.125
 opt: 0.334 reg: 0.037 solved: 9 total time: 136.497
 opt: 0.336 reg: 0.044 solved: 10 total time: 136.878
 opt: 0.365 reg: 0.023 solved: 9 total time: 137.268
 opt: 0.339 reg: 0.02 solved: 10 total time: 137.628
 opt: 0.336 reg: 0.049 solved: 9 total time: 138.015
 opt: 0.184 reg: 0.085 solved: 10 total time: 138.285
 opt: 0.292 reg: 0.033 solved: 9 total time: 138.612
 opt: 0.296 reg: 0.054 solved: 9 total time: 138.963
 opt: 0.371 reg: 0.04 solved: 10 total time: 139.375
 opt: 0.308 reg: 0.044 solved: 10 total time: 139.728
 opt: 0.391 reg: 0.04 solved: 10 total time: 140.159
 opt: 0.326 reg: 0.042 solved: 10 total time: 140.528
 opt: 0.282 reg: 0.076 solved: 9 total time: 140.887
 opt: 0.265 reg: 0.021 solved: 10 total time: 141.174
 opt: 0.231 reg: 0.027 solved: 9 total time: 141.434
 opt: 0.291 reg: 0.03 solved: 10 total time: 141.757
 opt: 1.176 reg: 0.007 solved: 10 total time: 142.939
 opt: 0.386 reg: 0.012 solved: 10 total time: 143.338
 opt: 0.163 reg: 0.031 solved: 9 total time: 143.533
 opt: 0.368 reg: 0.017 solved: 10 total time: 143.92
 opt: 0.283 reg: 0.042 solved: 9 total time: 144.247
 opt: 0.285 reg: 0.06 solved: 9 total time: 144.593
 opt: 0.372 reg: 0.016 solved: 10 total time: 144.982
 opt: 0.298 reg: 0.034 solved: 9 total time: 145.316
 opt: 0.373 reg: 0.036 solved: 9 total time: 145.726
 opt: 0.311 reg: 0.061 solved: 9 total time: 146.098
 opt: 0.299 reg: 0.063 solved: 9 total time: 146.46
 opt: 0.399 reg: 0.022 solved: 10 total time: 146.882
 opt: 0.269 reg: 0.045 solved: 8 total time: 147.198
 opt: 0.288 reg: 0.054 solved: 9 total time: 147.54
 opt: 0.379 reg: 0.027 solved: 10 total time: 147.947
 opt: 0.332 reg: 0.03 solved: 8 total time: 148.31
 opt: 0.383 reg: 0.04 solved: 10 total time: 148.734
 opt: 0.348 reg: 0.032 solved: 10 total time: 149.114
 opt: 0.27 reg: 0.062 solved: 10 total time: 149.448
 opt: 0.285 reg: 0.029 solved: 10 total time: 149.763
 opt: 0.346 reg: 0.031 solved: 9 total time: 150.141
 opt: 0.355 reg: 0.046 solved: 9 total time: 150.543
 opt: 0.346 reg: 0.052 solved: 10 total time: 150.942
 opt: 0.35 reg: 0.019 solved: 9 total time: 151.312
 opt: 0.324 reg: 0.031 solved: 10 total time: 151.668
 opt: 0.362 reg: 0.038 solved: 10 total time: 152.069
 opt: 0.327 reg: 0.064 solved: 10 total time: 152.462
 opt: 0.237 reg: 0.034 solved: 10 total time: 152.733
 opt: 0.328 reg: 0.069 solved: 9 total time: 153.131
 opt: 0.345 reg: 0.042 solved: 10 total time: 153.518
 opt: 0.314 reg: 0.05 solved: 10 total time: 153.884
 opt: 0.395 reg: 0.026 solved: 10 total time: 154.306
 opt: 1.179 reg: 0.011 solved: 10 total time: 155.496
 opt: 0.282 reg: 0.034 solved: 10 total time: 155.814
 opt: 0.318 reg: 0.07 solved: 8 total time: 156.203
 opt: 0.341 reg: 0.024 solved: 9 total time: 156.569
 opt: 0.379 reg: 0.028 solved: 10 total time: 156.977
 opt: 0.418 reg: 0.045 solved: 10 total time: 157.44
 opt: 0.35 reg: 0.042 solved: 9 total time: 157.833
 opt: 0.178 reg: 0.043 solved: 9 total time: 158.055
 opt: 0.292 reg: 0.055 solved: 10 total time: 158.403
 opt: 0.375 reg: 0.012 solved: 10 total time: 158.792
 opt: 0.238 reg: 0.021 solved: 10 total time: 159.052
 opt: 0.302 reg: 0.047 solved: 10 total time: 159.402
 opt: 0.289 reg: 0.017 solved: 10 total time: 159.708
 opt: 0.35 reg: 0.022 solved: 10 total time: 160.082
 opt: 0.249 solved: 2147483647 total time: 160.331
L = 4, leader states: 4.88281e+08, follower subproblems: 4.88281e+08, F:2147483647, total time: 160.386
Search time: 158.305s
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 s68 blaststepdone
				 fix_switch t0 s19 blaststepdone
				 fix_switch t0 s166 blaststepdone
				 fix_switch t0 s117 blaststepdone
				 fix_next-step t0 t1 blaststepdone
				 fix_switch t1 s97 blaststepdone
				 fix_switch t1 s48 blaststepdone
				 fix_switch t1 s195 blaststepdone
				 fix_switch t1 s146 blaststepdone
				 fix_next-step t1 t2 blaststepdone
				 fix_switch t2 s8 blaststepdone
				 fix_switch t2 s57 blaststepdone
				 fix_switch t2 s155 blaststepdone
				 fix_switch t2 s106 blaststepdone
				 fix_next-step t2 t3 blaststepdone
				 fix_last-step t3 blaststepdone
	 attacker plan: 
		 <unsolvable>
END Pareto-frontier
Total follower searches: 574
Solved by optimal solver: 574
Solved by cost bounded solver: 0
Optimally solved follower subproblems: 574
Solved follower subproblems: 574
Optimal solver time: 137.992s
Cost-bounded solver time: 0s
Follower search time: 137.992s
Total time: 160.404s
Optimal engine:
Peak memory: 744252 KB
@@@T162822@@@
Done!
real 163.01
user 161.69
sys 1.10
