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/Atmnet_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/Atmnet_3.pddl
Parsing...
Parsing: [0.010s CPU, 0.150s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.003s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.011s wall-clock]
Preparing model... [0.010s CPU, 0.009s wall-clock]
Generated 173 rules.
Computing model... [0.240s CPU, 0.249s wall-clock]
4451 relevant atoms
7520 auxiliary atoms
11971 final queue length
15670 total queue pushes
Completing instantiation... [0.250s CPU, 0.241s wall-clock]
Instantiating: [0.520s CPU, 0.519s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.010s CPU, 0.010s wall-clock]
Checking invariant weight... [0.000s CPU, 0.000s wall-clock]
Instantiating groups... [0.000s CPU, 0.001s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.000s wall-clock]
Choosing groups...
258 uncovered facts
Choosing groups: [0.000s CPU, 0.000s wall-clock]
Building translation key... [0.000s CPU, 0.002s wall-clock]
Computing fact groups: [0.020s CPU, 0.017s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.001s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.001s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.001s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.020s CPU, 0.023s wall-clock]
Translating task: [0.290s CPU, 0.286s 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: 260
Translator derived variables: 0
Translator facts: 558
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 43
Translator operators: 3549
Translator axioms: 0
Translator task size: 19991
Translator peak memory: 33516 KB
Writing output... [0.040s CPU, 0.047s wall-clock]
Done! [0.930s CPU, 1.071s 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=300956, notReached=9288, spurious=1120
14 operators are spurious because were not triggered
H^2 mutexes added fw: 9288, unreachable: 0
0 of 3535 operators detected as spurious
Total mutex and disambiguation time: 0.888915 iterations: 2
4644 of 4644 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
4644 of 4644 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
4644 of 4644 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: 4644
Preprocessor task size: 29166
Writing output...
Preprocessor time: 1.07287s
Preprocessor peak memory: 13420 KB
done
INFO     Running search (release).
INFO     search input: output
INFO     search arguments: ['--search', 'sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=true,plan_reuse_upper_bound=true),upper_bound_pruning=false,min_relevant_follower_cost=100000)']
INFO     search time limit: None
INFO     search memory limit: 25600 MB
INFO     search executable: /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/search/downward
INFO     callstring: /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/search/downward --search 'sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=true,plan_reuse_upper_bound=true),upper_bound_pruning=false,min_relevant_follower_cost=100000)' --plan-file sas_plan < output
reading input... [t=0.000276947s]
Simplifying transitions... done!
done reading input! [t=0.0927198s]
building causal graph...done! [t=0.0951373s]
packing state variables...Variables: 260
Bytes per state: 36
done! [t=0.0953766s]
done initalizing global data [t=0.0953811s]
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 251 255 248 228 224 212 216 240 236 208 245 244 220 233 257 246 247 253 258 249 221 204 237 241 217 225 252 0 213 201 205 254 229 259 232 200 250 209 256 219 199 223 235 207 231 239 203 211 243 215 227 
Num variables: 260 => 269
Initialize Symbolic Manager(538, 29739, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 278 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 0.211s
Starting Stackelberg bounded search...
 opt: 0.003 reg: 0 solved: 1 total time: 2.40199
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 2.40204
 opt: 0.003 reg: 0 solved: 1 total time: 2.41878
 opt: 0.004 reg: 0 solved: 1 total time: 2.42346
 opt: 0.006 reg: 0 solved: 1 total time: 2.4297
 opt: 0.003 reg: 0 solved: 1 total time: 2.43356
 opt: 0.005 reg: 0 solved: 1 total time: 2.43911
 opt: 0.005 reg: 0 solved: 1 total time: 2.44457
 opt: 0.007 reg: 0 solved: 1 total time: 2.452
 opt: 0.007 reg: 0 solved: 1 total time: 2.45917
 opt: 0.006 reg: 0 solved: 1 total time: 2.46626
 opt: 0.007 reg: 0 solved: 1 total time: 2.47361
 opt: 0.005 reg: 0 solved: 1 total time: 2.4797
 opt: 0.007 reg: 0 solved: 1 total time: 2.48694
 opt: 0.013 reg: 0 solved: 2 total time: 2.50059
L = 1, leader states: 8192, follower subproblems: 8192, F:100000, total time: 2.5007
 opt: 0.026 reg: 0 solved: 2 total time: 2.54441
 opt: 0.035 reg: 0 solved: 2 total time: 2.58054
L = 2, leader states: 1.06288e+06, follower subproblems: 1.06288e+06, F:100000, total time: 2.5807
 opt: 0.025 reg: 0 solved: 2 total time: 2.62359
 opt: 0.055 reg: 0 solved: 4 total time: 2.68004
 opt: 0.075 reg: 0.001 solved: 4 total time: 2.75699
 opt: 0.1 reg: 0.001 solved: 4 total time: 2.85888
 opt: 0.026 reg: 0.001 solved: 3 total time: 2.88682
 opt: 0.08 reg: 0.001 solved: 4 total time: 2.96917
 opt: 0.033 reg: 0.003 solved: 3 total time: 3.00614
 opt: 0.091 reg: 0.004 solved: 4 total time: 3.1026
L = 3, leader states: 3.35544e+07, follower subproblems: 3.35544e+07, F:100000, total time: 3.1029
 opt: 0.048 reg: 0.005 solved: 3 total time: 3.17485
 opt: 0.081 reg: 0.009 solved: 4 total time: 3.26618
 opt: 0.101 reg: 0.008 solved: 4 total time: 3.37672
 opt: 0.03 reg: 0.008 solved: 2 total time: 3.4161
 opt: 0.094 reg: 0.018 solved: 6 total time: 3.52934
 opt: 0.106 reg: 0.003 solved: 4 total time: 3.63929
 opt: 0.247 reg: 0.004 solved: 4 total time: 3.89102
 opt: 0.078 reg: 0.007 solved: 5 total time: 3.97757
 opt: 0.076 reg: 0.013 solved: 4 total time: 4.06847
 opt: 0.043 reg: 0.018 solved: 4 total time: 4.13119
 opt: 0.12 reg: 0.023 solved: 4 total time: 4.27526
 opt: 0.072 reg: 0.023 solved: 4 total time: 4.37121
 opt: 0.12 reg: 0.001 solved: 4 total time: 4.49326
 opt: 0.13 reg: 0.001 solved: 4 total time: 4.62551
 opt: 0.055 reg: 0.009 solved: 5 total time: 4.69044
 opt: 0.09 reg: 0.015 solved: 6 total time: 4.79653
 opt: 0.158 reg: 0.022 solved: 6 total time: 4.97812
 opt: 0.094 reg: 0.009 solved: 6 total time: 5.08299
 opt: 0.068 reg: 0.011 solved: 6 total time: 5.16363
 opt: 0.08 reg: 0.006 solved: 6 total time: 5.25096
 opt: 0.077 reg: 0.007 solved: 6 total time: 5.33634
 opt: 0.074 reg: 0.011 solved: 6 total time: 5.42361
 opt: 0.065 reg: 0.018 solved: 6 total time: 5.50847
 opt: 0.077 reg: 0.011 solved: 6 total time: 5.5974
 opt: 0.091 reg: 0.016 solved: 8 total time: 5.70625
 opt: 0.099 reg: 0.025 solved: 6 total time: 5.83139
 opt: 0.187 reg: 0.051 solved: 6 total time: 6.07082
 opt: 0.236 reg: 0.017 solved: 6 total time: 6.32511
 opt: 0.184 reg: 0.012 solved: 6 total time: 6.52307
 opt: 0.196 reg: 0.003 solved: 6 total time: 6.72415
 opt: 0.221 reg: 0.005 solved: 6 total time: 6.95195
 opt: 0.145 reg: 0.01 solved: 6 total time: 7.10784
 opt: 0.171 reg: 0.006 solved: 6 total time: 7.28568
 opt: 0.149 reg: 0.007 solved: 6 total time: 7.44337
 opt: 0.18 reg: 0.005 solved: 6 total time: 7.63054
 opt: 0.194 reg: 0.01 solved: 6 total time: 7.83559
 opt: 0.189 reg: 0.012 solved: 6 total time: 8.0375
 opt: 0.096 reg: 0.03 solved: 9 total time: 8.16447
 opt: 0.095 reg: 0.011 solved: 8 total time: 8.27143
 opt: 0.152 reg: 0.013 solved: 6 total time: 8.43702
 opt: 0.175 reg: 0.02 solved: 6 total time: 8.63347
 opt: 0.163 reg: 0.024 solved: 6 total time: 8.8217
 opt: 0.187 reg: 0.019 solved: 6 total time: 9.02883
 opt: 0.16 reg: 0.005 solved: 6 total time: 9.19509
 opt: 0.13 reg: 0.007 solved: 6 total time: 9.33323
 opt: 0.197 reg: 0.01 solved: 6 total time: 9.54172
 opt: 0.187 reg: 0.007 solved: 6 total time: 9.73617
 opt: 0.164 reg: 0.009 solved: 6 total time: 9.91049
 opt: 0.071 reg: 0.009 solved: 6 total time: 9.99154
 opt: 0.07 reg: 0.034 solved: 8 total time: 10.0971
 opt: 0.134 reg: 0.041 solved: 8 total time: 10.2731
 opt: 0.058 reg: 0.013 solved: 6 total time: 10.3457
 opt: 0.096 reg: 0.024 solved: 8 total time: 10.4666
 opt: 0.172 reg: 0.02 solved: 6 total time: 10.6598
 opt: 0.153 reg: 0.024 solved: 6 total time: 10.8387
 opt: 0.166 reg: 0.026 solved: 6 total time: 11.032
 opt: 0.183 reg: 0.032 solved: 8 total time: 11.2479
 opt: 0.087 reg: 0.024 solved: 8 total time: 11.3606
 opt: 0.085 reg: 0.026 solved: 8 total time: 11.4737
 opt: 0.193 reg: 0.008 solved: 6 total time: 11.6762
 opt: 0.184 reg: 0.01 solved: 6 total time: 11.8716
 opt: 0.154 reg: 0.025 solved: 8 total time: 12.052
 opt: 0.162 reg: 0.038 solved: 8 total time: 12.2534
 opt: 0.16 reg: 0.009 solved: 8 total time: 12.4233
 opt: 0.207 reg: 0.005 solved: 6 total time: 12.6369
 opt: 0.911 reg: 0.005 solved: 6 total time: 13.5531
 opt: 0.094 reg: 0.031 solved: 9 total time: 13.6795
 opt: 0.17 reg: 0.032 solved: 6 total time: 13.8824
 opt: 0.262 reg: 0.008 solved: 8 total time: 14.1532
 opt: 0.166 reg: 0.013 solved: 8 total time: 14.3327
 opt: 0.092 reg: 0.029 solved: 8 total time: 14.4552
 opt: 0.19 reg: 0.013 solved: 8 total time: 14.6596
 opt: 0.183 reg: 0.011 solved: 8 total time: 14.8549
 opt: 0.279 reg: 0.019 solved: 8 total time: 15.1546
 opt: 0.308 reg: 0.018 solved: 8 total time: 15.482
 opt: 0.276 reg: 0.022 solved: 8 total time: 15.7812
 opt: 0.073 reg: 0.042 solved: 8 total time: 15.8975
 opt: 0.094 reg: 0.034 solved: 8 total time: 16.0263
 opt: 0.091 reg: 0.01 solved: 8 total time: 16.1291
 opt: 0.209 reg: 0.008 solved: 8 total time: 16.3476
 opt: 0.09 reg: 0.012 solved: 8 total time: 16.4504
 opt: 0.095 reg: 0.017 solved: 8 total time: 16.5633
 opt: 0.232 reg: 0.014 solved: 8 total time: 16.8111
 opt: 0.091 reg: 0.059 solved: 10 total time: 16.9627
 opt: 0.253 reg: 0.011 solved: 8 total time: 17.2275
 opt: 0.2 reg: 0.008 solved: 8 total time: 17.4374
 opt: 0.264 reg: 0.014 solved: 8 total time: 17.7168
 opt: 0.306 reg: 0.011 solved: 8 total time: 18.0346
 opt: 0.238 reg: 0.036 solved: 8 total time: 18.3092
 opt: 0.089 reg: 0.04 solved: 10 total time: 18.4389
 opt: 0.114 reg: 0.022 solved: 9 total time: 18.5767
 opt: 0.188 reg: 0.027 solved: 8 total time: 18.7928
 opt: 0.176 reg: 0.036 solved: 8 total time: 19.0062
 opt: 0.201 reg: 0.014 solved: 8 total time: 19.2223
 opt: 0.256 reg: 0.013 solved: 8 total time: 19.4927
 opt: 0.082 reg: 0.035 solved: 10 total time: 19.6102
 opt: 0.268 reg: 0.042 solved: 8 total time: 19.9213
 opt: 0.224 reg: 0.013 solved: 8 total time: 20.1599
 opt: 0.289 reg: 0.018 solved: 8 total time: 20.4686
 opt: 0.175 reg: 0.025 solved: 8 total time: 20.6697
 opt: 0.247 reg: 0.03 solved: 8 total time: 20.9473
 opt: 0.177 reg: 0.032 solved: 8 total time: 21.1569
 opt: 0.084 reg: 0.04 solved: 10 total time: 21.282
 opt: 0.21 reg: 0.012 solved: 8 total time: 21.5046
 opt: 0.195 reg: 0.017 solved: 10 total time: 21.7186
 opt: 0.185 reg: 0.019 solved: 8 total time: 21.9237
 opt: 0.282 reg: 0.063 solved: 8 total time: 22.2706
 opt: 0.092 reg: 0.018 solved: 9 total time: 22.3822
 opt: 0.282 reg: 0.03 solved: 8 total time: 22.695
 opt: 0.249 reg: 0.037 solved: 8 total time: 22.9826
 opt: 0.102 reg: 0.047 solved: 9 total time: 23.1325
 opt: 0.089 reg: 0.021 solved: 9 total time: 23.2441
 opt: 0.256 reg: 0.032 solved: 8 total time: 23.5335
 opt: 0.188 reg: 0.027 solved: 9 total time: 23.75
 opt: 0.242 reg: 0.032 solved: 8 total time: 24.0249
 opt: 0.312 reg: 0.027 solved: 8 total time: 24.3648
 opt: 0.241 reg: 0.047 solved: 8 total time: 24.654
 opt: 0.241 reg: 0.017 solved: 8 total time: 24.9137
 opt: 0.288 reg: 0.023 solved: 8 total time: 25.2254
 opt: 0.823 reg: 0.017 solved: 8 total time: 26.0664
 opt: 0.305 reg: 0.026 solved: 8 total time: 26.3988
 opt: 0.229 reg: 0.032 solved: 9 total time: 26.6609
 opt: 0.264 reg: 0.013 solved: 9 total time: 26.9387
 opt: 0.156 reg: 0.023 solved: 9 total time: 27.1196
 opt: 0.299 reg: 0.005 solved: 9 total time: 27.4247
 opt: 0.187 reg: 0.018 solved: 10 total time: 27.6313
 opt: 0.328 reg: 0.026 solved: 8 total time: 27.9855
 opt: 0.113 reg: 0.01 solved: 9 total time: 28.1105
 opt: 0.223 reg: 0.024 solved: 8 total time: 28.3584
 opt: 0.198 reg: 0.03 solved: 10 total time: 28.5876
 opt: 0.313 reg: 0.026 solved: 8 total time: 28.9274
 opt: 0.204 reg: 0.038 solved: 8 total time: 29.1706
 opt: 0.182 reg: 0.048 solved: 10 total time: 29.4011
 opt: 0.299 reg: 0.023 solved: 9 total time: 29.7246
 opt: 0.087 reg: 0.023 solved: 9 total time: 29.8361
 opt: 0.189 reg: 0.045 solved: 9 total time: 30.0707
 opt: 0.092 reg: 0.031 solved: 9 total time: 30.1949
 opt: 0.366 reg: 0.013 solved: 10 total time: 30.5745
 opt: 0.278 reg: 0.023 solved: 10 total time: 30.8761
 opt: 0.331 reg: 0.043 solved: 8 total time: 31.251
 opt: 0.352 reg: 0.022 solved: 8 total time: 31.6266
 opt: 0.288 reg: 0.017 solved: 8 total time: 31.9324
 opt: 0.292 reg: 0.03 solved: 9 total time: 32.2559
 opt: 0.109 reg: 0.039 solved: 9 total time: 32.405
 opt: 0.322 reg: 0.025 solved: 8 total time: 32.7536
 opt: 0.223 reg: 0.028 solved: 8 total time: 33.0056
 opt: 0.258 reg: 0.024 solved: 8 total time: 33.2895
 opt: 0.189 reg: 0.042 solved: 10 total time: 33.5219
 opt: 0.105 reg: 0.022 solved: 9 total time: 33.6503
 opt: 0.207 reg: 0.042 solved: 10 total time: 33.9
 opt: 0.197 reg: 0.038 solved: 10 total time: 34.137
 opt: 0.187 reg: 0.041 solved: 9 total time: 34.3665
 opt: 0.32 reg: 0.019 solved: 8 total time: 34.7072
 opt: 0.253 reg: 0.023 solved: 9 total time: 34.9849
 opt: 0.101 reg: 0.052 solved: 9 total time: 35.1393
 opt: 0.266 reg: 0.069 solved: 8 total time: 35.4755
 opt: 0.09 reg: 0.043 solved: 9 total time: 35.6105
 opt: 0.171 reg: 0.037 solved: 9 total time: 35.8201
 opt: 0.29 reg: 0.016 solved: 9 total time: 36.1269
 opt: 0.102 reg: 0.589 solved: 9 total time: 36.8179
 opt: 0.13 reg: 0.004 solved: 9 total time: 36.9533
 opt: 0.285 reg: 0.015 solved: 8 total time: 37.2549
 opt: 0.287 reg: 0.022 solved: 9 total time: 37.565
 opt: 0.186 reg: 0.007 solved: 10 total time: 37.7598
 opt: 0.266 reg: 0.018 solved: 8 total time: 38.0447
 opt: 0.334 reg: 0.033 solved: 9 total time: 38.4129
 opt: 0.252 reg: 0.01 solved: 9 total time: 38.6755
 opt: 0.353 reg: 0.011 solved: 10 total time: 39.0414
 opt: 0.328 reg: 0.025 solved: 9 total time: 39.3956
 opt: 0.11 reg: 0.046 solved: 10 total time: 39.5533
 opt: 0.206 reg: 0.015 solved: 9 total time: 39.7757
 opt: 0.201 reg: 0.023 solved: 9 total time: 40.0013
 opt: 0.185 reg: 0.023 solved: 10 total time: 40.2111
 opt: 0.294 reg: 0.031 solved: 9 total time: 40.5374
 opt: 0.183 reg: 0.015 solved: 9 total time: 40.7374
 opt: 0.329 reg: 0.016 solved: 9 total time: 41.0835
 opt: 0.322 reg: 0.02 solved: 9 total time: 41.4267
 opt: 0.349 reg: 0.037 solved: 10 total time: 41.8133
 opt: 0.301 reg: 0.052 solved: 9 total time: 42.1673
 opt: 0.273 reg: 0.015 solved: 9 total time: 42.4568
 opt: 0.304 reg: 0.012 solved: 9 total time: 42.7737
 opt: 0.179 reg: 0.04 solved: 10 total time: 42.994
 opt: 0.182 reg: 0.01 solved: 10 total time: 43.1875
 opt: 0.165 reg: 0.012 solved: 10 total time: 43.3654
 opt: 0.3 reg: 0.015 solved: 9 total time: 43.6818
 opt: 0.187 reg: 0.022 solved: 9 total time: 43.892
 opt: 0.208 reg: 0.074 solved: 9 total time: 44.175
 opt: 0.324 reg: 0.018 solved: 10 total time: 44.5181
 opt: 0.223 reg: 0.03 solved: 9 total time: 44.7723
 opt: 0.221 reg: 0.038 solved: 9 total time: 45.032
 opt: 0.311 reg: 0.041 solved: 10 total time: 45.3854
 opt: 0.328 reg: 0.041 solved: 9 total time: 45.7538
 opt: 0.324 reg: 0.049 solved: 9 total time: 46.1281
 opt: 0.338 reg: 0.045 solved: 9 total time: 46.513
 opt: 0.22 reg: 0.013 solved: 9 total time: 46.7466
 opt: 0.099 reg: 0.03 solved: 10 total time: 46.877
 opt: 0.279 reg: 0.055 solved: 9 total time: 47.2115
 opt: 0.323 reg: 0.023 solved: 9 total time: 47.559
 opt: 0.335 reg: 0.033 solved: 10 total time: 47.9282
 opt: 0.214 reg: 0.071 solved: 9 total time: 48.2141
 opt: 0.277 reg: 0.018 solved: 9 total time: 48.5101
 opt: 0.294 reg: 0.022 solved: 9 total time: 48.8272
 opt: 0.103 reg: 0.019 solved: 9 total time: 48.9511
 opt: 0.329 reg: 0.046 solved: 10 total time: 49.327
 opt: 0.195 reg: 0.061 solved: 10 total time: 49.5844
 opt: 0.316 reg: 0.018 solved: 9 total time: 49.9194
 opt: 0.231 reg: 0.031 solved: 10 total time: 50.1827
 opt: 0.329 reg: 0.024 solved: 10 total time: 50.5375
 opt: 0.341 reg: 0.628 solved: 10 total time: 51.5072
 opt: 0.359 reg: 0.025 solved: 9 total time: 51.892
 opt: 0.21 reg: 0.043 solved: 9 total time: 52.1456
 opt: 0.284 reg: 0.02 solved: 9 total time: 52.4509
 opt: 0.376 reg: 0.036 solved: 10 total time: 52.8644
 opt: 0.312 reg: 0.041 solved: 9 total time: 53.2187
 opt: 0.32 reg: 0.02 solved: 9 total time: 53.5601
 opt: 0.141 reg: 0.027 solved: 10 total time: 53.7289
 opt: 0.257 reg: 0.049 solved: 10 total time: 54.036
 opt: 0.121 reg: 0.02 solved: 9 total time: 54.1784
 opt: 0.351 reg: 0.019 solved: 9 total time: 54.5492
 opt: 0.21 reg: 0.026 solved: 9 total time: 54.786
 opt: 0.324 reg: 0.046 solved: 9 total time: 55.1565
 opt: 0.207 reg: 0.013 solved: 10 total time: 55.3783
 opt: 0.329 reg: 0.022 solved: 9 total time: 55.7296
 opt: 0.304 reg: 0.03 solved: 10 total time: 56.0645
 opt: 0.31 reg: 0.034 solved: 9 total time: 56.4097
 opt: 0.331 reg: 0.029 solved: 9 total time: 56.7707
 opt: 0.325 reg: 0.028 solved: 9 total time: 57.1241
 opt: 0.32 reg: 0.023 solved: 9 total time: 57.4689
 opt: 0.237 reg: 0.023 solved: 10 total time: 57.7303
 opt: 0.325 reg: 0.023 solved: 9 total time: 58.0788
 opt: 0.27 reg: 0.033 solved: 9 total time: 58.3832
 opt: 0.269 reg: 0.056 solved: 10 total time: 58.7097
 opt: 0.246 reg: 0.036 solved: 10 total time: 58.9919
 opt: 0.318 reg: 0.027 solved: 9 total time: 59.3384
 opt: 0.303 reg: 0.069 solved: 10 total time: 59.711
 opt: 0.383 reg: 0.045 solved: 10 total time: 60.1403
 opt: 0.294 reg: 0.012 solved: 10 total time: 60.4474
 opt: 0.296 reg: 0.014 solved: 10 total time: 60.7587
 opt: 0.261 reg: 0.059 solved: 9 total time: 61.0803
 opt: 0.299 reg: 0.042 solved: 9 total time: 61.4228
 opt: 0.326 reg: 0.01 solved: 9 total time: 61.7601
 opt: 0.192 reg: 0.008 solved: 9 total time: 61.9614
 opt: 0.267 reg: 0.023 solved: 9 total time: 62.2519
 opt: 0.318 reg: 0.653 solved: 9 total time: 63.2232
 opt: 0.292 reg: 0.013 solved: 9 total time: 63.5294
 opt: 0.257 reg: 0.032 solved: 9 total time: 63.819
 opt: 0.276 reg: 0.051 solved: 9 total time: 64.147
 opt: 0.367 reg: 0.031 solved: 10 total time: 64.5468
 opt: 0.261 reg: 0.03 solved: 9 total time: 64.8396
 opt: 0.259 reg: 0.061 solved: 10 total time: 65.161
 opt: 0.226 reg: 0.018 solved: 9 total time: 65.406
 opt: 0.323 reg: 0.014 solved: 9 total time: 65.7437
 opt: 0.284 reg: 0.022 solved: 9 total time: 66.0512
 opt: 0.324 reg: 0.043 solved: 9 total time: 66.4197
 opt: 0.279 reg: 0.016 solved: 9 total time: 66.7167
 opt: 0.314 reg: 0.027 solved: 10 total time: 67.0593
 opt: 0.289 reg: 0.038 solved: 10 total time: 67.3876
 opt: 0.288 reg: 0.033 solved: 10 total time: 67.71
 opt: 0.149 reg: 0.034 solved: 10 total time: 67.8936
 opt: 0.281 reg: 0.03 solved: 10 total time: 68.2059
 opt: 0.345 reg: 0.048 solved: 10 total time: 68.5998
 opt: 0.243 reg: 0.013 solved: 10 total time: 68.8569
 opt: 0.352 reg: 0.022 solved: 10 total time: 69.2316
 opt: 0.288 reg: 0.029 solved: 9 total time: 69.5499
 opt: 0.133 reg: 0.068 solved: 10 total time: 69.7512
 opt: 0.376 reg: 0.014 solved: 10 total time: 70.1418
 opt: 0.306 reg: 0.018 solved: 9 total time: 70.467
 opt: 0.306 reg: 0.019 solved: 10 total time: 70.7931
 opt: 0.316 reg: 0.048 solved: 10 total time: 71.1576
 opt: 0.318 reg: 0.014 solved: 10 total time: 71.4906
 opt: 0.361 reg: 0.024 solved: 10 total time: 71.8762
 opt: 0.359 reg: 0.04 solved: 9 total time: 72.2764
 opt: 0.28 reg: 0.078 solved: 10 total time: 72.6358
 opt: 0.28 reg: 0.014 solved: 9 total time: 72.9315
 opt: 0.357 reg: 0.012 solved: 10 total time: 73.3013
 opt: 0.365 reg: 0.034 solved: 10 total time: 73.7015
 opt: 0.344 reg: 0.021 solved: 9 total time: 74.0675
 opt: 0.333 reg: 0.063 solved: 9 total time: 74.4646
 opt: 0.324 reg: 0.033 solved: 10 total time: 74.8229
 opt: 0.365 reg: 0.041 solved: 10 total time: 75.2304
 opt: 0.298 reg: 0.05 solved: 10 total time: 75.5791
 opt: 0.303 reg: 0.032 solved: 10 total time: 75.915
 opt: 0.319 reg: 0.023 solved: 10 total time: 76.2586
 opt: 0.963 reg: 0.032 solved: 10 total time: 77.2537
 opt: 0.337 reg: 0.024 solved: 10 total time: 77.6151
 opt: 0.347 reg: 0.031 solved: 9 total time: 77.9934
 opt: 0.39 reg: 0.028 solved: 10 total time: 78.4123
 opt: 0.303 reg: 0.027 solved: 9 total time: 78.743
 opt: 0.291 reg: 0.023 solved: 9 total time: 79.0582
 opt: 0.365 reg: 0.011 solved: 10 total time: 79.4354
 opt: 0.335 reg: 0.015 solved: 10 total time: 79.7862
 opt: 0.326 reg: 0.026 solved: 10 total time: 80.139
 opt: 0.313 reg: 0.038 solved: 10 total time: 80.4907
 opt: 0.244 reg: 0.037 solved: 10 total time: 80.7725
 opt: 0.329 reg: 0.039 solved: 10 total time: 81.1415
 opt: 0.222 reg: 0.028 solved: 10 total time: 81.3924
 opt: 0.349 reg: 0.046 solved: 9 total time: 81.7884
 opt: 0.233 reg: 0.026 solved: 10 total time: 82.0484
 opt: 0.136 reg: 0.035 solved: 10 total time: 82.2202
 opt: 0.217 reg: 0.028 solved: 10 total time: 82.4665
 opt: 0.317 reg: 0.037 solved: 9 total time: 82.8216
 opt: 0.337 reg: 0.026 solved: 10 total time: 83.1859
 opt: 0.303 reg: 0.014 solved: 9 total time: 83.5037
 opt: 0.316 reg: 0.041 solved: 10 total time: 83.862
 opt: 0.212 reg: 0.016 solved: 10 total time: 84.0907
 opt: 0.265 reg: 0.015 solved: 10 total time: 84.3717
 opt: 0.207 reg: 0.029 solved: 10 total time: 84.6094
 opt: 0.294 reg: 0.048 solved: 10 total time: 84.953
 opt: 0.241 reg: 0.05 solved: 10 total time: 85.2458
 opt: 0.305 reg: 0.057 solved: 10 total time: 85.6094
 opt: 0.34 reg: 0.017 solved: 9 total time: 85.968
 opt: 0.3 reg: 0.019 solved: 10 total time: 86.2888
 opt: 0.364 reg: 0.031 solved: 9 total time: 86.6828
 opt: 0.28 reg: 0.038 solved: 10 total time: 87.0021
 opt: 0.301 reg: 0.054 solved: 10 total time: 87.3582
 opt: 0.3 reg: 0.014 solved: 10 total time: 87.6735
 opt: 0.281 reg: 0.015 solved: 10 total time: 87.9711
 opt: 0.357 reg: 0.048 solved: 9 total time: 88.3765
 opt: 0.232 reg: 0.06 solved: 10 total time: 88.6699
 opt: 0.345 reg: 0.011 solved: 9 total time: 89.0271
 opt: 0.259 reg: 0.024 solved: 10 total time: 89.3112
 opt: 0.259 reg: 0.036 solved: 10 total time: 89.6071
 opt: 0.249 reg: 0.052 solved: 10 total time: 89.9087
 opt: 0.316 reg: 0.03 solved: 9 total time: 90.2554
 opt: 0.267 reg: 0.022 solved: 10 total time: 90.5448
 opt: 0.302 reg: 0.629 solved: 10 total time: 91.4762
 opt: 0.369 reg: 0.047 solved: 10 total time: 91.8933
 opt: 0.339 reg: 0.06 solved: 10 total time: 92.2935
 opt: 0.314 reg: 0.037 solved: 10 total time: 92.6458
 opt: 0.226 reg: 0.058 solved: 10 total time: 92.931
 opt: 0.301 reg: 0.018 solved: 10 total time: 93.2512
 opt: 0.261 reg: 0.02 solved: 10 total time: 93.5334
 opt: 0.221 reg: 0.018 solved: 10 total time: 93.7741
 opt: 0.347 reg: 0.042 solved: 10 total time: 94.1643
 opt: 0.276 reg: 0.016 solved: 10 total time: 94.4574
 opt: 0.32 reg: 0.035 solved: 10 total time: 94.8129
 opt: 0.349 reg: 0.044 solved: 9 total time: 95.2072
 opt: 0.33 reg: 0.025 solved: 10 total time: 95.5627
 opt: 0.231 reg: 0.018 solved: 10 total time: 95.8136
 opt: 0.298 reg: 0.029 solved: 10 total time: 96.1416
 opt: 0.316 reg: 0.047 solved: 9 total time: 96.5059
 opt: 0.288 reg: 0.06 solved: 10 total time: 96.854
 opt: 0.274 reg: 0.048 solved: 10 total time: 97.1773
 opt: 0.282 reg: 0.019 solved: 10 total time: 97.48
 opt: 0.329 reg: 0.026 solved: 10 total time: 97.8365
 opt: 0.302 reg: 0.038 solved: 10 total time: 98.1777
 opt: 0.287 reg: 0.049 solved: 10 total time: 98.5141
 opt: 0.292 reg: 0.017 solved: 10 total time: 98.824
 opt: 0.269 reg: 0.031 solved: 10 total time: 99.1249
 opt: 0.331 reg: 0.018 solved: 10 total time: 99.4751
 opt: 0.201 reg: 0.021 solved: 10 total time: 99.6984
 opt: 0.25 reg: 0.018 solved: 10 total time: 99.968
 opt: 0.266 reg: 0.016 solved: 10 total time: 100.252
 opt: 0.239 reg: 0.015 solved: 10 total time: 100.506
 opt: 0.233 reg: 0.02 solved: 10 total time: 100.761
 opt: 0.305 reg: 0.032 solved: 9 total time: 101.099
 opt: 0.222 reg: 0.056 solved: 10 total time: 101.378
 opt: 0.285 reg: 0.042 solved: 9 total time: 101.706
 opt: 0.31 reg: 0.05 solved: 10 total time: 102.067
 opt: 0.255 reg: 0.038 solved: 10 total time: 102.361
 opt: 0.293 reg: 0.043 solved: 9 total time: 102.698
 opt: 0.309 reg: 0.042 solved: 9 total time: 103.05
 opt: 0.317 reg: 0.051 solved: 10 total time: 103.419
 opt: 0.306 reg: 0.04 solved: 10 total time: 103.765
 opt: 0.274 reg: 0.035 solved: 9 total time: 104.076
 opt: 0.31 reg: 0.058 solved: 10 total time: 104.444
 opt: 0.254 reg: 0.039 solved: 10 total time: 104.738
 opt: 0.293 reg: 0.041 solved: 10 total time: 105.074
 opt: 0.337 reg: 0.039 solved: 9 total time: 105.45
 opt: 0.249 reg: 0.036 solved: 10 total time: 105.736
 opt: 0.312 reg: 0.034 solved: 9 total time: 106.083
 opt: 0.327 reg: 0.033 solved: 9 total time: 106.444
 opt: 0.271 reg: 0.041 solved: 10 total time: 106.757
 opt: 0.275 reg: 0.032 solved: 10 total time: 107.065
L = 4, leader states: 4.88281e+08, follower subproblems: 4.88281e+08, F:100000, total time: 107.066
 opt: 0.053 reg: 0.027 solved: 2 total time: 107.169
 opt: 0.255 reg: 0.035 solved: 8 total time: 107.459
 opt: 0.126 reg: 0.019 solved: 4 total time: 107.605
 opt: 0.085 reg: 0.01 solved: 4 total time: 107.701
 opt: 0.095 reg: 0.683 solved: 4 total time: 108.479
 opt: 0.145 reg: 0.027 solved: 4 total time: 108.652
 opt: 0.061 reg: 0.019 solved: 3 total time: 108.734
 opt: 0.176 reg: 0.067 solved: 8 total time: 108.978
 opt: 0.097 reg: 0.008 solved: 5 total time: 109.084
 opt: 0.115 reg: 0.01 solved: 4 total time: 109.211
 opt: 0.097 reg: 0.016 solved: 4 total time: 109.326
 opt: 0.157 reg: 0.028 solved: 4 total time: 109.511
 opt: 0.194 reg: 0.014 solved: 6 total time: 109.721
 opt: 0.099 reg: 0.011 solved: 4 total time: 109.832
 opt: 0.099 reg: 0.002 solved: 4 total time: 109.934
 opt: 0.119 reg: 0.003 solved: 4 total time: 110.057
 opt: 0.188 reg: 0.025 solved: 6 total time: 110.27
 opt: 0.154 reg: 0.069 solved: 6 total time: 110.495
 opt: 0.098 reg: 0.007 solved: 4 total time: 110.601
 opt: 0.111 reg: 0.006 solved: 4 total time: 110.719
 opt: 0.149 reg: 0.041 solved: 6 total time: 110.91
 opt: 0.094 reg: 0.016 solved: 4 total time: 111.021
 opt: 0.093 reg: 0.032 solved: 4 total time: 111.147
 opt: 0.164 reg: 0.125 solved: 8 total time: 111.437
 opt: 0.18 reg: 0.109 solved: 7 total time: 111.726
 opt: 0.208 reg: 0.049 solved: 6 total time: 111.985
 opt: 0.224 reg: 0.088 solved: 8 total time: 112.298
 opt: 0.252 reg: 0.077 solved: 8 total time: 112.628
 opt: 0.122 reg: 0.037 solved: 4 total time: 112.788
 opt: 0.169 reg: 0.092 solved: 8 total time: 113.05
 opt: 0.278 reg: 0.089 solved: 6 total time: 113.418
 opt: 0.307 reg: 0.081 solved: 8 total time: 113.806
 opt: 0.149 reg: 0.02 solved: 7 total time: 113.977
 opt: 0.116 reg: 0.04 solved: 6 total time: 114.134
 opt: 0.131 reg: 0.815 solved: 4 total time: 115.08
 opt: 0.196 reg: 0.068 solved: 6 total time: 115.345
 opt: 0.125 reg: 0.016 solved: 4 total time: 115.488
 opt: 0.276 reg: 0.069 solved: 8 total time: 115.833
 opt: 0.17 reg: 0.229 solved: 8 total time: 116.234
 opt: 0.203 reg: 0.052 solved: 6 total time: 116.491
 opt: 0.377 reg: 0.11 solved: 8 total time: 116.979
 opt: 0.251 reg: 0.049 solved: 9 total time: 117.28
 opt: 0.163 reg: 0.133 solved: 8 total time: 117.578
 opt: 0.203 reg: 0.078 solved: 8 total time: 117.86
 opt: 0.169 reg: 0.094 solved: 8 total time: 118.125
 opt: 0.194 reg: 0.046 solved: 8 total time: 118.367
 opt: 0.285 reg: 0.101 solved: 6 total time: 118.754
 opt: 0.218 reg: 0.04 solved: 6 total time: 119.013
 opt: 0.189 reg: 0.165 solved: 8 total time: 119.368
 opt: 0.273 reg: 0.064 solved: 8 total time: 119.707
 opt: 0.201 reg: 0.102 solved: 6 total time: 120.011
 opt: 0.203 reg: 0.082 solved: 8 total time: 120.296
 opt: 0.184 reg: 0.067 solved: 6 total time: 120.549
 opt: 0.196 reg: 0.042 solved: 6 total time: 120.788
 opt: 0.19 reg: 0.913 solved: 8 total time: 121.891
 opt: 0.239 reg: 0.057 solved: 6 total time: 122.189
 opt: 0.287 reg: 0.074 solved: 6 total time: 122.551
 opt: 0.248 reg: 0.031 solved: 8 total time: 122.831
 opt: 0.222 reg: 0.05 solved: 6 total time: 123.105
 opt: 0.337 reg: 0.058 solved: 9 total time: 123.5
 opt: 0.135 reg: 0.023 solved: 7 total time: 123.66
 opt: 0.195 reg: 0.018 solved: 7 total time: 123.874
 opt: 0.146 reg: 0.057 solved: 8 total time: 124.078
 opt: 0.185 reg: 0.237 solved: 8 total time: 124.501
 opt: 0.225 reg: 0.087 solved: 8 total time: 124.814
 opt: 0.263 reg: 0.097 solved: 10 total time: 125.175
 opt: 0.297 reg: 0.109 solved: 8 total time: 125.582
 opt: 0.298 reg: 0.17 solved: 8 total time: 126.051
 opt: 0.164 reg: 0.046 solved: 6 total time: 126.263
 opt: 0.309 reg: 0.054 solved: 8 total time: 126.627
 opt: 0.226 reg: 0.108 solved: 6 total time: 126.962
 opt: 0.105 reg: 0.05 solved: 6 total time: 127.117
 opt: 0.197 reg: 0.02 solved: 6 total time: 127.336
 opt: 0.172 reg: 0.031 solved: 8 total time: 127.54
 opt: 0.129 reg: 0.065 solved: 6 total time: 127.735
 opt: 0.957 reg: 0.031 solved: 6 total time: 128.723
 opt: 0.173 reg: 0.094 solved: 9 total time: 128.992
 opt: 0.211 reg: 0.08 solved: 6 total time: 129.284
 opt: 0.217 reg: 0.109 solved: 6 total time: 129.611
 opt: 0.263 reg: 0.096 solved: 6 total time: 129.972
 opt: 0.159 reg: 0.326 solved: 9 total time: 130.458
 opt: 0.317 reg: 0.107 solved: 8 total time: 130.883
 opt: 0.191 reg: 0.019 solved: 6 total time: 131.094
 opt: 0.301 reg: 0.105 solved: 8 total time: 131.501
 opt: 0.22 reg: 0.064 solved: 6 total time: 131.786
 opt: 0.313 reg: 0.08 solved: 8 total time: 132.18
 opt: 0.169 reg: 0.04 solved: 6 total time: 132.39
 opt: 0.169 reg: 0.082 solved: 8 total time: 132.642
 opt: 0.27 reg: 0.073 solved: 9 total time: 132.986
 opt: 0.185 reg: 0.048 solved: 6 total time: 133.22
 opt: 0.355 reg: 0.094 solved: 6 total time: 133.67
 opt: 0.207 reg: 0.147 solved: 6 total time: 134.025
 opt: 0.262 reg: 0.067 solved: 8 total time: 134.355
 opt: 0.204 reg: 0.047 solved: 6 total time: 134.607
 opt: 0.267 reg: 0.048 solved: 8 total time: 134.924
 opt: 0.192 reg: 0.03 solved: 7 total time: 135.147
 opt: 1.086 reg: 0.165 solved: 8 total time: 136.398
 opt: 0.21 reg: 0.053 solved: 8 total time: 136.663
 opt: 0.293 reg: 0.147 solved: 8 total time: 137.104
 opt: 0.216 reg: 0.072 solved: 6 total time: 137.394
 opt: 0.196 reg: 0.086 solved: 6 total time: 137.677
 opt: 0.327 reg: 0.128 solved: 8 total time: 138.133
 opt: 0.163 reg: 0.033 solved: 6 total time: 138.33
 opt: 0.37 reg: 0.053 solved: 7 total time: 138.755
 opt: 0.201 reg: 0.023 solved: 6 total time: 138.98
 opt: 0.221 reg: 0.237 solved: 8 total time: 139.439
 opt: 0.193 reg: 0.015 solved: 6 total time: 139.648
 opt: 0.306 reg: 0.164 solved: 8 total time: 140.12
 opt: 0.306 reg: 0.178 solved: 8 total time: 140.605
 opt: 0.174 reg: 0.078 solved: 6 total time: 140.858
 opt: 0.329 reg: 0.067 solved: 8 total time: 141.255
 opt: 0.207 reg: 0.02 solved: 6 total time: 141.483
 opt: 0.251 reg: 0.98 solved: 8 total time: 142.714
 opt: 0.268 reg: 0.054 solved: 6 total time: 143.038
 opt: 0.207 reg: 0.061 solved: 6 total time: 143.306
 opt: 0.315 reg: 0.091 solved: 8 total time: 143.714
 opt: 0.213 reg: 0.075 solved: 6 total time: 144.003
 opt: 0.36 reg: 0.104 solved: 8 total time: 144.468
 opt: 0.295 reg: 0.168 solved: 8 total time: 144.932
 opt: 0.219 reg: 0.064 solved: 6 total time: 145.217
 opt: 0.128 reg: 0.033 solved: 6 total time: 145.379
 opt: 0.194 reg: 0.085 solved: 9 total time: 145.659
 opt: 0.21 reg: 0.171 solved: 8 total time: 146.042
 opt: 0.37 reg: 0.131 solved: 8 total time: 146.543
 opt: 0.313 reg: 0.152 solved: 8 total time: 147.009
 opt: 0.299 reg: 0.042 solved: 7 total time: 147.351
 opt: 0.232 reg: 0.217 solved: 9 total time: 147.8
 opt: 0.167 reg: 0.029 solved: 6 total time: 147.996
 opt: 0.23 reg: 0.053 solved: 6 total time: 148.28
 opt: 0.251 reg: 0.056 solved: 7 total time: 148.588
 opt: 0.109 reg: 0.011 solved: 6 total time: 148.709
 opt: 0.331 reg: 0.2 solved: 8 total time: 149.24
 opt: 0.29 reg: 0.083 solved: 8 total time: 149.614
 opt: 0.132 reg: 0.03 solved: 7 total time: 149.777
 opt: 0.328 reg: 0.186 solved: 8 total time: 150.292
 opt: 0.284 reg: 1.062 solved: 8 total time: 151.638
 opt: 0.133 reg: 0.026 solved: 6 total time: 151.798
 opt: 0.274 reg: 0.132 solved: 8 total time: 152.206
 opt: 0.2 reg: 0.124 solved: 6 total time: 152.532
 opt: 0.315 reg: 0.066 solved: 8 total time: 152.914
 opt: 0.155 reg: 0.112 solved: 8 total time: 153.182
 opt: 0.197 reg: 0.128 solved: 8 total time: 153.508
 opt: 0.194 reg: 0.151 solved: 6 total time: 153.854
 opt: 0.325 reg: 0.15 solved: 8 total time: 154.33
 opt: 0.235 reg: 0.239 solved: 8 total time: 154.805
 opt: 0.184 reg: 0.077 solved: 6 total time: 155.066
 opt: 0.309 reg: 0.09 solved: 8 total time: 155.466
 opt: 0.266 reg: 0.081 solved: 6 total time: 155.815
 opt: 0.255 reg: 0.23 solved: 6 total time: 156.301
 opt: 0.363 reg: 0.139 solved: 8 total time: 156.805
 opt: 0.361 reg: 0.226 solved: 8 total time: 157.393
 opt: 0.336 reg: 1.502 solved: 8 total time: 159.229
 opt: 0.313 reg: 0.171 solved: 8 total time: 159.714
 opt: 0.159 reg: 0.033 solved: 7 total time: 159.907
 opt: 0.214 reg: 0.108 solved: 8 total time: 160.23
 opt: 0.226 reg: 0.085 solved: 9 total time: 160.543
 opt: 0.28 reg: 0.034 solved: 6 total time: 160.858
 opt: 0.339 reg: 0.135 solved: 8 total time: 161.334
 opt: 0.222 reg: 0.039 solved: 6 total time: 161.597
 opt: 0.156 reg: 0.171 solved: 8 total time: 161.925
 opt: 0.213 reg: 0.016 solved: 6 total time: 162.156
 opt: 0.329 reg: 0.175 solved: 8 total time: 162.661
 opt: 0.284 reg: 0.116 solved: 9 total time: 163.062
 opt: 0.353 reg: 0.094 solved: 10 total time: 163.51
 opt: 0.166 reg: 0.26 solved: 8 total time: 163.937
 opt: 0.233 reg: 0.09 solved: 8 total time: 164.262
 opt: 0.343 reg: 0.353 solved: 8 total time: 164.959
 opt: 0.243 reg: 1.157 solved: 8 total time: 166.358
 opt: 0.308 reg: 0.075 solved: 8 total time: 166.744
 opt: 0.227 reg: 0.058 solved: 7 total time: 167.03
 opt: 0.401 reg: 0.389 solved: 8 total time: 167.821
 opt: 0.382 reg: 0.078 solved: 8 total time: 168.281
 opt: 0.275 reg: 0.365 solved: 8 total time: 168.922
 opt: 0.303 reg: 0.181 solved: 8 total time: 169.408
 opt: 0.411 reg: 0.425 solved: 8 total time: 170.245
 opt: 0.211 reg: 0.083 solved: 6 total time: 170.54
 opt: 0.356 reg: 0.298 solved: 8 total time: 171.195
 opt: 0.24 reg: 0.082 solved: 9 total time: 171.519
 opt: 0.355 reg: 0.249 solved: 8 total time: 172.124
 opt: 0.308 reg: 0.098 solved: 6 total time: 172.531
 opt: 0.187 reg: 0.023 solved: 6 total time: 172.743
 opt: 0.212 reg: 0.016 solved: 6 total time: 172.973
 opt: 0.241 reg: 0.465 solved: 8 total time: 173.68
 opt: 0.282 reg: 0.069 solved: 8 total time: 174.032
 opt: 1.295 reg: 0.046 solved: 7 total time: 175.373
 opt: 0.192 reg: 0.015 solved: 6 total time: 175.581
 opt: 0.218 reg: 0.283 solved: 8 total time: 176.083
 opt: 0.3 reg: 0.095 solved: 9 total time: 176.479
 opt: 0.4 reg: 0.162 solved: 8 total time: 177.043
 opt: 0.355 reg: 0.239 solved: 8 total time: 177.638
 opt: 0.315 reg: 0.156 solved: 9 total time: 178.11
 opt: 0.197 reg: 0.066 solved: 9 total time: 178.375
 opt: 0.227 reg: 0.021 solved: 6 total time: 178.622
 opt: 0.364 reg: 0.317 solved: 8 total time: 179.304
 opt: 0.349 reg: 0.362 solved: 8 total time: 180.017
 opt: 0.369 reg: 0.389 solved: 8 total time: 180.776
 opt: 0.241 reg: 0.594 solved: 8 total time: 181.611
 opt: 0.328 reg: 1.3 solved: 8 total time: 183.239
 opt: 0.219 reg: 0.022 solved: 6 total time: 183.481
 opt: 0.326 reg: 0.258 solved: 8 total time: 184.066
 opt: 0.283 reg: 0.108 solved: 8 total time: 184.459
 opt: 0.302 reg: 0.078 solved: 9 total time: 184.84
 opt: 0.343 reg: 0.088 solved: 8 total time: 185.272
 opt: 0.357 reg: 0.372 solved: 8 total time: 186.002
 opt: 0.379 reg: 0.239 solved: 8 total time: 186.621
 opt: 0.268 reg: 0.15 solved: 8 total time: 187.04
 opt: 0.194 reg: 0.235 solved: 6 total time: 187.47
 opt: 0.283 reg: 0.118 solved: 9 total time: 187.872
 opt: 0.198 reg: 0.035 solved: 6 total time: 188.106
 opt: 0.254 reg: 0.172 solved: 8 total time: 188.533
 opt: 0.293 reg: 0.22 solved: 9 total time: 189.046
 opt: 0.332 reg: 0.179 solved: 8 total time: 189.559
 opt: 0.312 reg: 1.268 solved: 8 total time: 191.139
 opt: 0.236 reg: 0.503 solved: 8 total time: 191.879
 opt: 0.184 reg: 0.136 solved: 9 total time: 192.2
 opt: 0.246 reg: 0.049 solved: 6 total time: 192.496
 opt: 0.379 reg: 0.365 solved: 8 total time: 193.24
 opt: 0.223 reg: 0.025 solved: 6 total time: 193.489
 opt: 0.335 reg: 0.099 solved: 8 total time: 193.924
 opt: 0.385 reg: 0.074 solved: 9 total time: 194.384
 opt: 0.251 reg: 0.068 solved: 9 total time: 194.704
 opt: 0.219 reg: 0.024 solved: 6 total time: 194.948
 opt: 0.241 reg: 0.885 solved: 8 total time: 196.074
 opt: 0.23 reg: 0.042 solved: 9 total time: 196.347
 opt: 0.405 reg: 1.371 solved: 8 total time: 198.123
 opt: 0.165 reg: 0.035 solved: 6 total time: 198.325
 opt: 0.214 reg: 0.047 solved: 6 total time: 198.587
 opt: 0.28 reg: 0.502 solved: 8 total time: 199.369
 opt: 0.271 reg: 0.371 solved: 6 total time: 200.012
 opt: 0.407 reg: 0.1 solved: 8 total time: 200.52
 opt: 0.292 reg: 0.856 solved: 11 total time: 201.668
 opt: 0.37 reg: 0.257 solved: 8 total time: 202.296
 opt: 0.21 reg: 0.036 solved: 6 total time: 202.543
 opt: 0.328 reg: 0.204 solved: 8 total time: 203.075
 opt: 0.285 reg: 1.475 solved: 8 total time: 204.835
 opt: 0.338 reg: 0.063 solved: 6 total time: 205.237
 opt: 0.257 reg: 0.198 solved: 8 total time: 205.693
 opt: 0.373 reg: 0.251 solved: 8 total time: 206.317
 opt: 0.201 reg: 0.066 solved: 8 total time: 206.586
 opt: 0.375 reg: 0.097 solved: 8 total time: 207.058
 opt: 0.37 reg: 0.112 solved: 10 total time: 207.541
 opt: 0.358 reg: 0.452 solved: 8 total time: 208.352
 opt: 0.249 reg: 0.039 solved: 10 total time: 208.642
 opt: 0.38 reg: 0.433 solved: 8 total time: 209.455
 opt: 0.361 reg: 0.376 solved: 8 total time: 210.193
 opt: 0.344 reg: 0.219 solved: 8 total time: 210.757
 opt: 0.349 reg: 0.053 solved: 9 total time: 211.161
 opt: 0.29 reg: 0.188 solved: 6 total time: 211.639
 opt: 0.384 reg: 0.365 solved: 8 total time: 212.389
 opt: 0.343 reg: 0.039 solved: 9 total time: 212.772
 opt: 0.191 reg: 1.523 solved: 8 total time: 214.487
 opt: 0.354 reg: 0.12 solved: 9 total time: 214.962
 opt: 0.363 reg: 0.888 solved: 8 total time: 216.213
 opt: 0.319 reg: 0.193 solved: 6 total time: 216.726
 opt: 0.386 reg: 0.315 solved: 8 total time: 217.428
 opt: 0.39 reg: 0.632 solved: 8 total time: 218.45
 opt: 0.394 reg: 0.143 solved: 8 total time: 218.989
 opt: 0.184 reg: 0.138 solved: 8 total time: 219.312
 opt: 0.385 reg: 0.455 solved: 8 total time: 220.151
 opt: 0.382 reg: 0.167 solved: 8 total time: 220.701
 opt: 0.304 reg: 0.362 solved: 6 total time: 221.367
 opt: 0.352 reg: 0.135 solved: 9 total time: 221.856
 opt: 0.377 reg: 0.421 solved: 8 total time: 222.654
 opt: 0.216 reg: 1.656 solved: 8 total time: 224.525
 opt: 0.199 reg: 0.132 solved: 8 total time: 224.858
 opt: 0.408 reg: 0.827 solved: 8 total time: 226.093
 opt: 0.233 reg: 0.086 solved: 8 total time: 226.414
 opt: 0.361 reg: 0.101 solved: 6 total time: 226.877
 opt: 0.407 reg: 0.088 solved: 7 total time: 227.373
 opt: 0.416 reg: 0.16 solved: 8 total time: 227.95
 opt: 0.411 reg: 0.25 solved: 8 total time: 228.612
 opt: 0.333 reg: 0.136 solved: 8 total time: 229.082
 opt: 0.335 reg: 0.295 solved: 6 total time: 229.713
 opt: 0.348 reg: 0.31 solved: 8 total time: 230.372
 opt: 0.476 reg: 0.091 solved: 7 total time: 230.94
 opt: 0.312 reg: 0.446 solved: 8 total time: 231.699
 opt: 0.359 reg: 0.155 solved: 8 total time: 232.214
 opt: 0.359 reg: 1.938 solved: 8 total time: 234.51
 opt: 0.33 reg: 0.159 solved: 8 total time: 235.001
 opt: 0.278 reg: 0.431 solved: 8 total time: 235.71
 opt: 0.434 reg: 0.169 solved: 8 total time: 236.314
 opt: 0.359 reg: 0.074 solved: 9 total time: 236.748
 opt: 0.432 reg: 1.075 solved: 8 total time: 238.256
 opt: 0.399 reg: 0.227 solved: 8 total time: 238.883
 opt: 0.351 reg: 0.363 solved: 8 total time: 239.598
 opt: 0.467 reg: 0.066 solved: 10 total time: 240.131
 opt: 0.308 reg: 0.064 solved: 9 total time: 240.504
 opt: 0.247 reg: 0.248 solved: 9 total time: 241
 opt: 0.41 reg: 0.52 solved: 8 total time: 241.93
 opt: 0.305 reg: 1.863 solved: 8 total time: 244.098
 opt: 0.393 reg: 0.906 solved: 8 total time: 245.398
 opt: 0.343 reg: 0.083 solved: 9 total time: 245.825
 opt: 0.417 reg: 0.143 solved: 9 total time: 246.386
 opt: 0.41 reg: 0.326 solved: 8 total time: 247.123
 opt: 0.353 reg: 0.57 solved: 8 total time: 248.046
 opt: 0.228 reg: 0.392 solved: 8 total time: 248.668
 opt: 0.408 reg: 0.207 solved: 8 total time: 249.284
 opt: 0.195 reg: 0.088 solved: 7 total time: 249.568
 opt: 0.321 reg: 0.38 solved: 8 total time: 250.269
 opt: 0.416 reg: 0.6 solved: 8 total time: 251.285
 opt: 1.86 reg: 0.509 solved: 8 total time: 253.653
 opt: 0.543 reg: 0.052 solved: 10 total time: 254.25
 opt: 0.311 reg: 0.432 solved: 8 total time: 254.993
 opt: 0.273 reg: 0.056 solved: 7 total time: 255.324
 opt: 0.332 reg: 0.119 solved: 9 total time: 255.776
 opt: 0.406 reg: 0.948 solved: 8 total time: 257.13
 opt: 0.266 reg: 0.098 solved: 7 total time: 257.496
 opt: 0.402 reg: 0.136 solved: 8 total time: 258.035
 opt: 0.339 reg: 0.453 solved: 8 total time: 258.828
 opt: 0.345 reg: 0.058 solved: 6 total time: 259.232
 opt: 0.342 reg: 0.861 solved: 8 total time: 260.434
 opt: 0.443 reg: 0.094 solved: 9 total time: 260.972
 opt: 0.426 reg: 0.557 solved: 8 total time: 261.956
 opt: 0.349 reg: 0.08 solved: 7 total time: 262.387
 opt: 0.408 reg: 0.806 solved: 8 total time: 263.602
 opt: 0.407 reg: 0.633 solved: 8 total time: 264.643
 opt: 1.812 reg: 0.165 solved: 9 total time: 266.62
 opt: 0.293 reg: 0.085 solved: 9 total time: 266.998
 opt: 0.356 reg: 0.144 solved: 6 total time: 267.5
 opt: 0.307 reg: 0.411 solved: 6 total time: 268.218
 opt: 0.411 reg: 0.365 solved: 8 total time: 268.994
 opt: 0.373 reg: 0.076 solved: 9 total time: 269.445
 opt: 0.409 reg: 0.47 solved: 8 total time: 270.325
 opt: 0.41 reg: 0.639 solved: 8 total time: 271.373
 opt: 0.325 reg: 0.213 solved: 8 total time: 271.912
 opt: 0.268 reg: 0.057 solved: 7 total time: 272.238
 opt: 0.25 reg: 0.282 solved: 8 total time: 272.771
 opt: 0.401 reg: 0.099 solved: 8 total time: 273.273
 opt: 0.386 reg: 0.183 solved: 8 total time: 273.843
Command '['/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']' returned non-zero exit status 137
@@@T276624@@@
Done!
real 277.64
user 274.37
sys 1.86
slurmstepd-dhabi04: error: Detected 1 oom-kill event(s) in step 4401569.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
