btm2x5-was nun?time mysql_c_program q=2 k=11 n=105 d=45 groupid=39594 nurgls solver nc=1 paraa=15000 b=1 t=10000 computecode
wir rechnen f�r: q=2 k=11 n=105 d=45 b=1 t=10000 gid=39594 numberoforbits=215
maxcols=-1
mit zwanzger solver
105
105
solver -timeout 10000 -a 15000 -b 1 -file /tmp/fileJgiXLE -o /tmp/fileJgiXLE.out
137 117 11 90 78
repetitions = 0
hashKey = 12347318171232856654
choice for step 4 = 78; eval = exp(-14.7305); runs = 0
time: 1.10339 s.

137 117 11 90 78 123 38 101 132
repetitions = 0
hashKey = 15476181752312049454
choice for step 8 = 132; eval = exp(-10.466); runs = 0
time: 2.18535 s.

137 117 11 90 78 123 38 101 132 114 60
repetitions = 170
hashKey = 12195712390124533428
choice for step 10 = 60; eval = exp(-14.4819); runs = 269
time: 3.22642 s.

137 117 11 90 78 123 38 101 132 10 109 202 9 20
repetitions = 500
hashKey = 3248009425672405890
choice for step 13 = 20; eval = exp(-13.5152); runs = 794
time: 4.30849 s.

137 117 11 90 78 123 38 101 132 10 176 202
repetitions = 765
hashKey = 12707035206798917356
choice for step 11 = 202; eval = exp(-13.7601); runs = 1112
time: 5.38118 s.

137 117 11 90 78 123 38 101 132 202 20 9 32 10
repetitions = 1097
hashKey = 15586807022559787980
choice for step 13 = 10; eval = exp(-20.1908); runs = 1473
time: 6.4618 s.

137 117 11 90 78 123 38 101 132 105 9 60 10
repetitions = 1583
hashKey = 6532200973847349352
choice for step 12 = 10; eval = exp(-15.4597); runs = 1983
time: 7.54123 s.

137 117 11 90 78 123 38 101 141 181 105
repetitions = 2129
hashKey = 6834069590986282172
choice for step 10 = 105; eval = exp(-12.6813); runs = 2703
time: 8.6209 s.

137 117 11 90 78 123 38 101 141 105 10 20 109
repetitions = 2510
hashKey = 8528029459398470850
choice for step 12 = 109; eval = exp(-12.3317); runs = 3242
time: 9.70704 s.

137 117 11 90 78 123 38 101 141 129 9 105
repetitions = 2890
hashKey = 3366405796181963654
choice for step 11 = 105; eval = exp(-14.0655); runs = 3667
time: 10.7847 s.

137 117 11 90 78 123 38 101 141 60 9 105
repetitions = 3251
hashKey = 14133075797053272436
choice for step 11 = 105; eval = exp(-17.0303); runs = 4054
time: 11.8628 s.

137 117 11 90 78 123 38 101 61 142 79
repetitions = 3694
hashKey = 17280865600336040858
choice for step 10 = 79; eval = exp(-15.9932); runs = 4693
time: 12.9437 s.

137 117 11 90 78 123 38 101 61 202 109 20 105
repetitions = 3930
hashKey = 7680582457379331340
choice for step 12 = 105; eval = exp(-13.3566); runs = 5067
time: 14.0243 s.

137 117 11 90 78 123 38 101 61 129 9 105 202
repetitions = 4302
hashKey = 3859776675235247572
choice for step 12 = 202; eval = exp(-13.7685); runs = 5488
time: 15.1048 s.

137 117 11 90 78 123 38 101 61 20 105 214 202
repetitions = 4676
hashKey = 4632766463073843340
choice for step 12 = 202; eval = exp(-15.9868); runs = 5910
time: 16.1876 s.

137 117 11 90 78 123 38 101 159 105 97
repetitions = 5052
hashKey = 2502081456801176376
choice for step 10 = 97; eval = exp(-13.7179); runs = 6426
time: 17.504 s.

137 117 11 90 78 123 38 101 159 105 10 20 129 9
repetitions = 5135
hashKey = 13990149323822575898
choice for step 13 = 9; eval = exp(-16.5438); runs = 6553
time: 18.5667 s.

137 117 11 90 78 123 38 101 159 202 10 20 176 9
repetitions = 5291
hashKey = 7935127692044239424
choice for step 13 = 9; eval = exp(-16.7713); runs = 6745
time: 19.6408 s.

137 117 11 90 78 123 38 101 159 20 32 10 9 105
repetitions = 5484
hashKey = 1268107820280951618
choice for step 13 = 105; eval = exp(-17.5597); runs = 6943
time: 20.7252 s.

137 117 11 90 78 123 38 101 159 9 176 105
repetitions = 5706
hashKey = 10944480405265547538
choice for step 11 = 105; eval = exp(-15.9905); runs = 7179
time: 21.8068 s.

137 117 11 90 78 123 38 101 147 126 105 9 202
repetitions = 6050
hashKey = 11518327401945070880
choice for step 12 = 202; eval = exp(-14.1892); runs = 7689
time: 22.8806 s.

137 117 11 90 78 123 38 101 147 105 10 60 9 20
repetitions = 6479
hashKey = 1209494469187355800
choice for step 13 = 20; eval = exp(-15.8396); runs = 8275
time: 23.9649 s.

137 117 11 90 78 123 38 101 147 202 10 9 61
repetitions = 6991
hashKey = 10505432501241333976
choice for step 12 = 61; eval = exp(-13.7371); runs = 8877
time: 25.0512 s.

137 117 11 90 78 123 38 101 147 20 9 105
repetitions = 7557
hashKey = 3501338638165161460
choice for step 11 = 105; eval = exp(-14.026); runs = 9466
time: 26.1264 s.

137 117 11 90 78 123 38 101 52 144 9 105 10 20
repetitions = 8220
hashKey = 12817482298925116370
choice for step 13 = 20; eval = exp(-10.2026); runs = 10279
time: 27.2056 s.

137 117 11 90 78 123 38 101 52 202 144
repetitions = 8762
hashKey = 18352781655216420904
choice for step 10 = 144; eval = exp(-9.81867); runs = 11135
time: 28.312 s.

137 117 11 90 78 123 38 101 52 202 10 194 9
repetitions = 9058
hashKey = 15329729678814961530
choice for step 12 = 9; eval = exp(-15.1237); runs = 11487
time: 29.3657 s.

137 117 11 90 78 123 38 101 52 105 9 176 202
repetitions = 9432
hashKey = 14962189600506103068
choice for step 12 = 202; eval = exp(-12.909); runs = 11896
time: 30.449 s.

137 117 11 90 78 123 38 101 52 20 206 202
repetitions = 9797
hashKey = 2299227472341378358
choice for step 11 = 202; eval = exp(-16.9162); runs = 12318
time: 31.5292 s.

137 117 11 90 78 123 38 101 52 126 194
repetitions = 10222
hashKey = 1775858006979013632
choice for step 10 = 194; eval = exp(-17.8643); runs = 12853
time: 32.6077 s.

137 117 11 90 78 123 38 101 208 121 20 9 202 10
repetitions = 10803
hashKey = 12424537106498686608
choice for step 13 = 10; eval = exp(-18.7918); runs = 13661
time: 33.6849 s.

137 117 11 90 78 123 38 101 208 20 105 37 10
repetitions = 11117
hashKey = 11784256957107378640
choice for step 12 = 10; eval = exp(-18.4219); runs = 14096
time: 34.7645 s.

137 117 11 90 78 123 38 101 208 10 105 9 60 20
repetitions = 11526
hashKey = 2992078966595402008
choice for step 13 = 20; eval = exp(-16.2955); runs = 14528
time: 35.8458 s.

137 117 11 90 78 123 38 101 208 23 9
repetitions = 12023
hashKey = 6612415993917473898
choice for step 10 = 9; eval = exp(-16.0003); runs = 15078
time: 36.9365 s.

137 117 11 90 78 123 38 101 187 147
repetitions = 12513
hashKey = 13878373295209589090
choice for step 9 = 147; eval = exp(-8.71832); runs = 15686
time: 38.0276 s.

137 117 11 90 78 123 38 101 187 129 20 10 105
repetitions = 12827
hashKey = 15799472248320226420
choice for step 12 = 105; eval = exp(-17.2026); runs = 16235
time: 39.0919 s.

137 117 11 90 78 123 38 101 187 176 208
repetitions = 13528
hashKey = 5441893721183369374
choice for step 10 = 208; eval = exp(-14.2791); runs = 17047
time: 40.1778 s.

137 117 11 90 78 123 38 101 212 26 97
repetitions = 14167
hashKey = 1019543983195689572
choice for step 10 = 97; eval = exp(-14.7212); runs = 17852
time: 41.2503 s.

137 117 11 90 78 123 38 101 212 105 10 97 202
repetitions = 14520
hashKey = 11232905574296685680
choice for step 12 = 202; eval = exp(-13.4765); runs = 18371
time: 42.331 s.

137 117 11 90 78 123 38 101 212 111 97
repetitions = 15032
hashKey = 11709577877130527818
choice for step 10 = 97; eval = exp(-26.55); runs = 18920
time: 43.4099 s.

137 117 11 90 78 123 38 101 212 194 57
repetitions = 15501
hashKey = 4997508709930508456
choice for step 10 = 57; eval = exp(-14.8847); runs = 19470
time: 44.4972 s.

137 117 11 90 78 123 38 101 57 105 109 10 9 20
repetitions = 15752
hashKey = 2667940162851740334
choice for step 13 = 20; eval = exp(-15.9953); runs = 19911
time: 45.574 s.

137 117 11 90 78 123 38 101 57 97 10 105
repetitions = 16106
hashKey = 17581529277331770610
choice for step 11 = 105; eval = exp(-12.5601); runs = 20327
time: 46.6516 s.

137 117 11 90 78 123 38 101 57 10 202 20 157 9
repetitions = 16360
hashKey = 15320956329809700328
choice for step 13 = 9; eval = exp(-16.2426); runs = 20668
time: 47.7296 s.

137 117 11 90 78 123 38 101 57 194 9 105
repetitions = 16843
hashKey = 3160733650655368964
choice for step 11 = 105; eval = exp(-16.968); runs = 21179
time: 48.8112 s.

137 117 11 90 78 123 38 101 45 143 10 202 9
repetitions = 17368
hashKey = 14767594175594026818
choice for step 12 = 9; eval = exp(-15.8122); runs = 21973
time: 49.8924 s.

137 117 11 90 78 123 38 101 45 202 105 176 9
repetitions = 17653
hashKey = 15607225091197709202
choice for step 12 = 9; eval = exp(-12.3582); runs = 22354
time: 50.9759 s.

137 117 11 90 78 123 38 101 45 105 109 10 20 9
repetitions = 18148
hashKey = 5929699338186572410
choice for step 13 = 9; eval = exp(-15.1511); runs = 22927
time: 52.0581 s.

137 117 11 90 78 123 38 101 45 20 10 9 194 105
repetitions = 18556
hashKey = 13648429724034501346
choice for step 13 = 105; eval = exp(-15.6172); runs = 23364
time: 53.1357 s.

137 117 11 90 78 123 38 101 45 53 129
repetitions = 18999
hashKey = 4408832505343865694
choice for step 10 = 129; eval = exp(-20.2707); runs = 23880
time: 54.2138 s.

137 117 11 90 78 123 38 101 36 105 109 10 202
repetitions = 19210
hashKey = 9035756416597862252
choice for step 12 = 202; eval = exp(-12.164); runs = 24277
time: 55.3049 s.

137 117 11 90 78 123 38 101 36 105 9 109
repetitions = 19373
hashKey = 15482801172494618398
choice for step 11 = 109; eval = exp(-14.674); runs = 24481
time: 56.3759 s.

137 117 11 90 78 123 38 101 36 20 109
repetitions = 19629
hashKey = 9573312725243838102
choice for step 10 = 109; eval = exp(-15.0284); runs = 24782
time: 57.4974 s.

137 117 11 90 78 123 38 101 36 9 109
repetitions = 19853
hashKey = 17585155990089851196
choice for step 10 = 109; eval = exp(-15.2487); runs = 25023
time: 58.5411 s.

137 117 11 90 78 123 38 101 198 97 105 20 10 9
repetitions = 20104
hashKey = 7829865095144993534
choice for step 13 = 9; eval = exp(-15.3416); runs = 25500
time: 59.6171 s.

137 117 11 90 78 123 38 101 198 105 10 60 9
repetitions = 20396
hashKey = 3076584766203634682
choice for step 12 = 9; eval = exp(-18.1347); runs = 25869
time: 60.6948 s.

137 117 11 90 78 123 38 101 198 202 60 105
repetitions = 20830
hashKey = 12394648321871583296
choice for step 11 = 105; eval = exp(-17.5593); runs = 26368
time: 61.7726 s.

137 117 11 90 78 123 38 101 144 91 105
repetitions = 21440
hashKey = 1560717164203878408
choice for step 10 = 105; eval = exp(-15.4408); runs = 27133
time: 62.8577 s.

137 117 11 90 78 123 38 101 144 20 105 10 214 9
repetitions = 21908
hashKey = 15390641892082472658
choice for step 13 = 9; eval = exp(-15.0615); runs = 27767
time: 63.9343 s.

137 117 11 90 78 123 38 101 144 105 109 10 9 20
repetitions = 22404
hashKey = 18438457886387960658
choice for step 13 = 20; eval = exp(-15.0696); runs = 28327
time: 65.0135 s.

137 117 11 90 78 123 38 101 144 9 109 52
repetitions = 23023
hashKey = 5127217214544607854
choice for step 11 = 52; eval = exp(-10.3926); runs = 28974
time: 66.0963 s.

137 117 11 90 78 123 38 101 26 142 105 9 20
repetitions = 23494
hashKey = 12815000468559467250
choice for step 12 = 20; eval = exp(-17.2647); runs = 29666
time: 67.1728 s.

137 117 11 90 78 123 38 101 26 160 105
repetitions = 23707
hashKey = 18141151540027931944
choice for step 10 = 105; eval = exp(-19.3182); runs = 30054
time: 68.2553 s.

137 117 11 90 78 123 38 101 26 202 20 120
repetitions = 24076
hashKey = 17224157933644069744
choice for step 11 = 120; eval = exp(-13.2458); runs = 30482
time: 69.342 s.

137 117 11 90 78 123 38 101 26 129 9 20 202
repetitions = 24435
hashKey = 3644511090495579398
choice for step 12 = 202; eval = exp(-19.0795); runs = 30891
time: 70.4172 s.

137 117 11 90 78 123 38 101 66 181 105 10 202
repetitions = 24884
hashKey = 7737276134571110898
choice for step 12 = 202; eval = exp(-13.2132); runs = 31420
time: 71.493 s.

137 117 11 90 78 123 38 101 66 105 20 97 10 9
repetitions = 25428
hashKey = 13680463024730749616
choice for step 13 = 9; eval = exp(-17.1337); runs = 32208
time: 72.5726 s.

137 117 11 90 78 123 38 101 66 20 202 10 129 9
repetitions = 25964
hashKey = 12257086174333902056
choice for step 13 = 9; eval = exp(-16.9874); runs = 32823
time: 73.6563 s.

137 117 11 90 78 123 38 101 66 79 52
repetitions = 26612
hashKey = 5179613002814583764
choice for step 10 = 52; eval = exp(-15.3746); runs = 33516
time: 74.7423 s.

137 117 11 90 78 123 38 101 92 20 109 202 105
repetitions = 27094
hashKey = 4106518237265667400
choice for step 12 = 105; eval = exp(-13.7872); runs = 34283
time: 75.8164 s.

137 117 11 90 78 123 38 101 92 109 52
repetitions = 27918
hashKey = 4473739875355579242
choice for step 10 = 52; eval = exp(-13.1294); runs = 35191
time: 76.8994 s.

137 117 11 90 78 123 38 101 121 97 20 9 202
repetitions = 28191
hashKey = 15733482913520577550
choice for step 12 = 202; eval = exp(-15.9634); runs = 35752
time: 77.9763 s.

137 117 11 90 78 123 38 101 121 176 202 105 9
repetitions = 28392
hashKey = 2291445745599949064
choice for step 12 = 9; eval = exp(-15.7143); runs = 36073
time: 79.0573 s.

137 117 11 90 78 123 38 101 121 202 10 32 9 20
repetitions = 28740
hashKey = 13164172051920137558
choice for step 13 = 20; eval = exp(-19.5177); runs = 36467
time: 80.138 s.

137 117 11 90 78 123 38 101 121 163 97
repetitions = 29240
hashKey = 15701554806628555374
choice for step 10 = 97; eval = exp(-23.6267); runs = 37024
time: 81.2197 s.

137 117 11 90 78 123 38 101 63 135 105
repetitions = 29541
hashKey = 380446181584470674
choice for step 10 = 105; eval = exp(-24.3033); runs = 37510
time: 82.3048 s.

137 117 11 90 78 123 38 101 63 202 9 214 105
repetitions = 29883
hashKey = 12254859790677855268
choice for step 12 = 105; eval = exp(-14.4702); runs = 37911
time: 83.3784 s.

137 117 11 90 78 123 38 101 181 47 9 20 105
repetitions = 30364
hashKey = 6879415676213705108
choice for step 12 = 105; eval = exp(-17.7374); runs = 38547
time: 84.4569 s.

137 117 11 90 78 123 38 101 181 157 9 20 105
repetitions = 30898
hashKey = 1091616214321963946
choice for step 12 = 105; eval = exp(-16.979); runs = 39229
time: 85.5409 s.

137 117 11 90 78 123 38 101 104 103 105
repetitions = 31656
hashKey = 6358356921526135272
choice for step 10 = 105; eval = exp(-15.2225); runs = 40132
time: 86.6369 s.

137 117 11 90 78 123 38 101 104 105 10 9 214 20
repetitions = 31947
hashKey = 14326342519723399768
choice for step 13 = 20; eval = exp(-14.5108); runs = 40624
time: 87.7032 s.

137 117 11 90 78 123 38 101 104 129 9 105
repetitions = 32443
hashKey = 16762316642704042216
choice for step 11 = 105; eval = exp(-15.9443); runs = 41160
time: 88.7881 s.

137 117 11 90 78 123 38 101 103 140 202 10
repetitions = 32944
hashKey = 10863200558037821238
choice for step 11 = 10; eval = exp(-12.5572); runs = 41767
time: 89.8622 s.

137 117 11 90 78 123 38 101 103 105 202 20 176
repetitions = 33267
hashKey = 4231675436772820428
choice for step 12 = 176; eval = exp(-14.4908); runs = 42324
time: 90.951 s.

137 117 11 90 78 123 38 101 103 202 9 140
repetitions = 33715
hashKey = 4972600885073736166
choice for step 11 = 140; eval = exp(-12.9474); runs = 42820
time: 92.0217 s.

137 117 11 90 78 123 38 101 103 206 176
repetitions = 34155
hashKey = 14260761987618358844
choice for step 10 = 176; eval = exp(-14.7731); runs = 43328
time: 93.1049 s.

137 117 11 90 78 123 38 101 186 141
repetitions = 34578
hashKey = 14464641732322337634
choice for step 9 = 141; eval = exp(-9.23247); runs = 43947
time: 94.4803 s.

137 117 11 90 78 123 38 101 186 129 9 202
repetitions = 34738
hashKey = 11118702305740290884
choice for step 11 = 202; eval = exp(-18.1151); runs = 44337
time: 95.4824 s.

137 117 11 90 78 123 38 101 186 202 105 32 10
repetitions = 35052
hashKey = 2184905657567518878
choice for step 12 = 10; eval = exp(-15.5772); runs = 44740
time: 96.5567 s.

137 117 11 90 78 123 38 101 186 9 208
repetitions = 35643
hashKey = 9994670285638056872
choice for step 10 = 208; eval = exp(-14.1669); runs = 45386
time: 97.6537 s.

137 117 11 90 78 123 38 101 86 105 10 97
repetitions = 36082
hashKey = 4445849737893358882
choice for step 11 = 97; eval = exp(-13.2308); runs = 46018
time: 98.7206 s.

137 117 11 90 78 123 38 101 86 97 10 9 105
repetitions = 36687
hashKey = 18342812019711248854
choice for step 12 = 105; eval = exp(-13.9223); runs = 46687
time: 99.7989 s.

137 117 11 90 78 123 38 101 86 47 10
repetitions = 37307
hashKey = 528639382334104130
choice for step 10 = 10; eval = exp(-18.6812); runs = 47388
time: 100.876 s.

137 117 11 90 78 123 38 101 172 105 202 206 9
repetitions = 37619
hashKey = 115959526244348786
choice for step 12 = 9; eval = exp(-14.5926); runs = 47882
time: 101.965 s.

