Task 15323

Stderr output

<core_client_version>8.3.0</core_client_version>
<![CDATA[
<stderr_txt>
no job.toml config file
Using podman
stderr from container:
N = 16, MAX_LENGTH: 22, CAPTURE_STATS: 1
7 targets:
  0100100000011100
  0000011000011011
  0010000000001011
  0100100100100001
  0101110101000000
  0111000000001100
  0011111011111111
6, 19, 22, 64 [best: 1000] 0
6, 19, 22, 64, 65, 66, 87, 91, 99, 141, 165, 222 [best: 1000] 4294967296
6, 19, 22, 64, 65, 67, 83, 98, 137, 148, 161, 185 [best: 1000] 8589934592
6, 19, 22, 64, 65, 68, 83, 84, 87, 165, 176, 194 [best: 1000] 12884901888
6, 19, 22, 64, 65, 69, 80, 88, 115, 166, 176, 206 [best: 1000] 17179869184
6, 19, 22, 64, 65, 70, 78, 100, 114, 122, 174, 195 [best: 1000] 21474836480
6, 19, 22, 64, 65, 71, 80, 85, 96, 141, 190, 193 [best: 1000] 25769803776
6, 19, 22, 64, 65, 72, 81, 122, 124, 127, 154, 175 [best: 1000] 30064771072
6, 19, 22, 64, 65, 73, 78, 113, 137, 157, 181, 195 [best: 1000] 34359738368
6, 19, 22, 64, 65, 73, 102, 116, 118, 141, 158, 177 [best: 1000] 38654705664
6, 19, 22, 64, 65, 74, 87, 101, 111, 161, 212, 239 [best: 1000] 42949672960
6, 19, 22, 64, 65, 75, 80, 86, 101, 160, 186, 267 [best: 1000] 47244640256
6, 19, 22, 64, 65, 75, 95, 99, 143, 144, 157, 191 [best: 1000] 51539607552
6, 19, 22, 64, 65, 76, 84, 89, 110, 164, 183, 206 [best: 1000] 55834574848
6, 19, 22, 64, 65, 77, 80, 83, 88, 108, 112, 205 [best: 1000] 60129542144
6, 19, 22, 64, 65, 78, 86, 90, 108, 134, 191, 229 [best: 1000] 64424509440
6, 19, 22, 64, 65, 80, 86, 118, 134, 151, 194, 196 [best: 1000] 68719476736
6, 19, 22, 64, 65, 81, 104, 105, 116, 125, 171, 185 [best: 1000] 73014444032
6, 19, 22, 64, 65, 84, 86, 97, 113, 119, 160, 204 [best: 1000] 77309411328
6, 19, 22, 64, 65, 85, 99, 118, 142, 166, 196, 197 [best: 1000] 81604378624
6, 19, 22, 64, 65, 86, 111, 114, 149, 169, 183, 194 [best: 1000] 85899345920
6, 19, 22, 64, 65, 87, 105, 135, 150, 153, 186, 223 [best: 1000] 90194313216
6, 19, 22, 64, 65, 90, 96, 121, 152, 154, 183, 213 [best: 1000] 94489280512
6, 19, 22, 64, 66, 67, 82, 84, 112, 152, 175, 213 [best: 1000] 98784247808
6, 19, 22, 64, 66, 68, 75, 107, 115, 123, 151, 199 [best: 1000] 103079215104
6, 19, 22, 64, 66, 68, 103, 105, 131, 141, 149, 171 [best: 1000] 107374182400
6, 19, 22, 64, 66, 69, 83, 115, 118, 155, 168, 188 [best: 1000] 111669149696
6, 19, 22, 64, 66, 70, 75, 79, 87, 138, 199, 209 [best: 1000] 115964116992
6, 19, 22, 64, 66, 70, 99, 112, 128, 148, 182, 190 [best: 1000] 120259084288
6, 19, 22, 64, 66, 71, 86, 100, 116, 117, 165, 166 [best: 1000] 124554051584
6, 19, 22, 64, 66, 72, 80, 84, 106, 118, 171, 180 [best: 1000] 128849018880
6, 19, 22, 64, 66, 73, 74, 128, 138, 149, 185, 209 [best: 1000] 133143986176
6, 19, 22, 64, 66, 73, 88, 90, 142, 169, 182, 233 [best: 1000] 137438953472
6, 19, 22, 64, 66, 74, 76, 92, 108, 114, 175, 205 [best: 1000] 141733920768
6, 19, 22, 64, 66, 74, 89, 92, 106, 188, 223, 246 [best: 1000] 146028888064
6, 19, 22, 64, 66, 75, 76, 135, 141, 168, 178, 216 [best: 1000] 150323855360
6, 19, 22, 64, 66, 75, 85, 104, 160, 173, 180, 211 [best: 1000] 154618822656
6, 19, 22, 64, 66, 75, 97, 128, 132, 138, 170, 201 [best: 1000] 158913789952
6, 19, 22, 64, 66, 76, 78, 99, 112, 127, 178, 202 [best: 1000] 163208757248
6, 19, 22, 64, 66, 76, 92, 97, 116, 126, 132, 145 [best: 1000] 167503724544
6, 19, 22, 64, 66, 77, 83, 99, 139, 142, 155, 159 [best: 1000] 171798691840
6, 19, 22, 64, 66, 78, 81, 99, 100, 122, 133, 177 [best: 1000] 176093659136
6, 19, 22, 64, 66, 79, 86, 97, 100, 119, 142, 191 [best: 1000] 180388626432
6, 19, 22, 64, 66, 80, 97, 101, 130, 138, 202, 216 [best: 1000] 184683593728
6, 19, 22, 64, 66, 81, 96, 107, 108, 110, 119, 162 [best: 1000] 188978561024
6, 19, 22, 64, 66, 82, 89, 136, 168, 175, 207, 217 [best: 1000] 193273528320
6, 19, 22, 64, 66, 83, 88, 96, 128, 133, 145, 176 [best: 1000] 197568495616
6, 19, 22, 64, 66, 84, 91, 105, 124, 135, 161, 204 [best: 1000] 201863462912
6, 19, 22, 64, 66, 85, 89, 120, 134, 148, 164, 226 [best: 1000] 206158430208
6, 19, 22, 64, 66, 86, 98, 116, 126, 167, 186, 189 [best: 1000] 210453397504
6, 19, 22, 64, 66, 88, 91, 94, 102, 133, 170, 207 [best: 1000] 214748364800
6, 19, 22, 64, 66, 89, 93, 97, 108, 138, 149, 184 [best: 1000] 219043332096
6, 19, 22, 64, 66, 89, 106, 107, 118, 142, 210, 218 [best: 1000] 223338299392
6, 19, 22, 64, 66, 91, 106, 122, 134, 154, 198, 224 [best: 1000] 227633266688
6, 19, 22, 64, 67, 68, 71, 79, 90, 97, 135, 184 [best: 1000] 231928233984
6, 19, 22, 64, 67, 69, 74, 97, 135, 146, 152, 172 [best: 1000] 236223201280
6, 19, 22, 64, 67, 70, 77, 92, 114, 138, 170, 184 [best: 1000] 240518168576
6, 19, 22, 64, 67, 71, 87, 97, 122, 130, 168, 215 [best: 1000] 244813135872
6, 19, 22, 64, 67, 73, 74, 76, 87, 191, 196, 233 [best: 1000] 249108103168
6, 19, 22, 64, 67, 73, 98, 134, 143, 144, 179, 228 [best: 1000] 253403070464
6, 19, 22, 64, 67, 74, 90, 118, 131, 162, 163, 188 [best: 1000] 257698037760
6, 19, 22, 64, 67, 75, 85, 91, 98, 116, 170, 208 [best: 1000] 261993005056
6, 19, 22, 64, 67, 76, 77, 87, 117, 147, 162, 195 [best: 1000] 266287972352
6, 19, 22, 64, 67, 76, 107, 123, 130, 163, 192, 210 [best: 1000] 270582939648
6, 19, 22, 64, 67, 78, 94, 95, 120, 125, 158, 172 [best: 1000] 274877906944
6, 19, 22, 64, 67, 80, 100, 114, 125, 153, 171, 185 [best: 1000] 279172874240
6, 19, 22, 64, 67, 84, 90, 113, 116, 123, 124, 162 [best: 1000] 283467841536
6, 19, 22, 64, 67, 86, 91, 99, 104, 112, 171, 213 [best: 1000] 287762808832
6, 19, 22, 64, 67, 87, 99, 103, 139, 143, 153, 194 [best: 1000] 292057776128
6, 19, 22, 64, 67, 90, 96, 122, 136, 154, 180, 188 [best: 1000] 296352743424
6, 19, 22, 64, 68, 69, 92, 103, 104, 123, 141, 168 [best: 1000] 300647710720
6, 19, 22, 64, 68, 70, 90, 96, 108, 109, 116, 127 [best: 1000] 304942678016
6, 19, 22, 64, 68, 71, 91, 100, 104, 113, 134, 206 [best: 1000] 309237645312
6, 19, 22, 64, 68, 72, 99, 101, 103, 113, 172, 181 [best: 1000] 313532612608
6, 19, 22, 64, 68, 73, 88, 91, 99, 173, 187, 194 [best: 1000] 317827579904
6, 19, 22, 64, 68, 74, 78, 109, 128, 135, 138, 179 [best: 1000] 322122547200
6, 19, 22, 64, 68, 74, 109, 111, 127, 128, 166, 205 [best: 1000] 326417514496
6, 19, 22, 64, 68, 75, 89, 111, 115, 124, 135, 179 [best: 1000] 330712481792
6, 19, 22, 64, 68, 76, 78, 87, 120, 131, 153, 175 [best: 1000] 335007449088
6, 19, 22, 64, 68, 76, 98, 123, 154, 179, 184, 204 [best: 1000] 339302416384
6, 19, 22, 64, 68, 77, 109, 113, 115, 132, 170, 172 [best: 1000] 343597383680
6, 19, 22, 64, 68, 79, 94, 115, 116, 132, 205, 206 [best: 1000] 347892350976
6, 19, 22, 64, 68, 81, 83, 85, 88, 127, 137, 170 [best: 1000] 352187318272
6, 19, 22, 64, 68, 84, 86, 96, 102, 105, 146, 151 [best: 1000] 356482285568
6, 19, 22, 64, 68, 86, 88, 96, 131, 138, 189, 206 [best: 1000] 360777252864
6, 19, 22, 64, 68, 87, 92, 122, 142, 173, 207, 222 [best: 1000] 365072220160
6, 19, 22, 64, 68, 88, 92, 97, 141, 182, 195, 197 [best: 1000] 369367187456
6, 19, 22, 64, 68, 90, 91, 107, 115, 125, 160 [best: 1000] 373662154752
6, 19, 22, 64, 69, 70, 73, 90, 107, 112, 130, 162 [best: 1000] 377957122048
6, 19, 22, 64, 69, 71, 74, 90, 107, 111, 117, 195 [best: 1000] 382252089344
6, 19, 22, 64, 69, 72, 74, 115, 148, 153, 155, 158, 199 [best: 1000] 386547056640
6, 19, 22, 64, 69, 73, 75, 95, 128, 148, 150, 198 [best: 1000] 390842023936
6, 19, 22, 64, 69, 73, 93, 102, 119, 159, 169, 200 [best: 1000] 395136991232
6, 19, 22, 64, 69, 74, 83, 91, 102, 118, 141, 218 [best: 1000] 399431958528
6, 19, 22, 64, 69, 75, 76, 81, 100, 102, 183, 202 [best: 1000] 403726925824
6, 19, 22, 64, 69, 75, 90, 132, 145, 157, 161, 189 [best: 1000] 408021893120
6, 19, 22, 64, 69, 76, 84, 89, 104, 146, 179, 229 [best: 1000] 412316860416
6, 19, 22, 64, 69, 77, 79, 86, 109, 110, 174, 189 [best: 1000] 416611827712
6, 19, 22, 64, 69, 78, 90, 93, 108, 145, 149, 200 [best: 1000] 420906795008
6, 19, 22, 64, 69, 80, 85, 111, 136, 162, 167, 215 [best: 1000] 425201762304
6, 19, 22, 64, 69, 81, 93, 108, 120, 121, 126, 131 [best: 1000] 429496729600
6, 19, 22, 64, 69, 84, 90, 100, 114, 155, 182, 211 [best: 1000] 433791696896
6, 19, 22, 64, 69, 85, 99, 132, 155, 175, 210, 241 [best: 1000] 438086664192
6, 19, 22, 64, 69, 86, 102, 104, 143, 166, 189, 259 [best: 1000] 442381631488
6, 19, 22, 64, 69, 87, 111, 118, 126, 169, 176, 196 [best: 1000] 446676598784
6, 19, 22, 64, 69, 90, 109, 119, 146, 182, 183, 225 [best: 1000] 450971566080
6, 19, 22, 64, 70, 71, 84, 104, 127, 130, 157, 164 [best: 1000] 455266533376
6, 19, 22, 64, 70, 72, 85, 109, 136, 137, 178, 215 [best: 1000] 459561500672
6, 19, 22, 64, 70, 73, 82, 87, 105, 123, 145, 147 [best: 1000] 463856467968
6, 19, 22, 64, 70, 74, 75, 98, 157, 173, 221 [best: 1000] 468151435264
6, 19, 22, 64, 70, 74, 92, 93, 146, 151, 154, 172 [best: 1000] 472446402560
6, 19, 22, 64, 70, 75, 82, 93, 96, 156, 159, 179 [best: 1000] 476741369856
6, 19, 22, 64, 70, 75, 100, 103, 104, 154, 167, 188 [best: 1000] 481036337152
6, 19, 22, 64, 70, 76, 88, 96, 97, 159, 180, 227 [best: 1000] 485331304448
6, 19, 22, 64, 70, 77, 89, 113, 120, 132, 144, 146 [best: 1000] 489626271744
6, 19, 22, 64, 70, 79, 85, 102, 114, 116, 205, 221 [best: 1000] 493921239040
6, 19, 22, 64, 70, 80, 94, 101, 121, 136, 151, 207 [best: 1000] 498216206336
6, 19, 22, 64, 70, 83, 87, 93, 115, 117, 120, 151 [best: 1000] 502511173632
6, 19, 22, 64, 70, 85, 87, 101, 102, 112, 149, 249 [best: 1000] 506806140928
6, 19, 22, 64, 70, 86, 91, 100, 114, 119, 192, 225 [best: 1000] 511101108224
6, 19, 22, 64, 70, 87, 96, 119, 133, 150, 178, 220 [best: 1000] 515396075520
6, 19, 22, 64, 70, 88, 100, 106, 128, 131, 151, 184 [best: 1000] 519691042816
6, 19, 22, 64, 70, 91, 104, 123, 138, 173, 203, 219 [best: 1000] 523986010112
6, 19, 22, 64, 71, 72, 86, 92, 123, 166, 179, 191 [best: 1000] 528280977408
6, 19, 22, 64, 71, 73, 85, 121, 128, 135, 201, 204, 260 [best: 1000] 532575944704
6, 19, 22, 64, 71, 74, 80, 99, 116, 125, 135, 170 [best: 1000] 536870912000
6, 19, 22, 64, 71, 74, 104, 105, 141, 179, 231, 235 [best: 1000] 541165879296
6, 19, 22, 64, 71, 75, 86, 90, 125, 132, 193, 225 [best: 1000] 545460846592
6, 19, 22, 64, 71, 75, 104, 142, 147, 153, 192, 221, 244 [best: 1000] 549755813888
6, 19, 22, 64, 71, 76, 89, 118, 122, 169, 202, 225 [best: 1000] 554050781184
6, 19, 22, 64, 71, 77, 83, 112, 113, 119, 125, 177 [best: 1000] 558345748480
6, 19, 22, 64, 71, 78, 88, 112, 157, 177, 181, 209 [best: 1000] 562640715776
6, 19, 22, 64, 71, 80, 86, 106, 117, 121, 164, 192 [best: 1000] 566935683072
6, 19, 22, 64, 71, 82, 88, 109, 110, 120, 181, 214 [best: 1000] 571230650368
6, 19, 22, 64, 71, 85, 94, 109, 126, 129, 157, 168 [best: 1000] 575525617664
6, 19, 22, 64, 71, 86, 100, 129, 149, 171, 175, 235 [best: 1000] 579820584960
6, 19, 22, 64, 71, 88, 91, 126, 141, 156, 191, 236 [best: 1000] 584115552256
6, 19, 22, 64, 71, 89, 98, 132, 160, 172, 173, 240 [best: 1000] 588410519552
6, 19, 22, 64, 71, 91, 102, 116, 154, 170, 171, 196 [best: 1000] 592705486848
6, 19, 22, 64, 72, 73, 76, 84, 137, 150, 157, 199 [best: 1000] 597000454144
6, 19, 22, 64, 72, 73, 91, 110, 125, 186, 187, 218 [best: 1000] 601295421440
6, 19, 22, 64, 72, 74, 79, 87, 114, 129, 186, 222 [best: 1000] 605590388736
6, 19, 22, 64, 72, 75, 78, 92, 118, 157, 195, 207 [best: 1000] 609885356032
6, 19, 22, 64, 72, 75, 91, 105, 117, 173, 197, 220 [best: 1000] 614180323328
6, 19, 22, 64, 72, 75, 118, 123, 158, 163, 187, 202 [best: 1000] 618475290624
6, 19, 22, 64, 72, 76, 95, 105, 171, 176, 206, 249 [best: 1000] 622770257920
6, 19, 22, 64, 72, 77, 89, 118, 119, 141, 171 [best: 1000] 627065225216
6, 19, 22, 64, 72, 78, 94, 120, 124, 128, 146, 170 [best: 1000] 631360192512
6, 19, 22, 64, 72, 80, 86, 107, 120, 138, 188, 204 [best: 1000] 635655159808
6, 19, 22, 64, 72, 81, 96, 121, 124, 129, 139, 173, 195 [best: 1000] 639950127104
6, 19, 22, 64, 72, 85, 88, 114, 116, 159, 178, 229 [best: 1000] 644245094400
6, 19, 22, 64, 72, 86, 105, 112, 120, 137, 187, 191 [best: 1000] 648540061696
6, 19, 22, 64, 72, 88, 94, 104, 110, 134, 149, 191 [best: 1000] 652835028992
6, 19, 22, 64, 72, 89, 101, 117, 129, 132, 165, 207 [best: 1000] 657129996288
6, 19, 22, 64, 72, 91, 94, 114, 130, 163, 164, 178 [best: 1000] 661424963584
6, 19, 22, 64, 72, 94, 99, 103, 112, 125, 143, 156 [best: 1000] 665719930880
6, 19, 22, 64, 73, 74, 81, 122, 129, 143, 219, 223 [best: 1000] 670014898176
6, 19, 22, 64, 73, 74, 92, 121, 159, 183, 220, 233, 260 [best: 1000] 674309865472
6, 19, 22, 64, 73, 74, 117, 119, 131, 166, 193, 200 [best: 1000] 678604832768
6, 19, 22, 64, 73, 75, 83, 108, 110, 185, 191, 204, 238 [best: 1000] 682899800064
6, 19, 22, 64, 73, 75, 92, 111, 149, 169, 186, 256 [best: 1000] 687194767360
6, 19, 22, 64, 73, 75, 108, 110, 117, 170, 228, 243 [best: 1000] 691489734656
6, 19, 22, 64, 73, 76, 82, 105, 158, 187, 189, 222 [best: 1000] 695784701952
6, 19, 22, 64, 73, 76, 93, 118, 127, 163, 185, 220 [best: 1000] 700079669248
6, 19, 22, 64, 73, 77, 79, 90, 105, 167, 188, 235 [best: 1000] 704374636544
6, 19, 22, 64, 73, 77, 96, 103, 105, 122, 152, 162 [best: 1000] 708669603840
6, 19, 22, 64, 73, 78, 90, 110, 119, 159, 160, 188 [best: 1000] 712964571136
6, 19, 22, 64, 73, 79, 88, 121, 132, 136, 142, 148 [best: 1000] 717259538432
6, 19, 22, 64, 73, 80, 87, 120, 130, 148, 159, 196 [best: 1000] 721554505728
6, 19, 22, 64, 73, 81, 83, 128, 129, 133, 160, 182 [best: 1000] 725849473024
6, 19, 22, 64, 73, 82, 84, 91, 97, 99, 105, 173 [best: 1000] 730144440320
6, 19, 22, 64, 73, 83, 85, 116, 124, 143, 157, 180 [best: 1000] 734439407616
6, 19, 22, 64, 73, 84, 94, 111, 119, 128, 144, 186 [best: 1000] 738734374912
6, 19, 22, 64, 73, 86, 93, 100, 131, 138, 142, 200 [best: 1000] 743029342208
6, 19, 22, 64, 73, 87, 94, 107, 118, 135, 169, 174 [best: 1000] 747324309504
6, 19, 22, 64, 73, 87, 114, 124, 128, 180, 207, 219 [best: 1000] 751619276800
6, 19, 22, 64, 73, 88, 99, 111, 146, 153, 217, 221, 252 [best: 1000] 755914244096
6, 19, 22, 64, 73, 89, 90, 97, 114, 128, 142, 152 [best: 1000] 760209211392
6, 19, 22, 64, 73, 90, 93, 101, 135, 146, 158, 211 [best: 1000] 764504178688
6, 19, 22, 64, 73, 90, 110, 138, 149, 151, 163, 222 [best: 1000] 768799145984
6, 19, 22, 64, 73, 91, 99, 129, 140, 171, 172, 183 [best: 1000] 773094113280
6, 19, 22, 64, 73, 91, 126, 134, 157, 158, 181, 266 [best: 1000] 777389080576
6, 19, 22, 64, 73, 92, 110, 138, 143, 148, 207, 254 [best: 1000] 781684047872
6, 19, 22, 64, 73, 93, 112, 128, 131, 164, 165, 203 [best: 1000] 785979015168
6, 19, 22, 64, 73, 95, 109, 121, 122, 180, 183, 228 [best: 1000] 790273982464
6, 19, 22, 64, 73, 98, 108, 126, 130, 133, 187, 232 [best: 1000] 794568949760
6, 19, 22, 64, 74, 75, 79, 85, 125, 150, 208, 239 [best: 1000] 798863917056
6, 19, 22, 64, 74, 75, 88, 113, 149, 164, 197, 207 [best: 1000] 803158884352
6, 19, 22, 64, 74, 75, 98, 101, 113, 178, 186, 215 [best: 1000] 807453851648
6, 19, 22, 64, 74, 76, 77, 83, 101, 138, 158, 162 [best: 1000] 811748818944
6, 19, 22, 64, 74, 76, 88, 90, 140, 142, 165, 244 [best: 1000] 816043786240
6, 19, 22, 64, 74, 76, 99, 110, 142, 179, 211, 220 [best: 1000] 820338753536
6, 19, 22, 64, 74, 77, 81, 104, 118, 130, 161, 190, 213 [best: 1000] 824633720832
6, 19, 22, 64, 74, 77, 95, 100, 106, 134, 151, 192 [best: 1000] 828928688128
6, 19, 22, 64, 74, 78, 87, 92, 101, 151, 179, 253 [best: 1000] 833223655424
6, 19, 22, 64, 74, 79, 83, 84, 87, 134, 183, 208 [best: 1000] 837518622720
6, 19, 22, 64, 74, 79, 108, 133, 140, 165, 174, 214 [best: 1000] 841813590016
6, 19, 22, 64, 74, 80, 92, 116, 128, 130, 215, 220 [best: 1000] 846108557312
6, 19, 22, 64, 74, 81, 87, 91, 98, 125, 143 [best: 1000] 850403524608
6, 19, 22, 64, 74, 82, 86, 107, 108, 129, 143, 184 [best: 1000] 854698491904
6, 19, 22, 64, 74, 83, 91, 140, 151, 155, 159, 180, 233 [best: 1000] 858993459200
6, 19, 22, 64, 74, 84, 94, 124, 135, 144, 170, 171 [best: 1000] 863288426496
6, 19, 22, 64, 74, 85, 105, 115, 150, 174, 214, 228 [best: 1000] 867583393792
6, 19, 22, 64, 74, 87, 92, 124, 126, 158, 177, 189 [best: 1000] 871878361088
6, 19, 22, 64, 74, 88, 89, 111, 144, 150, 195, 231 [best: 1000] 876173328384
6, 19, 22, 64, 74, 88, 112, 129, 168, 171, 186, 198 [best: 1000] 880468295680
6, 19, 22, 64, 74, 89, 109, 128, 150, 163, 169, 243 [best: 1000] 884763262976
6, 19, 22, 64, 74, 90, 99, 110, 137, 140, 153, 231 [best: 1000] 889058230272
6, 19, 22, 64, 74, 91, 92, 105, 106, 145, 172, 214 [best: 1000] 893353197568
6, 19, 22, 64, 74, 91, 103, 110, 120, 131, 140, 163 [best: 1000] 897648164864
6, 19, 22, 64, 74, 91, 118, 125, 132, 163, 177, 231, 248 [best: 1000] 901943132160
6, 19, 22, 64, 74, 92, 108, 121, 126, 169, 203, 221 [best: 1000] 906238099456
6, 19, 22, 64, 74, 94, 96, 120, 146, 151, 197, 217 [best: 1000] 910533066752
6, 19, 22, 64, 74, 94, 121, 144, 151, 166, 175, 255 [best: 1000] 914828034048
6, 19, 22, 64, 74, 96, 115, 130, 132, 149, 209, 239, 281 [best: 1000] 919123001344
6, 19, 22, 64, 75, 76, 77, 84, 146, 178, 192, 253, 290 [best: 1000] 923417968640
6, 19, 22, 64, 75, 76, 84, 144, 158, 172, 221, 249 [best: 1000] 927712935936
6, 19, 22, 64, 75, 76, 94, 102, 137, 147, 193, 197 [best: 1000] 932007903232
6, 19, 22, 64, 75, 76, 114, 132, 146, 156, 165, 179 [best: 1000] 936302870528
6, 19, 22, 64, 75, 77, 91, 127, 158, 170, 227 [best: 1000] 940597837824
6, 19, 22, 64, 75, 78, 84, 110, 135, 143, 165, 227 [best: 1000] 944892805120
6, 19, 22, 64, 75, 78, 101, 131, 145, 160, 171, 185 [best: 1000] 949187772416
6, 19, 22, 64, 75, 79, 87, 109, 145, 157, 161, 179 [best: 1000] 953482739712
6, 19, 22, 64, 75, 79, 117, 126, 132, 142, 197, 243 [best: 1000] 957777707008
6, 19, 22, 64, 75, 80, 88, 138, 145, 154, 156, 230 [best: 1000] 962072674304
6, 19, 22, 64, 75, 80, 101, 112, 129, 157, 174, 238 [best: 1000] 966367641600
6, 19, 22, 64, 75, 81, 86, 94, 95, 100, 140, 207 [best: 1000] 970662608896
6, 19, 22, 64, 75, 82, 83, 96, 146, 184, 217, 228 [best: 1000] 974957576192
6, 19, 22, 64, 75, 82, 91, 119, 139, 191, 200, 203, 217 [best: 1000] 979252543488
6, 19, 22, 64, 75, 82, 104, 118, 122, 148, 153, 227 [best: 1000] 983547510784
6, 19, 22, 64, 75, 83, 84, 108, 136, 143, 165, 192 [best: 1000] 987842478080
6, 19, 22, 64, 75, 83, 101, 129, 146, 201, 216, 225 [best: 1000] 992137445376
6, 19, 22, 64, 75, 84, 91, 97, 130, 144, 210, 249 [best: 1000] 996432412672
6, 19, 22, 64, 75, 84, 109, 122, 128, 131, 170, 199 [best: 1000] 1000727379968
6, 19, 22, 64, 75, 85, 91, 110, 148, 183, 218, 262 [best: 1000] 1005022347264
6, 19, 22, 64, 75, 85, 110, 117, 120, 131, 136, 161 [best: 1000] 1009317314560
6, 19, 22, 64, 75, 86, 95, 97, 121, 123, 131, 158 [best: 1000] 1013612281856
6, 19, 22, 64, 75, 86, 114, 122, 131, 146, 206, 241 [best: 1000] 1017907249152
6, 19, 22, 64, 75, 88, 92, 115, 140, 144, 196, 235 [best: 1000] 1022202216448
6, 19, 22, 64, 75, 89, 92, 109, 121, 151, 159, 196 [best: 1000] 1026497183744
6, 19, 22, 64, 75, 90, 98, 114, 121, 156, 159, 256 [best: 1000] 1030792151040
6, 19, 22, 64, 75, 90, 119, 135, 150, 159, 166, 177 [best: 1000] 1035087118336
6, 19, 22, 64, 75, 91, 99, 111, 115, 153, 154, 183, 224 [best: 1000] 1039382085632
6, 19, 22, 64, 75, 91, 110, 121, 141, 176, 227, 246, 247 [best: 1000] 1043677052928
6, 19, 22, 64, 75, 91, 128, 133, 166, 192, 215, 234 [best: 1000] 1047972020224
6, 19, 22, 64, 75, 92, 104, 125, 143, 178, 221, 251 [best: 1000] 1052266987520
6, 19, 22, 64, 75, 92, 120, 138, 161, 165, 219, 230 [best: 1000] 1056561954816
6, 19, 22, 64, 75, 94, 100, 123, 130, 132, 158, 218 [best: 1000] 1060856922112
6, 19, 22, 64, 75, 96, 105, 112, 135, 155, 204, 215 [best: 1000] 1065151889408
6, 19, 22, 64, 75, 98, 105, 110, 131, 140, 153, 175 [best: 1000] 1069446856704
6, 19, 22, 64, 75, 100, 106, 110, 111, 113, 148, 197 [best: 1000] 1073741824000
6, 19, 22, 64, 75, 101, 115, 136, 139, 168, 185, 204 [best: 1000] 1078036791296
6, 19, 22, 64, 76, 77, 79, 130, 133, 140, 188, 193 [best: 1000] 1082331758592
6, 19, 22, 64, 76, 77, 92, 144, 154, 162, 224, 226 [best: 1000] 1086626725888
6, 19, 22, 64, 76, 78, 88, 91, 127, 161, 212, 216 [best: 1000] 1090921693184
6, 19, 22, 64, 76, 79, 90, 122, 124, 142, 152, 175 [best: 1000] 1095216660480
6, 19, 22, 64, 76, 80, 85, 133, 154, 163, 166, 183 [best: 1000] 1099511627776
6, 19, 22, 64, 76, 80, 107, 130, 146, 169, 174, 209 [best: 1000] 1103806595072
6, 19, 22, 64, 76, 81, 92, 95, 105, 142, 153, 221 [best: 1000] 1108101562368
6, 19, 22, 64, 76, 81, 117, 126, 135, 159, 191, 202 [best: 1000] 1112396529664
6, 19, 22, 64, 76, 82, 104, 129, 133, 135, 137, 194 [best: 1000] 1116691496960
6, 19, 22, 64, 76, 83, 95, 127, 133, 165, 166, 184 [best: 1000] 1120986464256
6, 19, 22, 64, 76, 84, 90, 105, 118, 127, 208, 236 [best: 1000] 1125281431552
6, 19, 22, 64, 76, 85, 89, 120, 152, 173, 184 [best: 1000] 1129576398848
6, 19, 22, 64, 76, 85, 110, 140, 161, 174, 227, 238 [best: 1000] 1133871366144
6, 19, 22, 64, 76, 86, 96, 126, 145, 151, 188, 203 [best: 1000] 1138166333440
6, 19, 22, 64, 76, 86, 120, 129, 176, 187, 202, 203 [best: 1000] 1142461300736
6, 19, 22, 64, 76, 89, 90, 97, 118, 146, 175, 212 [best: 1000] 1146756268032
6, 19, 22, 64, 76, 90, 97, 120, 130, 132, 133, 174 [best: 1000] 1151051235328
6, 19, 22, 64, 76, 90, 122, 134, 162, 180, 202, 240 [best: 1000] 1155346202624
6, 19, 22, 64, 76, 91, 110, 153, 155, 202, 231, 236 [best: 1000] 1159641169920
6, 19, 22, 64, 76, 92, 103, 110, 170, 204, 246 [best: 1000] 1163936137216
6, 19, 22, 64, 76, 92, 118, 132, 134, 161, 187, 247 [best: 1000] 1168231104512
6, 19, 22, 64, 76, 94, 104, 119, 158, 192, 216, 250 [best: 1000] 1172526071808
6, 19, 22, 64, 76, 97, 101, 114, 131, 134, 151, 193 [best: 1000] 1176821039104
6, 19, 22, 64, 76, 99, 117, 126, 130, 164, 170, 208 [best: 1000] 1181116006400
6, 19, 22, 64, 77, 79, 83, 86, 104, 120, 152, 168 [best: 1000] 1185410973696
6, 19, 22, 64, 77, 80, 85, 88, 157, 183, 184, 214 [best: 1000] 1189705940992
6, 19, 22, 64, 77, 81, 82, 101, 105, 125, 147, 166 [best: 1000] 1194000908288
6, 19, 22, 64, 77, 82, 86, 108, 134, 147, 164, 210 [best: 1000] 1198295875584
6, 19, 22, 64, 77, 83, 94, 109, 123, 147, 149, 179 [best: 1000] 1202590842880
6, 19, 22, 64, 77, 84, 99, 103, 132, 135, 175, 217 [best: 1000] 1206885810176
6, 19, 22, 64, 77, 86, 89, 104, 110, 139, 156, 205 [best: 1000] 1211180777472
6, 19, 22, 64, 77, 88, 101, 127, 128, 141, 147, 230 [best: 1000] 1215475744768
6, 19, 22, 64, 77, 89, 98, 112, 159, 162, 172, 240 [best: 1000] 1219770712064
6, 19, 22, 64, 77, 92, 107, 118, 121, 163, 179, 236 [best: 1000] 1224065679360
6, 19, 22, 64, 77, 96, 102, 123, 141, 156, 199, 266 [best: 1000] 1228360646656
6, 19, 22, 64, 78, 80, 85, 91, 104, 116, 165, 224 [best: 1000] 1232655613952
6, 19, 22, 64, 78, 81, 98, 113, 116, 170, 180, 200 [best: 1000] 1236950581248
6, 19, 22, 64, 78, 82, 111, 132, 133, 143, 174, 200 [best: 1000] 1241245548544
6, 19, 22, 64, 78, 84, 100, 106, 120, 162, 178 [best: 1000] 1245540515840
6, 19, 22, 64, 78, 87, 90, 96, 116, 133, 150, 189 [best: 1000] 1249835483136
6, 19, 22, 64, 78, 89, 97, 131, 134, 165, 210, 221 [best: 1000] 1254130450432
6, 19, 22, 64, 78, 92, 105, 115, 116, 134, 200, 217 [best: 1000] 1258425417728
6, 19, 22, 64, 79, 80, 107, 113, 114, 140, 156, 207 [best: 1000] 1262720385024
6, 19, 22, 64, 79, 82, 103, 110, 149, 154, 169, 203 [best: 1000] 1267015352320
6, 19, 22, 64, 79, 85, 99, 107, 117, 124, 163, 188 [best: 1000] 1271310319616
6, 19, 22, 64, 79, 87, 90, 96, 135, 142, 185, 244 [best: 1000] 1275605286912
6, 19, 22, 64, 79, 88, 91, 103, 128, 135, 142, 167 [best: 1000] 1279900254208
6, 19, 22, 64, 79, 89, 100, 101, 137, 161, 194, 201 [best: 1000] 1284195221504
6, 19, 22, 64, 79, 92, 101, 112, 128, 140, 207, 224 [best: 1000] 1288490188800
6, 19, 22, 64, 80, 81, 92, 94, 137, 154, 167, 207 [best: 1000] 1292785156096
6, 19, 22, 64, 80, 82, 88, 103, 126, 141, 159, 167 [best: 1000] 1297080123392
6, 19, 22, 64, 80, 82, 107, 108, 118, 134, 169, 170 [best: 1000] 1301375090688
6, 19, 22, 64, 80, 84, 85, 90, 109, 110, 219, 248 [best: 1000] 1305670057984
6, 19, 22, 64, 80, 85, 86, 96, 114, 141, 148, 178 [best: 1000] 1309965025280
6, 19, 22, 64, 80, 85, 116, 126, 144, 152, 179, 230 [best: 1000] 1314259992576
6, 19, 22, 64, 80, 87, 95, 108, 119, 129, 171, 210 [best: 1000] 1318554959872
6, 19, 22, 64, 80, 89, 91, 105, 116, 117, 151, 224 [best: 1000] 1322849927168
6, 19, 22, 64, 80, 90, 98, 102, 115, 127, 150, 189 [best: 1000] 1327144894464
6, 19, 22, 64, 80, 91, 93, 101, 104, 121, 186, 188 [best: 1000] 1331439861760
6, 19, 22, 64, 80, 91, 110, 130, 133, 152, 168, 262 [best: 1000] 1335734829056
6, 19, 22, 64, 80, 92, 108, 115, 157, 189, 203, 233 [best: 1000] 1340029796352
6, 19, 22, 64, 80, 94, 107, 116, 148, 156, 187, 218 [best: 1000] 1344324763648
6, 19, 22, 64, 80, 98, 107, 109, 126, 135, 172, 195 [best: 1000] 1348619730944
total chains: 1349079778605
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:               16                       242               15               10               23
10:              362                      5968               16                5               29
11:             9999                    178773               17                3               36
12:           325952                   6402016               19                1               41
13:         12211689                 262624163               21                0               46
14:        516191799               12073721324               23                0               51
15:      24296625148              614638515175               25                0               56
16:       1133741733               30250597216               26                0               61
17:          4720739                 146981945               31                2               64
18:             1076                     40664               37               12               57
19:                0                         0                0                0                0
20:                0                         0                0                0                0
21:                0                         0                0                0                0

real	161m24.937s
user	130m16.867s
sys	1m6.960s
stderr end
2025-05-01 03:52:32 (4306): called boinc_finish(0)

</stderr_txt>
]]>

© 2025 UC Berkeley