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/Uninett2011_2.pddl']
INFO     translator arguments: []
INFO     translator time limit: None
INFO     translator memory limit: 25600 MB
INFO     callstring: /usr/bin/python2 /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/translate/translate.py /nfs/home/student.aau.dk/rtollu18/dat7/netstack/pddl-domains/domain-cc.pddl /nfs/home/student.aau.dk/rtollu18/dat7/netstack/zoo_pddl/Uninett2011_2.pddl
Parsing...
Parsing: [0.010s CPU, 0.018s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.002s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.012s wall-clock]
Preparing model... [0.010s CPU, 0.009s wall-clock]
Generated 173 rules.
Computing model... [0.110s CPU, 0.115s wall-clock]
1945 relevant atoms
3528 auxiliary atoms
5473 final queue length
6948 total queue pushes
Completing instantiation... [0.080s CPU, 0.086s wall-clock]
Instantiating: [0.230s CPU, 0.227s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.000s CPU, 0.008s 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...
140 uncovered facts
Choosing groups: [0.000s CPU, 0.000s wall-clock]
Building translation key... [0.000s CPU, 0.001s wall-clock]
Computing fact groups: [0.010s CPU, 0.012s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.000s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.000s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.000s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.010s CPU, 0.009s wall-clock]
Translating task: [0.110s CPU, 0.114s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
4 propositions removed
Detecting unreachable propositions: [0.020s CPU, 0.016s wall-clock]
Translator variables: 142
Translator derived variables: 0
Translator facts: 310
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 31
Translator operators: 1407
Translator axioms: 0
Translator task size: 8009
Translator peak memory: 23776 KB
Writing output... [0.020s CPU, 0.019s wall-clock]
Done! [0.400s CPU, 0.413s 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.
142 variables of 142 necessary
0 of 3 mutex groups necessary.
1407 of 1407 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 310 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=20164, notReached=75344, spurious=592
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=92048, notReached=3460, spurious=592
6 operators are spurious because were not triggered
H^2 mutexes added fw: 3460, unreachable: 0
0 of 1401 operators detected as spurious
Total mutex and disambiguation time: 0.166118 iterations: 2
1730 of 1730 mutex groups necessary.
1401 of 1407 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 1401
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 142
1730 of 1730 mutex groups necessary.
1401 of 1401 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
142 variables of 142 of 142 necessary
The causal graph is not acyclic.
142 variables of 142 necessary
1730 of 1730 mutex groups necessary.
1401 of 1401 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 142
Preprocessor facts: 310
Preprocessor derived variables: 0
Preprocessor operators: 1401
Preprocessor mutex groups: 1730
Preprocessor task size: 11408
Writing output...
Preprocessor time: 0.233055s
Preprocessor peak memory: 6016 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.000319395s]
Simplifying transitions... done!
done reading input! [t=0.0404256s]
building causal graph...done! [t=0.0418015s]
packing state variables...Variables: 142
Bytes per state: 20
done! [t=0.0419284s]
done initalizing global data [t=0.0419332s]
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() = 109
leader_vars_follower_preconditioned.size() = 108
follower_operators.size() = 1292
leader_operators.size() = 109
Initializing Symbolic Variables
Sym variable order: 1 19 18 17 21 68 76 52 84 28 9 60 124 100 92 44 36 101 85 69 29 45 37 10 61 93 128 77 53 38 70 94 62 30 3 102 86 22 54 78 46 15 89 33 57 81 49 113 6 73 97 65 41 25 2 40 48 88 32 72 56 5 96 80 109 24 64 12 91 120 59 43 35 67 8 99 83 51 75 27 13 20 14 98 58 82 26 34 50 7 66 90 42 74 117 11 16 95 79 105 39 47 4 71 55 87 63 23 31 133 131 123 115 126 127 116 134 137 136 132 118 103 140 104 119 122 0 135 130 141 108 112 138 107 111 139 106 114 125 121 129 110 
Num variables: 142 => 151
Initialize Symbolic Manager(302, 52980, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 116 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 0.032s
Starting Stackelberg bounded search...
 opt: 0.002 reg: 0 solved: 1 total time: 1.18761
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 1.18765
 opt: 0.001 reg: 0 solved: 1 total time: 1.19327
 opt: 0.001 reg: 0 solved: 1 total time: 1.19479
 opt: 0.004 reg: 0 solved: 1 total time: 1.19894
 opt: 0.002 reg: 0 solved: 1 total time: 1.20172
 opt: 0.003 reg: 0 solved: 1 total time: 1.2055
 opt: 0.003 reg: 0 solved: 1 total time: 1.20888
 opt: 0.002 reg: 0 solved: 1 total time: 1.21188
 opt: 0.003 reg: 0 solved: 1 total time: 1.21502
 opt: 0.005 reg: 0 solved: 2 total time: 1.22104
L = 1, leader states: 512, follower subproblems: 512, F:100000, total time: 1.2211
 opt: 0.01 reg: 0 solved: 2 total time: 1.23669
 opt: 0.012 reg: 0 solved: 2 total time: 1.249
L = 2, leader states: 13122, follower subproblems: 13122, F:100000, total time: 1.24909
 opt: 0.015 reg: 0 solved: 3 total time: 1.27041
 opt: 0.022 reg: 0 solved: 4 total time: 1.29347
 opt: 0.036 reg: 0 solved: 4 total time: 1.33113
 opt: 0.011 reg: 0.001 solved: 3 total time: 1.34433
 opt: 0.01 reg: 0.001 solved: 2 total time: 1.35616
 opt: 0.02 reg: 0.002 solved: 4 total time: 1.37951
 opt: 0.033 reg: 0.002 solved: 4 total time: 1.41573
 opt: 0.025 reg: 0.002 solved: 4 total time: 1.44363
 opt: 0.036 reg: 0.001 solved: 4 total time: 1.4816
 opt: 0.017 reg: 0.004 solved: 4 total time: 1.50378
 opt: 0.03 reg: 0.004 solved: 4 total time: 1.53879
L = 3, leader states: 131072, follower subproblems: 131072, F:100000, total time: 1.53901
 opt: 0.022 reg: 0.007 solved: 4 total time: 1.57455
 opt: 0.011 reg: 0.012 solved: 2 total time: 1.59831
 opt: 0.031 reg: 0.022 solved: 4 total time: 1.65177
 opt: 0.04 reg: 0.01 solved: 4 total time: 1.70211
 opt: 0.036 reg: 0.01 solved: 4 total time: 1.7499
 opt: 0.019 reg: 0.016 solved: 4 total time: 1.7857
 opt: 0.02 reg: 0.005 solved: 4 total time: 1.81152
 opt: 0.021 reg: 0.003 solved: 4 total time: 1.83633
 opt: 0.018 reg: 0.007 solved: 4 total time: 1.86206
 opt: 0.031 reg: 0.008 solved: 4 total time: 1.90134
 opt: 0.04 reg: 0.005 solved: 4 total time: 1.94821
 opt: 0.023 reg: 0.008 solved: 4 total time: 1.98024
 opt: 0.032 reg: 0.005 solved: 4 total time: 2.01793
 opt: 0.024 reg: 0.004 solved: 4 total time: 2.04664
 opt: 0.021 reg: 0.003 solved: 4 total time: 2.07247
 opt: 0.032 reg: 0.004 solved: 4 total time: 2.10895
 opt: 0.034 reg: 0.005 solved: 4 total time: 2.14918
 opt: 0.016 reg: 0.01 solved: 3 total time: 2.17679
 opt: 0.033 reg: 0.006 solved: 4 total time: 2.21691
L = 4, leader states: 781250, follower subproblems: 781250, F:100000, total time: 2.21716
 opt: 0.022 reg: 0.003 solved: 4 total time: 2.24989
 opt: 0.042 reg: 0.005 solved: 4 total time: 2.29754
 opt: 0.022 reg: 0.007 solved: 4 total time: 2.32741
 opt: 0.022 reg: 0.015 solved: 4 total time: 2.36626
 opt: 0.012 reg: 0 solved: 2 total time: 2.37975
 opt: 0.023 reg: 0.005 solved: 4 total time: 2.40895
 opt: 0.036 reg: 0.006 solved: 4 total time: 2.452
 opt: 0.039 reg: 0.006 solved: 4 total time: 2.49784
 opt: 0.018 reg: 0.004 solved: 3 total time: 2.52145
 opt: 0.02 reg: 0.008 solved: 4 total time: 2.55109
 opt: 0.035 reg: 0.007 solved: 4 total time: 2.59396
 opt: 0.026 reg: 0.005 solved: 4 total time: 2.62595
 opt: 0.022 reg: 0.013 solved: 4 total time: 2.66241
 opt: 0.022 reg: 0.016 solved: 4 total time: 2.70132
 opt: 0.038 reg: 0.015 solved: 4 total time: 2.7554
 opt: 0.039 reg: 0.011 solved: 4 total time: 2.80679
 opt: 0.032 reg: 0.01 solved: 4 total time: 2.85002
 opt: 0.039 reg: 0.008 solved: 4 total time: 2.8983
 opt: 0.031 reg: 0.011 solved: 4 total time: 2.94199
 opt: 0.018 reg: 0.009 solved: 4 total time: 2.97019
 opt: 0.043 reg: 0.013 solved: 4 total time: 3.02722
 opt: 0.036 reg: 0.008 solved: 4 total time: 3.07192
 opt: 0.027 reg: 0.024 solved: 5 total time: 3.12487
 opt: 0.038 reg: 0.003 solved: 4 total time: 3.16678
 opt: 0.052 reg: 0.002 solved: 4 total time: 3.22205
 opt: 0.029 reg: 0.007 solved: 5 total time: 3.25904
 opt: 0.033 reg: 0.007 solved: 4 total time: 3.30052
 opt: 0.036 reg: 0.006 solved: 4 total time: 3.34358
 opt: 0.033 reg: 0.005 solved: 4 total time: 3.38319
 opt: 0.025 reg: 0.017 solved: 5 total time: 3.42625
 opt: 0.026 reg: 0.02 solved: 5 total time: 3.47381
 opt: 0.039 reg: 0.017 solved: 5 total time: 3.53136
 opt: 0.025 reg: 0.017 solved: 5 total time: 3.57426
 opt: 0.027 reg: 0.008 solved: 5 total time: 3.60964
 opt: 0.023 reg: 0.004 solved: 5 total time: 3.63751
 opt: 0.04 reg: 0.006 solved: 4 total time: 3.6846
 opt: 0.038 reg: 0.011 solved: 5 total time: 3.735
 opt: 0.02 reg: 0.014 solved: 5 total time: 3.77005
 opt: 0.037 reg: 0.013 solved: 5 total time: 3.82086
 opt: 0.05 reg: 0.016 solved: 5 total time: 3.8885
 opt: 0.027 reg: 0.004 solved: 5 total time: 3.92074
 opt: 0.027 reg: 0.004 solved: 5 total time: 3.95267
 opt: 0.024 reg: 0.008 solved: 5 total time: 3.98564
 opt: 0.031 reg: 0.016 solved: 6 total time: 4.03369
 opt: 0.032 reg: 0.026 solved: 5 total time: 4.09272
 opt: 0.028 reg: 0.035 solved: 5 total time: 4.15703
 opt: 0.024 reg: 0.008 solved: 4 total time: 4.19078
 opt: 0.028 reg: 0.008 solved: 5 total time: 4.22866
 opt: 0.046 reg: 0.006 solved: 4 total time: 4.28186
 opt: 0.026 reg: 0.016 solved: 5 total time: 4.32562
 opt: 0.026 reg: 0.033 solved: 6 total time: 4.38559
 opt: 0.035 reg: 0.016 solved: 6 total time: 4.43746
 opt: 0.023 reg: 0.005 solved: 4 total time: 4.46611
 opt: 0.044 reg: 0.013 solved: 5 total time: 4.52447
 opt: 0.031 reg: 0.025 solved: 5 total time: 4.58127
 opt: 0.042 reg: 0.004 solved: 4 total time: 4.62811
 opt: 0.027 reg: 0.002 solved: 5 total time: 4.65809
 opt: 0.041 reg: 0.002 solved: 5 total time: 4.70204
 opt: 0.042 reg: 0.006 solved: 6 total time: 4.75138
 opt: 0.048 reg: 0.015 solved: 5 total time: 4.81592
 opt: 0.032 reg: 0.037 solved: 6 total time: 4.88572
 opt: 0.048 reg: 0.036 solved: 5 total time: 4.97068
 opt: 0.028 reg: 0.019 solved: 5 total time: 5.01902
 opt: 0.05 reg: 0.009 solved: 5 total time: 5.07955
 opt: 0.043 reg: 0.019 solved: 6 total time: 5.14286
 opt: 0.053 reg: 0.024 solved: 5 total time: 5.2213
 opt: 0.03 reg: 0.012 solved: 6 total time: 5.26443
 opt: 0.057 reg: 0.006 solved: 5 total time: 5.3284
 opt: 0.054 reg: 0.006 solved: 5 total time: 5.39032
 opt: 0.027 reg: 0.022 solved: 6 total time: 5.43978
 opt: 0.028 reg: 0.036 solved: 6 total time: 5.50489
 opt: 0.04 reg: 0.024 solved: 6 total time: 5.57081
 opt: 0.059 reg: 0.002 solved: 5 total time: 5.63297
 opt: 0.03 reg: 0.008 solved: 5 total time: 5.67229
 opt: 0.05 reg: 0.006 solved: 6 total time: 5.72891
 opt: 0.031 reg: 0.005 solved: 5 total time: 5.76668
 opt: 0.037 reg: 0.011 solved: 5 total time: 5.81596
 opt: 0.024 reg: 0.022 solved: 6 total time: 5.86371
 opt: 0.034 reg: 0.012 solved: 5 total time: 5.91092
 opt: 0.024 reg: 0.011 solved: 6 total time: 5.94695
 opt: 0.056 reg: 0.011 solved: 5 total time: 6.01552
 opt: 0.065 reg: 0.012 solved: 5 total time: 6.09374
 opt: 0.05 reg: 0.011 solved: 5 total time: 6.1562
 opt: 0.052 reg: 0.026 solved: 5 total time: 6.23564
 opt: 0.049 reg: 0.002 solved: 6 total time: 6.28838
 opt: 0.044 reg: 0.009 solved: 5 total time: 6.34311
 opt: 0.045 reg: 0.008 solved: 6 total time: 6.39779
 opt: 0.052 reg: 0.014 solved: 5 total time: 6.46528
 opt: 0.049 reg: 0.033 solved: 5 total time: 6.54826
 opt: 0.045 reg: 0.009 solved: 5 total time: 6.60344
 opt: 0.046 reg: 0.011 solved: 6 total time: 6.66191
 opt: 0.056 reg: 0.015 solved: 5 total time: 6.73404
 opt: 0.042 reg: 0.019 solved: 5 total time: 6.79669
 opt: 0.046 reg: 0.011 solved: 5 total time: 6.85541
 opt: 0.054 reg: 0.029 solved: 6 total time: 6.93916
 opt: 0.032 reg: 0.022 solved: 5 total time: 6.99446
 opt: 0.047 reg: 0.006 solved: 5 total time: 7.04811
 opt: 0.051 reg: 0.004 solved: 5 total time: 7.10513
 opt: 0.028 reg: 0.005 solved: 5 total time: 7.14004
 opt: 0.043 reg: 0.01 solved: 5 total time: 7.19481
 opt: 0.03 reg: 0.026 solved: 6 total time: 7.25129
 opt: 0.058 reg: 0.031 solved: 6 total time: 7.34136
 opt: 0.049 reg: 0.005 solved: 5 total time: 7.39666
 opt: 0.036 reg: 0.013 solved: 5 total time: 7.44657
 opt: 0.064 reg: 0.014 solved: 6 total time: 7.52622
 opt: 0.033 reg: 0.02 solved: 5 total time: 7.58111
 opt: 0.05 reg: 0.041 solved: 5 total time: 7.67275
 opt: 0.07 reg: 0.016 solved: 5 total time: 7.75993
 opt: 0.042 reg: 0.024 solved: 6 total time: 7.82775
 opt: 0.053 reg: 0.01 solved: 5 total time: 7.89274
 opt: 0.054 reg: 0.011 solved: 5 total time: 7.95828
 opt: 0.041 reg: 0.027 solved: 6 total time: 8.02785
 opt: 0.049 reg: 0.041 solved: 6 total time: 8.11879
 opt: 0.038 reg: 0.004 solved: 6 total time: 8.16169
 opt: 0.05 reg: 0.002 solved: 6 total time: 8.21581
 opt: 0.049 reg: 0.003 solved: 6 total time: 8.26846
 opt: 0.05 reg: 0.007 solved: 5 total time: 8.32678
 opt: 0.031 reg: 0.011 solved: 6 total time: 8.36984
 opt: 0.061 reg: 0.014 solved: 6 total time: 8.44681
 opt: 0.057 reg: 0.016 solved: 6 total time: 8.52059
 opt: 0.054 reg: 0.026 solved: 6 total time: 8.60226
 opt: 0.036 reg: 0.038 solved: 5 total time: 8.67703
 opt: 0.039 reg: 0.013 solved: 6 total time: 8.7299
 opt: 0.054 reg: 0.021 solved: 5 total time: 8.80674
 opt: 0.047 reg: 0.008 solved: 6 total time: 8.86298
 opt: 0.04 reg: 0.018 solved: 6 total time: 8.92171
 opt: 0.058 reg: 0.027 solved: 6 total time: 9.00813
 opt: 0.059 reg: 0.031 solved: 6 total time: 9.09933
 opt: 0.057 reg: 0.027 solved: 5 total time: 9.18433
 opt: 0.025 reg: 0.017 solved: 6 total time: 9.22735
 opt: 0.054 reg: 0.01 solved: 6 total time: 9.29266
 opt: 0.047 reg: 0.009 solved: 6 total time: 9.34977
 opt: 0.045 reg: 0.018 solved: 6 total time: 9.41389
 opt: 0.052 reg: 0.02 solved: 6 total time: 9.48717
 opt: 0.065 reg: 0.039 solved: 6 total time: 9.59282
 opt: 0.029 reg: 0.013 solved: 6 total time: 9.6361
 opt: 0.056 reg: 0.009 solved: 6 total time: 9.70291
 opt: 0.053 reg: 0.024 solved: 5 total time: 9.78047
 opt: 0.043 reg: 0.04 solved: 6 total time: 9.86418
 opt: 0.049 reg: 0.003 solved: 5 total time: 9.91707
 opt: 0.053 reg: 0.008 solved: 6 total time: 9.97937
 opt: 0.046 reg: 0.008 solved: 6 total time: 10.0346
 opt: 0.053 reg: 0.009 solved: 5 total time: 10.0976
 opt: 0.052 reg: 0.029 solved: 6 total time: 10.1798
 opt: 0.033 reg: 0.034 solved: 6 total time: 10.248
 opt: 0.058 reg: 0.008 solved: 5 total time: 10.316
 opt: 0.055 reg: 0.009 solved: 6 total time: 10.3805
 opt: 0.055 reg: 0.011 solved: 6 total time: 10.4478
 opt: 0.054 reg: 0.02 solved: 5 total time: 10.5231
 opt: 0.059 reg: 0.03 solved: 5 total time: 10.6129
 opt: 0.049 reg: 0.027 solved: 6 total time: 10.69
 opt: 0.054 reg: 0.011 solved: 6 total time: 10.7568
 opt: 0.055 reg: 0.007 solved: 6 total time: 10.8201
 opt: 0.038 reg: 0.026 solved: 5 total time: 10.8851
 opt: 0.044 reg: 0.029 solved: 6 total time: 10.9597
 opt: 0.044 reg: 0.04 solved: 6 total time: 11.0444
 opt: 0.049 reg: 0.012 solved: 6 total time: 11.107
 opt: 0.034 reg: 0.02 solved: 6 total time: 11.1619
 opt: 0.051 reg: 0.011 solved: 6 total time: 11.2247
 opt: 0.037 reg: 0.02 solved: 6 total time: 11.2823
 opt: 0.058 reg: 0.011 solved: 6 total time: 11.3526
 opt: 0.036 reg: 0.018 solved: 5 total time: 11.4085
 opt: 0.066 reg: 0.022 solved: 5 total time: 11.4977
 opt: 0.048 reg: 0.031 solved: 6 total time: 11.5774
 opt: 0.056 reg: 0.011 solved: 6 total time: 11.6458
 opt: 0.052 reg: 0.018 solved: 6 total time: 11.7173
 opt: 0.051 reg: 0.01 solved: 5 total time: 11.7795
 opt: 0.058 reg: 0.024 solved: 6 total time: 11.8629
 opt: 0.037 reg: 0.039 solved: 5 total time: 11.9393
 opt: 0.052 reg: 0.027 solved: 6 total time: 12.0197
 opt: 0.043 reg: 0.018 solved: 6 total time: 12.0815
 opt: 0.06 reg: 0.015 solved: 6 total time: 12.1582
 opt: 0.05 reg: 0.013 solved: 6 total time: 12.2218
 opt: 0.047 reg: 0.01 solved: 6 total time: 12.2806
 opt: 0.058 reg: 0.015 solved: 6 total time: 12.3546
 opt: 0.052 reg: 0.015 solved: 6 total time: 12.4224
 opt: 0.064 reg: 0.01 solved: 6 total time: 12.497
 opt: 0.059 reg: 0.02 solved: 6 total time: 12.5774
 opt: 0.034 reg: 0.027 solved: 5 total time: 12.6403
 opt: 0.048 reg: 0.006 solved: 6 total time: 12.6952
 opt: 0.05 reg: 0.014 solved: 5 total time: 12.7609
 opt: 0.039 reg: 0.009 solved: 6 total time: 12.8101
 opt: 0.059 reg: 0.023 solved: 6 total time: 12.8929
 opt: 0.063 reg: 0.023 solved: 6 total time: 12.9807
 opt: 0.053 reg: 0.03 solved: 6 total time: 13.0655
 opt: 0.055 reg: 0.007 solved: 6 total time: 13.1283
 opt: 0.053 reg: 0.009 solved: 6 total time: 13.1917
 opt: 0.042 reg: 0.01 solved: 6 total time: 13.2444
 opt: 0.036 reg: 0.01 solved: 6 total time: 13.2923
 opt: 0.048 reg: 0.012 solved: 6 total time: 13.3529
 opt: 0.045 reg: 0.009 solved: 6 total time: 13.4083
L = 5, leader states: 3.35923e+06, follower subproblems: 3.35923e+06, F:100000, total time: 13.4086
 opt: 0.023 reg: 0.013 solved: 2 total time: 13.454
 opt: 0.036 reg: 0.064 solved: 4 total time: 13.5556
 opt: 0.039 reg: 0.038 solved: 4 total time: 13.6339
 opt: 0.055 reg: 0.024 solved: 4 total time: 13.7138
 opt: 0.037 reg: 0.072 solved: 4 total time: 13.8247
 opt: 0.034 reg: 0.109 solved: 4 total time: 13.9695
 opt: 0.034 reg: 0.049 solved: 4 total time: 14.0541
 opt: 0.053 reg: 0.036 solved: 4 total time: 14.1446
 opt: 0.034 reg: 0.086 solved: 4 total time: 14.2653
 opt: 0.052 reg: 0.107 solved: 4 total time: 14.4253
 opt: 0.034 reg: 0.1 solved: 4 total time: 14.5596
 opt: 0.046 reg: 0.042 solved: 4 total time: 14.6492
 opt: 0.036 reg: 0.999 solved: 4 total time: 15.6835
 opt: 0.055 reg: 0.032 solved: 5 total time: 15.7724
 opt: 0.053 reg: 0.036 solved: 4 total time: 15.8619
 opt: 0.049 reg: 0.067 solved: 5 total time: 15.9793
 opt: 0.061 reg: 0.039 solved: 4 total time: 16.0799
 opt: 0.031 reg: 0.136 solved: 4 total time: 16.2479
 opt: 0.045 reg: 0.132 solved: 4 total time: 16.4262
 opt: 0.046 reg: 0.15 solved: 4 total time: 16.6234
 opt: 0.046 reg: 0.126 solved: 4 total time: 16.797
 opt: 0.043 reg: 0.113 solved: 4 total time: 16.9542
 opt: 0.042 reg: 0.125 solved: 4 total time: 17.1225
 opt: 0.042 reg: 0.154 solved: 4 total time: 17.3196
 opt: 0.03 reg: 0.162 solved: 4 total time: 17.5124
 opt: 0.033 reg: 0.226 solved: 4 total time: 17.7727
 opt: 0.043 reg: 0.142 solved: 4 total time: 17.9587
 opt: 0.052 reg: 0.047 solved: 4 total time: 18.0591
 opt: 0.035 reg: 0.227 solved: 4 total time: 18.3214
 opt: 0.032 reg: 0.144 solved: 4 total time: 18.4987
 opt: 0.027 reg: 0.038 solved: 3 total time: 18.5645
 opt: 0.052 reg: 0.099 solved: 5 total time: 18.7166
 opt: 0.044 reg: 0.142 solved: 4 total time: 18.9033
 opt: 0.072 reg: 0.083 solved: 5 total time: 19.0587
 opt: 0.044 reg: 0.042 solved: 5 total time: 19.1463
 opt: 0.051 reg: 0.126 solved: 5 total time: 19.3249
 opt: 0.047 reg: 0.935 solved: 4 total time: 20.3071
 opt: 0.066 reg: 0.042 solved: 5 total time: 20.4159
 opt: 0.049 reg: 0.13 solved: 4 total time: 20.5959
 opt: 0.037 reg: 0.054 solved: 4 total time: 20.6885
 opt: 0.06 reg: 0.07 solved: 5 total time: 20.8195
 opt: 0.034 reg: 0.144 solved: 4 total time: 20.9981
 opt: 0.038 reg: 0.104 solved: 4 total time: 21.1411
 opt: 0.074 reg: 0.121 solved: 5 total time: 21.3362
 opt: 0.038 reg: 0.066 solved: 4 total time: 21.4413
 opt: 0.038 reg: 0.207 solved: 4 total time: 21.6878
 opt: 0.043 reg: 0.099 solved: 5 total time: 21.8314
 opt: 0.054 reg: 0.112 solved: 5 total time: 21.9982
 opt: 0.052 reg: 0.102 solved: 5 total time: 22.1535
 opt: 0.031 reg: 0.2 solved: 4 total time: 22.3855
 opt: 0.047 reg: 0.066 solved: 5 total time: 22.4997
 opt: 0.057 reg: 0.038 solved: 5 total time: 22.5966
 opt: 0.055 reg: 0.194 solved: 4 total time: 22.8464
 opt: 0.061 reg: 0.07 solved: 5 total time: 22.9785
 opt: 0.037 reg: 0.164 solved: 4 total time: 23.1808
 opt: 0.049 reg: 0.218 solved: 4 total time: 23.449
 opt: 0.072 reg: 0.198 solved: 5 total time: 23.7197
 opt: 0.036 reg: 0.382 solved: 4 total time: 24.1389
 opt: 0.079 reg: 0.847 solved: 6 total time: 25.0647
 opt: 0.057 reg: 0.171 solved: 5 total time: 25.2936
 opt: 0.067 reg: 0.15 solved: 5 total time: 25.5126
 opt: 0.058 reg: 0.062 solved: 5 total time: 25.6347
 opt: 0.057 reg: 0.155 solved: 5 total time: 25.8477
 opt: 0.06 reg: 0.075 solved: 6 total time: 25.9839
 opt: 0.042 reg: 0.214 solved: 5 total time: 26.2412
 opt: 0.036 reg: 0.102 solved: 4 total time: 26.3803
 opt: 0.045 reg: 0.199 solved: 5 total time: 26.6249
 opt: 0.067 reg: 0.15 solved: 4 total time: 26.8433
 opt: 0.063 reg: 0.109 solved: 6 total time: 27.0174
 opt: 0.044 reg: 0.274 solved: 5 total time: 27.3355
 opt: 0.063 reg: 0.315 solved: 5 total time: 27.7141
 opt: 0.046 reg: 0.231 solved: 5 total time: 27.9922
 opt: 0.04 reg: 0.14 solved: 4 total time: 28.173
 opt: 0.067 reg: 0.308 solved: 5 total time: 28.5496
 opt: 0.067 reg: 0.91 solved: 6 total time: 29.5267
 opt: 0.066 reg: 0.056 solved: 5 total time: 29.6499
 opt: 0.044 reg: 0.219 solved: 5 total time: 29.9133
 opt: 0.066 reg: 0.203 solved: 5 total time: 30.1836
 opt: 0.063 reg: 0.034 solved: 5 total time: 30.2813
 opt: 0.063 reg: 0.242 solved: 4 total time: 30.5874
 opt: 0.05 reg: 0.072 solved: 5 total time: 30.7108
 opt: 0.06 reg: 0.098 solved: 4 total time: 30.8704
 opt: 0.054 reg: 0.088 solved: 4 total time: 31.0141
 opt: 0.067 reg: 0.087 solved: 7 total time: 31.1688
 opt: 0.055 reg: 0.197 solved: 4 total time: 31.4224
 opt: 0.068 reg: 0.098 solved: 4 total time: 31.5895
 opt: 0.073 reg: 0.112 solved: 6 total time: 31.7749
 opt: 0.063 reg: 0.186 solved: 5 total time: 32.0246
 opt: 0.062 reg: 0.112 solved: 7 total time: 32.1997
 opt: 0.069 reg: 0.163 solved: 5 total time: 32.4326
 opt: 0.074 reg: 0.294 solved: 5 total time: 32.8016
 opt: 0.062 reg: 0.315 solved: 5 total time: 33.179
 opt: 0.074 reg: 0.114 solved: 6 total time: 33.3685
 opt: 0.06 reg: 0.21 solved: 6 total time: 33.6391
 opt: 0.049 reg: 1.232 solved: 5 total time: 34.9203
 opt: 0.083 reg: 0.198 solved: 5 total time: 35.2023
 opt: 0.06 reg: 0.08 solved: 5 total time: 35.343
 opt: 0.049 reg: 0.09 solved: 5 total time: 35.4836
 opt: 0.061 reg: 0.149 solved: 7 total time: 35.695
 opt: 0.063 reg: 0.123 solved: 6 total time: 35.8824
 opt: 0.045 reg: 0.332 solved: 6 total time: 36.26
 opt: 0.079 reg: 0.349 solved: 5 total time: 36.6888
 opt: 0.065 reg: 0.503 solved: 5 total time: 37.2576
 opt: 0.065 reg: 0.344 solved: 5 total time: 37.6681
 opt: 0.066 reg: 0.612 solved: 5 total time: 38.3467
 opt: 0.067 reg: 0.793 solved: 4 total time: 39.2075
 opt: 0.076 reg: 1.297 solved: 5 total time: 40.5799
 opt: 0.061 reg: 0.204 solved: 6 total time: 40.8467
 opt: 0.071 reg: 0.329 solved: 5 total time: 41.2482
 opt: 0.064 reg: 0.135 solved: 5 total time: 41.4479
 opt: 0.068 reg: 0.136 solved: 5 total time: 41.6528
 opt: 0.068 reg: 0.338 solved: 5 total time: 42.0599
 opt: 0.092 reg: 0.208 solved: 5 total time: 42.3612
 opt: 0.075 reg: 0.483 solved: 6 total time: 42.9194
 opt: 0.049 reg: 0.372 solved: 5 total time: 43.3416
 opt: 0.065 reg: 0.79 solved: 5 total time: 44.1975
 opt: 0.083 reg: 1.394 solved: 6 total time: 45.6735
 opt: 0.067 reg: 0.131 solved: 6 total time: 45.8728
 opt: 0.084 reg: 0.198 solved: 6 total time: 46.1556
 opt: 0.076 reg: 0.38 solved: 5 total time: 46.6119
 opt: 0.056 reg: 0.331 solved: 5 total time: 46.9995
 opt: 0.076 reg: 0.07 solved: 5 total time: 47.1467
 opt: 0.077 reg: 0.235 solved: 6 total time: 47.4598
 opt: 0.07 reg: 0.464 solved: 5 total time: 47.9943
 opt: 0.065 reg: 0.247 solved: 7 total time: 48.307
 opt: 0.055 reg: 0.922 solved: 5 total time: 49.2842
 opt: 0.078 reg: 0.231 solved: 6 total time: 49.5947
 opt: 0.072 reg: 0.448 solved: 5 total time: 50.1149
 opt: 0.08 reg: 1.223 solved: 6 total time: 51.418
 opt: 0.07 reg: 0.14 solved: 6 total time: 51.6294
 opt: 0.08 reg: 0.241 solved: 6 total time: 51.9519
 opt: 0.07 reg: 0.561 solved: 5 total time: 52.5835
 opt: 0.084 reg: 0.241 solved: 6 total time: 52.9093
 opt: 0.067 reg: 0.062 solved: 6 total time: 53.0392
 opt: 0.072 reg: 0.338 solved: 5 total time: 53.4499
 opt: 0.068 reg: 0.157 solved: 5 total time: 53.6761
 opt: 0.063 reg: 0.219 solved: 6 total time: 53.9592
 opt: 0.078 reg: 0.172 solved: 6 total time: 54.2101
 opt: 0.076 reg: 0.127 solved: 5 total time: 54.4139
 opt: 0.074 reg: 0.083 solved: 6 total time: 54.5724
 opt: 0.054 reg: 1.615 solved: 5 total time: 56.2404
 opt: 0.072 reg: 0.063 solved: 5 total time: 56.3762
 opt: 0.097 reg: 0.209 solved: 7 total time: 56.6833
 opt: 0.077 reg: 0.18 solved: 6 total time: 56.9413
 opt: 0.061 reg: 0.214 solved: 5 total time: 57.2173
 opt: 0.048 reg: 0.14 solved: 6 total time: 57.4061
 opt: 0.074 reg: 0.184 solved: 5 total time: 57.6653
 opt: 0.07 reg: 0.089 solved: 5 total time: 57.8253
 opt: 0.067 reg: 0.203 solved: 5 total time: 58.096
 opt: 0.078 reg: 0.11 solved: 6 total time: 58.2842
 opt: 0.069 reg: 0.345 solved: 5 total time: 58.699
 opt: 0.092 reg: 0.063 solved: 6 total time: 58.8561
 opt: 0.079 reg: 0.119 solved: 5 total time: 59.0551
 opt: 0.086 reg: 0.204 solved: 5 total time: 59.3462
 opt: 0.054 reg: 0.182 solved: 5 total time: 59.5824
 opt: 0.063 reg: 0.158 solved: 6 total time: 59.8043
 opt: 0.085 reg: 0.167 solved: 7 total time: 60.0577
 opt: 0.073 reg: 0.111 solved: 5 total time: 60.2433
 opt: 0.065 reg: 0.229 solved: 6 total time: 60.5375
 opt: 0.07 reg: 0.346 solved: 5 total time: 60.9549
 opt: 0.08 reg: 0.09 solved: 5 total time: 61.1265
 opt: 0.072 reg: 1.485 solved: 4 total time: 62.6828
 opt: 0.076 reg: 0.12 solved: 6 total time: 62.8798
 opt: 0.064 reg: 0.202 solved: 4 total time: 63.1473
 opt: 0.091 reg: 0.163 solved: 5 total time: 63.4027
 opt: 0.063 reg: 0.146 solved: 4 total time: 63.6135
 opt: 0.087 reg: 0.088 solved: 5 total time: 63.7897
 opt: 0.093 reg: 0.037 solved: 6 total time: 63.9206
 opt: 0.091 reg: 0.184 solved: 5 total time: 64.1967
 opt: 0.088 reg: 0.037 solved: 6 total time: 64.3224
 opt: 0.075 reg: 0.148 solved: 5 total time: 64.5471
 opt: 0.064 reg: 0.134 solved: 5 total time: 64.7463
 opt: 0.074 reg: 0.029 solved: 5 total time: 64.8507
 opt: 0.079 reg: 0.111 solved: 5 total time: 65.0423
 opt: 0.074 reg: 0.099 solved: 6 total time: 65.2172
 opt: 0.083 reg: 0.124 solved: 6 total time: 65.4252
 opt: 0.083 reg: 0.325 solved: 6 total time: 65.8339
 opt: 0.082 reg: 0.144 solved: 6 total time: 66.0606
 opt: 0.084 reg: 0.177 solved: 6 total time: 66.322
 opt: 0.073 reg: 0.293 solved: 6 total time: 66.6881
 opt: 0.067 reg: 0.233 solved: 7 total time: 66.9891
 opt: 0.116 reg: 0.064 solved: 6 total time: 67.1706
 opt: 0.089 reg: 0.285 solved: 5 total time: 67.5464
 opt: 0.065 reg: 0.36 solved: 7 total time: 67.9731
 opt: 0.076 reg: 0.233 solved: 6 total time: 68.283
 opt: 0.098 reg: 0.199 solved: 7 total time: 68.5801
 opt: 0.075 reg: 0.339 solved: 6 total time: 68.9951
 opt: 0.056 reg: 1.917 solved: 5 total time: 70.9658
 opt: 0.091 reg: 0.5 solved: 5 total time: 71.5573
 opt: 0.084 reg: 0.501 solved: 5 total time: 72.1434
 opt: 0.081 reg: 0.389 solved: 5 total time: 72.6141
 opt: 0.076 reg: 0.302 solved: 7 total time: 72.993
 opt: 0.093 reg: 0.278 solved: 6 total time: 73.3648
 opt: 0.084 reg: 0.071 solved: 6 total time: 73.5206
 opt: 0.083 reg: 0.276 solved: 6 total time: 73.8807
 opt: 0.089 reg: 0.607 solved: 5 total time: 74.577
 opt: 0.079 reg: 0.616 solved: 5 total time: 75.273
 opt: 0.072 reg: 0.494 solved: 5 total time: 75.8401
 opt: 0.075 reg: 0.376 solved: 7 total time: 76.2921
 opt: 0.066 reg: 0.035 solved: 6 total time: 76.3941
 opt: 0.077 reg: 0.179 solved: 6 total time: 76.6513
 opt: 0.078 reg: 1.534 solved: 5 total time: 78.2618
 opt: 0.097 reg: 0.188 solved: 7 total time: 78.5477
 opt: 0.086 reg: 0.101 solved: 5 total time: 78.7359
 opt: 0.077 reg: 0.136 solved: 5 total time: 78.95
 opt: 0.075 reg: 0.13 solved: 6 total time: 79.1557
 opt: 0.071 reg: 0.215 solved: 6 total time: 79.4423
 opt: 0.092 reg: 0.19 solved: 5 total time: 79.7257
 opt: 0.082 reg: 0.202 solved: 6 total time: 80.0111
 opt: 0.084 reg: 0.255 solved: 6 total time: 80.3503
 opt: 0.067 reg: 0.223 solved: 7 total time: 80.6412
 opt: 0.085 reg: 0.336 solved: 7 total time: 81.0633
 opt: 0.083 reg: 0.187 solved: 6 total time: 81.3345
 opt: 0.077 reg: 0.241 solved: 7 total time: 81.6543
 opt: 0.084 reg: 0.137 solved: 6 total time: 81.8765
 opt: 0.086 reg: 0.29 solved: 6 total time: 82.2532
 opt: 0.085 reg: 0.663 solved: 5 total time: 83.0018
 opt: 0.09 reg: 0.091 solved: 6 total time: 83.1835
 opt: 0.065 reg: 0.392 solved: 7 total time: 83.6411
 opt: 0.083 reg: 0.275 solved: 7 total time: 84.0003
 opt: 0.105 reg: 0.054 solved: 6 total time: 84.1611
 opt: 0.078 reg: 0.232 solved: 6 total time: 84.4716
 opt: 0.083 reg: 0.23 solved: 7 total time: 84.786
 opt: 0.079 reg: 0.37 solved: 7 total time: 85.2358
 opt: 0.059 reg: 0.132 solved: 7 total time: 85.4278
 opt: 0.064 reg: 0.124 solved: 6 total time: 85.6171
 opt: 0.077 reg: 0.359 solved: 7 total time: 86.0542
 opt: 0.087 reg: 0.198 solved: 6 total time: 86.3406
 opt: 1.234 reg: 0.249 solved: 6 total time: 87.8224
 opt: 0.086 reg: 0.036 solved: 6 total time: 87.9461
 opt: 0.071 reg: 0.046 solved: 6 total time: 88.064
 opt: 0.102 reg: 0.242 solved: 7 total time: 88.4091
 opt: 0.091 reg: 0.477 solved: 5 total time: 88.9772
 opt: 0.062 reg: 0.161 solved: 7 total time: 89.2013
 opt: 0.089 reg: 0.233 solved: 6 total time: 89.5246
 opt: 0.061 reg: 0.148 solved: 6 total time: 89.7357
 opt: 0.082 reg: 0.037 solved: 6 total time: 89.8553
 opt: 0.095 reg: 0.229 solved: 6 total time: 90.1808
 opt: 0.093 reg: 0.251 solved: 6 total time: 90.5255
 opt: 0.083 reg: 0.689 solved: 5 total time: 91.2973
 opt: 0.078 reg: 0.051 solved: 6 total time: 91.4271
 opt: 0.078 reg: 0.677 solved: 5 total time: 92.1822
 opt: 0.085 reg: 0.106 solved: 5 total time: 92.3747
 opt: 0.077 reg: 0.21 solved: 7 total time: 92.6627
 opt: 0.084 reg: 1.424 solved: 6 total time: 94.1701
 opt: 0.076 reg: 0.041 solved: 6 total time: 94.2884
 opt: 0.091 reg: 0.215 solved: 7 total time: 94.596
 opt: 0.081 reg: 0.213 solved: 7 total time: 94.8905
 opt: 0.073 reg: 0.036 solved: 6 total time: 95
 opt: 0.06 reg: 0.031 solved: 6 total time: 95.092
 opt: 0.078 reg: 0.032 solved: 6 total time: 95.2028
 opt: 0.081 reg: 0.218 solved: 6 total time: 95.5036
 opt: 0.087 reg: 0.147 solved: 6 total time: 95.739
 opt: 0.079 reg: 0.186 solved: 6 total time: 96.0046
 opt: 0.083 reg: 0.109 solved: 6 total time: 96.1975
 opt: 0.078 reg: 0.074 solved: 6 total time: 96.3502
 opt: 0.067 reg: 0.172 solved: 6 total time: 96.591
 opt: 0.081 reg: 0.176 solved: 6 total time: 96.8484
 opt: 0.082 reg: 0.182 solved: 6 total time: 97.1139
 opt: 0.069 reg: 0.298 solved: 6 total time: 97.4819
 opt: 0.088 reg: 0.068 solved: 7 total time: 97.6392
 opt: 0.103 reg: 0.114 solved: 6 total time: 97.8575
 opt: 0.077 reg: 0.044 solved: 7 total time: 97.9793
 opt: 0.085 reg: 0.176 solved: 6 total time: 98.2416
 opt: 0.091 reg: 0.817 solved: 5 total time: 99.1497
 opt: 0.088 reg: 0.374 solved: 6 total time: 99.612
 opt: 0.07 reg: 0.392 solved: 6 total time: 100.075
 opt: 0.082 reg: 0.086 solved: 7 total time: 100.244
 opt: 0.091 reg: 0.093 solved: 7 total time: 100.429
 opt: 0.091 reg: 0.143 solved: 6 total time: 100.665
 opt: 0.074 reg: 1.564 solved: 6 total time: 102.302
 opt: 0.096 reg: 0.29 solved: 6 total time: 102.689
 opt: 0.078 reg: 0.041 solved: 5 total time: 102.81
 opt: 0.083 reg: 0.115 solved: 5 total time: 103.009
 opt: 0.096 reg: 0.093 solved: 7 total time: 103.199
 opt: 0.068 reg: 0.073 solved: 6 total time: 103.342
 opt: 0.102 reg: 0.077 solved: 6 total time: 103.522
 opt: 0.089 reg: 0.306 solved: 6 total time: 103.918
 opt: 0.075 reg: 0.159 solved: 5 total time: 104.152
 opt: 0.076 reg: 0.324 solved: 6 total time: 104.554
 opt: 0.083 reg: 0.376 solved: 5 total time: 105.015
 opt: 0.096 reg: 0.082 solved: 6 total time: 105.194
 opt: 0.082 reg: 0.341 solved: 5 total time: 105.617
 opt: 0.086 reg: 0.091 solved: 6 total time: 105.796
 opt: 0.091 reg: 0.05 solved: 5 total time: 105.938
 opt: 0.081 reg: 0.287 solved: 5 total time: 106.307
 opt: 0.063 reg: 1.394 solved: 6 total time: 107.763
 opt: 0.094 reg: 0.249 solved: 6 total time: 108.107
 opt: 0.082 reg: 0.05 solved: 6 total time: 108.241
 opt: 0.088 reg: 0.682 solved: 5 total time: 109.011
 opt: 0.079 reg: 0.397 solved: 6 total time: 109.487
 opt: 0.096 reg: 0.056 solved: 7 total time: 109.64
 opt: 0.094 reg: 0.14 solved: 6 total time: 109.875
 opt: 0.089 reg: 0.125 solved: 5 total time: 110.09
 opt: 0.095 reg: 0.341 solved: 6 total time: 110.527
 opt: 0.104 reg: 0.163 solved: 6 total time: 110.794
 opt: 0.1 reg: 0.629 solved: 5 total time: 111.524
 opt: 0.081 reg: 0.068 solved: 6 total time: 111.674
 opt: 0.09 reg: 0.06 solved: 6 total time: 111.825
 opt: 0.087 reg: 0.09 solved: 7 total time: 112.004
 opt: 0.097 reg: 0.629 solved: 5 total time: 112.731
 opt: 0.099 reg: 0.073 solved: 7 total time: 112.904
 opt: 0.106 reg: 0.739 solved: 5 total time: 113.748
 opt: 0.079 reg: 1.614 solved: 5 total time: 115.44
 opt: 0.077 reg: 0.28 solved: 6 total time: 115.798
 opt: 0.106 reg: 0.066 solved: 7 total time: 115.971
 opt: 0.096 reg: 0.508 solved: 5 total time: 116.576
 opt: 0.089 reg: 0.058 solved: 5 total time: 116.724
 opt: 0.121 reg: 0.104 solved: 6 total time: 116.949
 opt: 0.064 reg: 0.169 solved: 6 total time: 117.183
 opt: 0.087 reg: 0.151 solved: 5 total time: 117.422
 opt: 0.093 reg: 0.537 solved: 5 total time: 118.052
 opt: 0.119 reg: 0.057 solved: 7 total time: 118.229
 opt: 0.086 reg: 0.363 solved: 6 total time: 118.679
 opt: 0.093 reg: 0.19 solved: 6 total time: 118.963
 opt: 0.1 reg: 0.052 solved: 6 total time: 119.116
 opt: 0.103 reg: 0.103 solved: 6 total time: 119.323
 opt: 0.09 reg: 0.187 solved: 6 total time: 119.601
 opt: 0.113 reg: 0.121 solved: 6 total time: 119.836
 opt: 0.112 reg: 0.141 solved: 5 total time: 120.09
 opt: 0.091 reg: 0.084 solved: 7 total time: 120.266
 opt: 0.099 reg: 0.107 solved: 6 total time: 120.474
 opt: 0.075 reg: 0.31 solved: 6 total time: 120.86
 opt: 0.093 reg: 0.125 solved: 6 total time: 121.079
 opt: 0.097 reg: 0.113 solved: 7 total time: 121.29
 opt: 0.093 reg: 0.168 solved: 5 total time: 121.553
 opt: 0.092 reg: 0.48 solved: 5 total time: 122.126
 opt: 0.106 reg: 0.053 solved: 7 total time: 122.286
 opt: 1.332 reg: 0.114 solved: 5 total time: 123.731
 opt: 0.093 reg: 0.678 solved: 5 total time: 124.502
 opt: 0.09 reg: 0.224 solved: 6 total time: 124.817
 opt: 0.096 reg: 0.108 solved: 5 total time: 125.021
 opt: 0.112 reg: 0.086 solved: 6 total time: 125.22
 opt: 0.095 reg: 0.203 solved: 6 total time: 125.52
 opt: 0.09 reg: 0.346 solved: 6 total time: 125.956
 opt: 0.078 reg: 0.14 solved: 6 total time: 126.175
 opt: 0.093 reg: 0.048 solved: 6 total time: 126.317
 opt: 0.092 reg: 0.532 solved: 5 total time: 126.942
 opt: 0.098 reg: 0.044 solved: 6 total time: 127.085
 opt: 0.081 reg: 0.142 solved: 6 total time: 127.309
 opt: 0.088 reg: 0.21 solved: 5 total time: 127.607
 opt: 0.089 reg: 0.319 solved: 6 total time: 128.017
 opt: 0.088 reg: 0.193 solved: 5 total time: 128.299
 opt: 0.093 reg: 0.07 solved: 7 total time: 128.462
 opt: 0.093 reg: 0.312 solved: 6 total time: 128.868
 opt: 0.077 reg: 0.041 solved: 6 total time: 128.988
 opt: 0.093 reg: 0.054 solved: 6 total time: 129.136
 opt: 0.088 reg: 0.078 solved: 6 total time: 129.303
 opt: 0.095 reg: 0.121 solved: 6 total time: 129.521
 opt: 0.076 reg: 0.127 solved: 5 total time: 129.725
 opt: 0.091 reg: 0.438 solved: 6 total time: 130.254
 opt: 0.084 reg: 0.368 solved: 5 total time: 130.707
 opt: 0.085 reg: 1.956 solved: 5 total time: 132.746
 opt: 0.103 reg: 0.511 solved: 5 total time: 133.36
 opt: 0.12 reg: 0.078 solved: 7 total time: 133.559
 opt: 0.094 reg: 0.2 solved: 6 total time: 133.854
 opt: 0.09 reg: 0.29 solved: 6 total time: 134.235
 opt: 0.114 reg: 0.065 solved: 7 total time: 134.415
 opt: 0.09 reg: 0.069 solved: 6 total time: 134.575
 opt: 0.085 reg: 0.316 solved: 6 total time: 134.978
 opt: 0.073 reg: 0.213 solved: 6 total time: 135.264
 opt: 0.08 reg: 0.05 solved: 6 total time: 135.395
 opt: 0.091 reg: 0.227 solved: 6 total time: 135.714
 opt: 0.1 reg: 0.09 solved: 7 total time: 135.905
 opt: 0.075 reg: 0.049 solved: 6 total time: 136.031
 opt: 0.1 reg: 0.066 solved: 7 total time: 136.198
 opt: 0.089 reg: 0.247 solved: 6 total time: 136.535
 opt: 0.1 reg: 0.195 solved: 6 total time: 136.83
 opt: 0.076 reg: 0.585 solved: 6 total time: 137.492
 opt: 0.088 reg: 1.556 solved: 5 total time: 139.134
 opt: 0.089 reg: 0.049 solved: 6 total time: 139.274
 opt: 0.085 reg: 0.138 solved: 6 total time: 139.497
 opt: 0.086 reg: 0.189 solved: 6 total time: 139.773
 opt: 0.101 reg: 0.187 solved: 5 total time: 140.063
 opt: 0.097 reg: 0.104 solved: 6 total time: 140.265
 opt: 0.096 reg: 0.412 solved: 5 total time: 140.774
 opt: 0.094 reg: 0.149 solved: 5 total time: 141.018
 opt: 0.098 reg: 0.315 solved: 6 total time: 141.433
 opt: 0.104 reg: 0.113 solved: 6 total time: 141.651
 opt: 0.104 reg: 0.068 solved: 6 total time: 141.824
 opt: 0.118 reg: 0.108 solved: 6 total time: 142.051
 opt: 0.072 reg: 0.116 solved: 5 total time: 142.241
 opt: 0.092 reg: 0.13 solved: 5 total time: 142.464
 opt: 0.099 reg: 0.557 solved: 5 total time: 143.121
 opt: 0.11 reg: 0.102 solved: 7 total time: 143.334
 opt: 0.083 reg: 0.278 solved: 6 total time: 143.696
 opt: 0.104 reg: 0.103 solved: 7 total time: 143.904
 opt: 0.099 reg: 0.094 solved: 6 total time: 144.098
 opt: 0.096 reg: 0.072 solved: 6 total time: 144.267
 opt: 0.088 reg: 0.402 solved: 6 total time: 144.758
 opt: 0.096 reg: 0.084 solved: 6 total time: 144.94
 opt: 0.094 reg: 0.227 solved: 5 total time: 145.262
 opt: 0.099 reg: 0.075 solved: 6 total time: 145.437
 opt: 0.082 reg: 1.529 solved: 6 total time: 147.047
 opt: 0.103 reg: 0.061 solved: 6 total time: 147.213
 opt: 0.089 reg: 0.048 solved: 5 total time: 147.351
 opt: 0.108 reg: 0.064 solved: 7 total time: 147.523
 opt: 0.104 reg: 0.117 solved: 6 total time: 147.745
 opt: 0.091 reg: 0.217 solved: 6 total time: 148.055
 opt: 0.088 reg: 0.161 solved: 6 total time: 148.305
 opt: 0.109 reg: 0.163 solved: 5 total time: 148.579
 opt: 0.112 reg: 0.076 solved: 7 total time: 148.768
 opt: 0.1 reg: 0.042 solved: 7 total time: 148.911
 opt: 0.116 reg: 0.077 solved: 6 total time: 149.104
 opt: 0.103 reg: 0.103 solved: 5 total time: 149.312
 opt: 0.107 reg: 0.055 solved: 7 total time: 149.476
 opt: 0.092 reg: 0.188 solved: 6 total time: 149.756
 opt: 0.085 reg: 0.197 solved: 6 total time: 150.039
 opt: 0.106 reg: 0.065 solved: 6 total time: 150.211
 opt: 0.101 reg: 0.096 solved: 7 total time: 150.41
 opt: 0.087 reg: 0.043 solved: 7 total time: 150.541
 opt: 0.09 reg: 0.045 solved: 7 total time: 150.677
 opt: 0.094 reg: 0.049 solved: 7 total time: 150.822
 opt: 0.094 reg: 0.04 solved: 6 total time: 150.958
 opt: 0.1 reg: 0.272 solved: 6 total time: 151.331
 opt: 0.08 reg: 0.208 solved: 5 total time: 151.62
 opt: 0.104 reg: 0.175 solved: 5 total time: 151.9
 opt: 0.099 reg: 0.16 solved: 5 total time: 152.16
 opt: 0.097 reg: 0.215 solved: 6 total time: 152.473
 opt: 0.105 reg: 0.071 solved: 6 total time: 152.65
 opt: 0.099 reg: 0.078 solved: 7 total time: 152.827
 opt: 0.109 reg: 0.086 solved: 6 total time: 153.024
 opt: 0.099 reg: 0.288 solved: 6 total time: 153.412
 opt: 0.095 reg: 0.095 solved: 6 total time: 153.603
 opt: 0.088 reg: 0.053 solved: 7 total time: 153.745
 opt: 0.078 reg: 0.223 solved: 6 total time: 154.047
 opt: 0.1 reg: 0.59 solved: 5 total time: 154.738
 opt: 0.087 reg: 1.395 solved: 6 total time: 156.219
 opt: 0.113 reg: 0.051 solved: 6 total time: 156.384
 opt: 0.103 reg: 0.025 solved: 6 total time: 156.514
 opt: 0.098 reg: 0.033 solved: 6 total time: 156.647
 opt: 0.118 reg: 0.059 solved: 7 total time: 156.824
 opt: 0.101 reg: 0.064 solved: 6 total time: 156.99
 opt: 0.093 reg: 0.254 solved: 6 total time: 157.338
 opt: 0.106 reg: 0.194 solved: 6 total time: 157.639
 opt: 0.105 reg: 0.042 solved: 7 total time: 157.788
 opt: 0.098 reg: 0.053 solved: 6 total time: 157.94
 opt: 0.1 reg: 0.053 solved: 7 total time: 158.094
 opt: 0.104 reg: 0.047 solved: 7 total time: 158.246
 opt: 0.092 reg: 0.054 solved: 7 total time: 158.393
 opt: 0.083 reg: 0.227 solved: 6 total time: 158.704
 opt: 0.091 reg: 0.487 solved: 5 total time: 159.283
 opt: 0.101 reg: 0.056 solved: 7 total time: 159.442
 opt: 0.108 reg: 0.065 solved: 6 total time: 159.616
 opt: 0.086 reg: 0.193 solved: 5 total time: 159.897
 opt: 0.105 reg: 0.045 solved: 7 total time: 160.048
 opt: 0.094 reg: 0.494 solved: 5 total time: 160.636
 opt: 0.099 reg: 0.06 solved: 7 total time: 160.796
 opt: 0.109 reg: 0.064 solved: 7 total time: 160.971
 opt: 0.085 reg: 0.161 solved: 6 total time: 161.218
 opt: 0.106 reg: 0.21 solved: 6 total time: 161.535
 opt: 0.128 reg: 0.048 solved: 6 total time: 161.713
 opt: 0.101 reg: 0.247 solved: 6 total time: 162.062
 opt: 0.098 reg: 0.082 solved: 6 total time: 162.243
 opt: 0.107 reg: 0.052 solved: 7 total time: 162.402
 opt: 0.1 reg: 0.058 solved: 6 total time: 162.562
 opt: 0.091 reg: 0.085 solved: 7 total time: 162.739
 opt: 0.108 reg: 0.068 solved: 6 total time: 162.916
 opt: 0.107 reg: 0.053 solved: 6 total time: 163.077
 opt: 0.089 reg: 0.185 solved: 6 total time: 163.353
 opt: 0.102 reg: 0.329 solved: 5 total time: 163.784
 opt: 0.091 reg: 0.059 solved: 6 total time: 163.935
 opt: 0.107 reg: 0.277 solved: 6 total time: 164.32
 opt: 0.098 reg: 0.058 solved: 6 total time: 164.478
 opt: 0.106 reg: 0.078 solved: 7 total time: 164.663
 opt: 0.092 reg: 0.068 solved: 7 total time: 164.824
 opt: 0.098 reg: 0.075 solved: 7 total time: 164.999
 opt: 0.098 reg: 0.058 solved: 7 total time: 165.156
 opt: 0.083 reg: 0.204 solved: 6 total time: 165.444
 opt: 0.107 reg: 1.717 solved: 5 total time: 167.266
 opt: 0.108 reg: 0.051 solved: 6 total time: 167.427
 opt: 0.116 reg: 0.045 solved: 7 total time: 167.588
 opt: 0.109 reg: 0.031 solved: 6 total time: 167.729
 opt: 0.115 reg: 0.057 solved: 7 total time: 167.902
 opt: 0.126 reg: 0.052 solved: 7 total time: 168.081
 opt: 0.09 reg: 0.041 solved: 7 total time: 168.214
 opt: 0.096 reg: 0.045 solved: 7 total time: 168.356
 opt: 0.086 reg: 0.042 solved: 5 total time: 168.485
 opt: 0.11 reg: 0.092 solved: 6 total time: 168.689
 opt: 0.105 reg: 0.169 solved: 6 total time: 168.964
 opt: 0.1 reg: 0.388 solved: 5 total time: 169.453
 opt: 0.102 reg: 0.042 solved: 6 total time: 169.598
 opt: 0.091 reg: 0.179 solved: 5 total time: 169.87
 opt: 0.099 reg: 0.035 solved: 6 total time: 170.006
 opt: 0.101 reg: 0.047 solved: 5 total time: 170.155
 opt: 0.101 reg: 0.165 solved: 6 total time: 170.422
 opt: 0.095 reg: 0.179 solved: 5 total time: 170.697
 opt: 0.104 reg: 0.041 solved: 6 total time: 170.843
 opt: 0.113 reg: 0.067 solved: 6 total time: 171.025
 opt: 0.092 reg: 0.095 solved: 6 total time: 171.213
 opt: 0.099 reg: 0.029 solved: 6 total time: 171.342
 opt: 0.105 reg: 0.186 solved: 6 total time: 171.634
 opt: 0.104 reg: 0.102 solved: 6 total time: 171.841
 opt: 0.117 reg: 0.05 solved: 6 total time: 172.009
 opt: 0.108 reg: 0.117 solved: 5 total time: 172.235
 opt: 0.102 reg: 0.103 solved: 5 total time: 172.441
 opt: 0.085 reg: 0.184 solved: 6 total time: 172.711
 opt: 0.103 reg: 0.033 solved: 6 total time: 172.849
 opt: 0.115 reg: 0.411 solved: 5 total time: 173.376
 opt: 0.095 reg: 0.047 solved: 6 total time: 173.519
 opt: 0.105 reg: 0.153 solved: 6 total time: 173.778
 opt: 0.109 reg: 0.138 solved: 6 total time: 174.026
 opt: 0.103 reg: 0.248 solved: 6 total time: 174.378
 opt: 0.091 reg: 0.086 solved: 5 total time: 174.556
 opt: 0.1 reg: 0.263 solved: 6 total time: 174.919
 opt: 0.104 reg: 0.105 solved: 5 total time: 175.129
 opt: 0.107 reg: 0.064 solved: 5 total time: 175.301
 opt: 0.112 reg: 0.061 solved: 6 total time: 175.475
 opt: 0.096 reg: 0.226 solved: 6 total time: 175.798
 opt: 0.105 reg: 0.058 solved: 6 total time: 175.962
 opt: 0.091 reg: 0.214 solved: 6 total time: 176.268
 opt: 0.091 reg: 0.1 solved: 6 total time: 176.461
 opt: 0.106 reg: 0.101 solved: 6 total time: 176.668
 opt: 0.105 reg: 0.153 solved: 5 total time: 176.928
 opt: 0.101 reg: 0.057 solved: 6 total time: 177.087
 opt: 0.096 reg: 0.085 solved: 6 total time: 177.269
 opt: 0.099 reg: 0.045 solved: 6 total time: 177.415
 opt: 0.093 reg: 0.119 solved: 6 total time: 177.628
 opt: 0.108 reg: 0.039 solved: 6 total time: 177.776
 opt: 0.092 reg: 0.058 solved: 6 total time: 177.927
 opt: 0.097 reg: 0.029 solved: 6 total time: 178.054
 opt: 0.1 reg: 0.066 solved: 6 total time: 178.221
 opt: 0.093 reg: 0.04 solved: 6 total time: 178.355
 opt: 0.089 reg: 1.524 solved: 6 total time: 179.966
 opt: 0.09 reg: 0.05 solved: 5 total time: 180.107
 opt: 0.107 reg: 0.061 solved: 6 total time: 180.277
 opt: 0.115 reg: 0.142 solved: 5 total time: 180.535
 opt: 0.109 reg: 0.155 solved: 6 total time: 180.8
 opt: 0.13 reg: 0.168 solved: 6 total time: 181.099
 opt: 0.091 reg: 0.17 solved: 5 total time: 181.36
 opt: 0.114 reg: 0.101 solved: 6 total time: 181.577
 opt: 0.092 reg: 0.167 solved: 6 total time: 181.837
 opt: 0.092 reg: 0.451 solved: 7 total time: 182.381
 opt: 0.1 reg: 0.232 solved: 6 total time: 182.715
 opt: 0.098 reg: 0.214 solved: 6 total time: 183.028
 opt: 0.114 reg: 0.071 solved: 6 total time: 183.214
 opt: 0.113 reg: 0.03 solved: 6 total time: 183.359
 opt: 0.106 reg: 0.18 solved: 6 total time: 183.646
 opt: 0.091 reg: 0.03 solved: 6 total time: 183.768
 opt: 0.106 reg: 0.143 solved: 5 total time: 184.018
 opt: 0.116 reg: 0.141 solved: 6 total time: 184.276
 opt: 0.099 reg: 0.058 solved: 7 total time: 184.434
 opt: 0.112 reg: 0.105 solved: 6 total time: 184.652
 opt: 0.102 reg: 0.04 solved: 6 total time: 184.796
 opt: 0.1 reg: 0.05 solved: 6 total time: 184.947
 opt: 0.113 reg: 0.083 solved: 5 total time: 185.144
 opt: 0.128 reg: 0.08 solved: 7 total time: 185.354
 opt: 0.107 reg: 0.089 solved: 6 total time: 185.552
 opt: 0.102 reg: 0.166 solved: 6 total time: 185.821
 opt: 0.098 reg: 0.074 solved: 5 total time: 185.995
 opt: 0.1 reg: 0.188 solved: 6 total time: 186.284
 opt: 0.095 reg: 0.032 solved: 6 total time: 186.412
 opt: 0.106 reg: 0.185 solved: 6 total time: 186.704
 opt: 0.101 reg: 0.046 solved: 6 total time: 186.852
 opt: 0.095 reg: 0.177 solved: 6 total time: 187.124
 opt: 0.097 reg: 0.113 solved: 6 total time: 187.336
 opt: 0.12 reg: 0.131 solved: 6 total time: 187.587
 opt: 0.116 reg: 0.092 solved: 6 total time: 187.797
 opt: 0.114 reg: 0.106 solved: 6 total time: 188.018
 opt: 0.108 reg: 0.26 solved: 5 total time: 188.387
 opt: 0.118 reg: 1.45 solved: 6 total time: 189.953
 opt: 0.116 reg: 0.111 solved: 6 total time: 190.18
 opt: 0.105 reg: 0.021 solved: 6 total time: 190.308
 opt: 0.099 reg: 0.054 solved: 5 total time: 190.463
 opt: 0.133 reg: 0.055 solved: 7 total time: 190.651
 opt: 0.125 reg: 0.062 solved: 7 total time: 190.839
 opt: 0.089 reg: 0.17 solved: 5 total time: 191.099
 opt: 0.114 reg: 0.03 solved: 6 total time: 191.245
 opt: 0.117 reg: 0.05 solved: 6 total time: 191.413
 opt: 0.112 reg: 0.092 solved: 6 total time: 191.618
 opt: 0.11 reg: 0.107 solved: 6 total time: 191.836
 opt: 0.097 reg: 0.053 solved: 5 total time: 191.987
 opt: 0.13 reg: 0.08 solved: 7 total time: 192.198
 opt: 0.113 reg: 0.095 solved: 6 total time: 192.408
 opt: 0.104 reg: 0.075 solved: 6 total time: 192.588
 opt: 0.093 reg: 0.077 solved: 6 total time: 192.759
 opt: 0.117 reg: 0.317 solved: 5 total time: 193.194
 opt: 0.09 reg: 0.033 solved: 6 total time: 193.317
 opt: 0.095 reg: 0.048 solved: 5 total time: 193.461
 opt: 0.112 reg: 0.133 solved: 6 total time: 193.707
 opt: 0.119 reg: 0.076 solved: 6 total time: 193.903
 opt: 0.112 reg: 0.193 solved: 6 total time: 194.209
 opt: 0.083 reg: 0.072 solved: 6 total time: 194.366
 opt: 0.125 reg: 0.073 solved: 7 total time: 194.566
 opt: 0.118 reg: 0.042 solved: 6 total time: 194.727
 opt: 0.088 reg: 0.017 solved: 6 total time: 194.834
 opt: 0.088 reg: 0.102 solved: 6 total time: 195.025
 opt: 0.101 reg: 0.047 solved: 6 total time: 195.174
 opt: 0.102 reg: 0.037 solved: 6 total time: 195.314
 opt: 0.088 reg: 0.073 solved: 6 total time: 195.476
 opt: 0.089 reg: 0.06 solved: 7 total time: 195.626
 opt: 0.11 reg: 0.147 solved: 6 total time: 195.884
 opt: 0.125 reg: 0.07 solved: 7 total time: 196.08
 opt: 0.09 reg: 0.067 solved: 6 total time: 196.238
 opt: 0.142 reg: 0.046 solved: 7 total time: 196.427
 opt: 0.087 reg: 0.074 solved: 7 total time: 196.59
 opt: 0.111 reg: 0.061 solved: 6 total time: 196.763
 opt: 0.087 reg: 0.051 solved: 7 total time: 196.902
 opt: 0.097 reg: 0.159 solved: 5 total time: 197.159
 opt: 0.115 reg: 0.07 solved: 6 total time: 197.345
 opt: 0.129 reg: 0.038 solved: 7 total time: 197.513
 opt: 0.113 reg: 0.038 solved: 7 total time: 197.665
 opt: 0.117 reg: 0.037 solved: 6 total time: 197.82
 opt: 0.103 reg: 0.113 solved: 6 total time: 198.038
 opt: 0.102 reg: 0.054 solved: 6 total time: 198.195
 opt: 0.104 reg: 0.07 solved: 6 total time: 198.37
 opt: 0.112 reg: 0.124 solved: 6 total time: 198.608
 opt: 0.1 reg: 0.129 solved: 6 total time: 198.838
 opt: 0.117 reg: 0.036 solved: 6 total time: 198.992
 opt: 0.093 reg: 0.072 solved: 6 total time: 199.158
 opt: 0.114 reg: 0.093 solved: 6 total time: 199.367
 opt: 0.122 reg: 0.151 solved: 7 total time: 199.641
 opt: 0.106 reg: 0.052 solved: 6 total time: 199.799
 opt: 0.099 reg: 0.038 solved: 6 total time: 199.938
 opt: 0.098 reg: 0.035 solved: 6 total time: 200.072
 opt: 0.109 reg: 0.151 solved: 6 total time: 200.333
 opt: 0.124 reg: 1.496 solved: 7 total time: 201.952
 opt: 0.125 reg: 0.122 solved: 6 total time: 202.2
 opt: 0.128 reg: 0.127 solved: 6 total time: 202.455
 opt: 0.108 reg: 0.128 solved: 5 total time: 202.692
 opt: 0.106 reg: 0.024 solved: 6 total time: 202.823
 opt: 0.132 reg: 0.078 solved: 7 total time: 203.034
 opt: 0.114 reg: 0.043 solved: 6 total time: 203.192
 opt: 0.104 reg: 0.094 solved: 7 total time: 203.391
 opt: 0.116 reg: 0.023 solved: 6 total time: 203.531
 opt: 0.12 reg: 0.068 solved: 7 total time: 203.721
 opt: 0.122 reg: 0.123 solved: 6 total time: 203.966
 opt: 0.116 reg: 0.031 solved: 6 total time: 204.114
 opt: 0.145 reg: 0.059 solved: 7 total time: 204.319
 opt: 0.115 reg: 0.148 solved: 6 total time: 204.583
 opt: 0.111 reg: 0.139 solved: 6 total time: 204.834
 opt: 0.115 reg: 0.105 solved: 7 total time: 205.054
 opt: 0.114 reg: 0.037 solved: 6 total time: 205.206
 opt: 0.094 reg: 0.042 solved: 6 total time: 205.344
 opt: 0.124 reg: 0.111 solved: 7 total time: 205.58
 opt: 0.127 reg: 0.048 solved: 6 total time: 205.756
 opt: 0.1 reg: 0.056 solved: 6 total time: 205.914
 opt: 0.128 reg: 0.101 solved: 7 total time: 206.145
 opt: 0.106 reg: 0.065 solved: 6 total time: 206.317
 opt: 0.118 reg: 0.088 solved: 7 total time: 206.525
 opt: 0.108 reg: 0.084 solved: 7 total time: 206.718
 opt: 0.104 reg: 0.13 solved: 6 total time: 206.953
 opt: 0.103 reg: 0.056 solved: 6 total time: 207.113
 opt: 0.108 reg: 0.087 solved: 6 total time: 207.309
 opt: 0.112 reg: 0.059 solved: 6 total time: 207.481
 opt: 0.132 reg: 0.082 solved: 7 total time: 207.696
 opt: 0.13 reg: 0.099 solved: 7 total time: 207.926
 opt: 0.108 reg: 0.088 solved: 6 total time: 208.123
 opt: 0.117 reg: 0.033 solved: 6 total time: 208.275
 opt: 0.115 reg: 0.058 solved: 6 total time: 208.448
 opt: 0.107 reg: 0.038 solved: 6 total time: 208.594
 opt: 0.144 reg: 0.062 solved: 7 total time: 208.801
 opt: 0.134 reg: 0.1 solved: 7 total time: 209.037
 opt: 0.121 reg: 0.058 solved: 7 total time: 209.218
 opt: 0.121 reg: 0.168 solved: 7 total time: 209.507
 opt: 0.105 reg: 0.042 solved: 6 total time: 209.656
 opt: 0.11 reg: 0.033 solved: 6 total time: 209.799
 opt: 0.129 reg: 0.024 solved: 7 total time: 209.953
 opt: 0.117 reg: 0.059 solved: 7 total time: 210.13
 opt: 0.125 reg: 0.098 solved: 7 total time: 210.354
 opt: 0.132 reg: 0.109 solved: 7 total time: 210.597
 opt: 0.107 reg: 0.105 solved: 7 total time: 210.811
 opt: 0.134 reg: 0.03 solved: 7 total time: 210.976
 opt: 0.122 reg: 0.026 solved: 6 total time: 211.125
 opt: 0.1 reg: 0.051 solved: 6 total time: 211.277
 opt: 0.122 reg: 0.037 solved: 7 total time: 211.437
 opt: 0.127 reg: 0.045 solved: 6 total time: 211.61
 opt: 1.413 reg: 0.057 solved: 7 total time: 213.08
 opt: 0.126 reg: 0.026 solved: 7 total time: 213.233
 opt: 0.127 reg: 0.062 solved: 6 total time: 213.423
 opt: 0.134 reg: 0.036 solved: 7 total time: 213.594
 opt: 0.125 reg: 0.068 solved: 6 total time: 213.788
 opt: 0.143 reg: 0.041 solved: 7 total time: 213.972
 opt: 0.107 reg: 0.115 solved: 6 total time: 214.195
 opt: 0.156 reg: 0.022 solved: 7 total time: 214.374
 opt: 0.125 reg: 0.02 solved: 7 total time: 214.521
 opt: 0.133 reg: 0.022 solved: 7 total time: 214.677
 opt: 0.126 reg: 0.029 solved: 7 total time: 214.833
 opt: 0.112 reg: 0.03 solved: 6 total time: 214.977
 opt: 0.138 reg: 0.059 solved: 7 total time: 215.176
 opt: 0.15 reg: 0.046 solved: 7 total time: 215.374
 opt: 0.11 reg: 0.022 solved: 7 total time: 215.507
 opt: 0.127 reg: 0.06 solved: 7 total time: 215.696
 opt: 0.149 reg: 0.027 solved: 7 total time: 215.873
 opt: 0.126 reg: 0.022 solved: 7 total time: 216.022
 opt: 0.124 reg: 0.023 solved: 7 total time: 216.171
 opt: 0.116 reg: 0.023 solved: 7 total time: 216.311
 opt: 0.107 reg: 0.093 solved: 6 total time: 216.513
 opt: 0.127 reg: 0.037 solved: 7 total time: 216.678
 opt: 0.099 reg: 0.095 solved: 6 total time: 216.873
 opt: 0.124 reg: 0.035 solved: 7 total time: 217.033
 opt: 0.105 reg: 0.062 solved: 6 total time: 217.201
 opt: 0.124 reg: 0.051 solved: 7 total time: 217.378
 opt: 0.128 reg: 0.057 solved: 7 total time: 217.564
 opt: 0.105 reg: 0.043 solved: 6 total time: 217.713
 opt: 0.109 reg: 0.026 solved: 7 total time: 217.849
 opt: 0.129 reg: 0.035 solved: 7 total time: 218.014
 opt: 0.101 reg: 0.05 solved: 6 total time: 218.166
 opt: 0.089 reg: 0.045 solved: 6 total time: 218.302
 opt: 0.116 reg: 0.031 solved: 7 total time: 218.45
L = 6, leader states: 1.15296e+07, follower subproblems: 1.15296e+07, F:100000, total time: 218.45
 opt: 0.089 reg: 0.358 solved: 4 total time: 218.912
 opt: 0.067 reg: 0.389 solved: 4 total time: 219.369
 opt: 0.099 reg: 0.251 solved: 4 total time: 219.72
 opt: 0.088 reg: 0.198 solved: 4 total time: 220.007
 opt: 0.117 reg: 0.255 solved: 4 total time: 220.38
 opt: 0.077 reg: 1.006 solved: 4 total time: 221.463
 opt: 0.09 reg: 0.992 solved: 4 total time: 222.544
 opt: 1.604 reg: 2.392 solved: 2 total time: 226.536
 opt: 0.087 reg: 1.714 solved: 4 total time: 228.336
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
@@@T229918@@@
Done!
real 230.22
user 228.22
sys 1.60
slurmstepd-dhabi03: error: Detected 1 oom-kill event(s) in step 4402384.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