137 117 11 90 78 123 38 101 172 202 97 9 105
repetitions = 37981
hashKey = 12323996540511812010
choice for step 12 = 105; eval = exp(-16.3572); runs = 48283
time: 103.039 s.

137 117 11 90 78 123 38 101 172 157 45
repetitions = 38361
hashKey = 11963789843110639796
choice for step 10 = 45; eval = exp(-13.805); runs = 48713
time: 104.125 s.

137 117 11 90 78 123 38 101 56 97 105 20 10
repetitions = 38708
hashKey = 6389045290047507720
choice for step 12 = 10; eval = exp(-14.9517); runs = 49197
time: 105.21 s.

137 117 11 90 78 123 38 101 56 10 105 20 214 9
repetitions = 38879
hashKey = 989265237999664182
choice for step 13 = 9; eval = exp(-17.4212); runs = 49476
time: 106.291 s.

137 117 11 90 78 123 38 101 56 105 20 194 10
repetitions = 39164
hashKey = 16305593410044742762
choice for step 12 = 10; eval = exp(-20.5015); runs = 49792
time: 107.361 s.

137 117 11 90 78 123 38 101 108 97 10 105
repetitions = 39523
hashKey = 7753304278784356452
choice for step 11 = 105; eval = exp(-13.2509); runs = 50255
time: 108.444 s.

137 117 11 90 78 123 38 101 108 202 132
repetitions = 39879
hashKey = 952674122575834456
choice for step 10 = 132; eval = exp(-12.7432); runs = 50715
time: 109.53 s.

137 117 11 90 78 123 38 101 108 109 9 105
repetitions = 40328
hashKey = 4060522339969577486
choice for step 11 = 105; eval = exp(-16.1804); runs = 51212
time: 110.601 s.

137 117 11 90 78 123 38 101 6 70 129
repetitions = 40697
hashKey = 7338031948017777590
choice for step 10 = 129; eval = exp(-18.4626); runs = 51764
time: 111.689 s.

137 117 11 90 78 123 38 101 6 79 202 9 10
repetitions = 40942
hashKey = 11734670910186157678
choice for step 12 = 10; eval = exp(-20.369); runs = 52117
time: 112.762 s.

137 117 11 90 78 123 38 101 23 116 105 9 10
repetitions = 41248
hashKey = 6852474617212239396
choice for step 12 = 10; eval = exp(-22.3497); runs = 52569
time: 113.84 s.

137 117 11 90 78 123 38 101 23 202 144
repetitions = 41637
hashKey = 13204953230622064894
choice for step 10 = 144; eval = exp(-11.9158); runs = 53049
time: 114.924 s.

137 117 11 90 78 123 38 101 23 9 206 105
repetitions = 42195
hashKey = 15398531923858643862
choice for step 11 = 105; eval = exp(-18.9136); runs = 53661
time: 116.003 s.

137 117 11 90 78 123 38 101 88 129 202 10 105
repetitions = 42546
hashKey = 14940350643510044994
choice for step 12 = 105; eval = exp(-17.2055); runs = 54213
time: 117.087 s.

137 117 11 90 78 123 38 101 88 105 214 9 202
repetitions = 42908
hashKey = 17834584023230568784
choice for step 12 = 202; eval = exp(-17.4827); runs = 54657
time: 118.161 s.

137 117 11 90 78 123 38 101 46 132
repetitions = 43519
hashKey = 4730694602212417008
choice for step 9 = 132; eval = exp(-8.36272); runs = 55327
time: 119.249 s.

137 117 11 90 78 123 38 101 46 211 97
repetitions = 43775
hashKey = 8388365764750137836
choice for step 10 = 97; eval = exp(-20.2637); runs = 55762
time: 120.322 s.

137 117 11 90 78 123 38 101 46 79 10 202 9 20
repetitions = 44084
hashKey = 9001080875119781524
choice for step 13 = 20; eval = exp(-20.9779); runs = 56129
time: 121.404 s.

137 117 11 90 78 123 38 101 46 10 9 129 105
repetitions = 44457
hashKey = 3455811298537197002
choice for step 12 = 105; eval = exp(-18.4236); runs = 56527
time: 122.484 s.

137 117 11 90 78 123 38 101 113 105 202 10 109
repetitions = 44889
hashKey = 18049857606118871086
choice for step 12 = 109; eval = exp(-12.7725); runs = 57102
time: 123.571 s.

137 117 11 90 78 123 38 101 113 10 176 9 202
repetitions = 45424
hashKey = 7950049564319617324
choice for step 12 = 202; eval = exp(-16.1323); runs = 57700
time: 124.645 s.

137 117 11 90 78 123 38 101 81 114 97
repetitions = 46051
hashKey = 175092584319103628
choice for step 10 = 97; eval = exp(-18.788); runs = 58472
time: 125.73 s.

137 117 11 90 78 123 38 101 81 105 20 214 9
repetitions = 46733
hashKey = 16652628117494742724
choice for step 12 = 9; eval = exp(-17.3686); runs = 59330
time: 126.805 s.

137 117 11 90 78 123 38 101 112 105 97
repetitions = 47425
hashKey = 10342467178449462126
choice for step 10 = 97; eval = exp(-14.6726); runs = 60227
time: 127.967 s.

137 117 11 90 78 123 38 101 112 105 109 20 9 10
repetitions = 47544
hashKey = 15216440018751406894
choice for step 13 = 10; eval = exp(-18.379); runs = 60390
time: 128.97 s.

137 117 11 90 78 123 38 101 112 202 10 20 194 9
repetitions = 47772
hashKey = 12699880793333727410
choice for step 13 = 9; eval = exp(-20.0374); runs = 60644
time: 130.047 s.

137 117 11 90 78 123 38 101 112 9 214 105
repetitions = 48108
hashKey = 4942687126401618588
choice for step 11 = 105; eval = exp(-19.524); runs = 60996
time: 131.132 s.

137 117 11 90 78 123 38 101 39 167 9 10
repetitions = 48331
hashKey = 15298980283680411810
choice for step 11 = 10; eval = exp(-20.3148); runs = 61362
time: 132.205 s.

137 117 11 90 78 123 38 101 39 70 9 105
repetitions = 48682
hashKey = 15196467764956342878
choice for step 11 = 105; eval = exp(-20.8522); runs = 61783
time: 133.285 s.

137 117 11 90 78 123 38 101 39 91 129
repetitions = 49097
hashKey = 728810834530958312
choice for step 10 = 129; eval = exp(-23.6074); runs = 62249
time: 134.373 s.

137 117 11 90 78 123 38 101 31 105 10 20 9 176
repetitions = 49397
hashKey = 4165652678174741802
choice for step 13 = 176; eval = exp(-12.495); runs = 62648
time: 135.448 s.

137 117 11 90 78 123 38 101 31 10 20 129 202
repetitions = 49670
hashKey = 12746620953023074696
choice for step 12 = 202; eval = exp(-20.3573); runs = 62942
time: 136.524 s.

137 117 11 90 78 123 38 101 31 214 176
repetitions = 50015
hashKey = 16424097465089958546
choice for step 10 = 176; eval = exp(-15.4003); runs = 63354
time: 137.609 s.

137 117 11 90 78 123 38 101 118 10 97 202 105
repetitions = 50467
hashKey = 6225962167795813032
choice for step 12 = 105; eval = exp(-14.1212); runs = 63939
time: 138.685 s.

137 117 11 90 78 123 38 101 67 105 202 129 9
repetitions = 50991
hashKey = 16884925871855657192
choice for step 12 = 9; eval = exp(-16.3241); runs = 64564
time: 139.77 s.

137 117 11 90 78 123 38 101 67 10 157 105
repetitions = 51342
hashKey = 14493892577765593910
choice for step 11 = 105; eval = exp(-17.8995); runs = 64942
time: 140.845 s.

137 117 11 90 78 123 38 101 140 105 10 9 97
repetitions = 51616
hashKey = 4243793055903024126
choice for step 12 = 97; eval = exp(-14.7823); runs = 65337
time: 141.931 s.

137 117 11 90 78 123 38 101 140 202 1 105
repetitions = 52112
hashKey = 13832923920735835452
choice for step 11 = 105; eval = exp(-19.1806); runs = 65869
time: 143.005 s.

137 117 11 90 78 123 38 101 140 204 97
repetitions = 52554
hashKey = 13028187224303171700
choice for step 10 = 97; eval = exp(-21.1672); runs = 66365
time: 144.092 s.

137 117 11 90 78 123 38 101 54 105 10 214 9
repetitions = 52904
hashKey = 4529387053037283080
choice for step 12 = 9; eval = exp(-15.741); runs = 66859
time: 145.167 s.

137 117 11 90 78 123 38 101 5 10 109
repetitions = 53257
hashKey = 2865366340444401256
choice for step 10 = 109; eval = exp(-14.2465); runs = 67317
time: 146.288 s.

137 117 11 90 78 123 38 101 5 105 20 9 129 10
repetitions = 53547
hashKey = 8712443774648838446
choice for step 13 = 10; eval = exp(-19.4567); runs = 67657
time: 147.326 s.

137 117 11 90 78 123 38 101 116 105 97 20 202
repetitions = 54079
hashKey = 12179899394050407464
choice for step 12 = 202; eval = exp(-13.3325); runs = 68316
time: 148.406 s.

137 117 11 90 78 123 38 101 116 10 9 194 105
repetitions = 54640
hashKey = 6893264941407817014
choice for step 12 = 105; eval = exp(-18.1925); runs = 68932
time: 149.484 s.

137 117 11 90 78 123 38 101 59 105 157
repetitions = 55153
hashKey = 18073362112780492092
choice for step 10 = 157; eval = exp(-15.6465); runs = 69561
time: 150.572 s.

137 117 11 90 78 123 38 101 59 9 157
repetitions = 55465
hashKey = 15625935138484063246
choice for step 10 = 157; eval = exp(-15.5242); runs = 69928
time: 151.662 s.

137 117 11 90 78 123 38 101 193 105 20 10 97
repetitions = 55802
hashKey = 4566818018170418828
choice for step 12 = 97; eval = exp(-14.9627); runs = 70413
time: 152.731 s.

137 117 11 90 78 123 38 101 193 202 9 194 105
repetitions = 56271
hashKey = 8816747093080402318
choice for step 12 = 105; eval = exp(-17.9465); runs = 70930
time: 153.808 s.

137 117 11 90 78 123 38 101 193 32 97
repetitions = 56789
hashKey = 9215350530677292402
choice for step 10 = 97; eval = exp(-15.0838); runs = 71512
time: 154.893 s.

137 117 11 90 78 123 38 101 87 105 202 9 176
repetitions = 56995
hashKey = 1178753806539193168
choice for step 12 = 176; eval = exp(-13.0956); runs = 71841
time: 155.979 s.

137 117 11 90 78 123 38 101 93 109 202
repetitions = 57330
hashKey = 16264031428319118350
choice for step 10 = 202; eval = exp(-13.9708); runs = 72274
time: 157.064 s.

137 117 11 90 78 123 38 101 93 129 157
repetitions = 57630
hashKey = 197161437062886880
choice for step 10 = 157; eval = exp(-16.4157); runs = 72675
time: 158.134 s.

137 117 11 90 78 123 38 101 178 105 10 32 20
repetitions = 58066
hashKey = 6508338495535307702
choice for step 12 = 20; eval = exp(-16.4947); runs = 73233
time: 159.213 s.

137 117 11 90 78 123 38 101 2 120 60
repetitions = 58784
hashKey = 5179855919577080668
choice for step 10 = 60; eval = exp(-24.5268); runs = 74072
time: 160.292 s.

137 117 11 90 78 123 38 101 2 10 9 105
repetitions = 59074
hashKey = 8870666240877547910
choice for step 11 = 105; eval = exp(-16.5103); runs = 74450
time: 161.382 s.

137 117 11 90 78 123 38 101 114 105 202 10 97
repetitions = 59352
hashKey = 16400459812371153692
choice for step 12 = 97; eval = exp(-13.032); runs = 74889
time: 162.475 s.

137 117 11 90 78 123 38 101 114 202 20 10 214 9
repetitions = 59666
hashKey = 541409521180868214
choice for step 13 = 9; eval = exp(-19.207); runs = 75245
time: 163.54 s.

137 117 11 90 78 123 38 101 114 157 176
repetitions = 60058
hashKey = 7473212471274309644
choice for step 10 = 176; eval = exp(-16.8482); runs = 75663
time: 164.629 s.

137 117 11 90 78 123 38 101 195 120 105
repetitions = 60480
hashKey = 13472474183989061616
choice for step 10 = 105; eval = exp(-18.4155); runs = 76205
time: 165.697 s.

137 117 11 90 78 123 38 101 195 10 9 97 105
repetitions = 60986
hashKey = 10868476534753785454
choice for step 12 = 105; eval = exp(-18.218); runs = 76802
time: 166.774 s.

137 117 11 90 78 123 38 101 95 109 9 20
repetitions = 61605
hashKey = 5471423609790783118
choice for step 11 = 20; eval = exp(-17.925); runs = 77543
time: 167.858 s.

137 117 11 90 78 123 38 101 95 214 9 20 10 105
repetitions = 61784
hashKey = 1662070678962485748
choice for step 13 = 105; eval = exp(-21.7939); runs = 77819
time: 168.932 s.

137 117 11 90 78 123 38 101 43 105 10 202 20 9
repetitions = 62192
hashKey = 3756693888044964012
choice for step 13 = 9; eval = exp(-23.35); runs = 78279
time: 170.012 s.

137 117 11 90 78 123 38 101 43 10 79 105
repetitions = 62688
hashKey = 10255109211780368190
choice for step 11 = 105; eval = exp(-15.1924); runs = 78806
time: 171.096 s.

137 117 11 90 78 123 38 101 120 105 20 9 214 10
repetitions = 63176
hashKey = 5055039444919054404
choice for step 13 = 10; eval = exp(-15.8436); runs = 79413
time: 172.174 s.

137 117 11 90 78 123 38 101 120 60 132
repetitions = 63771
hashKey = 6474052702597111198
choice for step 10 = 132; eval = exp(-14.3868); runs = 80054
time: 173.254 s.

137 117 11 90 78 123 38 101 34 105 20 10 32 9
repetitions = 63990
hashKey = 5774588363610127782
choice for step 13 = 9; eval = exp(-21.0957); runs = 80376
time: 174.333 s.

137 117 11 90 78 123 38 101 34 202 176 105
repetitions = 64259
hashKey = 7663098311625544128
choice for step 11 = 105; eval = exp(-16.9556); runs = 80673
time: 175.415 s.

137 117 11 90 78 123 38 101 34 9 206 105
repetitions = 64544
hashKey = 8697487267680779288
choice for step 11 = 105; eval = exp(-19.4134); runs = 80979
time: 176.497 s.

137 117 11 90 78 123 38 101 151 10 105 97
repetitions = 64787
hashKey = 3200893568197895160
choice for step 11 = 97; eval = exp(-15.1532); runs = 81314
time: 177.583 s.

137 117 11 90 78 123 38 101 151 9 176
repetitions = 65213
hashKey = 12404829453185075692
choice for step 10 = 176; eval = exp(-16.0405); runs = 81782
time: 178.672 s.

137 117 11 90 78 123 38 101 83 105 32 202
repetitions = 65593
hashKey = 17536636065188289556
choice for step 11 = 202; eval = exp(-15.38); runs = 82303
time: 179.738 s.

137 117 11 90 78 123 38 101 91 105 10 129 20 9
repetitions = 66128
hashKey = 3318148845645821730
choice for step 13 = 9; eval = exp(-16.8041); runs = 82942
time: 180.818 s.

137 117 11 90 78 123 38 101 22 129 10 202 20 9
repetitions = 66987
hashKey = 14760627467658469892
choice for step 13 = 9; eval = exp(-17.3338); runs = 83922
time: 181.896 s.

137 117 11 90 78 123 38 101 22 20 202 60 105
repetitions = 67500
hashKey = 8187162488044232476
choice for step 12 = 105; eval = exp(-18.2747); runs = 84481
time: 182.978 s.

137 117 11 90 78 123 38 101 167 105 20 10 79 9
repetitions = 67946
hashKey = 16593390325569291638
choice for step 13 = 9; eval = exp(-20.4513); runs = 85037
time: 184.061 s.

137 117 11 90 78 123 38 101 167 202 129 105
repetitions = 68447
hashKey = 10130894693389047310
choice for step 11 = 105; eval = exp(-16.0367); runs = 85573
time: 185.138 s.

137 117 11 90 78 123 38 101 167 157 20
repetitions = 68967
hashKey = 9836735560902008632
choice for step 10 = 20; eval = exp(-15.2322); runs = 86136
time: 186.221 s.

137 117 11 90 78 123 38 101 126 105 202 10 147
repetitions = 69332
hashKey = 17408927074909155952
choice for step 12 = 147; eval = exp(-12.1642); runs = 86664
time: 187.297 s.

137 117 11 90 78 123 38 101 126 202 20 109
repetitions = 69787
hashKey = 14239004874345957268
choice for step 11 = 109; eval = exp(-15.7921); runs = 87195
time: 188.38 s.

137 117 11 90 78 123 38 101 126 60 147
repetitions = 70379
hashKey = 8428702316533025836
choice for step 10 = 147; eval = exp(-16.3228); runs = 87835
time: 189.466 s.

137 117 11 90 78 123 38 101 168 202 20 97
repetitions = 70668
hashKey = 261195707886121642
choice for step 11 = 97; eval = exp(-14.5351); runs = 88268
time: 190.542 s.

137 117 11 90 78 123 38 101 168 146 9
repetitions = 71146
hashKey = 14876179019983138514
choice for step 10 = 9; eval = exp(-24.6916); runs = 88784
time: 191.624 s.

137 117 11 90 78 123 38 101 209 105 176 9 10
repetitions = 71394
hashKey = 11143275585556946158
choice for step 12 = 10; eval = exp(-18.0594); runs = 89128
time: 192.697 s.

137 117 11 90 78 123 38 101 111 20 52
repetitions = 71754
hashKey = 540156517291069848
choice for step 10 = 52; eval = exp(-10.6535); runs = 89510
time: 193.787 s.

137 117 11 90 78 123 38 101 111 10 202 45
repetitions = 72211
hashKey = 2749990516931932930
choice for step 11 = 45; eval = exp(-11.0004); runs = 90012
time: 194.861 s.

137 117 11 90 78 123 38 101 203 176 9 202
repetitions = 72780
hashKey = 2671180714758014026
choice for step 11 = 202; eval = exp(-16.3452); runs = 90672
time: 195.938 s.

137 117 11 90 78 123 38 101 203 9 105 176
repetitions = 73105
hashKey = 12906470326023622446
choice for step 11 = 176; eval = exp(-17.2421); runs = 91071
time: 197.02 s.

137 117 11 90 78 123 38 101 162 97 105 202 20
repetitions = 73366
hashKey = 14620193604956691750
choice for step 12 = 20; eval = exp(-12.7752); runs = 91477
time: 198.097 s.

137 117 11 90 78 123 38 101 162 105 109 202
repetitions = 73540
hashKey = 10932892322134120978
choice for step 11 = 202; eval = exp(-14.4011); runs = 91713
time: 199.181 s.

137 117 11 90 78 123 38 101 162 202 9 79 105
repetitions = 73842
hashKey = 4445901654128678536
choice for step 12 = 105; eval = exp(-19.5869); runs = 92037
time: 200.259 s.

137 117 11 90 78 123 38 101 162 9 206 105
repetitions = 74200
hashKey = 4314900210686531222
choice for step 11 = 105; eval = exp(-18.7461); runs = 92423
time: 201.344 s.

137 117 11 90 78 123 38 101 204 105 202 176 9
repetitions = 74495
hashKey = 8176179558176513308
choice for step 12 = 9; eval = exp(-16.8281); runs = 92837
time: 202.421 s.

137 117 11 90 78 123 38 101 204 194 186
repetitions = 74839
hashKey = 14137095251897392872
choice for step 10 = 186; eval = exp(-18.5352); runs = 93257
time: 203.501 s.

137 117 11 90 78 123 38 101 77 105 9 20 206 10
repetitions = 75149
hashKey = 8261802870592408880
choice for step 13 = 10; eval = exp(-19.2109); runs = 93667
time: 204.576 s.

137 117 11 90 78 123 38 101 77 10 9 79 105
repetitions = 75514
hashKey = 14845329725923520534
choice for step 12 = 105; eval = exp(-21.2749); runs = 94082
time: 205.657 s.

137 117 11 90 78 123 38 101 110 105 109 9 20
repetitions = 75976
hashKey = 6001265319757105446
choice for step 12 = 20; eval = exp(-16.9105); runs = 94611
time: 206.736 s.

137 117 11 90 78 123 38 101 110 176 105
repetitions = 76190
hashKey = 15460291100883616912
choice for step 10 = 105; eval = exp(-14.7858); runs = 94876
time: 207.854 s.

