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/Dfn_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/Dfn_3.pddl
Parsing...
Parsing: [0.010s CPU, 0.015s wall-clock]
Normalizing task... [0.010s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.004s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.012s wall-clock]
Preparing model... [0.010s CPU, 0.010s wall-clock]
Generated 173 rules.
Computing model... [0.260s CPU, 0.255s wall-clock]
4451 relevant atoms
7520 auxiliary atoms
11971 final queue length
15670 total queue pushes
Completing instantiation... [0.250s CPU, 0.255s wall-clock]
Instantiating: [0.540s CPU, 0.542s 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.010s 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.024s wall-clock]
Translating task: [0.290s CPU, 0.288s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
4 propositions removed
Detecting unreachable propositions: [0.030s 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: 33508 KB
Writing output... [0.050s CPU, 0.048s wall-clock]
Done! [0.970s CPU, 0.966s 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
15 operators are spurious because were not triggered
H^2 mutexes added fw: 9288, unreachable: 0
0 of 3534 operators detected as spurious
Total mutex and disambiguation time: 0.888613 iterations: 2
4644 of 4644 mutex groups necessary.
3534 of 3549 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 3534
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.
3534 of 3534 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.
3534 of 3534 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: 3534
Preprocessor mutex groups: 4644
Preprocessor task size: 29160
Writing output...
Preprocessor time: 1.0726s
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.000353727s]
Simplifying transitions... done!
done reading input! [t=0.0931234s]
building causal graph...done! [t=0.095799s]
packing state variables...Variables: 260
Bytes per state: 36
done! [t=0.0960303s]
done initalizing global data [t=0.0960351s]
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() = 3325
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 252 248 257 232 228 240 244 208 204 213 200 225 217 224 255 247 253 251 258 212 254 205 245 216 221 256 220 0 209 201 241 246 237 259 229 233 249 236 250 243 219 235 207 223 203 239 199 211 231 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.163s
Starting Stackelberg bounded search...
 opt: 0.003 reg: 0 solved: 1 total time: 2.23202
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 2.23206
 opt: 0.002 reg: 0 solved: 1 total time: 2.2465
 opt: 0.003 reg: 0 solved: 1 total time: 2.25033
 opt: 0.005 reg: 0 solved: 1 total time: 2.25575
 opt: 0.003 reg: 0 solved: 1 total time: 2.25907
 opt: 0.004 reg: 0 solved: 1 total time: 2.26358
 opt: 0.004 reg: 0 solved: 1 total time: 2.26819
 opt: 0.005 reg: 0 solved: 1 total time: 2.27394
 opt: 0.005 reg: 0 solved: 1 total time: 2.27953
 opt: 0.005 reg: 0 solved: 1 total time: 2.28495
 opt: 0.005 reg: 0 solved: 1 total time: 2.29056
 opt: 0.004 reg: 0 solved: 1 total time: 2.29549
 opt: 0.005 reg: 0 solved: 1 total time: 2.30076
 opt: 0.009 reg: 0 solved: 2 total time: 2.31078
L = 1, leader states: 8192, follower subproblems: 8192, F:100000, total time: 2.31086
 opt: 0.026 reg: 0 solved: 2 total time: 2.35139
 opt: 0.02 reg: 0 solved: 2 total time: 2.37178
L = 2, leader states: 1.06288e+06, follower subproblems: 1.06288e+06, F:100000, total time: 2.37192
 opt: 0.035 reg: 0 solved: 4 total time: 2.42294
 opt: 0.075 reg: 0 solved: 4 total time: 2.49906
 opt: 0.022 reg: 0 solved: 3 total time: 2.52183
 opt: 0.022 reg: 0 solved: 2 total time: 2.5453
 opt: 0.067 reg: 0.001 solved: 4 total time: 2.61394
 opt: 0.023 reg: 0.001 solved: 3 total time: 2.63998
 opt: 0.039 reg: 0.002 solved: 4 total time: 2.68189
 opt: 0.092 reg: 0.002 solved: 4 total time: 2.77689
L = 3, leader states: 3.35544e+07, follower subproblems: 3.35544e+07, F:100000, total time: 2.77721
 opt: 0.033 reg: 0.003 solved: 3 total time: 2.8299
 opt: 0.025 reg: 0.005 solved: 2 total time: 2.86047
 opt: 0.039 reg: 0.011 solved: 4 total time: 2.91168
 opt: 0.043 reg: 0.011 solved: 4 total time: 2.96744
 opt: 0.04 reg: 0.012 solved: 4 total time: 3.02073
 opt: 0.078 reg: 0.016 solved: 8 total time: 3.11621
 opt: 0.052 reg: 0.011 solved: 5 total time: 3.18105
 opt: 0.102 reg: 0.011 solved: 4 total time: 3.29453
 opt: 0.061 reg: 0.018 solved: 4 total time: 3.3743
 opt: 0.095 reg: 0.014 solved: 4 total time: 3.48497
 opt: 0.091 reg: 0.007 solved: 4 total time: 3.58438
 opt: 0.117 reg: 0.016 solved: 6 total time: 3.71857
 opt: 0.098 reg: 0.006 solved: 6 total time: 3.82479
 opt: 0.106 reg: 0.004 solved: 4 total time: 3.93554
 opt: 0.056 reg: 0.007 solved: 6 total time: 3.99965
 opt: 0.066 reg: 0.03 solved: 5 total time: 4.09687
 opt: 0.085 reg: 0.004 solved: 4 total time: 4.18737
 opt: 0.064 reg: 0.007 solved: 6 total time: 4.25962
 opt: 0.061 reg: 0.007 solved: 6 total time: 4.32983
 opt: 0.09 reg: 0.014 solved: 4 total time: 4.4354
 opt: 0.075 reg: 0.02 solved: 6 total time: 4.53143
 opt: 0.122 reg: 0.018 solved: 4 total time: 4.67278
 opt: 0.191 reg: 0.02 solved: 6 total time: 4.88515
 opt: 0.07 reg: 0.027 solved: 6 total time: 4.98346
 opt: 0.151 reg: 0.016 solved: 6 total time: 5.15122
 opt: 0.081 reg: 0.004 solved: 6 total time: 5.23748
 opt: 0.192 reg: 0.005 solved: 6 total time: 5.43628
 opt: 0.195 reg: 0.005 solved: 6 total time: 5.63704
 opt: 0.215 reg: 0.006 solved: 6 total time: 5.85909
 opt: 0.079 reg: 0.009 solved: 6 total time: 5.94833
 opt: 0.105 reg: 0.011 solved: 6 total time: 6.066
 opt: 0.092 reg: 0.029 solved: 8 total time: 6.1873
 opt: 0.185 reg: 0.026 solved: 6 total time: 6.39972
 opt: 0.11 reg: 0.018 solved: 6 total time: 6.52867
 opt: 0.123 reg: 0.03 solved: 8 total time: 6.68302
 opt: 0.166 reg: 0.007 solved: 6 total time: 6.85741
 opt: 0.187 reg: 0.005 solved: 6 total time: 7.051
 opt: 0.138 reg: 0.006 solved: 6 total time: 7.19671
 opt: 0.244 reg: 0.011 solved: 6 total time: 7.45279
 opt: 0.176 reg: 0.006 solved: 6 total time: 7.63635
 opt: 0.167 reg: 0.005 solved: 6 total time: 7.81019
 opt: 0.089 reg: 0.035 solved: 8 total time: 7.9346
 opt: 0.114 reg: 0.009 solved: 6 total time: 8.05887
 opt: 0.153 reg: 0.006 solved: 6 total time: 8.2191
 opt: 0.085 reg: 0.015 solved: 8 total time: 8.32029
 opt: 0.202 reg: 0.022 solved: 6 total time: 8.54502
 opt: 0.134 reg: 0.008 solved: 6 total time: 8.68821
 opt: 0.088 reg: 0.007 solved: 8 total time: 8.78497
 opt: 0.057 reg: 0.011 solved: 6 total time: 8.85453
 opt: 0.18 reg: 0.015 solved: 6 total time: 9.05047
 opt: 0.138 reg: 0.019 solved: 6 total time: 9.20872
 opt: 0.061 reg: 0.019 solved: 6 total time: 9.28993
 opt: 0.184 reg: 0.01 solved: 6 total time: 9.48526
 opt: 0.184 reg: 0.014 solved: 6 total time: 9.68399
 opt: 0.116 reg: 0.029 solved: 8 total time: 9.83074
 opt: 0.082 reg: 0.025 solved: 6 total time: 9.93951
 opt: 0.18 reg: 0.022 solved: 6 total time: 10.143
 opt: 0.116 reg: 0.022 solved: 8 total time: 10.2831
 opt: 0.292 reg: 0.006 solved: 8 total time: 10.5825
 opt: 0.163 reg: 0.003 solved: 6 total time: 10.7502
 opt: 0.177 reg: 0.002 solved: 6 total time: 10.9308
 opt: 0.218 reg: 0.008 solved: 6 total time: 11.1581
 opt: 0.08 reg: 0.028 solved: 8 total time: 11.2684
 opt: 0.076 reg: 0.016 solved: 9 total time: 11.3618
 opt: 0.22 reg: 0.01 solved: 6 total time: 11.5928
 opt: 0.072 reg: 0.024 solved: 8 total time: 11.6904
 opt: 0.085 reg: 0.037 solved: 11 total time: 11.8138
 opt: 0.087 reg: 0.02 solved: 8 total time: 11.9223
 opt: 0.089 reg: 0.016 solved: 8 total time: 12.0288
 opt: 0.083 reg: 0.629 solved: 9 total time: 12.7403
 opt: 0.088 reg: 0.007 solved: 8 total time: 12.837
 opt: 0.09 reg: 0.006 solved: 8 total time: 12.9337
 opt: 0.22 reg: 0.015 solved: 6 total time: 13.1693
 opt: 0.083 reg: 0.024 solved: 9 total time: 13.2778
 opt: 0.271 reg: 0.004 solved: 8 total time: 13.5544
 opt: 0.125 reg: 0.007 solved: 8 total time: 13.688
 opt: 0.1 reg: 0.007 solved: 8 total time: 13.7968
 opt: 0.116 reg: 0.012 solved: 8 total time: 13.9262
 opt: 0.102 reg: 0.033 solved: 9 total time: 14.0629
 opt: 0.236 reg: 0.013 solved: 8 total time: 14.313
 opt: 0.083 reg: 0.039 solved: 9 total time: 14.4357
 opt: 0.124 reg: 0.021 solved: 8 total time: 14.5826
 opt: 0.164 reg: 0.017 solved: 8 total time: 14.7644
 opt: 0.112 reg: 0.012 solved: 8 total time: 14.8889
 opt: 0.235 reg: 0.008 solved: 8 total time: 15.1332
 opt: 0.26 reg: 0.007 solved: 8 total time: 15.4009
 opt: 0.083 reg: 0.007 solved: 8 total time: 15.492
 opt: 0.261 reg: 0.008 solved: 8 total time: 15.762
 opt: 0.243 reg: 0.007 solved: 8 total time: 16.013
 opt: 0.273 reg: 0.019 solved: 8 total time: 16.3062
 opt: 0.199 reg: 0.025 solved: 9 total time: 16.5312
 opt: 0.246 reg: 0.008 solved: 8 total time: 16.787
 opt: 0.222 reg: 0.024 solved: 8 total time: 17.0351
 opt: 0.263 reg: 0.02 solved: 8 total time: 17.319
 opt: 0.292 reg: 0.003 solved: 8 total time: 17.6155
 opt: 0.11 reg: 0.003 solved: 8 total time: 17.7306
 opt: 0.28 reg: 0.01 solved: 8 total time: 18.0219
 opt: 0.205 reg: 0.019 solved: 8 total time: 18.2466
 opt: 0.255 reg: 0.025 solved: 8 total time: 18.528
 opt: 0.286 reg: 0.024 solved: 8 total time: 18.8385
 opt: 0.181 reg: 0.021 solved: 8 total time: 19.0423
 opt: 0.271 reg: 0.015 solved: 8 total time: 19.3295
 opt: 0.178 reg: 0.014 solved: 8 total time: 19.523
 opt: 0.252 reg: 0.016 solved: 8 total time: 19.7926
 opt: 0.268 reg: 0.021 solved: 8 total time: 20.0824
 opt: 0.286 reg: 0.019 solved: 8 total time: 20.3888
 opt: 0.242 reg: 0.036 solved: 8 total time: 20.6677
 opt: 0.095 reg: 0.029 solved: 8 total time: 20.7929
 opt: 0.252 reg: 0.026 solved: 8 total time: 21.0727
 opt: 0.267 reg: 0.026 solved: 8 total time: 21.3663
 opt: 0.217 reg: 0.04 solved: 8 total time: 21.6253
 opt: 0.224 reg: 0.017 solved: 8 total time: 21.8677
 opt: 0.096 reg: 0.028 solved: 8 total time: 21.9934
 opt: 0.285 reg: 0.023 solved: 8 total time: 22.3019
 opt: 0.299 reg: 0.02 solved: 8 total time: 22.6223
 opt: 0.255 reg: 0.031 solved: 8 total time: 22.9103
 opt: 0.266 reg: 0.03 solved: 8 total time: 23.207
 opt: 0.306 reg: 0.032 solved: 9 total time: 23.5461
 opt: 0.234 reg: 0.009 solved: 8 total time: 23.7908
 opt: 0.247 reg: 0.008 solved: 8 total time: 24.0476
 opt: 0.791 reg: 0.023 solved: 8 total time: 24.862
 opt: 0.097 reg: 0.008 solved: 9 total time: 24.9689
 opt: 0.328 reg: 0.01 solved: 8 total time: 25.3083
 opt: 0.236 reg: 0.022 solved: 8 total time: 25.567
 opt: 0.309 reg: 0.005 solved: 8 total time: 25.8825
 opt: 0.285 reg: 0.005 solved: 8 total time: 26.1745
 opt: 0.105 reg: 0.019 solved: 9 total time: 26.3
 opt: 0.304 reg: 0.024 solved: 8 total time: 26.6296
 opt: 0.268 reg: 0.02 solved: 8 total time: 26.9191
 opt: 0.275 reg: 0.006 solved: 8 total time: 27.2006
 opt: 0.081 reg: 0.013 solved: 9 total time: 27.2956
 opt: 0.314 reg: 0.022 solved: 8 total time: 27.633
 opt: 0.315 reg: 0.029 solved: 9 total time: 27.9789
 opt: 0.096 reg: 0.019 solved: 9 total time: 28.095
 opt: 0.214 reg: 0.009 solved: 8 total time: 28.3187
 opt: 0.308 reg: 0.007 solved: 8 total time: 28.6351
 opt: 0.294 reg: 0.007 solved: 8 total time: 28.937
 opt: 0.298 reg: 0.008 solved: 8 total time: 29.2446
 opt: 0.087 reg: 0.012 solved: 9 total time: 29.3452
 opt: 0.297 reg: 0.018 solved: 9 total time: 29.6618
 opt: 0.091 reg: 0.04 solved: 10 total time: 29.795
 opt: 0.313 reg: 0.035 solved: 9 total time: 30.145
 opt: 0.232 reg: 0.041 solved: 9 total time: 30.4187
 opt: 0.199 reg: 0.02 solved: 9 total time: 30.6389
 opt: 0.33 reg: 0.032 solved: 10 total time: 31.0016
 opt: 0.302 reg: 0.028 solved: 9 total time: 31.3327
 opt: 0.099 reg: 0.046 solved: 10 total time: 31.479
 opt: 0.27 reg: 0.049 solved: 8 total time: 31.7991
 opt: 0.304 reg: 0.012 solved: 9 total time: 32.1159
 opt: 0.151 reg: 0.021 solved: 9 total time: 32.2896
 opt: 0.084 reg: 0.03 solved: 9 total time: 32.4054
 opt: 0.091 reg: 0.045 solved: 9 total time: 32.5432
 opt: 0.186 reg: 0.008 solved: 9 total time: 32.7387
 opt: 0.323 reg: 0.013 solved: 9 total time: 33.0759
 opt: 0.112 reg: 0.038 solved: 9 total time: 33.227
 opt: 0.344 reg: 0.027 solved: 9 total time: 33.5995
 opt: 0.231 reg: 0.04 solved: 9 total time: 33.8717
 opt: 0.278 reg: 0.008 solved: 9 total time: 34.159
 opt: 0.126 reg: 0.041 solved: 12 total time: 34.327
 opt: 0.31 reg: 0.025 solved: 8 total time: 34.6635
 opt: 0.29 reg: 0.02 solved: 9 total time: 34.9748
 opt: 0.177 reg: 0.034 solved: 9 total time: 35.1872
 opt: 0.314 reg: 0.048 solved: 10 total time: 35.5508
 opt: 0.266 reg: 0.011 solved: 9 total time: 35.8292
 opt: 0.208 reg: 0.014 solved: 9 total time: 36.0532
 opt: 0.222 reg: 0.019 solved: 9 total time: 36.2958
 opt: 0.313 reg: 0.026 solved: 9 total time: 36.6356
 opt: 0.096 reg: 0.025 solved: 9 total time: 36.7577
 opt: 0.279 reg: 0.02 solved: 9 total time: 37.0587
 opt: 0.247 reg: 0.037 solved: 9 total time: 37.3435
 opt: 0.272 reg: 0.008 solved: 9 total time: 37.6242
 opt: 0.252 reg: 0.513 solved: 9 total time: 38.3899
 opt: 0.35 reg: 0.011 solved: 9 total time: 38.7521
 opt: 0.312 reg: 0.011 solved: 9 total time: 39.0757
 opt: 0.098 reg: 0.039 solved: 10 total time: 39.2145
 opt: 0.091 reg: 0.038 solved: 10 total time: 39.3446
 opt: 0.323 reg: 0.01 solved: 9 total time: 39.6793
 opt: 0.087 reg: 0.026 solved: 10 total time: 39.7927
 opt: 0.262 reg: 0.018 solved: 9 total time: 40.0739
 opt: 0.332 reg: 0.024 solved: 9 total time: 40.4312
 opt: 0.22 reg: 0.01 solved: 9 total time: 40.663
 opt: 0.188 reg: 0.019 solved: 10 total time: 40.871
 opt: 0.324 reg: 0.021 solved: 10 total time: 41.217
 opt: 0.297 reg: 0.016 solved: 9 total time: 41.531
 opt: 0.36 reg: 0.034 solved: 10 total time: 41.9264
 opt: 0.352 reg: 0.034 solved: 9 total time: 42.3141
 opt: 0.308 reg: 0.028 solved: 9 total time: 42.651
 opt: 0.323 reg: 0.037 solved: 10 total time: 43.0114
 opt: 0.105 reg: 0.019 solved: 10 total time: 43.1376
 opt: 0.244 reg: 0.024 solved: 9 total time: 43.407
 opt: 0.36 reg: 0.033 solved: 9 total time: 43.8009
 opt: 0.249 reg: 0.014 solved: 9 total time: 44.0646
 opt: 0.288 reg: 0.019 solved: 9 total time: 44.3729
 opt: 0.197 reg: 0.028 solved: 10 total time: 44.5996
 opt: 0.235 reg: 0.009 solved: 9 total time: 44.8456
 opt: 0.247 reg: 0.013 solved: 10 total time: 45.1062
 opt: 0.329 reg: 0.013 solved: 10 total time: 45.4493
 opt: 0.284 reg: 0.026 solved: 9 total time: 45.7605
 opt: 0.359 reg: 0.009 solved: 10 total time: 46.13
 opt: 0.222 reg: 0.017 solved: 10 total time: 46.3701
 opt: 0.31 reg: 0.036 solved: 10 total time: 46.7167
 opt: 0.326 reg: 0.034 solved: 9 total time: 47.0775
 opt: 0.252 reg: 0.022 solved: 9 total time: 47.3529
 opt: 0.324 reg: 0.029 solved: 10 total time: 47.7076
 opt: 0.104 reg: 0.047 solved: 10 total time: 47.8597
 opt: 0.271 reg: 0.012 solved: 9 total time: 48.1445
 opt: 0.294 reg: 0.02 solved: 9 total time: 48.4589
 opt: 0.296 reg: 0.025 solved: 9 total time: 48.7809
 opt: 0.192 reg: 0.006 solved: 9 total time: 48.9797
 opt: 0.096 reg: 0.018 solved: 10 total time: 49.0955
 opt: 0.097 reg: 0.036 solved: 10 total time: 49.2298
 opt: 0.087 reg: 0.01 solved: 10 total time: 49.3284
 opt: 0.192 reg: 0.011 solved: 10 total time: 49.5323
 opt: 0.31 reg: 0.027 solved: 9 total time: 49.8705
 opt: 0.195 reg: 0.016 solved: 10 total time: 50.0831
 opt: 0.313 reg: 0.013 solved: 9 total time: 50.4101
 opt: 0.301 reg: 0.015 solved: 9 total time: 50.7276
 opt: 0.35 reg: 0.033 solved: 10 total time: 51.1124
 opt: 0.113 reg: 0.556 solved: 11 total time: 51.7816
 opt: 0.236 reg: 0.013 solved: 10 total time: 52.0319
 opt: 0.232 reg: 0.026 solved: 10 total time: 52.2912
 opt: 0.331 reg: 0.008 solved: 10 total time: 52.6314
 opt: 0.209 reg: 0.011 solved: 10 total time: 52.8522
 opt: 0.095 reg: 0.021 solved: 10 total time: 52.9695
 opt: 0.282 reg: 0.031 solved: 10 total time: 53.2842
 opt: 0.31 reg: 0.036 solved: 9 total time: 53.6315
 opt: 0.337 reg: 0.016 solved: 10 total time: 53.985
 opt: 0.213 reg: 0.042 solved: 10 total time: 54.2406
 opt: 0.331 reg: 0.038 solved: 10 total time: 54.6104
 opt: 0.342 reg: 0.024 solved: 10 total time: 54.9776
 opt: 0.338 reg: 0.017 solved: 10 total time: 55.3328
 opt: 0.302 reg: 0.015 solved: 10 total time: 55.6512
 opt: 0.293 reg: 0.01 solved: 10 total time: 55.9547
 opt: 0.17 reg: 0.019 solved: 10 total time: 56.1446
 opt: 0.244 reg: 0.017 solved: 10 total time: 56.4065
 opt: 0.284 reg: 0.019 solved: 10 total time: 56.7108
 opt: 0.331 reg: 0.033 solved: 9 total time: 57.0761
 opt: 0.301 reg: 0.011 solved: 10 total time: 57.3897
 opt: 0.304 reg: 0.035 solved: 10 total time: 57.73
 opt: 0.469 reg: 0.05 solved: 10 total time: 58.2504
 opt: 0.435 reg: 0.044 solved: 10 total time: 58.7313
 opt: 0.247 reg: 0.046 solved: 10 total time: 59.0262
 opt: 0.289 reg: 0.013 solved: 10 total time: 59.33
 opt: 0.5 reg: 0.015 solved: 10 total time: 59.8454
 opt: 0.291 reg: 0.018 solved: 10 total time: 60.1557
 opt: 0.36 reg: 0.02 solved: 10 total time: 60.5377
 opt: 0.393 reg: 0.016 solved: 10 total time: 60.9479
 opt: 0.351 reg: 0.016 solved: 10 total time: 61.3153
 opt: 0.28 reg: 0.041 solved: 10 total time: 61.6371
 opt: 0.343 reg: 0.041 solved: 10 total time: 62.0223
 opt: 0.277 reg: 0.035 solved: 10 total time: 62.3349
 opt: 0.277 reg: 0.02 solved: 10 total time: 62.6329
 opt: 0.249 reg: 0.032 solved: 10 total time: 62.9148
 opt: 0.213 reg: 0.045 solved: 10 total time: 63.174
 opt: 0.278 reg: 0.029 solved: 10 total time: 63.483
 opt: 0.232 reg: 0.038 solved: 10 total time: 63.7551
 opt: 0.33 reg: 0.009 solved: 10 total time: 64.0948
 opt: 0.294 reg: 0.011 solved: 10 total time: 64.4014
 opt: 0.285 reg: 0.013 solved: 10 total time: 64.7001
 opt: 0.339 reg: 0.03 solved: 10 total time: 65.0694
 opt: 0.354 reg: 0.061 solved: 10 total time: 65.4856
 opt: 0.281 reg: 0.038 solved: 10 total time: 65.8059
 opt: 0.323 reg: 0.031 solved: 10 total time: 66.1613
 opt: 0.268 reg: 0.01 solved: 10 total time: 66.44
 opt: 0.322 reg: 0.012 solved: 10 total time: 66.7748
 opt: 0.295 reg: 0.009 solved: 10 total time: 67.08
 opt: 0.194 reg: 0.019 solved: 10 total time: 67.294
 opt: 0.325 reg: 0.027 solved: 10 total time: 67.646
 opt: 0.315 reg: 0.026 solved: 10 total time: 67.9884
L = 4, leader states: 4.88281e+08, follower subproblems: 4.88281e+08, F:100000, total time: 67.9888
 opt: 0.052 reg: 0.039 solved: 3 total time: 68.1075
 opt: 0.045 reg: 0.027 solved: 2 total time: 68.1808
 opt: 0.109 reg: 0.021 solved: 4 total time: 68.3119
 opt: 0.099 reg: 0.013 solved: 4 total time: 68.4249
 opt: 0.1 reg: 0.013 solved: 4 total time: 68.5395
 opt: 0.103 reg: 0.042 solved: 6 total time: 68.6861
 opt: 0.061 reg: 0.017 solved: 4 total time: 68.7651
 opt: 0.07 reg: 0.675 solved: 5 total time: 69.5105
 opt: 0.1 reg: 0.026 solved: 6 total time: 69.6376
 opt: 0.144 reg: 0.028 solved: 6 total time: 69.8104
 opt: 0.105 reg: 0.007 solved: 4 total time: 69.9242
 opt: 0.203 reg: 0.014 solved: 6 total time: 70.142
 opt: 0.141 reg: 0.032 solved: 8 total time: 70.3163
 opt: 0.127 reg: 0.045 solved: 6 total time: 70.4898
 opt: 0.106 reg: 0.046 solved: 4 total time: 70.6429
 opt: 0.087 reg: 0.027 solved: 4 total time: 70.7578
 opt: 0.354 reg: 0.022 solved: 8 total time: 71.1345
 opt: 0.102 reg: 0.003 solved: 4 total time: 71.2409
 opt: 0.107 reg: 0.009 solved: 4 total time: 71.3579
 opt: 0.051 reg: 0.024 solved: 4 total time: 71.4348
 opt: 0.109 reg: 0.017 solved: 4 total time: 71.5617
 opt: 0.137 reg: 0.036 solved: 8 total time: 71.7352
 opt: 0.272 reg: 0.055 solved: 10 total time: 72.0635
 opt: 0.168 reg: 0.023 solved: 9 total time: 72.2559
 opt: 0.087 reg: 0.037 solved: 4 total time: 72.3814
 opt: 0.158 reg: 0.056 solved: 4 total time: 72.597
 opt: 0.141 reg: 0.024 solved: 4 total time: 72.7634
 opt: 0.052 reg: 0.012 solved: 4 total time: 72.8287
 opt: 0.093 reg: 0.046 solved: 6 total time: 72.9688
 opt: 0.1 reg: 0.055 solved: 6 total time: 73.125
 opt: 0.097 reg: 0.03 solved: 4 total time: 73.2534
 opt: 0.309 reg: 0.078 solved: 8 total time: 73.6409
 opt: 0.159 reg: 0.084 solved: 6 total time: 73.8856
 opt: 0.092 reg: 0.1 solved: 6 total time: 74.0794
 opt: 0.08 reg: 0.115 solved: 6 total time: 74.2751
 opt: 0.157 reg: 0.109 solved: 8 total time: 74.542
 opt: 0.128 reg: 0.078 solved: 8 total time: 74.75
 opt: 0.136 reg: 0.04 solved: 4 total time: 74.9274
 opt: 0.127 reg: 0.017 solved: 4 total time: 75.072
 opt: 0.101 reg: 0.809 solved: 6 total time: 75.9823
 opt: 0.178 reg: 0.085 solved: 6 total time: 76.2463
 opt: 0.092 reg: 0.027 solved: 6 total time: 76.3663
 opt: 0.099 reg: 0.092 solved: 6 total time: 76.559
 opt: 0.085 reg: 0.094 solved: 6 total time: 76.7398
 opt: 0.152 reg: 0.061 solved: 8 total time: 76.9544
 opt: 0.203 reg: 0.103 solved: 6 total time: 77.2614
 opt: 0.31 reg: 0.127 solved: 8 total time: 77.6994
 opt: 0.271 reg: 0.139 solved: 9 total time: 78.1103
 opt: 0.091 reg: 0.19 solved: 6 total time: 78.3922
 opt: 0.239 reg: 0.227 solved: 6 total time: 78.8589
 opt: 0.112 reg: 0.034 solved: 6 total time: 79.0058
 opt: 0.148 reg: 0.135 solved: 6 total time: 79.2898
 opt: 0.157 reg: 0.292 solved: 6 total time: 79.7395
 opt: 0.224 reg: 0.226 solved: 6 total time: 80.1901
 opt: 0.215 reg: 0.973 solved: 6 total time: 81.3774
 opt: 0.174 reg: 0.133 solved: 6 total time: 81.6855
 opt: 0.201 reg: 0.059 solved: 6 total time: 81.9468
 opt: 0.223 reg: 0.112 solved: 6 total time: 82.2831
 opt: 0.242 reg: 0.247 solved: 6 total time: 82.7727
 opt: 0.179 reg: 0.232 solved: 6 total time: 83.1856
 opt: 0.077 reg: 0.191 solved: 6 total time: 83.4552
 opt: 0.241 reg: 0.084 solved: 6 total time: 83.7811
 opt: 0.17 reg: 0.154 solved: 6 total time: 84.1062
 opt: 0.193 reg: 0.078 solved: 8 total time: 84.3791
 opt: 0.187 reg: 0.154 solved: 6 total time: 84.7217
 opt: 0.204 reg: 0.218 solved: 6 total time: 85.1448
 opt: 0.08 reg: 0.898 solved: 6 total time: 86.1232
 opt: 0.297 reg: 0.105 solved: 8 total time: 86.526
 opt: 0.21 reg: 0.051 solved: 6 total time: 86.7881
 opt: 0.336 reg: 0.071 solved: 9 total time: 87.1954
 opt: 0.181 reg: 0.197 solved: 6 total time: 87.5743
 opt: 0.091 reg: 0.163 solved: 6 total time: 87.8295
 opt: 0.19 reg: 0.234 solved: 6 total time: 88.2546
 opt: 0.213 reg: 0.249 solved: 6 total time: 88.7167
 opt: 0.276 reg: 0.199 solved: 6 total time: 89.1925
 opt: 0.331 reg: 0.132 solved: 8 total time: 89.6564
 opt: 0.232 reg: 0.129 solved: 6 total time: 90.0188
 opt: 0.14 reg: 0.091 solved: 8 total time: 90.2517
 opt: 0.114 reg: 0.873 solved: 7 total time: 91.2389
 opt: 0.182 reg: 0.051 solved: 8 total time: 91.4731
 opt: 0.182 reg: 0.182 solved: 6 total time: 91.8387
 opt: 0.109 reg: 0.104 solved: 6 total time: 92.0521
 opt: 0.131 reg: 0.074 solved: 8 total time: 92.2583
 opt: 0.153 reg: 0.061 solved: 9 total time: 92.4745
 opt: 0.166 reg: 0.142 solved: 8 total time: 92.7847
 opt: 0.18 reg: 0.2 solved: 6 total time: 93.1654
 opt: 0.286 reg: 0.057 solved: 8 total time: 93.5097
 opt: 0.198 reg: 0.111 solved: 6 total time: 93.8202
 opt: 0.103 reg: 0.198 solved: 6 total time: 94.1229
 opt: 0.296 reg: 0.187 solved: 8 total time: 94.6068
 opt: 0.204 reg: 0.113 solved: 7 total time: 94.9253
 opt: 0.173 reg: 0.187 solved: 8 total time: 95.2859
 opt: 0.193 reg: 0.333 solved: 6 total time: 95.813
 opt: 0.217 reg: 1.12 solved: 6 total time: 97.1495
 opt: 0.211 reg: 0.16 solved: 6 total time: 97.5216
 opt: 0.162 reg: 0.095 solved: 7 total time: 97.7801
 opt: 0.278 reg: 0.154 solved: 8 total time: 98.2135
 opt: 0.243 reg: 0.117 solved: 8 total time: 98.5741
 opt: 0.201 reg: 0.368 solved: 6 total time: 99.144
 opt: 0.183 reg: 0.101 solved: 8 total time: 99.4288
 opt: 0.224 reg: 0.39 solved: 6 total time: 100.044
 opt: 0.16 reg: 0.372 solved: 6 total time: 100.577
 opt: 0.168 reg: 0.242 solved: 6 total time: 100.988
 opt: 0.241 reg: 1.109 solved: 6 total time: 102.337
 opt: 0.161 reg: 0.124 solved: 9 total time: 102.623
 opt: 0.151 reg: 0.201 solved: 8 total time: 102.976
 opt: 0.204 reg: 0.066 solved: 9 total time: 103.248
 opt: 0.186 reg: 0.189 solved: 6 total time: 103.625
 opt: 0.262 reg: 0.133 solved: 6 total time: 104.022
 opt: 0.252 reg: 0.194 solved: 6 total time: 104.469
 opt: 0.263 reg: 0.307 solved: 6 total time: 105.04
 opt: 0.325 reg: 0.172 solved: 8 total time: 105.538
 opt: 0.19 reg: 0.12 solved: 9 total time: 105.849
 opt: 0.186 reg: 0.048 solved: 11 total time: 106.084
 opt: 0.216 reg: 0.497 solved: 6 total time: 106.798
 opt: 0.127 reg: 0.331 solved: 6 total time: 107.258
 opt: 0.407 reg: 0.172 solved: 8 total time: 107.838
 opt: 0.132 reg: 1.56 solved: 6 total time: 109.53
 opt: 0.267 reg: 0.196 solved: 7 total time: 109.993
 opt: 0.373 reg: 0.175 solved: 8 total time: 110.542
 opt: 0.244 reg: 0.218 solved: 6 total time: 111.005
 opt: 0.255 reg: 0.154 solved: 6 total time: 111.415
 opt: 0.128 reg: 0.427 solved: 6 total time: 111.971
 opt: 0.186 reg: 0.262 solved: 9 total time: 112.421
 opt: 0.252 reg: 0.243 solved: 6 total time: 112.917
 opt: 0.193 reg: 0.286 solved: 8 total time: 113.397
 opt: 0.311 reg: 0.487 solved: 6 total time: 114.197
 opt: 0.273 reg: 0.083 solved: 8 total time: 114.555
 opt: 0.272 reg: 0.273 solved: 7 total time: 115.101
 opt: 0.241 reg: 0.213 solved: 7 total time: 115.558
 opt: 0.322 reg: 1.706 solved: 6 total time: 117.586
 opt: 0.26 reg: 0.117 solved: 6 total time: 117.963
 opt: 0.288 reg: 0.191 solved: 7 total time: 118.443
 opt: 0.202 reg: 0.101 solved: 6 total time: 118.749
 opt: 0.173 reg: 0.288 solved: 10 total time: 119.211
 opt: 0.162 reg: 0.055 solved: 8 total time: 119.43
 opt: 0.14 reg: 0.142 solved: 6 total time: 119.714
 opt: 0.184 reg: 0.174 solved: 6 total time: 120.074
 opt: 0.26 reg: 0.204 solved: 8 total time: 120.539
 opt: 0.173 reg: 0.364 solved: 6 total time: 121.077
 opt: 0.147 reg: 0.412 solved: 7 total time: 121.637
 opt: 0.216 reg: 0.485 solved: 9 total time: 122.34
 opt: 0.265 reg: 0.125 solved: 8 total time: 122.731
 opt: 0.269 reg: 0.132 solved: 6 total time: 123.134
 opt: 0.24 reg: 1.146 solved: 6 total time: 124.519
 opt: 0.223 reg: 0.105 solved: 6 total time: 124.848
 opt: 0.311 reg: 0.165 solved: 8 total time: 125.324
 opt: 0.217 reg: 0.365 solved: 6 total time: 125.907
 opt: 0.19 reg: 0.185 solved: 7 total time: 126.283
 opt: 0.161 reg: 0.405 solved: 6 total time: 126.85
 opt: 0.275 reg: 0.087 solved: 6 total time: 127.213
 opt: 0.349 reg: 0.374 solved: 8 total time: 127.936
 opt: 0.191 reg: 0.169 solved: 6 total time: 128.298
 opt: 0.177 reg: 0.191 solved: 6 total time: 128.667
 opt: 0.225 reg: 0.544 solved: 6 total time: 129.437
 opt: 0.148 reg: 0.142 solved: 8 total time: 129.729
 opt: 0.151 reg: 0.241 solved: 9 total time: 130.122
 opt: 0.138 reg: 1.517 solved: 6 total time: 131.777
 opt: 0.247 reg: 0.695 solved: 6 total time: 132.72
 opt: 0.203 reg: 0.2 solved: 6 total time: 133.124
 opt: 0.188 reg: 0.403 solved: 6 total time: 133.716
 opt: 0.173 reg: 0.472 solved: 8 total time: 134.362
 opt: 0.263 reg: 0.141 solved: 8 total time: 134.767
 opt: 0.219 reg: 0.227 solved: 6 total time: 135.215
 opt: 0.193 reg: 0.102 solved: 8 total time: 135.511
 opt: 1.43 reg: 0.244 solved: 8 total time: 137.186
 opt: 0.244 reg: 0.2 solved: 7 total time: 137.631
 opt: 0.273 reg: 0.117 solved: 6 total time: 138.022
 opt: 0.222 reg: 0.126 solved: 6 total time: 138.372
 opt: 0.21 reg: 0.092 solved: 6 total time: 138.675
 opt: 0.187 reg: 0.072 solved: 8 total time: 138.935
 opt: 0.169 reg: 0.139 solved: 8 total time: 139.245
 opt: 0.18 reg: 0.117 solved: 9 total time: 139.543
 opt: 0.092 reg: 0.358 solved: 6 total time: 139.995
 opt: 0.309 reg: 0.182 solved: 8 total time: 140.487
 opt: 0.347 reg: 0.467 solved: 8 total time: 141.302
 opt: 0.102 reg: 0.134 solved: 6 total time: 141.539
 opt: 0.176 reg: 1.257 solved: 8 total time: 142.971
 opt: 0.218 reg: 0.14 solved: 6 total time: 143.33
 opt: 0.246 reg: 0.248 solved: 7 total time: 143.825
 opt: 0.156 reg: 0.556 solved: 6 total time: 144.538
 opt: 0.159 reg: 0.131 solved: 8 total time: 144.829
 opt: 0.153 reg: 0.094 solved: 8 total time: 145.077
 opt: 0.279 reg: 0.133 solved: 8 total time: 145.491
 opt: 0.203 reg: 0.095 solved: 9 total time: 145.791
 opt: 0.214 reg: 0.202 solved: 6 total time: 146.208
 opt: 0.187 reg: 0.707 solved: 6 total time: 147.103
 opt: 0.106 reg: 1.589 solved: 6 total time: 148.797
 opt: 0.265 reg: 0.265 solved: 6 total time: 149.327
 opt: 0.191 reg: 0.545 solved: 6 total time: 150.065
 opt: 0.113 reg: 0.589 solved: 6 total time: 150.767
 opt: 0.105 reg: 0.199 solved: 6 total time: 151.072
 opt: 0.101 reg: 0.77 solved: 6 total time: 151.943
 opt: 0.217 reg: 1.287 solved: 6 total time: 153.446
 opt: 0.204 reg: 0.229 solved: 6 total time: 153.88
 opt: 0.177 reg: 0.513 solved: 6 total time: 154.571
 opt: 0.173 reg: 0.459 solved: 6 total time: 155.204
 opt: 0.342 reg: 0.325 solved: 8 total time: 155.872
 opt: 0.192 reg: 0.52 solved: 8 total time: 156.585
 opt: 0.346 reg: 0.766 solved: 6 total time: 157.698
 opt: 0.417 reg: 0.254 solved: 9 total time: 158.37
 opt: 0.271 reg: 0.331 solved: 6 total time: 158.973
 opt: 0.381 reg: 0.1 solved: 9 total time: 159.455
 opt: 0.324 reg: 1.617 solved: 8 total time: 161.394
 opt: 0.205 reg: 0.547 solved: 9 total time: 162.148
 opt: 0.215 reg: 0.442 solved: 9 total time: 162.807
 opt: 0.281 reg: 0.186 solved: 6 total time: 163.275
 opt: 0.228 reg: 0.198 solved: 8 total time: 163.702
 opt: 0.214 reg: 0.062 solved: 8 total time: 163.98
 opt: 0.248 reg: 0.279 solved: 6 total time: 164.508
 opt: 0.229 reg: 0.321 solved: 6 total time: 165.059
 opt: 0.235 reg: 0.69 solved: 6 total time: 165.985
 opt: 0.2 reg: 0.306 solved: 6 total time: 166.491
 opt: 0.257 reg: 0.245 solved: 6 total time: 166.994
 opt: 0.324 reg: 0.228 solved: 8 total time: 167.546
 opt: 0.169 reg: 0.584 solved: 6 total time: 168.301
 opt: 1.521 reg: 1.084 solved: 6 total time: 170.904
 opt: 0.244 reg: 0.532 solved: 8 total time: 171.68
 opt: 0.28 reg: 0.395 solved: 6 total time: 172.356
 opt: 0.29 reg: 0.091 solved: 9 total time: 172.738
 opt: 0.29 reg: 0.373 solved: 6 total time: 173.402
 opt: 0.209 reg: 0.535 solved: 11 total time: 174.147
 opt: 0.252 reg: 0.183 solved: 8 total time: 174.583
 opt: 0.381 reg: 0.744 solved: 8 total time: 175.708
 opt: 0.252 reg: 1.753 solved: 9 total time: 177.711
 opt: 0.304 reg: 0.144 solved: 6 total time: 178.16
 opt: 0.198 reg: 0.722 solved: 8 total time: 179.08
 opt: 0.253 reg: 0.861 solved: 6 total time: 180.195
 opt: 0.192 reg: 1.029 solved: 6 total time: 181.416
 opt: 0.236 reg: 1.546 solved: 9 total time: 183.197
 opt: 0.302 reg: 0.214 solved: 6 total time: 183.715
 opt: 0.129 reg: 0.483 solved: 6 total time: 184.327
 opt: 0.358 reg: 0.583 solved: 8 total time: 185.268
 opt: 0.286 reg: 0.333 solved: 7 total time: 185.888
 opt: 0.276 reg: 0.063 solved: 8 total time: 186.229
 opt: 0.241 reg: 0.263 solved: 6 total time: 186.734
 opt: 0.202 reg: 0.236 solved: 9 total time: 187.173
 opt: 0.31 reg: 0.551 solved: 8 total time: 188.035
 opt: 0.274 reg: 0.357 solved: 6 total time: 188.668
 opt: 0.221 reg: 0.284 solved: 6 total time: 189.173
 opt: 0.219 reg: 2.234 solved: 10 total time: 191.624
 opt: 0.282 reg: 0.133 solved: 6 total time: 192.04
 opt: 0.263 reg: 0.196 solved: 6 total time: 192.5
 opt: 0.416 reg: 0.41 solved: 9 total time: 193.326
 opt: 0.224 reg: 0.639 solved: 8 total time: 194.191
 opt: 0.25 reg: 0.54 solved: 10 total time: 194.982
 opt: 0.215 reg: 0.397 solved: 6 total time: 195.594
 opt: 0.355 reg: 0.348 solved: 8 total time: 196.298
 opt: 0.184 reg: 0.175 solved: 6 total time: 196.658
 opt: 0.227 reg: 0.41 solved: 6 total time: 197.295
 opt: 0.396 reg: 0.38 solved: 9 total time: 198.071
 opt: 0.262 reg: 0.087 solved: 9 total time: 198.422
 opt: 1.864 reg: 0.873 solved: 6 total time: 201.157
 opt: 0.334 reg: 0.317 solved: 8 total time: 201.809
 opt: 0.259 reg: 0.556 solved: 6 total time: 202.625
 opt: 0.387 reg: 0.494 solved: 8 total time: 203.506
 opt: 0.257 reg: 0.663 solved: 6 total time: 204.425
 opt: 0.379 reg: 0.19 solved: 8 total time: 204.995
 opt: 0.218 reg: 0.341 solved: 6 total time: 205.556
 opt: 0.289 reg: 0.169 solved: 8 total time: 206.015
 opt: 0.4 reg: 0.195 solved: 8 total time: 206.61
 opt: 0.326 reg: 1.573 solved: 10 total time: 208.507
 opt: 0.348 reg: 0.105 solved: 10 total time: 208.961
 opt: 0.226 reg: 0.142 solved: 8 total time: 209.33
 opt: 0.297 reg: 0.14 solved: 8 total time: 209.768
 opt: 0.35 reg: 0.24 solved: 8 total time: 210.36
 opt: 0.14 reg: 0.251 solved: 6 total time: 210.752
 opt: 0.366 reg: 0.27 solved: 8 total time: 211.388
 opt: 0.266 reg: 0.393 solved: 6 total time: 212.048
 opt: 0.204 reg: 0.238 solved: 6 total time: 212.491
 opt: 0.425 reg: 0.326 solved: 8 total time: 213.243
 opt: 0.21 reg: 0.463 solved: 6 total time: 213.917
 opt: 0.412 reg: 0.4 solved: 8 total time: 214.729
 opt: 0.235 reg: 0.324 solved: 9 total time: 215.289
 opt: 1.859 reg: 0.149 solved: 8 total time: 217.295
 opt: 0.214 reg: 0.366 solved: 6 total time: 217.876
 opt: 0.428 reg: 0.11 solved: 9 total time: 218.415
 opt: 0.217 reg: 0.417 solved: 6 total time: 219.05
 opt: 0.128 reg: 0.336 solved: 6 total time: 219.514
 opt: 0.351 reg: 0.091 solved: 8 total time: 219.958
 opt: 0.222 reg: 0.272 solved: 6 total time: 220.452
 opt: 0.423 reg: 0.213 solved: 8 total time: 221.088
 opt: 0.446 reg: 0.053 solved: 9 total time: 221.588
 opt: 0.283 reg: 0.237 solved: 9 total time: 222.109
 opt: 0.348 reg: 0.41 solved: 8 total time: 222.868
 opt: 0.251 reg: 0.264 solved: 6 total time: 223.384
 opt: 0.31 reg: 0.349 solved: 8 total time: 224.044
 opt: 0.186 reg: 0.26 solved: 6 total time: 224.492
 opt: 0.207 reg: 0.241 solved: 6 total time: 224.94
 opt: 0.268 reg: 0.546 solved: 9 total time: 225.755
 opt: 0.292 reg: 1.725 solved: 8 total time: 227.771
 opt: 0.254 reg: 0.433 solved: 8 total time: 228.459
 opt: 0.311 reg: 0.171 solved: 8 total time: 228.943
 opt: 0.228 reg: 0.255 solved: 6 total time: 229.427
 opt: 0.306 reg: 0.344 solved: 7 total time: 230.078
 opt: 0.284 reg: 0.58 solved: 6 total time: 230.943
 opt: 0.332 reg: 0.054 solved: 8 total time: 231.331
 opt: 0.383 reg: 0.239 solved: 8 total time: 231.955
 opt: 0.2 reg: 0.247 solved: 6 total time: 232.402
 opt: 0.214 reg: 0.156 solved: 6 total time: 232.774
 opt: 0.339 reg: 1.536 solved: 8 total time: 234.648
 opt: 0.33 reg: 0.09 solved: 8 total time: 235.07
 opt: 0.289 reg: 0.367 solved: 6 total time: 235.726
 opt: 0.24 reg: 0.689 solved: 6 total time: 236.656
 opt: 0.226 reg: 0.174 solved: 6 total time: 237.057
 opt: 0.259 reg: 0.28 solved: 7 total time: 237.597
 opt: 0.379 reg: 0.074 solved: 8 total time: 238.051
 opt: 0.287 reg: 0.415 solved: 6 total time: 238.754
 opt: 0.463 reg: 0.47 solved: 8 total time: 239.688
 opt: 0.241 reg: 0.268 solved: 7 total time: 240.198
 opt: 0.283 reg: 0.329 solved: 6 total time: 240.811
 opt: 0.243 reg: 0.173 solved: 6 total time: 241.228
 opt: 0.221 reg: 1.81 solved: 8 total time: 243.257
 opt: 0.165 reg: 0.039 solved: 7 total time: 243.463
 opt: 0.347 reg: 0.424 solved: 8 total time: 244.234
 opt: 0.354 reg: 0.108 solved: 8 total time: 244.698
 opt: 0.256 reg: 0.134 solved: 9 total time: 245.088
 opt: 0.314 reg: 0.114 solved: 8 total time: 245.518
 opt: 0.364 reg: 0.147 solved: 8 total time: 246.03
 opt: 0.415 reg: 0.142 solved: 9 total time: 246.587
 opt: 0.321 reg: 0.227 solved: 6 total time: 247.136
 opt: 0.327 reg: 0.085 solved: 6 total time: 247.549
 opt: 0.226 reg: 0.046 solved: 7 total time: 247.823
 opt: 0.196 reg: 0.043 solved: 7 total time: 248.063
 opt: 0.297 reg: 0.063 solved: 6 total time: 248.425
 opt: 0.283 reg: 0.165 solved: 8 total time: 248.874
 opt: 1.625 reg: 0.183 solved: 8 total time: 250.681
 opt: 0.405 reg: 0.096 solved: 10 total time: 251.183
 opt: 0.323 reg: 0.039 solved: 8 total time: 251.547
 opt: 0.329 reg: 0.167 solved: 8 total time: 252.043
 opt: 0.336 reg: 0.068 solved: 7 total time: 252.448
 opt: 0.2 reg: 0.578 solved: 11 total time: 253.227
 opt: 0.237 reg: 0.205 solved: 9 total time: 253.67
 opt: 0.19 reg: 0.11 solved: 8 total time: 253.971
 opt: 0.319 reg: 0.182 solved: 8 total time: 254.473
 opt: 0.355 reg: 0.183 solved: 8 total time: 255.012
 opt: 0.383 reg: 0.212 solved: 8 total time: 255.608
 opt: 0.405 reg: 0.084 solved: 7 total time: 256.098
 opt: 0.26 reg: 0.207 solved: 6 total time: 256.566
 opt: 0.359 reg: 0.496 solved: 8 total time: 257.423
 opt: 0.392 reg: 0.175 solved: 8 total time: 257.991
 opt: 0.453 reg: 0.111 solved: 9 total time: 258.556
 opt: 0.381 reg: 0.267 solved: 9 total time: 259.205
 opt: 0.298 reg: 0.165 solved: 8 total time: 259.669
 opt: 0.315 reg: 0.11 solved: 6 total time: 260.095
 opt: 1.71 reg: 0.529 solved: 9 total time: 262.332
 opt: 0.185 reg: 0.17 solved: 8 total time: 262.688
 opt: 0.246 reg: 0.041 solved: 11 total time: 262.976
 opt: 0.385 reg: 0.384 solved: 8 total time: 263.745
 opt: 0.25 reg: 0.179 solved: 8 total time: 264.175
 opt: 0.402 reg: 0.15 solved: 9 total time: 264.728
 opt: 0.173 reg: 0.397 solved: 8 total time: 265.299
 opt: 0.248 reg: 0.677 solved: 6 total time: 266.225
 opt: 0.366 reg: 0.114 solved: 9 total time: 266.706
 opt: 0.433 reg: 0.212 solved: 8 total time: 267.353
 opt: 0.455 reg: 0.346 solved: 10 total time: 268.155
 opt: 0.314 reg: 0.172 solved: 10 total time: 268.642
 opt: 0.311 reg: 0.674 solved: 9 total time: 269.629
 opt: 3.427 reg: 0.133 solved: 9 total time: 273.186
 opt: 0.287 reg: 0.171 solved: 8 total time: 273.646
 opt: 0.524 reg: 0.069 solved: 7 total time: 274.241
 opt: 0.51 reg: 0.249 solved: 9 total time: 275.001
 opt: 0.401 reg: 0.139 solved: 8 total time: 275.542
 opt: 0.628 reg: 0.748 solved: 8 total time: 276.919
 opt: 0.455 reg: 0.236 solved: 8 total time: 277.611
 opt: 0.27 reg: 0.431 solved: 9 total time: 278.312
 opt: 0.42 reg: 0.558 solved: 8 total time: 279.29
 opt: 0.394 reg: 0.091 solved: 8 total time: 279.776
 opt: 0.359 reg: 0.241 solved: 8 total time: 280.377
 opt: 0.361 reg: 0.284 solved: 8 total time: 281.023
 opt: 0.349 reg: 0.114 solved: 8 total time: 281.488
 opt: 0.179 reg: 2.484 solved: 8 total time: 284.15
 opt: 0.273 reg: 0.204 solved: 9 total time: 284.627
 opt: 0.375 reg: 0.309 solved: 8 total time: 285.312
 opt: 0.397 reg: 0.242 solved: 8 total time: 285.952
 opt: 0.366 reg: 0.608 solved: 8 total time: 286.926
 opt: 0.466 reg: 0.253 solved: 8 total time: 287.646
 opt: 0.327 reg: 0.502 solved: 8 total time: 288.476
 opt: 0.298 reg: 0.306 solved: 9 total time: 289.082
 opt: 0.336 reg: 0.343 solved: 8 total time: 289.762
 opt: 0.352 reg: 0.077 solved: 8 total time: 290.192
 opt: 0.268 reg: 0.328 solved: 8 total time: 290.789
 opt: 0.407 reg: 2.706 solved: 9 total time: 293.899
 opt: 0.289 reg: 0.12 solved: 9 total time: 294.309
 opt: 0.345 reg: 0.247 solved: 8 total time: 294.902
 opt: 0.27 reg: 0.238 solved: 8 total time: 295.41
 opt: 0.374 reg: 0.251 solved: 9 total time: 296.037
 opt: 0.419 reg: 0.351 solved: 8 total time: 296.807
 opt: 0.445 reg: 0.437 solved: 8 total time: 297.69
 opt: 0.232 reg: 0.164 solved: 8 total time: 298.087
 opt: 0.436 reg: 0.593 solved: 8 total time: 299.117
 opt: 0.289 reg: 0.191 solved: 8 total time: 299.598
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
@@@T302829@@@
Done!
real 303.09
user 299.13
sys 3.41
slurmstepd-dhabi05: error: Detected 1 oom-kill event(s) in step 4401745.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
