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/VtlWavenet2008_1.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/VtlWavenet2008_1.pddl
Parsing...
Parsing: [0.010s CPU, 0.011s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.003s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.012s wall-clock]
Preparing model... [0.010s CPU, 0.009s wall-clock]
Generated 173 rules.
Computing model... [0.170s CPU, 0.174s wall-clock]
3016 relevant atoms
5248 auxiliary atoms
8264 final queue length
10687 total queue pushes
Completing instantiation... [0.190s CPU, 0.176s wall-clock]
Instantiating: [0.380s CPU, 0.379s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.010s CPU, 0.009s 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...
189 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.010s CPU, 0.015s 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.015s wall-clock]
Translating task: [0.190s CPU, 0.188s 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.026s wall-clock]
Translator variables: 191
Translator derived variables: 0
Translator facts: 414
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 37
Translator operators: 2312
Translator axioms: 0
Translator task size: 13072
Translator peak memory: 27888 KB
Writing output... [0.030s CPU, 0.032s wall-clock]
Done! [0.660s CPU, 0.664s 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.
191 variables of 191 necessary
0 of 3 mutex groups necessary.
2312 of 2312 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 414 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=36481, notReached=134091, spurious=824
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=164928, notReached=5644, spurious=824
2 operators are spurious because were not triggered
H^2 mutexes added fw: 5644, unreachable: 0
0 of 2310 operators detected as spurious
Total mutex and disambiguation time: 0.405991 iterations: 2
2822 of 2822 mutex groups necessary.
2310 of 2312 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 2310
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 191
2822 of 2822 mutex groups necessary.
2310 of 2310 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
191 variables of 191 of 191 necessary
The causal graph is not acyclic.
191 variables of 191 necessary
2822 of 2822 mutex groups necessary.
2310 of 2310 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 191
Preprocessor facts: 414
Preprocessor derived variables: 0
Preprocessor operators: 2310
Preprocessor mutex groups: 2822
Preprocessor task size: 18669
Writing output...
Preprocessor time: 0.529508s
Preprocessor peak memory: 8860 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.00027596s]
Simplifying transitions... done!
done reading input! [t=0.0665228s]
building causal graph...done! [t=0.0685757s]
packing state variables...Variables: 191
Bytes per state: 28
done! [t=0.0687456s]
done initalizing global data [t=0.068752s]
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() = 155
leader_vars_follower_preconditioned.size() = 154
follower_operators.size() = 2155
leader_operators.size() = 155
Initializing Symbolic Variables
Sym variable order: 1 14 80 90 140 120 110 60 30 7 70 159 130 100 50 40 15 37 13 77 87 150 127 137 4 97 117 57 107 27 47 67 19 25 21 59 129 69 156 99 39 89 6 79 119 109 49 139 29 118 28 58 48 128 68 78 5 108 38 88 98 138 153 135 85 125 35 175 115 12 105 75 65 45 145 55 95 2 16 143 103 113 93 123 53 43 10 169 133 83 73 22 63 33 134 64 104 54 44 114 11 144 94 34 84 74 172 124 18 17 96 146 66 76 126 106 3 36 116 86 26 136 56 46 20 91 31 51 81 131 111 8 61 101 162 41 141 121 71 23 32 122 92 166 112 62 9 132 82 72 102 142 52 42 24 163 176 184 185 187 158 167 160 154 177 157 186 165 178 188 164 190 173 0 189 161 170 182 171 152 180 174 168 155 151 181 147 179 183 149 148 
Num variables: 191 => 200
Initialize Symbolic Manager(400, 40000, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 88 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 0.08s
Starting Stackelberg bounded search...
 opt: 0.006 reg: 0 solved: 1 total time: 1.60081
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 1.60087
 opt: 0.002 reg: 0 solved: 1 total time: 1.60977
 opt: 0.002 reg: 0 solved: 1 total time: 1.61236
 opt: 0.004 reg: 0 solved: 1 total time: 1.61725
 opt: 0.004 reg: 0 solved: 1 total time: 1.62159
 opt: 0.003 reg: 0 solved: 1 total time: 1.62537
 opt: 0.004 reg: 0 solved: 1 total time: 1.62975
 opt: 0.003 reg: 0 solved: 1 total time: 1.63331
 opt: 0.004 reg: 0 solved: 1 total time: 1.63771
 opt: 0.011 reg: 0 solved: 2 total time: 1.64954
L = 1, leader states: 2048, follower subproblems: 2048, F:100000, total time: 1.64963
 opt: 0.035 reg: 0 solved: 2 total time: 1.69392
 opt: 0.006 reg: 0 solved: 1 total time: 1.7007
 opt: 0.018 reg: 0 solved: 2 total time: 1.71944
L = 2, leader states: 118098, follower subproblems: 118098, F:100000, total time: 1.71958
 opt: 0.017 reg: 0 solved: 2 total time: 1.74655
 opt: 0.03 reg: 0 solved: 5 total time: 1.77757
 opt: 0.008 reg: 0 solved: 1 total time: 1.78662
 opt: 0.053 reg: 0.001 solved: 5 total time: 1.84115
 opt: 0.026 reg: 0.002 solved: 3 total time: 1.87035
 opt: 0.024 reg: 0.005 solved: 4 total time: 1.90141
 opt: 0.033 reg: 0.005 solved: 3 total time: 1.94121
 opt: 0.046 reg: 0.003 solved: 3 total time: 1.9917
 opt: 0.043 reg: 0.007 solved: 4 total time: 2.04306
 opt: 0.023 reg: 0.013 solved: 4 total time: 2.08063
 opt: 0.033 reg: 0.001 solved: 4 total time: 2.1158
 opt: 0.036 reg: 0.002 solved: 3 total time: 2.15528
 opt: 0.054 reg: 0.002 solved: 3 total time: 2.21272
 opt: 0.024 reg: 0.009 solved: 5 total time: 2.24705
 opt: 0.022 reg: 0.008 solved: 3 total time: 2.27864
 opt: 0.051 reg: 0.006 solved: 3 total time: 2.33639
 opt: 0.026 reg: 0.01 solved: 6 total time: 2.37444
 opt: 0.044 reg: 0.007 solved: 5 total time: 2.42679
 opt: 0.046 reg: 0.01 solved: 6 total time: 2.48403
 opt: 0.026 reg: 0.02 solved: 6 total time: 2.53103
 opt: 0.029 reg: 0.007 solved: 7 total time: 2.56836
 opt: 0.045 reg: 0.006 solved: 7 total time: 2.62147
 opt: 0.026 reg: 0.01 solved: 7 total time: 2.65895
L = 3, leader states: 2.09715e+06, follower subproblems: 2.09715e+06, F:100000, total time: 2.65936
 opt: 0.057 reg: 0.007 solved: 3 total time: 2.73441
 opt: 0.017 reg: 0.012 solved: 2 total time: 2.76462
 opt: 0.042 reg: 0.012 solved: 3 total time: 2.82007
 opt: 0.036 reg: 0.001 solved: 3 total time: 2.8581
 opt: 0.045 reg: 0.003 solved: 4 total time: 2.90717
 opt: 0.052 reg: 0.003 solved: 4 total time: 2.96316
 opt: 0.043 reg: 0.006 solved: 4 total time: 3.01332
 opt: 0.045 reg: 0.003 solved: 4 total time: 3.06256
 opt: 0.04 reg: 0.003 solved: 3 total time: 3.10671
 opt: 0.043 reg: 0.003 solved: 3 total time: 3.15422
 opt: 0.052 reg: 0.02 solved: 4 total time: 3.22763
 opt: 0.059 reg: 0.019 solved: 4 total time: 3.30763
 opt: 0.046 reg: 0.024 solved: 5 total time: 3.37812
 opt: 0.07 reg: 0.002 solved: 4 total time: 3.45168
 opt: 0.044 reg: 0.004 solved: 4 total time: 3.5006
 opt: 0.049 reg: 0.012 solved: 5 total time: 3.56273
 opt: 0.073 reg: 0.005 solved: 4 total time: 3.64135
 opt: 0.059 reg: 0.013 solved: 6 total time: 3.71459
 opt: 0.046 reg: 0.016 solved: 6 total time: 3.7776
 opt: 0.055 reg: 0.003 solved: 5 total time: 3.83648
 opt: 0.064 reg: 0.005 solved: 5 total time: 3.90687
 opt: 0.044 reg: 0.008 solved: 5 total time: 3.95965
 opt: 0.049 reg: 0.03 solved: 6 total time: 4.03974
 opt: 0.047 reg: 0.024 solved: 5 total time: 4.11151
 opt: 0.056 reg: 0.003 solved: 6 total time: 4.17109
 opt: 0.052 reg: 0.002 solved: 6 total time: 4.22664
 opt: 0.053 reg: 0.003 solved: 6 total time: 4.28382
 opt: 0.05 reg: 0.006 solved: 5 total time: 4.3411
 opt: 0.054 reg: 0.02 solved: 7 total time: 4.41623
 opt: 0.068 reg: 0.01 solved: 6 total time: 4.49525
 opt: 0.057 reg: 0.026 solved: 7 total time: 4.57947
 opt: 0.061 reg: 0.014 solved: 7 total time: 4.65545
 opt: 0.06 reg: 0.015 solved: 5 total time: 4.7325
 opt: 0.049 reg: 0.042 solved: 6 total time: 4.82531
 opt: 0.063 reg: 0.006 solved: 7 total time: 4.89632
 opt: 0.052 reg: 0.01 solved: 6 total time: 4.95919
 opt: 0.051 reg: 0.011 solved: 6 total time: 5.02257
 opt: 0.049 reg: 0.008 solved: 6 total time: 5.08088
 opt: 0.051 reg: 0.005 solved: 6 total time: 5.1392
 opt: 0.053 reg: 0.006 solved: 6 total time: 5.19947
 opt: 0.052 reg: 0.008 solved: 7 total time: 5.26054
 opt: 0.077 reg: 0.03 solved: 7 total time: 5.36925
 opt: 0.065 reg: 0.014 solved: 6 total time: 5.44998
 opt: 0.047 reg: 0.01 solved: 5 total time: 5.50826
 opt: 0.053 reg: 0.013 solved: 7 total time: 5.57578
 opt: 0.055 reg: 0.016 solved: 7 total time: 5.64785
 opt: 0.037 reg: 0.014 solved: 5 total time: 5.70006
 opt: 0.055 reg: 0.014 solved: 7 total time: 5.7702
 opt: 0.055 reg: 0.013 solved: 7 total time: 5.84024
 opt: 0.053 reg: 0.011 solved: 7 total time: 5.90485
 opt: 0.047 reg: 0.01 solved: 7 total time: 5.96347
 opt: 0.052 reg: 0.022 solved: 6 total time: 6.03871
 opt: 0.048 reg: 0.03 solved: 7 total time: 6.11833
 opt: 0.049 reg: 0.014 solved: 7 total time: 6.18215
 opt: 0.044 reg: 0.021 solved: 6 total time: 6.24794
 opt: 0.054 reg: 0.018 solved: 7 total time: 6.3214
 opt: 0.045 reg: 0.013 solved: 7 total time: 6.38089
 opt: 0.044 reg: 0.013 solved: 6 total time: 6.43979
 opt: 0.046 reg: 0.017 solved: 7 total time: 6.5041
 opt: 0.049 reg: 0.019 solved: 5 total time: 6.57317
 opt: 0.046 reg: 0.018 solved: 7 total time: 6.63877
 opt: 0.054 reg: 0.014 solved: 5 total time: 6.70834
 opt: 0.053 reg: 0.013 solved: 6 total time: 6.77584
 opt: 0.047 reg: 0.016 solved: 7 total time: 6.84007
 opt: 0.046 reg: 0.015 solved: 7 total time: 6.90254
 opt: 0.046 reg: 0.016 solved: 7 total time: 6.96569
 opt: 0.049 reg: 0.014 solved: 6 total time: 7.02954
 opt: 0.05 reg: 0.015 solved: 7 total time: 7.09595
 opt: 0.049 reg: 0.014 solved: 7 total time: 7.16035
 opt: 0.044 reg: 0.014 solved: 7 total time: 7.2193
 opt: 0.043 reg: 0.012 solved: 7 total time: 7.27488
 opt: 0.048 reg: 0.012 solved: 7 total time: 7.33606
 opt: 0.043 reg: 0.011 solved: 7 total time: 7.39159
 opt: 0.048 reg: 0.011 solved: 7 total time: 7.45247
 opt: 0.041 reg: 0.011 solved: 7 total time: 7.50552
 opt: 0.041 reg: 0.011 solved: 7 total time: 7.55968
 opt: 0.044 reg: 0.011 solved: 7 total time: 7.61545
 opt: 0.044 reg: 0.011 solved: 7 total time: 7.67184
 opt: 0.042 reg: 0.01 solved: 6 total time: 7.72515
 opt: 0.04 reg: 0.011 solved: 7 total time: 7.77773
 opt: 0.041 reg: 0.01 solved: 7 total time: 7.82998
 opt: 0.04 reg: 0.009 solved: 7 total time: 7.88034
L = 4, leader states: 1.95312e+07, follower subproblems: 1.95312e+07, F:100000, total time: 7.88078
 opt: 0.023 reg: 0.011 solved: 2 total time: 7.92774
 opt: 0.058 reg: 0.027 solved: 3 total time: 8.01381
 opt: 0.056 reg: 0.008 solved: 4 total time: 8.07945
 opt: 0.051 reg: 0.005 solved: 3 total time: 8.13712
 opt: 0.053 reg: 0.002 solved: 3 total time: 8.19402
 opt: 0.045 reg: 0.001 solved: 3 total time: 8.24186
 opt: 0.069 reg: 0.005 solved: 3 total time: 8.31689
 opt: 0.045 reg: 0.004 solved: 3 total time: 8.36727
 opt: 0.06 reg: 0.01 solved: 4 total time: 8.43879
 opt: 0.058 reg: 0.018 solved: 4 total time: 8.51585
 opt: 0.074 reg: 0.003 solved: 4 total time: 8.59402
 opt: 0.051 reg: 0.008 solved: 5 total time: 8.65443
 opt: 0.044 reg: 0.006 solved: 3 total time: 8.706
 opt: 0.065 reg: 0.009 solved: 5 total time: 8.7817
 opt: 0.079 reg: 0.007 solved: 4 total time: 8.86859
 opt: 0.082 reg: 0.004 solved: 4 total time: 8.95581
 opt: 0.07 reg: 0.004 solved: 4 total time: 9.03051
 opt: 0.083 reg: 0.003 solved: 4 total time: 9.1179
 opt: 0.057 reg: 0.009 solved: 4 total time: 9.18565
 opt: 0.049 reg: 0.023 solved: 5 total time: 9.25908
 opt: 0.066 reg: 0.033 solved: 5 total time: 9.35956
 opt: 0.063 reg: 0.02 solved: 5 total time: 9.44414
 opt: 0.063 reg: 0.015 solved: 6 total time: 9.52318
 opt: 0.074 reg: 0.011 solved: 6 total time: 9.60985
 opt: 0.058 reg: 0.013 solved: 5 total time: 9.68253
 opt: 0.091 reg: 0.015 solved: 5 total time: 9.78934
 opt: 0.05 reg: 0.008 solved: 4 total time: 9.8484
 opt: 0.071 reg: 0.013 solved: 5 total time: 9.93442
 opt: 0.058 reg: 0.028 solved: 5 total time: 10.0213
 opt: 0.055 reg: 0.027 solved: 5 total time: 10.1046
 opt: 0.061 reg: 0.012 solved: 6 total time: 10.1794
 opt: 0.056 reg: 0.025 solved: 6 total time: 10.2619
 opt: 0.052 reg: 0.015 solved: 4 total time: 10.3299
 opt: 0.065 reg: 0.013 solved: 4 total time: 10.41
 opt: 0.062 reg: 0.019 solved: 5 total time: 10.4925
 opt: 0.063 reg: 0.032 solved: 6 total time: 10.5887
 opt: 0.056 reg: 0.025 solved: 5 total time: 10.6717
 opt: 0.087 reg: 0.015 solved: 7 total time: 10.7746
 opt: 0.071 reg: 0.018 solved: 7 total time: 10.8652
 opt: 0.082 reg: 0.021 solved: 5 total time: 10.9697
 opt: 0.056 reg: 0.038 solved: 4 total time: 11.0659
 opt: 0.056 reg: 0.004 solved: 4 total time: 11.1266
 opt: 0.068 reg: 0.023 solved: 6 total time: 11.2197
 opt: 0.074 reg: 0.026 solved: 7 total time: 11.3209
 opt: 0.079 reg: 0.009 solved: 7 total time: 11.4106
 opt: 0.058 reg: 0.012 solved: 5 total time: 11.4819
 opt: 0.068 reg: 0.012 solved: 6 total time: 11.5633
 opt: 0.069 reg: 0.009 solved: 6 total time: 11.6428
 opt: 0.06 reg: 0.007 solved: 6 total time: 11.7112
 opt: 0.069 reg: 0.016 solved: 5 total time: 11.7979
 opt: 0.07 reg: 0.006 solved: 6 total time: 11.8758
 opt: 0.065 reg: 0.007 solved: 6 total time: 11.9488
 opt: 0.053 reg: 0.009 solved: 4 total time: 12.0124
 opt: 0.058 reg: 0.012 solved: 4 total time: 12.0832
 opt: 0.057 reg: 0.719 solved: 5 total time: 12.8593
 opt: 0.126 reg: 0.021 solved: 5 total time: 13.0083
 opt: 0.07 reg: 0.009 solved: 5 total time: 13.0885
 opt: 0.061 reg: 0.009 solved: 6 total time: 13.1592
 opt: 0.081 reg: 0.014 solved: 6 total time: 13.2557
 opt: 0.067 reg: 0.036 solved: 5 total time: 13.3596
 opt: 0.055 reg: 0.036 solved: 5 total time: 13.4526
 opt: 0.065 reg: 0.008 solved: 6 total time: 13.5269
 opt: 0.078 reg: 0.02 solved: 7 total time: 13.6266
 opt: 0.063 reg: 0.028 solved: 6 total time: 13.7188
 opt: 0.091 reg: 0.023 solved: 5 total time: 13.8336
 opt: 0.069 reg: 0.011 solved: 6 total time: 13.9151
 opt: 0.062 reg: 0.007 solved: 6 total time: 13.9857
 opt: 0.059 reg: 0.007 solved: 5 total time: 14.0529
 opt: 0.057 reg: 0.023 solved: 6 total time: 14.1342
 opt: 0.056 reg: 0.019 solved: 6 total time: 14.2101
 opt: 0.054 reg: 0.01 solved: 6 total time: 14.2753
 opt: 0.095 reg: 0.016 solved: 6 total time: 14.3874
 opt: 0.079 reg: 0.016 solved: 6 total time: 14.4833
 opt: 0.072 reg: 0.035 solved: 7 total time: 14.5916
 opt: 0.072 reg: 0.046 solved: 6 total time: 14.7107
 opt: 0.1 reg: 0.002 solved: 5 total time: 14.8147
 opt: 0.054 reg: 0.007 solved: 6 total time: 14.8772
 opt: 0.104 reg: 0.01 solved: 5 total time: 14.9924
 opt: 0.07 reg: 0.032 solved: 6 total time: 15.0955
 opt: 0.066 reg: 0.033 solved: 5 total time: 15.1953
 opt: 0.095 reg: 0.007 solved: 5 total time: 15.2984
 opt: 0.108 reg: 0.02 solved: 7 total time: 15.4279
 opt: 0.103 reg: 0.022 solved: 6 total time: 15.5547
 opt: 0.1 reg: 0.02 solved: 7 total time: 15.6762
 opt: 0.072 reg: 0.019 solved: 6 total time: 15.7687
 opt: 0.067 reg: 0.028 solved: 6 total time: 15.8657
 opt: 0.117 reg: 0.027 solved: 7 total time: 16.0109
 opt: 0.07 reg: 0.007 solved: 6 total time: 16.0894
 opt: 0.067 reg: 0.008 solved: 6 total time: 16.1652
 opt: 0.108 reg: 0.012 solved: 7 total time: 16.2862
 opt: 0.066 reg: 0.03 solved: 5 total time: 16.3838
 opt: 0.096 reg: 0.026 solved: 6 total time: 16.5075
 opt: 0.067 reg: 0.015 solved: 6 total time: 16.5905
 opt: 0.116 reg: 0.014 solved: 7 total time: 16.7218
 opt: 0.066 reg: 0.018 solved: 6 total time: 16.8065
 opt: 0.107 reg: 0.015 solved: 6 total time: 16.93
 opt: 0.11 reg: 0.011 solved: 6 total time: 17.0522
 opt: 0.079 reg: 0.027 solved: 6 total time: 17.1594
 opt: 0.056 reg: 0.053 solved: 5 total time: 17.2691
 opt: 0.1 reg: 0.008 solved: 6 total time: 17.3781
 opt: 0.099 reg: 0.005 solved: 6 total time: 17.4832
 opt: 0.064 reg: 0.016 solved: 6 total time: 17.5644
 opt: 0.116 reg: 0.009 solved: 6 total time: 17.69
 opt: 0.124 reg: 0.016 solved: 7 total time: 17.8314
 opt: 0.116 reg: 0.017 solved: 6 total time: 17.9656
 opt: 0.102 reg: 0.005 solved: 6 total time: 18.0735
 opt: 0.073 reg: 0.014 solved: 7 total time: 18.1624
 opt: 0.104 reg: 0.009 solved: 6 total time: 18.2757
 opt: 0.063 reg: 0.017 solved: 5 total time: 18.3577
 opt: 0.067 reg: 0.036 solved: 6 total time: 18.4623
 opt: 0.099 reg: 0.033 solved: 6 total time: 18.5955
 opt: 0.065 reg: 0.033 solved: 6 total time: 18.6948
 opt: 0.07 reg: 0.061 solved: 7 total time: 18.8269
 opt: 0.066 reg: 0.037 solved: 6 total time: 18.9311
 opt: 0.106 reg: 0.015 solved: 7 total time: 19.0535
 opt: 0.069 reg: 0.012 solved: 7 total time: 19.1352
 opt: 0.066 reg: 0.019 solved: 6 total time: 19.2218
 opt: 0.068 reg: 0.022 solved: 6 total time: 19.3127
 opt: 0.103 reg: 0.024 solved: 7 total time: 19.4411
 opt: 0.076 reg: 0.013 solved: 6 total time: 19.5318
 opt: 0.073 reg: 0.028 solved: 7 total time: 19.6338
 opt: 0.061 reg: 0.028 solved: 7 total time: 19.7237
 opt: 0.066 reg: 0.019 solved: 7 total time: 19.8102
 opt: 0.074 reg: 0.017 solved: 7 total time: 19.9025
 opt: 0.066 reg: 0.017 solved: 7 total time: 19.9867
 opt: 0.113 reg: 0.023 solved: 6 total time: 20.1238
 opt: 0.113 reg: 0.004 solved: 6 total time: 20.2421
 opt: 0.109 reg: 0.013 solved: 7 total time: 20.3659
 opt: 0.074 reg: 0.034 solved: 7 total time: 20.4757
 opt: 0.106 reg: 0.044 solved: 7 total time: 20.6274
 opt: 0.073 reg: 0.028 solved: 7 total time: 20.729
 opt: 0.069 reg: 0.034 solved: 7 total time: 20.8336
 opt: 0.065 reg: 0.027 solved: 6 total time: 20.926
 opt: 0.072 reg: 0.032 solved: 7 total time: 21.031
 opt: 0.119 reg: 0.037 solved: 7 total time: 21.1886
 opt: 0.074 reg: 0.018 solved: 7 total time: 21.2822
 opt: 0.077 reg: 0.02 solved: 7 total time: 21.3808
 opt: 0.073 reg: 0.019 solved: 7 total time: 21.4747
 opt: 0.059 reg: 0.017 solved: 7 total time: 21.5517
 opt: 0.083 reg: 0.023 solved: 7 total time: 21.6589
 opt: 0.067 reg: 0.033 solved: 7 total time: 21.7599
 opt: 0.07 reg: 0.027 solved: 7 total time: 21.8588
 opt: 0.107 reg: 0.046 solved: 7 total time: 22.0134
 opt: 0.071 reg: 0.056 solved: 7 total time: 22.1411
 opt: 0.066 reg: 0.054 solved: 7 total time: 22.2621
 opt: 0.11 reg: 0.039 solved: 6 total time: 22.4124
 opt: 0.072 reg: 0.027 solved: 6 total time: 22.5137
 opt: 0.068 reg: 0.016 solved: 7 total time: 22.5992
 opt: 0.067 reg: 0.021 solved: 7 total time: 22.6884
 opt: 0.065 reg: 0.026 solved: 7 total time: 22.7816
 opt: 0.071 reg: 0.033 solved: 7 total time: 22.8876
 opt: 0.072 reg: 0.035 solved: 7 total time: 22.9965
 opt: 0.103 reg: 0.023 solved: 7 total time: 23.1238
 opt: 0.073 reg: 0.016 solved: 7 total time: 23.2145
 opt: 0.106 reg: 0.024 solved: 7 total time: 23.346
 opt: 0.073 reg: 0.027 solved: 7 total time: 23.4471
 opt: 0.093 reg: 0.025 solved: 7 total time: 23.5672
 opt: 0.12 reg: 0.028 solved: 7 total time: 23.7165
 opt: 0.08 reg: 0.038 solved: 7 total time: 23.8353
 opt: 0.119 reg: 0.028 solved: 7 total time: 23.9837
 opt: 0.064 reg: 0.041 solved: 7 total time: 24.0901
 opt: 0.064 reg: 0.052 solved: 6 total time: 24.2075
 opt: 0.113 reg: 0.018 solved: 7 total time: 24.3401
 opt: 0.075 reg: 0.037 solved: 7 total time: 24.453
 opt: 0.074 reg: 0.035 solved: 7 total time: 24.5631
 opt: 0.075 reg: 0.044 solved: 7 total time: 24.6835
 opt: 0.072 reg: 0.017 solved: 7 total time: 24.7738
 opt: 0.07 reg: 0.014 solved: 7 total time: 24.8592
 opt: 0.072 reg: 0.016 solved: 7 total time: 24.9489
 opt: 0.071 reg: 0.01 solved: 6 total time: 25.0322
 opt: 0.098 reg: 0.024 solved: 7 total time: 25.156
 opt: 0.07 reg: 0.021 solved: 7 total time: 25.2484
 opt: 0.076 reg: 0.022 solved: 7 total time: 25.3471
 opt: 0.066 reg: 0.021 solved: 7 total time: 25.435
 opt: 0.073 reg: 0.023 solved: 7 total time: 25.5328
 opt: 0.11 reg: 0.03 solved: 7 total time: 25.6745
 opt: 0.102 reg: 0.003 solved: 7 total time: 25.7811
 opt: 0.064 reg: 0.011 solved: 7 total time: 25.8579
 opt: 0.113 reg: 0.008 solved: 7 total time: 25.98
 opt: 0.127 reg: 0.013 solved: 7 total time: 26.1209
 opt: 0.073 reg: 0.042 solved: 7 total time: 26.2366
 opt: 0.07 reg: 0.015 solved: 7 total time: 26.3222
 opt: 0.115 reg: 0.021 solved: 7 total time: 26.4592
 opt: 0.07 reg: 0.027 solved: 6 total time: 26.557
 opt: 0.118 reg: 0.028 solved: 7 total time: 26.7043
 opt: 0.065 reg: 0.006 solved: 7 total time: 26.7765
 opt: 0.061 reg: 0.008 solved: 6 total time: 26.8465
 opt: 0.077 reg: 0.017 solved: 7 total time: 26.9414
 opt: 0.065 reg: 0.017 solved: 7 total time: 27.0244
 opt: 0.109 reg: 0.034 solved: 7 total time: 27.1687
 opt: 0.062 reg: 0.005 solved: 7 total time: 27.237
 opt: 0.072 reg: 0.01 solved: 7 total time: 27.3203
 opt: 0.08 reg: 0.014 solved: 7 total time: 27.4162
 opt: 0.065 reg: 0.027 solved: 7 total time: 27.5096
 opt: 0.106 reg: 0.02 solved: 7 total time: 27.637
 opt: 0.099 reg: 0.013 solved: 7 total time: 27.751
 opt: 0.112 reg: 0.021 solved: 7 total time: 27.8856
 opt: 0.072 reg: 0.026 solved: 7 total time: 27.9849
 opt: 0.068 reg: 0.02 solved: 5 total time: 28.0741
 opt: 0.066 reg: 0.01 solved: 7 total time: 28.1522
 opt: 0.069 reg: 0.016 solved: 6 total time: 28.238
 opt: 0.065 reg: 0.013 solved: 6 total time: 28.3177
 opt: 0.064 reg: 0.012 solved: 6 total time: 28.3949
 opt: 0.136 reg: 0.031 solved: 7 total time: 28.5637
 opt: 0.07 reg: 0.011 solved: 5 total time: 28.6459
 opt: 0.068 reg: 0.012 solved: 7 total time: 28.7273
 opt: 0.061 reg: 0.012 solved: 6 total time: 28.8016
 opt: 0.064 reg: 0.018 solved: 7 total time: 28.885
 opt: 0.063 reg: 0.014 solved: 5 total time: 28.9632
 opt: 0.066 reg: 0.019 solved: 7 total time: 29.0489
 opt: 0.064 reg: 0.019 solved: 6 total time: 29.1329
 opt: 0.057 reg: 0.015 solved: 6 total time: 29.2058
 opt: 0.063 reg: 0.018 solved: 7 total time: 29.2877
 opt: 0.064 reg: 0.014 solved: 6 total time: 29.3665
 opt: 0.06 reg: 0.013 solved: 6 total time: 29.4404
 opt: 0.067 reg: 0.02 solved: 7 total time: 29.5286
 opt: 0.067 reg: 0.024 solved: 7 total time: 29.621
 opt: 0.07 reg: 0.019 solved: 6 total time: 29.7115
 opt: 0.063 reg: 0.024 solved: 7 total time: 29.7997
 opt: 0.071 reg: 0.032 solved: 7 total time: 29.9042
 opt: 0.059 reg: 0.031 solved: 7 total time: 29.9963
 opt: 0.074 reg: 0.031 solved: 7 total time: 30.1031
 opt: 0.059 reg: 0.024 solved: 7 total time: 30.1875
 opt: 0.063 reg: 0.022 solved: 6 total time: 30.2739
 opt: 0.068 reg: 0.028 solved: 7 total time: 30.3711
 opt: 0.06 reg: 0.019 solved: 6 total time: 30.4519
 opt: 0.064 reg: 0.025 solved: 7 total time: 30.5422
 opt: 0.063 reg: 0.021 solved: 7 total time: 30.6272
 opt: 0.063 reg: 0.017 solved: 6 total time: 30.7093
 opt: 0.061 reg: 0.021 solved: 7 total time: 30.793
 opt: 0.069 reg: 0.027 solved: 5 total time: 30.8902
 opt: 0.064 reg: 0.024 solved: 7 total time: 30.9799
 opt: 0.064 reg: 0.024 solved: 6 total time: 31.0698
 opt: 0.066 reg: 0.026 solved: 5 total time: 31.1634
 opt: 0.063 reg: 0.032 solved: 7 total time: 31.2594
 opt: 0.886 reg: 0.026 solved: 6 total time: 32.1719
 opt: 0.076 reg: 0.022 solved: 6 total time: 32.2708
 opt: 0.085 reg: 0.034 solved: 7 total time: 32.3916
 opt: 0.147 reg: 0.053 solved: 7 total time: 32.5922
 opt: 0.083 reg: 0.028 solved: 7 total time: 32.7039
 opt: 0.076 reg: 0.023 solved: 7 total time: 32.8045
 opt: 0.081 reg: 0.021 solved: 7 total time: 32.9075
 opt: 0.071 reg: 0.018 solved: 7 total time: 32.9976
 opt: 0.075 reg: 0.018 solved: 7 total time: 33.0914
 opt: 0.078 reg: 0.021 solved: 7 total time: 33.1919
 opt: 0.071 reg: 0.022 solved: 7 total time: 33.2864
 opt: 0.068 reg: 0.026 solved: 7 total time: 33.3817
 opt: 0.066 reg: 0.019 solved: 6 total time: 33.4682
 opt: 0.073 reg: 0.025 solved: 6 total time: 33.5685
 opt: 0.071 reg: 0.03 solved: 7 total time: 33.6714
 opt: 0.067 reg: 0.021 solved: 6 total time: 33.7607
 opt: 0.066 reg: 0.02 solved: 7 total time: 33.8479
 opt: 0.078 reg: 0.021 solved: 7 total time: 33.9484
 opt: 0.067 reg: 0.025 solved: 7 total time: 34.0412
 opt: 0.071 reg: 0.023 solved: 7 total time: 34.1366
 opt: 0.06 reg: 0.023 solved: 7 total time: 34.2211
 opt: 0.069 reg: 0.02 solved: 7 total time: 34.3114
 opt: 0.069 reg: 0.021 solved: 7 total time: 34.4027
 opt: 0.058 reg: 0.018 solved: 7 total time: 34.4796
 opt: 0.066 reg: 0.018 solved: 7 total time: 34.5655
 opt: 0.069 reg: 0.023 solved: 7 total time: 34.6582
 opt: 0.063 reg: 0.024 solved: 7 total time: 34.7468
 opt: 0.067 reg: 0.02 solved: 7 total time: 34.8353
 opt: 0.063 reg: 0.019 solved: 7 total time: 34.919
 opt: 0.068 reg: 0.019 solved: 7 total time: 35.0077
 opt: 0.056 reg: 0.018 solved: 7 total time: 35.0827
 opt: 0.064 reg: 0.015 solved: 7 total time: 35.1639
 opt: 0.067 reg: 0.017 solved: 7 total time: 35.249
 opt: 0.071 reg: 0.018 solved: 7 total time: 35.3396
 opt: 0.069 reg: 0.019 solved: 7 total time: 35.429
 opt: 0.066 reg: 0.02 solved: 7 total time: 35.5162
 opt: 0.068 reg: 0.018 solved: 7 total time: 35.603
 opt: 0.056 reg: 0.017 solved: 7 total time: 35.6774
 opt: 0.094 reg: 0.019 solved: 7 total time: 35.7913
 opt: 0.069 reg: 0.017 solved: 7 total time: 35.8794
 opt: 0.07 reg: 0.018 solved: 7 total time: 35.9689
 opt: 0.072 reg: 0.02 solved: 7 total time: 36.0617
 opt: 0.067 reg: 0.027 solved: 6 total time: 36.1578
 opt: 0.059 reg: 0.021 solved: 7 total time: 36.2392
 opt: 0.067 reg: 0.018 solved: 7 total time: 36.3252
 opt: 0.066 reg: 0.017 solved: 7 total time: 36.4091
 opt: 0.082 reg: 0.017 solved: 7 total time: 36.5089
 opt: 0.054 reg: 0.016 solved: 6 total time: 36.5801
 opt: 0.057 reg: 0.016 solved: 7 total time: 36.6552
 opt: 0.066 reg: 0.017 solved: 6 total time: 36.7402
 opt: 0.066 reg: 0.018 solved: 7 total time: 36.8257
 opt: 0.068 reg: 0.022 solved: 7 total time: 36.918
 opt: 0.07 reg: 0.022 solved: 7 total time: 37.0113
 opt: 0.072 reg: 0.018 solved: 7 total time: 37.1034
 opt: 0.069 reg: 0.021 solved: 6 total time: 37.1956
 opt: 0.071 reg: 0.019 solved: 7 total time: 37.287
 opt: 0.065 reg: 0.018 solved: 7 total time: 37.3721
 opt: 0.061 reg: 0.022 solved: 7 total time: 37.4562
 opt: 0.061 reg: 0.02 solved: 7 total time: 37.5388
 opt: 0.066 reg: 0.019 solved: 7 total time: 37.6253
 opt: 0.064 reg: 0.018 solved: 7 total time: 37.7087
 opt: 0.065 reg: 0.016 solved: 7 total time: 37.7912
 opt: 0.068 reg: 0.017 solved: 7 total time: 37.8774
 opt: 0.065 reg: 0.017 solved: 7 total time: 37.9605
 opt: 0.065 reg: 0.018 solved: 7 total time: 38.0443
 opt: 0.079 reg: 0.019 solved: 7 total time: 38.1436
 opt: 0.066 reg: 0.018 solved: 7 total time: 38.2288
 opt: 0.065 reg: 0.019 solved: 6 total time: 38.3144
 opt: 0.072 reg: 0.019 solved: 7 total time: 38.4066
 opt: 0.066 reg: 0.015 solved: 7 total time: 38.4885
 opt: 0.059 reg: 0.018 solved: 7 total time: 38.5662
 opt: 0.069 reg: 0.018 solved: 6 total time: 38.6553
 opt: 0.063 reg: 0.02 solved: 7 total time: 38.74
 opt: 0.059 reg: 0.02 solved: 6 total time: 38.8207
 opt: 0.064 reg: 0.018 solved: 6 total time: 38.9043
 opt: 0.068 reg: 0.023 solved: 7 total time: 38.9971
 opt: 0.065 reg: 0.017 solved: 7 total time: 39.0796
 opt: 0.059 reg: 0.016 solved: 7 total time: 39.1561
 opt: 0.066 reg: 0.016 solved: 7 total time: 39.2392
 opt: 0.065 reg: 0.016 solved: 7 total time: 39.3215
 opt: 0.061 reg: 0.015 solved: 7 total time: 39.3995
 opt: 0.073 reg: 0.017 solved: 7 total time: 39.4909
 opt: 0.064 reg: 0.015 solved: 7 total time: 39.571
 opt: 0.065 reg: 0.017 solved: 7 total time: 39.6541
 opt: 0.057 reg: 0.014 solved: 7 total time: 39.7269
 opt: 0.074 reg: 0.018 solved: 7 total time: 39.8196
 opt: 0.065 reg: 0.016 solved: 7 total time: 39.9015
 opt: 0.057 reg: 0.014 solved: 7 total time: 39.974
 opt: 0.063 reg: 0.017 solved: 7 total time: 40.0547
 opt: 0.057 reg: 0.019 solved: 6 total time: 40.1325
 opt: 0.06 reg: 0.015 solved: 7 total time: 40.2092
 opt: 0.063 reg: 0.013 solved: 7 total time: 40.2858
 opt: 0.06 reg: 0.015 solved: 7 total time: 40.3617
 opt: 0.056 reg: 0.014 solved: 7 total time: 40.4327
 opt: 0.061 reg: 0.014 solved: 7 total time: 40.5093
 opt: 0.064 reg: 0.016 solved: 7 total time: 40.59
 opt: 0.067 reg: 0.015 solved: 7 total time: 40.6737
 opt: 0.06 reg: 0.014 solved: 7 total time: 40.7494
 opt: 0.065 reg: 0.013 solved: 7 total time: 40.8282
 opt: 0.067 reg: 0.015 solved: 7 total time: 40.9106
 opt: 0.057 reg: 0.011 solved: 7 total time: 40.9809
 opt: 0.073 reg: 0.013 solved: 7 total time: 41.0683
 opt: 0.064 reg: 0.014 solved: 7 total time: 41.147
 opt: 0.056 reg: 0.013 solved: 7 total time: 41.2173
 opt: 0.059 reg: 0.014 solved: 7 total time: 41.2921
 opt: 0.055 reg: 0.015 solved: 6 total time: 41.3634
 opt: 0.066 reg: 0.017 solved: 7 total time: 41.4476
 opt: 0.064 reg: 0.012 solved: 7 total time: 41.5251
 opt: 0.063 reg: 0.014 solved: 7 total time: 41.6039
 opt: 0.067 reg: 0.014 solved: 7 total time: 41.6867
 opt: 0.057 reg: 0.013 solved: 7 total time: 41.7576
 opt: 0.082 reg: 0.014 solved: 7 total time: 41.8546
 opt: 0.06 reg: 0.013 solved: 7 total time: 41.9285
 opt: 0.062 reg: 0.012 solved: 7 total time: 42.0033
 opt: 0.063 reg: 0.012 solved: 7 total time: 42.0795
 opt: 0.06 reg: 0.012 solved: 7 total time: 42.1528
 opt: 0.053 reg: 0.012 solved: 7 total time: 42.2191
L = 5, leader states: 1.20932e+08, follower subproblems: 1.20932e+08, F:100000, total time: 42.2195
 opt: 0.083 reg: 0.029 solved: 3 total time: 42.3481
 opt: 0.035 reg: 0.042 solved: 2 total time: 42.4264
 opt: 0.078 reg: 0.017 solved: 3 total time: 42.5224
 opt: 0.071 reg: 0.017 solved: 3 total time: 42.611
 opt: 0.076 reg: 0.028 solved: 3 total time: 42.7163
 opt: 0.07 reg: 0.031 solved: 4 total time: 42.819
 opt: 0.07 reg: 0.018 solved: 3 total time: 42.9085
 opt: 0.08 reg: 0.024 solved: 4 total time: 43.0132
 opt: 0.069 reg: 0.043 solved: 3 total time: 43.1271
 opt: 0.059 reg: 0.026 solved: 3 total time: 43.2134
 opt: 0.068 reg: 0.019 solved: 4 total time: 43.3017
 opt: 0.063 reg: 0.023 solved: 3 total time: 43.3897
 opt: 0.078 reg: 0.024 solved: 5 total time: 43.4934
 opt: 0.075 reg: 0.044 solved: 5 total time: 43.6141
 opt: 0.105 reg: 0.044 solved: 5 total time: 43.7649
 opt: 0.059 reg: 0.036 solved: 3 total time: 43.861
 opt: 0.079 reg: 0.035 solved: 4 total time: 43.9767
 opt: 0.081 reg: 0.017 solved: 4 total time: 44.0761
 opt: 0.085 reg: 0.019 solved: 5 total time: 44.1815
 opt: 0.066 reg: 0.029 solved: 5 total time: 44.2775
 opt: 0.093 reg: 0.029 solved: 5 total time: 44.4012
 opt: 0.09 reg: 0.034 solved: 4 total time: 44.5262
 opt: 0.108 reg: 0.028 solved: 4 total time: 44.6634
 opt: 0.1 reg: 0.021 solved: 4 total time: 44.7861
 opt: 0.079 reg: 0.038 solved: 4 total time: 44.9046
 opt: 0.079 reg: 0.04 solved: 5 total time: 45.0247
 opt: 0.075 reg: 0.027 solved: 4 total time: 45.1281
 opt: 0.14 reg: 0.029 solved: 6 total time: 45.2987
 opt: 0.067 reg: 0.023 solved: 4 total time: 45.3906
 opt: 0.114 reg: 0.034 solved: 4 total time: 45.5403
 opt: 0.09 reg: 0.038 solved: 4 total time: 45.6703
 opt: 0.079 reg: 0.033 solved: 4 total time: 45.7836
 opt: 0.09 reg: 0.032 solved: 5 total time: 45.9069
 opt: 0.083 reg: 0.048 solved: 5 total time: 46.0399
 opt: 0.116 reg: 0.831 solved: 5 total time: 46.987
 opt: 0.109 reg: 0.02 solved: 4 total time: 47.1172
 opt: 0.106 reg: 0.037 solved: 6 total time: 47.2617
 opt: 0.075 reg: 0.015 solved: 4 total time: 47.3526
 opt: 0.139 reg: 0.008 solved: 6 total time: 47.5005
 opt: 0.106 reg: 0.016 solved: 6 total time: 47.6239
 opt: 0.108 reg: 0.03 solved: 4 total time: 47.763
 opt: 0.093 reg: 0.058 solved: 6 total time: 47.9152
 opt: 0.075 reg: 0.016 solved: 5 total time: 48.0069
 opt: 0.06 reg: 0.02 solved: 4 total time: 48.0882
 opt: 0.083 reg: 0.052 solved: 5 total time: 48.2248
 opt: 0.096 reg: 0.028 solved: 6 total time: 48.3499
 opt: 0.065 reg: 0.016 solved: 4 total time: 48.4325
 opt: 0.085 reg: 0.024 solved: 6 total time: 48.542
 opt: 0.079 reg: 0.023 solved: 4 total time: 48.6449
 opt: 0.092 reg: 0.03 solved: 6 total time: 48.7684
 opt: 0.131 reg: 0.035 solved: 6 total time: 48.9362
 opt: 0.125 reg: 0.019 solved: 6 total time: 49.0819
 opt: 0.117 reg: 0.007 solved: 6 total time: 49.2072
 opt: 0.118 reg: 0.022 solved: 5 total time: 49.3485
 opt: 0.085 reg: 0.023 solved: 6 total time: 49.4573
 opt: 0.128 reg: 0.017 solved: 6 total time: 49.6035
 opt: 0.094 reg: 0.043 solved: 6 total time: 49.7423
 opt: 0.142 reg: 0.036 solved: 6 total time: 49.9211
 opt: 0.15 reg: 0.01 solved: 6 total time: 50.0827
 opt: 0.091 reg: 0.028 solved: 6 total time: 50.2025
 opt: 0.08 reg: 0.017 solved: 4 total time: 50.2999
 opt: 0.108 reg: 0.046 solved: 6 total time: 50.4553
 opt: 0.081 reg: 0.048 solved: 6 total time: 50.5864
 opt: 0.098 reg: 0.042 solved: 6 total time: 50.7277
 opt: 0.084 reg: 0.033 solved: 6 total time: 50.8463
 opt: 0.094 reg: 0.034 solved: 4 total time: 50.9752
 opt: 0.091 reg: 0.019 solved: 6 total time: 51.0864
 opt: 0.122 reg: 0.028 solved: 6 total time: 51.2377
 opt: 0.122 reg: 0.02 solved: 5 total time: 51.3808
 opt: 0.098 reg: 0.048 solved: 5 total time: 51.5278
 opt: 0.082 reg: 0.07 solved: 6 total time: 51.6807
 opt: 0.139 reg: 0.049 solved: 6 total time: 51.8699
 opt: 0.077 reg: 0.026 solved: 4 total time: 51.9742
 opt: 0.122 reg: 0.025 solved: 5 total time: 52.1228
 opt: 0.097 reg: 0.04 solved: 4 total time: 52.2608
 opt: 0.09 reg: 0.062 solved: 5 total time: 52.4147
 opt: 0.132 reg: 0.023 solved: 5 total time: 52.5702
 opt: 0.122 reg: 0.027 solved: 6 total time: 52.7197
 opt: 0.089 reg: 0.036 solved: 5 total time: 52.8468
 opt: 0.087 reg: 0.026 solved: 5 total time: 52.9609
 opt: 0.085 reg: 0.038 solved: 5 total time: 53.0853
 opt: 0.103 reg: 0.038 solved: 6 total time: 53.2279
 opt: 0.143 reg: 0.05 solved: 6 total time: 53.4225
 opt: 0.11 reg: 0.037 solved: 5 total time: 53.5715
 opt: 0.095 reg: 0.014 solved: 5 total time: 53.6822
 opt: 0.119 reg: 0.018 solved: 5 total time: 53.8211
 opt: 0.08 reg: 0.028 solved: 5 total time: 53.9308
 opt: 0.086 reg: 0.03 solved: 6 total time: 54.0477
 opt: 0.122 reg: 0.021 solved: 5 total time: 54.192
 opt: 0.131 reg: 0.024 solved: 5 total time: 54.3482
 opt: 0.128 reg: 0.041 solved: 6 total time: 54.5187
 opt: 0.093 reg: 0.016 solved: 4 total time: 54.6293
 opt: 0.138 reg: 0.022 solved: 6 total time: 54.7902
 opt: 0.107 reg: 0.039 solved: 6 total time: 54.9382
 opt: 0.091 reg: 0.045 solved: 6 total time: 55.0764
 opt: 0.089 reg: 0.066 solved: 5 total time: 55.2322
 opt: 0.123 reg: 0.01 solved: 5 total time: 55.3671
 opt: 0.117 reg: 0.008 solved: 5 total time: 55.4936
 opt: 0.14 reg: 0.02 solved: 6 total time: 55.6549
 opt: 0.116 reg: 0.016 solved: 5 total time: 55.7887
 opt: 0.119 reg: 0.022 solved: 6 total time: 55.9313
 opt: 0.125 reg: 0.018 solved: 6 total time: 56.0758
 opt: 0.137 reg: 0.018 solved: 6 total time: 56.2325
 opt: 0.091 reg: 0.049 solved: 6 total time: 56.374
 opt: 0.119 reg: 0.014 solved: 5 total time: 56.5083
 opt: 0.092 reg: 0.028 solved: 6 total time: 56.6295
 opt: 0.132 reg: 0.025 solved: 6 total time: 56.7881
 opt: 0.104 reg: 0.051 solved: 6 total time: 56.9442
 opt: 0.115 reg: 0.034 solved: 6 total time: 57.0946
 opt: 0.107 reg: 0.048 solved: 6 total time: 57.251
 opt: 0.152 reg: 0.013 solved: 6 total time: 57.4175
 opt: 0.095 reg: 0.026 solved: 6 total time: 57.5405
 opt: 0.101 reg: 0.043 solved: 6 total time: 57.6861
 opt: 0.14 reg: 0.035 solved: 6 total time: 57.862
 opt: 0.153 reg: 0.003 solved: 6 total time: 58.0193
 opt: 0.091 reg: 0.028 solved: 5 total time: 58.1402
 opt: 0.125 reg: 0.015 solved: 5 total time: 58.2814
 opt: 0.139 reg: 0.013 solved: 6 total time: 58.4354
 opt: 0.136 reg: 0.017 solved: 6 total time: 58.5896
 opt: 0.126 reg: 0.012 solved: 6 total time: 58.729
 opt: 0.109 reg: 0.06 solved: 7 total time: 58.8994
 opt: 0.16 reg: 0.051 solved: 6 total time: 59.1125
 opt: 0.117 reg: 0.024 solved: 7 total time: 59.2552
 opt: 0.104 reg: 0.047 solved: 7 total time: 59.4079
 opt: 0.131 reg: 0.028 solved: 6 total time: 59.5679
 opt: 0.116 reg: 0.03 solved: 6 total time: 59.7151
 opt: 0.11 reg: 0.039 solved: 5 total time: 59.8656
 opt: 0.09 reg: 0.114 solved: 6 total time: 60.0707
 opt: 0.12 reg: 0.027 solved: 6 total time: 60.2187
 opt: 0.134 reg: 0.031 solved: 5 total time: 60.3853
 opt: 0.105 reg: 0.042 solved: 6 total time: 60.5339
 opt: 0.089 reg: 0.041 solved: 6 total time: 60.6659
 opt: 0.121 reg: 0.02 solved: 7 total time: 60.8086
 opt: 0.13 reg: 0.023 solved: 5 total time: 60.9625
 opt: 0.098 reg: 0.09 solved: 7 total time: 61.1515
 opt: 0.093 reg: 0.053 solved: 5 total time: 61.2987
 opt: 0.104 reg: 0.036 solved: 6 total time: 61.4404
 opt: 0.116 reg: 0.012 solved: 6 total time: 61.5695
 opt: 0.145 reg: 0.032 solved: 7 total time: 61.7473
 opt: 0.127 reg: 0.033 solved: 5 total time: 61.9088
 opt: 0.138 reg: 0.031 solved: 6 total time: 62.0787
 opt: 0.141 reg: 0.012 solved: 6 total time: 62.2325
 opt: 0.122 reg: 0.009 solved: 6 total time: 62.3653
 opt: 0.117 reg: 0.015 solved: 5 total time: 62.4989
 opt: 0.128 reg: 0.014 solved: 5 total time: 62.6424
 opt: 0.131 reg: 0.01 solved: 6 total time: 62.7852
 opt: 0.11 reg: 0.063 solved: 7 total time: 62.9599
 opt: 0.135 reg: 0.024 solved: 6 total time: 63.1199
 opt: 0.09 reg: 0.051 solved: 5 total time: 63.2626
 opt: 0.104 reg: 0.053 solved: 7 total time: 63.4215
 opt: 0.148 reg: 0.022 solved: 6 total time: 63.5919
 opt: 0.097 reg: 0.077 solved: 6 total time: 63.7674
 opt: 0.097 reg: 0.045 solved: 5 total time: 63.9111
 opt: 0.139 reg: 0.04 solved: 6 total time: 64.0915
 opt: 0.141 reg: 0.011 solved: 6 total time: 64.2449
 opt: 0.117 reg: 0.055 solved: 7 total time: 64.4178
 opt: 0.096 reg: 0.037 solved: 5 total time: 64.552
 opt: 1.065 reg: 0.022 solved: 6 total time: 65.6389
 opt: 0.175 reg: 0.019 solved: 6 total time: 65.8335
 opt: 0.169 reg: 0.02 solved: 6 total time: 66.0242
 opt: 0.09 reg: 0.038 solved: 5 total time: 66.1529
 opt: 0.143 reg: 0.021 solved: 6 total time: 66.3183
 opt: 0.142 reg: 0.026 solved: 6 total time: 66.4881
 opt: 0.111 reg: 0.088 solved: 7 total time: 66.6886
 opt: 0.108 reg: 0.06 solved: 7 total time: 66.8575
 opt: 0.144 reg: 0.009 solved: 6 total time: 67.0111
 opt: 0.16 reg: 0.01 solved: 6 total time: 67.182
 opt: 0.161 reg: 0.008 solved: 6 total time: 67.3521
 opt: 0.154 reg: 0.009 solved: 6 total time: 67.5167
 opt: 0.098 reg: 0.051 solved: 5 total time: 67.6672
 opt: 0.161 reg: 0.036 solved: 6 total time: 67.8651
 opt: 0.154 reg: 0.02 solved: 6 total time: 68.0405
 opt: 0.109 reg: 0.069 solved: 7 total time: 68.2199
 opt: 0.131 reg: 0.012 solved: 6 total time: 68.3645
 opt: 0.144 reg: 0.012 solved: 6 total time: 68.522
 opt: 0.142 reg: 0.012 solved: 6 total time: 68.6773
 opt: 0.15 reg: 0.01 solved: 6 total time: 68.8383
 opt: 0.15 reg: 0.012 solved: 6 total time: 69.002
 opt: 0.151 reg: 0.015 solved: 6 total time: 69.1687
 opt: 0.134 reg: 0.014 solved: 6 total time: 69.3183
 opt: 0.144 reg: 0.012 solved: 6 total time: 69.4755
 opt: 0.135 reg: 0.009 solved: 6 total time: 69.6212
 opt: 0.117 reg: 0.052 solved: 6 total time: 69.7921
 opt: 0.146 reg: 0.018 solved: 6 total time: 69.9579
 opt: 0.143 reg: 0.014 solved: 6 total time: 70.1164
 opt: 0.113 reg: 0.04 solved: 5 total time: 70.271
 opt: 0.131 reg: 0.027 solved: 6 total time: 70.4313
 opt: 0.14 reg: 0.015 solved: 6 total time: 70.5875
 opt: 0.156 reg: 0.04 solved: 7 total time: 70.7849
 opt: 0.092 reg: 0.024 solved: 6 total time: 70.9024
 opt: 0.136 reg: 0.01 solved: 6 total time: 71.0499
 opt: 0.126 reg: 0.043 solved: 7 total time: 71.2198
 opt: 0.134 reg: 0.031 solved: 6 total time: 71.3861
 opt: 0.093 reg: 0.03 solved: 6 total time: 71.5102
 opt: 0.115 reg: 0.031 solved: 6 total time: 71.6568
 opt: 0.151 reg: 0.029 solved: 7 total time: 71.8385
 opt: 0.139 reg: 0.025 solved: 6 total time: 72.0043
 opt: 0.106 reg: 0.02 solved: 6 total time: 72.1314
 opt: 0.149 reg: 0.012 solved: 7 total time: 72.2937
 opt: 0.125 reg: 0.053 solved: 7 total time: 72.4731
 opt: 0.101 reg: 0.021 solved: 6 total time: 72.5972
 opt: 0.104 reg: 0.027 solved: 6 total time: 72.7292
 opt: 0.091 reg: 0.036 solved: 6 total time: 72.8573
 opt: 0.106 reg: 0.02 solved: 6 total time: 72.9851
 opt: 0.143 reg: 0.016 solved: 6 total time: 73.1459
 opt: 0.111 reg: 0.072 solved: 7 total time: 73.3301
 opt: 0.135 reg: 0.005 solved: 6 total time: 73.4711
 opt: 0.119 reg: 0.023 solved: 7 total time: 73.6148
 opt: 0.094 reg: 0.029 solved: 6 total time: 73.7396
 opt: 0.146 reg: 0.041 solved: 7 total time: 73.9282
 opt: 0.088 reg: 0.045 solved: 5 total time: 74.0624
 opt: 0.113 reg: 0.025 solved: 7 total time: 74.2026
 opt: 0.129 reg: 0.046 solved: 6 total time: 74.3794
 opt: 0.112 reg: 0.06 solved: 7 total time: 74.5526
 opt: 0.138 reg: 0.028 solved: 7 total time: 74.7196
 opt: 0.091 reg: 0.016 solved: 6 total time: 74.8284
 opt: 0.109 reg: 0.035 solved: 6 total time: 74.9735
 opt: 0.12 reg: 0.07 solved: 7 total time: 75.165
 opt: 0.146 reg: 0.034 solved: 7 total time: 75.3466
 opt: 0.12 reg: 0.029 solved: 7 total time: 75.4971
 opt: 0.112 reg: 0.028 solved: 7 total time: 75.6385
 opt: 0.097 reg: 0.029 solved: 6 total time: 75.7661
 opt: 0.099 reg: 0.029 solved: 6 total time: 75.8949
 opt: 0.106 reg: 0.049 solved: 7 total time: 76.0504
 opt: 0.099 reg: 0.03 solved: 6 total time: 76.1802
 opt: 0.119 reg: 0.039 solved: 7 total time: 76.3399
 opt: 0.111 reg: 0.028 solved: 6 total time: 76.4806
 opt: 0.105 reg: 0.029 solved: 6 total time: 76.616
 opt: 0.106 reg: 0.043 solved: 7 total time: 76.7664
 opt: 0.174 reg: 0.049 solved: 7 total time: 76.9912
 opt: 0.112 reg: 0.033 solved: 5 total time: 77.1378
 opt: 0.117 reg: 0.027 solved: 6 total time: 77.2829
 opt: 0.107 reg: 0.038 solved: 6 total time: 77.4292
 opt: 0.153 reg: 0.034 solved: 7 total time: 77.6185
 opt: 0.11 reg: 0.029 solved: 6 total time: 77.7587
 opt: 0.103 reg: 0.024 solved: 6 total time: 77.8864
 opt: 0.11 reg: 0.024 solved: 6 total time: 78.0218
 opt: 0.107 reg: 0.032 solved: 6 total time: 78.1623
 opt: 0.113 reg: 0.048 solved: 7 total time: 78.3239
 opt: 0.165 reg: 0.055 solved: 7 total time: 78.5449
 opt: 0.1 reg: 0.037 solved: 6 total time: 78.6835
 opt: 0.089 reg: 0.041 solved: 5 total time: 78.8147
 opt: 0.112 reg: 0.054 solved: 7 total time: 78.9817
 opt: 0.119 reg: 0.048 solved: 7 total time: 79.1505
 opt: 0.113 reg: 0.077 solved: 7 total time: 79.3425
 opt: 0.141 reg: 0.014 solved: 7 total time: 79.4989
 opt: 0.109 reg: 0.03 solved: 6 total time: 79.6392
 opt: 0.144 reg: 0.021 solved: 7 total time: 79.8057
 opt: 0.13 reg: 0.06 solved: 7 total time: 79.9974
 opt: 0.149 reg: 0.036 solved: 7 total time: 80.184
 opt: 0.125 reg: 0.056 solved: 7 total time: 80.3664
 opt: 0.154 reg: 0.035 solved: 7 total time: 80.5571
 opt: 0.105 reg: 0.075 solved: 6 total time: 80.7381
 opt: 0.133 reg: 0.042 solved: 7 total time: 80.9141
 opt: 0.121 reg: 0.043 solved: 7 total time: 81.0789
 opt: 0.116 reg: 0.035 solved: 7 total time: 81.2307
 opt: 0.173 reg: 0.036 solved: 7 total time: 81.4402
 opt: 0.119 reg: 0.044 solved: 7 total time: 81.6052
 opt: 0.115 reg: 0.067 solved: 7 total time: 81.7887
 opt: 0.152 reg: 0.042 solved: 7 total time: 81.984
 opt: 0.164 reg: 0.028 solved: 7 total time: 82.1779
 opt: 0.106 reg: 1.015 solved: 6 total time: 83.2985
 opt: 0.208 reg: 0.016 solved: 7 total time: 83.5243
 opt: 0.118 reg: 0.05 solved: 7 total time: 83.6933
 opt: 0.129 reg: 0.057 solved: 7 total time: 83.8805
 opt: 0.171 reg: 0.027 solved: 7 total time: 84.0807
 opt: 0.099 reg: 0.014 solved: 6 total time: 84.1956
 opt: 0.11 reg: 0.033 solved: 6 total time: 84.3401
 opt: 0.159 reg: 0.034 solved: 7 total time: 84.5337
 opt: 0.172 reg: 0.025 solved: 7 total time: 84.7317
 opt: 0.138 reg: 0.041 solved: 7 total time: 84.9119
 opt: 0.123 reg: 0.032 solved: 7 total time: 85.0686
 opt: 0.177 reg: 0.015 solved: 7 total time: 85.2612
 opt: 0.152 reg: 0.013 solved: 7 total time: 85.4268
 opt: 0.151 reg: 0.025 solved: 7 total time: 85.6046
 opt: 0.1 reg: 0.056 solved: 5 total time: 85.762
 opt: 0.118 reg: 0.039 solved: 7 total time: 85.9201
 opt: 0.174 reg: 0.022 solved: 7 total time: 86.1175
 opt: 0.122 reg: 0.052 solved: 7 total time: 86.2924
 opt: 0.119 reg: 0.042 solved: 7 total time: 86.4546
 opt: 0.119 reg: 0.055 solved: 6 total time: 86.6299
 opt: 0.163 reg: 0.03 solved: 7 total time: 86.8247
 opt: 0.113 reg: 0.025 solved: 6 total time: 86.9641
 opt: 0.107 reg: 0.032 solved: 6 total time: 87.1045
 opt: 0.116 reg: 0.048 solved: 7 total time: 87.2701
 opt: 0.122 reg: 0.065 solved: 7 total time: 87.4589
 opt: 0.123 reg: 0.053 solved: 7 total time: 87.6363
 opt: 0.169 reg: 0.044 solved: 7 total time: 87.8501
 opt: 0.181 reg: 0.019 solved: 7 total time: 88.0521
 opt: 0.119 reg: 0.066 solved: 7 total time: 88.2392
 opt: 0.108 reg: 0.032 solved: 7 total time: 88.381
 opt: 0.103 reg: 0.054 solved: 6 total time: 88.5398
 opt: 0.171 reg: 0.059 solved: 7 total time: 88.7709
 opt: 0.117 reg: 0.038 solved: 7 total time: 88.927
 opt: 0.114 reg: 0.045 solved: 7 total time: 89.0879
 opt: 0.127 reg: 0.043 solved: 7 total time: 89.259
 opt: 0.112 reg: 0.052 solved: 5 total time: 89.4242
 opt: 0.123 reg: 0.058 solved: 6 total time: 89.607
 opt: 0.12 reg: 0.077 solved: 7 total time: 89.8047
 opt: 0.106 reg: 0.068 solved: 6 total time: 89.9797
 opt: 0.119 reg: 0.071 solved: 7 total time: 90.1714
 opt: 0.117 reg: 0.062 solved: 7 total time: 90.352
 opt: 0.172 reg: 0.018 solved: 7 total time: 90.5432
 opt: 0.176 reg: 0.023 solved: 7 total time: 90.7433
 opt: 0.145 reg: 0.006 solved: 7 total time: 90.8956
 opt: 0.128 reg: 0.038 solved: 7 total time: 91.0629
 opt: 0.184 reg: 0.014 solved: 7 total time: 91.2619
 opt: 0.122 reg: 0.042 solved: 6 total time: 91.4268
 opt: 0.106 reg: 0.066 solved: 7 total time: 91.6004
 opt: 0.178 reg: 0.027 solved: 7 total time: 91.807
 opt: 0.167 reg: 0.015 solved: 7 total time: 91.99
 opt: 0.183 reg: 0.017 solved: 7 total time: 92.1911
 opt: 0.122 reg: 0.051 solved: 6 total time: 92.3657
 opt: 0.118 reg: 0.067 solved: 7 total time: 92.5525
 opt: 0.168 reg: 0.033 solved: 7 total time: 92.7551
 opt: 0.176 reg: 0.016 solved: 7 total time: 92.9486
 opt: 0.109 reg: 0.04 solved: 6 total time: 93.0995
 opt: 0.12 reg: 0.073 solved: 7 total time: 93.2944
 opt: 0.125 reg: 0.118 solved: 7 total time: 93.5383
 opt: 0.114 reg: 0.055 solved: 7 total time: 93.7086
 opt: 0.152 reg: 0.017 solved: 7 total time: 93.8798
 opt: 0.16 reg: 0.016 solved: 7 total time: 94.0571
 opt: 0.17 reg: 0.029 solved: 7 total time: 94.2577
 opt: 0.167 reg: 0.02 solved: 7 total time: 94.4467
 opt: 0.172 reg: 0.019 solved: 7 total time: 94.6396
 opt: 0.157 reg: 0.018 solved: 7 total time: 94.8155
 opt: 0.115 reg: 0.086 solved: 7 total time: 95.0174
 opt: 0.134 reg: 0.048 solved: 7 total time: 95.2005
 opt: 0.125 reg: 0.052 solved: 6 total time: 95.3784
 opt: 0.164 reg: 0.026 solved: 7 total time: 95.5693
 opt: 0.166 reg: 0.044 solved: 7 total time: 95.7807
 opt: 0.19 reg: 0.027 solved: 7 total time: 95.9993
 opt: 0.12 reg: 0.094 solved: 7 total time: 96.2143
 opt: 0.127 reg: 0.065 solved: 7 total time: 96.4076
 opt: 0.121 reg: 0.062 solved: 7 total time: 96.592
 opt: 0.124 reg: 0.052 solved: 7 total time: 96.7691
 opt: 0.14 reg: 0.039 solved: 7 total time: 96.9493
 opt: 0.162 reg: 0.032 solved: 7 total time: 97.1446
 opt: 0.185 reg: 0.022 solved: 7 total time: 97.3522
 opt: 0.173 reg: 0.024 solved: 7 total time: 97.5505
 opt: 0.145 reg: 0.111 solved: 7 total time: 97.8078
 opt: 0.124 reg: 0.088 solved: 7 total time: 98.0213
 opt: 0.183 reg: 0.022 solved: 7 total time: 98.2269
 opt: 0.114 reg: 0.048 solved: 7 total time: 98.3912
 opt: 0.112 reg: 0.091 solved: 5 total time: 98.5952
 opt: 0.124 reg: 0.078 solved: 7 total time: 98.7979
 opt: 0.117 reg: 0.066 solved: 7 total time: 98.9818
 opt: 1.143 reg: 0.038 solved: 7 total time: 100.163
 opt: 0.137 reg: 0.058 solved: 5 total time: 100.36
 opt: 0.203 reg: 0.034 solved: 7 total time: 100.598
 opt: 0.201 reg: 0.005 solved: 7 total time: 100.805
 opt: 0.139 reg: 0.047 solved: 7 total time: 100.993
 opt: 0.183 reg: 0.014 solved: 7 total time: 101.191
 opt: 0.187 reg: 0.011 solved: 7 total time: 101.39
 opt: 0.119 reg: 0.04 solved: 7 total time: 101.551
 opt: 0.116 reg: 0.064 solved: 7 total time: 101.732
 opt: 0.096 reg: 0.016 solved: 7 total time: 101.845
 opt: 0.181 reg: 0.019 solved: 7 total time: 102.047
 opt: 0.137 reg: 0.058 solved: 7 total time: 102.243
 opt: 0.174 reg: 0.028 solved: 7 total time: 102.447
 opt: 0.214 reg: 0.03 solved: 7 total time: 102.692
 opt: 0.19 reg: 0.021 solved: 7 total time: 102.904
 opt: 0.139 reg: 0.06 solved: 6 total time: 103.104
 opt: 0.123 reg: 0.038 solved: 7 total time: 103.266
 opt: 0.134 reg: 0.045 solved: 7 total time: 103.447
 opt: 0.132 reg: 0.071 solved: 7 total time: 103.651
 opt: 0.133 reg: 0.052 solved: 7 total time: 103.837
 opt: 0.119 reg: 0.043 solved: 6 total time: 104
 opt: 0.183 reg: 0.03 solved: 7 total time: 104.213
 opt: 0.198 reg: 0.015 solved: 7 total time: 104.427
 opt: 0.129 reg: 0.064 solved: 7 total time: 104.621
 opt: 0.175 reg: 0.026 solved: 7 total time: 104.823
 opt: 0.186 reg: 0.034 solved: 7 total time: 105.045
 opt: 0.187 reg: 0.022 solved: 7 total time: 105.256
 opt: 0.179 reg: 0.023 solved: 7 total time: 105.459
 opt: 0.182 reg: 0.021 solved: 7 total time: 105.663
 opt: 0.137 reg: 0.071 solved: 7 total time: 105.873
 opt: 0.151 reg: 0.043 solved: 7 total time: 106.068
 opt: 0.184 reg: 0.019 solved: 7 total time: 106.272
 opt: 0.118 reg: 0.071 solved: 7 total time: 106.462
 opt: 0.13 reg: 0.038 solved: 7 total time: 106.631
 opt: 0.132 reg: 0.036 solved: 6 total time: 106.801
 opt: 0.114 reg: 0.038 solved: 7 total time: 106.954
 opt: 0.138 reg: 0.047 solved: 7 total time: 107.141
 opt: 0.134 reg: 0.056 solved: 7 total time: 107.333
 opt: 0.113 reg: 0.059 solved: 7 total time: 107.506
 opt: 0.187 reg: 0.037 solved: 7 total time: 107.731
 opt: 0.118 reg: 0.033 solved: 6 total time: 107.883
 opt: 0.121 reg: 0.041 solved: 7 total time: 108.046
 opt: 0.129 reg: 0.054 solved: 7 total time: 108.23
 opt: 0.172 reg: 0.03 solved: 7 total time: 108.434
 opt: 0.136 reg: 0.045 solved: 7 total time: 108.617
 opt: 0.128 reg: 0.045 solved: 7 total time: 108.792
 opt: 0.112 reg: 0.051 solved: 5 total time: 108.956
 opt: 0.124 reg: 0.057 solved: 6 total time: 109.139
 opt: 0.109 reg: 0.061 solved: 6 total time: 109.309
 opt: 0.111 reg: 0.061 solved: 5 total time: 109.483
 opt: 0.189 reg: 0.009 solved: 7 total time: 109.682
 opt: 0.109 reg: 0.021 solved: 6 total time: 109.814
 opt: 0.196 reg: 0.018 solved: 7 total time: 110.029
 opt: 0.121 reg: 0.075 solved: 7 total time: 110.226
 opt: 0.116 reg: 0.064 solved: 5 total time: 110.407
 opt: 0.135 reg: 0.053 solved: 7 total time: 110.596
 opt: 0.145 reg: 0.047 solved: 7 total time: 110.79
 opt: 0.111 reg: 0.026 solved: 6 total time: 110.928
 opt: 0.123 reg: 0.066 solved: 7 total time: 111.118
 opt: 0.12 reg: 0.099 solved: 6 total time: 111.339
 opt: 0.199 reg: 0.046 solved: 7 total time: 111.585
 opt: 0.166 reg: 0.024 solved: 7 total time: 111.776
 opt: 0.121 reg: 0.062 solved: 7 total time: 111.961
 opt: 0.123 reg: 0.053 solved: 7 total time: 112.138
 opt: 0.133 reg: 0.077 solved: 7 total time: 112.349
 opt: 0.109 reg: 0.036 solved: 5 total time: 112.495
 opt: 0.182 reg: 0.02 solved: 7 total time: 112.698
 opt: 0.166 reg: 0.066 solved: 7 total time: 112.931
 opt: 0.137 reg: 0.057 solved: 7 total time: 113.127
 opt: 0.122 reg: 0.073 solved: 7 total time: 113.324
 opt: 0.122 reg: 0.036 solved: 7 total time: 113.483
 opt: 0.134 reg: 0.034 solved: 6 total time: 113.653
 opt: 0.131 reg: 0.048 solved: 7 total time: 113.833
 opt: 0.124 reg: 0.063 solved: 7 total time: 114.021
 opt: 0.184 reg: 0.039 solved: 7 total time: 114.246
 opt: 0.189 reg: 0.013 solved: 7 total time: 114.45
 opt: 0.117 reg: 0.051 solved: 6 total time: 114.62
 opt: 0.119 reg: 0.048 solved: 7 total time: 114.788
 opt: 0.14 reg: 0.086 solved: 7 total time: 115.016
 opt: 0.129 reg: 0.069 solved: 7 total time: 115.216
 opt: 0.194 reg: 0.036 solved: 7 total time: 115.447
 opt: 0.187 reg: 0.032 solved: 7 total time: 115.668
 opt: 0.181 reg: 0.023 solved: 7 total time: 115.873
 opt: 0.185 reg: 0.016 solved: 7 total time: 116.075
 opt: 0.143 reg: 0.075 solved: 7 total time: 116.295
 opt: 0.122 reg: 0.09 solved: 6 total time: 116.508
 opt: 1.201 reg: 0.018 solved: 7 total time: 117.728
 opt: 0.168 reg: 0.048 solved: 7 total time: 117.945
 opt: 0.123 reg: 0.07 solved: 6 total time: 118.139
 opt: 0.208 reg: 0.02 solved: 7 total time: 118.368
 opt: 0.132 reg: 0.034 solved: 7 total time: 118.535
 opt: 0.144 reg: 0.072 solved: 7 total time: 118.753
 opt: 0.201 reg: 0.05 solved: 7 total time: 119.005
 opt: 0.121 reg: 0.031 solved: 7 total time: 119.157
 opt: 0.125 reg: 0.039 solved: 7 total time: 119.323
 opt: 0.132 reg: 0.048 solved: 7 total time: 119.504
 opt: 0.129 reg: 0.052 solved: 7 total time: 119.686
 opt: 0.125 reg: 0.04 solved: 7 total time: 119.853
 opt: 0.135 reg: 0.058 solved: 7 total time: 120.047
 opt: 0.127 reg: 0.048 solved: 7 total time: 120.224
 opt: 0.13 reg: 0.044 solved: 7 total time: 120.398
 opt: 0.198 reg: 0.048 solved: 7 total time: 120.646
 opt: 0.125 reg: 0.051 solved: 7 total time: 120.824
 opt: 0.133 reg: 0.061 solved: 7 total time: 121.019
 opt: 0.186 reg: 0.028 solved: 7 total time: 121.234
 opt: 0.139 reg: 0.053 solved: 7 total time: 121.428
 opt: 0.128 reg: 0.075 solved: 5 total time: 121.631
 opt: 0.225 reg: 0.04 solved: 7 total time: 121.897
 opt: 0.12 reg: 0.07 solved: 7 total time: 122.088
 opt: 0.119 reg: 0.081 solved: 5 total time: 122.29
 opt: 0.125 reg: 0.06 solved: 7 total time: 122.476
 opt: 0.124 reg: 0.08 solved: 6 total time: 122.682
 opt: 0.192 reg: 0.011 solved: 7 total time: 122.887
 opt: 0.168 reg: 0.011 solved: 7 total time: 123.067
 opt: 0.116 reg: 0.052 solved: 6 total time: 123.236
 opt: 0.163 reg: 0.086 solved: 7 total time: 123.486
 opt: 0.122 reg: 0.029 solved: 7 total time: 123.638
 opt: 0.111 reg: 0.023 solved: 6 total time: 123.774
 opt: 0.19 reg: 0.03 solved: 7 total time: 123.995
 opt: 0.129 reg: 0.073 solved: 6 total time: 124.199
 opt: 0.179 reg: 0.022 solved: 7 total time: 124.401
 opt: 0.194 reg: 0.017 solved: 7 total time: 124.614
 opt: 0.146 reg: 0.082 solved: 7 total time: 124.843
 opt: 0.204 reg: 0.027 solved: 7 total time: 125.076
 opt: 0.195 reg: 0.018 solved: 7 total time: 125.29
 opt: 0.13 reg: 0.065 solved: 7 total time: 125.486
 opt: 0.215 reg: 0.012 solved: 7 total time: 125.715
 opt: 0.132 reg: 0.048 solved: 6 total time: 125.896
 opt: 0.12 reg: 0.057 solved: 6 total time: 126.074
 opt: 0.14 reg: 0.071 solved: 7 total time: 126.286
 opt: 0.122 reg: 0.071 solved: 7 total time: 126.481
 opt: 0.128 reg: 0.064 solved: 6 total time: 126.675
 opt: 0.139 reg: 0.076 solved: 7 total time: 126.891
 opt: 0.129 reg: 0.064 solved: 6 total time: 127.085
 opt: 0.129 reg: 0.074 solved: 7 total time: 127.289
 opt: 0.13 reg: 0.073 solved: 7 total time: 127.494
 opt: 0.131 reg: 0.091 solved: 7 total time: 127.718
 opt: 0.124 reg: 0.085 solved: 7 total time: 127.927
 opt: 0.121 reg: 0.046 solved: 6 total time: 128.095
 opt: 0.193 reg: 0.021 solved: 7 total time: 128.311
 opt: 0.132 reg: 0.08 solved: 7 total time: 128.523
 opt: 0.22 reg: 0.053 solved: 7 total time: 128.797
 opt: 0.137 reg: 0.077 solved: 7 total time: 129.013
 opt: 0.125 reg: 0.056 solved: 7 total time: 129.196
 opt: 0.133 reg: 0.071 solved: 7 total time: 129.401
 opt: 0.12 reg: 0.037 solved: 6 total time: 129.559
 opt: 0.134 reg: 0.057 solved: 7 total time: 129.751
 opt: 0.145 reg: 0.071 solved: 7 total time: 129.968
 opt: 0.116 reg: 0.072 solved: 6 total time: 130.157
 opt: 0.129 reg: 0.089 solved: 7 total time: 130.377
 opt: 0.136 reg: 0.076 solved: 7 total time: 130.59
 opt: 0.121 reg: 0.107 solved: 6 total time: 130.82
 opt: 0.128 reg: 0.073 solved: 6 total time: 131.022
 opt: 0.128 reg: 0.079 solved: 7 total time: 131.229
 opt: 0.143 reg: 0.074 solved: 7 total time: 131.448
 opt: 0.139 reg: 0.072 solved: 7 total time: 131.66
 opt: 0.169 reg: 0.081 solved: 7 total time: 131.912
 opt: 0.133 reg: 0.096 solved: 7 total time: 132.143
 opt: 0.139 reg: 0.074 solved: 7 total time: 132.357
 opt: 0.128 reg: 0.09 solved: 7 total time: 132.576
 opt: 0.137 reg: 0.076 solved: 7 total time: 132.791
 opt: 0.124 reg: 0.088 solved: 6 total time: 133.004
 opt: 0.132 reg: 0.08 solved: 7 total time: 133.218
 opt: 0.202 reg: 0.063 solved: 7 total time: 133.484
 opt: 0.119 reg: 0.051 solved: 6 total time: 133.655
 opt: 0.221 reg: 0.02 solved: 7 total time: 133.898
 opt: 0.21 reg: 0.015 solved: 7 total time: 134.124
 opt: 0.134 reg: 0.07 solved: 7 total time: 134.329
 opt: 0.138 reg: 0.087 solved: 7 total time: 134.556
 opt: 0.13 reg: 0.056 solved: 7 total time: 134.744
 opt: 0.22 reg: 0.03 solved: 7 total time: 134.995
 opt: 0.112 reg: 0.032 solved: 6 total time: 135.14
 opt: 0.129 reg: 1.101 solved: 7 total time: 136.37
 opt: 0.278 reg: 0.034 solved: 7 total time: 136.683
 opt: 0.148 reg: 0.067 solved: 7 total time: 136.9
 opt: 0.146 reg: 0.036 solved: 7 total time: 137.084
 opt: 0.135 reg: 0.046 solved: 7 total time: 137.266
 opt: 0.144 reg: 0.051 solved: 7 total time: 137.462
 opt: 0.144 reg: 0.042 solved: 7 total time: 137.65
 opt: 0.151 reg: 0.071 solved: 7 total time: 137.874
 opt: 0.132 reg: 0.032 solved: 6 total time: 138.039
 opt: 0.136 reg: 0.063 solved: 7 total time: 138.239
 opt: 0.136 reg: 0.069 solved: 7 total time: 138.446
 opt: 0.128 reg: 0.04 solved: 6 total time: 138.615
 opt: 0.235 reg: 0.054 solved: 7 total time: 138.906
 opt: 0.141 reg: 0.061 solved: 7 total time: 139.109
 opt: 0.145 reg: 0.063 solved: 7 total time: 139.319
 opt: 0.141 reg: 0.049 solved: 7 total time: 139.51
 opt: 0.132 reg: 0.036 solved: 6 total time: 139.679
 opt: 0.142 reg: 0.063 solved: 7 total time: 139.886
 opt: 0.152 reg: 0.044 solved: 7 total time: 140.083
 opt: 0.132 reg: 0.06 solved: 7 total time: 140.277
 opt: 0.125 reg: 0.049 solved: 6 total time: 140.452
 opt: 0.143 reg: 0.071 solved: 7 total time: 140.668
 opt: 0.126 reg: 0.035 solved: 6 total time: 140.831
 opt: 0.132 reg: 0.045 solved: 7 total time: 141.009
 opt: 0.126 reg: 0.04 solved: 6 total time: 141.177
 opt: 0.142 reg: 0.067 solved: 7 total time: 141.387
 opt: 0.143 reg: 0.067 solved: 6 total time: 141.597
 opt: 0.141 reg: 0.076 solved: 5 total time: 141.815
 opt: 0.135 reg: 0.082 solved: 6 total time: 142.033
 opt: 0.147 reg: 0.064 solved: 6 total time: 142.246
 opt: 0.145 reg: 0.095 solved: 7 total time: 142.488
 opt: 0.138 reg: 0.076 solved: 6 total time: 142.703
 opt: 0.136 reg: 0.068 solved: 6 total time: 142.909
 opt: 0.129 reg: 0.043 solved: 6 total time: 143.083
 opt: 0.131 reg: 0.086 solved: 7 total time: 143.302
 opt: 0.142 reg: 0.074 solved: 7 total time: 143.519
 opt: 0.133 reg: 0.057 solved: 7 total time: 143.711
 opt: 0.138 reg: 0.051 solved: 7 total time: 143.902
 opt: 0.134 reg: 0.043 solved: 6 total time: 144.08
 opt: 0.137 reg: 0.068 solved: 7 total time: 144.286
 opt: 0.135 reg: 0.04 solved: 6 total time: 144.463
 opt: 0.135 reg: 0.049 solved: 7 total time: 144.647
 opt: 0.139 reg: 0.068 solved: 7 total time: 144.855
 opt: 0.136 reg: 0.044 solved: 7 total time: 145.037
 opt: 0.137 reg: 0.05 solved: 6 total time: 145.225
 opt: 0.145 reg: 0.068 solved: 7 total time: 145.439
 opt: 0.129 reg: 0.045 solved: 6 total time: 145.614
 opt: 0.135 reg: 0.053 solved: 6 total time: 145.803
 opt: 0.146 reg: 0.073 solved: 7 total time: 146.023
 opt: 0.145 reg: 0.058 solved: 7 total time: 146.227
 opt: 0.132 reg: 0.032 solved: 6 total time: 146.392
 opt: 0.141 reg: 0.074 solved: 7 total time: 146.608
 opt: 0.144 reg: 0.077 solved: 7 total time: 146.83
 opt: 0.152 reg: 0.055 solved: 6 total time: 147.039
 opt: 0.141 reg: 0.084 solved: 7 total time: 147.266
 opt: 0.124 reg: 0.057 solved: 7 total time: 147.448
 opt: 0.141 reg: 0.084 solved: 7 total time: 147.674
 opt: 0.144 reg: 0.078 solved: 7 total time: 147.897
 opt: 0.131 reg: 0.066 solved: 7 total time: 148.096
 opt: 0.135 reg: 0.064 solved: 7 total time: 148.297
 opt: 0.145 reg: 0.069 solved: 7 total time: 148.512
 opt: 0.141 reg: 0.07 solved: 7 total time: 148.725
 opt: 0.178 reg: 0.071 solved: 7 total time: 148.976
 opt: 0.15 reg: 0.091 solved: 7 total time: 149.219
 opt: 0.163 reg: 0.074 solved: 7 total time: 149.458
 opt: 0.138 reg: 0.083 solved: 7 total time: 149.68
 opt: 0.178 reg: 0.087 solved: 7 total time: 149.946
 opt: 0.147 reg: 0.109 solved: 7 total time: 150.204
 opt: 0.14 reg: 0.089 solved: 7 total time: 150.434
 opt: 0.135 reg: 0.077 solved: 6 total time: 150.646
 opt: 0.141 reg: 0.056 solved: 7 total time: 150.845
 opt: 0.144 reg: 0.043 solved: 6 total time: 151.034
 opt: 0.149 reg: 0.064 solved: 7 total time: 151.248
 opt: 0.136 reg: 0.059 solved: 7 total time: 151.444
 opt: 0.138 reg: 0.065 solved: 7 total time: 151.649
 opt: 0.127 reg: 0.038 solved: 6 total time: 151.815
 opt: 0.146 reg: 0.068 solved: 7 total time: 152.031
 opt: 0.138 reg: 0.066 solved: 7 total time: 152.236
 opt: 0.148 reg: 0.057 solved: 7 total time: 152.443
 opt: 0.133 reg: 0.057 solved: 6 total time: 152.634
 opt: 0.131 reg: 0.041 solved: 7 total time: 152.808
 opt: 0.141 reg: 0.08 solved: 7 total time: 153.03
 opt: 0.156 reg: 0.067 solved: 7 total time: 153.254
 opt: 0.131 reg: 0.069 solved: 7 total time: 153.456
 opt: 0.151 reg: 1.113 solved: 7 total time: 154.72
 opt: 0.199 reg: 0.076 solved: 7 total time: 154.997
 opt: 0.16 reg: 0.077 solved: 7 total time: 155.235
 opt: 0.163 reg: 0.078 solved: 7 total time: 155.477
 opt: 0.159 reg: 0.053 solved: 7 total time: 155.691
 opt: 0.154 reg: 0.067 solved: 7 total time: 155.913
 opt: 0.148 reg: 0.07 solved: 7 total time: 156.133
 opt: 0.137 reg: 0.051 solved: 7 total time: 156.322
 opt: 0.176 reg: 0.059 solved: 7 total time: 156.559
 opt: 0.142 reg: 0.063 solved: 7 total time: 156.765
 opt: 0.156 reg: 0.075 solved: 7 total time: 156.998
 opt: 0.135 reg: 0.075 solved: 6 total time: 157.209
 opt: 0.115 reg: 0.029 solved: 7 total time: 157.354
 opt: 0.14 reg: 0.038 solved: 7 total time: 157.532
 opt: 0.147 reg: 0.05 solved: 7 total time: 157.73
 opt: 0.146 reg: 0.047 solved: 7 total time: 157.924
 opt: 0.141 reg: 0.039 solved: 7 total time: 158.106
 opt: 0.13 reg: 0.029 solved: 7 total time: 158.266
 opt: 0.159 reg: 0.05 solved: 6 total time: 158.477
 opt: 0.139 reg: 0.05 solved: 7 total time: 158.668
 opt: 0.142 reg: 0.033 solved: 6 total time: 158.844
 opt: 0.161 reg: 0.057 solved: 7 total time: 159.064
 opt: 0.127 reg: 0.029 solved: 7 total time: 159.221
 opt: 0.15 reg: 0.05 solved: 7 total time: 159.422
 opt: 0.14 reg: 0.046 solved: 7 total time: 159.609
 opt: 0.137 reg: 0.052 solved: 7 total time: 159.799
 opt: 0.138 reg: 0.051 solved: 7 total time: 159.99
 opt: 0.134 reg: 0.052 solved: 7 total time: 160.176
 opt: 0.135 reg: 0.045 solved: 7 total time: 160.358
 opt: 0.135 reg: 0.045 solved: 6 total time: 160.54
 opt: 0.121 reg: 0.037 solved: 7 total time: 160.7
 opt: 0.134 reg: 0.05 solved: 7 total time: 160.884
 opt: 0.135 reg: 0.051 solved: 6 total time: 161.072
 opt: 0.13 reg: 0.04 solved: 7 total time: 161.243
 opt: 0.135 reg: 0.083 solved: 7 total time: 161.463
 opt: 0.14 reg: 0.056 solved: 6 total time: 161.66
 opt: 0.145 reg: 0.059 solved: 7 total time: 161.865
 opt: 0.248 reg: 0.06 solved: 7 total time: 162.174
 opt: 0.126 reg: 0.038 solved: 6 total time: 162.339
 opt: 0.126 reg: 0.042 solved: 7 total time: 162.508
 opt: 0.146 reg: 0.056 solved: 7 total time: 162.711
 opt: 0.165 reg: 0.055 solved: 7 total time: 162.932
 opt: 0.118 reg: 0.036 solved: 7 total time: 163.087
 opt: 0.122 reg: 0.05 solved: 7 total time: 163.26
 opt: 0.128 reg: 0.054 solved: 7 total time: 163.443
 opt: 0.113 reg: 0.05 solved: 7 total time: 163.608
 opt: 0.135 reg: 0.059 solved: 7 total time: 163.802
 opt: 0.128 reg: 0.089 solved: 5 total time: 164.021
 opt: 0.129 reg: 0.084 solved: 6 total time: 164.235
 opt: 0.132 reg: 0.097 solved: 7 total time: 164.465
 opt: 0.143 reg: 0.081 solved: 7 total time: 164.69
 opt: 0.131 reg: 0.066 solved: 7 total time: 164.888
 opt: 0.131 reg: 0.06 solved: 7 total time: 165.08
 opt: 0.133 reg: 0.063 solved: 7 total time: 165.278
 opt: 0.149 reg: 0.07 solved: 7 total time: 165.497
 opt: 0.13 reg: 0.032 solved: 7 total time: 165.66
 opt: 0.127 reg: 0.039 solved: 7 total time: 165.827
 opt: 0.154 reg: 0.047 solved: 7 total time: 166.029
 opt: 0.125 reg: 0.033 solved: 7 total time: 166.188
 opt: 0.144 reg: 0.045 solved: 7 total time: 166.378
 opt: 0.123 reg: 0.043 solved: 7 total time: 166.546
 opt: 0.129 reg: 0.041 solved: 6 total time: 166.716
 opt: 0.119 reg: 0.035 solved: 7 total time: 166.872
 opt: 0.143 reg: 0.047 solved: 7 total time: 167.064
 opt: 0.159 reg: 0.056 solved: 7 total time: 167.28
 opt: 0.122 reg: 0.03 solved: 7 total time: 167.433
 opt: 0.149 reg: 0.057 solved: 7 total time: 167.641
 opt: 0.157 reg: 0.056 solved: 7 total time: 167.856
 opt: 0.128 reg: 0.049 solved: 7 total time: 168.035
 opt: 0.131 reg: 0.05 solved: 7 total time: 168.217
 opt: 0.128 reg: 1.039 solved: 7 total time: 169.384
 opt: 0.219 reg: 0.044 solved: 7 total time: 169.649
 opt: 0.148 reg: 0.048 solved: 7 total time: 169.846
 opt: 0.141 reg: 0.032 solved: 7 total time: 170.02
 opt: 0.156 reg: 0.04 solved: 7 total time: 170.217
 opt: 0.136 reg: 0.035 solved: 7 total time: 170.389
 opt: 0.146 reg: 0.041 solved: 7 total time: 170.578
 opt: 0.158 reg: 0.044 solved: 7 total time: 170.781
 opt: 0.18 reg: 0.05 solved: 7 total time: 171.013
 opt: 0.152 reg: 0.043 solved: 7 total time: 171.209
 opt: 0.146 reg: 0.041 solved: 7 total time: 171.398
 opt: 0.151 reg: 0.058 solved: 7 total time: 171.609
 opt: 0.133 reg: 0.034 solved: 7 total time: 171.777
 opt: 0.144 reg: 0.045 solved: 7 total time: 171.968
 opt: 0.16 reg: 0.054 solved: 7 total time: 172.183
 opt: 0.152 reg: 0.045 solved: 6 total time: 172.381
 opt: 0.147 reg: 0.055 solved: 7 total time: 172.585
 opt: 0.184 reg: 0.063 solved: 7 total time: 172.833
 opt: 0.17 reg: 0.059 solved: 7 total time: 173.063
 opt: 0.139 reg: 0.058 solved: 7 total time: 173.261
 opt: 0.143 reg: 0.059 solved: 5 total time: 173.464
 opt: 0.144 reg: 0.064 solved: 7 total time: 173.674
 opt: 0.158 reg: 0.056 solved: 7 total time: 173.889
 opt: 0.137 reg: 0.064 solved: 7 total time: 174.091
 opt: 0.162 reg: 0.071 solved: 7 total time: 174.325
 opt: 0.138 reg: 0.049 solved: 7 total time: 174.514
 opt: 0.142 reg: 0.062 solved: 7 total time: 174.719
 opt: 0.163 reg: 0.064 solved: 7 total time: 174.947
 opt: 0.158 reg: 0.058 solved: 7 total time: 175.165
 opt: 0.151 reg: 0.059 solved: 6 total time: 175.376
 opt: 0.13 reg: 0.049 solved: 7 total time: 175.556
 opt: 0.156 reg: 0.061 solved: 7 total time: 175.775
 opt: 0.13 reg: 0.061 solved: 5 total time: 175.967
 opt: 0.134 reg: 0.058 solved: 7 total time: 176.16
 opt: 0.142 reg: 0.058 solved: 6 total time: 176.362
 opt: 0.173 reg: 0.07 solved: 7 total time: 176.606
 opt: 0.142 reg: 0.054 solved: 7 total time: 176.803
 opt: 0.141 reg: 0.052 solved: 7 total time: 176.996
 opt: 0.163 reg: 0.065 solved: 7 total time: 177.226
 opt: 0.179 reg: 0.07 solved: 7 total time: 177.477
 opt: 0.181 reg: 0.071 solved: 7 total time: 177.73
 opt: 0.137 reg: 0.06 solved: 7 total time: 177.929
 opt: 0.159 reg: 0.057 solved: 7 total time: 178.146
 opt: 0.153 reg: 0.05 solved: 7 total time: 178.35
 opt: 0.177 reg: 0.056 solved: 7 total time: 178.584
 opt: 0.154 reg: 0.053 solved: 7 total time: 178.793
 opt: 0.142 reg: 0.062 solved: 7 total time: 178.997
 opt: 0.134 reg: 0.063 solved: 7 total time: 179.195
 opt: 0.138 reg: 0.065 solved: 7 total time: 179.4
 opt: 0.14 reg: 0.065 solved: 7 total time: 179.606
 opt: 0.154 reg: 0.06 solved: 7 total time: 179.821
 opt: 0.179 reg: 0.063 solved: 7 total time: 180.065
 opt: 0.142 reg: 0.063 solved: 6 total time: 180.272
 opt: 0.167 reg: 0.077 solved: 7 total time: 180.517
 opt: 0.169 reg: 0.063 solved: 7 total time: 180.75
 opt: 0.147 reg: 0.069 solved: 6 total time: 180.968
 opt: 0.147 reg: 0.066 solved: 7 total time: 181.183
 opt: 0.152 reg: 0.067 solved: 7 total time: 181.403
 opt: 0.179 reg: 0.065 solved: 7 total time: 181.648
 opt: 0.158 reg: 0.063 solved: 7 total time: 181.87
 opt: 0.135 reg: 0.056 solved: 6 total time: 182.062
 opt: 0.123 reg: 0.056 solved: 6 total time: 182.243
 opt: 0.134 reg: 0.058 solved: 6 total time: 182.436
 opt: 0.143 reg: 0.079 solved: 7 total time: 182.66
 opt: 0.164 reg: 0.071 solved: 7 total time: 182.896
 opt: 0.162 reg: 0.065 solved: 7 total time: 183.124
 opt: 0.134 reg: 0.065 solved: 7 total time: 183.324
 opt: 0.145 reg: 0.068 solved: 7 total time: 183.539
 opt: 0.142 reg: 0.062 solved: 7 total time: 183.744
 opt: 0.14 reg: 0.062 solved: 6 total time: 183.947
 opt: 0.161 reg: 0.076 solved: 7 total time: 184.186
 opt: 0.127 reg: 0.061 solved: 7 total time: 184.375
 opt: 0.123 reg: 0.047 solved: 7 total time: 184.547
 opt: 0.136 reg: 0.05 solved: 7 total time: 184.734
 opt: 0.17 reg: 0.061 solved: 7 total time: 184.965
 opt: 0.146 reg: 0.062 solved: 7 total time: 185.174
 opt: 0.13 reg: 0.058 solved: 7 total time: 185.363
 opt: 0.122 reg: 0.036 solved: 7 total time: 185.522
 opt: 0.125 reg: 0.045 solved: 7 total time: 185.693
 opt: 0.143 reg: 0.077 solved: 5 total time: 185.914
 opt: 0.134 reg: 0.058 solved: 7 total time: 186.106
 opt: 0.132 reg: 0.04 solved: 7 total time: 186.279
 opt: 0.135 reg: 0.053 solved: 7 total time: 186.468
 opt: 0.123 reg: 0.044 solved: 7 total time: 186.636
 opt: 0.159 reg: 0.051 solved: 7 total time: 186.847
 opt: 0.122 reg: 0.048 solved: 6 total time: 187.019
 opt: 0.143 reg: 0.044 solved: 7 total time: 187.207
 opt: 0.153 reg: 0.051 solved: 7 total time: 187.413
 opt: 0.126 reg: 0.036 solved: 7 total time: 187.576
 opt: 0.143 reg: 0.047 solved: 7 total time: 187.768
 opt: 0.14 reg: 0.075 solved: 7 total time: 187.983
 opt: 0.134 reg: 0.062 solved: 7 total time: 188.181
 opt: 0.145 reg: 0.058 solved: 7 total time: 188.385
 opt: 0.142 reg: 0.058 solved: 6 total time: 188.586
 opt: 0.131 reg: 0.048 solved: 7 total time: 188.767
 opt: 0.125 reg: 0.059 solved: 7 total time: 188.951
 opt: 0.125 reg: 0.047 solved: 7 total time: 189.124
 opt: 0.147 reg: 0.059 solved: 7 total time: 189.332
 opt: 0.146 reg: 0.063 solved: 7 total time: 189.543
 opt: 0.146 reg: 0.059 solved: 7 total time: 189.749
 opt: 0.15 reg: 0.054 solved: 7 total time: 189.953
 opt: 0.148 reg: 0.057 solved: 7 total time: 190.16
 opt: 0.138 reg: 0.074 solved: 7 total time: 190.373
 opt: 0.126 reg: 0.061 solved: 7 total time: 190.562
 opt: 0.129 reg: 0.04 solved: 7 total time: 190.733
 opt: 0.125 reg: 0.05 solved: 7 total time: 190.909
 opt: 0.141 reg: 0.092 solved: 5 total time: 191.142
 opt: 0.142 reg: 0.083 solved: 7 total time: 191.369
 opt: 0.142 reg: 0.077 solved: 7 total time: 191.589
 opt: 0.132 reg: 1.211 solved: 7 total time: 192.931
 opt: 0.18 reg: 0.048 solved: 7 total time: 193.16
 opt: 0.149 reg: 0.043 solved: 7 total time: 193.352
 opt: 0.147 reg: 0.05 solved: 7 total time: 193.55
 opt: 0.143 reg: 0.053 solved: 6 total time: 193.748
 opt: 0.139 reg: 0.053 solved: 7 total time: 193.941
 opt: 0.167 reg: 0.062 solved: 7 total time: 194.171
 opt: 0.149 reg: 0.049 solved: 7 total time: 194.37
 opt: 0.146 reg: 0.049 solved: 7 total time: 194.566
 opt: 0.141 reg: 0.047 solved: 7 total time: 194.755
 opt: 0.138 reg: 0.052 solved: 7 total time: 194.946
 opt: 0.158 reg: 0.057 solved: 7 total time: 195.163
 opt: 0.152 reg: 0.057 solved: 7 total time: 195.373
 opt: 0.146 reg: 0.056 solved: 6 total time: 195.576
 opt: 0.128 reg: 0.052 solved: 6 total time: 195.758
 opt: 0.146 reg: 0.072 solved: 7 total time: 195.978
 opt: 0.141 reg: 0.067 solved: 7 total time: 196.188
 opt: 0.135 reg: 0.045 solved: 7 total time: 196.369
 opt: 0.134 reg: 0.042 solved: 7 total time: 196.546
 opt: 0.18 reg: 0.058 solved: 7 total time: 196.786
 opt: 0.162 reg: 0.059 solved: 7 total time: 197.008
 opt: 0.141 reg: 0.057 solved: 6 total time: 197.208
 opt: 0.132 reg: 0.051 solved: 6 total time: 197.393
 opt: 0.133 reg: 0.048 solved: 7 total time: 197.575
 opt: 0.152 reg: 0.058 solved: 7 total time: 197.787
 opt: 0.139 reg: 0.056 solved: 7 total time: 197.983
 opt: 0.127 reg: 0.041 solved: 7 total time: 198.152
 opt: 0.153 reg: 0.059 solved: 7 total time: 198.366
 opt: 0.134 reg: 0.05 solved: 6 total time: 198.552
 opt: 0.139 reg: 0.061 solved: 7 total time: 198.753
 opt: 0.173 reg: 0.056 solved: 7 total time: 198.983
 opt: 0.136 reg: 0.049 solved: 6 total time: 199.17
 opt: 0.151 reg: 0.059 solved: 7 total time: 199.381
 opt: 0.133 reg: 0.05 solved: 6 total time: 199.565
 opt: 0.125 reg: 0.049 solved: 7 total time: 199.739
 opt: 0.138 reg: 0.064 solved: 7 total time: 199.942
 opt: 0.136 reg: 0.053 solved: 7 total time: 200.132
 opt: 0.151 reg: 0.053 solved: 7 total time: 200.339
 opt: 0.161 reg: 0.055 solved: 7 total time: 200.556
 opt: 0.138 reg: 0.057 solved: 6 total time: 200.752
 opt: 0.174 reg: 0.053 solved: 7 total time: 200.98
 opt: 0.137 reg: 0.05 solved: 7 total time: 201.169
 opt: 0.136 reg: 0.038 solved: 7 total time: 201.344
 opt: 0.163 reg: 0.051 solved: 7 total time: 201.56
 opt: 0.174 reg: 0.049 solved: 7 total time: 201.784
 opt: 0.136 reg: 0.033 solved: 7 total time: 201.953
 opt: 0.131 reg: 0.05 solved: 6 total time: 202.135
 opt: 0.138 reg: 0.041 solved: 7 total time: 202.315
 opt: 0.132 reg: 0.037 solved: 7 total time: 202.486
 opt: 0.14 reg: 0.056 solved: 7 total time: 202.683
 opt: 0.125 reg: 0.034 solved: 7 total time: 202.843
 opt: 0.133 reg: 0.037 solved: 7 total time: 203.014
 opt: 0.124 reg: 0.033 solved: 7 total time: 203.173
 opt: 0.147 reg: 0.074 solved: 5 total time: 203.395
 opt: 0.123 reg: 0.041 solved: 7 total time: 203.561
 opt: 0.148 reg: 0.062 solved: 7 total time: 203.772
 opt: 0.146 reg: 0.058 solved: 7 total time: 203.977
 opt: 0.134 reg: 0.068 solved: 5 total time: 204.181
 opt: 0.138 reg: 0.044 solved: 7 total time: 204.364
 opt: 0.128 reg: 0.034 solved: 7 total time: 204.527
 opt: 0.134 reg: 0.063 solved: 7 total time: 204.725
 opt: 0.144 reg: 0.068 solved: 5 total time: 204.939
 opt: 0.147 reg: 0.071 solved: 7 total time: 205.157
 opt: 0.14 reg: 0.055 solved: 7 total time: 205.354
 opt: 0.135 reg: 0.049 solved: 7 total time: 205.539
 opt: 0.142 reg: 0.052 solved: 7 total time: 205.734
 opt: 0.13 reg: 0.035 solved: 7 total time: 205.901
 opt: 0.132 reg: 0.033 solved: 7 total time: 206.067
 opt: 0.144 reg: 0.054 solved: 7 total time: 206.267
 opt: 0.135 reg: 0.032 solved: 7 total time: 206.435
 opt: 0.127 reg: 0.032 solved: 7 total time: 206.595
 opt: 0.152 reg: 0.032 solved: 7 total time: 206.78
 opt: 0.142 reg: 0.057 solved: 7 total time: 206.98
 opt: 0.126 reg: 0.033 solved: 7 total time: 207.141
 opt: 0.133 reg: 0.033 solved: 7 total time: 207.308
 opt: 0.123 reg: 0.029 solved: 7 total time: 207.462
 opt: 0.134 reg: 0.031 solved: 7 total time: 207.628
 opt: 0.142 reg: 0.058 solved: 7 total time: 207.828
 opt: 0.14 reg: 0.054 solved: 7 total time: 208.023
 opt: 0.127 reg: 0.034 solved: 7 total time: 208.186
 opt: 0.156 reg: 0.052 solved: 7 total time: 208.396
 opt: 0.139 reg: 0.049 solved: 7 total time: 208.585
 opt: 0.134 reg: 0.049 solved: 7 total time: 208.77
 opt: 0.125 reg: 0.028 solved: 7 total time: 208.925
 opt: 0.127 reg: 0.029 solved: 7 total time: 209.082
 opt: 0.127 reg: 0.029 solved: 7 total time: 209.238
 opt: 0.141 reg: 0.049 solved: 7 total time: 209.43
 opt: 0.143 reg: 0.049 solved: 7 total time: 209.624
 opt: 0.127 reg: 0.028 solved: 7 total time: 209.78
 opt: 0.14 reg: 0.051 solved: 7 total time: 209.972
 opt: 0.138 reg: 0.051 solved: 7 total time: 210.163
 opt: 0.125 reg: 0.027 solved: 7 total time: 210.316
 opt: 0.143 reg: 0.051 solved: 7 total time: 210.512
 opt: 0.13 reg: 0.03 solved: 7 total time: 210.673
 opt: 0.127 reg: 0.028 solved: 7 total time: 210.829
 opt: 0.135 reg: 0.047 solved: 7 total time: 211.013
 opt: 0.15 reg: 0.061 solved: 6 total time: 211.225
 opt: 0.124 reg: 0.028 solved: 7 total time: 211.378
 opt: 0.126 reg: 0.023 solved: 7 total time: 211.528
 opt: 0.15 reg: 0.045 solved: 6 total time: 211.725
 opt: 0.13 reg: 0.027 solved: 7 total time: 211.884
 opt: 0.139 reg: 0.051 solved: 7 total time: 212.075
 opt: 0.125 reg: 0.026 solved: 7 total time: 212.227
 opt: 0.144 reg: 0.048 solved: 7 total time: 212.421
 opt: 0.14 reg: 0.027 solved: 7 total time: 212.589
 opt: 0.127 reg: 0.023 solved: 7 total time: 212.74
 opt: 0.142 reg: 0.042 solved: 7 total time: 212.924
 opt: 0.139 reg: 0.047 solved: 7 total time: 213.111
 opt: 0.151 reg: 0.05 solved: 7 total time: 213.314
 opt: 0.141 reg: 0.048 solved: 7 total time: 213.503
 opt: 0.145 reg: 0.05 solved: 7 total time: 213.7
 opt: 0.145 reg: 0.048 solved: 7 total time: 213.894
 opt: 0.15 reg: 0.053 solved: 7 total time: 214.1
 opt: 0.144 reg: 0.046 solved: 7 total time: 214.291
 opt: 0.142 reg: 0.045 solved: 7 total time: 214.48
 opt: 0.15 reg: 0.063 solved: 7 total time: 214.693
 opt: 0.138 reg: 0.047 solved: 7 total time: 214.879
 opt: 0.146 reg: 0.049 solved: 6 total time: 215.075
 opt: 0.143 reg: 0.052 solved: 7 total time: 215.271
 opt: 0.143 reg: 0.044 solved: 7 total time: 215.459
 opt: 0.131 reg: 0.052 solved: 7 total time: 215.644
 opt: 0.143 reg: 0.043 solved: 7 total time: 215.831
 opt: 0.15 reg: 0.052 solved: 7 total time: 216.034
 opt: 0.149 reg: 0.05 solved: 6 total time: 216.234
 opt: 0.139 reg: 0.053 solved: 6 total time: 216.427
 opt: 0.144 reg: 0.054 solved: 7 total time: 216.626
 opt: 0.138 reg: 0.048 solved: 6 total time: 216.814
 opt: 0.145 reg: 0.057 solved: 7 total time: 217.017
 opt: 0.157 reg: 0.06 solved: 7 total time: 217.235
 opt: 0.142 reg: 0.05 solved: 6 total time: 217.428
 opt: 0.139 reg: 0.043 solved: 6 total time: 217.611
 opt: 0.136 reg: 0.047 solved: 6 total time: 217.795
 opt: 0.14 reg: 0.044 solved: 6 total time: 217.981
 opt: 0.153 reg: 0.053 solved: 7 total time: 218.189
 opt: 0.151 reg: 0.051 solved: 7 total time: 218.392
 opt: 0.142 reg: 0.057 solved: 7 total time: 218.592
 opt: 0.154 reg: 0.051 solved: 7 total time: 218.798
 opt: 0.138 reg: 0.044 solved: 6 total time: 218.982
 opt: 0.139 reg: 0.051 solved: 7 total time: 219.174
 opt: 0.144 reg: 0.042 solved: 6 total time: 219.361
 opt: 0.142 reg: 0.041 solved: 6 total time: 219.545
 opt: 0.136 reg: 0.04 solved: 6 total time: 219.722
 opt: 0.155 reg: 0.049 solved: 7 total time: 219.928
 opt: 0.149 reg: 0.045 solved: 7 total time: 220.124
 opt: 0.143 reg: 0.042 solved: 7 total time: 220.31
 opt: 0.141 reg: 0.043 solved: 7 total time: 220.495
 opt: 0.139 reg: 0.042 solved: 7 total time: 220.678
 opt: 0.138 reg: 0.04 solved: 7 total time: 220.857
 opt: 0.17 reg: 0.053 solved: 7 total time: 221.081
 opt: 0.159 reg: 0.058 solved: 7 total time: 221.3
 opt: 0.144 reg: 0.047 solved: 7 total time: 221.492
 opt: 0.153 reg: 0.052 solved: 7 total time: 221.698
 opt: 0.146 reg: 0.041 solved: 7 total time: 221.886
 opt: 0.153 reg: 0.044 solved: 7 total time: 222.085
 opt: 0.155 reg: 0.048 solved: 7 total time: 222.289
 opt: 0.154 reg: 0.047 solved: 7 total time: 222.491
 opt: 0.154 reg: 0.048 solved: 7 total time: 222.694
 opt: 0.153 reg: 0.046 solved: 7 total time: 222.894
 opt: 0.149 reg: 0.044 solved: 7 total time: 223.087
 opt: 0.14 reg: 0.044 solved: 7 total time: 223.273
 opt: 0.158 reg: 0.052 solved: 7 total time: 223.484
 opt: 0.14 reg: 0.047 solved: 7 total time: 223.673
 opt: 0.138 reg: 0.042 solved: 7 total time: 223.854
 opt: 0.138 reg: 0.045 solved: 7 total time: 224.039
 opt: 0.141 reg: 0.044 solved: 7 total time: 224.225
 opt: 0.158 reg: 0.043 solved: 7 total time: 224.427
 opt: 0.151 reg: 0.05 solved: 7 total time: 224.629
 opt: 0.159 reg: 0.043 solved: 7 total time: 224.833
 opt: 0.158 reg: 0.042 solved: 7 total time: 225.033
 opt: 0.14 reg: 0.042 solved: 7 total time: 225.217
 opt: 0.15 reg: 0.042 solved: 7 total time: 225.41
 opt: 0.146 reg: 0.043 solved: 7 total time: 225.601
 opt: 0.148 reg: 0.042 solved: 7 total time: 225.793
 opt: 0.138 reg: 0.04 solved: 7 total time: 225.972
 opt: 0.138 reg: 0.045 solved: 7 total time: 226.157
 opt: 0.159 reg: 0.042 solved: 7 total time: 226.359
 opt: 0.158 reg: 0.045 solved: 7 total time: 226.563
 opt: 0.143 reg: 0.04 solved: 7 total time: 226.748
 opt: 0.161 reg: 0.044 solved: 7 total time: 226.955
 opt: 0.153 reg: 0.043 solved: 7 total time: 227.152
 opt: 0.158 reg: 0.05 solved: 7 total time: 227.36
 opt: 0.15 reg: 0.046 solved: 7 total time: 227.557
 opt: 1.309 reg: 0.034 solved: 7 total time: 228.9
 opt: 0.198 reg: 0.033 solved: 7 total time: 229.133
 opt: 0.18 reg: 0.035 solved: 7 total time: 229.349
 opt: 0.159 reg: 0.03 solved: 7 total time: 229.539
 opt: 0.153 reg: 0.028 solved: 7 total time: 229.722
 opt: 0.152 reg: 0.036 solved: 7 total time: 229.912
 opt: 0.171 reg: 0.036 solved: 7 total time: 230.12
 opt: 0.164 reg: 0.033 solved: 7 total time: 230.319
 opt: 0.164 reg: 0.033 solved: 7 total time: 230.518
 opt: 0.158 reg: 0.029 solved: 7 total time: 230.706
 opt: 0.143 reg: 0.029 solved: 7 total time: 230.879
 opt: 0.158 reg: 0.029 solved: 7 total time: 231.067
 opt: 0.157 reg: 0.031 solved: 7 total time: 231.255
 opt: 0.144 reg: 0.033 solved: 7 total time: 231.434
 opt: 0.163 reg: 0.033 solved: 7 total time: 231.631
 opt: 0.152 reg: 0.027 solved: 7 total time: 231.811
 opt: 0.165 reg: 0.037 solved: 7 total time: 232.014
 opt: 0.161 reg: 0.033 solved: 7 total time: 232.209
 opt: 0.16 reg: 0.032 solved: 7 total time: 232.403
 opt: 0.156 reg: 0.031 solved: 7 total time: 232.592
 opt: 0.159 reg: 0.036 solved: 7 total time: 232.788
 opt: 0.158 reg: 0.031 solved: 7 total time: 232.979
 opt: 0.16 reg: 0.035 solved: 7 total time: 233.175
 opt: 0.15 reg: 0.038 solved: 7 total time: 233.364
 opt: 0.142 reg: 0.034 solved: 7 total time: 233.541
 opt: 0.154 reg: 0.033 solved: 7 total time: 233.729
L = 6, leader states: 5.6495e+08, follower subproblems: 5.6495e+08, F:100000, total time: 233.73
 opt: 0.097 reg: 0.092 solved: 2 total time: 233.939
 opt: 0.138 reg: 0.13 solved: 3 total time: 234.208
 opt: 0.167 reg: 0.086 solved: 4 total time: 234.462
 opt: 0.165 reg: 0.033 solved: 4 total time: 234.661
 opt: 0.153 reg: 0.027 solved: 5 total time: 234.842
 opt: 0.155 reg: 0.116 solved: 3 total time: 235.114
 opt: 0.145 reg: 0.203 solved: 3 total time: 235.463
 opt: 0.153 reg: 0.218 solved: 3 total time: 235.834
 opt: 0.137 reg: 0.25 solved: 3 total time: 236.222
 opt: 0.16 reg: 0.172 solved: 5 total time: 236.555
 opt: 0.149 reg: 0.077 solved: 4 total time: 236.783
 opt: 0.133 reg: 0.327 solved: 3 total time: 237.243
 opt: 0.172 reg: 0.321 solved: 3 total time: 237.737
 opt: 0.153 reg: 0.315 solved: 3 total time: 238.206
 opt: 0.164 reg: 0.186 solved: 4 total time: 238.557
 opt: 0.156 reg: 1.416 solved: 3 total time: 240.128
 opt: 0.161 reg: 0.194 solved: 3 total time: 240.483
 opt: 0.169 reg: 0.182 solved: 4 total time: 240.836
 opt: 0.148 reg: 0.078 solved: 4 total time: 241.063
 opt: 0.158 reg: 0.159 solved: 4 total time: 241.382
 opt: 0.185 reg: 0.138 solved: 4 total time: 241.706
 opt: 0.194 reg: 0.158 solved: 4 total time: 242.059
 opt: 0.149 reg: 0.06 solved: 4 total time: 242.27
 opt: 0.193 reg: 0.16 solved: 4 total time: 242.624
 opt: 0.164 reg: 0.111 solved: 4 total time: 242.9
 opt: 0.191 reg: 0.209 solved: 4 total time: 243.3
 opt: 0.188 reg: 0.167 solved: 4 total time: 243.656
 opt: 0.171 reg: 0.221 solved: 5 total time: 244.05
 opt: 0.145 reg: 0.079 solved: 4 total time: 244.276
 opt: 0.194 reg: 0.089 solved: 5 total time: 244.559
 opt: 0.163 reg: 0.256 solved: 4 total time: 244.979
 opt: 0.168 reg: 0.235 solved: 4 total time: 245.383
 opt: 0.14 reg: 0.12 solved: 4 total time: 245.644
 opt: 0.225 reg: 0.114 solved: 5 total time: 245.984
 opt: 0.204 reg: 0.1 solved: 5 total time: 246.289
 opt: 0.163 reg: 1.331 solved: 5 total time: 247.783
 opt: 0.221 reg: 0.157 solved: 5 total time: 248.161
 opt: 0.202 reg: 0.132 solved: 5 total time: 248.497
 opt: 0.199 reg: 0.238 solved: 5 total time: 248.934
 opt: 0.174 reg: 0.105 solved: 5 total time: 249.214
 opt: 0.161 reg: 0.518 solved: 6 total time: 249.894
 opt: 0.149 reg: 0.217 solved: 4 total time: 250.261
 opt: 0.155 reg: 0.088 solved: 4 total time: 250.504
 opt: 0.173 reg: 0.254 solved: 5 total time: 250.932
 opt: 0.143 reg: 0.231 solved: 4 total time: 251.308
 opt: 0.178 reg: 0.195 solved: 5 total time: 251.682
 opt: 0.19 reg: 0.436 solved: 5 total time: 252.308
 opt: 0.152 reg: 0.216 solved: 4 total time: 252.678
 opt: 0.192 reg: 0.348 solved: 4 total time: 253.218
 opt: 0.219 reg: 0.239 solved: 5 total time: 253.678
 opt: 0.221 reg: 0.219 solved: 5 total time: 254.119
 opt: 0.173 reg: 0.548 solved: 4 total time: 254.841
 opt: 0.183 reg: 1.345 solved: 4 total time: 256.368
 opt: 0.202 reg: 0.147 solved: 6 total time: 256.718
 opt: 0.164 reg: 0.035 solved: 4 total time: 256.918
 opt: 0.163 reg: 0.051 solved: 4 total time: 257.133
 opt: 0.165 reg: 0.114 solved: 4 total time: 257.413
 opt: 0.231 reg: 0.086 solved: 5 total time: 257.732
 opt: 0.203 reg: 0.079 solved: 5 total time: 258.015
 opt: 0.182 reg: 0.054 solved: 5 total time: 258.252
 opt: 0.217 reg: 0.068 solved: 5 total time: 258.538
 opt: 0.2 reg: 0.086 solved: 5 total time: 258.826
 opt: 0.179 reg: 0.052 solved: 5 total time: 259.058
 opt: 0.173 reg: 0.18 solved: 6 total time: 259.413
 opt: 0.211 reg: 0.109 solved: 5 total time: 259.734
 opt: 0.221 reg: 0.091 solved: 5 total time: 260.047
 opt: 0.184 reg: 0.162 solved: 6 total time: 260.394
 opt: 0.192 reg: 0.064 solved: 5 total time: 260.652
 opt: 0.187 reg: 0.176 solved: 6 total time: 261.017
 opt: 0.165 reg: 0.234 solved: 5 total time: 261.417
 opt: 0.223 reg: 0.045 solved: 6 total time: 261.686
 opt: 0.17 reg: 0.172 solved: 4 total time: 262.03
 opt: 0.181 reg: 0.133 solved: 5 total time: 262.344
 opt: 0.201 reg: 0.131 solved: 5 total time: 262.678
 opt: 0.188 reg: 0.208 solved: 6 total time: 263.074
 opt: 0.188 reg: 0.244 solved: 6 total time: 263.508
 opt: 0.203 reg: 0.134 solved: 5 total time: 263.846
 opt: 0.187 reg: 0.282 solved: 5 total time: 264.316
 opt: 0.252 reg: 0.066 solved: 6 total time: 264.636
 opt: 0.243 reg: 0.057 solved: 6 total time: 264.937
 opt: 0.149 reg: 0.201 solved: 4 total time: 265.289
 opt: 1.354 reg: 0.036 solved: 6 total time: 266.679
 opt: 0.22 reg: 0.028 solved: 5 total time: 266.929
 opt: 0.15 reg: 0.058 solved: 4 total time: 267.138
 opt: 0.179 reg: 0.107 solved: 5 total time: 267.426
 opt: 0.192 reg: 0.109 solved: 6 total time: 267.728
 opt: 0.229 reg: 0.029 solved: 6 total time: 267.987
 opt: 0.18 reg: 0.077 solved: 4 total time: 268.245
 opt: 0.223 reg: 0.023 solved: 6 total time: 268.493
 opt: 0.177 reg: 0.136 solved: 6 total time: 268.808
 opt: 0.175 reg: 0.184 solved: 5 total time: 269.168
 opt: 0.176 reg: 0.156 solved: 6 total time: 269.501
 opt: 0.197 reg: 0.05 solved: 5 total time: 269.749
 opt: 0.166 reg: 0.161 solved: 5 total time: 270.078
 opt: 0.174 reg: 0.086 solved: 6 total time: 270.338
 opt: 0.177 reg: 0.164 solved: 5 total time: 270.68
 opt: 0.18 reg: 0.097 solved: 4 total time: 270.958
 opt: 0.185 reg: 0.143 solved: 6 total time: 271.288
 opt: 0.212 reg: 0.06 solved: 6 total time: 271.56
 opt: 0.166 reg: 0.26 solved: 6 total time: 271.987
 opt: 0.139 reg: 0.266 solved: 3 total time: 272.392
 opt: 0.191 reg: 0.117 solved: 6 total time: 272.701
 opt: 0.222 reg: 0.091 solved: 5 total time: 273.016
 opt: 0.211 reg: 0.067 solved: 5 total time: 273.295
 opt: 0.251 reg: 0.068 solved: 7 total time: 273.614
 opt: 0.178 reg: 0.054 solved: 5 total time: 273.847
 opt: 0.214 reg: 0.05 solved: 6 total time: 274.112
 opt: 0.216 reg: 0.072 solved: 5 total time: 274.401
 opt: 0.162 reg: 0.3 solved: 5 total time: 274.864
 opt: 0.197 reg: 0.123 solved: 6 total time: 275.185
 opt: 0.201 reg: 0.084 solved: 6 total time: 275.472
 opt: 0.187 reg: 0.194 solved: 6 total time: 275.854
 opt: 0.212 reg: 0.06 solved: 6 total time: 276.127
 opt: 0.208 reg: 0.056 solved: 5 total time: 276.393
 opt: 0.201 reg: 0.161 solved: 6 total time: 276.756
 opt: 0.204 reg: 0.054 solved: 5 total time: 277.016
 opt: 0.223 reg: 0.045 solved: 6 total time: 277.286
 opt: 0.229 reg: 0.055 solved: 6 total time: 277.572
 opt: 0.206 reg: 0.14 solved: 6 total time: 277.919
 opt: 0.172 reg: 0.142 solved: 4 total time: 278.235
 opt: 0.175 reg: 0.369 solved: 5 total time: 278.779
 opt: 0.209 reg: 0.066 solved: 6 total time: 279.055
 opt: 0.201 reg: 0.19 solved: 6 total time: 279.447
 opt: 0.189 reg: 0.063 solved: 5 total time: 279.7
 opt: 0.191 reg: 0.113 solved: 6 total time: 280.005
 opt: 0.208 reg: 0.107 solved: 5 total time: 280.321
 opt: 0.167 reg: 0.385 solved: 5 total time: 280.874
 opt: 0.19 reg: 0.066 solved: 5 total time: 281.132
 opt: 0.181 reg: 0.248 solved: 5 total time: 281.562
 opt: 0.193 reg: 0.071 solved: 5 total time: 281.828
 opt: 0.168 reg: 0.345 solved: 5 total time: 282.341
 opt: 0.189 reg: 1.379 solved: 6 total time: 283.909
 opt: 0.246 reg: 0.041 solved: 5 total time: 284.197
 opt: 0.199 reg: 0.049 solved: 5 total time: 284.447
 opt: 0.185 reg: 0.046 solved: 5 total time: 284.678
 opt: 0.225 reg: 0.052 solved: 5 total time: 284.957
 opt: 0.162 reg: 0.296 solved: 5 total time: 285.415
 opt: 0.188 reg: 0.102 solved: 6 total time: 285.706
 opt: 0.227 reg: 0.058 solved: 6 total time: 285.992
 opt: 0.208 reg: 0.076 solved: 6 total time: 286.278
 opt: 0.189 reg: 0.1 solved: 6 total time: 286.568
 opt: 0.208 reg: 0.042 solved: 6 total time: 286.82
 opt: 0.228 reg: 0.066 solved: 6 total time: 287.116
 opt: 0.17 reg: 0.277 solved: 5 total time: 287.564
 opt: 0.234 reg: 0.042 solved: 6 total time: 287.841
 opt: 0.192 reg: 0.042 solved: 5 total time: 288.076
 opt: 0.204 reg: 0.043 solved: 5 total time: 288.324
 opt: 0.194 reg: 0.048 solved: 5 total time: 288.567
 opt: 0.204 reg: 0.038 solved: 5 total time: 288.811
 opt: 0.189 reg: 0.039 solved: 5 total time: 289.041
 opt: 0.18 reg: 0.124 solved: 6 total time: 289.345
 opt: 0.223 reg: 0.089 solved: 5 total time: 289.659
 opt: 0.2 reg: 0.05 solved: 5 total time: 289.911
 opt: 0.244 reg: 0.044 solved: 6 total time: 290.201
 opt: 0.169 reg: 0.207 solved: 6 total time: 290.579
 opt: 0.204 reg: 0.068 solved: 5 total time: 290.852
 opt: 0.191 reg: 0.129 solved: 6 total time: 291.172
 opt: 0.216 reg: 0.042 solved: 5 total time: 291.431
 opt: 0.192 reg: 0.233 solved: 6 total time: 291.857
 opt: 0.187 reg: 0.14 solved: 6 total time: 292.185
 opt: 0.188 reg: 0.138 solved: 6 total time: 292.512
 opt: 0.173 reg: 0.203 solved: 6 total time: 292.89
 opt: 0.172 reg: 0.338 solved: 7 total time: 293.401
 opt: 0.166 reg: 0.253 solved: 6 total time: 293.821
 opt: 0.228 reg: 0.038 solved: 6 total time: 294.089
 opt: 0.186 reg: 0.133 solved: 6 total time: 294.409
 opt: 0.179 reg: 0.107 solved: 6 total time: 294.697
 opt: 0.222 reg: 0.052 solved: 5 total time: 294.973
 opt: 0.185 reg: 0.151 solved: 6 total time: 295.31
 opt: 0.195 reg: 0.07 solved: 5 total time: 295.575
 opt: 0.205 reg: 0.081 solved: 5 total time: 295.862
 opt: 0.219 reg: 0.069 solved: 7 total time: 296.151
 opt: 0.195 reg: 0.042 solved: 5 total time: 296.389
 opt: 0.205 reg: 0.06 solved: 5 total time: 296.655
 opt: 0.238 reg: 0.031 solved: 7 total time: 296.925
 opt: 0.197 reg: 0.137 solved: 6 total time: 297.26
 opt: 0.18 reg: 0.065 solved: 5 total time: 297.506
 opt: 0.192 reg: 0.172 solved: 6 total time: 297.871
 opt: 0.169 reg: 0.277 solved: 7 total time: 298.318
 opt: 0.2 reg: 0.38 solved: 7 total time: 298.898
 opt: 0.227 reg: 0.042 solved: 6 total time: 299.169
 opt: 0.202 reg: 0.159 solved: 6 total time: 299.531
 opt: 0.233 reg: 0.061 solved: 6 total time: 299.827
 opt: 0.191 reg: 0.348 solved: 7 total time: 300.367
 opt: 0.172 reg: 0.322 solved: 6 total time: 300.862
 opt: 1.441 reg: 0.018 solved: 6 total time: 302.321
 opt: 0.227 reg: 0.046 solved: 5 total time: 302.596
 opt: 0.233 reg: 0.043 solved: 6 total time: 302.873
 opt: 0.234 reg: 0.031 solved: 6 total time: 303.139
 opt: 0.228 reg: 0.028 solved: 6 total time: 303.396
 opt: 0.196 reg: 0.293 solved: 7 total time: 303.887
 opt: 0.191 reg: 0.279 solved: 7 total time: 304.358
 opt: 0.179 reg: 0.047 solved: 5 total time: 304.585
 opt: 0.189 reg: 0.276 solved: 7 total time: 305.052
 opt: 0.213 reg: 0.138 solved: 6 total time: 305.404
 opt: 0.2 reg: 0.053 solved: 5 total time: 305.658
 opt: 0.197 reg: 0.034 solved: 6 total time: 305.891
 opt: 0.213 reg: 0.026 solved: 6 total time: 306.131
 opt: 0.192 reg: 0.082 solved: 6 total time: 306.407
 opt: 0.168 reg: 0.267 solved: 5 total time: 306.842
 opt: 0.194 reg: 0.22 solved: 7 total time: 307.258
 opt: 0.219 reg: 0.025 solved: 6 total time: 307.503
 opt: 0.207 reg: 0.017 solved: 6 total time: 307.728
 opt: 0.235 reg: 0.029 solved: 6 total time: 307.993
 opt: 0.201 reg: 0.061 solved: 5 total time: 308.256
 opt: 0.239 reg: 0.039 solved: 6 total time: 308.534
 opt: 0.153 reg: 0.156 solved: 4 total time: 308.845
 opt: 0.191 reg: 0.181 solved: 6 total time: 309.218
 opt: 0.226 reg: 0.081 solved: 6 total time: 309.524
 opt: 0.234 reg: 0.03 solved: 6 total time: 309.79
 opt: 0.216 reg: 0.017 solved: 6 total time: 310.025
 opt: 0.192 reg: 0.075 solved: 6 total time: 310.293
 opt: 0.21 reg: 0.112 solved: 7 total time: 310.616
 opt: 0.204 reg: 0.082 solved: 6 total time: 310.903
 opt: 0.219 reg: 0.026 solved: 6 total time: 311.149
 opt: 0.229 reg: 0.027 solved: 6 total time: 311.406
 opt: 0.191 reg: 0.14 solved: 6 total time: 311.738
 opt: 0.195 reg: 0.192 solved: 5 total time: 312.125
 opt: 0.191 reg: 0.27 solved: 6 total time: 312.587
 opt: 0.19 reg: 0.145 solved: 6 total time: 312.923
 opt: 0.193 reg: 0.159 solved: 6 total time: 313.276
 opt: 0.174 reg: 0.232 solved: 5 total time: 313.684
 opt: 0.206 reg: 0.076 solved: 5 total time: 313.967
 opt: 0.215 reg: 0.043 solved: 6 total time: 314.226
 opt: 0.22 reg: 0.024 solved: 6 total time: 314.472
 opt: 0.191 reg: 0.199 solved: 6 total time: 314.863
 opt: 0.175 reg: 0.212 solved: 6 total time: 315.251
 opt: 0.262 reg: 0.043 solved: 7 total time: 315.558
 opt: 0.185 reg: 0.319 solved: 5 total time: 316.063
 opt: 0.179 reg: 0.261 solved: 5 total time: 316.505
 opt: 0.251 reg: 0.043 solved: 7 total time: 316.8
 opt: 0.222 reg: 0.041 solved: 6 total time: 317.065
 opt: 0.202 reg: 0.08 solved: 5 total time: 317.348
 opt: 0.161 reg: 0.256 solved: 5 total time: 317.768
 opt: 0.201 reg: 0.092 solved: 5 total time: 318.063
 opt: 0.221 reg: 0.048 solved: 6 total time: 318.333
 opt: 0.222 reg: 0.034 solved: 6 total time: 318.59
 opt: 0.205 reg: 0.219 solved: 7 total time: 319.015
 opt: 0.184 reg: 0.372 solved: 5 total time: 319.571
 opt: 0.21 reg: 0.075 solved: 5 total time: 319.857
 opt: 0.185 reg: 0.349 solved: 5 total time: 320.392
 opt: 0.179 reg: 0.336 solved: 5 total time: 320.908
 opt: 0.219 reg: 0.049 solved: 6 total time: 321.178
 opt: 0.176 reg: 0.224 solved: 6 total time: 321.579
 opt: 0.204 reg: 0.06 solved: 5 total time: 321.844
 opt: 0.196 reg: 0.059 solved: 5 total time: 322.1
 opt: 0.174 reg: 0.223 solved: 6 total time: 322.499
 opt: 0.22 reg: 0.03 solved: 6 total time: 322.749
 opt: 0.184 reg: 0.173 solved: 5 total time: 323.107
 opt: 0.168 reg: 0.281 solved: 5 total time: 323.557
 opt: 0.213 reg: 0.202 solved: 7 total time: 323.974
 opt: 0.215 reg: 0.051 solved: 6 total time: 324.242
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
@@@T326214@@@
Done!
real 326.52
user 323.57
sys 2.47
slurmstepd-dhabi02: error: Detected 1 oom-kill event(s) in step 4402403.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