137 117 11 90 78 123 38 101 110 20 176
repetitions = 76415
hashKey = 5001020861741174972
choice for step 10 = 176; eval = exp(-16.1756); runs = 95126
time: 208.902 s.

137 117 11 90 78 123 38 101 110 32 105
repetitions = 76674
hashKey = 17004725691564272302
choice for step 10 = 105; eval = exp(-18.619); runs = 95421
time: 210.009 s.

137 117 11 90 78 123 38 101 27 105 9 176
repetitions = 77006
hashKey = 267730965649773218
choice for step 11 = 176; eval = exp(-14.8997); runs = 95834
time: 211.061 s.

137 117 11 90 78 123 38 101 27 10 9 214 105
repetitions = 77523
hashKey = 6213113919919533562
choice for step 12 = 105; eval = exp(-19.1512); runs = 96384
time: 212.137 s.

137 117 11 90 78 123 38 101 174 105 10 206 20
repetitions = 77931
hashKey = 4023621850341543092
choice for step 12 = 20; eval = exp(-21.4937); runs = 96905
time: 213.218 s.

137 117 11 90 78 123 38 101 174 10 79 105
repetitions = 78366
hashKey = 10607148705672654746
choice for step 11 = 105; eval = exp(-17.6661); runs = 97371
time: 214.297 s.

137 117 11 90 78 123 38 101 197 105 20 32 10
repetitions = 78732
hashKey = 3031652446713937600
choice for step 12 = 10; eval = exp(-24.6192); runs = 97809
time: 215.377 s.

137 117 11 90 78 123 38 101 164 105 202 97
repetitions = 79006
hashKey = 14155645770945817190
choice for step 11 = 97; eval = exp(-15.29); runs = 98140
time: 216.462 s.

137 117 11 90 78 123 38 101 164 10 97
repetitions = 79387
hashKey = 11489718824764763018
choice for step 10 = 97; eval = exp(-16.0167); runs = 98570
time: 217.545 s.

137 117 11 90 78 123 38 101 42 105 176 20 10
repetitions = 79794
hashKey = 6724752172225151442
choice for step 12 = 10; eval = exp(-16.3256); runs = 99068
time: 218.617 s.

137 117 11 90 78 123 38 101 42 9 10 20 208
repetitions = 80345
hashKey = 5082124843187927036
choice for step 12 = 208; eval = exp(-17.408); runs = 99676
time: 219.701 s.

137 117 11 90 78 123 38 101 8 105 97
repetitions = 80889
hashKey = 13439752805108329560
choice for step 10 = 97; eval = exp(-15.6281); runs = 100334
time: 220.79 s.

137 117 11 90 78 123 38 101 8 202 10 97
repetitions = 81183
hashKey = 4545281074915144568
choice for step 11 = 97; eval = exp(-16.0027); runs = 100686
time: 221.859 s.

137 117 11 90 78 123 38 101 189 10 45
repetitions = 81682
hashKey = 10566383321870365356
choice for step 10 = 45; eval = exp(-13.8202); runs = 101239
time: 222.937 s.

137 117 11 90 78 123 38 101 70 105 20 9 129 10
repetitions = 82453
hashKey = 10038610334636562868
choice for step 13 = 10; eval = exp(-17.0934); runs = 102094
time: 224.017 s.

137 117 11 90 78 123 38 101 70 10 9 206 105
repetitions = 82941
hashKey = 1580285616238013522
choice for step 12 = 105; eval = exp(-19.5373); runs = 102607
time: 225.099 s.

137 117 11 90 78 123 38 101 28 105 10 20 9 176
repetitions = 83341
hashKey = 14932202853616894704
choice for step 13 = 176; eval = exp(-14.0076); runs = 103088
time: 226.182 s.

137 117 11 90 78 123 38 101 28 202 9 79 10
repetitions = 83653
hashKey = 4526966416768453524
choice for step 12 = 10; eval = exp(-22.7423); runs = 103435
time: 227.262 s.

137 117 11 90 78 123 38 101 28 206 176
repetitions = 84022
hashKey = 15832608886420830118
choice for step 10 = 176; eval = exp(-18.4266); runs = 103872
time: 228.343 s.

137 117 11 90 78 123 38 101 49 105 20 10 176 9
repetitions = 84323
hashKey = 11677511933072664348
choice for step 13 = 9; eval = exp(-17.6598); runs = 104283
time: 229.426 s.

137 117 11 90 78 123 38 101 49 60 10 105
repetitions = 84812
hashKey = 16928576729376485950
choice for step 11 = 105; eval = exp(-19.2208); runs = 104782
time: 230.501 s.

137 117 11 90 78 123 38 101 196 105 202 20 97
repetitions = 85280
hashKey = 9262014190007406974
choice for step 12 = 97; eval = exp(-12.9315); runs = 105363
time: 231.585 s.

137 117 11 90 78 123 38 101 196 9 214 105
repetitions = 85809
hashKey = 10314759549848527776
choice for step 11 = 105; eval = exp(-18.2369); runs = 105954
time: 232.663 s.

137 117 11 90 78 123 38 101 124 20 79 105
repetitions = 86276
hashKey = 15946692164714455138
choice for step 11 = 105; eval = exp(-16.7991); runs = 106497
time: 233.742 s.

137 117 11 90 78 123 38 101 165 105 202 20 97
repetitions = 86744
hashKey = 8077560873159502130
choice for step 12 = 97; eval = exp(-14.7774); runs = 107028
time: 234.833 s.

137 117 11 90 78 123 38 101 165 202 10 194 105
repetitions = 87023
hashKey = 13449807857257283722
choice for step 12 = 105; eval = exp(-20.1964); runs = 107369
time: 235.902 s.

137 117 11 90 78 123 38 101 165 109 97
repetitions = 87373
hashKey = 14065758098712258260
choice for step 10 = 97; eval = exp(-16.5866); runs = 107763
time: 236.987 s.

137 117 11 90 78 123 38 101 153 194 214
repetitions = 87755
hashKey = 5334745305184687138
choice for step 10 = 214; eval = exp(-21.6159); runs = 108214
time: 238.06 s.

137 117 11 90 78 123 38 101 3 109 105 10 20
repetitions = 88516
hashKey = 11638035894214023400
choice for step 12 = 20; eval = exp(-16.203); runs = 109132
time: 239.149 s.

137 117 11 90 78 123 38 101 3 202 9 214 105
repetitions = 88873
hashKey = 2923600854821283848
choice for step 12 = 105; eval = exp(-19.2212); runs = 109557
time: 240.225 s.

137 117 11 90 78 123 38 101 150 202 20 10 9 176
repetitions = 89285
hashKey = 8423720378658066542
choice for step 13 = 176; eval = exp(-16.4017); runs = 110068
time: 241.309 s.

137 117 11 90 78 123 38 101 201 105 202 79 20
repetitions = 89787
hashKey = 13064518970807368744
choice for step 12 = 20; eval = exp(-18.166); runs = 110648
time: 242.387 s.

137 117 11 90 78 123 38 101 33 97 105
repetitions = 90436
hashKey = 1016306918940711254
choice for step 10 = 105; eval = exp(-17.6721); runs = 111377
time: 243.484 s.

137 117 11 90 78 123 38 101 33 105 20 129 202
repetitions = 90602
hashKey = 3375694267920507774
choice for step 12 = 202; eval = exp(-22.5883); runs = 111587
time: 244.547 s.

137 117 11 90 78 123 38 101 33 202 10 60 105
repetitions = 90911
hashKey = 9598063132892363106
choice for step 12 = 105; eval = exp(-22.5083); runs = 111917
time: 245.626 s.

137 117 11 90 78 123 38 101 148 105 10 202 109
repetitions = 91259
hashKey = 11484060157040873094
choice for step 12 = 109; eval = exp(-15.7235); runs = 112312
time: 246.705 s.

137 117 11 90 78 123 38 101 40 79 202 10 105
repetitions = 91558
hashKey = 1786704652815135064
choice for step 12 = 105; eval = exp(-18.9351); runs = 112673
time: 247.786 s.

137 117 11 90 78 123 38 101 40 109 10 202
repetitions = 91804
hashKey = 5826268346524148660
choice for step 11 = 202; eval = exp(-19.5046); runs = 112954
time: 248.869 s.

137 117 11 90 78 123 38 101 40 129 9 10 202
repetitions = 92089
hashKey = 7890581581351941770
choice for step 12 = 202; eval = exp(-26.952); runs = 113258
time: 249.951 s.

137 117 11 90 78 123 38 101 84 20 10 144
repetitions = 92611
hashKey = 14547475380071196714
choice for step 11 = 144; eval = exp(-16.4648); runs = 113849
time: 251.026 s.

137 117 11 90 78 123 38 101 98 10 20 105
repetitions = 93417
hashKey = 604209961980424542
choice for step 11 = 105; eval = exp(-17.3439); runs = 114719
time: 252.108 s.

137 117 11 90 78 123 38 101 128 97 105 10 9 20
repetitions = 93908
hashKey = 18010481988065077628
choice for step 13 = 20; eval = exp(-16.4702); runs = 115278
time: 253.194 s.

137 117 11 90 78 123 38 101 136 97 10 20 105
repetitions = 94292
hashKey = 11266841521349345208
choice for step 12 = 105; eval = exp(-18.2892); runs = 115718
time: 254.271 s.

137 117 11 90 78 123 38 101 136 10 9 52
repetitions = 94648
hashKey = 17957881750477052918
choice for step 11 = 52; eval = exp(-16.7425); runs = 116116
time: 255.352 s.

137 117 11 90 78 123 38 101 152 105 10 9 97 20
repetitions = 95071
hashKey = 13770943451514255600
choice for step 13 = 20; eval = exp(-20.7466); runs = 116611
time: 256.434 s.

137 117 11 90 78 123 38 101 152 157 129
repetitions = 95445
hashKey = 5437190550698634770
choice for step 10 = 129; eval = exp(-17.1232); runs = 117023
time: 257.521 s.

137 117 11 90 78 123 38 101 152 44 9
repetitions = 95753
hashKey = 13704569534467602634
choice for step 10 = 9; eval = exp(-30.2926); runs = 117388
time: 258.593 s.

137 117 11 90 78 123 38 101 0 105 194 202
repetitions = 96027
hashKey = 13851086957203105898
choice for step 11 = 202; eval = exp(-19.5789); runs = 117713
time: 259.672 s.

137 117 11 90 78 123 38 101 0 20 10 105
repetitions = 96369
hashKey = 9815876828482207878
choice for step 11 = 105; eval = exp(-19.0414); runs = 118085
time: 260.766 s.

137 117 11 90 78 123 38 101 16 105 10
repetitions = 96763
hashKey = 8787731090146608148
choice for step 10 = 10; eval = exp(-17.5876); runs = 118532
time: 261.849 s.

137 117 11 90 78 123 38 101 17 202 9 105
repetitions = 97188
hashKey = 16039382841021437210
choice for step 11 = 105; eval = exp(-18.5429); runs = 119010
time: 262.922 s.

137 117 11 90 78 123 38 101 179 105 129 202
repetitions = 97501
hashKey = 17905633205792073180
choice for step 11 = 202; eval = exp(-21.7324); runs = 119395
time: 264.001 s.

137 117 11 90 78 123 38 101 211 97 10 202 105
repetitions = 97839
hashKey = 6034671549466119694
choice for step 12 = 105; eval = exp(-14.282); runs = 119775
time: 265.081 s.

137 117 11 90 78 123 38 101 211 20 10 9 214 105
repetitions = 98187
hashKey = 410910869541442636
choice for step 13 = 105; eval = exp(-19.4736); runs = 120165
time: 266.161 s.

137 117 11 90 78 123 38 101 62 105 176 20 10
repetitions = 98636
hashKey = 3936490182250853274
choice for step 12 = 10; eval = exp(-18.7898); runs = 120672
time: 267.242 s.

137 117 11 90 78 123 38 101 130 105 10 97 20 9
repetitions = 99101
hashKey = 14813029940742926628
choice for step 13 = 9; eval = exp(-21.4346); runs = 121167
time: 268.325 s.

137 117 11 90 78 123 38 101 130 10 9 157 105
repetitions = 99370
hashKey = 15567290362434372654
choice for step 12 = 105; eval = exp(-22.2917); runs = 121469
time: 269.402 s.

137 117 11 90 78 123 38 101 134 97 10 202 9 20
repetitions = 99796
hashKey = 12074364283921772312
choice for step 13 = 20; eval = exp(-21.5146); runs = 121973
time: 270.481 s.

137 117 11 90 78 123 38 101 175 105 202 9 176
repetitions = 100219
hashKey = 17064237814992412026
choice for step 12 = 176; eval = exp(-19.6775); runs = 122496
time: 271.561 s.

137 117 11 90 78 123 38 101 170 10 202 9 129 20
repetitions = 100550
hashKey = 2148157064640134806
choice for step 13 = 20; eval = exp(-21.2894); runs = 122889
time: 272.642 s.

137 117 11 90 78 123 38 101 138 202 20 109 9 10
repetitions = 101122
hashKey = 4744825593505325110
choice for step 13 = 10; eval = exp(-21.6118); runs = 123531
time: 273.72 s.

137 117 11 90 78 123 38 101 138 194 176
repetitions = 101979
hashKey = 11905981230627190678
choice for step 10 = 176; eval = exp(-19.8642); runs = 124499
time: 274.812 s.

137 117 11 90 78 123 38 101 154 10 97 20 105
repetitions = 102374
hashKey = 4198078610051835084
choice for step 12 = 105; eval = exp(-17.7691); runs = 124967
time: 275.887 s.

137 117 11 90 78 123 38 101 18 105 202 9 129
repetitions = 102901
hashKey = 9335431743593405834
choice for step 12 = 129; eval = exp(-13.3212); runs = 125575
time: 276.97 s.

137 117 11 90 78 123 38 101 71 20 105 9 214 10
repetitions = 103893
hashKey = 12761933210274359430
choice for step 13 = 10; eval = exp(-20.6873); runs = 126690
time: 278.044 s.

137 117 11 90 78 123 38 101 106 10 20 214 105
repetitions = 104297
hashKey = 16882307437303053222
choice for step 12 = 105; eval = exp(-17.6333); runs = 127130
time: 279.127 s.

137 117 11 90 78 123 38 101 1 10 20 105
repetitions = 105063
hashKey = 16095353805796469822
choice for step 11 = 105; eval = exp(-17.333); runs = 127980
time: 280.205 s.

137 117 11 90 78 123 38 101 131 105 20 10 194 9
repetitions = 105683
hashKey = 7053453282218701868
choice for step 13 = 9; eval = exp(-20.7351); runs = 128665
time: 281.285 s.

137 117 11 90 78 123 38 101 131 10 157 9 105
repetitions = 106037
hashKey = 16337909657622464468
choice for step 12 = 105; eval = exp(-18.6236); runs = 129031
time: 282.364 s.

137 117 11 90 78 123 38 101 199 105 214 9
repetitions = 106364
hashKey = 4258801168040157924
choice for step 11 = 9; eval = exp(-22.5049); runs = 129394
time: 283.444 s.

137 117 11 90 78 123 38 101 51 97 105 10 20 9
repetitions = 106727
hashKey = 12634935023855790934
choice for step 13 = 9; eval = exp(-16.6337); runs = 129777
time: 284.529 s.

137 117 11 90 78 123 38 101 51 176 9 10 105
repetitions = 106973
hashKey = 1295252673530395246
choice for step 12 = 105; eval = exp(-14.0326); runs = 130072
time: 285.605 s.

137 117 11 90 78 123 38 101 51 20 129 105
repetitions = 107326
hashKey = 6209067621834238394
choice for step 11 = 105; eval = exp(-23.3104); runs = 130445
time: 286.687 s.

137 117 11 90 78 123 38 101 97 105 202 169 20
repetitions = 107829
hashKey = 1836579234976851278
choice for step 12 = 20; eval = exp(-14.1448); runs = 131135
time: 287.778 s.

137 117 11 90 78 123 38 101 97 105 10 122 202
repetitions = 108627
hashKey = 10191319483206724740
choice for step 12 = 202; eval = exp(-16.1065); runs = 131999
time: 288.845 s.

137 117 11 90 78 123 38 101 97 105 48 202
repetitions = 109493
hashKey = 6119564605082092424
choice for step 11 = 202; eval = exp(-16.8832); runs = 132871
time: 289.927 s.

137 117 11 90 78 123 38 101 97 10 20 9 55 105
repetitions = 110389
hashKey = 8844093260025073146
choice for step 13 = 105; eval = exp(-20.3861); runs = 133853
time: 291.005 s.

137 117 11 90 78 123 38 101 97 10 182 9 105
repetitions = 111124
hashKey = 1386294793302506368
choice for step 12 = 105; eval = exp(-23.6843); runs = 134593
time: 292.086 s.

137 117 11 90 78 123 38 101 97 20 145 9 105
repetitions = 112276
hashKey = 4454808512281829072
choice for step 12 = 105; eval = exp(-23.1434); runs = 135746
time: 293.164 s.

137 117 11 90 78 123 38 101 97 142 105
repetitions = 113483
hashKey = 11580961388173599982
choice for step 10 = 105; eval = exp(-15.1518); runs = 137098
time: 294.266 s.

137 117 11 90 78 123 38 101 47 20 105 10 45
repetitions = 114060
hashKey = 2262098222774440398
choice for step 12 = 45; eval = exp(-14.3698); runs = 137744
time: 295.329 s.

137 117 11 90 78 123 38 101 47 105 147
repetitions = 114613
hashKey = 9828679575559263178
choice for step 10 = 147; eval = exp(-14.5158); runs = 138323
time: 296.405 s.

137 117 11 90 78 123 38 101 14 20 79 10
repetitions = 115153
hashKey = 15349530167711522104
choice for step 11 = 10; eval = exp(-21.3624); runs = 138921
time: 297.486 s.

137 117 11 90 78 123 38 101 29 20 202 97
repetitions = 115728
hashKey = 12815692271543763016
choice for step 11 = 97; eval = exp(-16.6472); runs = 139553
time: 298.567 s.

137 117 11 90 78 123 38 101 146 105 57
repetitions = 116293
hashKey = 10506207014649509742
choice for step 10 = 57; eval = exp(-15.3128); runs = 140172
time: 299.659 s.

137 117 11 90 78 123 38 101 146 9 57
repetitions = 116798
hashKey = 8058780040353080896
choice for step 10 = 57; eval = exp(-17.8137); runs = 140712
time: 300.731 s.

137 117 11 90 78 123 38 101 119 10 20 105
repetitions = 117319
hashKey = 9847685640008965432
choice for step 11 = 105; eval = exp(-18.0225); runs = 141294
time: 301.82 s.

137 117 11 90 78 123 38 101 143 10 52
repetitions = 117848
hashKey = 12563240831945371930
choice for step 10 = 52; eval = exp(-15.5356); runs = 141878
time: 302.901 s.

137 117 11 90 78 123 38 101 143 206 9
repetitions = 118380
hashKey = 16334506071736913432
choice for step 10 = 9; eval = exp(-22.4894); runs = 142443
time: 303.97 s.

137 117 11 90 78 123 38 101 105 109 10 20 192 9
repetitions = 119182
hashKey = 17453607436607003774
choice for step 13 = 9; eval = exp(-21.5282); runs = 143374
time: 305.05 s.

137 117 11 90 78 123 38 101 105 109 9 163 10
repetitions = 120040
hashKey = 14999712184954278150
choice for step 12 = 10; eval = exp(-18.0774); runs = 144270
time: 306.129 s.

137 117 11 90 78 123 38 101 105 176 9 20 99 10
repetitions = 121160
hashKey = 9795804686842997430
choice for step 13 = 10; eval = exp(-16.0812); runs = 145465
time: 307.209 s.

137 117 11 90 78 123 38 101 105 176 73 20 10
repetitions = 122232
hashKey = 14340355020147594952
choice for step 12 = 10; eval = exp(-23.2758); runs = 146558
time: 308.289 s.

137 117 11 90 78 123 38 101 105 20 202 102 176
repetitions = 123226
hashKey = 13109207651706021156
choice for step 12 = 176; eval = exp(-17.8414); runs = 147668
time: 309.376 s.

137 117 11 90 78 123 38 101 105 20 10 32 147
repetitions = 123735
hashKey = 717308830375635998
choice for step 12 = 147; eval = exp(-14.1504); runs = 148265
time: 310.462 s.

137 117 11 90 78 123 38 101 105 20 10 9 149 214
repetitions = 124795
hashKey = 13063225750962799182
choice for step 13 = 214; eval = exp(-17.9732); runs = 149487
time: 311.53 s.

137 117 11 90 78 123 38 101 105 20 10 206 169 9
repetitions = 125558
hashKey = 17203966812460542672
choice for step 13 = 9; eval = exp(-22.6914); runs = 150291
time: 312.611 s.

