Task 15156
| Name | batch_89__job_job-000241_1 |
| Workunit | 12169 |
| Created | 30 Apr 2025, 2:55:16 UTC |
| Sent | 1 May 2025, 4:54:11 UTC |
| Report deadline | 8 May 2025, 4:54:11 UTC |
| Received | 1 May 2025, 9:04:34 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 32910 |
| Run time | 4 hours 10 min 10 sec |
| CPU time | 3 hours 27 min 3 sec |
| Validate state | Valid |
| Credit | 27.76 |
| Device peak FLOPS | 1.93 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 26.91 MB |
| Peak swap size | 1.90 GB |
| Peak disk usage | 100.89 KB |
Stderr output
<core_client_version>8.2.2</core_client_version>
<![CDATA[
<stderr_txt>
no job.toml config file
Using Docker
DEPRECATED: The legacy builder is deprecated and will be removed in a future release.
Install the buildx component to build images with BuildKit:
https://docs.docker.com/go/buildx/
stderr from container:
N = 16, MAX_LENGTH: 22, CAPTURE_STATS: 1
7 targets:
0100100000011100
0000011000011011
0010000000001011
0100100100100001
0101110101000000
0111000000001100
0011111011111111
11, 31, 34, 54 [best: 1000] 0
11, 31, 34, 54, 55, 56, 65, 74, 130, 136, 145, 229 [best: 1000] 4294967296
11, 31, 34, 54, 55, 56, 74, 103, 110, 160, 174, 205 [best: 1000] 8589934592
11, 31, 34, 54, 55, 56, 92, 112, 121, 133, 138, 170 [best: 1000] 12884901888
11, 31, 34, 54, 55, 57, 63, 72, 87, 138, 157, 182 [best: 1000] 17179869184
11, 31, 34, 54, 55, 57, 69, 82, 95, 129, 155, 162 [best: 1000] 21474836480
11, 31, 34, 54, 55, 57, 79, 85, 131, 150, 180, 220 [best: 1000] 25769803776
11, 31, 34, 54, 55, 57, 101, 103, 108, 134, 173, 220 [best: 1000] 30064771072
11, 31, 34, 54, 55, 58, 65, 81, 84, 106, 182, 218 [best: 1000] 34359738368
11, 31, 34, 54, 55, 58, 74, 88, 152, 175, 180, 182 [best: 1000] 38654705664
11, 31, 34, 54, 55, 58, 92, 103, 108, 146, 156 [best: 1000] 42949672960
11, 31, 34, 54, 55, 59, 66, 119, 132, 156, 163, 263 [best: 1000] 47244640256
11, 31, 34, 54, 55, 59, 78, 82, 113, 125, 129, 229 [best: 1000] 51539607552
11, 31, 34, 54, 55, 60, 61, 97, 100, 142, 161, 212 [best: 1000] 55834574848
11, 31, 34, 54, 55, 60, 67, 116, 131, 196, 208, 214 [best: 1000] 60129542144
11, 31, 34, 54, 55, 60, 76, 81, 123, 161, 194, 234 [best: 1000] 64424509440
11, 31, 34, 54, 55, 60, 88, 91, 104, 123, 145, 152 [best: 1000] 68719476736
11, 31, 34, 54, 55, 61, 63, 113, 115, 122, 130, 189 [best: 1000] 73014444032
11, 31, 34, 54, 55, 61, 69, 132, 156, 165, 191, 198 [best: 1000] 77309411328
11, 31, 34, 54, 55, 61, 78, 83, 113, 143, 151, 215 [best: 1000] 81604378624
11, 31, 34, 54, 55, 61, 89, 102, 103, 167, 180, 188 [best: 1000] 85899345920
11, 31, 34, 54, 55, 62, 64, 126, 132, 172, 198, 223 [best: 1000] 90194313216
11, 31, 34, 54, 55, 62, 71, 78, 87, 108, 139, 204 [best: 1000] 94489280512
11, 31, 34, 54, 55, 62, 81, 83, 97, 145, 165, 185 [best: 1000] 98784247808
11, 31, 34, 54, 55, 62, 100, 128, 139, 152, 157, 187 [best: 1000] 103079215104
11, 31, 34, 54, 55, 63, 68, 78, 81, 115, 168, 218 [best: 1000] 107374182400
11, 31, 34, 54, 55, 63, 75, 77, 96, 135, 150, 190 [best: 1000] 111669149696
11, 31, 34, 54, 55, 63, 83, 91, 137, 180, 185, 234 [best: 1000] 115964116992
11, 31, 34, 54, 55, 63, 99, 110, 152, 161, 163, 232, 262 [best: 1000] 120259084288
11, 31, 34, 54, 55, 64, 69, 104, 137, 158, 160, 188 [best: 1000] 124554051584
11, 31, 34, 54, 55, 64, 79, 102, 136, 154, 165, 166 [best: 1000] 128849018880
11, 31, 34, 54, 55, 64, 98, 117, 139, 182, 193, 206 [best: 1000] 133143986176
11, 31, 34, 54, 55, 65, 70, 79, 84, 101, 167, 207 [best: 1000] 137438953472
11, 31, 34, 54, 55, 65, 77, 106, 115, 150, 154, 189 [best: 1000] 141733920768
11, 31, 34, 54, 55, 65, 87, 99, 133, 138, 161, 207 [best: 1000] 146028888064
11, 31, 34, 54, 55, 65, 115, 125, 163, 182, 192, 224 [best: 1000] 150323855360
11, 31, 34, 54, 55, 66, 73, 79, 137, 140, 184, 215 [best: 1000] 154618822656
11, 31, 34, 54, 55, 66, 82, 85, 109, 117, 184, 186 [best: 1000] 158913789952
11, 31, 34, 54, 55, 66, 95, 104, 123, 157, 172 [best: 1000] 163208757248
11, 31, 34, 54, 55, 67, 70, 95, 127, 170, 177, 206 [best: 1000] 167503724544
11, 31, 34, 54, 55, 67, 76, 78, 109, 157, 163, 173 [best: 1000] 171798691840
11, 31, 34, 54, 55, 67, 81, 134, 143, 182, 216, 221 [best: 1000] 176093659136
11, 31, 34, 54, 55, 67, 90, 91, 109, 145, 177, 190 [best: 1000] 180388626432
11, 31, 34, 54, 55, 67, 107, 109, 136, 151, 205, 212 [best: 1000] 184683593728
11, 31, 34, 54, 55, 68, 74, 81, 127, 150, 160, 238 [best: 1000] 188978561024
11, 31, 34, 54, 55, 68, 83, 89, 123, 139, 141, 152 [best: 1000] 193273528320
11, 31, 34, 54, 55, 68, 99, 111, 162, 176, 191, 273 [best: 1000] 197568495616
11, 31, 34, 54, 55, 69, 74, 124, 151, 155, 182, 186 [best: 1000] 201863462912
11, 31, 34, 54, 55, 69, 82, 88, 148, 167, 186, 248 [best: 1000] 206158430208
11, 31, 34, 54, 55, 69, 93, 116, 120, 149, 172, 199 [best: 1000] 210453397504
11, 31, 34, 54, 55, 70, 73, 84, 105, 154, 155, 160 [best: 1000] 214748364800
11, 31, 34, 54, 55, 70, 81, 95, 116, 156, 160, 204 [best: 1000] 219043332096
11, 31, 34, 54, 55, 70, 93, 122, 153, 171, 188, 202 [best: 1000] 223338299392
11, 31, 34, 54, 55, 71, 75, 96, 98, 183, 188, 207 [best: 1000] 227633266688
11, 31, 34, 54, 55, 71, 85, 113, 120, 144, 160, 220 [best: 1000] 231928233984
11, 31, 34, 54, 55, 72, 75, 77, 109, 148, 193, 200 [best: 1000] 236223201280
11, 31, 34, 54, 55, 72, 84, 105, 110, 147, 202, 207 [best: 1000] 240518168576
11, 31, 34, 54, 55, 73, 75, 82, 91, 170, 178, 207 [best: 1000] 244813135872
11, 31, 34, 54, 55, 73, 84, 106, 109, 113, 148, 189 [best: 1000] 249108103168
11, 31, 34, 54, 55, 73, 108, 129, 131, 180, 193, 201 [best: 1000] 253403070464
11, 31, 34, 54, 55, 74, 83, 93, 110, 120, 157, 171 [best: 1000] 257698037760
11, 31, 34, 54, 55, 74, 102, 127, 154, 158, 197, 220 [best: 1000] 261993005056
11, 31, 34, 54, 55, 75, 83, 113, 132, 136, 148, 164 [best: 1000] 266287972352
11, 31, 34, 54, 55, 76, 77, 91, 148, 183, 189, 244 [best: 1000] 270582939648
11, 31, 34, 54, 55, 76, 87, 120, 156, 168, 186, 211 [best: 1000] 274877906944
11, 31, 34, 54, 55, 77, 78, 83, 89, 112, 144, 231 [best: 1000] 279172874240
11, 31, 34, 54, 55, 77, 94, 97, 108, 152, 173, 203 [best: 1000] 283467841536
11, 31, 34, 54, 55, 78, 84, 97, 136, 140, 178, 231 [best: 1000] 287762808832
11, 31, 34, 54, 55, 78, 113, 126, 150, 188, 199, 267 [best: 1000] 292057776128
11, 31, 34, 54, 55, 79, 91, 134, 158, 161, 193, 212 [best: 1000] 296352743424
11, 31, 34, 54, 55, 80, 83, 106, 115, 159, 167, 199 [best: 1000] 300647710720
11, 31, 34, 54, 55, 80, 112, 124, 134, 158, 192, 222 [best: 1000] 304942678016
11, 31, 34, 54, 55, 81, 94, 96, 146, 191, 192, 264 [best: 1000] 309237645312
11, 31, 34, 54, 55, 82, 85, 99, 149, 155, 177, 217 [best: 1000] 313532612608
11, 31, 34, 54, 55, 82, 94, 101, 116, 142, 201, 240 [best: 1000] 317827579904
11, 31, 34, 54, 55, 82, 106, 119, 135, 171, 195, 203 [best: 1000] 322122547200
11, 31, 34, 54, 55, 83, 92, 105, 114, 140, 142, 184 [best: 1000] 326417514496
11, 31, 34, 54, 55, 84, 89, 130, 145, 154, 212, 225 [best: 1000] 330712481792
11, 31, 34, 54, 55, 85, 96, 103, 131, 144, 179, 216 [best: 1000] 335007449088
11, 31, 34, 54, 55, 87, 89, 98, 133, 166, 197, 218 [best: 1000] 339302416384
11, 31, 34, 54, 55, 88, 93, 110, 114, 118, 144, 190 [best: 1000] 343597383680
11, 31, 34, 54, 55, 89, 101, 117, 141, 142, 147, 163 [best: 1000] 347892350976
11, 31, 34, 54, 55, 91, 98, 107, 121, 128, 182, 205 [best: 1000] 352187318272
11, 31, 34, 54, 56, 57, 65, 96, 129, 144, 162, 198 [best: 1000] 356482285568
11, 31, 34, 54, 56, 57, 84, 115, 124, 128, 131, 153 [best: 1000] 360777252864
11, 31, 34, 54, 56, 58, 71, 102, 122, 154, 162, 169 [best: 1000] 365072220160
11, 31, 34, 54, 56, 59, 73, 101, 116, 144, 157, 176 [best: 1000] 369367187456
11, 31, 34, 54, 56, 60, 72, 77, 92, 119, 133, 163 [best: 1000] 373662154752
11, 31, 34, 54, 56, 61, 68, 78, 87, 95, 137, 182 [best: 1000] 377957122048
11, 31, 34, 54, 56, 62, 67, 75, 107, 112, 134, 172 [best: 1000] 382252089344
11, 31, 34, 54, 56, 63, 64, 88, 114, 142, 175, 218 [best: 1000] 386547056640
11, 31, 34, 54, 56, 63, 88, 100, 120, 132, 161, 238 [best: 1000] 390842023936
11, 31, 34, 54, 56, 64, 91, 94, 107, 131, 140, 188 [best: 1000] 395136991232
11, 31, 34, 54, 56, 65, 82, 91, 102, 118, 131, 204 [best: 1000] 399431958528
11, 31, 34, 54, 56, 66, 78, 100, 102, 128, 157, 184 [best: 1000] 403726925824
11, 31, 34, 54, 56, 67, 77, 102, 132, 157, 161, 166 [best: 1000] 408021893120
11, 31, 34, 54, 56, 68, 72, 95, 139, 141, 147, 212 [best: 1000] 412316860416
11, 31, 34, 54, 56, 68, 87, 93, 129, 149, 153, 213 [best: 1000] 416611827712
11, 31, 34, 54, 56, 69, 76, 111, 112, 115, 149, 179 [best: 1000] 420906795008
11, 31, 34, 54, 56, 70, 79, 101, 122, 157, 180, 196 [best: 1000] 425201762304
11, 31, 34, 54, 56, 71, 90, 105, 113, 133, 169, 175 [best: 1000] 429496729600
11, 31, 34, 54, 56, 73, 87, 108, 117, 135, 153, 199 [best: 1000] 433791696896
11, 31, 34, 54, 56, 75, 82, 105, 114, 136, 163, 195 [best: 1000] 438086664192
11, 31, 34, 54, 56, 77, 92, 96, 108, 133, 143, 186 [best: 1000] 442381631488
11, 31, 34, 54, 56, 79, 88, 89, 132, 139, 165, 209 [best: 1000] 446676598784
11, 31, 34, 54, 57, 58, 60, 61, 63, 96, 138, 175 [best: 1000] 450971566080
11, 31, 34, 54, 57, 58, 71, 76, 85, 123, 162, 206 [best: 1000] 455266533376
11, 31, 34, 54, 57, 59, 62, 108, 129, 136, 189, 214 [best: 1000] 459561500672
11, 31, 34, 54, 57, 59, 77, 92, 97, 102, 114, 175 [best: 1000] 463856467968
11, 31, 34, 54, 57, 60, 65, 80, 82, 98, 110, 155 [best: 1000] 468151435264
11, 31, 34, 54, 57, 60, 76, 81, 89, 128, 159, 207 [best: 1000] 472446402560
11, 31, 34, 54, 57, 61, 62, 74, 124, 135, 149, 211 [best: 1000] 476741369856
11, 31, 34, 54, 57, 61, 70, 87, 104, 110, 111, 121 [best: 1000] 481036337152
11, 31, 34, 54, 57, 61, 85, 109, 114, 126, 157, 200 [best: 1000] 485331304448
11, 31, 34, 54, 57, 62, 66, 96, 121, 122, 148, 161 [best: 1000] 489626271744
11, 31, 34, 54, 57, 62, 80, 84, 101, 119, 128, 157 [best: 1000] 493921239040
11, 31, 34, 54, 57, 63, 66, 74, 90, 95, 152, 229 [best: 1000] 498216206336
11, 31, 34, 54, 57, 63, 76, 88, 113, 142, 164, 166 [best: 1000] 502511173632
11, 31, 34, 54, 57, 63, 100, 115, 116, 125, 137, 181 [best: 1000] 506806140928
11, 31, 34, 54, 57, 64, 75, 110, 124, 136, 152, 198 [best: 1000] 511101108224
11, 31, 34, 54, 57, 65, 67, 83, 105, 109, 176, 247 [best: 1000] 515396075520
11, 31, 34, 54, 57, 65, 77, 82, 147, 167, 180, 184 [best: 1000] 519691042816
11, 31, 34, 54, 57, 65, 102, 103, 146, 147, 166, 224 [best: 1000] 523986010112
11, 31, 34, 54, 57, 66, 74, 77, 91, 109, 136, 187 [best: 1000] 528280977408
11, 31, 34, 54, 57, 66, 91, 115, 120, 129, 144, 201 [best: 1000] 532575944704
11, 31, 34, 54, 57, 67, 71, 77, 134, 162, 169, 224 [best: 1000] 536870912000
11, 31, 34, 54, 57, 67, 81, 91, 120, 135, 180, 211, 244 [best: 1000] 541165879296
11, 31, 34, 54, 57, 67, 95, 100, 105, 120, 158, 172 [best: 1000] 545460846592
11, 31, 34, 54, 57, 68, 71, 108, 123, 157, 161, 188 [best: 1000] 549755813888
11, 31, 34, 54, 57, 68, 81, 100, 116, 139, 153, 176 [best: 1000] 554050781184
11, 31, 34, 54, 57, 68, 95, 101, 110, 145, 193, 221 [best: 1000] 558345748480
11, 31, 34, 54, 57, 69, 72, 93, 102, 123, 147, 236 [best: 1000] 562640715776
11, 31, 34, 54, 57, 69, 86, 125, 133, 142, 173, 181 [best: 1000] 566935683072
11, 31, 34, 54, 57, 70, 74, 86, 91, 157, 182, 218 [best: 1000] 571230650368
11, 31, 34, 54, 57, 70, 92, 124, 128, 130, 139, 160 [best: 1000] 575525617664
11, 31, 34, 54, 57, 71, 82, 94, 140, 142, 174, 211 [best: 1000] 579820584960
11, 31, 34, 54, 57, 72, 79, 89, 94, 129, 169, 227 [best: 1000] 584115552256
11, 31, 34, 54, 57, 73, 76, 101, 111, 139, 183, 217 [best: 1000] 588410519552
11, 31, 34, 54, 57, 74, 82, 99, 113, 118, 121, 208 [best: 1000] 592705486848
11, 31, 34, 54, 57, 75, 79, 82, 91, 142, 151, 159 [best: 1000] 597000454144
11, 31, 34, 54, 57, 76, 83, 84, 134, 151, 197, 220 [best: 1000] 601295421440
11, 31, 34, 54, 57, 77, 83, 113, 125, 130, 187, 229 [best: 1000] 605590388736
11, 31, 34, 54, 57, 79, 88, 99, 105, 106, 140, 142 [best: 1000] 609885356032
11, 31, 34, 54, 57, 81, 88, 109, 113, 141, 148, 177 [best: 1000] 614180323328
11, 31, 34, 54, 57, 82, 85, 97, 107, 132, 149, 154 [best: 1000] 618475290624
11, 31, 34, 54, 57, 82, 102, 110, 113, 123, 210, 250 [best: 1000] 622770257920
11, 31, 34, 54, 57, 83, 103, 121, 149, 152, 153, 192 [best: 1000] 627065225216
11, 31, 34, 54, 57, 87, 90, 106, 133, 165, 177, 204 [best: 1000] 631360192512
11, 31, 34, 54, 57, 90, 92, 111, 117, 131, 154, 192 [best: 1000] 635655159808
11, 31, 34, 54, 58, 59, 66, 105, 115, 120, 170, 226 [best: 1000] 639950127104
11, 31, 34, 54, 58, 60, 65, 78, 138, 146, 168, 190 [best: 1000] 644245094400
11, 31, 34, 54, 58, 60, 81, 95, 97, 123, 132, 168 [best: 1000] 648540061696
11, 31, 34, 54, 58, 61, 67, 104, 111, 133, 137, 148 [best: 1000] 652835028992
11, 31, 34, 54, 58, 61, 96, 106, 126, 128, 156, 229 [best: 1000] 657129996288
11, 31, 34, 54, 58, 62, 74, 97, 98, 100, 124, 164 [best: 1000] 661424963584
11, 31, 34, 54, 58, 63, 66, 67, 73, 108, 176, 190 [best: 1000] 665719930880
11, 31, 34, 54, 58, 63, 85, 92, 123, 141, 145, 156 [best: 1000] 670014898176
11, 31, 34, 54, 58, 64, 79, 82, 135, 148, 154, 161 [best: 1000] 674309865472
11, 31, 34, 54, 58, 65, 73, 85, 89, 112, 123, 165 [best: 1000] 678604832768
11, 31, 34, 54, 58, 65, 104, 107, 121, 138, 160, 163 [best: 1000] 682899800064
11, 31, 34, 54, 58, 66, 82, 111, 123, 135, 199, 230 [best: 1000] 687194767360
11, 31, 34, 54, 58, 67, 73, 99, 149, 151, 162, 170 [best: 1000] 691489734656
11, 31, 34, 54, 58, 67, 96, 113, 121, 155, 193, 199 [best: 1000] 695784701952
11, 31, 34, 54, 58, 68, 78, 112, 113, 151, 159, 173 [best: 1000] 700079669248
11, 31, 34, 54, 58, 68, 95, 96, 112, 176, 225, 261 [best: 1000] 704374636544
11, 31, 34, 54, 58, 69, 82, 83, 121, 151, 161, 175 [best: 1000] 708669603840
11, 31, 34, 54, 58, 70, 79, 93, 113, 129, 141, 154 [best: 1000] 712964571136
11, 31, 34, 54, 58, 71, 78, 87, 95, 121, 128, 167 [best: 1000] 717259538432
11, 31, 34, 54, 58, 73, 76, 103, 104, 137, 143, 171 [best: 1000] 721554505728
11, 31, 34, 54, 58, 75, 83, 91, 135, 142, 163, 176 [best: 1000] 725849473024
11, 31, 34, 54, 58, 78, 82, 93, 126, 147, 174, 180 [best: 1000] 730144440320
11, 31, 34, 54, 58, 81, 84, 100, 145, 150, 152, 201 [best: 1000] 734439407616
11, 31, 34, 54, 58, 82, 91, 101, 152, 166, 174, 209 [best: 1000] 738734374912
11, 31, 34, 54, 59, 60, 62, 77, 120, 153, 206, 226 [best: 1000] 743029342208
11, 31, 34, 54, 59, 60, 86, 92, 106, 133, 134, 147 [best: 1000] 747324309504
11, 31, 34, 54, 59, 61, 90, 113, 121, 140, 161, 178 [best: 1000] 751619276800
11, 31, 34, 54, 59, 62, 86, 88, 92, 105, 144, 200 [best: 1000] 755914244096
11, 31, 34, 54, 59, 63, 79, 103, 116, 174, 200, 219 [best: 1000] 760209211392
11, 31, 34, 54, 59, 65, 66, 76, 82, 112, 113, 140 [best: 1000] 764504178688
11, 31, 34, 54, 59, 65, 92, 93, 119, 133, 134, 205 [best: 1000] 768799145984
11, 31, 34, 54, 59, 66, 90, 96, 99, 117, 167, 196 [best: 1000] 773094113280
11, 31, 34, 54, 59, 67, 92, 126, 129, 140, 141, 211 [best: 1000] 777389080576
11, 31, 34, 54, 59, 68, 82, 86, 98, 133, 168, 181 [best: 1000] 781684047872
11, 31, 34, 54, 59, 69, 71, 80, 116, 123, 124, 159 [best: 1000] 785979015168
11, 31, 34, 54, 59, 70, 78, 111, 114, 144, 157, 177 [best: 1000] 790273982464
11, 31, 34, 54, 59, 72, 74, 102, 109, 113, 128, 154 [best: 1000] 794568949760
11, 31, 34, 54, 59, 75, 88, 106, 146, 148, 175, 216 [best: 1000] 798863917056
11, 31, 34, 54, 59, 77, 91, 93, 98, 111, 139, 159 [best: 1000] 803158884352
11, 31, 34, 54, 59, 79, 87, 115, 143, 144, 162, 188 [best: 1000] 807453851648
11, 31, 34, 54, 60, 61, 67, 101, 109, 113, 149, 202 [best: 1000] 811748818944
11, 31, 34, 54, 60, 61, 85, 90, 95, 120, 154, 205 [best: 1000] 816043786240
11, 31, 34, 54, 60, 62, 70, 77, 87, 128, 165, 215 [best: 1000] 820338753536
11, 31, 34, 54, 60, 63, 65, 96, 108, 117, 123, 168 [best: 1000] 824633720832
11, 31, 34, 54, 60, 63, 82, 83, 113, 166, 184, 209 [best: 1000] 828928688128
11, 31, 34, 54, 60, 64, 70, 76, 97, 114, 134, 149 [best: 1000] 833223655424
11, 31, 34, 54, 60, 65, 67, 79, 86, 106, 157, 215, 229 [best: 1000] 837518622720
11, 31, 34, 54, 60, 65, 81, 93, 103, 123, 124, 190 [best: 1000] 841813590016
11, 31, 34, 54, 60, 66, 68, 72, 84, 92, 131, 234 [best: 1000] 846108557312
11, 31, 34, 54, 60, 66, 85, 100, 118, 127, 135, 168 [best: 1000] 850403524608
11, 31, 34, 54, 60, 67, 71, 93, 106, 136, 172, 191 [best: 1000] 854698491904
11, 31, 34, 54, 60, 67, 82, 104, 107, 125, 133, 174, 203 [best: 1000] 858993459200
11, 31, 34, 54, 60, 67, 102, 106, 115, 151, 202, 239 [best: 1000] 863288426496
11, 31, 34, 54, 60, 68, 79, 102, 110, 157, 164, 168 [best: 1000] 867583393792
11, 31, 34, 54, 60, 68, 95, 118, 135, 142, 179, 224 [best: 1000] 871878361088
11, 31, 34, 54, 60, 69, 80, 89, 143, 160, 175, 194 [best: 1000] 876173328384
11, 31, 34, 54, 60, 70, 74, 83, 89, 141, 180, 191 [best: 1000] 880468295680
11, 31, 34, 54, 60, 70, 90, 104, 133, 161, 178, 179 [best: 1000] 884763262976
11, 31, 34, 54, 60, 71, 85, 96, 117, 135, 170, 182 [best: 1000] 889058230272
11, 31, 34, 54, 60, 72, 92, 95, 103, 131, 184, 189 [best: 1000] 893353197568
11, 31, 34, 54, 60, 75, 82, 108, 113, 115, 148, 179 [best: 1000] 897648164864
11, 31, 34, 54, 60, 77, 86, 88, 96, 115, 147, 198 [best: 1000] 901943132160
11, 31, 34, 54, 60, 78, 95, 111, 132, 159, 173, 175 [best: 1000] 906238099456
11, 31, 34, 54, 60, 80, 84, 93, 152, 175, 202, 225 [best: 1000] 910533066752
11, 31, 34, 54, 60, 81, 82, 110, 132, 146, 160, 220, 240 [best: 1000] 914828034048
11, 31, 34, 54, 60, 81, 108, 113, 138, 157, 191, 217 [best: 1000] 919123001344
11, 31, 34, 54, 60, 83, 97, 115, 136, 159, 192, 204 [best: 1000] 923417968640
11, 31, 34, 54, 60, 85, 89, 107, 117, 121, 127, 141 [best: 1000] 927712935936
11, 31, 34, 54, 60, 88, 101, 116, 143, 165, 223, 230 [best: 1000] 932007903232
11, 31, 34, 54, 61, 62, 68, 70, 139, 144, 148, 158 [best: 1000] 936302870528
11, 31, 34, 54, 61, 62, 84, 106, 113, 142, 161, 191 [best: 1000] 940597837824
11, 31, 34, 54, 61, 63, 71, 80, 128, 135, 148, 163 [best: 1000] 944892805120
11, 31, 34, 54, 61, 64, 66, 72, 112, 127, 155, 182 [best: 1000] 949187772416
11, 31, 34, 54, 61, 64, 95, 102, 106, 114, 158, 198, 212 [best: 1000] 953482739712
11, 31, 34, 54, 61, 65, 79, 114, 147, 171, 194 [best: 1000] 957777707008
11, 31, 34, 54, 61, 66, 68, 106, 114, 147, 160, 226 [best: 1000] 962072674304
11, 31, 34, 54, 61, 66, 89, 92, 94, 135, 140, 175 [best: 1000] 966367641600
11, 31, 34, 54, 61, 67, 79, 95, 107, 129, 154, 169 [best: 1000] 970662608896
11, 31, 34, 54, 61, 68, 71, 74, 100, 169, 170, 209 [best: 1000] 974957576192
11, 31, 34, 54, 61, 68, 81, 96, 98, 129, 170, 174 [best: 1000] 979252543488
11, 31, 34, 54, 61, 68, 95, 102, 144, 162, 198, 249 [best: 1000] 983547510784
11, 31, 34, 54, 61, 69, 78, 91, 92, 123, 124, 169 [best: 1000] 987842478080
11, 31, 34, 54, 61, 70, 77, 86, 89, 109, 162, 174 [best: 1000] 992137445376
11, 31, 34, 54, 61, 71, 73, 80, 81, 92, 105, 135 [best: 1000] 996432412672
11, 31, 34, 54, 61, 72, 80, 109, 123, 145, 194, 257 [best: 1000] 1000727379968
11, 31, 34, 54, 61, 74, 80, 100, 119, 139, 167, 186 [best: 1000] 1005022347264
11, 31, 34, 54, 61, 76, 80, 89, 119, 147, 179, 181 [best: 1000] 1009317314560
11, 31, 34, 54, 61, 77, 89, 93, 105, 122, 135, 202 [best: 1000] 1013612281856
11, 31, 34, 54, 61, 78, 88, 89, 139, 179, 180, 201 [best: 1000] 1017907249152
11, 31, 34, 54, 61, 80, 83, 96, 134, 144, 147, 226 [best: 1000] 1022202216448
11, 31, 34, 54, 61, 80, 97, 108, 139, 148, 187, 203 [best: 1000] 1026497183744
11, 31, 34, 54, 61, 82, 85, 93, 111, 131, 152, 156 [best: 1000] 1030792151040
11, 31, 34, 54, 61, 83, 96, 103, 110, 116, 124, 140 [best: 1000] 1035087118336
11, 31, 34, 54, 62, 63, 66, 79, 94, 95, 170, 177 [best: 1000] 1039382085632
11, 31, 34, 54, 62, 63, 82, 98, 126, 169, 185, 236 [best: 1000] 1043677052928
11, 31, 34, 54, 62, 64, 70, 72, 81, 105, 152, 156 [best: 1000] 1047972020224
11, 31, 34, 54, 62, 65, 67, 75, 88, 139, 154, 203 [best: 1000] 1052266987520
11, 31, 34, 54, 62, 65, 79, 105, 141, 166, 189, 202 [best: 1000] 1056561954816
11, 31, 34, 54, 62, 65, 101, 128, 130, 148, 157, 216 [best: 1000] 1060856922112
11, 31, 34, 54, 62, 66, 79, 99, 134, 144, 154, 192 [best: 1000] 1065151889408
11, 31, 34, 54, 62, 67, 68, 102, 124, 126, 151, 160, 234 [best: 1000] 1069446856704
11, 31, 34, 54, 62, 67, 79, 107, 143, 146, 172, 179 [best: 1000] 1073741824000
11, 31, 34, 54, 62, 67, 89, 105, 127, 132, 154, 162, 209 [best: 1000] 1078036791296
11, 31, 34, 54, 62, 68, 70, 76, 83, 150, 160, 180 [best: 1000] 1082331758592
11, 31, 34, 54, 62, 68, 82, 101, 102, 107, 113, 223 [best: 1000] 1086626725888
11, 31, 34, 54, 62, 68, 101, 138, 163, 170, 202, 213 [best: 1000] 1090921693184
11, 31, 34, 54, 62, 69, 85, 96, 119, 153, 184, 194 [best: 1000] 1095216660480
11, 31, 34, 54, 62, 70, 79, 106, 125, 132, 137, 195 [best: 1000] 1099511627776
11, 31, 34, 54, 62, 70, 110, 115, 135, 160, 183, 232 [best: 1000] 1103806595072
11, 31, 34, 54, 62, 72, 78, 80, 131, 144, 211, 223 [best: 1000] 1108101562368
11, 31, 34, 54, 62, 73, 89, 92, 106, 140, 168, 196 [best: 1000] 1112396529664
11, 31, 34, 54, 62, 76, 85, 107, 108, 136, 166, 220 [best: 1000] 1116691496960
11, 31, 34, 54, 62, 77, 101, 120, 127, 136, 142, 151 [best: 1000] 1120986464256
11, 31, 34, 54, 62, 79, 81, 97, 124, 160, 202, 221 [best: 1000] 1125281431552
11, 31, 34, 54, 62, 80, 88, 126, 139, 144, 159, 186 [best: 1000] 1129576398848
11, 31, 34, 54, 62, 81, 86, 87, 105, 122, 132, 162 [best: 1000] 1133871366144
11, 31, 34, 54, 62, 82, 84, 122, 128, 142, 179, 195 [best: 1000] 1138166333440
11, 31, 34, 54, 62, 83, 99, 137, 158, 170, 189, 202 [best: 1000] 1142461300736
11, 31, 34, 54, 62, 85, 93, 109, 114, 116, 130, 135 [best: 1000] 1146756268032
11, 31, 34, 54, 62, 88, 102, 104, 116, 119, 154, 233 [best: 1000] 1151051235328
11, 31, 34, 54, 63, 64, 70, 73, 105, 164, 171, 189 [best: 1000] 1155346202624
11, 31, 34, 54, 63, 64, 93, 97, 124, 157, 158, 204 [best: 1000] 1159641169920
11, 31, 34, 54, 63, 65, 74, 91, 122, 131, 169, 190 [best: 1000] 1163936137216
11, 31, 34, 54, 63, 65, 92, 108, 121, 138, 150, 217 [best: 1000] 1168231104512
11, 31, 34, 54, 63, 66, 77, 79, 131, 141, 143 [best: 1000] 1172526071808
11, 31, 34, 54, 63, 67, 71, 77, 92, 138, 146, 175 [best: 1000] 1176821039104
11, 31, 34, 54, 63, 67, 83, 95, 115, 175, 201, 222, 230 [best: 1000] 1181116006400
11, 31, 34, 54, 63, 68, 70, 129, 142, 192, 201, 212 [best: 1000] 1185410973696
11, 31, 34, 54, 63, 68, 79, 91, 136, 166, 191, 192 [best: 1000] 1189705940992
11, 31, 34, 54, 63, 68, 91, 117, 163, 166, 199 [best: 1000] 1194000908288
11, 31, 34, 54, 63, 69, 72, 73, 114, 142, 196, 228 [best: 1000] 1198295875584
11, 31, 34, 54, 63, 69, 89, 105, 131, 132, 165, 208 [best: 1000] 1202590842880
11, 31, 34, 54, 63, 70, 79, 87, 103, 186, 196, 202 [best: 1000] 1206885810176
11, 31, 34, 54, 63, 70, 108, 109, 131, 164, 184, 194 [best: 1000] 1211180777472
11, 31, 34, 54, 63, 72, 73, 94, 108, 126, 149, 204 [best: 1000] 1215475744768
11, 31, 34, 54, 63, 73, 74, 99, 112, 117, 122, 155 [best: 1000] 1219770712064
11, 31, 34, 54, 63, 74, 78, 102, 112, 137, 163, 176 [best: 1000] 1224065679360
11, 31, 34, 54, 63, 75, 94, 102, 120, 170, 194, 206 [best: 1000] 1228360646656
11, 31, 34, 54, 63, 76, 91, 118, 123, 135, 175, 191 [best: 1000] 1232655613952
11, 31, 34, 54, 63, 77, 81, 106, 110, 113, 134, 147 [best: 1000] 1236950581248
11, 31, 34, 54, 63, 77, 103, 106, 107, 137, 162, 199 [best: 1000] 1241245548544
11, 31, 34, 54, 63, 79, 81, 105, 109, 138, 175, 209 [best: 1000] 1245540515840
11, 31, 34, 54, 63, 79, 91, 114, 122, 138, 175, 226 [best: 1000] 1249835483136
11, 31, 34, 54, 63, 79, 105, 124, 147, 156, 181, 256 [best: 1000] 1254130450432
11, 31, 34, 54, 63, 81, 85, 99, 104, 137, 145, 174 [best: 1000] 1258425417728
11, 31, 34, 54, 63, 82, 95, 113, 121, 158, 168, 176 [best: 1000] 1262720385024
11, 31, 34, 54, 63, 84, 100, 111, 128, 133, 144, 188 [best: 1000] 1267015352320
11, 31, 34, 54, 64, 65, 71, 108, 129, 162, 176, 199 [best: 1000] 1271310319616
11, 31, 34, 54, 64, 65, 93, 96, 104, 108, 177, 210, 211 [best: 1000] 1275605286912
11, 31, 34, 54, 64, 66, 82, 86, 94, 119, 132, 158 [best: 1000] 1279900254208
11, 31, 34, 54, 64, 67, 79, 83, 102, 124, 125, 209 [best: 1000] 1284195221504
11, 31, 34, 54, 64, 68, 73, 80, 94, 132, 149, 210 [best: 1000] 1288490188800
11, 31, 34, 54, 64, 68, 84, 92, 138, 179, 205, 217 [best: 1000] 1292785156096
11, 31, 34, 54, 64, 69, 70, 90, 96, 115, 126, 190 [best: 1000] 1297080123392
11, 31, 34, 54, 64, 70, 76, 110, 114, 116, 133, 235 [best: 1000] 1301375090688
11, 31, 34, 54, 64, 71, 74, 90, 102, 124, 136, 199 [best: 1000] 1305670057984
11, 31, 34, 54, 64, 72, 85, 96, 97, 122, 142, 178 [best: 1000] 1309965025280
11, 31, 34, 54, 64, 75, 76, 87, 133, 143, 179, 187 [best: 1000] 1314259992576
11, 31, 34, 54, 64, 76, 92, 95, 99, 106, 109, 122 [best: 1000] 1318554959872
11, 31, 34, 54, 64, 77, 98, 123, 130, 147, 177, 199 [best: 1000] 1322849927168
11, 31, 34, 54, 64, 79, 86, 127, 149, 183, 188, 197 [best: 1000] 1327144894464
11, 31, 34, 54, 64, 80, 86, 107, 130, 158, 168, 198 [best: 1000] 1331439861760
11, 31, 34, 54, 65, 66, 68, 82, 99, 134, 160, 184 [best: 1000] 1335734829056
11, 31, 34, 54, 65, 66, 82, 83, 96, 110, 154, 162 [best: 1000] 1340029796352
11, 31, 34, 54, 65, 66, 106, 115, 118, 143, 182, 188 [best: 1000] 1344324763648
11, 31, 34, 54, 65, 67, 76, 108, 116, 120, 162, 169 [best: 1000] 1348619730944
11, 31, 34, 54, 65, 67, 86, 102, 123, 132, 180, 228 [best: 1000] 1352914698240
11, 31, 34, 54, 65, 67, 107, 124, 158, 171, 217, 257 [best: 1000] 1357209665536
11, 31, 34, 54, 65, 68, 77, 108, 109, 160, 194, 198 [best: 1000] 1361504632832
11, 31, 34, 54, 65, 68, 88, 104, 129, 141, 142, 187 [best: 1000] 1365799600128
11, 31, 34, 54, 65, 69, 70, 79, 110, 117, 153, 172 [best: 1000] 1370094567424
11, 31, 34, 54, 65, 69, 82, 137, 145, 164, 190, 192 [best: 1000] 1374389534720
11, 31, 34, 54, 65, 69, 106, 127, 131, 135, 145, 194 [best: 1000] 1378684502016
11, 31, 34, 54, 65, 70, 86, 128, 133, 135, 159, 198 [best: 1000] 1382979469312
11, 31, 34, 54, 65, 71, 81, 89, 104, 132, 157, 172 [best: 1000] 1387274436608
11, 31, 34, 54, 65, 72, 78, 84, 97, 114, 132, 186 [best: 1000] 1391569403904
11, 31, 34, 54, 65, 72, 107, 113, 134, 136, 192, 209 [best: 1000] 1395864371200
11, 31, 34, 54, 65, 73, 100, 120, 129, 142, 188 [best: 1000] 1400159338496
11, 31, 34, 54, 65, 75, 80, 94, 126, 142, 152, 162 [best: 1000] 1404454305792
11, 31, 34, 54, 65, 76, 95, 100, 130, 135, 154, 186 [best: 1000] 1408749273088
11, 31, 34, 54, 65, 78, 80, 106, 121, 131, 146, 175 [best: 1000] 1413044240384
11, 31, 34, 54, 65, 79, 89, 110, 132, 171, 173, 191 [best: 1000] 1417339207680
11, 31, 34, 54, 65, 80, 86, 88, 102, 144, 152, 182 [best: 1000] 1421634174976
11, 31, 34, 54, 65, 81, 83, 115, 117, 133, 189, 229 [best: 1000] 1425929142272
11, 31, 34, 54, 65, 82, 86, 112, 116, 137, 172, 198 [best: 1000] 1430224109568
11, 31, 34, 54, 65, 82, 103, 111, 120, 156, 181, 191 [best: 1000] 1434519076864
11, 31, 34, 54, 65, 83, 91, 100, 123, 151, 163, 186 [best: 1000] 1438814044160
11, 31, 34, 54, 65, 83, 110, 126, 136, 168, 175 [best: 1000] 1443109011456
11, 31, 34, 54, 65, 84, 111, 128, 139, 151, 171, 173 [best: 1000] 1447403978752
11, 31, 34, 54, 65, 86, 97, 129, 133, 140, 162, 202 [best: 1000] 1451698946048
11, 31, 34, 54, 65, 88, 98, 116, 150, 197, 215, 241, 274 [best: 1000] 1455993913344
11, 31, 34, 54, 65, 91, 97, 106, 116, 123, 184, 230 [best: 1000] 1460288880640
11, 31, 34, 54, 66, 67, 69, 73, 87, 124, 133, 179 [best: 1000] 1464583847936
11, 31, 34, 54, 66, 67, 79, 89, 94, 154, 183, 237 [best: 1000] 1468878815232
11, 31, 34, 54, 66, 68, 70, 79, 84, 91, 111, 113 [best: 1000] 1473173782528
11, 31, 34, 54, 66, 68, 78, 82, 97, 144, 193, 203 [best: 1000] 1477468749824
11, 31, 34, 54, 66, 68, 91, 102, 121, 138, 210, 245 [best: 1000] 1481763717120
11, 31, 34, 54, 66, 69, 74, 78, 140, 143, 200, 275 [best: 1000] 1486058684416
11, 31, 34, 54, 66, 69, 93, 95, 136, 145, 195, 205 [best: 1000] 1490353651712
11, 31, 34, 54, 66, 70, 78, 132, 134, 135, 145, 209 [best: 1000] 1494648619008
11, 31, 34, 54, 66, 71, 72, 90, 113, 116, 160, 188 [best: 1000] 1498943586304
11, 31, 34, 54, 66, 72, 75, 90, 122, 131, 169, 211 [best: 1000] 1503238553600
11, 31, 34, 54, 66, 73, 77, 93, 107, 140, 187, 196 [best: 1000] 1507533520896
11, 31, 34, 54, 66, 74, 77, 129, 139, 158, 200, 201 [best: 1000] 1511828488192
11, 31, 34, 54, 66, 74, 102, 129, 148, 155, 158, 205 [best: 1000] 1516123455488
11, 31, 34, 54, 66, 75, 92, 119, 138, 158, 165, 197 [best: 1000] 1520418422784
11, 31, 34, 54, 66, 76, 100, 126, 133, 160, 171, 191 [best: 1000] 1524713390080
11, 31, 34, 54, 66, 77, 94, 115, 117, 170, 227, 268 [best: 1000] 1529008357376
11, 31, 34, 54, 66, 78, 87, 137, 152, 155, 203, 209 [best: 1000] 1533303324672
11, 31, 34, 54, 66, 78, 103, 110, 135, 144, 160, 196 [best: 1000] 1537598291968
11, 31, 34, 54, 66, 80, 93, 106, 141, 145, 152, 234 [best: 1000] 1541893259264
11, 31, 34, 54, 66, 83, 93, 114, 116, 127, 182, 188 [best: 1000] 1546188226560
11, 31, 34, 54, 67, 68, 73, 89, 93, 118, 184, 213 [best: 1000] 1550483193856
11, 31, 34, 54, 67, 68, 79, 82, 124, 142, 170, 221 [best: 1000] 1554778161152
11, 31, 34, 54, 67, 68, 87, 108, 143, 170, 226, 245 [best: 1000] 1559073128448
11, 31, 34, 54, 67, 68, 99, 100, 112, 202, 229, 268 [best: 1000] 1563368095744
11, 31, 34, 54, 67, 69, 74, 79, 95, 96, 100, 108 [best: 1000] 1567663063040
11, 31, 34, 54, 67, 70, 71, 72, 76, 100, 144, 207 [best: 1000] 1571958030336
11, 31, 34, 54, 67, 70, 79, 96, 141, 145, 150, 203 [best: 1000] 1576252997632
11, 31, 34, 54, 67, 70, 92, 96, 112, 122, 188, 228 [best: 1000] 1580547964928
11, 31, 34, 54, 67, 71, 76, 85, 86, 131, 164, 166 [best: 1000] 1584842932224
11, 31, 34, 54, 67, 72, 75, 81, 152, 166, 189, 229 [best: 1000] 1589137899520
11, 31, 34, 54, 67, 72, 98, 125, 146, 156, 164, 218 [best: 1000] 1593432866816
11, 31, 34, 54, 67, 73, 88, 95, 126, 127, 139, 164 [best: 1000] 1597727834112
11, 31, 34, 54, 67, 74, 81, 86, 120, 156, 183, 210 [best: 1000] 1602022801408
11, 31, 34, 54, 67, 75, 77, 81, 95, 123, 160, 188 [best: 1000] 1606317768704
11, 31, 34, 54, 67, 75, 89, 111, 144, 175, 186, 216 [best: 1000] 1610612736000
11, 31, 34, 54, 67, 76, 77, 89, 123, 141, 159, 163 [best: 1000] 1614907703296
11, 31, 34, 54, 67, 76, 97, 108, 129, 131, 159, 238 [best: 1000] 1619202670592
11, 31, 34, 54, 67, 78, 79, 81, 88, 147, 166, 201 [best: 1000] 1623497637888
11, 31, 34, 54, 67, 78, 93, 98, 111, 155, 179, 200 [best: 1000] 1627792605184
11, 31, 34, 54, 67, 79, 83, 123, 130, 170, 171, 204 [best: 1000] 1632087572480
11, 31, 34, 54, 67, 81, 82, 86, 98, 123, 168, 224 [best: 1000] 1636382539776
11, 31, 34, 54, 67, 81, 112, 120, 123, 140, 176, 205 [best: 1000] 1640677507072
11, 31, 34, 54, 67, 82, 102, 112, 116, 120, 160, 191 [best: 1000] 1644972474368
11, 31, 34, 54, 67, 83, 93, 100, 150, 165, 191, 204 [best: 1000] 1649267441664
11, 31, 34, 54, 67, 83, 103, 126, 142, 168, 202, 204 [best: 1000] 1653562408960
11, 31, 34, 54, 67, 85, 91, 94, 133, 140, 183, 201 [best: 1000] 1657857376256
11, 31, 34, 54, 67, 87, 95, 109, 123, 158, 182, 203 [best: 1000] 1662152343552
11, 31, 34, 54, 67, 90, 94, 113, 117, 125, 149, 195 [best: 1000] 1666447310848
11, 31, 34, 54, 68, 69, 75, 90, 120, 121, 143, 181 [best: 1000] 1670742278144
11, 31, 34, 54, 68, 69, 82, 104, 109, 136, 218, 257 [best: 1000] 1675037245440
11, 31, 34, 54, 68, 69, 93, 102, 121, 154, 211, 217 [best: 1000] 1679332212736
11, 31, 34, 54, 68, 70, 73, 96, 103, 155, 156, 157 [best: 1000] 1683627180032
11, 31, 34, 54, 68, 70, 82, 112, 120, 135, 221, 239 [best: 1000] 1687922147328
11, 31, 34, 54, 68, 70, 99, 103, 111, 139, 155, 226 [best: 1000] 1692217114624
11, 31, 34, 54, 68, 71, 78, 107, 108, 150, 179, 193 [best: 1000] 1696512081920
11, 31, 34, 54, 68, 71, 93, 122, 124, 132, 138, 197 [best: 1000] 1700807049216
11, 31, 34, 54, 68, 72, 79, 104, 155, 177, 181, 215 [best: 1000] 1705102016512
11, 31, 34, 54, 68, 72, 94, 102, 121, 145, 180, 192 [best: 1000] 1709396983808
11, 31, 34, 54, 68, 73, 79, 84, 102, 113, 118, 128 [best: 1000] 1713691951104
11, 31, 34, 54, 68, 73, 88, 103, 104, 107, 146, 212 [best: 1000] 1717986918400
11, 31, 34, 54, 68, 73, 111, 120, 124, 148, 157, 178 [best: 1000] 1722281885696
11, 31, 34, 54, 68, 74, 82, 94, 159, 173, 205, 206 [best: 1000] 1726576852992
11, 31, 34, 54, 68, 74, 96, 114, 122, 151, 180, 193 [best: 1000] 1730871820288
11, 31, 34, 54, 68, 75, 80, 84, 102, 131, 134, 138 [best: 1000] 1735166787584
11, 31, 34, 54, 68, 75, 93, 105, 164, 179, 192, 215 [best: 1000] 1739461754880
11, 31, 34, 54, 68, 76, 80, 103, 125, 131, 207, 252 [best: 1000] 1743756722176
11, 31, 34, 54, 68, 76, 92, 121, 131, 149, 179, 215 [best: 1000] 1748051689472
11, 31, 34, 54, 68, 77, 80, 96, 111, 154, 160, 191 [best: 1000] 1752346656768
11, 31, 34, 54, 68, 77, 90, 108, 151, 158, 184, 222 [best: 1000] 1756641624064
11, 31, 34, 54, 68, 77, 116, 124, 128, 144, 172, 183 [best: 1000] 1760936591360
11, 31, 34, 54, 68, 78, 91, 105, 136, 137, 155, 181 [best: 1000] 1765231558656
11, 31, 34, 54, 68, 79, 83, 87, 102, 126, 127, 259 [best: 1000] 1769526525952
11, 31, 34, 54, 68, 79, 100, 138, 167, 172, 194, 236 [best: 1000] 1773821493248
11, 31, 34, 54, 68, 80, 84, 125, 144, 163, 201, 247 [best: 1000] 1778116460544
11, 31, 34, 54, 68, 80, 103, 104, 134, 172, 173, 243 [best: 1000] 1782411427840
11, 31, 34, 54, 68, 81, 89, 90, 143, 169, 176, 216 [best: 1000] 1786706395136
11, 31, 34, 54, 68, 82, 83, 126, 156, 219, 235, 260 [best: 1000] 1791001362432
11, 31, 34, 54, 68, 82, 92, 116, 135, 166, 173, 209 [best: 1000] 1795296329728
11, 31, 34, 54, 68, 82, 103, 106, 131, 140, 174, 232 [best: 1000] 1799591297024
11, 31, 34, 54, 68, 83, 86, 99, 107, 156, 165, 192 [best: 1000] 1803886264320
11, 31, 34, 54, 68, 83, 95, 103, 126, 166, 196, 217 [best: 1000] 1808181231616
11, 31, 34, 54, 68, 83, 105, 116, 122, 138, 161, 185 [best: 1000] 1812476198912
11, 31, 34, 54, 68, 84, 91, 104, 143, 154, 173, 199 [best: 1000] 1816771166208
11, 31, 34, 54, 68, 85, 89, 109, 125, 143, 168, 179 [best: 1000] 1821066133504
11, 31, 34, 54, 68, 85, 111, 115, 122, 159, 195, 204 [best: 1000] 1825361100800
11, 31, 34, 54, 68, 86, 111, 124, 159, 175, 207, 210 [best: 1000] 1829656068096
11, 31, 34, 54, 68, 88, 100, 101, 115, 170, 192, 209 [best: 1000] 1833951035392
11, 31, 34, 54, 68, 90, 93, 112, 114, 143, 162, 179 [best: 1000] 1838246002688
11, 31, 34, 54, 68, 91, 103, 115, 125, 166, 201, 209 [best: 1000] 1842540969984
11, 31, 34, 54, 68, 93, 97, 114, 119, 177, 191, 211 [best: 1000] 1846835937280
11, 31, 34, 54, 69, 70, 77, 89, 108, 150, 154, 172 [best: 1000] 1851130904576
11, 31, 34, 54, 69, 70, 94, 109, 128, 140, 151, 202 [best: 1000] 1855425871872
11, 31, 34, 54, 69, 71, 91, 93, 107, 149, 175, 217 [best: 1000] 1859720839168
11, 31, 34, 54, 69, 72, 99, 110, 130, 145, 170, 192 [best: 1000] 1864015806464
11, 31, 34, 54, 69, 73, 94, 122, 136, 144, 182, 183 [best: 1000] 1868310773760
11, 31, 34, 54, 69, 74, 98, 117, 119, 130, 188, 204 [best: 1000] 1872605741056
11, 31, 34, 54, 69, 75, 90, 117, 132, 134, 163, 211 [best: 1000] 1876900708352
11, 31, 34, 54, 69, 76, 81, 93, 126, 138, 147, 170 [best: 1000] 1881195675648
11, 31, 34, 54, 69, 77, 87, 99, 107, 116, 167, 181 [best: 1000] 1885490642944
11, 31, 34, 54, 69, 78, 92, 106, 123, 141, 189, 198 [best: 1000] 1889785610240
11, 31, 34, 54, 69, 79, 95, 113, 120, 161, 167, 212 [best: 1000] 1894080577536
11, 31, 34, 54, 69, 81, 93, 108, 120, 126, 131, 188 [best: 1000] 1898375544832
11, 31, 34, 54, 69, 83, 85, 109, 138, 143, 185, 230 [best: 1000] 1902670512128
11, 31, 34, 54, 69, 83, 98, 125, 128, 129, 169, 235 [best: 1000] 1906965479424
11, 31, 34, 54, 69, 85, 94, 111, 131, 166, 194, 195, 232 [best: 1000] 1911260446720
11, 31, 34, 54, 69, 89, 95, 106, 109, 124, 144, 155 [best: 1000] 1915555414016
11, 31, 34, 54, 70, 71, 82, 100, 149, 154, 189, 209 [best: 1000] 1919850381312
11, 31, 34, 54, 70, 72, 78, 99, 128, 160, 171, 196 [best: 1000] 1924145348608
11, 31, 34, 54, 70, 73, 76, 85, 108, 135, 148, 173 [best: 1000] 1928440315904
11, 31, 34, 54, 70, 73, 95, 96, 106, 133, 140, 195 [best: 1000] 1932735283200
11, 31, 34, 54, 70, 74, 82, 103, 105, 120, 192, 213 [best: 1000] 1937030250496
11, 31, 34, 54, 70, 74, 112, 126, 138, 156, 173, 201 [best: 1000] 1941325217792
11, 31, 34, 54, 70, 76, 77, 84, 144, 173, 179, 183 [best: 1000] 1945620185088
11, 31, 34, 54, 70, 76, 103, 119, 135, 200, 221, 255 [best: 1000] 1949915152384
11, 31, 34, 54, 70, 77, 91, 122, 150, 172, 180, 194 [best: 1000] 1954210119680
11, 31, 34, 54, 70, 78, 80, 89, 135, 148, 154, 165 [best: 1000] 1958505086976
11, 31, 34, 54, 70, 79, 84, 100, 107, 125, 190, 195 [best: 1000] 1962800054272
11, 31, 34, 54, 70, 80, 101, 108, 114, 118, 184, 190 [best: 1000] 1967095021568
11, 31, 34, 54, 70, 82, 90, 96, 101, 189, 221, 249 [best: 1000] 1971389988864
11, 31, 34, 54, 70, 82, 107, 130, 142, 157, 162, 169 [best: 1000] 1975684956160
11, 31, 34, 54, 70, 83, 95, 96, 112, 117, 124, 193 [best: 1000] 1979979923456
11, 31, 34, 54, 70, 84, 86, 97, 118, 138, 141, 155 [best: 1000] 1984274890752
11, 31, 34, 54, 70, 85, 104, 111, 114, 119, 121, 200 [best: 1000] 1988569858048
11, 31, 34, 54, 70, 89, 96, 98, 129, 144, 160, 208 [best: 1000] 1992864825344
11, 31, 34, 54, 70, 92, 95, 117, 120, 146, 198, 256, 268 [best: 1000] 1997159792640
11, 31, 34, 54, 71, 72, 91, 98, 106, 128, 138, 201 [best: 1000] 2001454759936
11, 31, 34, 54, 71, 73, 95, 127, 155, 159, 167, 174 [best: 1000] 2005749727232
11, 31, 34, 54, 71, 75, 79, 92, 133, 134, 171, 189 [best: 1000] 2010044694528
11, 31, 34, 54, 71, 76, 94, 132, 154, 177, 214, 265 [best: 1000] 2014339661824
11, 31, 34, 54, 71, 78, 86, 109, 133, 155, 160, 193 [best: 1000] 2018634629120
11, 31, 34, 54, 71, 80, 83, 95, 118, 128, 132, 241 [best: 1000] 2022929596416
11, 31, 34, 54, 71, 80, 98, 117, 143, 157, 163, 221 [best: 1000] 2027224563712
11, 31, 34, 54, 71, 84, 92, 109, 114, 126, 168, 194 [best: 1000] 2031519531008
11, 31, 34, 54, 72, 74, 79, 83, 108, 169, 185, 224 [best: 1000] 2035814498304
11, 31, 34, 54, 72, 75, 85, 111, 112, 131, 169, 199 [best: 1000] 2040109465600
11, 31, 34, 54, 72, 76, 88, 96, 97, 149, 190, 202 [best: 1000] 2044404432896
11, 31, 34, 54, 72, 78, 86, 88, 110, 145, 164, 220 [best: 1000] 2048699400192
11, 31, 34, 54, 72, 80, 83, 89, 99, 143, 168, 178 [best: 1000] 2052994367488
11, 31, 34, 54, 72, 81, 100, 112, 120, 138, 144, 219 [best: 1000] 2057289334784
11, 31, 34, 54, 72, 83, 84, 89, 129, 150, 188, 200 [best: 1000] 2061584302080
11, 31, 34, 54, 72, 84, 92, 108, 134, 170, 194, 228 [best: 1000] 2065879269376
total chains: 2068997752829
new expressions at chain length:
n sum avg min max
4: 0 15 0 14 15
5: 0 0 0 0 0
6: 0 0 0 0 0
7: 0 0 0 0 0
8: 1 14 14 14 14
9: 18 282 15 9 21
10: 435 7442 17 5 29
11: 12789 236349 18 5 36
12: 438337 8848115 20 2 41
13: 17123521 377232788 22 1 46
14: 750724341 17979084128 23 0 51
15: 36521503975 946662114360 25 0 56
16: 1501774586 39349447998 26 0 59
17: 6025863 179738888 29 4 64
18: 5430 190727 35 11 55
19: 0 0 0 0 0
20: 0 0 0 0 0
21: 0 0 0 0 0
real 250m7.216s
user 248m19.071s
sys 0m2.245s
stderr end
2025-05-01 11:04:23 (4102456): called boinc_finish(0)
</stderr_txt>
]]>
