Task 185265

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 = 15, MAX_LENGTH: 21, CAPTURE_STATS: 1
7 targets:
  010010000001110
  000001100001101
  001000000000101
  010010010010000
  010111010100000
  011100000000110
  001111101111111
9, 17, 21, 24 [best: 1000] 0
9, 17, 21, 24, 25, 29, 58, 79, 131, 134, 143 [best: 1000] 4294967296
9, 17, 21, 24, 25, 33, 52, 114, 142, 167, 194 [best: 1000] 8589934592
9, 17, 21, 24, 25, 39, 40, 78, 90, 116, 199 [best: 1000] 12884901888
9, 17, 21, 24, 25, 44, 66, 137, 151, 155, 201 [best: 1000] 17179869184
9, 17, 21, 24, 25, 50, 74, 113, 125, 148, 186, 205 [best: 1000] 21474836480
9, 17, 21, 24, 25, 60, 82, 101, 118, 123, 130 [best: 1000] 25769803776
9, 17, 21, 24, 25, 78, 88, 113, 145, 166, 230 [best: 1000] 30064771072
9, 17, 21, 24, 26, 28, 54, 64, 85, 112, 170 [best: 1000] 34359738368
9, 17, 21, 24, 26, 32, 46, 63, 73, 123, 135 [best: 1000] 38654705664
9, 17, 21, 24, 26, 36, 44, 65, 87, 190, 196 [best: 1000] 42949672960
9, 17, 21, 24, 26, 41, 54, 68, 74, 120, 190 [best: 1000] 47244640256
9, 17, 21, 24, 26, 46, 55, 99, 119, 183, 188 [best: 1000] 51539607552
9, 17, 21, 24, 26, 51, 117, 121, 128, 140, 154, 155 [best: 1000] 55834574848
9, 17, 21, 24, 26, 60, 97, 99, 123, 187, 208 [best: 1000] 60129542144
9, 17, 21, 24, 26, 74, 92, 131, 137, 150, 155 [best: 1000] 64424509440
9, 17, 21, 24, 27, 28, 70, 89, 171, 204, 211 [best: 1000] 68719476736
9, 17, 21, 24, 27, 31, 52, 62, 103, 122, 203 [best: 1000] 73014444032
9, 17, 21, 24, 27, 33, 46, 58, 116, 189, 223 [best: 1000] 77309411328
9, 17, 21, 24, 27, 36, 53, 77, 86, 113, 119 [best: 1000] 81604378624
9, 17, 21, 24, 27, 39, 105, 141, 164, 168, 208 [best: 1000] 85899345920
9, 17, 21, 24, 27, 42, 83, 84, 97, 122, 128 [best: 1000] 90194313216
9, 17, 21, 24, 27, 45, 84, 149, 152, 177, 213 [best: 1000] 94489280512
9, 17, 21, 24, 27, 49, 59, 77, 165, 186, 207 [best: 1000] 98784247808
9, 17, 21, 24, 27, 53, 55, 79, 101, 165, 176 [best: 1000] 103079215104
9, 17, 21, 24, 27, 58, 71, 98, 117, 126, 168 [best: 1000] 107374182400
9, 17, 21, 24, 27, 65, 74, 118, 143, 158, 197 [best: 1000] 111669149696
9, 17, 21, 24, 27, 72, 80, 90, 108, 139, 218 [best: 1000] 115964116992
9, 17, 21, 24, 27, 85, 90, 97, 126, 135, 167 [best: 1000] 120259084288
9, 17, 21, 24, 27, 110, 115, 136, 150, 182, 211 [best: 1000] 124554051584
9, 17, 21, 24, 28, 32, 51, 60, 99, 106, 196 [best: 1000] 128849018880
9, 17, 21, 24, 28, 36, 47, 54, 84, 115, 226 [best: 1000] 133143986176
9, 17, 21, 24, 28, 41, 51, 59, 117, 141, 164 [best: 1000] 137438953472
9, 17, 21, 24, 28, 45, 69, 102, 106, 181, 183 [best: 1000] 141733920768
9, 17, 21, 24, 28, 50, 78, 85, 89, 136, 141 [best: 1000] 146028888064
9, 17, 21, 24, 28, 58, 65, 70, 142, 158, 191, 240 [best: 1000] 150323855360
9, 17, 21, 24, 28, 68, 102, 144, 174, 199, 212 [best: 1000] 154618822656
9, 17, 21, 24, 28, 93, 115, 140, 158, 161, 203 [best: 1000] 158913789952
9, 17, 21, 24, 29, 32, 78, 83, 99, 154, 191 [best: 1000] 163208757248
9, 17, 21, 24, 29, 37, 61, 72, 87, 97, 126 [best: 1000] 167503724544
9, 17, 21, 24, 29, 42, 67, 83, 120, 142, 220 [best: 1000] 171798691840
9, 17, 21, 24, 29, 47, 70, 79, 150, 185, 218 [best: 1000] 176093659136
9, 17, 21, 24, 29, 53, 75, 79, 80, 130, 170 [best: 1000] 180388626432
9, 17, 21, 24, 29, 64, 67, 77, 117, 122, 131 [best: 1000] 184683593728
9, 17, 21, 24, 29, 81, 88, 105, 120, 147, 174 [best: 1000] 188978561024
9, 17, 21, 24, 30, 33, 40, 55, 108, 167, 190 [best: 1000] 193273528320
9, 17, 21, 24, 30, 39, 46, 65, 75, 79, 118 [best: 1000] 197568495616
9, 17, 21, 24, 30, 45, 62, 64, 67, 77, 98 [best: 1000] 201863462912
9, 17, 21, 24, 30, 51, 83, 102, 106, 127, 187 [best: 1000] 206158430208
9, 17, 21, 24, 30, 64, 88, 123, 141, 150, 170 [best: 1000] 210453397504
9, 17, 21, 24, 31, 32, 37, 69, 139, 151, 152 [best: 1000] 214748364800
9, 17, 21, 24, 31, 36, 42, 69, 72, 143, 145 [best: 1000] 219043332096
9, 17, 21, 24, 31, 40, 90, 146, 155, 183, 200 [best: 1000] 223338299392
9, 17, 21, 24, 31, 45, 69, 145, 164, 182, 196 [best: 1000] 227633266688
9, 17, 21, 24, 31, 49, 124, 130, 148, 171, 219 [best: 1000] 231928233984
9, 17, 21, 24, 31, 56, 97, 103, 108, 146, 183 [best: 1000] 236223201280
9, 17, 21, 24, 31, 66, 118, 144, 156, 161, 180 [best: 1000] 240518168576
9, 17, 21, 24, 31, 87, 89, 94, 163, 170, 175 [best: 1000] 244813135872
9, 17, 21, 24, 32, 34, 93, 103, 125, 190, 213 [best: 1000] 249108103168
9, 17, 21, 24, 32, 37, 113, 124, 151, 161, 196 [best: 1000] 253403070464
9, 17, 21, 24, 32, 41, 48, 119, 173, 211 [best: 1000] 257698037760
9, 17, 21, 24, 32, 43, 101, 105, 109, 166, 200 [best: 1000] 261993005056
9, 17, 21, 24, 32, 47, 49, 70, 181, 183, 185 [best: 1000] 266287972352
9, 17, 21, 24, 32, 49, 70, 159, 173, 185, 188 [best: 1000] 270582939648
9, 17, 21, 24, 32, 52, 91, 140, 153, 190, 204 [best: 1000] 274877906944
9, 17, 21, 24, 32, 56, 66, 111, 119, 130, 182, 189 [best: 1000] 279172874240
9, 17, 21, 24, 32, 60, 85, 105, 106, 174, 178, 201 [best: 1000] 283467841536
9, 17, 21, 24, 32, 68, 70, 83, 154, 191, 227 [best: 1000] 287762808832
9, 17, 21, 24, 32, 77, 84, 90, 157, 171, 218, 225 [best: 1000] 292057776128
9, 17, 21, 24, 32, 90, 102, 105, 127, 135, 214, 231 [best: 1000] 296352743424
9, 17, 21, 24, 33, 35, 42, 57, 59, 152, 164 [best: 1000] 300647710720
9, 17, 21, 24, 33, 39, 86, 129, 131, 135, 153 [best: 1000] 304942678016
9, 17, 21, 24, 33, 44, 48, 74, 97, 123, 164 [best: 1000] 309237645312
9, 17, 21, 24, 33, 48, 59, 114, 173, 206, 246 [best: 1000] 313532612608
9, 17, 21, 24, 33, 53, 77, 78, 104, 159, 187 [best: 1000] 317827579904
9, 17, 21, 24, 33, 61, 82, 119, 120, 122, 146 [best: 1000] 322122547200
9, 17, 21, 24, 33, 74, 89, 107, 110, 185, 223 [best: 1000] 326417514496
9, 17, 21, 24, 34, 35, 36, 76, 105, 107, 148 [best: 1000] 330712481792
9, 17, 21, 24, 34, 41, 52, 60, 167, 203, 223 [best: 1000] 335007449088
9, 17, 21, 24, 34, 47, 57, 64, 71, 150, 166 [best: 1000] 339302416384
9, 17, 21, 24, 34, 54, 77, 83, 113, 130, 202 [best: 1000] 343597383680
9, 17, 21, 24, 34, 68, 81, 100, 110, 149, 180 [best: 1000] 347892350976
9, 17, 21, 24, 35, 37, 52, 56, 136, 143, 171 [best: 1000] 352187318272
9, 17, 21, 24, 35, 44, 68, 69, 86, 87, 96 [best: 1000] 356482285568
9, 17, 21, 24, 35, 52, 79, 83, 110, 144, 173 [best: 1000] 360777252864
9, 17, 21, 24, 35, 70, 71, 78, 145, 159, 197 [best: 1000] 365072220160
9, 17, 21, 24, 36, 40, 43, 68, 85, 154, 198 [best: 1000] 369367187456
9, 17, 21, 24, 36, 45, 49, 50, 99, 173, 194 [best: 1000] 373662154752
9, 17, 21, 24, 36, 50, 92, 93, 155, 188, 205 [best: 1000] 377957122048
9, 17, 21, 24, 36, 60, 96, 109, 110, 140, 184 [best: 1000] 382252089344
9, 17, 21, 24, 36, 78, 112, 130, 149, 170, 180 [best: 1000] 386547056640
9, 17, 21, 24, 37, 40, 83, 86, 166, 171, 179 [best: 1000] 390842023936
9, 17, 21, 24, 37, 44, 61, 118, 123, 179, 199 [best: 1000] 395136991232
9, 17, 21, 24, 37, 48, 95, 115, 127, 136, 216 [best: 1000] 399431958528
9, 17, 21, 24, 37, 54, 99, 123, 130, 149, 151 [best: 1000] 403726925824
9, 17, 21, 24, 37, 61, 87, 144, 159, 188, 228 [best: 1000] 408021893120
9, 17, 21, 24, 37, 73, 99, 101, 145, 159, 190 [best: 1000] 412316860416
9, 17, 21, 24, 37, 98, 115, 140, 163, 187, 204 [best: 1000] 416611827712
9, 17, 21, 24, 38, 43, 59, 129, 154, 165, 183, 218 [best: 1000] 420906795008
9, 17, 21, 24, 38, 48, 122, 147, 160, 186, 187 [best: 1000] 425201762304
9, 17, 21, 24, 38, 56, 85, 95, 123, 124, 132 [best: 1000] 429496729600
9, 17, 21, 24, 38, 68, 94, 111, 144, 168, 183 [best: 1000] 433791696896
9, 17, 21, 24, 39, 40, 55, 74, 134, 142, 172 [best: 1000] 438086664192
9, 17, 21, 24, 39, 47, 67, 122, 164, 171, 175 [best: 1000] 442381631488
9, 17, 21, 24, 39, 57, 65, 121, 124, 130, 152 [best: 1000] 446676598784
9, 17, 21, 24, 39, 79, 80, 102, 128, 140, 176 [best: 1000] 450971566080
9, 17, 21, 24, 40, 44, 82, 93, 102, 110, 141 [best: 1000] 455266533376
9, 17, 21, 24, 40, 49, 67, 68, 112, 177, 208 [best: 1000] 459561500672
9, 17, 21, 24, 40, 56, 72, 75, 88, 121, 144 [best: 1000] 463856467968
9, 17, 21, 24, 40, 65, 87, 95, 98, 197 [best: 1000] 468151435264
9, 17, 21, 24, 40, 82, 84, 100, 114, 122, 126 [best: 1000] 472446402560
9, 17, 21, 24, 41, 44, 74, 82, 89, 124, 163 [best: 1000] 476741369856
9, 17, 21, 24, 41, 50, 52, 54, 126, 145, 184, 226 [best: 1000] 481036337152
9, 17, 21, 24, 41, 59, 78, 98, 137, 167, 203 [best: 1000] 485331304448
9, 17, 21, 24, 41, 72, 89, 92, 131, 137, 148 [best: 1000] 489626271744
9, 17, 21, 24, 42, 43, 85, 101, 116, 147, 215 [best: 1000] 493921239040
9, 17, 21, 24, 42, 47, 65, 105, 181, 182, 237 [best: 1000] 498216206336
9, 17, 21, 24, 42, 50, 71, 107, 165, 174, 220 [best: 1000] 502511173632
9, 17, 21, 24, 42, 55, 95, 110, 137, 144, 192 [best: 1000] 506806140928
9, 17, 21, 24, 42, 61, 80, 86, 145, 190, 232 [best: 1000] 511101108224
9, 17, 21, 24, 42, 69, 77, 114, 126, 128, 173 [best: 1000] 515396075520
9, 17, 21, 24, 42, 81, 86, 121, 130, 142, 172 [best: 1000] 519691042816
9, 17, 21, 24, 42, 104, 119, 160, 164, 197, 239 [best: 1000] 523986010112
9, 17, 21, 24, 43, 48, 56, 92, 93, 140, 168 [best: 1000] 528280977408
9, 17, 21, 24, 43, 54, 71, 92, 97, 114, 136 [best: 1000] 532575944704
9, 17, 21, 24, 43, 63, 78, 85, 124, 125, 142 [best: 1000] 536870912000
9, 17, 21, 24, 43, 78, 122, 139, 141, 162, 181 [best: 1000] 541165879296
9, 17, 21, 24, 44, 46, 96, 116, 138, 174, 205 [best: 1000] 545460846592
9, 17, 21, 24, 44, 51, 74, 84, 121, 156, 181, 182 [best: 1000] 549755813888
9, 17, 21, 24, 44, 60, 73, 86, 107, 118, 174 [best: 1000] 554050781184
9, 17, 21, 24, 44, 72, 114, 120, 142, 188, 232 [best: 1000] 558345748480
9, 17, 21, 24, 45, 46, 56, 80, 91, 110, 195 [best: 1000] 562640715776
9, 17, 21, 24, 45, 50, 99, 104, 108, 116, 128 [best: 1000] 566935683072
9, 17, 21, 24, 45, 57, 84, 119, 134, 179, 187 [best: 1000] 571230650368
9, 17, 21, 24, 45, 66, 83, 121, 151, 178, 217 [best: 1000] 575525617664
9, 17, 21, 24, 45, 82, 104, 126, 137, 155, 196 [best: 1000] 579820584960
9, 17, 21, 24, 46, 48, 93, 109, 113, 126, 165 [best: 1000] 584115552256
9, 17, 21, 24, 46, 55, 87, 107, 140, 160, 218 [best: 1000] 588410519552
9, 17, 21, 24, 46, 66, 67, 76, 129, 137, 186 [best: 1000] 592705486848
9, 17, 21, 24, 46, 87, 115, 126, 132, 165, 203 [best: 1000] 597000454144
9, 17, 21, 24, 47, 50, 70, 74, 78, 223, 247 [best: 1000] 601295421440
9, 17, 21, 24, 47, 54, 83, 100, 129, 145, 225 [best: 1000] 605590388736
9, 17, 21, 24, 47, 59, 67, 76, 88, 189, 208 [best: 1000] 609885356032
9, 17, 21, 24, 47, 64, 77, 83, 155, 192, 219 [best: 1000] 614180323328
9, 17, 21, 24, 47, 69, 115, 119, 127, 147, 220 [best: 1000] 618475290624
9, 17, 21, 24, 47, 78, 104, 120, 144, 162, 174 [best: 1000] 622770257920
9, 17, 21, 24, 47, 91, 111, 128, 163, 187, 213 [best: 1000] 627065225216
9, 17, 21, 24, 48, 49, 83, 84, 93, 132, 186 [best: 1000] 631360192512
9, 17, 21, 24, 48, 55, 103, 107, 123, 141, 195, 208 [best: 1000] 635655159808
9, 17, 21, 24, 48, 62, 116, 125, 129, 189, 209 [best: 1000] 639950127104
9, 17, 21, 24, 48, 73, 87, 110, 120, 127, 234 [best: 1000] 644245094400
9, 17, 21, 24, 48, 96, 102, 115, 173, 210 [best: 1000] 648540061696
9, 17, 21, 24, 49, 54, 66, 73, 122, 148, 205, 214 [best: 1000] 652835028992
9, 17, 21, 24, 49, 60, 94, 99, 137, 146, 203 [best: 1000] 657129996288
9, 17, 21, 24, 49, 69, 76, 78, 94, 130, 144 [best: 1000] 661424963584
9, 17, 21, 24, 49, 83, 106, 112, 119, 136, 210 [best: 1000] 665719930880
9, 17, 21, 24, 50, 52, 69, 122, 124, 145, 198, 232 [best: 1000] 670014898176
9, 17, 21, 24, 50, 59, 60, 86, 99, 160, 209 [best: 1000] 674309865472
9, 17, 21, 24, 50, 65, 83, 112, 130, 160, 195, 222 [best: 1000] 678604832768
9, 17, 21, 24, 50, 73, 103, 104, 117, 148, 210 [best: 1000] 682899800064
9, 17, 21, 24, 50, 91, 113, 122, 143, 167, 224 [best: 1000] 687194767360
9, 17, 21, 24, 51, 56, 61, 72, 141, 159, 236 [best: 1000] 691489734656
9, 17, 21, 24, 51, 64, 70, 76, 108, 113, 145 [best: 1000] 695784701952
9, 17, 21, 24, 51, 76, 84, 111, 117, 173, 193 [best: 1000] 700079669248
9, 17, 21, 24, 52, 53, 63, 116, 122, 156, 182, 194 [best: 1000] 704374636544
9, 17, 21, 24, 52, 60, 128, 135, 141, 150, 245 [best: 1000] 708669603840
9, 17, 21, 24, 52, 72, 119, 126, 133, 168, 195 [best: 1000] 712964571136
9, 17, 21, 24, 52, 98, 108, 117, 127, 173, 229 [best: 1000] 717259538432
9, 17, 21, 24, 53, 68, 91, 119, 122, 155, 184 [best: 1000] 721554505728
9, 17, 21, 24, 54, 59, 87, 108, 109, 159 [best: 1000] 725849473024
9, 17, 21, 24, 54, 73, 99, 124, 140, 187, 201 [best: 1000] 730144440320
9, 17, 21, 24, 55, 58, 60, 61, 73, 89, 115 [best: 1000] 734439407616
9, 17, 21, 24, 55, 66, 116, 121, 173, 199, 211 [best: 1000] 738734374912
9, 17, 21, 24, 55, 83, 86, 95, 104, 183, 192 [best: 1000] 743029342208
9, 17, 21, 24, 56, 60, 78, 123, 142, 161, 206, 213, 256 [best: 1000] 747324309504
9, 17, 21, 24, 56, 73, 93, 121, 131, 165, 209 [best: 1000] 751619276800
9, 17, 21, 24, 56, 103, 104, 117, 123, 154, 172 [best: 1000] 755914244096
9, 17, 21, 24, 57, 78, 107, 120, 151, 189, 197 [best: 1000] 760209211392
9, 17, 21, 24, 58, 69, 70, 89, 100, 154, 187 [best: 1000] 764504178688
9, 17, 21, 24, 59, 61, 63, 85, 89, 97, 116 [best: 1000] 768799145984
9, 17, 21, 24, 59, 70, 99, 133, 143, 184, 189 [best: 1000] 773094113280
9, 17, 21, 24, 59, 86, 102, 153, 170, 171, 198 [best: 1000] 777389080576
9, 17, 21, 24, 60, 63, 91, 103, 126, 134, 152 [best: 1000] 781684047872
9, 17, 21, 24, 60, 71, 72, 78, 84, 122, 144 [best: 1000] 785979015168
9, 17, 21, 24, 60, 82, 98, 121, 135, 141, 226 [best: 1000] 790273982464
9, 17, 21, 24, 60, 98, 103, 106, 142, 181, 217 [best: 1000] 794568949760
9, 17, 21, 24, 61, 68, 117, 118, 151, 180, 199 [best: 1000] 798863917056
9, 17, 21, 24, 61, 83, 96, 109, 136, 209, 249 [best: 1000] 803158884352
9, 17, 21, 24, 62, 66, 78, 123, 150, 218, 249 [best: 1000] 807453851648
9, 17, 21, 24, 63, 65, 109, 116, 137, 142, 173 [best: 1000] 811748818944
9, 17, 21, 24, 64, 71, 86, 87, 136, 165, 199 [best: 1000] 816043786240
9, 17, 21, 24, 65, 68, 81, 114, 152, 158, 166 [best: 1000] 820338753536
9, 17, 21, 24, 65, 78, 96, 99, 116, 161, 204 [best: 1000] 824633720832
9, 17, 21, 24, 65, 99, 124, 136, 154, 171, 203 [best: 1000] 828928688128
9, 17, 21, 24, 66, 76, 94, 114, 121, 177, 217 [best: 1000] 833223655424
9, 17, 21, 24, 66, 102, 116, 132, 151, 154, 157 [best: 1000] 837518622720
9, 17, 21, 24, 68, 70, 75, 80, 111, 119, 122 [best: 1000] 841813590016
9, 17, 21, 24, 68, 93, 103, 136, 140, 144, 197 [best: 1000] 846108557312
9, 17, 21, 24, 69, 80, 95, 102, 121, 183, 211 [best: 1000] 850403524608
9, 17, 21, 24, 70, 74, 95, 99, 137, 155, 193 [best: 1000] 854698491904
9, 17, 21, 24, 70, 105, 110, 128, 132, 187, 201 [best: 1000] 858993459200
9, 17, 21, 24, 72, 90, 117, 135, 139, 154, 172 [best: 1000] 863288426496
9, 17, 21, 24, 73, 98, 99, 100, 128, 160, 189 [best: 1000] 867583393792
9, 17, 21, 24, 75, 84, 99, 105, 111, 113, 130 [best: 1000] 871878361088
9, 17, 21, 24, 77, 88, 114, 121, 126, 129, 209 [best: 1000] 876173328384
9, 17, 21, 24, 78, 89, 125, 149, 156, 160, 198 [best: 1000] 880468295680
9, 17, 21, 24, 79, 84, 102, 121, 148, 156, 200 [best: 1000] 884763262976
9, 17, 21, 24, 81, 90, 99, 111, 129, 165, 169 [best: 1000] 889058230272
9, 17, 21, 24, 83, 106, 133, 134, 168, 210, 242 [best: 1000] 893353197568
9, 17, 21, 24, 86, 98, 133, 136, 139, 185, 219 [best: 1000] 897648164864
total chains: 900604974055
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                        18               18               18               18
 9:               64                      1038               16                6               26
10:             3054                     53869               17                4               31
11:           137171                   2658570               19                2               36
12:          6249340                 132811653               21                2               41
13:        297673912                6877089709               23                0               46
14:      15026526013              374637801908               24                0               51
15:       1428392276               35485730459               24                0               56
16:         39111031                1024556824               26                1               59
17:           113723                   3551834               31                4               55
18:              198                      6942               35               22               46
19:                0                         0                0                0                0
20:                0                         0                0                0                0

real	59m3.908s
user	58m45.326s
sys	0m0.426s
stderr end
2025-05-07 01:16:18 (2954820): called boinc_finish(0)

</stderr_txt>
]]>

© 2025 UC Berkeley