137 117 11 90 78 123 38 101 105 20 10 65 129 9
repetitions = 126291
hashKey = 13247640472553466914
choice for step 13 = 9; eval = exp(-24.6628); runs = 151074
time: 313.69 s.

137 117 11 90 78 123 38 101 105 20 9 214 72 10
repetitions = 127103
hashKey = 537614773357473814
choice for step 13 = 10; eval = exp(-22.3657); runs = 151925
time: 314.772 s.

137 117 11 90 78 123 38 101 105 20 9 19 60 10
repetitions = 128171
hashKey = 11201639953852297048
choice for step 13 = 10; eval = exp(-26.0371); runs = 153006
time: 315.849 s.

137 117 11 90 78 123 38 101 105 20 206 19 10
repetitions = 129209
hashKey = 2411546043445977442
choice for step 12 = 10; eval = exp(-24.4645); runs = 154065
time: 316.929 s.

137 117 11 90 78 123 38 101 105 20 127 202 109
repetitions = 130091
hashKey = 14982186176166029882
choice for step 12 = 109; eval = exp(-23.7795); runs = 154954
time: 318.01 s.

137 117 11 90 78 123 38 101 105 10 202 48 97
repetitions = 131102
hashKey = 7460382486154515852
choice for step 12 = 97; eval = exp(-17.8617); runs = 156082
time: 319.091 s.

137 117 11 90 78 123 38 101 105 10 32 48 202
repetitions = 131840
hashKey = 3550253743481652432
choice for step 12 = 202; eval = exp(-21.2446); runs = 156864
time: 320.169 s.

137 117 11 90 78 123 38 101 105 10 9 163 176
repetitions = 132928
hashKey = 7347331117451453234
choice for step 12 = 176; eval = exp(-17.1084); runs = 157963
time: 321.251 s.

137 117 11 90 78 123 38 101 105 10 214 68 202
repetitions = 133710
hashKey = 17931182814923743956
choice for step 12 = 202; eval = exp(-20.2187); runs = 158764
time: 322.328 s.

137 117 11 90 78 123 38 101 105 10 7 32
repetitions = 134735
hashKey = 18047435140158377348
choice for step 11 = 32; eval = exp(-19.4997); runs = 159792
time: 323.411 s.

137 117 11 90 78 123 38 101 105 202 129 156 9
repetitions = 135470
hashKey = 14589783080004755714
choice for step 12 = 9; eval = exp(-20.6142); runs = 160573
time: 324.489 s.

137 117 11 90 78 123 38 101 105 202 60 122 20
repetitions = 136633
hashKey = 15867459307136696216
choice for step 12 = 20; eval = exp(-17.8895); runs = 161812
time: 325.569 s.

137 117 11 90 78 123 38 101 105 202 161 9 176
repetitions = 137512
hashKey = 4978893437380683164
choice for step 12 = 176; eval = exp(-21.015); runs = 162718
time: 326.649 s.

137 117 11 90 78 123 38 101 105 9 60 147
repetitions = 138852
hashKey = 12430301644852607110
choice for step 11 = 147; eval = exp(-15.6552); runs = 164059
time: 327.738 s.

137 117 11 90 78 123 38 101 105 129 99 10
repetitions = 139885
hashKey = 4280199482275510250
choice for step 11 = 10; eval = exp(-17.7594); runs = 165093
time: 328.809 s.

137 117 11 90 78 123 38 101 105 206 55 10
repetitions = 141120
hashKey = 13747463094386946304
choice for step 11 = 10; eval = exp(-22.4907); runs = 166328
time: 329.889 s.

137 117 11 90 78 123 38 101 105 85 109 20
repetitions = 142158
hashKey = 5872019744806599988
choice for step 11 = 20; eval = exp(-22.8753); runs = 167373
time: 330.97 s.

137 117 11 90 78 123 38 101 48 202 20 97
repetitions = 142658
hashKey = 14107038439649202100
choice for step 11 = 97; eval = exp(-18.0629); runs = 167917
time: 332.054 s.

137 117 11 90 78 123 38 101 96 20 202 10 214 9
repetitions = 143117
hashKey = 16161932822587554038
choice for step 13 = 9; eval = exp(-20.5138); runs = 168435
time: 333.133 s.

137 117 11 90 78 123 38 101 191 202 9 109 10
repetitions = 143736
hashKey = 308445785595173448
choice for step 12 = 10; eval = exp(-24.9409); runs = 169098
time: 334.208 s.

137 117 11 90 78 123 38 101 166 129 202 105
repetitions = 144287
hashKey = 15147060030257820556
choice for step 11 = 105; eval = exp(-19.9379); runs = 169721
time: 335.29 s.

137 117 11 90 78 123 38 101 122 20 10 9 176 202
repetitions = 144953
hashKey = 8174448192528653962
choice for step 13 = 202; eval = exp(-18.0937); runs = 170415
time: 336.369 s.

137 117 11 90 78 123 38 101 133 20 10 206 105
repetitions = 145622
hashKey = 16459662441599920086
choice for step 12 = 105; eval = exp(-21.4226); runs = 171159
time: 337.449 s.

137 117 11 90 78 123 38 101 21 10 109
repetitions = 146243
hashKey = 14381346503776056346
choice for step 10 = 109; eval = exp(-17.1672); runs = 171795
time: 338.535 s.

137 117 11 90 78 123 38 101 69 157 20 202 10 9
repetitions = 146895
hashKey = 10298420164033049916
choice for step 13 = 9; eval = exp(-19.4614); runs = 172524
time: 339.61 s.

137 117 11 90 78 123 38 101 156 10 79 105
repetitions = 147277
hashKey = 5819979205286894836
choice for step 11 = 105; eval = exp(-19.2491); runs = 172956
time: 340.689 s.

137 117 11 90 78 123 38 101 180 20 202 9 214 10
repetitions = 147876
hashKey = 3197531329797481476
choice for step 13 = 10; eval = exp(-21.5187); runs = 173605
time: 341.768 s.

137 117 11 90 78 123 38 101 202 109 10 9 213 20
repetitions = 148786
hashKey = 3778545852996799468
choice for step 13 = 20; eval = exp(-21.4098); runs = 174591
time: 342.849 s.

137 117 11 90 78 123 38 101 202 20 10 9 206 132
repetitions = 150571
hashKey = 7288898750965188176
choice for step 13 = 132; eval = exp(-13.1919); runs = 176441
time: 343.96 s.

137 117 11 90 78 123 38 101 202 20 10 171 109
repetitions = 151679
hashKey = 3206674245125042044
choice for step 12 = 109; eval = exp(-22.5369); runs = 177613
time: 345.013 s.

137 117 11 90 78 123 38 101 202 20 214 115 105
repetitions = 152962
hashKey = 12665483378610045010
choice for step 12 = 105; eval = exp(-22.9443); runs = 178932
time: 346.09 s.

137 117 11 90 78 123 38 101 202 10 9 129 61
repetitions = 154298
hashKey = 7302949373902903798
choice for step 12 = 61; eval = exp(-13.9826); runs = 180277
time: 347.176 s.

137 117 11 90 78 123 38 101 202 10 214 139 105
repetitions = 155790
hashKey = 11198150858716704736
choice for step 12 = 105; eval = exp(-21.5956); runs = 181794
time: 348.249 s.

137 117 11 90 78 123 38 101 202 9 214 184 105
repetitions = 156982
hashKey = 7523890867359409350
choice for step 12 = 105; eval = exp(-19.564); runs = 182991
time: 349.329 s.

137 117 11 90 78 123 38 101 202 60 68 105
repetitions = 158723
hashKey = 125457808328468832
choice for step 11 = 105; eval = exp(-21.6208); runs = 184734
time: 350.409 s.

137 117 11 90 78 123 38 101 72 10 157 9 105
repetitions = 159645
hashKey = 2141873455205101734
choice for step 12 = 105; eval = exp(-19.5263); runs = 185660
time: 351.49 s.

137 117 11 90 78 123 38 101 109 20 55 105
repetitions = 160556
hashKey = 14250874904993617468
choice for step 11 = 105; eval = exp(-20.6576); runs = 186623
time: 352.57 s.

137 117 11 90 78 123 38 101 109 184 105
repetitions = 162086
hashKey = 9012389008707848596
choice for step 10 = 105; eval = exp(-16.7628); runs = 188225
time: 353.661 s.

137 117 11 90 78 123 38 101 94 20 105
repetitions = 162719
hashKey = 8918505810736164334
choice for step 10 = 105; eval = exp(-16.972); runs = 188900
time: 354.732 s.

137 117 11 90 78 123 38 101 213 157 45
repetitions = 163410
hashKey = 10338973779516339660
choice for step 10 = 45; eval = exp(-15.7704); runs = 189661
time: 355.812 s.

137 117 11 90 78 123 38 101 102 9 176
repetitions = 163903
hashKey = 17114306089298556650
choice for step 10 = 176; eval = exp(-18.3014); runs = 190211
time: 356.907 s.

137 117 11 90 78 123 38 101 176 9 205 105
repetitions = 165393
hashKey = 7737890894517596362
choice for step 11 = 105; eval = exp(-19.6298); runs = 191738
time: 357.968 s.

137 117 11 90 78 123 38 101 205 79 109
repetitions = 166541
hashKey = 17538516691462093914
choice for step 10 = 109; eval = exp(-19.0737); runs = 192939
time: 359.055 s.

137 117 11 90 78 123 38 101 80 206 9 105
repetitions = 167058
hashKey = 9390162662726948046
choice for step 11 = 105; eval = exp(-25.0466); runs = 193519
time: 360.129 s.

137 117 11 90 78 123 38 101 185 10 20 105
repetitions = 167769
hashKey = 15915842288197364514
choice for step 11 = 105; eval = exp(-20.2095); runs = 194301
time: 361.208 s.

137 117 11 90 78 123 38 101 129 10 200 20 105
repetitions = 169010
hashKey = 6033267196033716548
choice for step 12 = 105; eval = exp(-23.561); runs = 195630
time: 362.288 s.

137 117 11 90 78 123 38 101 129 182 9 105
repetitions = 170174
hashKey = 8857389673098843800
choice for step 11 = 105; eval = exp(-23.8939); runs = 196846
time: 363.372 s.

137 117 11 90 78 123 38 101 157 82 105
repetitions = 172042
hashKey = 8462953825705421392
choice for step 10 = 105; eval = exp(-20.6937); runs = 198742
time: 364.45 s.

137 117 11 90 78 123 38 101 184 79 97
repetitions = 172663
hashKey = 4413034212108553482
choice for step 10 = 97; eval = exp(-17.5608); runs = 199411
time: 365.533 s.

137 117 11 90 78 123 38 101 10 20 60 160 105
repetitions = 174353
hashKey = 8153481197087546626
choice for step 12 = 105; eval = exp(-23.0492); runs = 201117
time: 366.609 s.

137 117 11 90 78 123 38 101 10 9 53 105
repetitions = 175967
hashKey = 2592724854844060096
choice for step 11 = 105; eval = exp(-18.9759); runs = 202744
time: 367.695 s.

137 117 11 90 78 123 38 101 10 44 176
repetitions = 177380
hashKey = 6879666389223111648
choice for step 10 = 176; eval = exp(-17.3689); runs = 204182
time: 368.774 s.

137 117 11 90 78 123 38 101 10 100 9 20 60 202
repetitions = 177989
hashKey = 8060170812825745502
choice for step 13 = 202; eval = exp(-30.4138); runs = 204805
time: 369.849 s.

137 117 11 90 78 123 38 101 20 214 163 9
repetitions = 179582
hashKey = 151808070433924782
choice for step 11 = 9; eval = exp(-23.5315); runs = 206402
time: 370.93 s.

137 117 11 90 78 123 38 101 44 9 176
repetitions = 180866
hashKey = 989066716259026576
choice for step 10 = 176; eval = exp(-18.1423); runs = 207692
time: 372.013 s.

137 117 11 90 78 123 38 101 79 127 97
repetitions = 182148
hashKey = 16835356791455699108
choice for step 10 = 97; eval = exp(-18.9581); runs = 209066
time: 373.098 s.

137 117 11 90 78 123 38 101 9 175 105
repetitions = 183499
hashKey = 2727458167868415936
choice for step 10 = 105; eval = exp(-21.0649); runs = 210427
time: 374.168 s.

137 117 11 90 78 123 38 101 60 164 10
repetitions = 184485
hashKey = 12621557512795281044
choice for step 10 = 10; eval = exp(-20.5896); runs = 211502
time: 375.254 s.

137 117 11 90 78 123 38 101 32 197 105
repetitions = 185631
hashKey = 14252459622379188910
choice for step 10 = 105; eval = exp(-22.3859); runs = 212720
time: 376.329 s.

137 117 11 90 78 123 38 101 85 109 105
repetitions = 186404
hashKey = 18433644801544274726
choice for step 10 = 105; eval = exp(-23.1646); runs = 213592
time: 377.44 s.

137 117 11 90 78 123 38 101 25 147
repetitions = 187043
hashKey = 12318725742044961712
choice for step 9 = 147; eval = exp(-14.9048); runs = 214371
time: 378.494 s.

137 117 11 90 78 123 38 147 36 105 157
repetitions = 187279
hashKey = 9596160397047430458
choice for step 10 = 157; eval = exp(-12.9985); runs = 214853
time: 380.306 s.

137 117 11 90 78 123 38 147 36 105 97 20 202
repetitions = 187333
hashKey = 14950999620204694830
choice for step 12 = 202; eval = exp(-13.1224); runs = 214943
time: 381.306 s.

137 117 11 90 78 123 38 147 36 105 20 176 202
repetitions = 187474
hashKey = 9496436286851176020
choice for step 12 = 202; eval = exp(-17.5631); runs = 215092
time: 382.381 s.

137 117 11 90 78 123 38 147 36 202 10 109 20 9
repetitions = 187560
hashKey = 16042208261129995518
choice for step 13 = 9; eval = exp(-17.6599); runs = 215202
time: 383.465 s.

137 117 11 90 78 123 38 147 36 97 105
repetitions = 187723
hashKey = 2956780958384107554
choice for step 10 = 105; eval = exp(-13.7874); runs = 215377
time: 384.551 s.

137 117 11 90 78 123 38 147 36 10 32 105
repetitions = 187871
hashKey = 387470096783667562
choice for step 11 = 105; eval = exp(-15.5516); runs = 215531
time: 385.619 s.

137 117 11 90 78 123 38 147 59 79 32
repetitions = 188011
hashKey = 8691076670851001994
choice for step 10 = 32; eval = exp(-13.3785); runs = 215770
time: 386.795 s.

137 117 11 90 78 123 38 147 59 202 105 10 79
repetitions = 188093
hashKey = 4266524786220961940
choice for step 12 = 79; eval = exp(-13.9499); runs = 215927
time: 387.824 s.

137 117 11 90 78 123 38 147 59 10 97 20 105
repetitions = 188296
hashKey = 3781935300308603112
choice for step 12 = 105; eval = exp(-14.7684); runs = 216152
time: 388.858 s.

137 117 11 90 78 123 38 147 59 9 105 20 129 10
repetitions = 188530
hashKey = 8044066269285702328
choice for step 13 = 10; eval = exp(-18.118); runs = 216411
time: 389.938 s.

137 117 11 90 78 123 38 147 62 105 97
repetitions = 188797
hashKey = 5733876419416757012
choice for step 10 = 97; eval = exp(-12.6612); runs = 216846
time: 391.339 s.

137 117 11 90 78 123 38 147 62 105 202 20 97
repetitions = 188880
hashKey = 17728095081237344288
choice for step 12 = 97; eval = exp(-13.007); runs = 216967
time: 392.363 s.

137 117 11 90 78 123 38 147 62 10 60 20 105
repetitions = 189052
hashKey = 14091652005491575344
choice for step 12 = 105; eval = exp(-15.4333); runs = 217161
time: 393.4 s.

137 117 11 90 78 123 38 147 62 202 97
repetitions = 189231
hashKey = 13945330881860700208
choice for step 10 = 97; eval = exp(-13.4702); runs = 217355
time: 394.491 s.

137 117 11 90 78 123 38 147 62 20 176 105
repetitions = 189466
hashKey = 6164432103035115080
choice for step 11 = 105; eval = exp(-17.8046); runs = 217609
time: 395.563 s.

137 117 11 90 78 123 38 147 159 105 32 10 9 20
repetitions = 189523
hashKey = 4836867622137636852
choice for step 13 = 20; eval = exp(-15.375); runs = 217783
time: 396.646 s.

137 117 11 90 78 123 38 147 159 105 9 194 202
repetitions = 189645
hashKey = 17546707231612145406
choice for step 12 = 202; eval = exp(-14.4832); runs = 217942
time: 397.718 s.

137 117 11 90 78 123 38 147 159 10 202 20 214 9
repetitions = 189797
hashKey = 16108452567098261574
choice for step 13 = 9; eval = exp(-17.9077); runs = 218119
time: 398.8 s.

137 117 11 90 78 123 38 147 159 202 109 105
repetitions = 190029
hashKey = 14377758637655878114
choice for step 11 = 105; eval = exp(-19.2015); runs = 218357
time: 399.878 s.

137 117 11 90 78 123 38 147 148 79 97
repetitions = 190194
hashKey = 3003547636377129388
choice for step 10 = 97; eval = exp(-12.8952); runs = 218635
time: 401.222 s.

137 117 11 90 78 123 38 147 148 109 10 9 105
repetitions = 190298
hashKey = 4393938522157186286
choice for step 12 = 105; eval = exp(-15.4294); runs = 218799
time: 402.254 s.

137 117 11 90 78 123 38 147 148 105 157 202
repetitions = 190477
hashKey = 18153563782339151698
choice for step 11 = 202; eval = exp(-16.0211); runs = 219021
time: 403.334 s.

137 117 11 90 78 123 38 147 148 20 10 9 214 202
repetitions = 190683
hashKey = 15442696007267518360
choice for step 13 = 202; eval = exp(-18.6324); runs = 219272
time: 404.419 s.

137 117 11 90 78 123 38 147 93 149 79
repetitions = 191015
hashKey = 14425202015592347998
choice for step 10 = 79; eval = exp(-15.2611); runs = 219661
time: 405.513 s.

137 117 11 90 78 123 38 147 93 198 9 20 105
repetitions = 191181
hashKey = 12078717387148564698
choice for step 12 = 105; eval = exp(-18.7244); runs = 219977
time: 406.572 s.

137 117 11 90 78 123 38 147 93 202 105 20 89
repetitions = 191345
hashKey = 16954089288333466112
choice for step 12 = 89; eval = exp(-14.5595); runs = 220231
time: 407.66 s.

137 117 11 90 78 123 38 147 88 149 97
repetitions = 191694
hashKey = 6988354282551103950
choice for step 10 = 97; eval = exp(-12.9385); runs = 220632
time: 408.742 s.

137 117 11 90 78 123 38 147 88 201 97
repetitions = 192008
hashKey = 15007720902245569312
choice for step 10 = 97; eval = exp(-22.9881); runs = 221141
time: 409.819 s.

137 117 11 90 78 123 38 147 88 105 10 194 20
repetitions = 192270
hashKey = 943021102908819274
choice for step 12 = 20; eval = exp(-17.424); runs = 221485
time: 410.892 s.

137 117 11 90 78 123 38 147 88 10 20 214 105
repetitions = 192612
hashKey = 8623218796464953954
choice for step 12 = 105; eval = exp(-20.7363); runs = 221851
time: 411.974 s.

137 117 11 90 78 123 38 147 47 149 10
repetitions = 193049
hashKey = 12229436232336196324
choice for step 10 = 10; eval = exp(-12.2272); runs = 222333
time: 413.055 s.

137 117 11 90 78 123 38 147 47 10 105 60 202
repetitions = 193446
hashKey = 9964799703160409226
choice for step 12 = 202; eval = exp(-13.0797); runs = 222974
time: 414.133 s.

137 117 11 90 78 123 38 147 47 10 97 20 202
repetitions = 193684
hashKey = 16820434849697000876
choice for step 12 = 202; eval = exp(-15.3365); runs = 223251
time: 415.216 s.

137 117 11 90 78 123 38 147 47 105 9 198
repetitions = 194009
hashKey = 16599866899512442528
choice for step 11 = 198; eval = exp(-11.1093); runs = 223625
time: 416.297 s.

137 117 11 90 78 123 38 147 47 9 24
repetitions = 194400
hashKey = 6771632967218505342
choice for step 10 = 24; eval = exp(-11.3406); runs = 224036
time: 417.401 s.

137 117 11 90 78 123 38 147 47 27 60
repetitions = 194809
hashKey = 6290963487142155066
choice for step 10 = 60; eval = exp(-22.2767); runs = 224545
time: 418.461 s.

137 117 11 90 78 123 38 147 132 105 20 10 97 9
repetitions = 194836
hashKey = 14854241104645393438
choice for step 13 = 9; eval = exp(-16.5292); runs = 224771
time: 419.538 s.

