Task 12036
| Name | batch_88__job_job-005475_1 |
| Workunit | 7603 |
| Created | 27 Apr 2025, 15:41:52 UTC |
| Sent | 28 Apr 2025, 10:49:31 UTC |
| Report deadline | 5 May 2025, 10:49:31 UTC |
| Received | 29 Apr 2025, 10:13:00 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 21598 |
| Run time | 1 hours 18 min 58 sec |
| CPU time | 1 hours 8 min 36 sec |
| Validate state | Valid |
| Credit | 6.94 |
| Device peak FLOPS | 3.15 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 52.74 MB |
| Peak swap size | 1.90 GB |
| Peak disk usage | 336.82 KB |
Stderr output
<core_client_version>8.3.0</core_client_version>
<![CDATA[
<stderr_txt>
, 171, 196 [best: 1000] 498216206336
22, 32, 50, 54, 74, 85, 94, 119, 153, 168, 249 [best: 1000] 502511173632
22, 32, 50, 54, 74, 96, 109, 137, 161, 189, 217 [best: 1000] 506806140928
22, 32, 50, 54, 75, 82, 91, 153, 186, 187, 197 [best: 1000] 511101108224
22, 32, 50, 54, 75, 98, 114, 128, 155, 184, 219 [best: 1000] 515396075520
22, 32, 50, 54, 78, 91, 93, 103, 111, 114, 124 [best: 1000] 519691042816
22, 32, 50, 54, 82, 90, 104, 131, 137, 163, 170 [best: 1000] 523986010112
22, 32, 50, 55, 56, 68, 102, 113, 148, 150, 170 [best: 1000] 528280977408
22, 32, 50, 55, 57, 62, 92, 123, 126, 129, 195 [best: 1000] 532575944704
22, 32, 50, 55, 58, 62, 73, 127, 148, 172, 195 [best: 1000] 536870912000
22, 32, 50, 55, 58, 75, 100, 159, 163, 171, 177, 240 [best: 1000] 541165879296
22, 32, 50, 55, 59, 63, 76, 110, 186, 197, 203, 222 [best: 1000] 545460846592
22, 32, 50, 55, 59, 76, 100, 115, 117, 130, 173, 230 [best: 1000] 549755813888
22, 32, 50, 55, 60, 64, 88, 110, 120, 126, 146 [best: 1000] 554050781184
22, 32, 50, 55, 60, 83, 90, 116, 125, 134, 152 [best: 1000] 558345748480
22, 32, 50, 55, 61, 72, 75, 126, 149, 152, 184 [best: 1000] 562640715776
22, 32, 50, 55, 62, 64, 99, 101, 137, 143, 164 [best: 1000] 566935683072
22, 32, 50, 55, 62, 75, 86, 123, 124, 128, 222 [best: 1000] 571230650368
22, 32, 50, 55, 62, 90, 97, 125, 139, 173, 249 [best: 1000] 575525617664
22, 32, 50, 55, 63, 67, 75, 79, 96, 139, 200 [best: 1000] 579820584960
22, 32, 50, 55, 63, 74, 97, 107, 156, 201, 213 [best: 1000] 584115552256
22, 32, 50, 55, 63, 83, 92, 106, 120, 155, 195 [best: 1000] 588410519552
22, 32, 50, 55, 63, 93, 102, 107, 153, 155, 208 [best: 1000] 592705486848
22, 32, 50, 55, 64, 68, 70, 71, 88, 127, 142 [best: 1000] 597000454144
22, 32, 50, 55, 64, 77, 78, 86, 106, 123, 154 [best: 1000] 601295421440
22, 32, 50, 55, 64, 93, 98, 100, 107, 120, 190 [best: 1000] 605590388736
22, 32, 50, 55, 65, 76, 119, 153, 161, 167, 180 [best: 1000] 609885356032
22, 32, 50, 55, 66, 77, 90, 103, 128, 196, 251 [best: 1000] 614180323328
22, 32, 50, 55, 67, 80, 95, 107, 120, 152, 209 [best: 1000] 618475290624
22, 32, 50, 55, 68, 88, 119, 136, 165, 195, 205 [best: 1000] 622770257920
22, 32, 50, 55, 70, 72, 73, 80, 121, 128, 182 [best: 1000] 627065225216
22, 32, 50, 55, 71, 80, 84, 104, 110, 142, 143 [best: 1000] 631360192512
22, 32, 50, 55, 73, 75, 95, 102, 180, 208, 227 [best: 1000] 635655159808
22, 32, 50, 55, 74, 75, 82, 111, 113, 152, 246 [best: 1000] 639950127104
22, 32, 50, 55, 74, 91, 113, 141, 159, 171, 230 [best: 1000] 644245094400
22, 32, 50, 55, 75, 80, 91, 97, 136, 178, 215 [best: 1000] 648540061696
22, 32, 50, 55, 75, 89, 97, 98, 132, 206, 245 [best: 1000] 652835028992
22, 32, 50, 55, 75, 101, 105, 143, 174, 176, 218, 227 [best: 1000] 657129996288
22, 32, 50, 55, 76, 87, 97, 131, 132, 153, 158, 213 [best: 1000] 661424963584
22, 32, 50, 55, 77, 79, 94, 112, 131, 155, 181 [best: 1000] 665719930880
22, 32, 50, 55, 78, 89, 103, 143, 149, 202, 208 [best: 1000] 670014898176
22, 32, 50, 55, 82, 87, 113, 148, 157, 216, 217 [best: 1000] 674309865472
22, 32, 50, 56, 58, 59, 87, 122, 152, 169, 233, 279 [best: 1000] 678604832768
22, 32, 50, 56, 58, 74, 101, 126, 157, 159, 184, 200 [best: 1000] 682899800064
22, 32, 50, 56, 59, 63, 120, 123, 129, 160, 251, 279 [best: 1000] 687194767360
22, 32, 50, 56, 59, 81, 105, 111, 128, 157, 174, 240, 263 [best: 1000] 691489734656
22, 32, 50, 56, 60, 70, 74, 113, 148, 182, 194 [best: 1000] 695784701952
22, 32, 50, 56, 61, 63, 99, 105, 133, 190, 203 [best: 1000] 700079669248
22, 32, 50, 56, 62, 63, 73, 120, 153, 176, 200 [best: 1000] 704374636544
22, 32, 50, 56, 62, 74, 78, 132, 155, 158, 238 [best: 1000] 708669603840
22, 32, 50, 56, 62, 92, 93, 98, 123, 130, 153 [best: 1000] 712964571136
22, 32, 50, 56, 63, 69, 73, 103, 133, 146, 152 [best: 1000] 717259538432
22, 32, 50, 56, 63, 76, 77, 100, 104, 173 [best: 1000] 721554505728
22, 32, 50, 56, 63, 86, 116, 152, 168, 202, 224, 244 [best: 1000] 725849473024
22, 32, 50, 56, 63, 99, 111, 121, 179, 188, 212 [best: 1000] 730144440320
22, 32, 50, 56, 64, 72, 88, 106, 184, 190, 243 [best: 1000] 734439407616
22, 32, 50, 56, 64, 87, 101, 140, 164, 210, 232 [best: 1000] 738734374912
22, 32, 50, 56, 65, 74, 108, 126, 143, 206, 218 [best: 1000] 743029342208
22, 32, 50, 56, 66, 79, 92, 100, 117, 200, 225 [best: 1000] 747324309504
22, 32, 50, 56, 67, 85, 92, 111, 115, 176, 208 [best: 1000] 751619276800
22, 32, 50, 56, 69, 72, 79, 114, 143, 185, 188 [best: 1000] 755914244096
22, 32, 50, 56, 70, 74, 117, 130, 138, 148, 245 [best: 1000] 760209211392
22, 32, 50, 56, 71, 86, 87, 138, 176, 203, 215, 250 [best: 1000] 764504178688
22, 32, 50, 56, 72, 83, 101, 110, 127, 128, 184 [best: 1000] 768799145984
22, 32, 50, 56, 73, 78, 97, 110, 114, 123, 196 [best: 1000] 773094113280
22, 32, 50, 56, 74, 79, 80, 86, 93, 138, 176, 268 [best: 1000] 777389080576
22, 32, 50, 56, 74, 87, 97, 99, 191, 192, 202 [best: 1000] 781684047872
22, 32, 50, 56, 74, 98, 103, 106, 161, 170, 223 [best: 1000] 785979015168
22, 32, 50, 56, 75, 87, 97, 111, 114, 138, 174 [best: 1000] 790273982464
22, 32, 50, 56, 76, 88, 98, 117, 140, 152, 178 [best: 1000] 794568949760
22, 32, 50, 56, 78, 89, 107, 116, 136, 145, 152 [best: 1000] 798863917056
22, 32, 50, 56, 82, 88, 121, 140, 158, 172, 216 [best: 1000] 803158884352
22, 32, 50, 57, 58, 80, 102, 133, 163, 173, 186 [best: 1000] 807453851648
22, 32, 50, 57, 60, 61, 64, 77, 102, 109, 183 [best: 1000] 811748818944
22, 32, 50, 57, 61, 67, 76, 78, 82, 122, 150 [best: 1000] 816043786240
22, 32, 50, 57, 62, 78, 91, 107, 148, 165, 170 [best: 1000] 820338753536
22, 32, 50, 57, 63, 72, 82, 103, 123, 141, 182 [best: 1000] 824633720832
22, 32, 50, 57, 63, 86, 115, 120, 146, 177, 202 [best: 1000] 828928688128
22, 32, 50, 57, 64, 79, 91, 139, 147, 148, 151 [best: 1000] 833223655424
22, 32, 50, 57, 66, 78, 84, 105, 157, 171, 213 [best: 1000] 837518622720
22, 32, 50, 57, 70, 72, 101, 106, 112, 154, 180 [best: 1000] 841813590016
22, 32, 50, 57, 71, 82, 91, 118, 123, 149, 168 [best: 1000] 846108557312
22, 32, 50, 57, 74, 83, 93, 97, 168, 189, 228 [best: 1000] 850403524608
22, 32, 50, 58, 59, 71, 89, 93, 123, 130, 151 [best: 1000] 854698491904
22, 32, 50, 58, 60, 65, 75, 77, 88, 146, 184 [best: 1000] 858993459200
22, 32, 50, 58, 61, 62, 102, 107, 108, 109, 131 [best: 1000] 863288426496
22, 32, 50, 58, 61, 96, 98, 106, 108, 175, 193, 200 [best: 1000] 867583393792
22, 32, 50, 58, 62, 73, 81, 137, 138, 178, 179 [best: 1000] 871878361088
22, 32, 50, 58, 62, 89, 108, 130, 131, 182, 184, 269 [best: 1000] 876173328384
22, 32, 50, 58, 63, 67, 84, 107, 155, 197, 207 [best: 1000] 880468295680
22, 32, 50, 58, 63, 73, 75, 103, 167, 173, 206 [best: 1000] 884763262976
22, 32, 50, 58, 63, 80, 101, 111, 121, 152, 180, 234 [best: 1000] 889058230272
22, 32, 50, 58, 63, 88, 92, 133, 156, 158, 193 [best: 1000] 893353197568
22, 32, 50, 58, 63, 102, 133, 148, 169, 220, 226 [best: 1000] 897648164864
22, 32, 50, 58, 64, 73, 109, 117, 120, 142, 156 [best: 1000] 901943132160
22, 32, 50, 58, 64, 91, 98, 108, 137, 172, 201 [best: 1000] 906238099456
22, 32, 50, 58, 65, 87, 100, 104, 121, 150, 165 [best: 1000] 910533066752
22, 32, 50, 58, 67, 70, 90, 100, 107, 128, 208 [best: 1000] 914828034048
22, 32, 50, 58, 68, 74, 112, 122, 149, 179, 199 [best: 1000] 919123001344
22, 32, 50, 58, 69, 84, 102, 103, 111, 167, 172 [best: 1000] 923417968640
22, 32, 50, 58, 70, 86, 122, 138, 154 [best: 1000] 927712935936
22, 32, 50, 58, 72, 85, 89, 101, 108, 136, 178 [best: 1000] 932007903232
22, 32, 50, 58, 73, 87, 105, 131, 172, 189, 191, 241 [best: 1000] 936302870528
22, 32, 50, 58, 74, 78, 104, 108, 136, 146, 172 [best: 1000] 940597837824
22, 32, 50, 58, 74, 88, 126, 153, 154, 156, 228 [best: 1000] 944892805120
22, 32, 50, 58, 74, 106, 129, 131, 151, 160, 216 [best: 1000] 949187772416
22, 32, 50, 58, 75, 88, 96, 136, 141, 155, 174, 225 [best: 1000] 953482739712
22, 32, 50, 58, 75, 107, 113, 132, 178, 200, 208, 214, 296 [best: 1000] 957777707008
22, 32, 50, 58, 80, 87, 88, 102, 148, 160, 219 [best: 1000] 962072674304
22, 32, 50, 59, 60, 63, 64, 113, 133, 177, 185 [best: 1000] 966367641600
22, 32, 50, 59, 60, 86, 119, 127, 148, 187, 204 [best: 1000] 970662608896
22, 32, 50, 59, 61, 76, 94, 104, 132, 172, 187 [best: 1000] 974957576192
22, 32, 50, 59, 62, 68, 72, 80, 84, 121, 200 [best: 1000] 979252543488
22, 32, 50, 59, 62, 79, 89, 90, 103, 124, 140 [best: 1000] 983547510784
22, 32, 50, 59, 62, 106, 118, 128, 141, 173, 174 [best: 1000] 987842478080
22, 32, 50, 59, 63, 70, 79, 96, 145, 176 [best: 1000] 992137445376
22, 32, 50, 59, 63, 75, 112, 116, 172, 185, 204 [best: 1000] 996432412672
22, 32, 50, 59, 63, 83, 99, 119, 144, 152, 219 [best: 1000] 1000727379968
22, 32, 50, 59, 63, 91, 105, 121, 139, 171, 215, 241 [best: 1000] 1005022347264
22, 32, 50, 59, 64, 66, 75, 80, 135, 136, 212 [best: 1000] 1009317314560
22, 32, 50, 59, 64, 76, 91, 98, 111, 141, 178 [best: 1000] 1013612281856
22, 32, 50, 59, 64, 95, 97, 153, 162, 165, 172, 194 [best: 1000] 1017907249152
22, 32, 50, 59, 65, 82, 93, 127, 148, 155, 164 [best: 1000] 1022202216448
22, 32, 50, 59, 66, 89, 98, 141, 154, 171, 176 [best: 1000] 1026497183744
22, 32, 50, 59, 68, 69, 79, 89, 136, 138, 147 [best: 1000] 1030792151040
22, 32, 50, 59, 69, 75, 85, 88, 108, 129, 182 [best: 1000] 1035087118336
22, 32, 50, 59, 70, 87, 99, 101, 162, 183, 217 [best: 1000] 1039382085632
22, 32, 50, 59, 72, 75, 107, 110, 114, 165, 210 [best: 1000] 1043677052928
22, 32, 50, 59, 73, 94, 115, 128, 134, 144, 205 [best: 1000] 1047972020224
22, 32, 50, 59, 74, 89, 100, 103, 169, 185, 220 [best: 1000] 1052266987520
22, 32, 50, 59, 75, 79, 93, 101, 123, 135, 206 [best: 1000] 1056561954816
22, 32, 50, 59, 75, 88, 119, 125, 145, 148, 149 [best: 1000] 1060856922112
22, 32, 50, 59, 75, 104, 110, 138, 197, 211, 212 [best: 1000] 1065151889408
22, 32, 50, 59, 76, 88, 95, 119, 135, 187, 212 [best: 1000] 1069446856704
22, 32, 50, 59, 77, 79, 84, 87, 133, 149, 170 [best: 1000] 1073741824000
22, 32, 50, 59, 79, 87, 94, 104, 130, 154, 164 [best: 1000] 1078036791296
22, 32, 50, 60, 61, 66, 69, 74, 91, 136, 139 [best: 1000] 1082331758592
22, 32, 50, 60, 62, 64, 80, 94, 109, 129, 153 [best: 1000] 1086626725888
22, 32, 50, 60, 62, 75, 120, 145, 170, 174, 201, 234 [best: 1000] 1090921693184
22, 32, 50, 60, 62, 101, 112, 139, 158, 160, 200 [best: 1000] 1095216660480
22, 32, 50, 60, 63, 71, 72, 79, 90, 107, 141 [best: 1000] 1099511627776
22, 32, 50, 60, 63, 78, 87, 106, 151, 173, 181 [best: 1000] 1103806595072
22, 32, 50, 60, 63, 88, 102, 106, 132, 157, 207 [best: 1000] 1108101562368
22, 32, 50, 60, 63, 105, 107, 122, 150, 162, 224 [best: 1000] 1112396529664
22, 32, 50, 60, 64, 75, 77, 83, 126, 140, 147 [best: 1000] 1116691496960
22, 32, 50, 60, 64, 95, 111, 138, 151, 153 [best: 1000] 1120986464256
22, 32, 50, 60, 65, 94, 101, 131, 134, 164, 177 [best: 1000] 1125281431552
22, 32, 50, 60, 67, 72, 91, 137, 166, 185, 208 [best: 1000] 1129576398848
22, 32, 50, 60, 68, 74, 122, 153, 154, 178, 203 [best: 1000] 1133871366144
22, 32, 50, 60, 69, 86, 101, 125, 128, 180 [best: 1000] 1138166333440
22, 32, 50, 60, 71, 75, 84, 95, 114, 162, 200 [best: 1000] 1142461300736
22, 32, 50, 60, 72, 77, 79, 97, 123, 149, 218 [best: 1000] 1146756268032
22, 32, 50, 60, 73, 75, 76, 116, 117, 180, 181 [best: 1000] 1151051235328
22, 32, 50, 60, 74, 77, 98, 103, 127, 129, 177 [best: 1000] 1155346202624
22, 32, 50, 60, 74, 87, 105, 119, 176, 190, 196 [best: 1000] 1159641169920
22, 32, 50, 60, 74, 100, 114, 144, 160, 204, 227, 276 [best: 1000] 1163936137216
22, 32, 50, 60, 75, 92, 99, 122, 155, 175, 190, 219 [best: 1000] 1168231104512
22, 32, 50, 60, 76, 90, 112, 113, 136, 201, 219 [best: 1000] 1172526071808
22, 32, 50, 60, 79, 89, 99, 131, 178, 184, 191 [best: 1000] 1176821039104
22, 32, 50, 60, 83, 88, 122, 126, 148, 181, 196 [best: 1000] 1181116006400
22, 32, 50, 61, 62, 77, 89, 104, 135, 197, 237 [best: 1000] 1185410973696
22, 32, 50, 61, 63, 66, 103, 104, 128, 134, 181 [best: 1000] 1189705940992
22, 32, 50, 61, 63, 78, 99, 101, 111, 126, 141 [best: 1000] 1194000908288
22, 32, 50, 61, 63, 95, 96, 99, 104, 131, 168 [best: 1000] 1198295875584
22, 32, 50, 61, 64, 76, 85, 88, 141, 171, 188, 219 [best: 1000] 1202590842880
22, 32, 50, 61, 64, 102, 104, 131, 137, 167, 192 [best: 1000] 1206885810176
22, 32, 50, 61, 66, 89, 90, 137, 149, 150 [best: 1000] 1211180777472
22, 32, 50, 61, 68, 74, 96, 100, 101, 147, 196 [best: 1000] 1215475744768
22, 32, 50, 61, 70, 89, 103, 105, 106, 130, 189 [best: 1000] 1219770712064
22, 32, 50, 61, 72, 76, 77, 84, 88, 94, 163 [best: 1000] 1224065679360
22, 32, 50, 61, 75, 78, 89, 138, 153, 203, 222 [best: 1000] 1228360646656
22, 32, 50, 61, 77, 79, 86, 128, 138, 144, 164 [best: 1000] 1232655613952
22, 32, 50, 61, 80, 83, 102, 119, 149, 173, 225 [best: 1000] 1236950581248
22, 32, 50, 62, 63, 67, 83, 97, 108, 154, 171 [best: 1000] 1241245548544
22, 32, 50, 62, 63, 74, 91, 126, 167, 201, 218 [best: 1000] 1245540515840
22, 32, 50, 62, 63, 84, 112, 117, 131, 141, 168 [best: 1000] 1249835483136
22, 32, 50, 62, 63, 98, 135, 141, 155, 185, 201, 239 [best: 1000] 1254130450432
22, 32, 50, 62, 64, 71, 77, 117, 156, 165, 204, 230 [best: 1000] 1258425417728
22, 32, 50, 62, 64, 83, 96, 107, 142, 182, 213 [best: 1000] 1262720385024
22, 32, 50, 62, 65, 66, 77, 107, 136, 194, 221 [best: 1000] 1267015352320
22, 32, 50, 62, 65, 81, 84, 95, 113, 163, 165 [best: 1000] 1271310319616
22, 32, 50, 62, 66, 72, 77, 97, 109, 146, 221 [best: 1000] 1275605286912
22, 32, 50, 62, 66, 93, 97, 100, 108, 136, 169 [best: 1000] 1279900254208
22, 32, 50, 62, 67, 76, 84, 98, 142, 182, 213 [best: 1000] 1284195221504
22, 32, 50, 62, 67, 101, 121, 139, 172, 173, 208 [best: 1000] 1288490188800
22, 32, 50, 62, 68, 82, 87, 130, 145, 168, 171 [best: 1000] 1292785156096
22, 32, 50, 62, 69, 76, 99, 136, 164, 184, 199 [best: 1000] 1297080123392
22, 32, 50, 62, 70, 73, 89, 99, 136, 171, 199 [best: 1000] 1301375090688
22, 32, 50, 62, 70, 88, 92, 123, 145, 156, 168 [best: 1000] 1305670057984
22, 32, 50, 62, 71, 75, 98, 114, 126, 171, 214 [best: 1000] 1309965025280
22, 32, 50, 62, 71, 84, 106, 121, 125, 170, 213 [best: 1000] 1314259992576
22, 32, 50, 62, 71, 97, 116, 146, 158, 183, 189 [best: 1000] 1318554959872
22, 32, 50, 62, 72, 76, 101, 106, 147, 162, 165 [best: 1000] 1322849927168
22, 32, 50, 62, 72, 88, 123, 126, 154, 155, 230 [best: 1000] 1327144894464
22, 32, 50, 62, 73, 74, 87, 113, 119, 128, 189 [best: 1000] 1331439861760
22, 32, 50, 62, 73, 96, 122, 148, 150, 154, 186 [best: 1000] 1335734829056
22, 32, 50, 62, 75, 77, 109, 114, 134, 174, 177 [best: 1000] 1340029796352
22, 32, 50, 62, 75, 97, 106, 114, 123, 134, 174, 221 [best: 1000] 1344324763648
22, 32, 50, 62, 76, 85, 90, 106, 118, 162, 222 [best: 1000] 1348619730944
22, 32, 50, 62, 76, 100, 101, 121, 127, 199, 201 [best: 1000] 1352914698240
22, 32, 50, 62, 77, 85, 111, 125, 126, 187, 192 [best: 1000] 1357209665536
22, 32, 50, 62, 77, 108, 124, 152, 170, 226 [best: 1000] 1361504632832
22, 32, 50, 62, 79, 87, 90, 97, 98, 115, 138 [best: 1000] 1365799600128
22, 32, 50, 62, 81, 89, 93, 94, 122, 134, 177 [best: 1000] 1370094567424
22, 32, 50, 62, 82, 92, 103, 114, 177, 196, 208 [best: 1000] 1374389534720
22, 32, 50, 62, 83, 109, 112, 124, 166, 178, 183 [best: 1000] 1378684502016
22, 32, 50, 62, 84, 106, 109, 112, 143, 163, 167 [best: 1000] 1382979469312
22, 32, 50, 62, 86, 96, 103, 125, 174, 177, 185 [best: 1000] 1387274436608
22, 32, 50, 62, 87, 110, 119, 127, 128, 169, 186 [best: 1000] 1391569403904
22, 32, 50, 63, 64, 67, 87, 93, 113, 132, 149 [best: 1000] 1395864371200
22, 32, 50, 63, 64, 72, 131, 158, 163, 173, 191, 253 [best: 1000] 1400159338496
22, 32, 50, 63, 64, 80, 83, 100, 148, 204, 242 [best: 1000] 1404454305792
22, 32, 50, 63, 64, 91, 102, 117, 160, 171, 182 [best: 1000] 1408749273088
22, 32, 50, 63, 65, 68, 81, 114, 133, 136, 143 [best: 1000] 1413044240384
22, 32, 50, 63, 65, 77, 92, 106, 156, 179, 193 [best: 1000] 1417339207680
22, 32, 50, 63, 66, 67, 81, 115, 169, 186, 212 [best: 1000] 1421634174976
22, 32, 50, 63, 66, 73, 98, 111, 163, 176, 195 [best: 1000] 1425929142272
22, 32, 50, 63, 66, 81, 105, 113, 136, 174, 206 [best: 1000] 1430224109568
22, 32, 50, 63, 66, 101, 105, 118, 142, 160, 220 [best: 1000] 1434519076864
22, 32, 50, 63, 67, 73, 77, 116, 124, 149, 216 [best: 1000] 1438814044160
22, 32, 50, 63, 67, 81, 84, 92, 132, 197, 227 [best: 1000] 1443109011456
22, 32, 50, 63, 67, 100, 106, 107, 140, 159, 172 [best: 1000] 1447403978752
22, 32, 50, 63, 68, 73, 87, 112, 155, 206, 214 [best: 1000] 1451698946048
22, 32, 50, 63, 68, 82, 84, 136, 153, 168, 192 [best: 1000] 1455993913344
22, 32, 50, 63, 68, 105, 109, 111, 112, 182, 237 [best: 1000] 1460288880640
22, 32, 50, 63, 69, 75, 113, 122, 134, 206, 214 [best: 1000] 1464583847936
22, 32, 50, 63, 69, 83, 105, 122, 183, 189, 197 [best: 1000] 1468878815232
22, 32, 50, 63, 69, 98, 113, 116, 139, 145, 212 [best: 1000] 1473173782528
22, 32, 50, 63, 70, 74, 81, 108, 163, 188, 208 [best: 1000] 1477468749824
22, 32, 50, 63, 70, 80, 83, 121, 169, 178, 186 [best: 1000] 1481763717120
22, 32, 50, 63, 70, 88, 98, 139, 162, 163, 169 [best: 1000] 1486058684416
22, 32, 50, 63, 70, 109, 111, 150, 171, 187, 223 [best: 1000] 1490353651712
22, 32, 50, 63, 71, 75, 101, 129, 143, 227, 266 [best: 1000] 1494648619008
22, 32, 50, 63, 71, 79, 128, 137, 176, 181, 207 [best: 1000] 1498943586304
22, 32, 50, 63, 71, 85, 112, 123, 133, 152, 190 [best: 1000] 1503238553600
22, 32, 50, 63, 71, 93, 108, 118, 119, 124, 175 [best: 1000] 1507533520896
22, 32, 50, 63, 71, 104, 113, 129, 164, 190, 229 [best: 1000] 1511828488192
22, 32, 50, 63, 72, 75, 97, 104, 110, 189, 232, 261 [best: 1000] 1516123455488
22, 32, 50, 63, 72, 80, 85, 101, 121, 178, 199, 210 [best: 1000] 1520418422784
22, 32, 50, 63, 72, 86, 106, 107, 136, 152, 159 [best: 1000] 1524713390080
22, 32, 50, 63, 72, 97, 101, 115, 129, 179, 180, 242 [best: 1000] 1529008357376
22, 32, 50, 63, 72, 115, 133, 137, 162, 173, 196, 211 [best: 1000] 1533303324672
22, 32, 50, 63, 73, 79, 107, 110, 148, 185, 219 [best: 1000] 1537598291968
22, 32, 50, 63, 73, 88, 91, 113, 134, 144, 146 [best: 1000] 1541893259264
22, 32, 50, 63, 73, 107, 110, 143, 148, 180, 231 [best: 1000] 1546188226560
22, 32, 50, 63, 74, 81, 87, 94, 117, 168, 174 [best: 1000] 1550483193856
22, 32, 50, 63, 74, 93, 95, 109, 146, 167, 198 [best: 1000] 1554778161152
22, 32, 50, 63, 75, 78, 101, 134, 136, 156, 157 [best: 1000] 1559073128448
22, 32, 50, 63, 75, 86, 120, 126, 128, 132, 146 [best: 1000] 1563368095744
22, 32, 50, 63, 75, 102, 105, 140, 164, 177, 228 [best: 1000] 1567663063040
22, 32, 50, 63, 76, 80, 97, 102, 111, 147, 173 [best: 1000] 1571958030336
22, 32, 50, 63, 76, 87, 90, 131, 150, 180, 208 [best: 1000] 1576252997632
22, 32, 50, 63, 76, 94, 110, 136, 140, 144, 242 [best: 1000] 1580547964928
22, 32, 50, 63, 76, 107, 132, 152, 153, 199, 220 [best: 1000] 1584842932224
22, 32, 50, 63, 77, 82, 99, 115, 132, 188, 195, 246 [best: 1000] 1589137899520
22, 32, 50, 63, 77, 90, 99, 104, 179, 186, 200, 258 [best: 1000] 1593432866816
22, 32, 50, 63, 77, 104, 123, 132, 169, 201, 235, 263 [best: 1000] 1597727834112
22, 32, 50, 63, 78, 82, 112, 118, 125, 175, 206 [best: 1000] 1602022801408
22, 32, 50, 63, 78, 92, 120, 139, 155, 219, 266, 317 [best: 1000] 1606317768704
22, 32, 50, 63, 79, 82, 93, 106, 123, 154, 217 [best: 1000] 1610612736000
22, 32, 50, 63, 79, 102, 106, 116, 127, 162, 209, 245 [best: 1000] 1614907703296
22, 32, 50, 63, 80, 89, 113, 119, 138, 171, 175 [best: 1000] 1619202670592
22, 32, 50, 63, 81, 83, 93, 114, 158, 161, 167 [best: 1000] 1623497637888
22, 32, 50, 63, 81, 92, 112, 151, 153, 164, 228 [best: 1000] 1627792605184
22, 32, 50, 63, 82, 83, 90, 97, 113, 135, 147 [best: 1000] 1632087572480
22, 32, 50, 63, 82, 97, 118, 139, 162, 183, 185 [best: 1000] 1636382539776
22, 32, 50, 63, 83, 89, 116, 117, 154, 178, 203 [best: 1000] 1640677507072
22, 32, 50, 63, 83, 113, 130, 136, 138, 173, 192 [best: 1000] 1644972474368
22, 32, 50, 63, 84, 93, 132, 169, 171, 194, 241 [best: 1000] 1649267441664
22, 32, 50, 63, 84, 109, 128, 146, 147, 160, 173, 278 [best: 1000] 1653562408960
22, 32, 50, 63, 85, 99, 103, 106, 113, 121, 189, 207 [best: 1000] 1657857376256
22, 32, 50, 63, 86, 92, 114, 133, 179, 197, 200 [best: 1000] 1662152343552
22, 32, 50, 63, 87, 92, 105, 109, 121, 141, 207 [best: 1000] 1666447310848
22, 32, 50, 63, 87, 107, 109, 155, 166, 170, 246 [best: 1000] 1670742278144
22, 32, 50, 63, 88, 104, 124, 128, 137, 163, 213, 280 [best: 1000] 1675037245440
22, 32, 50, 63, 89, 108, 125, 145, 153, 163, 178, 247 [best: 1000] 1679332212736
22, 32, 50, 64, 65, 80, 92, 96, 110, 117, 134 [best: 1000] 1683627180032
22, 32, 50, 64, 66, 72, 99, 141, 173, 177, 178, 227 [best: 1000] 1687922147328
22, 32, 50, 64, 66, 91, 106, 120, 128, 176, 205 [best: 1000] 1692217114624
22, 32, 50, 64, 67, 75, 84, 92, 101, 142, 191 [best: 1000] 1696512081920
22, 32, 50, 64, 67, 96, 120, 128, 132, 154, 177 [best: 1000] 1700807049216
22, 32, 50, 64, 68, 78, 83, 104, 125, 163, 203 [best: 1000] 1705102016512
22, 32, 50, 64, 69, 72, 87, 90, 110, 168, 192 [best: 1000] 1709396983808
22, 32, 50, 64, 69, 84, 101, 120, 146, 152, 203 [best: 1000] 1713691951104
22, 32, 50, 64, 70, 73, 92, 99, 169, 176, 232 [best: 1000] 1717986918400
22, 32, 50, 64, 70, 88, 117, 137, 155, 163, 217 [best: 1000] 1722281885696
22, 32, 50, 64, 71, 76, 83, 111, 131, 162 [best: 1000] 1726576852992
22, 32, 50, 64, 71, 84, 108, 114, 138, 160, 175 [best: 1000] 1730871820288
22, 32, 50, 64, 71, 98, 124, 131, 180, 215, 267 [best: 1000] 1735166787584
22, 32, 50, 64, 72, 77, 91, 93, 127, 142, 145 [best: 1000] 1739461754880
22, 32, 50, 64, 72, 94, 100, 114, 151, 190, 197, 229 [best: 1000] 1743756722176
22, 32, 50, 64, 73, 78, 81, 116, 153, 167, 178 [best: 1000] 1748051689472
22, 32, 50, 64, 73, 92, 99, 120, 133, 143, 185, 252, 257 [best: 1000] 1752346656768
22, 32, 50, 64, 74, 79, 83, 134, 145, 170, 192 [best: 1000] 1756641624064
22, 32, 50, 64, 74, 108, 122, 129, 141, 176, 207 [best: 1000] 1760936591360
22, 32, 50, 64, 75, 95, 123, 149, 153, 191, 216 [best: 1000] 1765231558656
22, 32, 50, 64, 76, 85, 90, 130, 165, 176, 198, 201 [best: 1000] 1769526525952
22, 32, 50, 64, 76, 97, 126, 134, 162, 222, 258 [best: 1000] 1773821493248
22, 32, 50, 64, 77, 83, 116, 123, 137, 154, 196 [best: 1000] 1778116460544
22, 32, 50, 64, 77, 109, 115, 121, 130, 156, 173, 226 [best: 1000] 1782411427840
22, 32, 50, 64, 78, 92, 110, 123, 133, 147, 181, 231 [best: 1000] 1786706395136
22, 32, 50, 64, 79, 89, 112, 127, 134, 197, 205 [best: 1000] 1791001362432
22, 32, 50, 64, 81, 85, 102, 110, 152, 186, 199 [best: 1000] 1795296329728
22, 32, 50, 64, 81, 103, 116, 147, 151, 160, 225 [best: 1000] 1799591297024
22, 32, 50, 64, 82, 109, 129, 152, 175, 204, 220, 267 [best: 1000] 1803886264320
22, 32, 50, 64, 84, 90, 103, 110, 130, 133, 174 [best: 1000] 1808181231616
22, 32, 50, 64, 85, 87, 92, 110, 126, 141, 220 [best: 1000] 1812476198912
22, 32, 50, 64, 86, 95, 126, 128, 151, 164, 205, 245 [best: 1000] 1816771166208
22, 32, 50, 64, 87, 105, 109, 120, 157, 201, 225 [best: 1000] 1821066133504
22, 32, 50, 65, 66, 73, 80, 87, 89, 94, 133 [best: 1000] 1825361100800
22, 32, 50, 65, 67, 88, 94, 123, 129, 160 [best: 1000] 1829656068096
22, 32, 50, 65, 70, 74, 88, 106, 120, 135, 136 [best: 1000] 1833951035392
22, 32, 50, 65, 71, 86, 90, 103, 149, 167, 190 [best: 1000] 1838246002688
22, 32, 50, 65, 74, 75, 96, 99, 106, 120, 170 [best: 1000] 1842540969984
22, 32, 50, 65, 75, 91, 107, 137, 140, 157, 190 [best: 1000] 1846835937280
22, 32, 50, 65, 78, 79, 93, 103, 117, 137 [best: 1000] 1851130904576
22, 32, 50, 65, 81, 86, 89, 91, 129, 190, 222 [best: 1000] 1855425871872
22, 32, 50, 66, 68, 76, 81, 103, 126, 129, 132 [best: 1000] 1859720839168
22, 32, 50, 66, 70, 76, 94, 104, 151, 167, 172 [best: 1000] 1864015806464
22, 32, 50, 66, 71, 87, 89, 147, 161, 168, 199 [best: 1000] 1868310773760
22, 32, 50, 66, 73, 79, 94, 120, 129, 145, 194 [best: 1000] 1872605741056
22, 32, 50, 66, 75, 88, 94, 97, 131, 175, 197 [best: 1000] 1876900708352
22, 32, 50, 66, 76, 94, 114, 130, 147, 200, 220, 244 [best: 1000] 1881195675648
22, 32, 50, 66, 77, 85, 133, 159, 175, 208, 223, 256, 285 [best: 1000] 1885490642944
22, 32, 50, 66, 77, 100, 104, 142, 157, 179, 203 [best: 1000] 1889785610240
22, 32, 50, 66, 78, 92, 97, 122, 148, 163, 189 [best: 1000] 1894080577536
22, 32, 50, 66, 81, 85, 93, 112, 150, 158, 159 [best: 1000] 1898375544832
22, 32, 50, 67, 69, 82, 95, 131, 150, 196, 197 [best: 1000] 1902670512128
22, 32, 50, 67, 71, 79, 92, 99, 115, 142, 222 [best: 1000] 1906965479424
22, 32, 50, 67, 73, 78, 83, 128, 139, 174, 199 [best: 1000] 1911260446720
22, 32, 50, 67, 75, 89, 99, 105, 116, 141, 224 [best: 1000] 1915555414016
22, 32, 50, 67, 77, 90, 111, 128, 155, 179, 223 [best: 1000] 1919850381312
22, 32, 50, 67, 79, 80, 90, 92, 105, 162, 177 [best: 1000] 1924145348608
22, 32, 50, 67, 79, 89, 93, 108, 114, 169, 229 [best: 1000] 1928440315904
22, 32, 50, 67, 79, 104, 122, 156, 161, 163, 165 [best: 1000] 1932735283200
22, 32, 50, 67, 80, 105, 119, 126, 129, 139, 145, 151 [best: 1000] 1937030250496
22, 32, 50, 68, 69, 75, 87, 135, 151, 174, 177, 205 [best: 1000] 1941325217792
22, 32, 50, 68, 71, 74, 98, 102, 124, 158, 189 [best: 1000] 1945620185088
22, 32, 50, 68, 73, 74, 81, 83, 110, 165, 196 [best: 1000] 1949915152384
22, 32, 50, 68, 75, 83, 84, 94, 96, 176, 209 [best: 1000] 1954210119680
22, 32, 50, 68, 77, 79, 84, 151, 161, 177, 194 [best: 1000] 1958505086976
22, 32, 50, 68, 77, 89, 120, 125, 178, 219, 230 [best: 1000] 1962800054272
22, 32, 50, 68, 78, 84, 104, 123, 149, 158, 169 [best: 1000] 1967095021568
22, 32, 50, 68, 79, 94, 98, 103, 117, 156, 189, 243 [best: 1000] 1971389988864
total chains: 1974046862928
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: 1 16 16 16 16
8: 18 258 14 7 21
9: 411 6593 16 4 28
10: 11351 206544 18 2 33
11: 375117 7659369 20 1 38
12: 14442819 324423139 22 0 43
13: 629648151 15339390626 24 0 48
14: 30459753655 798657425245 26 0 53
15: 5823185915 152875299889 26 0 56
16: 372663806 10602934114 28 0 61
17: 4688048 157649764 33 4 62
18: 9471 346386 36 13 60
19: 1 29 29 29 29
20: 0 0 0 0 0
real 78m27.461s
user 78m19.103s
sys 0m0.592s
stderr from container:
N = 15, MAX_LENGTH: 21, CAPTURE_STATS: 1
7 targets:
010010000001110
000001100001101
001000000000101
010010010010000
010111010100000
011100000000110
001111101111111
22, 32, 50 [best: 1000] 0
22, 32, 50, 51, 52, 65, 98, 108, 127, 132, 146 [best: 1000] 4294967296
22, 32, 50, 51, 53, 56, 62, 111, 154, 159, 181, 228 [best: 1000] 8589934592
22, 32, 50, 51, 53, 86, 103, 115, 132, 144, 201 [best: 1000] 12884901888
22, 32, 50, 51, 54, 68, 73, 103, 139, 144, 157, 159 [best: 1000] 17179869184
22, 32, 50, 51, 55, 57, 58, 103, 118, 178, 206, 220 [best: 1000] 21474836480
22, 32, 50, 51, 55, 73, 96, 133, 137, 149, 188 [best: 1000] 25769803776
22, 32, 50, 51, 56, 62, 75, 80, 166, 191, 196 [best: 1000] 30064771072
22, 32, 50, 51, 56, 80, 83, 93, 100, 151, 210 [best: 1000] 34359738368
22, 32, 50, 51, 57, 71, 76, 102, 127, 135, 182 [best: 1000] 38654705664
22, 32, 50, 51, 58, 64, 102, 112, 124, 144, 159, 212 [best: 1000] 42949672960
22, 32, 50, 51, 58, 88, 90, 120, 161, 165, 168 [best: 1000] 47244640256
22, 32, 50, 51, 59, 67, 90, 115, 137, 156, 183, 223 [best: 1000] 51539607552
22, 32, 50, 51, 59, 89, 124, 136, 150, 152, 173 [best: 1000] 55834574848
22, 32, 50, 51, 60, 73, 91, 94, 125, 159, 192 [best: 1000] 60129542144
22, 32, 50, 51, 61, 63, 71, 73, 92, 174, 196 [best: 1000] 64424509440
22, 32, 50, 51, 62, 63, 67, 86, 134, 170, 194, 206 [best: 1000] 68719476736
22, 32, 50, 51, 62, 73, 88, 95, 146, 155, 177 [best: 1000] 73014444032
22, 32, 50, 51, 62, 86, 93, 113, 133, 170, 198 [best: 1000] 77309411328
22, 32, 50, 51, 63, 65, 101, 130, 139, 155, 175 [best: 1000] 81604378624
22, 32, 50, 51, 63, 74, 88, 147, 170, 179, 197 [best: 1000] 85899345920
22, 32, 50, 51, 63, 84, 91, 108, 126, 145, 162, 270 [best: 1000] 90194313216
22, 32, 50, 51, 63, 92, 109, 117, 143, 188, 204, 258 [best: 1000] 94489280512
22, 32, 50, 51, 64, 69, 100, 132, 169, 210, 243 [best: 1000] 98784247808
22, 32, 50, 51, 64, 81, 109, 117, 118, 182, 197 [best: 1000] 103079215104
22, 32, 50, 51, 64, 100, 103, 128, 145, 159, 202 [best: 1000] 107374182400
22, 32, 50, 51, 66, 69, 90, 121, 132, 135, 147, 149 [best: 1000] 111669149696
22, 32, 50, 51, 67, 74, 77, 90, 136, 145, 155, 156 [best: 1000] 115964116992
22, 32, 50, 51, 68, 79, 100, 116, 134, 150, 200 [best: 1000] 120259084288
22, 32, 50, 51, 69, 89, 107, 150, 153, 190, 246 [best: 1000] 124554051584
22, 32, 50, 51, 72, 77, 78, 103, 120, 160, 196, 206, 272 [best: 1000] 128849018880
22, 32, 50, 51, 73, 87, 99, 133, 175, 211, 224 [best: 1000] 133143986176
22, 32, 50, 51, 74, 96, 97, 116, 125, 135, 155, 188 [best: 1000] 137438953472
22, 32, 50, 51, 76, 81, 117, 129, 150, 154, 173 [best: 1000] 141733920768
22, 32, 50, 51, 77, 81, 89, 111, 116, 119, 133 [best: 1000] 146028888064
22, 32, 50, 51, 78, 86, 96, 130, 135, 153, 172, 245 [best: 1000] 150323855360
22, 32, 50, 51, 78, 98, 110, 116, 162, 183, 190 [best: 1000] 154618822656
22, 32, 50, 51, 80, 89, 97, 104, 108, 132, 235 [best: 1000] 158913789952
22, 32, 50, 51, 82, 93, 100, 130, 137, 139, 182, 191 [best: 1000] 163208757248
22, 32, 50, 52, 53, 78, 81, 96, 124, 127, 155 [best: 1000] 167503724544
22, 32, 50, 52, 54, 64, 105, 136, 145, 147, 167, 202 [best: 1000] 171798691840
22, 32, 50, 52, 54, 88, 91, 105, 111, 114, 188 [best: 1000] 176093659136
22, 32, 50, 52, 55, 70, 77, 116, 130, 153, 228 [best: 1000] 180388626432
22, 32, 50, 52, 56, 61, 79, 100, 132, 140, 149 [best: 1000] 184683593728
22, 32, 50, 52, 56, 77, 96, 98, 110, 112, 255 [best: 1000] 188978561024
22, 32, 50, 52, 57, 65, 84, 103, 124, 155, 173 [best: 1000] 193273528320
22, 32, 50, 52, 58, 63, 100, 153, 157, 161, 175, 238 [best: 1000] 197568495616
22, 32, 50, 52, 58, 86, 96, 98, 161, 201, 204 [best: 1000] 201863462912
22, 32, 50, 52, 59, 75, 94, 98, 120, 135, 163 [best: 1000] 206158430208
22, 32, 50, 52, 60, 65, 93, 104, 130, 162, 186 [best: 1000] 210453397504
22, 32, 50, 52, 60, 88, 115, 122, 133, 156, 162 [best: 1000] 214748364800
22, 32, 50, 52, 61, 79, 93, 109, 156, 157, 206 [best: 1000] 219043332096
22, 32, 50, 52, 62, 68, 94, 97, 123, 153, 188 [best: 1000] 223338299392
22, 32, 50, 52, 62, 80, 90, 115, 139, 211, 235 [best: 1000] 227633266688
22, 32, 50, 52, 62, 101, 120, 128, 137, 159, 188 [best: 1000] 231928233984
22, 32, 50, 52, 63, 69, 92, 96, 112, 189, 200 [best: 1000] 236223201280
22, 32, 50, 52, 63, 75, 118, 140, 154, 162, 224 [best: 1000] 240518168576
22, 32, 50, 52, 63, 84, 87, 150, 169, 174, 251 [best: 1000] 244813135872
22, 32, 50, 52, 63, 91, 125, 129, 135, 165, 177, 204 [best: 1000] 249108103168
22, 32, 50, 52, 64, 66, 79, 88, 92, 138, 168 [best: 1000] 253403070464
22, 32, 50, 52, 64, 77, 83, 107, 114, 205, 232 [best: 1000] 257698037760
22, 32, 50, 52, 64, 90, 107, 121, 137, 165, 168 [best: 1000] 261993005056
22, 32, 50, 52, 65, 77, 101, 124, 134, 161, 233 [best: 1000] 266287972352
22, 32, 50, 52, 66, 78, 110, 114, 146, 162, 206 [best: 1000] 270582939648
22, 32, 50, 52, 67, 78, 100, 115, 120, 138, 168 [best: 1000] 274877906944
22, 32, 50, 52, 68, 78, 125, 131, 146, 199, 245, 259 [best: 1000] 279172874240
22, 32, 50, 52, 70, 76, 110, 118, 165, 179, 206 [best: 1000] 283467841536
22, 32, 50, 52, 71, 83, 98, 114, 137, 171, 174 [best: 1000] 287762808832
22, 32, 50, 52, 73, 80, 97, 103, 106, 141, 170 [best: 1000] 292057776128
22, 32, 50, 52, 75, 76, 78, 99, 131, 142, 144 [best: 1000] 296352743424
22, 32, 50, 52, 76, 84, 90, 136, 174, 189, 194, 218 [best: 1000] 300647710720
22, 32, 50, 52, 76, 102, 107, 115, 127, 144, 153 [best: 1000] 304942678016
22, 32, 50, 52, 77, 86, 117, 132, 177, 184, 210 [best: 1000] 309237645312
22, 32, 50, 52, 77, 100, 120, 132, 141, 177, 186 [best: 1000] 313532612608
22, 32, 50, 52, 78, 90, 104, 138, 154, 155, 172, 214 [best: 1000] 317827579904
22, 32, 50, 52, 80, 83, 98, 126, 132, 170, 188 [best: 1000] 322122547200
22, 32, 50, 53, 54, 56, 64, 80, 105, 145, 161 [best: 1000] 326417514496
22, 32, 50, 53, 55, 59, 68, 92, 108, 120, 182 [best: 1000] 330712481792
22, 32, 50, 53, 56, 58, 89, 93, 126, 155, 173, 233 [best: 1000] 335007449088
22, 32, 50, 53, 57, 61, 85, 112, 120, 130, 159 [best: 1000] 339302416384
22, 32, 50, 53, 58, 80, 81, 89, 113, 148, 203 [best: 1000] 343597383680
22, 32, 50, 53, 59, 84, 102, 106, 154, 173, 193 [best: 1000] 347892350976
22, 32, 50, 53, 61, 70, 81, 98, 109, 161, 206 [best: 1000] 352187318272
22, 32, 50, 53, 62, 79, 92, 98, 112, 143, 188 [best: 1000] 356482285568
22, 32, 50, 53, 63, 73, 75, 96, 120, 158, 174 [best: 1000] 360777252864
22, 32, 50, 53, 63, 88, 94, 123, 141, 209, 245 [best: 1000] 365072220160
22, 32, 50, 53, 64, 80, 107, 119, 141, 147, 183, 225 [best: 1000] 369367187456
22, 32, 50, 53, 66, 83, 84, 94, 147, 179, 185 [best: 1000] 373662154752
22, 32, 50, 53, 70, 74, 94, 100, 108, 124, 201 [best: 1000] 377957122048
22, 32, 50, 53, 71, 83, 88, 91, 147, 175, 200 [best: 1000] 382252089344
22, 32, 50, 53, 74, 83, 90, 102, 106, 159, 177 [best: 1000] 386547056640
22, 32, 50, 54, 55, 65, 75, 112, 135, 199, 224 [best: 1000] 390842023936
22, 32, 50, 54, 56, 59, 89, 101, 106, 114, 218 [best: 1000] 395136991232
22, 32, 50, 54, 56, 76, 85, 94, 103, 142, 167 [best: 1000] 399431958528
22, 32, 50, 54, 57, 73, 93, 125, 128, 146, 193 [best: 1000] 403726925824
22, 32, 50, 54, 58, 69, 72, 79, 90, 98, 122 [best: 1000] 408021893120
22, 32, 50, 54, 59, 62, 78, 118, 154, 169, 220 [best: 1000] 412316860416
22, 32, 50, 54, 59, 75, 84, 116, 144, 165, 207 [best: 1000] 416611827712
22, 32, 50, 54, 60, 64, 109, 113, 136, 176, 194 [best: 1000] 420906795008
22, 32, 50, 54, 60, 89, 105, 123, 140, 150, 153 [best: 1000] 425201762304
22, 32, 50, 54, 61, 84, 95, 111, 139, 158, 181 [best: 1000] 429496729600
22, 32, 50, 54, 62, 71, 72, 83, 105, 108, 127 [best: 1000] 433791696896
22, 32, 50, 54, 62, 86, 93, 108, 137, 159, 194 [best: 1000] 438086664192
22, 32, 50, 54, 63, 66, 90, 135, 154, 171, 213 [best: 1000] 442381631488
22, 32, 50, 54, 63, 74, 82, 148, 175, 196, 202 [best: 1000] 446676598784
22, 32, 50, 54, 63, 84, 110, 160, 170, 204, 227, 236 [best: 1000] 450971566080
22, 32, 50, 54, 63, 96, 101, 106, 188, 210, 211, 243 [best: 1000] 455266533376
22, 32, 50, 54, 64, 70, 74, 106, 115, 120, 161 [best: 1000] 459561500672
22, 32, 50, 54, 64, 85, 90, 106, 112, 135, 171 [best: 1000] 463856467968
22, 32, 50, 54, 65, 73, 87, 122, 142, 155 [best: 1000] 468151435264
22, 32, 50, 54, 66, 81, 84, 90, 112, 129, 172 [best: 1000] 472446402560
22, 32, 50, 54, 67, 92, 93, 136, 146, 203, 233 [best: 1000] 476741369856
22, 32, 50, 54, 69, 72, 110, 112, 126, 135, 174 [best: 1000] 481036337152
22, 32, 50, 54, 70, 74, 75, 118, 134, 162, 240 [best: 1000] 485331304448
22, 32, 50, 54, 71, 83, 86, 110, 149, 166, 180 [best: 1000] 489626271744
22, 32, 50, 54, 73, 78, 103, 111, 135, 159, 176 [best: 1000] 493921239040
22, 32, 50, 54, 73, 102, 111, 118, 146, 171, 196 [best: 1000] 498216206336
22, 32, 50, 54, 74, 85, 94, 119, 153, 168, 249 [best: 1000] 502511173632
22, 32, 50, 54, 74, 96, 109, 137, 161, 189, 217 [best: 1000] 506806140928
22, 32, 50, 54, 75, 82, 91, 153, 186, 187, 197 [best: 1000] 511101108224
22, 32, 50, 54, 75, 98, 114, 128, 155, 184, 219 [best: 1000] 515396075520
22, 32, 50, 54, 78, 91, 93, 103, 111, 114, 124 [best: 1000] 519691042816
22, 32, 50, 54, 82, 90, 104, 131, 137, 163, 170 [best: 1000] 523986010112
22, 32, 50, 55, 56, 68, 102, 113, 148, 150, 170 [best: 1000] 528280977408
22, 32, 50, 55, 57, 62, 92, 123, 126, 129, 195 [best: 1000] 532575944704
22, 32, 50, 55, 58, 62, 73, 127, 148, 172, 195 [best: 1000] 536870912000
22, 32, 50, 55, 58, 75, 100, 159, 163, 171, 177, 240 [best: 1000] 541165879296
22, 32, 50, 55, 59, 63, 76, 110, 186, 197, 203, 222 [best: 1000] 545460846592
22, 32, 50, 55, 59, 76, 100, 115, 117, 130, 173, 230 [best: 1000] 549755813888
22, 32, 50, 55, 60, 64, 88, 110, 120, 126, 146 [best: 1000] 554050781184
22, 32, 50, 55, 60, 83, 90, 116, 125, 134, 152 [best: 1000] 558345748480
22, 32, 50, 55, 61, 72, 75, 126, 149, 152, 184 [best: 1000] 562640715776
22, 32, 50, 55, 62, 64, 99, 101, 137, 143, 164 [best: 1000] 566935683072
22, 32, 50, 55, 62, 75, 86, 123, 124, 128, 222 [best: 1000] 571230650368
22, 32, 50, 55, 62, 90, 97, 125, 139, 173, 249 [best: 1000] 575525617664
22, 32, 50, 55, 63, 67, 75, 79, 96, 139, 200 [best: 1000] 579820584960
22, 32, 50, 55, 63, 74, 97, 107, 156, 201, 213 [best: 1000] 584115552256
22, 32, 50, 55, 63, 83, 92, 106, 120, 155, 195 [best: 1000] 588410519552
22, 32, 50, 55, 63, 93, 102, 107, 153, 155, 208 [best: 1000] 592705486848
22, 32, 50, 55, 64, 68, 70, 71, 88, 127, 142 [best: 1000] 597000454144
22, 32, 50, 55, 64, 77, 78, 86, 106, 123, 154 [best: 1000] 601295421440
22, 32, 50, 55, 64, 93, 98, 100, 107, 120, 190 [best: 1000] 605590388736
22, 32, 50, 55, 65, 76, 119, 153, 161, 167, 180 [best: 1000] 609885356032
22, 32, 50, 55, 66, 77, 90, 103, 128, 196, 251 [best: 1000] 614180323328
22, 32, 50, 55, 67, 80, 95, 107, 120, 152, 209 [best: 1000] 618475290624
22, 32, 50, 55, 68, 88, 119, 136, 165, 195, 205 [best: 1000] 622770257920
22, 32, 50, 55, 70, 72, 73, 80, 121, 128, 182 [best: 1000] 627065225216
22, 32, 50, 55, 71, 80, 84, 104, 110, 142, 143 [best: 1000] 631360192512
22, 32, 50, 55, 73, 75, 95, 102, 180, 208, 227 [best: 1000] 635655159808
22, 32, 50, 55, 74, 75, 82, 111, 113, 152, 246 [best: 1000] 639950127104
22, 32, 50, 55, 74, 91, 113, 141, 159, 171, 230 [best: 1000] 644245094400
22, 32, 50, 55, 75, 80, 91, 97, 136, 178, 215 [best: 1000] 648540061696
22, 32, 50, 55, 75, 89, 97, 98, 132, 206, 245 [best: 1000] 652835028992
22, 32, 50, 55, 75, 101, 105, 143, 174, 176, 218, 227 [best: 1000] 657129996288
22, 32, 50, 55, 76, 87, 97, 131, 132, 153, 158, 213 [best: 1000] 661424963584
22, 32, 50, 55, 77, 79, 94, 112, 131, 155, 181 [best: 1000] 665719930880
22, 32, 50, 55, 78, 89, 103, 143, 149, 202, 208 [best: 1000] 670014898176
22, 32, 50, 55, 82, 87, 113, 148, 157, 216, 217 [best: 1000] 674309865472
22, 32, 50, 56, 58, 59, 87, 122, 152, 169, 233, 279 [best: 1000] 678604832768
22, 32, 50, 56, 58, 74, 101, 126, 157, 159, 184, 200 [best: 1000] 682899800064
22, 32, 50, 56, 59, 63, 120, 123, 129, 160, 251, 279 [best: 1000] 687194767360
22, 32, 50, 56, 59, 81, 105, 111, 128, 157, 174, 240, 263 [best: 1000] 691489734656
22, 32, 50, 56, 60, 70, 74, 113, 148, 182, 194 [best: 1000] 695784701952
22, 32, 50, 56, 61, 63, 99, 105, 133, 190, 203 [best: 1000] 700079669248
22, 32, 50, 56, 62, 63, 73, 120, 153, 176, 200 [best: 1000] 704374636544
22, 32, 50, 56, 62, 74, 78, 132, 155, 158, 238 [best: 1000] 708669603840
22, 32, 50, 56, 62, 92, 93, 98, 123, 130, 153 [best: 1000] 712964571136
22, 32, 50, 56, 63, 69, 73, 103, 133, 146, 152 [best: 1000] 717259538432
22, 32, 50, 56, 63, 76, 77, 100, 104, 173 [best: 1000] 721554505728
22, 32, 50, 56, 63, 86, 116, 152, 168, 202, 224, 244 [best: 1000] 725849473024
22, 32, 50, 56, 63, 99, 111, 121, 179, 188, 212 [best: 1000] 730144440320
22, 32, 50, 56, 64, 72, 88, 106, 184, 190, 243 [best: 1000] 734439407616
22, 32, 50, 56, 64, 87, 101, 140, 164, 210, 232 [best: 1000] 738734374912
22, 32, 50, 56, 65, 74, 108, 126, 143, 206, 218 [best: 1000] 743029342208
22, 32, 50, 56, 66, 79, 92, 100, 117, 200, 225 [best: 1000] 747324309504
22, 32, 50, 56, 67, 85, 92, 111, 115, 176, 208 [best: 1000] 751619276800
22, 32, 50, 56, 69, 72, 79, 114, 143, 185, 188 [best: 1000] 755914244096
22, 32, 50, 56, 70, 74, 117, 130, 138, 148, 245 [best: 1000] 760209211392
22, 32, 50, 56, 71, 86, 87, 138, 176, 203, 215, 250 [best: 1000] 764504178688
22, 32, 50, 56, 72, 83, 101, 110, 127, 128, 184 [best: 1000] 768799145984
22, 32, 50, 56, 73, 78, 97, 110, 114, 123, 196 [best: 1000] 773094113280
22, 32, 50, 56, 74, 79, 80, 86, 93, 138, 176, 268 [best: 1000] 777389080576
22, 32, 50, 56, 74, 87, 97, 99, 191, 192, 202 [best: 1000] 781684047872
22, 32, 50, 56, 74, 98, 103, 106, 161, 170, 223 [best: 1000] 785979015168
22, 32, 50, 56, 75, 87, 97, 111, 114, 138, 174 [best: 1000] 790273982464
22, 32, 50, 56, 76, 88, 98, 117, 140, 152, 178 [best: 1000] 794568949760
22, 32, 50, 56, 78, 89, 107, 116, 136, 145, 152 [best: 1000] 798863917056
22, 32, 50, 56, 82, 88, 121, 140, 158, 172, 216 [best: 1000] 803158884352
22, 32, 50, 57, 58, 80, 102, 133, 163, 173, 186 [best: 1000] 807453851648
22, 32, 50, 57, 60, 61, 64, 77, 102, 109, 183 [best: 1000] 811748818944
22, 32, 50, 57, 61, 67, 76, 78, 82, 122, 150 [best: 1000] 816043786240
22, 32, 50, 57, 62, 78, 91, 107, 148, 165, 170 [best: 1000] 820338753536
22, 32, 50, 57, 63, 72, 82, 103, 123, 141, 182 [best: 1000] 824633720832
22, 32, 50, 57, 63, 86, 115, 120, 146, 177, 202 [best: 1000] 828928688128
22, 32, 50, 57, 64, 79, 91, 139, 147, 148, 151 [best: 1000] 833223655424
22, 32, 50, 57, 66, 78, 84, 105, 157, 171, 213 [best: 1000] 837518622720
22, 32, 50, 57, 70, 72, 101, 106, 112, 154, 180 [best: 1000] 841813590016
22, 32, 50, 57, 71, 82, 91, 118, 123, 149, 168 [best: 1000] 846108557312
22, 32, 50, 57, 74, 83, 93, 97, 168, 189, 228 [best: 1000] 850403524608
22, 32, 50, 58, 59, 71, 89, 93, 123, 130, 151 [best: 1000] 854698491904
22, 32, 50, 58, 60, 65, 75, 77, 88, 146, 184 [best: 1000] 858993459200
22, 32, 50, 58, 61, 62, 102, 107, 108, 109, 131 [best: 1000] 863288426496
22, 32, 50, 58, 61, 96, 98, 106, 108, 175, 193, 200 [best: 1000] 867583393792
22, 32, 50, 58, 62, 73, 81, 137, 138, 178, 179 [best: 1000] 871878361088
22, 32, 50, 58, 62, 89, 108, 130, 131, 182, 184, 269 [best: 1000] 876173328384
22, 32, 50, 58, 63, 67, 84, 107, 155, 197, 207 [best: 1000] 880468295680
22, 32, 50, 58, 63, 73, 75, 103, 167, 173, 206 [best: 1000] 884763262976
22, 32, 50, 58, 63, 80, 101, 111, 121, 152, 180, 234 [best: 1000] 889058230272
22, 32, 50, 58, 63, 88, 92, 133, 156, 158, 193 [best: 1000] 893353197568
22, 32, 50, 58, 63, 102, 133, 148, 169, 220, 226 [best: 1000] 897648164864
22, 32, 50, 58, 64, 73, 109, 117, 120, 142, 156 [best: 1000] 901943132160
22, 32, 50, 58, 64, 91, 98, 108, 137, 172, 201 [best: 1000] 906238099456
22, 32, 50, 58, 65, 87, 100, 104, 121, 150, 165 [best: 1000] 910533066752
22, 32, 50, 58, 67, 70, 90, 100, 107, 128, 208 [best: 1000] 914828034048
22, 32, 50, 58, 68, 74, 112, 122, 149, 179, 199 [best: 1000] 919123001344
22, 32, 50, 58, 69, 84, 102, 103, 111, 167, 172 [best: 1000] 923417968640
22, 32, 50, 58, 70, 86, 122, 138, 154 [best: 1000] 927712935936
22, 32, 50, 58, 72, 85, 89, 101, 108, 136, 178 [best: 1000] 932007903232
22, 32, 50, 58, 73, 87, 105, 131, 172, 189, 191, 241 [best: 1000] 936302870528
22, 32, 50, 58, 74, 78, 104, 108, 136, 146, 172 [best: 1000] 940597837824
22, 32, 50, 58, 74, 88, 126, 153, 154, 156, 228 [best: 1000] 944892805120
22, 32, 50, 58, 74, 106, 129, 131, 151, 160, 216 [best: 1000] 949187772416
22, 32, 50, 58, 75, 88, 96, 136, 141, 155, 174, 225 [best: 1000] 953482739712
22, 32, 50, 58, 75, 107, 113, 132, 178, 200, 208, 214, 296 [best: 1000] 957777707008
22, 32, 50, 58, 80, 87, 88, 102, 148, 160, 219 [best: 1000] 962072674304
22, 32, 50, 59, 60, 63, 64, 113, 133, 177, 185 [best: 1000] 966367641600
22, 32, 50, 59, 60, 86, 119, 127, 148, 187, 204 [best: 1000] 970662608896
22, 32, 50, 59, 61, 76, 94, 104, 132, 172, 187 [best: 1000] 974957576192
22, 32, 50, 59, 62, 68, 72, 80, 84, 121, 200 [best: 1000] 979252543488
22, 32, 50, 59, 62, 79, 89, 90, 103, 124, 140 [best: 1000] 983547510784
22, 32, 50, 59, 62, 106, 118, 128, 141, 173, 174 [best: 1000] 987842478080
22, 32, 50, 59, 63, 70, 79, 96, 145, 176 [best: 1000] 992137445376
22, 32, 50, 59, 63, 75, 112, 116, 172, 185, 204 [best: 1000] 996432412672
22, 32, 50, 59, 63, 83, 99, 119, 144, 152, 219 [best: 1000] 1000727379968
22, 32, 50, 59, 63, 91, 105, 121, 139, 171, 215, 241 [best: 1000] 1005022347264
22, 32, 50, 59, 64, 66, 75, 80, 135, 136, 212 [best: 1000] 1009317314560
22, 32, 50, 59, 64, 76, 91, 98, 111, 141, 178 [best: 1000] 1013612281856
22, 32, 50, 59, 64, 95, 97, 153, 162, 165, 172, 194 [best: 1000] 1017907249152
22, 32, 50, 59, 65, 82, 93, 127, 148, 155, 164 [best: 1000] 1022202216448
22, 32, 50, 59, 66, 89, 98, 141, 154, 171, 176 [best: 1000] 1026497183744
22, 32, 50, 59, 68, 69, 79, 89, 136, 138, 147 [best: 1000] 1030792151040
22, 32, 50, 59, 69, 75, 85, 88, 108, 129, 182 [best: 1000] 1035087118336
22, 32, 50, 59, 70, 87, 99, 101, 162, 183, 217 [best: 1000] 1039382085632
22, 32, 50, 59, 72, 75, 107, 110, 114, 165, 210 [best: 1000] 1043677052928
22, 32, 50, 59, 73, 94, 115, 128, 134, 144, 205 [best: 1000] 1047972020224
22, 32, 50, 59, 74, 89, 100, 103, 169, 185, 220 [best: 1000] 1052266987520
22, 32, 50, 59, 75, 79, 93, 101, 123, 135, 206 [best: 1000] 1056561954816
22, 32, 50, 59, 75, 88, 119, 125, 145, 148, 149 [best: 1000] 1060856922112
22, 32, 50, 59, 75, 104, 110, 138, 197, 211, 212 [best: 1000] 1065151889408
22, 32, 50, 59, 76, 88, 95, 119, 135, 187, 212 [best: 1000] 1069446856704
22, 32, 50, 59, 77, 79, 84, 87, 133, 149, 170 [best: 1000] 1073741824000
22, 32, 50, 59, 79, 87, 94, 104, 130, 154, 164 [best: 1000] 1078036791296
22, 32, 50, 60, 61, 66, 69, 74, 91, 136, 139 [best: 1000] 1082331758592
22, 32, 50, 60, 62, 64, 80, 94, 109, 129, 153 [best: 1000] 1086626725888
22, 32, 50, 60, 62, 75, 120, 145, 170, 174, 201, 234 [best: 1000] 1090921693184
22, 32, 50, 60, 62, 101, 112, 139, 158, 160, 200 [best: 1000] 1095216660480
22, 32, 50, 60, 63, 71, 72, 79, 90, 107, 141 [best: 1000] 1099511627776
22, 32, 50, 60, 63, 78, 87, 106, 151, 173, 181 [best: 1000] 1103806595072
22, 32, 50, 60, 63, 88, 102, 106, 132, 157, 207 [best: 1000] 1108101562368
22, 32, 50, 60, 63, 105, 107, 122, 150, 162, 224 [best: 1000] 1112396529664
22, 32, 50, 60, 64, 75, 77, 83, 126, 140, 147 [best: 1000] 1116691496960
22, 32, 50, 60, 64, 95, 111, 138, 151, 153 [best: 1000] 1120986464256
22, 32, 50, 60, 65, 94, 101, 131, 134, 164, 177 [best: 1000] 1125281431552
22, 32, 50, 60, 67, 72, 91, 137, 166, 185, 208 [best: 1000] 1129576398848
22, 32, 50, 60, 68, 74, 122, 153, 154, 178, 203 [best: 1000] 1133871366144
22, 32, 50, 60, 69, 86, 101, 125, 128, 180 [best: 1000] 1138166333440
22, 32, 50, 60, 71, 75, 84, 95, 114, 162, 200 [best: 1000] 1142461300736
22, 32, 50, 60, 72, 77, 79, 97, 123, 149, 218 [best: 1000] 1146756268032
22, 32, 50, 60, 73, 75, 76, 116, 117, 180, 181 [best: 1000] 1151051235328
22, 32, 50, 60, 74, 77, 98, 103, 127, 129, 177 [best: 1000] 1155346202624
22, 32, 50, 60, 74, 87, 105, 119, 176, 190, 196 [best: 1000] 1159641169920
22, 32, 50, 60, 74, 100, 114, 144, 160, 204, 227, 276 [best: 1000] 1163936137216
22, 32, 50, 60, 75, 92, 99, 122, 155, 175, 190, 219 [best: 1000] 1168231104512
22, 32, 50, 60, 76, 90, 112, 113, 136, 201, 219 [best: 1000] 1172526071808
22, 32, 50, 60, 79, 89, 99, 131, 178, 184, 191 [best: 1000] 1176821039104
22, 32, 50, 60, 83, 88, 122, 126, 148, 181, 196 [best: 1000] 1181116006400
22, 32, 50, 61, 62, 77, 89, 104, 135, 197, 237 [best: 1000] 1185410973696
22, 32, 50, 61, 63, 66, 103, 104, 128, 134, 181 [best: 1000] 1189705940992
22, 32, 50, 61, 63, 78, 99, 101, 111, 126, 141 [best: 1000] 1194000908288
22, 32, 50, 61, 63, 95, 96, 99, 104, 131, 168 [best: 1000] 1198295875584
22, 32, 50, 61, 64, 76, 85, 88, 141, 171, 188, 219 [best: 1000] 1202590842880
22, 32, 50, 61, 64, 102, 104, 131, 137, 167, 192 [best: 1000] 1206885810176
22, 32, 50, 61, 66, 89, 90, 137, 149, 150 [best: 1000] 1211180777472
22, 32, 50, 61, 68, 74, 96, 100, 101, 147, 196 [best: 1000] 1215475744768
22, 32, 50, 61, 70, 89, 103, 105, 106, 130, 189 [best: 1000] 1219770712064
22, 32, 50, 61, 72, 76, 77, 84, 88, 94, 163 [best: 1000] 1224065679360
22, 32, 50, 61, 75, 78, 89, 138, 153, 203, 222 [best: 1000] 1228360646656
22, 32, 50, 61, 77, 79, 86, 128, 138, 144, 164 [best: 1000] 1232655613952
22, 32, 50, 61, 80, 83, 102, 119, 149, 173, 225 [best: 1000] 1236950581248
22, 32, 50, 62, 63, 67, 83, 97, 108, 154, 171 [best: 1000] 1241245548544
22, 32, 50, 62, 63, 74, 91, 126, 167, 201, 218 [best: 1000] 1245540515840
22, 32, 50, 62, 63, 84, 112, 117, 131, 141, 168 [best: 1000] 1249835483136
22, 32, 50, 62, 63, 98, 135, 141, 155, 185, 201, 239 [best: 1000] 1254130450432
22, 32, 50, 62, 64, 71, 77, 117, 156, 165, 204, 230 [best: 1000] 1258425417728
22, 32, 50, 62, 64, 83, 96, 107, 142, 182, 213 [best: 1000] 1262720385024
22, 32, 50, 62, 65, 66, 77, 107, 136, 194, 221 [best: 1000] 1267015352320
22, 32, 50, 62, 65, 81, 84, 95, 113, 163, 165 [best: 1000] 1271310319616
22, 32, 50, 62, 66, 72, 77, 97, 109, 146, 221 [best: 1000] 1275605286912
22, 32, 50, 62, 66, 93, 97, 100, 108, 136, 169 [best: 1000] 1279900254208
22, 32, 50, 62, 67, 76, 84, 98, 142, 182, 213 [best: 1000] 1284195221504
22, 32, 50, 62, 67, 101, 121, 139, 172, 173, 208 [best: 1000] 1288490188800
22, 32, 50, 62, 68, 82, 87, 130, 145, 168, 171 [best: 1000] 1292785156096
22, 32, 50, 62, 69, 76, 99, 136, 164, 184, 199 [best: 1000] 1297080123392
22, 32, 50, 62, 70, 73, 89, 99, 136, 171, 199 [best: 1000] 1301375090688
22, 32, 50, 62, 70, 88, 92, 123, 145, 156, 168 [best: 1000] 1305670057984
22, 32, 50, 62, 71, 75, 98, 114, 126, 171, 214 [best: 1000] 1309965025280
22, 32, 50, 62, 71, 84, 106, 121, 125, 170, 213 [best: 1000] 1314259992576
22, 32, 50, 62, 71, 97, 116, 146, 158, 183, 189 [best: 1000] 1318554959872
22, 32, 50, 62, 72, 76, 101, 106, 147, 162, 165 [best: 1000] 1322849927168
22, 32, 50, 62, 72, 88, 123, 126, 154, 155, 230 [best: 1000] 1327144894464
22, 32, 50, 62, 73, 74, 87, 113, 119, 128, 189 [best: 1000] 1331439861760
22, 32, 50, 62, 73, 96, 122, 148, 150, 154, 186 [best: 1000] 1335734829056
22, 32, 50, 62, 75, 77, 109, 114, 134, 174, 177 [best: 1000] 1340029796352
22, 32, 50, 62, 75, 97, 106, 114, 123, 134, 174, 221 [best: 1000] 1344324763648
22, 32, 50, 62, 76, 85, 90, 106, 118, 162, 222 [best: 1000] 1348619730944
22, 32, 50, 62, 76, 100, 101, 121, 127, 199, 201 [best: 1000] 1352914698240
22, 32, 50, 62, 77, 85, 111, 125, 126, 187, 192 [best: 1000] 1357209665536
22, 32, 50, 62, 77, 108, 124, 152, 170, 226 [best: 1000] 1361504632832
22, 32, 50, 62, 79, 87, 90, 97, 98, 115, 138 [best: 1000] 1365799600128
22, 32, 50, 62, 81, 89, 93, 94, 122, 134, 177 [best: 1000] 1370094567424
22, 32, 50, 62, 82, 92, 103, 114, 177, 196, 208 [best: 1000] 1374389534720
22, 32, 50, 62, 83, 109, 112, 124, 166, 178, 183 [best: 1000] 1378684502016
22, 32, 50, 62, 84, 106, 109, 112, 143, 163, 167 [best: 1000] 1382979469312
22, 32, 50, 62, 86, 96, 103, 125, 174, 177, 185 [best: 1000] 1387274436608
22, 32, 50, 62, 87, 110, 119, 127, 128, 169, 186 [best: 1000] 1391569403904
22, 32, 50, 63, 64, 67, 87, 93, 113, 132, 149 [best: 1000] 1395864371200
22, 32, 50, 63, 64, 72, 131, 158, 163, 173, 191, 253 [best: 1000] 1400159338496
22, 32, 50, 63, 64, 80, 83, 100, 148, 204, 242 [best: 1000] 1404454305792
22, 32, 50, 63, 64, 91, 102, 117, 160, 171, 182 [best: 1000] 1408749273088
22, 32, 50, 63, 65, 68, 81, 114, 133, 136, 143 [best: 1000] 1413044240384
22, 32, 50, 63, 65, 77, 92, 106, 156, 179, 193 [best: 1000] 1417339207680
22, 32, 50, 63, 66, 67, 81, 115, 169, 186, 212 [best: 1000] 1421634174976
22, 32, 50, 63, 66, 73, 98, 111, 163, 176, 195 [best: 1000] 1425929142272
22, 32, 50, 63, 66, 81, 105, 113, 136, 174, 206 [best: 1000] 1430224109568
22, 32, 50, 63, 66, 101, 105, 118, 142, 160, 220 [best: 1000] 1434519076864
22, 32, 50, 63, 67, 73, 77, 116, 124, 149, 216 [best: 1000] 1438814044160
22, 32, 50, 63, 67, 81, 84, 92, 132, 197, 227 [best: 1000] 1443109011456
22, 32, 50, 63, 67, 100, 106, 107, 140, 159, 172 [best: 1000] 1447403978752
22, 32, 50, 63, 68, 73, 87, 112, 155, 206, 214 [best: 1000] 1451698946048
22, 32, 50, 63, 68, 82, 84, 136, 153, 168, 192 [best: 1000] 1455993913344
22, 32, 50, 63, 68, 105, 109, 111, 112, 182, 237 [best: 1000] 1460288880640
22, 32, 50, 63, 69, 75, 113, 122, 134, 206, 214 [best: 1000] 1464583847936
22, 32, 50, 63, 69, 83, 105, 122, 183, 189, 197 [best: 1000] 1468878815232
22, 32, 50, 63, 69, 98, 113, 116, 139, 145, 212 [best: 1000] 1473173782528
22, 32, 50, 63, 70, 74, 81, 108, 163, 188, 208 [best: 1000] 1477468749824
22, 32, 50, 63, 70, 80, 83, 121, 169, 178, 186 [best: 1000] 1481763717120
22, 32, 50, 63, 70, 88, 98, 139, 162, 163, 169 [best: 1000] 1486058684416
22, 32, 50, 63, 70, 109, 111, 150, 171, 187, 223 [best: 1000] 1490353651712
22, 32, 50, 63, 71, 75, 101, 129, 143, 227, 266 [best: 1000] 1494648619008
22, 32, 50, 63, 71, 79, 128, 137, 176, 181, 207 [best: 1000] 1498943586304
22, 32, 50, 63, 71, 85, 112, 123, 133, 152, 190 [best: 1000] 1503238553600
22, 32, 50, 63, 71, 93, 108, 118, 119, 124, 175 [best: 1000] 1507533520896
22, 32, 50, 63, 71, 104, 113, 129, 164, 190, 229 [best: 1000] 1511828488192
22, 32, 50, 63, 72, 75, 97, 104, 110, 189, 232, 261 [best: 1000] 1516123455488
22, 32, 50, 63, 72, 80, 85, 101, 121, 178, 199, 210 [best: 1000] 1520418422784
22, 32, 50, 63, 72, 86, 106, 107, 136, 152, 159 [best: 1000] 1524713390080
22, 32, 50, 63, 72, 97, 101, 115, 129, 179, 180, 242 [best: 1000] 1529008357376
22, 32, 50, 63, 72, 115, 133, 137, 162, 173, 196, 211 [best: 1000] 1533303324672
22, 32, 50, 63, 73, 79, 107, 110, 148, 185, 219 [best: 1000] 1537598291968
22, 32, 50, 63, 73, 88, 91, 113, 134, 144, 146 [best: 1000] 1541893259264
22, 32, 50, 63, 73, 107, 110, 143, 148, 180, 231 [best: 1000] 1546188226560
22, 32, 50, 63, 74, 81, 87, 94, 117, 168, 174 [best: 1000] 1550483193856
22, 32, 50, 63, 74, 93, 95, 109, 146, 167, 198 [best: 1000] 1554778161152
22, 32, 50, 63, 75, 78, 101, 134, 136, 156, 157 [best: 1000] 1559073128448
22, 32, 50, 63, 75, 86, 120, 126, 128, 132, 146 [best: 1000] 1563368095744
22, 32, 50, 63, 75, 102, 105, 140, 164, 177, 228 [best: 1000] 1567663063040
22, 32, 50, 63, 76, 80, 97, 102, 111, 147, 173 [best: 1000] 1571958030336
22, 32, 50, 63, 76, 87, 90, 131, 150, 180, 208 [best: 1000] 1576252997632
22, 32, 50, 63, 76, 94, 110, 136, 140, 144, 242 [best: 1000] 1580547964928
22, 32, 50, 63, 76, 107, 132, 152, 153, 199, 220 [best: 1000] 1584842932224
22, 32, 50, 63, 77, 82, 99, 115, 132, 188, 195, 246 [best: 1000] 1589137899520
22, 32, 50, 63, 77, 90, 99, 104, 179, 186, 200, 258 [best: 1000] 1593432866816
22, 32, 50, 63, 77, 104, 123, 132, 169, 201, 235, 263 [best: 1000] 1597727834112
22, 32, 50, 63, 78, 82, 112, 118, 125, 175, 206 [best: 1000] 1602022801408
22, 32, 50, 63, 78, 92, 120, 139, 155, 219, 266, 317 [best: 1000] 1606317768704
22, 32, 50, 63, 79, 82, 93, 106, 123, 154, 217 [best: 1000] 1610612736000
22, 32, 50, 63, 79, 102, 106, 116, 127, 162, 209, 245 [best: 1000] 1614907703296
22, 32, 50, 63, 80, 89, 113, 119, 138, 171, 175 [best: 1000] 1619202670592
22, 32, 50, 63, 81, 83, 93, 114, 158, 161, 167 [best: 1000] 1623497637888
22, 32, 50, 63, 81, 92, 112, 151, 153, 164, 228 [best: 1000] 1627792605184
22, 32, 50, 63, 82, 83, 90, 97, 113, 135, 147 [best: 1000] 1632087572480
22, 32, 50, 63, 82, 97, 118, 139, 162, 183, 185 [best: 1000] 1636382539776
22, 32, 50, 63, 83, 89, 116, 117, 154, 178, 203 [best: 1000] 1640677507072
22, 32, 50, 63, 83, 113, 130, 136, 138, 173, 192 [best: 1000] 1644972474368
22, 32, 50, 63, 84, 93, 132, 169, 171, 194, 241 [best: 1000] 1649267441664
22, 32, 50, 63, 84, 109, 128, 146, 147, 160, 173, 278 [best: 1000] 1653562408960
22, 32, 50, 63, 85, 99, 103, 106, 113, 121, 189, 207 [best: 1000] 1657857376256
22, 32, 50, 63, 86, 92, 114, 133, 179, 197, 200 [best: 1000] 1662152343552
22, 32, 50, 63, 87, 92, 105, 109, 121, 141, 207 [best: 1000] 1666447310848
22, 32, 50, 63, 87, 107, 109, 155, 166, 170, 246 [best: 1000] 1670742278144
22, 32, 50, 63, 88, 104, 124, 128, 137, 163, 213, 280 [best: 1000] 1675037245440
22, 32, 50, 63, 89, 108, 125, 145, 153, 163, 178, 247 [best: 1000] 1679332212736
22, 32, 50, 64, 65, 80, 92, 96, 110, 117, 134 [best: 1000] 1683627180032
22, 32, 50, 64, 66, 72, 99, 141, 173, 177, 178, 227 [best: 1000] 1687922147328
22, 32, 50, 64, 66, 91, 106, 120, 128, 176, 205 [best: 1000] 1692217114624
22, 32, 50, 64, 67, 75, 84, 92, 101, 142, 191 [best: 1000] 1696512081920
22, 32, 50, 64, 67, 96, 120, 128, 132, 154, 177 [best: 1000] 1700807049216
22, 32, 50, 64, 68, 78, 83, 104, 125, 163, 203 [best: 1000] 1705102016512
22, 32, 50, 64, 69, 72, 87, 90, 110, 168, 192 [best: 1000] 1709396983808
22, 32, 50, 64, 69, 84, 101, 120, 146, 152, 203 [best: 1000] 1713691951104
22, 32, 50, 64, 70, 73, 92, 99, 169, 176, 232 [best: 1000] 1717986918400
22, 32, 50, 64, 70, 88, 117, 137, 155, 163, 217 [best: 1000] 1722281885696
22, 32, 50, 64, 71, 76, 83, 111, 131, 162 [best: 1000] 1726576852992
22, 32, 50, 64, 71, 84, 108, 114, 138, 160, 175 [best: 1000] 1730871820288
22, 32, 50, 64, 71, 98, 124, 131, 180, 215, 267 [best: 1000] 1735166787584
22, 32, 50, 64, 72, 77, 91, 93, 127, 142, 145 [best: 1000] 1739461754880
22, 32, 50, 64, 72, 94, 100, 114, 151, 190, 197, 229 [best: 1000] 1743756722176
22, 32, 50, 64, 73, 78, 81, 116, 153, 167, 178 [best: 1000] 1748051689472
22, 32, 50, 64, 73, 92, 99, 120, 133, 143, 185, 252, 257 [best: 1000] 1752346656768
22, 32, 50, 64, 74, 79, 83, 134, 145, 170, 192 [best: 1000] 1756641624064
22, 32, 50, 64, 74, 108, 122, 129, 141, 176, 207 [best: 1000] 1760936591360
22, 32, 50, 64, 75, 95, 123, 149, 153, 191, 216 [best: 1000] 1765231558656
22, 32, 50, 64, 76, 85, 90, 130, 165, 176, 198, 201 [best: 1000] 1769526525952
22, 32, 50, 64, 76, 97, 126, 134, 162, 222, 258 [best: 1000] 1773821493248
22, 32, 50, 64, 77, 83, 116, 123, 137, 154, 196 [best: 1000] 1778116460544
22, 32, 50, 64, 77, 109, 115, 121, 130, 156, 173, 226 [best: 1000] 1782411427840
22, 32, 50, 64, 78, 92, 110, 123, 133, 147, 181, 231 [best: 1000] 1786706395136
22, 32, 50, 64, 79, 89, 112, 127, 134, 197, 205 [best: 1000] 1791001362432
22, 32, 50, 64, 81, 85, 102, 110, 152, 186, 199 [best: 1000] 1795296329728
22, 32, 50, 64, 81, 103, 116, 147, 151, 160, 225 [best: 1000] 1799591297024
22, 32, 50, 64, 82, 109, 129, 152, 175, 204, 220, 267 [best: 1000] 1803886264320
22, 32, 50, 64, 84, 90, 103, 110, 130, 133, 174 [best: 1000] 1808181231616
22, 32, 50, 64, 85, 87, 92, 110, 126, 141, 220 [best: 1000] 1812476198912
22, 32, 50, 64, 86, 95, 126, 128, 151, 164, 205, 245 [best: 1000] 1816771166208
22, 32, 50, 64, 87, 105, 109, 120, 157, 201, 225 [best: 1000] 1821066133504
22, 32, 50, 65, 66, 73, 80, 87, 89, 94, 133 [best: 1000] 1825361100800
22, 32, 50, 65, 67, 88, 94, 123, 129, 160 [best: 1000] 1829656068096
22, 32, 50, 65, 70, 74, 88, 106, 120, 135, 136 [best: 1000] 1833951035392
22, 32, 50, 65, 71, 86, 90, 103, 149, 167, 190 [best: 1000] 1838246002688
22, 32, 50, 65, 74, 75, 96, 99, 106, 120, 170 [best: 1000] 1842540969984
22, 32, 50, 65, 75, 91, 107, 137, 140, 157, 190 [best: 1000] 1846835937280
22, 32, 50, 65, 78, 79, 93, 103, 117, 137 [best: 1000] 1851130904576
22, 32, 50, 65, 81, 86, 89, 91, 129, 190, 222 [best: 1000] 1855425871872
22, 32, 50, 66, 68, 76, 81, 103, 126, 129, 132 [best: 1000] 1859720839168
22, 32, 50, 66, 70, 76, 94, 104, 151, 167, 172 [best: 1000] 1864015806464
22, 32, 50, 66, 71, 87, 89, 147, 161, 168, 199 [best: 1000] 1868310773760
22, 32, 50, 66, 73, 79, 94, 120, 129, 145, 194 [best: 1000] 1872605741056
22, 32, 50, 66, 75, 88, 94, 97, 131, 175, 197 [best: 1000] 1876900708352
22, 32, 50, 66, 76, 94, 114, 130, 147, 200, 220, 244 [best: 1000] 1881195675648
22, 32, 50, 66, 77, 85, 133, 159, 175, 208, 223, 256, 285 [best: 1000] 1885490642944
22, 32, 50, 66, 77, 100, 104, 142, 157, 179, 203 [best: 1000] 1889785610240
22, 32, 50, 66, 78, 92, 97, 122, 148, 163, 189 [best: 1000] 1894080577536
22, 32, 50, 66, 81, 85, 93, 112, 150, 158, 159 [best: 1000] 1898375544832
22, 32, 50, 67, 69, 82, 95, 131, 150, 196, 197 [best: 1000] 1902670512128
22, 32, 50, 67, 71, 79, 92, 99, 115, 142, 222 [best: 1000] 1906965479424
22, 32, 50, 67, 73, 78, 83, 128, 139, 174, 199 [best: 1000] 1911260446720
22, 32, 50, 67, 75, 89, 99, 105, 116, 141, 224 [best: 1000] 1915555414016
22, 32, 50, 67, 77, 90, 111, 128, 155, 179, 223 [best: 1000] 1919850381312
22, 32, 50, 67, 79, 80, 90, 92, 105, 162, 177 [best: 1000] 1924145348608
22, 32, 50, 67, 79, 89, 93, 108, 114, 169, 229 [best: 1000] 1928440315904
22, 32, 50, 67, 79, 104, 122, 156, 161, 163, 165 [best: 1000] 1932735283200
22, 32, 50, 67, 80, 105, 119, 126, 129, 139, 145, 151 [best: 1000] 1937030250496
22, 32, 50, 68, 69, 75, 87, 135, 151, 174, 177, 205 [best: 1000] 1941325217792
22, 32, 50, 68, 71, 74, 98, 102, 124, 158, 189 [best: 1000] 1945620185088
22, 32, 50, 68, 73, 74, 81, 83, 110, 165, 196 [best: 1000] 1949915152384
22, 32, 50, 68, 75, 83, 84, 94, 96, 176, 209 [best: 1000] 1954210119680
22, 32, 50, 68, 77, 79, 84, 151, 161, 177, 194 [best: 1000] 1958505086976
22, 32, 50, 68, 77, 89, 120, 125, 178, 219, 230 [best: 1000] 1962800054272
22, 32, 50, 68, 78, 84, 104, 123, 149, 158, 169 [best: 1000] 1967095021568
22, 32, 50, 68, 79, 94, 98, 103, 117, 156, 189, 243 [best: 1000] 1971389988864
total chains: 1974046862928
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: 1 16 16 16 16
8: 18 258 14 7 21
9: 411 6593 16 4 28
10: 11351 206544 18 2 33
11: 375117 7659369 20 1 38
12: 14442819 324423139 22 0 43
13: 629648151 15339390626 24 0 48
14: 30459753655 798657425245 26 0 53
15: 5823185915 152875299889 26 0 56
16: 372663806 10602934114 28 0 61
17: 4688048 157649764 33 4 62
18: 9471 346386 36 13 60
19: 1 29 29 29 29
20: 0 0 0 0 0
real 78m27.461s
user 78m19.103s
sys 0m0.592s
stderr end
running docker command: stop boinc__boinc.berkeley.edu_central__batch_88__job_job-005475_1
command output:
boinc__boinc.berkeley.edu_central__batch_88__job_job-005475_1
running docker command: container rm boinc__boinc.berkeley.edu_central__batch_88__job_job-005475_1
command output:
boinc__boinc.berkeley.edu_central__batch_88__job_job-005475_1
running docker command: image rm boinc__boinc.berkeley.edu_central__batch_88__job_job-005475
command output:
Untagged: boinc__boinc.berkeley.edu_central__batch_88__job_job-005475:latest
Deleted: sha256:e1f957b6443b63fb5d8ee938e9ea6999be9eb0ac237935f6aaa5e00d475a25dc
2025-04-29 18:26:39 (38909): called boinc_finish(0)
</stderr_txt>
]]>
©2025 UC Berkeley