137 117 11 90 78 123 38 147 132 202 20 105
repetitions = 195072
hashKey = 10490061324684537550
choice for step 11 = 105; eval = exp(-15.7408); runs = 225079
time: 420.617 s.

137 117 11 90 78 123 38 147 144 97 105 198
repetitions = 195419
hashKey = 13688605238347749192
choice for step 11 = 198; eval = exp(-8.32044); runs = 225572
time: 421.702 s.

137 117 11 90 78 123 38 147 144 105 10 9 157 20
repetitions = 195766
hashKey = 8002035319049111074
choice for step 13 = 20; eval = exp(-13.9647); runs = 226044
time: 422.777 s.

137 117 11 90 78 123 38 147 144 10 202 20 206 9
repetitions = 196147
hashKey = 15812817402271819758
choice for step 13 = 9; eval = exp(-14.3782); runs = 226479
time: 423.861 s.

137 117 11 90 78 123 38 147 144 9 202 20 32 10
repetitions = 196495
hashKey = 5663981600156867946
choice for step 13 = 10; eval = exp(-19.2295); runs = 226844
time: 424.939 s.

137 117 11 90 78 123 38 147 144 49 105
repetitions = 196965
hashKey = 9308572074000134314
choice for step 10 = 105; eval = exp(-19.6504); runs = 227385
time: 426.027 s.

137 117 11 90 78 123 38 147 141 105 20 157 9
repetitions = 197070
hashKey = 10647751292805087810
choice for step 12 = 9; eval = exp(-16.246); runs = 227677
time: 427.102 s.

137 117 11 90 78 123 38 147 141 202 105
repetitions = 197293
hashKey = 13546635011991007184
choice for step 10 = 105; eval = exp(-15.242); runs = 227973
time: 428.188 s.

137 117 11 90 78 123 38 147 31 97 10 202 20 9
repetitions = 197461
hashKey = 2953686202119337426
choice for step 13 = 9; eval = exp(-14.7546); runs = 228244
time: 429.26 s.

137 117 11 90 78 123 38 147 31 202 20 9 109 10
repetitions = 197597
hashKey = 5151503936268643532
choice for step 13 = 10; eval = exp(-15.5346); runs = 228441
time: 430.343 s.

137 117 11 90 78 123 38 147 31 10 20 97
repetitions = 197894
hashKey = 1394368349162288672
choice for step 11 = 97; eval = exp(-14.5184); runs = 228753
time: 431.425 s.

137 117 11 90 78 123 38 147 31 157 9
repetitions = 198178
hashKey = 14704773171599201242
choice for step 10 = 9; eval = exp(-15.5189); runs = 229111
time: 432.52 s.

137 117 11 90 78 123 38 147 24 105 60 10 20 9
repetitions = 198520
hashKey = 599874835143026810
choice for step 13 = 9; eval = exp(-13.2342); runs = 229610
time: 433.586 s.

137 117 11 90 78 123 38 147 24 105 176 9
repetitions = 198896
hashKey = 5234279989424241284
choice for step 11 = 9; eval = exp(-13.798); runs = 230047
time: 434.668 s.

137 117 11 90 78 123 38 147 24 10 129 47
repetitions = 199241
hashKey = 16709644662970604160
choice for step 11 = 47; eval = exp(-13.7305); runs = 230439
time: 435.749 s.

137 117 11 90 78 123 38 147 24 97 105
repetitions = 199746
hashKey = 15238625114669421738
choice for step 10 = 105; eval = exp(-12.7199); runs = 230987
time: 436.835 s.

137 117 11 90 78 123 38 147 108 168 206
repetitions = 200032
hashKey = 14335324780198485828
choice for step 10 = 206; eval = exp(-16.1271); runs = 231454
time: 437.917 s.

137 117 11 90 78 123 38 147 108 105 10 20 92
repetitions = 200142
hashKey = 3287816078402132892
choice for step 12 = 92; eval = exp(-11.4733); runs = 231639
time: 438.995 s.

137 117 11 90 78 123 38 147 108 206 10 20 105
repetitions = 200359
hashKey = 4999146083345455340
choice for step 12 = 105; eval = exp(-14.1729); runs = 231884
time: 440.07 s.

137 117 11 90 78 123 38 147 108 157 105
repetitions = 200614
hashKey = 16620625638231941162
choice for step 10 = 105; eval = exp(-15.183); runs = 232188
time: 441.152 s.

137 117 11 90 78 123 38 147 108 129 47
repetitions = 200895
hashKey = 10111447866797377252
choice for step 10 = 47; eval = exp(-14.8895); runs = 232501
time: 442.243 s.

137 117 11 90 78 123 38 147 149 208 20
repetitions = 201185
hashKey = 18143538853295822954
choice for step 10 = 20; eval = exp(-16.0497); runs = 232973
time: 443.313 s.

137 117 11 90 78 123 38 147 149 105 202 176 9
repetitions = 201495
hashKey = 10910583226426557592
choice for step 12 = 9; eval = exp(-15.4257); runs = 233347
time: 444.389 s.

137 117 11 90 78 123 38 147 149 9 189
repetitions = 201865
hashKey = 18425885857844680290
choice for step 10 = 189; eval = exp(-13.0777); runs = 233773
time: 445.476 s.

137 117 11 90 78 123 38 147 149 53 97
repetitions = 202327
hashKey = 9347021953413504840
choice for step 10 = 97; eval = exp(-23.2927); runs = 234322
time: 446.552 s.

137 117 11 90 78 123 38 147 189 183 105
repetitions = 202764
hashKey = 8031071125482979230
choice for step 10 = 105; eval = exp(-17.2586); runs = 234950
time: 447.634 s.

137 117 11 90 78 123 38 147 189 10 202 20 206 9
repetitions = 203075
hashKey = 12149665342010445046
choice for step 13 = 9; eval = exp(-14.4793); runs = 235351
time: 448.708 s.

137 117 11 90 78 123 38 147 189 105 109 10
repetitions = 203584
hashKey = 17008728402903055946
choice for step 11 = 10; eval = exp(-16.7989); runs = 235909
time: 449.789 s.

137 117 11 90 78 123 38 147 189 20 45
repetitions = 204096
hashKey = 232700185916952424
choice for step 10 = 45; eval = exp(-12.682); runs = 236503
time: 450.871 s.

137 117 11 90 78 123 38 147 205 157 105 10 9
repetitions = 204387
hashKey = 6294667275753995122
choice for step 12 = 9; eval = exp(-13.8975); runs = 237000
time: 451.954 s.

137 117 11 90 78 123 38 147 205 105 10 214 202
repetitions = 204544
hashKey = 9464171013674862366
choice for step 12 = 202; eval = exp(-18.602); runs = 237209
time: 453.034 s.

137 117 11 90 78 123 38 147 205 202 20 9 129 10
repetitions = 204775
hashKey = 4117030003665701536
choice for step 13 = 10; eval = exp(-16.2265); runs = 237467
time: 454.113 s.

137 117 11 90 78 123 38 147 205 9 194 105
repetitions = 205078
hashKey = 8231018076015483832
choice for step 11 = 105; eval = exp(-14.7886); runs = 237786
time: 455.193 s.

137 117 11 90 78 123 38 147 205 176 157
repetitions = 205397
hashKey = 1386921932734200212
choice for step 10 = 157; eval = exp(-16.1512); runs = 238201
time: 456.284 s.

137 117 11 90 78 123 38 147 143 198 202 10
repetitions = 205645
hashKey = 8537375186740549310
choice for step 11 = 10; eval = exp(-20.5245); runs = 238620
time: 457.352 s.

137 117 11 90 78 123 38 147 143 10 105 20 157 9
repetitions = 205801
hashKey = 6980776259554349070
choice for step 13 = 9; eval = exp(-18.5156); runs = 238873
time: 458.436 s.

137 117 11 90 78 123 38 147 143 206 202 9 105
repetitions = 206096
hashKey = 5463266627137524650
choice for step 12 = 105; eval = exp(-15.7501); runs = 239187
time: 459.515 s.

137 117 11 90 78 123 38 147 143 9 186
repetitions = 206462
hashKey = 8475826827964199056
choice for step 10 = 186; eval = exp(-15.3774); runs = 239592
time: 460.602 s.

137 117 11 90 78 123 38 147 151 97 10 105 202
repetitions = 206738
hashKey = 12878753014903290792
choice for step 12 = 202; eval = exp(-15.8974); runs = 239985
time: 461.678 s.

137 117 11 90 78 123 38 147 151 10 9 105 20 157
repetitions = 206894
hashKey = 14744370033798118532
choice for step 13 = 157; eval = exp(-16.1066); runs = 240236
time: 462.764 s.

137 117 11 90 78 123 38 147 89 105 10 97
repetitions = 207172
hashKey = 4279778136365992906
choice for step 11 = 97; eval = exp(-11.7813); runs = 240602
time: 463.836 s.

137 117 11 90 78 123 38 147 89 97 10 20 105
repetitions = 207582
hashKey = 10164897153337869784
choice for step 12 = 105; eval = exp(-12.4682); runs = 241106
time: 464.918 s.

137 117 11 90 78 123 38 147 89 9 20 202 60 10
repetitions = 207954
hashKey = 14958408511920669362
choice for step 13 = 10; eval = exp(-17.6449); runs = 241520
time: 465.996 s.

137 117 11 90 78 123 38 147 87 176 105
repetitions = 208414
hashKey = 3188195755438829648
choice for step 10 = 105; eval = exp(-14.2597); runs = 242133
time: 467.317 s.

137 117 11 90 78 123 38 147 87 105 9 176
repetitions = 208558
hashKey = 17085158037256719620
choice for step 11 = 176; eval = exp(-14.6539); runs = 242315
time: 468.374 s.

137 117 11 90 78 123 38 147 87 10 202 176
repetitions = 208783
hashKey = 12740468098955196272
choice for step 11 = 176; eval = exp(-16.2559); runs = 242561
time: 469.457 s.

137 117 11 90 78 123 38 147 63 105 20 10 9 157
repetitions = 209103
hashKey = 5983090470840083592
choice for step 13 = 157; eval = exp(-14.2041); runs = 243027
time: 470.536 s.

137 117 11 90 78 123 38 147 63 57 97
repetitions = 209537
hashKey = 6412272541291395202
choice for step 10 = 97; eval = exp(-20.3921); runs = 243534
time: 471.612 s.

137 117 11 90 78 123 38 147 63 10 9 105
repetitions = 209804
hashKey = 16669836826995182540
choice for step 11 = 105; eval = exp(-15.6814); runs = 243848
time: 472.698 s.

137 117 11 90 78 123 38 147 92 175
repetitions = 210285
hashKey = 12711230895630014442
choice for step 9 = 175; eval = exp(-9.44901); runs = 244393
time: 473.778 s.

137 117 11 90 78 123 38 147 92 105 202 157 9
repetitions = 210696
hashKey = 1681938934772830910
choice for step 12 = 9; eval = exp(-14.2883); runs = 245010
time: 474.863 s.

137 117 11 90 78 123 38 147 92 10 20 32 105
repetitions = 211228
hashKey = 15245793872233447754
choice for step 12 = 105; eval = exp(-16.2507); runs = 245581
time: 475.939 s.

137 117 11 90 78 123 38 147 92 20 205
repetitions = 211724
hashKey = 15379102636975786054
choice for step 10 = 205; eval = exp(-13.5865); runs = 246155
time: 477.025 s.

137 117 11 90 78 123 38 147 61 97 105 20 9 10
repetitions = 212150
hashKey = 18180205043128313470
choice for step 13 = 10; eval = exp(-18.429); runs = 246732
time: 478.104 s.

137 117 11 90 78 123 38 147 61 105 24
repetitions = 212409
hashKey = 4893322315572300006
choice for step 10 = 24; eval = exp(-15.9219); runs = 247093
time: 479.204 s.

137 117 11 90 78 123 38 147 17 79 202 105
repetitions = 212696
hashKey = 1207288481015010666
choice for step 11 = 105; eval = exp(-14.5986); runs = 247493
time: 480.267 s.

137 117 11 90 78 123 38 147 17 176 9 202 105
repetitions = 212819
hashKey = 9389078571443856520
choice for step 12 = 105; eval = exp(-15.9565); runs = 247744
time: 481.348 s.

137 117 11 90 78 123 38 147 17 10 79
repetitions = 213074
hashKey = 16988105608543508110
choice for step 10 = 79; eval = exp(-16.2276); runs = 248038
time: 482.44 s.

137 117 11 90 78 123 38 147 14 157 20 10 105
repetitions = 213194
hashKey = 4747961658891220520
choice for step 12 = 105; eval = exp(-15.202); runs = 248302
time: 483.507 s.

137 117 11 90 78 123 38 147 14 20 202 10 60 9
repetitions = 213435
hashKey = 2902093578810697194
choice for step 13 = 9; eval = exp(-19.1875); runs = 248610
time: 484.588 s.

137 117 11 90 78 123 38 147 14 214 97
repetitions = 213852
hashKey = 5817245215251452716
choice for step 10 = 97; eval = exp(-17.53); runs = 249060
time: 485.673 s.

137 117 11 90 78 123 38 147 118 105 10 20 157 9
repetitions = 214031
hashKey = 11660338988547326006
choice for step 13 = 9; eval = exp(-14.5132); runs = 249383
time: 486.755 s.

137 117 11 90 78 123 38 147 118 202 10 20 79 9
repetitions = 214310
hashKey = 13493022870363471606
choice for step 13 = 9; eval = exp(-19.8551); runs = 249709
time: 487.825 s.

137 117 11 90 78 123 38 147 118 176 105
repetitions = 214668
hashKey = 15336985184087397246
choice for step 10 = 105; eval = exp(-15.2908); runs = 250099
time: 488.915 s.

137 117 11 90 78 123 38 147 45 195 79
repetitions = 215073
hashKey = 12466540822357787848
choice for step 10 = 79; eval = exp(-19.9448); runs = 250650
time: 489.987 s.

137 117 11 90 78 123 38 147 45 105 20 32 10
repetitions = 215230
hashKey = 7940294455112749762
choice for step 12 = 10; eval = exp(-16.6412); runs = 250881
time: 491.069 s.

137 117 11 90 78 123 38 147 45 10 202 20 109 9
repetitions = 215503
hashKey = 17709913602487200840
choice for step 13 = 9; eval = exp(-22.1592); runs = 251191
time: 492.146 s.

137 117 11 90 78 123 38 147 45 20 202 9 176 10
repetitions = 215820
hashKey = 10057532534984375924
choice for step 13 = 10; eval = exp(-18.6556); runs = 251548
time: 493.228 s.

137 117 11 90 78 123 38 147 48 126 157
repetitions = 216238
hashKey = 1667223080542147246
choice for step 10 = 157; eval = exp(-21.28); runs = 252069
time: 494.311 s.

137 117 11 90 78 123 38 147 48 105 20 129 10
repetitions = 216478
hashKey = 1170330347293576810
choice for step 12 = 10; eval = exp(-19.9436); runs = 252409
time: 495.386 s.

137 117 11 90 78 123 38 147 48 176 9 20 105
repetitions = 216875
hashKey = 17906742727526315300
choice for step 12 = 105; eval = exp(-16.7353); runs = 252850
time: 496.466 s.

137 117 11 90 78 123 38 147 48 7 202
repetitions = 217392
hashKey = 10126832292076716490
choice for step 10 = 202; eval = exp(-23.9017); runs = 253457
time: 497.547 s.

137 117 11 90 78 123 38 147 39 105 10 202 101
repetitions = 217556
hashKey = 7600381216448622498
choice for step 12 = 101; eval = exp(-15.8176); runs = 253761
time: 498.636 s.

137 117 11 90 78 123 38 147 39 210 32
repetitions = 217825
hashKey = 17935892276765864842
choice for step 10 = 32; eval = exp(-31.2969); runs = 254069
time: 499.708 s.

137 117 11 90 78 123 38 147 39 10 20 109 105
repetitions = 218044
hashKey = 1128582236370589280
choice for step 12 = 105; eval = exp(-18.7723); runs = 254329
time: 500.787 s.

137 117 11 90 78 123 38 147 39 202 214 105
repetitions = 218458
hashKey = 15410673062579062988
choice for step 11 = 105; eval = exp(-20.748); runs = 254775
time: 501.866 s.

137 117 11 90 78 123 38 147 187 154 60
repetitions = 218613
hashKey = 13385112084019380902
choice for step 10 = 60; eval = exp(-16.6937); runs = 255047
time: 502.959 s.

137 117 11 90 78 123 38 147 187 105 202 9 157
repetitions = 218768
hashKey = 11529079682884222146
choice for step 12 = 157; eval = exp(-15.3634); runs = 255287
time: 504.03 s.

137 117 11 90 78 123 38 147 107 79 202 20 105
repetitions = 218933
hashKey = 1794275490100120030
choice for step 12 = 105; eval = exp(-18.0506); runs = 255557
time: 505.104 s.

137 117 11 90 78 123 38 147 107 202 10 105
repetitions = 219136
hashKey = 1753866234245888386
choice for step 11 = 105; eval = exp(-16.5432); runs = 255831
time: 506.194 s.

137 117 11 90 78 123 38 147 54 60 97
repetitions = 219334
hashKey = 10626801793414392134
choice for step 10 = 97; eval = exp(-14.8629); runs = 256150
time: 507.28 s.

137 117 11 90 78 123 38 147 54 10 20 202 97
repetitions = 219533
hashKey = 9147756312648080310
choice for step 12 = 97; eval = exp(-17.6553); runs = 256412
time: 508.351 s.

137 117 11 90 78 123 38 147 111 212 97
repetitions = 219884
hashKey = 15278337678987213052
choice for step 10 = 97; eval = exp(-24.746); runs = 256916
time: 509.426 s.

137 117 11 90 78 123 38 147 111 10 202 32 105
repetitions = 220086
hashKey = 3084389121142453994
choice for step 12 = 105; eval = exp(-16.8165); runs = 257172
time: 510.508 s.

137 117 11 90 78 123 38 147 111 105 9 20 32 10
repetitions = 220435
hashKey = 16757370775083510446
choice for step 13 = 10; eval = exp(-19.3072); runs = 257559
time: 511.587 s.

137 117 11 90 78 123 38 147 111 9 176 105
repetitions = 220954
hashKey = 7986999286358554750
choice for step 11 = 105; eval = exp(-16.2116); runs = 258096
time: 512.668 s.

137 117 11 90 78 123 38 147 111 109 97
repetitions = 221266
hashKey = 17527016225267526994
choice for step 10 = 97; eval = exp(-16.1903); runs = 258543
time: 513.75 s.

137 117 11 90 78 123 38 147 203 60 97
repetitions = 221395
hashKey = 6502523946960940228
choice for step 10 = 97; eval = exp(-16.3711); runs = 258820
time: 514.828 s.

137 117 11 90 78 123 38 147 203 214 129
repetitions = 221630
hashKey = 13332599759643001168
choice for step 10 = 129; eval = exp(-19.9298); runs = 259094
time: 515.905 s.

137 117 11 90 78 123 38 147 13 138 109
repetitions = 221801
hashKey = 4085393743253499996
choice for step 10 = 109; eval = exp(-24.6318); runs = 259416
time: 516.987 s.

137 117 11 90 78 123 38 147 13 109 10 9 105
repetitions = 222003
hashKey = 15713026322666898640
choice for step 12 = 105; eval = exp(-18.4238); runs = 259666
time: 518.067 s.

137 117 11 90 78 123 38 147 83 105 20 10 97
repetitions = 222188
hashKey = 7685617789203876502
choice for step 12 = 97; eval = exp(-14.4413); runs = 260004
time: 519.153 s.

137 117 11 90 78 123 38 147 83 129 144
repetitions = 222395
hashKey = 16340083917122278940
choice for step 10 = 144; eval = exp(-13.0651); runs = 260275
time: 520.241 s.

137 117 11 90 78 123 38 147 135 105 79 9 10 20
repetitions = 222697
hashKey = 17621022683968442776
choice for step 13 = 20; eval = exp(-18.5692); runs = 260710
time: 521.307 s.

137 117 11 90 78 123 38 147 135 105 97 10 202
repetitions = 222931
hashKey = 3687432171991861016
choice for step 12 = 202; eval = exp(-18.316); runs = 260990
time: 522.384 s.

137 117 11 90 78 123 38 147 135 79 20 105
repetitions = 223172
hashKey = 2383242521078129376
choice for step 11 = 105; eval = exp(-15.7136); runs = 261290
time: 523.468 s.

137 117 11 90 78 123 38 147 135 32 10 9 105
repetitions = 223523
hashKey = 7565166066288177170
choice for step 12 = 105; eval = exp(-20.8685); runs = 261670
time: 524.545 s.

137 117 11 90 78 123 38 147 186 105 10 208 20
repetitions = 223876
hashKey = 4790049886125919642
choice for step 12 = 20; eval = exp(-14.1659); runs = 262134
time: 525.624 s.

137 117 11 90 78 123 38 147 186 10 79 105
repetitions = 224311
hashKey = 3815303415283882442
choice for step 11 = 105; eval = exp(-13.0288); runs = 262630
time: 526.711 s.

137 117 11 90 78 123 38 147 186 20 9 202 60 10
repetitions = 224711
hashKey = 14233324932803033590
choice for step 13 = 10; eval = exp(-19.2618); runs = 263055
time: 527.791 s.

137 117 11 90 78 123 38 147 186 193 10
repetitions = 225145
hashKey = 17610825708172700380
choice for step 10 = 10; eval = exp(-18.55); runs = 263576
time: 528.873 s.

137 117 11 90 78 123 38 147 213 105 24
repetitions = 225517
hashKey = 2097894804413773552
choice for step 10 = 24; eval = exp(-10.8738); runs = 264108
time: 529.962 s.

137 117 11 90 78 123 38 147 213 10 202 32 105
repetitions = 225907
hashKey = 16248411209065418760
choice for step 12 = 105; eval = exp(-16.3218); runs = 264556
time: 531.029 s.

137 117 11 90 78 123 38 147 213 9 79 105 10
repetitions = 226387
hashKey = 9760267373033435446
choice for step 12 = 10; eval = exp(-22.7062); runs = 265063
time: 532.109 s.

137 117 11 90 78 123 38 147 6 105 10 9 176 20
repetitions = 226627
hashKey = 7261923075181732476
choice for step 13 = 20; eval = exp(-16.8302); runs = 265438
time: 533.191 s.

137 117 11 90 78 123 38 147 6 10 105
repetitions = 226805
hashKey = 16145649921535783166
choice for step 10 = 105; eval = exp(-16.1888); runs = 265684
time: 534.271 s.

137 117 11 90 78 123 38 147 27 105 1
repetitions = 227021
hashKey = 14111903201916501618
choice for step 10 = 1; eval = exp(-12.7387); runs = 265965
time: 535.369 s.

137 117 11 90 78 123 38 147 27 105 20 194 9
repetitions = 227171
hashKey = 6645977164119537566
choice for step 12 = 9; eval = exp(-16.7501); runs = 266154
time: 536.432 s.

137 117 11 90 78 123 38 147 27 202 79 105
repetitions = 227410
hashKey = 1763800321926322996
choice for step 11 = 105; eval = exp(-14.6564); runs = 266435
time: 537.513 s.

137 117 11 90 78 123 38 147 27 79 105
repetitions = 227699
hashKey = 14101444750787164214
choice for step 10 = 105; eval = exp(-14.6009); runs = 266733
time: 538.589 s.

137 117 11 90 78 123 38 147 130 36
repetitions = 227948
hashKey = 13362161750063068628
choice for step 9 = 36; eval = exp(-10.6127); runs = 267181
time: 540.106 s.

137 117 11 90 78 123 38 147 130 105 202 194 9
repetitions = 228048
hashKey = 8734756535691705380
choice for step 12 = 9; eval = exp(-16.2875); runs = 267383
time: 541.181 s.

137 117 11 90 78 123 38 147 130 97 9 20 105
repetitions = 228254
hashKey = 17040971861527188434
choice for step 12 = 105; eval = exp(-19.121); runs = 267613
time: 542.263 s.

137 117 11 90 78 123 38 147 130 202 9 206 105
repetitions = 228467
hashKey = 5056915475136558730
choice for step 12 = 105; eval = exp(-15.4297); runs = 267842
time: 543.343 s.

137 117 11 90 78 123 38 147 1 198 105
repetitions = 228800
hashKey = 8993537100013902818
choice for step 10 = 105; eval = exp(-22.5975); runs = 268243
time: 544.421 s.

137 117 11 90 78 123 38 147 1 202 10 109 105
repetitions = 229422
hashKey = 17321411231598547568
choice for step 12 = 105; eval = exp(-16.1245); runs = 269005
time: 545.501 s.

137 117 11 90 78 123 38 147 1 120 157
repetitions = 230157
hashKey = 11045943228121954170
choice for step 10 = 157; eval = exp(-34.5646); runs = 269854
time: 546.58 s.

137 117 11 90 78 123 38 147 52 105 202 9 206
repetitions = 230346
hashKey = 11777475721448843888
choice for step 12 = 206; eval = exp(-15.5462); runs = 270138
time: 547.663 s.

137 117 11 90 78 123 38 147 52 10 202 20 214 9
repetitions = 230648
hashKey = 14017062117490106706
choice for step 13 = 9; eval = exp(-17.0039); runs = 270459
time: 548.743 s.

137 117 11 90 78 123 38 147 52 214 20 105
repetitions = 230991
hashKey = 9014571565865401726
choice for step 11 = 105; eval = exp(-17.5437); runs = 270835
time: 549.822 s.

137 117 11 90 78 123 38 147 208 211 97
repetitions = 231352
hashKey = 13288348290531394032
choice for step 10 = 97; eval = exp(-17.7551); runs = 271338
time: 550.913 s.

137 117 11 90 78 123 38 147 208 9 10 89
repetitions = 231564
hashKey = 15629331547684801306
choice for step 11 = 89; eval = exp(-12.0562); runs = 271613
time: 551.987 s.

137 117 11 90 78 123 38 147 208 105 10 176 9
repetitions = 231852
hashKey = 12536061803805725144
choice for step 12 = 9; eval = exp(-17.646); runs = 271919
time: 553.062 s.

137 117 11 90 78 123 38 147 208 20 202 97
repetitions = 232208
hashKey = 16849418453684750628
choice for step 11 = 97; eval = exp(-15.4879); runs = 272299
time: 554.144 s.

137 117 11 90 78 123 38 147 164 88
repetitions = 232519
hashKey = 8562332241762615442
choice for step 9 = 88; eval = exp(-9.73406); runs = 272701
time: 555.221 s.

137 117 11 90 78 123 38 147 164 105 10 20 109 9
repetitions = 232636
hashKey = 16489278768255736794
choice for step 13 = 9; eval = exp(-20.4315); runs = 272877
time: 556.303 s.

137 117 11 90 78 123 38 147 164 9 10 202 32 20
repetitions = 232821
hashKey = 146042680167958848
choice for step 13 = 20; eval = exp(-21.5323); runs = 273104
time: 557.383 s.

137 117 11 90 78 123 38 147 164 10 206 105
repetitions = 233060
hashKey = 748086794758752230
choice for step 11 = 105; eval = exp(-17.8061); runs = 273346
time: 558.466 s.

137 117 11 90 78 123 38 147 124 105 79 20 202
repetitions = 233315
hashKey = 7177807537710299154
choice for step 12 = 202; eval = exp(-14.7223); runs = 273687
time: 559.544 s.

137 117 11 90 78 123 38 147 124 105 194 9
repetitions = 233503
hashKey = 289746345959759968
choice for step 11 = 9; eval = exp(-15.427); runs = 273913
time: 560.621 s.

137 117 11 90 78 123 38 147 124 202 194 105
repetitions = 233770
hashKey = 10948627782700132010
choice for step 11 = 105; eval = exp(-16.3716); runs = 274221
time: 561.702 s.

137 117 11 90 78 123 38 147 124 9 32 105
repetitions = 234063
hashKey = 4909813556999213122
choice for step 11 = 105; eval = exp(-19.1594); runs = 274532
time: 562.784 s.

137 117 11 90 78 123 38 147 67 105 97
repetitions = 234312
hashKey = 10082455059886532812
choice for step 10 = 97; eval = exp(-14.0137); runs = 274930
time: 563.884 s.

137 117 11 90 78 123 38 147 67 105 9 20 32 10
repetitions = 234439
hashKey = 8848481423366308054
choice for step 13 = 10; eval = exp(-18.8043); runs = 275101
time: 564.942 s.

137 117 11 90 78 123 38 147 67 202 9 20 32 10
repetitions = 234658
hashKey = 17059935885810251250
choice for step 13 = 10; eval = exp(-22.4626); runs = 275346
time: 566.02 s.

137 117 11 90 78 123 38 147 67 9 109 10
repetitions = 234950
hashKey = 11173663700811833500
choice for step 11 = 10; eval = exp(-20.9215); runs = 275640
time: 567.108 s.

137 117 11 90 78 123 38 147 142 105 10 9 176 20
repetitions = 235108
hashKey = 12371312962829405068
choice for step 13 = 20; eval = exp(-18.1819); runs = 275893
time: 568.194 s.

137 117 11 90 78 123 38 147 142 10 92
repetitions = 235368
hashKey = 4673526869487155770
choice for step 10 = 92; eval = exp(-13.0131); runs = 276210
time: 569.283 s.

137 117 11 90 78 123 38 147 142 9 20 129 105
repetitions = 235659
hashKey = 6850227102269709694
choice for step 12 = 105; eval = exp(-18.6592); runs = 276526
time: 570.345 s.

137 117 11 90 78 123 38 147 163 79 97
repetitions = 236035
hashKey = 17178081101030906486
choice for step 10 = 97; eval = exp(-13.2508); runs = 276995
time: 571.432 s.

137 117 11 90 78 123 38 147 163 202 10 194 9
repetitions = 236209
hashKey = 16051912761393283900
choice for step 12 = 9; eval = exp(-20.8272); runs = 277269
time: 572.503 s.

137 117 11 90 78 123 38 147 104 105 10 20 97
repetitions = 236459
hashKey = 4848138299918376924
choice for step 12 = 97; eval = exp(-15.3394); runs = 277590
time: 573.588 s.

137 117 11 90 78 123 38 147 104 202 9 20 97
repetitions = 236689
hashKey = 7168993089398235048
choice for step 12 = 97; eval = exp(-18.2111); runs = 277886
time: 574.67 s.

137 117 11 90 78 123 38 147 94 105 157
repetitions = 236923
hashKey = 8477025296203548480
choice for step 10 = 157; eval = exp(-14.127); runs = 278245
time: 575.781 s.

137 117 11 90 78 123 38 147 94 97 105
repetitions = 237089
hashKey = 1837645857540225576
choice for step 10 = 105; eval = exp(-14.2569); runs = 278453
time: 576.827 s.

137 117 11 90 78 123 38 147 94 20 129 105
repetitions = 237337
hashKey = 16534677635380863314
choice for step 11 = 105; eval = exp(-20.888); runs = 278717
time: 577.904 s.

137 117 11 90 78 123 38 147 26 194 101
repetitions = 237546
hashKey = 4554604729821571872
choice for step 10 = 101; eval = exp(-14.7611); runs = 279033
time: 579.011 s.

137 117 11 90 78 123 38 147 26 202 20 10 97
repetitions = 237738
hashKey = 4291957804447588844
choice for step 12 = 97; eval = exp(-17.4466); runs = 279262
time: 580.069 s.

137 117 11 90 78 123 38 147 211 97 105 20 202
repetitions = 237992
hashKey = 14147732487222258378
choice for step 12 = 202; eval = exp(-11.5764); runs = 279574
time: 581.147 s.

137 117 11 90 78 123 38 147 211 105 10 97
repetitions = 238142
hashKey = 3494331706474094530
choice for step 11 = 97; eval = exp(-13.2282); runs = 279783
time: 582.239 s.

137 117 11 90 78 123 38 147 211 202 10 20 9 194
repetitions = 238350
hashKey = 4510927440285936386
choice for step 13 = 194; eval = exp(-16.9621); runs = 280019
time: 583.317 s.

137 117 11 90 78 123 38 147 211 9 206 105
repetitions = 238654
hashKey = 3842439092952097850
choice for step 11 = 105; eval = exp(-17.5372); runs = 280344
time: 584.397 s.

137 117 11 90 78 123 38 147 178 105 10 202 48
repetitions = 238913
hashKey = 10387823767668512212
choice for step 12 = 48; eval = exp(-12.1089); runs = 280716
time: 585.481 s.

137 117 11 90 78 123 38 147 178 9 202 10 129 20
repetitions = 239260
hashKey = 8014068397776347152
choice for step 13 = 20; eval = exp(-17.1239); runs = 281122
time: 586.558 s.

137 117 11 90 78 123 38 147 178 202 32 105
repetitions = 239775
hashKey = 8960261044196403028
choice for step 11 = 105; eval = exp(-17.2018); runs = 281665
time: 587.64 s.

137 117 11 90 78 123 38 147 98 37 9 105
repetitions = 240103
hashKey = 11453729296180785342
choice for step 11 = 105; eval = exp(-22.2426); runs = 282111
time: 588.715 s.

137 117 11 90 78 123 38 147 98 202 9 105
repetitions = 240363
hashKey = 16953094792459409840
choice for step 11 = 105; eval = exp(-18.5395); runs = 282440
time: 589.798 s.

137 117 11 90 78 123 38 147 134 105 20 214 9
repetitions = 240665
hashKey = 5240853482105909028
choice for step 12 = 9; eval = exp(-17.2659); runs = 282825
time: 590.878 s.

137 117 11 90 78 123 38 147 134 10 20 9 129 105
repetitions = 241170
hashKey = 16243582384203275210
choice for step 13 = 105; eval = exp(-16.3892); runs = 283399
time: 591.96 s.

137 117 11 90 78 123 38 147 134 46 105
repetitions = 241743
hashKey = 17221272178872541972
choice for step 10 = 105; eval = exp(-19.5864); runs = 284001
time: 593.043 s.

137 117 11 90 78 123 38 147 153 60 20 9 105
repetitions = 242010
hashKey = 4966277080796566800
choice for step 12 = 105; eval = exp(-20.885); runs = 284405
time: 594.124 s.

137 117 11 90 78 123 38 147 153 10 20 9 105
repetitions = 242213
hashKey = 9939757011919219316
choice for step 12 = 105; eval = exp(-19.3244); runs = 284681
time: 595.208 s.

137 117 11 90 78 123 38 147 110 79 202 10 20 9
repetitions = 242364
hashKey = 17185088589016376506
choice for step 13 = 9; eval = exp(-18.1135); runs = 284919
time: 596.293 s.

137 117 11 90 78 123 38 147 110 105 9 20 206 10
repetitions = 242458
hashKey = 14951732327978996394
choice for step 13 = 10; eval = exp(-19.6873); runs = 285052
time: 597.366 s.

137 117 11 90 78 123 38 147 110 202 9 10 97 20
repetitions = 242622
hashKey = 16924479730980851198
choice for step 13 = 20; eval = exp(-19.7134); runs = 285238
time: 598.463 s.

137 117 11 90 78 123 38 147 110 9 176 105
repetitions = 242807
hashKey = 14479269110848640502
choice for step 11 = 105; eval = exp(-17.1195); runs = 285429
time: 599.536 s.

137 117 11 90 78 123 38 147 110 20 105
repetitions = 243004
hashKey = 16686489917436893332
choice for step 10 = 105; eval = exp(-17.4834); runs = 285634
time: 600.62 s.

137 117 11 90 78 123 38 147 2 105 9 10
repetitions = 243181
hashKey = 12439426042734233144
choice for step 11 = 10; eval = exp(-16.3906); runs = 285899
time: 601.697 s.

137 117 11 90 78 123 38 147 2 9 10 20 105
repetitions = 243355
hashKey = 18324545059706110022
choice for step 12 = 105; eval = exp(-16.7699); runs = 286126
time: 602.782 s.

137 117 11 90 78 123 38 147 71 105 202
repetitions = 243578
hashKey = 6931392475354493792
choice for step 10 = 202; eval = exp(-16.9072); runs = 286460
time: 603.87 s.

137 117 11 90 78 123 38 147 71 20 9 105
repetitions = 243786
hashKey = 2157630055585998628
choice for step 11 = 105; eval = exp(-17.6796); runs = 286722
time: 604.938 s.

137 117 11 90 78 123 38 147 139 105 202 10 97
repetitions = 244011
hashKey = 15616908920729571864
choice for step 12 = 97; eval = exp(-17.4596); runs = 287042
time: 606.024 s.

137 117 11 90 78 123 38 147 139 206 157
repetitions = 244281
hashKey = 18382931972428335018
choice for step 10 = 157; eval = exp(-19.8437); runs = 287375
time: 607.101 s.

137 117 11 90 78 123 38 147 165 206 157
repetitions = 244455
hashKey = 9868042590815497068
choice for step 10 = 157; eval = exp(-16.0274); runs = 287629
time: 608.171 s.

137 117 11 90 78 123 38 147 165 9 105
repetitions = 244698
hashKey = 18313565033094237174
choice for step 10 = 105; eval = exp(-17.8084); runs = 287907
time: 609.257 s.

137 117 11 90 78 123 38 147 145 105 157 10 20 9
repetitions = 245001
hashKey = 16003765633874260638
choice for step 13 = 9; eval = exp(-14.9428); runs = 288329
time: 610.332 s.

137 117 11 90 78 123 38 147 145 10 20 109 105
repetitions = 245432
hashKey = 16111985721251905484
choice for step 12 = 105; eval = exp(-20.9479); runs = 288800
time: 611.413 s.

137 117 11 90 78 123 38 147 145 109 97
repetitions = 245908
hashKey = 6223902902722090862
choice for step 10 = 97; eval = exp(-18.1865); runs = 289351
time: 612.493 s.

137 117 11 90 78 123 38 147 8 97 10 9 105
repetitions = 246101
hashKey = 13799548696145776578
choice for step 12 = 105; eval = exp(-18.9527); runs = 289680
time: 613.576 s.

137 117 11 90 78 123 38 147 8 202 10 97
repetitions = 246267
hashKey = 8114040876771829802
choice for step 11 = 97; eval = exp(-16.6514); runs = 289880
time: 614.655 s.

137 117 11 90 78 123 38 147 195 105 10 20 101
repetitions = 246553
hashKey = 14871029158114963398
choice for step 12 = 101; eval = exp(-18.0776); runs = 290256
time: 615.733 s.

137 117 11 90 78 123 38 147 5 118
repetitions = 246957
hashKey = 16284430382157028088
choice for step 9 = 118; eval = exp(-11.1374); runs = 290738
time: 616.829 s.

137 117 11 90 78 123 38 147 5 20 202 214 9
repetitions = 247173
hashKey = 9489929136852100694
choice for step 12 = 9; eval = exp(-21.2696); runs = 291039
time: 617.897 s.

137 117 11 90 78 123 38 147 5 105 9 194 202
repetitions = 247521
hashKey = 12269001682438407954
choice for step 12 = 202; eval = exp(-18.4658); runs = 291418
time: 618.978 s.

137 117 11 90 78 123 38 147 16 206 202 105
repetitions = 247844
hashKey = 152234903431370014
choice for step 11 = 105; eval = exp(-19.3028); runs = 291839
time: 620.059 s.

137 117 11 90 78 123 38 147 16 60 9 20 105
repetitions = 248088
hashKey = 8718348185960856100
choice for step 12 = 105; eval = exp(-18.9953); runs = 292143
time: 621.137 s.

137 117 11 90 78 123 38 147 16 20 129 10
repetitions = 248446
hashKey = 5944632675648865188
choice for step 11 = 10; eval = exp(-23.7707); runs = 292528
time: 622.218 s.

137 117 11 90 78 123 38 147 183 105 10 9 194
repetitions = 248792
hashKey = 8671171209342894568
choice for step 12 = 194; eval = exp(-16.2371); runs = 292978
time: 623.306 s.

137 117 11 90 78 123 38 147 183 20 10 9 206 105
repetitions = 249246
hashKey = 10878449165759624796
choice for step 13 = 105; eval = exp(-18.561); runs = 293480
time: 624.378 s.

137 117 11 90 78 123 38 147 12 97 105 10 9 20
repetitions = 249706
hashKey = 5920426150623177428
choice for step 13 = 20; eval = exp(-15.5343); runs = 294039
time: 625.456 s.

137 117 11 90 78 123 38 147 12 202 20 109 10
repetitions = 250243
hashKey = 2432736065398536758
choice for step 12 = 10; eval = exp(-22.7149); runs = 294667
time: 626.537 s.

137 117 11 90 78 123 38 147 175 194 157
repetitions = 250781
hashKey = 1528536588001507714
choice for step 10 = 157; eval = exp(-16.9016); runs = 295300
time: 627.633 s.

137 117 11 90 78 123 38 147 197 157 20 202 9 10
repetitions = 250941
hashKey = 2364849026749539094
choice for step 13 = 10; eval = exp(-23.1834); runs = 295562
time: 628.697 s.

137 117 11 90 78 123 38 147 84 97 10 105
repetitions = 251134
hashKey = 398125161781316072
choice for step 11 = 105; eval = exp(-16.4285); runs = 295807
time: 629.777 s.

137 117 11 90 78 123 38 147 84 176 157
repetitions = 251385
hashKey = 16026721539242734038
choice for step 10 = 157; eval = exp(-17.6225); runs = 296137
time: 630.859 s.

137 117 11 90 78 123 38 147 95 194 10 20 202
repetitions = 251601
hashKey = 10311869041598641142
choice for step 12 = 202; eval = exp(-20.8558); runs = 296409
time: 631.94 s.

137 117 11 90 78 123 38 147 95 202 105 9 194
repetitions = 251728
hashKey = 14880539607776998010
choice for step 12 = 194; eval = exp(-19.1613); runs = 296616
time: 633.026 s.

137 117 11 90 78 123 38 147 75 105 202 60 10
repetitions = 251936
hashKey = 12722662928176856530
choice for step 12 = 10; eval = exp(-16.663); runs = 296877
time: 634.095 s.

137 117 11 90 78 123 38 147 75 194 9 202 105
repetitions = 252116
hashKey = 15616772687179488474
choice for step 12 = 105; eval = exp(-16.9222); runs = 297112
time: 635.178 s.

137 117 11 90 78 123 38 147 177 202 105
repetitions = 252328
hashKey = 1220080780233428628
choice for step 10 = 105; eval = exp(-20.2504); runs = 297434
time: 636.281 s.

137 117 11 90 78 123 38 147 198 105 20 47
repetitions = 252591
hashKey = 8588023634666429434
choice for step 11 = 47; eval = exp(-11.3432); runs = 297752
time: 637.336 s.

137 117 11 90 78 123 38 147 198 20 157 202 105
repetitions = 253109
hashKey = 8909323817623398670
choice for step 12 = 105; eval = exp(-17.2127); runs = 298314
time: 638.417 s.

137 117 11 90 78 123 38 147 37 105 10 9 206 20
repetitions = 253628
hashKey = 3244961640899253376
choice for step 13 = 20; eval = exp(-15.4013); runs = 298919
time: 639.507 s.

137 117 11 90 78 123 38 147 37 202 20 9 214 10
repetitions = 254112
hashKey = 4367710783744926286
choice for step 13 = 10; eval = exp(-17.8608); runs = 299467
time: 640.577 s.

137 117 11 90 78 123 38 147 37 150 20 9 105
repetitions = 254755
hashKey = 13269006057002736976
choice for step 12 = 105; eval = exp(-20.3904); runs = 300157
time: 641.656 s.

137 117 11 90 78 123 38 147 201 105 10 20 194 9
repetitions = 255001
hashKey = 16971154478957815098
choice for step 13 = 9; eval = exp(-16.8373); runs = 300503
time: 642.74 s.

137 117 11 90 78 123 38 147 66 36
repetitions = 255282
hashKey = 12229594834050891616
choice for step 9 = 36; eval = exp(-9.86341); runs = 300850
time: 643.841 s.

137 117 11 90 78 123 38 147 66 10 9 194 105
repetitions = 255508
hashKey = 2833907855903241398
choice for step 12 = 105; eval = exp(-20.07); runs = 301130
time: 644.901 s.

137 117 11 90 78 123 38 147 103 157 202 10 20 9
repetitions = 255689
hashKey = 341024843712790342
choice for step 13 = 9; eval = exp(-18.894); runs = 301370
time: 645.983 s.

137 117 11 90 78 123 38 147 103 176 157
repetitions = 256016
hashKey = 18230194168696278590
choice for step 10 = 157; eval = exp(-18.111); runs = 301744
time: 647.072 s.

137 117 11 90 78 123 38 147 116 105 60 9 10
repetitions = 256327
hashKey = 1677315311297785232
choice for step 12 = 10; eval = exp(-17.2271); runs = 302156
time: 648.144 s.

137 117 11 90 78 123 38 147 116 202 9 214 20 10
repetitions = 256754
hashKey = 13792051842526905386
choice for step 13 = 10; eval = exp(-20.1271); runs = 302620
time: 649.224 s.

137 117 11 90 78 123 38 147 81 105 202 20 101
repetitions = 257154
hashKey = 3282415555179384466
choice for step 12 = 101; eval = exp(-15.2597); runs = 303112
time: 650.312 s.

137 117 11 90 78 123 38 147 81 10 20 49 105
repetitions = 257554
hashKey = 690569004819576498
choice for step 12 = 105; eval = exp(-25.1362); runs = 303544
time: 651.383 s.

137 117 11 90 78 123 38 147 81 176 206
repetitions = 258056
hashKey = 17858046760030449884
choice for step 10 = 206; eval = exp(-18.3693); runs = 304113
time: 652.481 s.

137 117 11 90 78 123 38 147 170 202 105
repetitions = 258285
hashKey = 15337738993670486450
choice for step 10 = 105; eval = exp(-15.1087); runs = 304398
time: 653.571 s.

137 117 11 90 78 123 38 147 170 176 105
repetitions = 258562
hashKey = 17456319351097061744
choice for step 10 = 105; eval = exp(-17.2934); runs = 304704
time: 654.634 s.

137 117 11 90 78 123 38 147 212 202 105
repetitions = 258794
hashKey = 18225348233161694600
choice for step 10 = 105; eval = exp(-16.5858); runs = 304990
time: 655.723 s.

137 117 11 90 78 123 38 147 158 105 10 20 194 9
repetitions = 259059
hashKey = 1306776488416671008
choice for step 13 = 9; eval = exp(-20.5239); runs = 305315
time: 656.786 s.

137 117 11 90 78 123 38 147 46 79 202 105
repetitions = 259329
hashKey = 7791330753228595298
choice for step 11 = 105; eval = exp(-16.4941); runs = 305638
time: 657.864 s.

137 117 11 90 78 123 38 147 46 105 10 202 79
repetitions = 259491
hashKey = 9132148634301018726
choice for step 12 = 79; eval = exp(-15.6742); runs = 305844
time: 658.952 s.

137 117 11 90 78 123 38 147 46 10 202 79
repetitions = 259768
hashKey = 11234503451896251524
choice for step 11 = 79; eval = exp(-17.2353); runs = 306153
time: 660.024 s.

137 117 11 90 78 123 38 147 46 176 202 105
repetitions = 260092
hashKey = 2076158561839551180
choice for step 11 = 105; eval = exp(-19.644); runs = 306506
time: 661.106 s.

137 117 11 90 78 123 38 147 126 105 10 60 9 20
repetitions = 260417
hashKey = 5321367256820673010
choice for step 13 = 20; eval = exp(-18.8961); runs = 306915
time: 662.188 s.

137 117 11 90 78 123 38 147 126 109 97
repetitions = 260771
hashKey = 1049045276301308112
choice for step 10 = 97; eval = exp(-16.902); runs = 307314
time: 663.274 s.

137 117 11 90 78 123 38 147 68 105 20 97
repetitions = 261020
hashKey = 2338398294277802520
choice for step 11 = 97; eval = exp(-17.8125); runs = 307642
time: 664.346 s.

137 117 11 90 78 123 38 147 156 105 20 9 214 10
repetitions = 261317
hashKey = 9613469114032088102
choice for step 13 = 10; eval = exp(-19.6788); runs = 307982
time: 665.425 s.

137 117 11 90 78 123 38 147 156 20 9 60 105
repetitions = 261597
hashKey = 10254488181146364594
choice for step 12 = 105; eval = exp(-17.1363); runs = 308278
time: 666.505 s.

137 117 11 90 78 123 38 147 56 206 97
repetitions = 261921
hashKey = 6308429332816466724
choice for step 10 = 97; eval = exp(-16.9387); runs = 308688
time: 667.61 s.

137 117 11 90 78 123 38 147 56 109 97
repetitions = 262153
hashKey = 2267540007523684438
choice for step 10 = 97; eval = exp(-17.7873); runs = 308983
time: 668.677 s.

137 117 11 90 78 123 38 147 168 176 157
repetitions = 262415
hashKey = 6702796288860828196
choice for step 10 = 157; eval = exp(-18.718); runs = 309317
time: 669.765 s.

137 117 11 90 78 123 38 147 136 97 9 10 202
repetitions = 262675
hashKey = 12612154976786435116
choice for step 12 = 202; eval = exp(-18.2989); runs = 309649
time: 670.826 s.

137 117 11 90 78 123 38 147 136 60 9 20 202
repetitions = 262850
hashKey = 18288294800716406592
choice for step 12 = 202; eval = exp(-19.6375); runs = 309883
time: 671.91 s.

137 117 11 90 78 123 38 147 136 9 149
repetitions = 263135
hashKey = 12565457495325084014
choice for step 10 = 149; eval = exp(-16.4026); runs = 310199
time: 673 s.

137 117 11 90 78 123 38 147 136 20 149
repetitions = 263541
hashKey = 4553614230479070920
choice for step 10 = 149; eval = exp(-16.974); runs = 310636
time: 674.09 s.

137 117 11 90 78 123 38 147 150 105 10 89
repetitions = 263851
hashKey = 3436603419274436710
choice for step 11 = 89; eval = exp(-16.8515); runs = 311031
time: 675.149 s.

137 117 11 90 78 123 38 147 150 9 89
repetitions = 264226
hashKey = 18095102637615136052
choice for step 10 = 89; eval = exp(-17.1133); runs = 311468
time: 676.233 s.

137 117 11 90 78 123 38 147 128 10 20 97
repetitions = 264483
hashKey = 9784634325699105688
choice for step 11 = 97; eval = exp(-15.5528); runs = 311765
time: 677.309 s.

137 117 11 90 78 123 38 147 82 97 202
repetitions = 264837
hashKey = 13603788651342726918
choice for step 10 = 202; eval = exp(-16.5285); runs = 312166
time: 678.389 s.

137 117 11 90 78 123 38 147 82 105 10 20 206 9
repetitions = 264962
hashKey = 14307196354493510776
choice for step 13 = 9; eval = exp(-23.3844); runs = 312351
time: 679.468 s.

137 117 11 90 78 123 38 147 82 202 60 20 10
repetitions = 265184
hashKey = 3514820163707993634
choice for step 12 = 10; eval = exp(-20.5396); runs = 312588
time: 680.55 s.

137 117 11 90 78 123 38 147 82 20 9 109 105
repetitions = 265458
hashKey = 8925489148128305062
choice for step 12 = 105; eval = exp(-26.2171); runs = 312880
time: 681.629 s.

137 117 11 90 78 123 38 147 113 105 9 189
repetitions = 265736
hashKey = 13488584481331536232
choice for step 11 = 189; eval = exp(-15.8563); runs = 313202
time: 682.713 s.

137 117 11 90 78 123 38 147 113 10 157 9 105
repetitions = 266079
hashKey = 15401297675749201076
choice for step 12 = 105; eval = exp(-16.7027); runs = 313568
time: 683.791 s.

137 117 11 90 78 123 38 147 138 157 9 10 105 20
repetitions = 266513
hashKey = 4543692637432083946
choice for step 13 = 20; eval = exp(-18.6178); runs = 314091
time: 684.868 s.

137 117 11 90 78 123 38 147 138 9 202
repetitions = 266790
hashKey = 3654331501249151046
choice for step 10 = 202; eval = exp(-19.2731); runs = 314442
time: 685.957 s.

137 117 11 90 78 123 38 147 179 105 10 157 20 9
repetitions = 266954
hashKey = 15868915146747248722
choice for step 13 = 9; eval = exp(-18.7957); runs = 314673
time: 687.035 s.

137 117 11 90 78 123 38 147 179 202 10 60 20 9
repetitions = 267178
hashKey = 126084784848835424
choice for step 13 = 9; eval = exp(-22.6118); runs = 314910
time: 688.114 s.

137 117 11 90 78 123 38 147 179 10 214 105
repetitions = 267438
hashKey = 7044200222847528690
choice for step 11 = 105; eval = exp(-21.9557); runs = 315184
time: 689.194 s.

137 117 11 90 78 123 38 147 185 157 10 105
repetitions = 267756
hashKey = 15474361773664748660
choice for step 11 = 105; eval = exp(-17.228); runs = 315630
time: 690.272 s.

137 117 11 90 78 123 38 147 185 10 97
repetitions = 268107
hashKey = 10937337152596658554
choice for step 10 = 97; eval = exp(-17.9348); runs = 316043
time: 691.35 s.

137 117 11 90 78 123 38 147 193 97 202 10 105
repetitions = 268575
hashKey = 8359558447903937582
choice for step 12 = 105; eval = exp(-15.9188); runs = 316562
time: 692.429 s.

137 117 11 90 78 123 38 147 193 60 9 20 105
repetitions = 268809
hashKey = 3376816835093537016
choice for step 12 = 105; eval = exp(-20.5027); runs = 316834
time: 693.509 s.

137 117 11 90 78 123 38 147 114 97 10 20 105
repetitions = 269095
hashKey = 1298494912641453790
choice for step 12 = 105; eval = exp(-16.2567); runs = 317180
time: 694.591 s.

137 117 11 90 78 123 38 147 114 202 189
repetitions = 269333
hashKey = 8351496602359178168
choice for step 10 = 189; eval = exp(-15.3763); runs = 317464
time: 695.682 s.

137 117 11 90 78 123 38 147 114 9 189
repetitions = 269585
hashKey = 16139359239328357742
choice for step 10 = 189; eval = exp(-14.9741); runs = 317738
time: 696.778 s.

137 117 11 90 78 123 38 147 49 97 20 105
repetitions = 269843
hashKey = 5463054905392554992
choice for step 11 = 105; eval = exp(-15.2135); runs = 318037
time: 697.836 s.

137 117 11 90 78 123 38 147 49 35 60
repetitions = 270108
hashKey = 756649532539681968
choice for step 10 = 60; eval = exp(-27.5238); runs = 318351
time: 698.917 s.

137 117 11 90 78 123 38 147 49 176 157
repetitions = 270443
hashKey = 16547350146954519508
choice for step 10 = 157; eval = exp(-19.1097); runs = 318706
time: 700.003 s.

137 117 11 90 78 123 38 147 33 105 194 10
repetitions = 270654
hashKey = 15842432721867054958
choice for step 11 = 10; eval = exp(-20.7173); runs = 318958
time: 701.075 s.

137 117 11 90 78 123 38 147 33 20 9 214 105
repetitions = 270864
hashKey = 5070405685721429828
choice for step 12 = 105; eval = exp(-24.4448); runs = 319181
time: 702.153 s.

137 117 11 90 78 123 38 147 121 105 20 202 97
repetitions = 271111
hashKey = 3302925615964140014
choice for step 12 = 97; eval = exp(-15.2677); runs = 319462
time: 703.241 s.

137 117 11 90 78 123 38 147 121 10 129 105
repetitions = 271471
hashKey = 1461437596084737026
choice for step 11 = 105; eval = exp(-16.3437); runs = 319845
time: 704.313 s.

137 117 11 90 78 123 38 147 121 60 105
repetitions = 271924
hashKey = 10887289715883622380
choice for step 10 = 105; eval = exp(-17.3293); runs = 320346
time: 705.399 s.

137 117 11 90 78 123 38 147 146 105 20 97
repetitions = 272196
hashKey = 7553223297725284362
choice for step 11 = 97; eval = exp(-15.7605); runs = 320695
time: 706.472 s.

137 117 11 90 78 123 38 147 146 202 9 129 105
repetitions = 272462
hashKey = 12039334894579217098
choice for step 12 = 105; eval = exp(-16.9328); runs = 320996
time: 707.555 s.

137 117 11 90 78 123 38 147 119 97 10 105
repetitions = 272779
hashKey = 2766825686813026674
choice for step 11 = 105; eval = exp(-16.6239); runs = 321350
time: 708.635 s.

137 117 11 90 78 123 38 147 119 202 194 105
repetitions = 273019
hashKey = 17451655570586548686
choice for step 11 = 105; eval = exp(-20.1867); runs = 321631
time: 709.712 s.

137 117 11 90 78 123 38 147 184 105 10 9 20 157
repetitions = 273313
hashKey = 1252121547521637674
choice for step 13 = 157; eval = exp(-16.8029); runs = 322018
time: 710.804 s.

137 117 11 90 78 123 38 147 184 10 105
repetitions = 273589
hashKey = 16488649695568398266
choice for step 10 = 105; eval = exp(-16.7838); runs = 322343
time: 711.883 s.

137 117 11 90 78 123 38 147 184 20 194 105
repetitions = 273980
hashKey = 7738254139674788028
choice for step 11 = 105; eval = exp(-23.2974); runs = 322752
time: 712.952 s.

137 117 11 90 78 123 38 147 120 194 9 202 20 10
repetitions = 274251
hashKey = 9155056015663548154
choice for step 13 = 10; eval = exp(-18.7075); runs = 323096
time: 714.034 s.

137 117 11 90 78 123 38 147 120 214 157
repetitions = 274526
hashKey = 9924877658800909564
choice for step 10 = 157; eval = exp(-19.6816); runs = 323435
time: 715.116 s.

137 117 11 90 78 123 38 147 97 105 202 23 20
repetitions = 274999
hashKey = 10825841046275938008
choice for step 12 = 20; eval = exp(-15.7005); runs = 324077
time: 716.228 s.

137 117 11 90 78 123 38 147 97 105 10 9 55 20
repetitions = 275516
hashKey = 12412853061881758380
choice for step 13 = 20; eval = exp(-20.3495); runs = 324635
time: 717.272 s.

137 117 11 90 78 123 38 147 97 105 20 154 202
repetitions = 276034
hashKey = 12535120175684807288
choice for step 12 = 202; eval = exp(-18.9191); runs = 325159
time: 718.353 s.

137 117 11 90 78 123 38 147 97 105 40 9 10 20
repetitions = 276576
hashKey = 321093176867799826
choice for step 13 = 20; eval = exp(-24.3909); runs = 325708
time: 719.433 s.

137 117 11 90 78 123 38 147 97 202 10 9 154 20
repetitions = 277164
hashKey = 11428511082460801870
choice for step 13 = 20; eval = exp(-21.4591); runs = 326436
time: 720.515 s.

137 117 11 90 78 123 38 147 97 202 20 199 105
repetitions = 277737
hashKey = 6774815610055722356
choice for step 12 = 105; eval = exp(-21.4578); runs = 327015
time: 721.592 s.

137 117 11 90 78 123 38 147 97 10 20 9 190 105
repetitions = 278420
hashKey = 16757986447867373994
choice for step 13 = 105; eval = exp(-20.1544); runs = 327702
time: 722.671 s.

137 117 11 90 78 123 38 147 97 10 181 105
repetitions = 278955
hashKey = 16473221307217086086
choice for step 11 = 105; eval = exp(-16.7538); runs = 328239
time: 723.754 s.

137 117 11 90 78 123 38 147 97 20 9 192 202 10
repetitions = 279489
hashKey = 8589259893048774482
choice for step 13 = 10; eval = exp(-26.0257); runs = 328800
time: 724.837 s.

137 117 11 90 78 123 38 147 97 9 40 202
repetitions = 280055
hashKey = 1306610741267442716
choice for step 11 = 202; eval = exp(-22.0615); runs = 329367
time: 725.923 s.

137 117 11 90 78 123 38 147 97 169 109
repetitions = 280697
hashKey = 11393536262386292642
choice for step 10 = 109; eval = exp(-17.2241); runs = 330200
time: 726.999 s.

137 117 11 90 78 123 38 147 97 100 10 20 202
repetitions = 281445
hashKey = 15046873718543574354
choice for step 12 = 202; eval = exp(-24.1657); runs = 331013
time: 728.078 s.

137 117 11 90 78 123 38 147 41 105 202 20 97
repetitions = 281770
hashKey = 2800729141965375988
choice for step 12 = 97; eval = exp(-17.7447); runs = 331396
time: 729.157 s.

137 117 11 90 78 123 38 147 210 105 202 32 10
repetitions = 282106
hashKey = 6852248633939671808
choice for step 12 = 10; eval = exp(-17.9904); runs = 331819
time: 730.25 s.

137 117 11 90 78 123 38 147 210 9 202 92
repetitions = 282499
hashKey = 11501509575742448898
choice for step 11 = 92; eval = exp(-17.1977); runs = 332235
time: 731.321 s.

137 117 11 90 78 123 38 147 106 105 10 20 157 9
repetitions = 282952
hashKey = 4943919072378029994
choice for step 13 = 9; eval = exp(-17.8053); runs = 332779
time: 732.4 s.

137 117 11 90 78 123 38 147 40 105 202
repetitions = 283179
hashKey = 8518538453644618676
choice for step 10 = 202; eval = exp(-19.6447); runs = 333073
time: 733.479 s.

137 117 11 90 78 123 38 147 96 60 10 202 20 9
repetitions = 283378
hashKey = 3265785498921387576
choice for step 13 = 9; eval = exp(-21.1128); runs = 333295
time: 734.563 s.

137 117 11 90 78 123 38 147 96 202 9 105
repetitions = 283708
hashKey = 16016899907041635176
choice for step 11 = 105; eval = exp(-18.855); runs = 333671
time: 735.646 s.

137 117 11 90 78 123 38 147 29 157 10 202 105
repetitions = 283978
hashKey = 16377175558569084906
choice for step 12 = 105; eval = exp(-21.0953); runs = 333994
time: 736.724 s.

137 117 11 90 78 123 38 147 172 105 10 9 194 20
repetitions = 284278
hashKey = 8479397641851770578
choice for step 13 = 20; eval = exp(-19.4489); runs = 334345
time: 737.805 s.

137 117 11 90 78 123 38 147 172 157 20 9 105
repetitions = 284503
hashKey = 3861411079445435012
choice for step 12 = 105; eval = exp(-21.5481); runs = 334610
time: 738.887 s.

137 117 11 90 78 123 38 147 23 60 9 10 20 105
repetitions = 284762
hashKey = 2639616178638507420
choice for step 13 = 105; eval = exp(-17.9494); runs = 334914
time: 739.974 s.

137 117 11 90 78 123 38 147 35 105 97
repetitions = 285079
hashKey = 10111629538937245068
choice for step 10 = 97; eval = exp(-18.205); runs = 335304
time: 741.058 s.

137 117 11 90 78 123 38 147 154 79 97
repetitions = 285399
hashKey = 16586108525123782620
choice for step 10 = 97; eval = exp(-18.1563); runs = 335698
time: 742.141 s.

137 117 11 90 78 123 38 147 154 214 194
repetitions = 285563
hashKey = 6945305453219758844
choice for step 10 = 194; eval = exp(-20.8773); runs = 335904
time: 743.208 s.

137 117 11 90 78 123 38 147 133 105 10 206 9 20
repetitions = 285871
hashKey = 15478640451564943676
choice for step 13 = 20; eval = exp(-16.8485); runs = 336278
time: 744.288 s.

137 117 11 90 78 123 38 147 133 10 20 9 129 105
repetitions = 286085
hashKey = 18051846152991616144
choice for step 13 = 105; eval = exp(-21.7253); runs = 336515
time: 745.368 s.

137 117 11 90 78 123 38 147 3 206 20 10
repetitions = 286391
hashKey = 2903295765249172102
choice for step 11 = 10; eval = exp(-20.6807); runs = 336841
time: 746.452 s.

137 117 11 90 78 123 38 147 3 10 9 176 202
repetitions = 286637
hashKey = 5330968282148288392
choice for step 12 = 202; eval = exp(-21.0468); runs = 337144
time: 747.528 s.

137 117 11 90 78 123 38 147 180 105 10 202 97
repetitions = 287094
hashKey = 4178597349134900572
choice for step 12 = 97; eval = exp(-15.6091); runs = 337631
time: 748.646 s.

137 117 11 90 78 123 38 147 180 109 97
repetitions = 287421
hashKey = 14711095710587110152
choice for step 10 = 97; eval = exp(-21.4049); runs = 338029
time: 749.72 s.

137 117 11 90 78 123 38 147 65 129 97
repetitions = 287632
hashKey = 11478099247771999170
choice for step 10 = 97; eval = exp(-20.3218); runs = 338286
time: 750.804 s.

137 117 11 90 78 123 38 147 86 105 97
repetitions = 287930
hashKey = 6673791658677620688
choice for step 10 = 97; eval = exp(-14.2837); runs = 338663
time: 751.883 s.

137 117 11 90 78 123 38 147 86 10 202 97
repetitions = 288241
hashKey = 16226064002193987312
choice for step 11 = 97; eval = exp(-15.9523); runs = 339015
time: 752.956 s.

137 117 11 90 78 123 38 147 86 157 105
repetitions = 288711
hashKey = 13313171097340943592
choice for step 10 = 105; eval = exp(-16.746); runs = 339501
time: 754.046 s.

137 117 11 90 78 123 38 147 166 105 10 189
repetitions = 289038
hashKey = 11203109432787539448
choice for step 11 = 189; eval = exp(-16.7036); runs = 339936
time: 755.12 s.

137 117 11 90 78 123 38 147 166 202 92
repetitions = 289418
hashKey = 16533638943339743672
choice for step 10 = 92; eval = exp(-15.2027); runs = 340336
time: 756.2 s.

137 117 11 90 78 123 38 147 105 10 79 20 69 9
repetitions = 289993
hashKey = 17723698996527545974
choice for step 13 = 9; eval = exp(-22.1975); runs = 340960
time: 757.276 s.

137 117 11 90 78 123 38 147 105 10 60 162 202
repetitions = 290818
hashKey = 14776490958944441560
choice for step 12 = 202; eval = exp(-20.5959); runs = 341839
time: 758.358 s.

137 117 11 90 78 123 38 147 105 10 157 19 202
repetitions = 291521
hashKey = 6604958852400730708
choice for step 12 = 202; eval = exp(-21.9492); runs = 342597
time: 759.436 s.

137 117 11 90 78 123 38 147 105 10 202 20 9 101
repetitions = 292310
hashKey = 10951256164086295286
choice for step 13 = 101; eval = exp(-20.9858); runs = 343456
time: 760.524 s.

137 117 11 90 78 123 38 147 105 10 9 20 109 101
repetitions = 292972
hashKey = 2275473515306143880
choice for step 13 = 101; eval = exp(-13.5893); runs = 344189
time: 761.601 s.

137 117 11 90 78 123 38 147 105 10 9 129 101
repetitions = 293588
hashKey = 3004449525053721756
choice for step 12 = 101; eval = exp(-14.2231); runs = 344863
time: 762.682 s.

137 117 11 90 78 123 38 147 105 10 9 0 97
repetitions = 294136
hashKey = 16631979157104159092
choice for step 12 = 97; eval = exp(-21.6754); runs = 345413
time: 763.759 s.

137 117 11 90 78 123 38 147 105 10 20 190 97
repetitions = 294982
hashKey = 2861024166049484022
choice for step 12 = 97; eval = exp(-18.9872); runs = 346261
time: 764.844 s.

137 117 11 90 78 123 38 147 105 10 32 191 202
repetitions = 295509
hashKey = 216686084926118002
choice for step 12 = 202; eval = exp(-17.4643); runs = 346795
time: 765.917 s.

137 117 11 90 78 123 38 147 105 10 100 202
repetitions = 296328
hashKey = 11823900622057211792
choice for step 11 = 202; eval = exp(-19.9207); runs = 347624
time: 766.998 s.

137 117 11 90 78 123 38 147 105 157 202 7 9
repetitions = 296757
hashKey = 13937459021526322616
choice for step 12 = 9; eval = exp(-16.1222); runs = 348104
time: 768.114 s.

137 117 11 90 78 123 38 147 105 157 51 9
repetitions = 297601
hashKey = 15617137366331498766
choice for step 11 = 9; eval = exp(-20.2828); runs = 348959
time: 769.156 s.

137 117 11 90 78 123 38 147 105 202 206 51 9
repetitions = 298534
hashKey = 2878820558249423036
choice for step 12 = 9; eval = exp(-16.456); runs = 349943
time: 770.249 s.

137 117 11 90 78 123 38 147 105 202 32 207 20
repetitions = 299460
hashKey = 15155539550196584158
choice for step 12 = 20; eval = exp(-20.6494); runs = 350963
time: 771.318 s.

137 117 11 90 78 123 38 147 105 202 194 0 9
repetitions = 300257
hashKey = 12870064967168129488
choice for step 12 = 9; eval = exp(-17.4273); runs = 351824
time: 772.416 s.

137 117 11 90 78 123 38 147 105 202 7 97
repetitions = 301103
hashKey = 11847861374754661356
choice for step 11 = 97; eval = exp(-17.1516); runs = 352716
time: 773.479 s.

137 117 11 90 78 123 38 147 105 9 24
repetitions = 301521
hashKey = 15453344060858507208
choice for step 10 = 24; eval = exp(-13.1042); runs = 353147
time: 774.556 s.

137 117 11 90 78 123 38 147 105 9 20 109 101
repetitions = 302510
hashKey = 934655634233720452
choice for step 12 = 101; eval = exp(-13.7292); runs = 354136
time: 775.638 s.

137 117 11 90 78 123 38 147 105 9 20 192 194 10
repetitions = 303139
hashKey = 10294353550602066328
choice for step 13 = 10; eval = exp(-23.63); runs = 354773
time: 776.717 s.

137 117 11 90 78 123 38 147 105 9 200 194 10
repetitions = 304034
hashKey = 271761548155337442
choice for step 12 = 10; eval = exp(-22.7874); runs = 355669
time: 777.796 s.

137 117 11 90 78 123 38 147 105 20 32 18 202
repetitions = 304802
hashKey = 10617050850772005310
choice for step 12 = 202; eval = exp(-19.9697); runs = 356441
time: 778.877 s.

137 117 11 90 78 123 38 147 105 20 91 9
repetitions = 305778
hashKey = 1498678743642069790
choice for step 11 = 9; eval = exp(-20.2083); runs = 357418
time: 779.96 s.

137 117 11 90 78 123 38 147 105 32 191 10
repetitions = 306542
hashKey = 12554330513786959220
choice for step 11 = 10; eval = exp(-18.8859); runs = 358186
time: 781.036 s.

137 117 11 90 78 123 38 147 105 53 186 10
repetitions = 307373
hashKey = 758033724324348642
choice for step 11 = 10; eval = exp(-25.962); runs = 359019
time: 782.115 s.

137 117 11 90 78 123 38 147 181 194 97
repetitions = 307705
hashKey = 3940061551946831768
choice for step 10 = 97; eval = exp(-18.2011); runs = 359384
time: 783.197 s.

137 117 11 90 78 123 38 147 21 10 20 60 202
repetitions = 308064
hashKey = 10431601847624989160
choice for step 12 = 202; eval = exp(-20.7074); runs = 359780
time: 784.278 s.

137 117 11 90 78 123 38 147 174 60 10 9 105
repetitions = 308597
hashKey = 10497356545632671054
choice for step 12 = 105; eval = exp(-20.2181); runs = 360381
time: 785.358 s.

137 117 11 90 78 123 38 147 204 47
repetitions = 308819
hashKey = 11722974484870413846
choice for step 9 = 47; eval = exp(-12.1716); runs = 360665
time: 786.444 s.

137 117 11 90 78 123 38 147 169 129 97
repetitions = 309205
hashKey = 18007631289105747396
choice for step 10 = 97; eval = exp(-21.0804); runs = 361122
time: 787.515 s.

137 117 11 90 78 123 38 147 7 9 10 20 206 105
repetitions = 309643
hashKey = 14653623895500678012
choice for step 13 = 105; eval = exp(-22.4134); runs = 361624
time: 788.597 s.

137 117 11 90 78 123 38 147 100 202 60 10
repetitions = 310073
hashKey = 10293593389602215502
choice for step 11 = 10; eval = exp(-21.8627); runs = 362099
time: 789.677 s.

137 117 11 90 78 123 38 147 69 202 10 60 105
repetitions = 310410
hashKey = 4921947172581482240
choice for step 12 = 105; eval = exp(-19.7291); runs = 362498
time: 790.755 s.

137 117 11 90 78 123 38 147 161 202 105
repetitions = 310918
hashKey = 4869755028853744350
choice for step 10 = 105; eval = exp(-21.859); runs = 363062
time: 791.934 s.

137 117 11 90 78 123 38 147 25 202 60 105
repetitions = 311183
hashKey = 9011673170978451534
choice for step 11 = 105; eval = exp(-19.9642); runs = 363353
time: 792.935 s.

137 117 11 90 78 123 38 147 30 157 176
repetitions = 311636
hashKey = 18291328095083203934
choice for step 10 = 176; eval = exp(-17.8416); runs = 363851
time: 793.998 s.

137 117 11 90 78 123 38 147 199 79 202 105
repetitions = 312002
hashKey = 1150305451119370786
choice for step 11 = 105; eval = exp(-16.5899); runs = 364281
time: 795.078 s.

137 117 11 90 78 123 38 147 199 9 60 105
repetitions = 312241
hashKey = 9809397918083543078
choice for step 11 = 105; eval = exp(-22.3241); runs = 364533
time: 796.157 s.

137 117 11 90 78 123 38 147 79 202 10 24
repetitions = 312570
hashKey = 6604762242511762054
choice for step 11 = 24; eval = exp(-13.046); runs = 364896
time: 797.235 s.

137 117 11 90 78 123 38 147 79 214 189
repetitions = 314260
hashKey = 10218557465075155510
choice for step 10 = 189; eval = exp(-16.4368); runs = 366631
time: 798.322 s.

137 117 11 90 78 123 38 147 152 202 9 60 10
repetitions = 314856
hashKey = 2351133313163973562
choice for step 12 = 10; eval = exp(-21.3145); runs = 367299
time: 799.397 s.

137 117 11 90 78 123 38 147 160 202 157 9 105
repetitions = 315312
hashKey = 11563162704489785186
choice for step 12 = 105; eval = exp(-17.3078); runs = 367777
time: 800.477 s.

137 117 11 90 78 123 38 147 200 10 9 105
repetitions = 315854
hashKey = 13566458239948401130
choice for step 11 = 105; eval = exp(-20.5934); runs = 368397
time: 801.559 s.

137 117 11 90 78 123 38 147 10 202 20 9 194 31
repetitions = 317009
hashKey = 12870234322116572468
choice for step 13 = 31; eval = exp(-13.116); runs = 369599
time: 802.65 s.

137 117 11 90 78 123 38 147 10 202 20 207 176 9
repetitions = 318156
hashKey = 12504495866291923350
choice for step 13 = 9; eval = exp(-22.5174); runs = 370786
time: 803.719 s.

137 117 11 90 78 123 38 147 10 202 9 188 157
repetitions = 319200
hashKey = 5534666660491953186
choice for step 12 = 157; eval = exp(-21.0501); runs = 371836
time: 804.796 s.

137 117 11 90 78 123 38 147 10 202 19 60
repetitions = 320213
hashKey = 3199772919363158628
choice for step 11 = 60; eval = exp(-20.1729); runs = 372849
time: 805.883 s.

137 117 11 90 78 123 38 147 10 60 207 105
repetitions = 320962
hashKey = 9544106200151801756
choice for step 11 = 105; eval = exp(-20.3291); runs = 373602
time: 806.956 s.

137 117 11 90 78 123 38 147 10 20 9 24
repetitions = 321782
hashKey = 6334891702788488696
choice for step 11 = 24; eval = exp(-15.0555); runs = 374423
time: 808.048 s.

137 117 11 90 78 123 38 147 10 20 9 175 105
repetitions = 322690
hashKey = 13522154867769401476
choice for step 12 = 105; eval = exp(-22.0256); runs = 375332
time: 809.123 s.

137 117 11 90 78 123 38 147 10 20 91 105
repetitions = 323629
hashKey = 7389278416606154862
choice for step 11 = 105; eval = exp(-20.4035); runs = 376275
time: 810.2 s.

137 117 11 90 78 123 38 147 10 9 32 105
repetitions = 324390
hashKey = 5048016746951890402
choice for step 11 = 105; eval = exp(-16.6366); runs = 377036
time: 811.28 s.

137 117 11 90 78 123 38 147 10 194 162 105
repetitions = 325138
hashKey = 17452100746062448178
choice for step 11 = 105; eval = exp(-21.9389); runs = 377784
time: 812.365 s.

137 117 11 90 78 123 38 147 10 182 9 20 79 105
repetitions = 326157
hashKey = 11100782470166593788
choice for step 13 = 105; eval = exp(-28.4784); runs = 378805
time: 813.365 s.

137 117 11 90 78 123 38 147 0 202 9 157 105
repetitions = 326852
hashKey = 9592896285834217350
choice for step 12 = 105; eval = exp(-18.4236); runs = 379598
time: 814.369 s.

137 117 11 90 78 123 38 147 157 20 207 105
repetitions = 328708
hashKey = 1149204012974508468
choice for step 11 = 105; eval = exp(-20.8703); runs = 381552
time: 815.374 s.

137 117 11 90 78 123 38 147 57 202 105
repetitions = 330130
hashKey = 12236327507335938312
choice for step 10 = 105; eval = exp(-18.9115); runs = 383141
time: 816.376 s.

137 117 11 90 78 123 38 147 60 40 9 202
repetitions = 332554
hashKey = 2438449429297960742
choice for step 11 = 202; eval = exp(-23.8265); runs = 385656
time: 817.378 s.

137 117 11 90 78 123 38 147 202 9 20 197 10
repetitions = 334290
hashKey = 489970326166963304
choice for step 12 = 10; eval = exp(-22.9979); runs = 387485
time: 818.378 s.

137 117 11 90 78 123 38 147 202 30 105
repetitions = 336774
hashKey = 12195514219478820052
choice for step 10 = 105; eval = exp(-20.8319); runs = 389970
time: 819.381 s.

137 117 11 90 78 123 38 147 20 9 187 105
repetitions = 338065
hashKey = 9430220354424812836
choice for step 11 = 105; eval = exp(-17.5687); runs = 391414
time: 820.389 s.

137 117 11 90 78 123 38 147 20 64 105
repetitions = 339523
hashKey = 9435242368880840598
choice for step 10 = 105; eval = exp(-22.1515); runs = 392873
time: 821.39 s.

137 117 11 90 78 123 38 147 206 166 105
repetitions = 341630
hashKey = 10033514485839122924
choice for step 10 = 105; eval = exp(-23.3314); runs = 395020
time: 822.394 s.

137 117 11 90 78 123 38 147 194 42 157
repetitions = 343840
hashKey = 3969175973856547194
choice for step 10 = 157; eval = exp(-22.2449); runs = 397400
time: 823.402 s.

137 117 11 90 78 123 38 147 109 204 97
repetitions = 344760
hashKey = 15175856654093460388
choice for step 10 = 97; eval = exp(-21.4814); runs = 398593
time: 824.412 s.

137 117 11 90 78 123 38 147 167 101
repetitions = 345297
hashKey = 9326632993473999888
choice for step 9 = 101; eval = exp(-13.0646); runs = 399186
time: 826.563 s.

137 117 11 90 78 123 38 147 53 32 97
repetitions = 345756
hashKey = 16480417239990410312
choice for step 10 = 97; eval = exp(-21.8812); runs = 399754
time: 827.6 s.

137 117 11 90 78 123 38 147 85 105 157
repetitions = 345966
hashKey = 7997222234205425142
choice for step 10 = 157; eval = exp(-23.3922); runs = 400150
time: 828.737 s.

137 117 11 90 78 123 38 147 85 202 20 10 176 9
repetitions = 346107
hashKey = 6790889030785165286
choice for step 13 = 9; eval = exp(-31.3778); runs = 400321
time: 829.762 s.


[1]+  Stopped                 mysql_c_program q=2 k=11 n=105 d=45 groupid=39594 nurgls solver nc=1 paraa=15000 b=1 t=10000 computecode

real    13m52.250s
user    0m0.000s
sys     0m0.000s
btm2x5-was nun?fg
mysql_c_program q=2 k=11 n=105 d=45 groupid=39594 nurgls solver nc=1 paraa=15000 b=1 t=10000 computecode
137 117 11 90 78 123 38 147 85 10 97 20 9
repetitions = 346206
hashKey = 6136352719289973698
choice for step 12 = 9; eval = exp(-30.0661); runs = 400427
time: 841.164 s.

137 117 11 90 78 123 38 159 83 105 32 20 202
repetitions = 346431
hashKey = 13644351592104277316
choice for step 12 = 202; eval = exp(-11.2668); runs = 400789
time: 842.171 s.

137 117 11 90 78 123 38 159 83 202 20 9 176 10
repetitions = 346736
hashKey = 10993307908199616508
choice for step 13 = 10; eval = exp(-16.8838); runs = 401161
time: 843.172 s.

137 117 11 90 78 123 38 159 83 9 157
repetitions = 347037
hashKey = 9752214137323447518
choice for step 10 = 157; eval = exp(-13.8662); runs = 401479
time: 844.248 s.

137 117 11 90 78 123 38 159 24 105 202 10 20 9
repetitions = 347102
hashKey = 15442217311838943560
choice for step 13 = 9; eval = exp(-21.6972); runs = 401677
time: 845.321 s.

137 117 11 90 78 123 38 159 24 10 105
repetitions = 347317
hashKey = 7997780441910017928
choice for step 10 = 105; eval = exp(-13.69); runs = 401946
time: 846.409 s.

137 117 11 90 78 123 38 159 24 20 105
repetitions = 347636
hashKey = 12542081577809471378
choice for step 10 = 105; eval = exp(-13.868); runs = 402291
time: 847.517 s.

137 117 11 90 78 123 38 159 86 175 54
repetitions = 347793
hashKey = 12545617244667997912
choice for step 10 = 54; eval = exp(0); runs = 402495
Search successful! (runs = 402495)
time: 848.204 s.

11 38 54 78 86 90 117 123 137 159 175
0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
time: 848.368 s.

Program terminated normally.
time: 848.369 s.