Task 7555
| Name | batch_88__job_job-005404_0 |
| Workunit | 7532 |
| Created | 26 Apr 2025, 21:29:46 UTC |
| Sent | 27 Apr 2025, 15:42:56 UTC |
| Report deadline | 4 May 2025, 15:42:56 UTC |
| Received | 27 Apr 2025, 21:31:57 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 32598 |
| Run time | 1 hours 1 min 30 sec |
| CPU time | 0 sec |
| Validate state | Valid |
| Credit | 81.66 |
| Device peak FLOPS | 1.00 GFLOPS |
| Application version | Universal Docker app v1.09 (docker) windows_x86_64 |
| Peak working set size | 12.29 MB |
| Peak swap size | 2.55 MB |
| Peak disk usage | 388.47 KB |
Stderr output
<core_client_version>8.2.1</core_client_version>
<![CDATA[
<stderr_txt>
005404_0
command output:
time="2025-04-27T21:31:03Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."100.00% 888.8kB / 8.23GBEOMrunning docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0"
command output:
time="2025-04-27T21:31:13Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES4108d34c3e09 localhost/boinc__boinc.berkeley.edu_central__batch_88__job_job-005404:latest /bin/sh -c ./main... About an hour ago Up About an hour boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0EOMrunning docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0
command output:
time="2025-04-27T21:31:13Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."100.00% 888.8kB / 8.23GBEOMrunning docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0"
command output:
time="2025-04-27T21:31:24Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES4108d34c3e09 localhost/boinc__boinc.berkeley.edu_central__batch_88__job_job-005404:latest /bin/sh -c ./main... About an hour ago Up About an hour boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0EOMrunning docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0
command output:
time="2025-04-27T21:31:24Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."100.00% 888.8kB / 8.23GBEOMrunning docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0"
command output:
time="2025-04-27T21:31:34Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES4108d34c3e09 localhost/boinc__boinc.berkeley.edu_central__batch_88__job_job-005404:latest /bin/sh -c ./main... About an hour ago Up About an hour boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0EOMrunning docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0
command output:
time="2025-04-27T21:31:34Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."100.00% 888.8kB / 8.23GBEOMrunning docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0"
command output:
time="2025-04-27T21:31:45Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES4108d34c3e09 localhost/boinc__boinc.berkeley.edu_central__batch_88__job_job-005404:latest /bin/sh -c ./main... About an hour ago Exited (0) 8 seconds ago boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0EOMrunning docker command: logs boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0
command output:
time="2025-04-27T21:31:45Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."N = 15, MAX_LENGTH: 21, CAPTURE_STATS: 17 targets: 010010000001110 000001100001101 001000000000101 010010010010000 010111010100000 011100000000110 00111110111111122, 26, 47 [best: 1000] 022, 26, 47, 48, 50, 55, 66, 79, 94, 161, 210 [best: 1000] 429496729622, 26, 47, 48, 51, 53, 55, 78, 100, 118, 215 [best: 1000] 858993459222, 26, 47, 48, 51, 75, 92, 115, 135, 166, 185 [best: 1000] 1288490188822, 26, 47, 48, 52, 70, 83, 95, 115, 144, 155 [best: 1000] 1717986918422, 26, 47, 48, 53, 66, 72, 116, 121, 187, 196 [best: 1000] 2147483648022, 26, 47, 48, 54, 57, 117, 121, 133, 144, 147 [best: 1000] 2576980377622, 26, 47, 48, 54, 78, 89, 101, 159, 182, 196 [best: 1000] 3006477107222, 26, 47, 48, 55, 60, 90, 91, 113, 153, 204 [best: 1000] 3435973836822, 26, 47, 48, 55, 72, 86, 88, 165, 171, 236 [best: 1000] 3865470566422, 26, 47, 48, 55, 86, 93, 107, 140, 194, 230 [best: 1000] 4294967296022, 26, 47, 48, 56, 65, 74, 94, 116, 126, 143 [best: 1000] 4724464025622, 26, 47, 48, 57, 58, 71, 106, 135, 142, 154 [best: 1000] 5153960755222, 26, 47, 48, 57, 87, 100, 119, 135, 150, 210 [best: 1000] 5583457484822, 26, 47, 48, 58, 77, 84, 104, 149, 170, 186, 202 [best: 1000] 6012954214422, 26, 47, 48, 59, 81, 82, 86, 92, 107, 146 [best: 1000] 6442450944022, 26, 47, 48, 61, 80, 86, 108, 114, 167, 226 [best: 1000] 6871947673622, 26, 47, 48, 64, 67, 76, 96, 143, 150, 198 [best: 1000] 7301444403222, 26, 47, 48, 65, 82, 86, 92, 126, 129, 174 [best: 1000] 7730941132822, 26, 47, 48, 67, 72, 95, 98, 105, 159, 183 [best: 1000] 8160437862422, 26, 47, 48, 67, 87, 114, 126, 152, 179, 213, 240 [best: 1000] 8589934592022, 26, 47, 48, 69, 76, 85, 92, 109, 114, 155 [best: 1000] 9019431321622, 26, 47, 48, 72, 76, 79, 144, 157, 164, 168 [best: 1000] 9448928051222, 26, 47, 49, 50, 54, 62, 64, 70, 93, 148 [best: 1000] 9878424780822, 26, 47, 49, 51, 55, 100, 104, 125, 136, 211 [best: 1000] 10307921510422, 26, 47, 49, 52, 62, 70, 80, 112, 151, 170 [best: 1000] 10737418240022, 26, 47, 49, 53, 67, 92, 98, 106, 119, 120 [best: 1000] 11166914969622, 26, 47, 49, 54, 65, 88, 92, 101, 135, 144 [best: 1000] 11596411699222, 26, 47, 49, 55, 59, 83, 131, 132, 168, 226 [best: 1000] 12025908428822, 26, 47, 49, 55, 74, 85, 125, 142, 146, 164 [best: 1000] 12455405158422, 26, 47, 49, 56, 58, 70, 99, 102, 146, 149, 191 [best: 1000] 12884901888022, 26, 47, 49, 57, 58, 112, 119, 120, 145, 150, 255 [best: 1000] 13314398617622, 26, 47, 49, 58, 63, 69, 94, 114, 118, 172 [best: 1000] 13743895347222, 26, 47, 49, 59, 70, 76, 84, 103, 177, 178, 210 [best: 1000] 14173392076822, 26, 47, 49, 62, 69, 91, 93, 118, 124, 148 [best: 1000] 14602888806422, 26, 47, 49, 66, 73, 79, 88, 126, 134, 179 [best: 1000] 15032385536022, 26, 47, 49, 67, 87, 89, 124, 140, 141, 165 [best: 1000] 15461882265622, 26, 47, 50, 51, 52, 79, 93, 116, 125, 133 [best: 1000] 15891378995222, 26, 47, 50, 51, 75, 81, 82, 119, 136 [best: 1000] 16320875724822, 26, 47, 50, 52, 67, 89, 102, 114, 184, 229 [best: 1000] 16750372454422, 26, 47, 50, 53, 58, 87, 136, 138, 178, 192 [best: 1000] 17179869184022, 26, 47, 50, 53, 76, 84, 87, 130, 142 [best: 1000] 17609365913622, 26, 47, 50, 54, 58, 81, 114, 123, 142, 208 [best: 1000] 18038862643222, 26, 47, 50, 54, 71, 90, 105, 163, 179, 212 [best: 1000] 18468359372822, 26, 47, 50, 55, 56, 88, 126, 171, 198, 221 [best: 1000] 18897856102422, 26, 47, 50, 55, 63, 80, 88, 103, 189, 224 [best: 1000] 19327352832022, 26, 47, 50, 55, 70, 93, 124, 147, 152, 217 [best: 1000] 19756849561622, 26, 47, 50, 55, 81, 101, 130, 160, 169, 177 [best: 1000] 20186346291222, 26, 47, 50, 55, 99, 115, 117, 131, 138, 146, 237 [best: 1000] 20615843020822, 26, 47, 50, 56, 67, 69, 79, 109, 162, 232 [best: 1000] 21045339750422, 26, 47, 50, 56, 86, 92, 101, 159, 166, 232 [best: 1000] 21474836480022, 26, 47, 50, 57, 67, 84, 92, 109, 110, 178 [best: 1000] 21904333209622, 26, 47, 50, 58, 59, 66, 88, 99, 125, 176 [best: 1000] 22333829939222, 26, 47, 50, 58, 74, 94, 115, 149, 183, 216 [best: 1000] 22763326668822, 26, 47, 50, 59, 68, 84, 104, 130, 168, 177 [best: 1000] 23192823398422, 26, 47, 50, 60, 78, 93, 105, 108, 129, 132 [best: 1000] 23622320128022, 26, 47, 50, 62, 75, 88, 109, 116, 137, 161 [best: 1000] 24051816857622, 26, 47, 50, 64, 77, 88, 95, 116, 125, 141 [best: 1000] 24481313587222, 26, 47, 50, 66, 68, 90, 122, 147, 173, 183 [best: 1000] 24910810316822, 26, 47, 50, 67, 68, 69, 94, 117, 136, 184 [best: 1000] 25340307046422, 26, 47, 50, 67, 79, 92, 96, 138, 151, 206 [best: 1000] 25769803776022, 26, 47, 50, 67, 93, 120, 133, 149, 182, 209 [best: 1000] 26199300505622, 26, 47, 50, 68, 84, 98, 131, 133, 162, 174 [best: 1000] 26628797235222, 26, 47, 50, 70, 79, 104, 112, 115, 184, 217 [best: 1000] 27058293964822, 26, 47, 50, 74, 81, 91, 128, 154, 158, 198 [best: 1000] 27487790694422, 26, 47, 51, 52, 57, 58, 117, 164, 182, 203 [best: 1000] 27917287424022, 26, 47, 51, 53, 55, 97, 130, 156, 169, 198, 232 [best: 1000] 28346784153622, 26, 47, 51, 53, 69, 80, 98, 124, 160, 197 [best: 1000] 28776280883222, 26, 47, 51, 54, 57, 89, 121, 147, 152, 198 [best: 1000] 29205777612822, 26, 47, 51, 54, 70, 80, 127, 133, 160, 217 [best: 1000] 29635274342422, 26, 47, 51, 55, 57, 70, 72, 78, 92, 164 [best: 1000] 30064771072022, 26, 47, 51, 55, 65, 87, 107, 163, 198, 252 [best: 1000] 30494267801622, 26, 47, 51, 55, 74, 78, 98, 109, 169, 204 [best: 1000] 30923764531222, 26, 47, 51, 55, 87, 100, 121, 132, 165, 187 [best: 1000] 31353261260822, 26, 47, 51, 56, 65, 68, 83, 133, 140, 175 [best: 1000] 31782757990422, 26, 47, 51, 56, 82, 97, 148, 167, 185, 200 [best: 1000] 32212254720022, 26, 47, 51, 57, 67, 104, 108, 110, 157, 169 [best: 1000] 32641751449622, 26, 47, 51, 58, 61, 69, 113, 147, 160, 178 [best: 1000] 33071248179222, 26, 47, 51, 58, 75, 79, 98, 120, 158, 178 [best: 1000] 33500744908822, 26, 47, 51, 59, 75, 76, 89, 132, 161, 181 [best: 1000] 33930241638422, 26, 47, 51, 61, 68, 83, 123, 150, 152, 177 [best: 1000] 34359738368022, 26, 47, 51, 63, 69, 89, 103, 118, 131, 140 [best: 1000] 34789235097622, 26, 47, 51, 65, 68, 106, 133, 157, 194, 205 [best: 1000] 35218731827222, 26, 47, 51, 66, 69, 90, 99, 151, 175, 202 [best: 1000] 35648228556822, 26, 47, 51, 67, 72, 78, 112, 146, 165, 208 [best: 1000] 36077725286422, 26, 47, 51, 67, 83, 92, 111, 114, 155, 199 [best: 1000] 36507222016022, 26, 47, 51, 68, 80, 90, 108, 120, 141, 162 [best: 1000] 36936718745622, 26, 47, 51, 69, 90, 97, 100, 148, 150, 195, 197 [best: 1000] 37366215475222, 26, 47, 51, 72, 79, 102, 107, 111, 132, 196 [best: 1000] 37795712204822, 26, 47, 52, 53, 62, 74, 104, 157, 178, 189 [best: 1000] 38225208934422, 26, 47, 52, 53, 84, 109, 118, 143, 150, 179 [best: 1000] 38654705664022, 26, 47, 52, 54, 61, 89, 98, 99, 170, 173 [best: 1000] 39084202393622, 26, 47, 52, 54, 78, 116, 129, 137, 155, 176 [best: 1000] 39513699123222, 26, 47, 52, 55, 58, 79, 95, 112, 175, 180 [best: 1000] 39943195852822, 26, 47, 52, 55, 66, 77, 101, 106, 137, 179 [best: 1000] 40372692582422, 26, 47, 52, 55, 75, 83, 123, 138, 150, 189, 206, 285 [best: 1000] 40802189312022, 26, 47, 52, 55, 86, 126, 135, 155, 162, 164 [best: 1000] 41231686041622, 26, 47, 52, 56, 59, 75, 106, 127, 130, 137 [best: 1000] 41661182771222, 26, 47, 52, 56, 74, 98, 115, 129, 141, 204 [best: 1000] 42090679500822, 26, 47, 52, 57, 61, 101, 109, 113, 142, 197 [best: 1000] 42520176230422, 26, 47, 52, 57, 82, 89, 109, 146, 187, 188 [best: 1000] 42949672960022, 26, 47, 52, 58, 67, 102, 118, 138, 141, 196 [best: 1000] 43379169689622, 26, 47, 52, 58, 95, 100, 128, 148, 149, 219, 247 [best: 1000] 43808666419222, 26, 47, 52, 60, 65, 96, 101, 106, 120, 132 [best: 1000] 44238163148822, 26, 47, 52, 62, 65, 67, 69, 91, 112, 127 [best: 1000] 44667659878422, 26, 47, 52, 64, 67, 80, 81, 137, 201, 206 [best: 1000] 45097156608022, 26, 47, 52, 65, 75, 79, 119, 137, 152, 176, 197 [best: 1000] 45526653337622, 26, 47, 52, 66, 75, 98, 102, 140, 142, 187 [best: 1000] 45956150067222, 26, 47, 52, 67, 78, 101, 122, 171, 186, 231 [best: 1000] 46385646796822, 26, 47, 52, 67, 92, 113, 123, 143, 144, 190, 232 [best: 1000] 46815143526422, 26, 47, 52, 69, 75, 84, 85, 87, 182, 188 [best: 1000] 47244640256022, 26, 47, 52, 69, 95, 109, 116, 145, 156 [best: 1000] 47674136985622, 26, 47, 52, 74, 78, 101, 131, 145, 183, 213 [best: 1000] 48103633715222, 26, 47, 53, 54, 56, 91, 96, 134, 159, 196 [best: 1000] 48533130444822, 26, 47, 53, 54, 67, 126, 136, 161, 183, 186 [best: 1000] 48962627174422, 26, 47, 53, 54, 89, 94, 110, 140, 205, 217 [best: 1000] 49392123904022, 26, 47, 53, 55, 60, 63, 108, 132, 161, 192 [best: 1000] 49821620633622, 26, 47, 53, 55, 70, 73, 103, 112, 179, 213 [best: 1000] 50251117363222, 26, 47, 53, 55, 81, 105, 111, 125, 143, 210 [best: 1000] 50680614092822, 26, 47, 53, 55, 103, 108, 117, 160, 164, 187 [best: 1000] 51110110822422, 26, 47, 53, 56, 66, 78, 82, 106, 121, 162 [best: 1000] 51539607552022, 26, 47, 53, 56, 80, 85, 109, 111, 190, 193 [best: 1000] 51969104281622, 26, 47, 53, 57, 60, 69, 87, 97, 121, 160 [best: 1000] 52398601011222, 26, 47, 53, 57, 88, 104, 120, 138, 150, 159 [best: 1000] 52828097740822, 26, 47, 53, 58, 68, 84, 133, 160, 174, 185 [best: 1000] 53257594470422, 26, 47, 53, 58, 86, 87, 107, 149, 160, 175 [best: 1000] 53687091200022, 26, 47, 53, 59, 70, 74, 80, 98, 108, 187 [best: 1000] 54116587929622, 26, 47, 53, 60, 66, 87, 90, 119, 167, 191 [best: 1000] 54546084659222, 26, 47, 53, 61, 63, 73, 90, 98, 129, 162 [best: 1000] 54975581388822, 26, 47, 53, 62, 70, 104, 114, 138, 139, 175 [best: 1000] 55405078118422, 26, 47, 53, 63, 75, 100, 107, 138, 162, 183 [best: 1000] 55834574848022, 26, 47, 53, 64, 85, 88, 89, 92, 132, 197 [best: 1000] 56264071577622, 26, 47, 53, 66, 76, 82, 96, 136, 148, 154 [best: 1000] 56693568307222, 26, 47, 53, 67, 80, 108, 114, 159, 162, 211 [best: 1000] 57123065036822, 26, 47, 53, 68, 91, 103, 120, 148, 194, 244 [best: 1000] 57552561766422, 26, 47, 53, 70, 94, 112, 134, 151, 185, 197 [best: 1000] 57982058496022, 26, 47, 53, 71, 90, 91, 124, 138, 178, 199, 236 [best: 1000] 58411555225622, 26, 47, 53, 72, 87, 99, 145, 170, 184, 225 [best: 1000] 58841051955222, 26, 47, 53, 75, 78, 90, 119, 152, 163, 186 [best: 1000] 59270548684822, 26, 47, 53, 76, 86, 98, 107, 144, 158, 190 [best: 1000] 59700045414422, 26, 47, 53, 79, 92, 102, 130, 136, 140, 199 [best: 1000] 60129542144022, 26, 47, 53, 81, 89, 105, 111, 116, 142, 189 [best: 1000] 60559038873622, 26, 47, 53, 85, 92, 104, 114, 124, 126, 172 [best: 1000] 60988535603222, 26, 47, 54, 55, 61, 64, 65, 142, 145, 159 [best: 1000] 61418032332822, 26, 47, 54, 55, 70, 78, 121, 154, 160, 194 [best: 1000] 61847529062422, 26, 47, 54, 55, 80, 110, 139, 140, 160, 194 [best: 1000] 62277025792022, 26, 47, 54, 55, 98, 103, 114, 118, 178, 196 [best: 1000] 62706522521622, 26, 47, 54, 56, 64, 89, 94, 126, 157, 176 [best: 1000] 63136019251222, 26, 47, 54, 56, 88, 95, 109, 122, 127, 154 [best: 1000] 63565515980822, 26, 47, 54, 57, 64, 72, 101, 108, 121, 162 [best: 1000] 63995012710422, 26, 47, 54, 57, 76, 90, 98, 116, 121, 129 [best: 1000] 64424509440022, 26, 47, 54, 57, 102, 119, 141, 149, 173, 177 [best: 1000] 64854006169622, 26, 47, 54, 58, 67, 86, 108, 139, 149, 206, 244 [best: 1000] 65283502899222, 26, 47, 54, 58, 77, 128, 133, 169, 203, 238 [best: 1000] 65712999628822, 26, 47, 54, 58, 91, 94, 102, 119, 130, 187, 209 [best: 1000] 66142496358422, 26, 47, 54, 59, 69, 74, 77, 104, 162, 195 [best: 1000] 66571993088022, 26, 47, 54, 59, 94, 103, 119, 138, 151, 234 [best: 1000] 67001489817622, 26, 47, 54, 60, 81, 89, 93, 103, 126, 190 [best: 1000] 67430986547222, 26, 47, 54, 61, 80, 97, 112, 114, 144, 153 [best: 1000] 67860483276822, 26, 47, 54, 62, 78, 87, 99, 111, 159, 162 [best: 1000] 68289980006422, 26, 47, 54, 63, 76, 80, 92, 110, 138, 145 [best: 1000] 68719476736022, 26, 47, 54, 64, 77, 87, 102, 158, 161, 177 [best: 1000] 69148973465622, 26, 47, 54, 66, 67, 77, 130, 166, 194, 200 [best: 1000] 69578470195222, 26, 47, 54, 67, 71, 77, 96, 124, 177, 179 [best: 1000] 70007966924822, 26, 47, 54, 67, 94, 104, 120, 123, 128, 149 [best: 1000] 70437463654422, 26, 47, 54, 68, 88, 98, 114, 137, 179, 205 [best: 1000] 70866960384022, 26, 47, 54, 70, 74, 89, 100, 110, 148, 160 [best: 1000] 71296457113622, 26, 47, 54, 71, 83, 106, 117, 134, 178, 195 [best: 1000] 71725953843222, 26, 47, 54, 72, 79, 89, 93, 98, 151, 219, 241 [best: 1000] 72155450572822, 26, 47, 54, 72, 97, 113, 114, 135, 190, 203 [best: 1000] 72584947302422, 26, 47, 54, 73, 88, 91, 105, 133, 143, 176, 200 [best: 1000] 73014444032022, 26, 47, 54, 75, 83, 107, 108, 117, 154, 173 [best: 1000] 73443940761622, 26, 47, 54, 77, 86, 99, 112, 159, 178, 198, 227 [best: 1000] 73873437491222, 26, 47, 54, 78, 88, 110, 121, 149, 156, 164 [best: 1000] 74302934220822, 26, 47, 54, 81, 84, 93, 122, 123, 137, 154 [best: 1000] 74732430950422, 26, 47, 54, 82, 93, 119, 128, 144, 197, 235 [best: 1000] 75161927680022, 26, 47, 54, 86, 91, 111, 114, 147, 170, 177 [best: 1000] 75591424409622, 26, 47, 55, 56, 59, 62, 82, 95, 104, 119 [best: 1000] 76020921139222, 26, 47, 55, 56, 66, 83, 105, 124, 161, 189 [best: 1000] 76450417868822, 26, 47, 55, 56, 73, 123, 127, 154, 192, 237 [best: 1000] 76879914598422, 26, 47, 55, 56, 86, 94, 114, 136, 159 [best: 1000] 77309411328022, 26, 47, 55, 57, 59, 89, 122, 134, 140, 147 [best: 1000] 77738908057622, 26, 47, 55, 57, 67, 91, 103, 123, 135, 185 [best: 1000] 78168404787222, 26, 47, 55, 57, 75, 90, 131, 143, 163, 191 [best: 1000] 78597901516822, 26, 47, 55, 57, 90, 98, 105, 111, 131, 141 [best: 1000] 79027398246422, 26, 47, 55, 58, 62, 69, 133, 134, 148, 172 [best: 1000] 79456894976022, 26, 47, 55, 58, 68, 71, 134, 135, 145, 188, 239 [best: 1000] 79886391705622, 26, 47, 55, 58, 73, 111, 132, 158, 170, 242 [best: 1000] 80315888435222, 26, 47, 55, 58, 80, 100, 113, 154, 169, 197 [best: 1000] 80745385164822, 26, 47, 55, 58, 91, 96, 98, 132, 142, 184, 187 [best: 1000] 81174881894422, 26, 47, 55, 59, 64, 73, 76, 81, 105, 210 [best: 1000] 81604378624022, 26, 47, 55, 59, 71, 87, 100, 153, 163, 195 [best: 1000] 82033875353622, 26, 47, 55, 59, 81, 92, 95, 110, 185, 224 [best: 1000] 82463372083222, 26, 47, 55, 60, 62, 79, 85, 88, 153, 198 [best: 1000] 82892868812822, 26, 47, 55, 60, 70, 80, 82, 150, 163, 229 [best: 1000] 83322365542422, 26, 47, 55, 60, 79, 93, 120, 125, 173 [best: 1000] 83751862272022, 26, 47, 55, 61, 62, 73, 113, 159, 170, 183 [best: 1000] 84181359001622, 26, 47, 55, 61, 72, 122, 142, 149, 176, 237 [best: 1000] 84610855731222, 26, 47, 55, 62, 63, 65, 86, 97, 132, 161 [best: 1000] 85040352460822, 26, 47, 55, 62, 71, 78, 146, 174, 192, 202 [best: 1000] 85469849190422, 26, 47, 55, 62, 81, 83, 94, 121, 144, 215 [best: 1000] 85899345920022, 26, 47, 55, 63, 66, 98, 115, 128, 158, 206 [best: 1000] 86328842649622, 26, 47, 55, 63, 77, 121, 129, 165, 191, 210 [best: 1000] 86758339379222, 26, 47, 55, 64, 67, 81, 100, 152, 176, 188 [best: 1000] 87187836108822, 26, 47, 55, 64, 75, 84, 126, 141, 154, 180 [best: 1000] 87617332838422, 26, 47, 55, 64, 91, 98, 101, 154, 183, 202 [best: 1000] 88046829568022, 26, 47, 55, 65, 71, 77, 106, 123, 124, 148 [best: 1000] 88476326297622, 26, 47, 55, 65, 78, 96, 125, 155, 195, 212 [best: 1000] 88905823027222, 26, 47, 55, 65, 94, 95, 135, 138, 140, 179, 197 [best: 1000] 89335319756822, 26, 47, 55, 66, 70, 76, 141, 148, 154, 201 [best: 1000] 89764816486422, 26, 47, 55, 66, 78, 121, 155, 164, 165, 243 [best: 1000] 90194313216022, 26, 47, 55, 66, 101, 110, 127, 142, 157, 190 [best: 1000] 90623809945622, 26, 47, 55, 67, 73, 110, 122, 137, 184, 213 [best: 1000] 91053306675222, 26, 47, 55, 67, 83, 111, 156, 166, 189, 251 [best: 1000] 91482803404822, 26, 47, 55, 68, 69, 80, 92, 101, 150, 185 [best: 1000] 91912300134422, 26, 47, 55, 68, 76, 89, 137, 156, 179, 210 [best: 1000] 92341796864022, 26, 47, 55, 68, 89, 94, 109, 130, 138, 181 [best: 1000] 92771293593622, 26, 47, 55, 69, 71, 116, 124, 134, 195, 248 [best: 1000] 93200790323222, 26, 47, 55, 69, 80, 91, 115, 138, 139, 162 [best: 1000] 93630287052822, 26, 47, 55, 69, 97, 112, 117, 135, 136, 145 [best: 1000] 94059783782422, 26, 47, 55, 70, 76, 121, 138, 154, 175, 186 [best: 1000] 94489280512022, 26, 47, 55, 70, 94, 114, 116, 120, 137, 148 [best: 1000] 94918777241622, 26, 47, 55, 71, 75, 102, 169, 171, 179 [best: 1000] 95348273971222, 26, 47, 55, 71, 80, 107, 108, 139, 173, 190, 231 [best: 1000] 95777770700822, 26, 47, 55, 71, 88, 93, 132, 133, 202, 207 [best: 1000] 96207267430422, 26, 47, 55, 71, 97, 103, 155, 164, 198, 199 [best: 1000] 96636764160022, 26, 47, 55, 71, 112, 115, 146, 168, 171, 194 [best: 1000] 97066260889622, 26, 47, 55, 72, 81, 106, 123, 168, 189, 199 [best: 1000] 97495757619222, 26, 47, 55, 72, 106, 111, 119, 160, 168, 199 [best: 1000] 97925254348822, 26, 47, 55, 73, 82, 88, 105, 159, 185, 194 [best: 1000] 98354751078422, 26, 47, 55, 73, 103, 111, 162, 178, 179, 182 [best: 1000] 98784247808022, 26, 47, 55, 74, 87, 94, 113, 117, 126, 134 [best: 1000] 99213744537622, 26, 47, 55, 75, 81, 123, 128, 129, 192, 208 [best: 1000] 99643241267222, 26, 47, 55, 76, 79, 83, 95, 132, 138, 164 [best: 1000] 100072737996822, 26, 47, 55, 76, 88, 136, 153, 191, 207, 258 [best: 1000] 100502234726422, 26, 47, 55, 76, 103, 108, 127, 142, 205, 238 [best: 1000] 100931731456022, 26, 47, 55, 77, 87, 95, 133, 156, 172, 195 [best: 1000] 101361228185622, 26, 47, 55, 78, 79, 120, 142, 181, 209, 222 [best: 1000] 101790724915222, 26, 47, 55, 78, 95, 107, 134, 171, 174, 192 [best: 1000] 102220221644822, 26, 47, 55, 79, 87, 94, 103, 147, 156, 213 [best: 1000] 102649718374422, 26, 47, 55, 80, 82, 111, 126, 132, 136, 141 [best: 1000] 103079215104022, 26, 47, 55, 80, 104, 109, 158, 173, 183, 224 [best: 1000] 103508711833622, 26, 47, 55, 81, 95, 103, 149, 158, 161, 225 [best: 1000] 103938208563222, 26, 47, 55, 82, 95, 98, 130, 141, 169, 227 [best: 1000] 104367705292822, 26, 47, 55, 83, 96, 100, 116, 178, 208, 259 [best: 1000] 104797202022422, 26, 47, 55, 85, 96, 101, 130, 145, 179, 219 [best: 1000] 105226698752022, 26, 47, 55, 87, 91, 120, 139, 163, 183, 192 [best: 1000] 105656195481622, 26, 47, 56, 57, 60, 76, 79, 98, 153, 156 [best: 1000] 106085692211222, 26, 47, 56, 57, 72, 102, 106, 109, 128, 215 [best: 1000] 106515188940822, 26, 47, 56, 57, 95, 113, 114, 120, 159, 229 [best: 1000] 106944685670422, 26, 47, 56, 58, 66, 68, 73, 100, 102, 140 [best: 1000] 107374182400022, 26, 47, 56, 58, 74, 89, 95, 131, 150, 180 [best: 1000] 107803679129622, 26, 47, 56, 58, 88, 120, 135, 149, 154, 217 [best: 1000] 108233175859222, 26, 47, 56, 59, 67, 69, 132, 141, 176, 181, 246 [best: 1000] 108662672588822, 26, 47, 56, 59, 87, 101, 121, 139, 180, 186 [best: 1000] 109092169318422, 26, 47, 56, 60, 73, 90, 122, 152, 188, 195 [best: 1000] 109521666048022, 26, 47, 56, 61, 70, 73, 118, 123, 137, 199 [best: 1000] 109951162777622, 26, 47, 56, 62, 71, 78, 89, 116, 144, 165 [best: 1000] 110380659507222, 26, 47, 56, 63, 67, 88, 140, 149, 191, 231 [best: 1000] 110810156236822, 26, 47, 56, 64, 69, 102, 135, 166, 167, 169, 175 [best: 1000] 111239652966422, 26, 47, 56, 65, 68, 93, 115, 120, 172, 192, 228 [best: 1000] 111669149696022, 26, 47, 56, 66, 67, 70, 89, 137, 152, 177, 213 [best: 1000] 112098646425622, 26, 47, 56, 67, 76, 92, 104, 114, 132, 152 [best: 1000] 112528143155222, 26, 47, 56, 68, 73, 80, 104, 132, 166, 223 [best: 1000] 112957639884822, 26, 47, 56, 69, 79, 87, 92, 147, 168, 202 [best: 1000] 113387136614422, 26, 47, 56, 70, 75, 79, 104, 109, 137, 152 [best: 1000] 113816633344022, 26, 47, 56, 71, 72, 79, 120, 132, 159, 207 [best: 1000] 114246130073622, 26, 47, 56, 72, 77, 136, 150, 173, 183, 206 [best: 1000] 114675626803222, 26, 47, 56, 72, 90, 101, 156, 178, 180, 191 [best: 1000] 115105123532822, 26, 47, 56, 73, 80, 98, 130, 137, 173, 187 [best: 1000] 115534620262422, 26, 47, 56, 74, 93, 94, 130, 137, 139, 201 [best: 1000] 115964116992022, 26, 47, 56, 76, 85, 90, 111, 112, 113, 140 [best: 1000] 116393613721622, 26, 47, 56, 77, 97, 117, 142, 179, 185, 209 [best: 1000] 116823110451222, 26, 47, 56, 79, 90, 92, 95, 129, 154, 158 [best: 1000] 117252607180822, 26, 47, 56, 80, 107, 126, 130, 153, 173, 186 [best: 1000] 117682103910422, 26, 47, 56, 82, 108, 129, 142, 152, 166, 211 [best: 1000] 118111600640022, 26, 47, 56, 86, 97, 98, 114, 116, 134, 151 [best: 1000] 118541097369622, 26, 47, 57, 58, 64, 78, 86, 92, 101, 129 [best: 1000] 118970594099222, 26, 47, 57, 58, 78, 82, 133, 147, 159, 203 [best: 1000] 119400090828822, 26, 47, 57, 58, 104, 108, 112, 144, 174, 193, 210 [best: 1000] 119829587558422, 26, 47, 57, 59, 81, 91, 92, 120, 123, 163 [best: 1000] 120259084288022, 26, 47, 57, 60, 72, 83, 122, 172, 173 [best: 1000] 120688581017622, 26, 47, 57, 61, 66, 103, 137, 162, 169, 187, 194 [best: 1000] 121118077747222, 26, 47, 57, 62, 70, 89, 90, 143, 145, 169 [best: 1000] 121547574476822, 26, 47, 57, 63, 71, 93, 118, 155, 173, 177 [best: 1000] 121977071206422, 26, 47, 57, 64, 76, 83, 98, 105, 109, 127 [best: 1000] 122406567936022, 26, 47, 57, 65, 82, 92, 117, 118, 128, 190 [best: 1000] 122836064665622, 26, 47, 57, 66, 88, 102, 119, 172, 213, 252 [best: 1000] 123265561395222, 26, 47, 57, 67, 88, 100, 120, 126, 133, 202 [best: 1000] 123695058124822, 26, 47, 57, 69, 70, 102, 111, 112, 113, 148 [best: 1000] 124124554854422, 26, 47, 57, 71, 76, 89, 114, 130, 135, 168 [best: 1000] 124554051584022, 26, 47, 57, 72, 77, 113, 144, 174, 187, 229 [best: 1000] 124983548313622, 26, 47, 57, 72, 92, 98, 123, 149, 154, 178 [best: 1000] 125413045043222, 26, 47, 57, 73, 83, 116, 123, 135, 163, 175 [best: 1000] 125842541772822, 26, 47, 57, 75, 89, 96, 120, 126, 138, 169, 186 [best: 1000] 126272038502422, 26, 47, 57, 77, 89, 109, 144, 192, 212, 227, 228 [best: 1000] 126701535232022, 26, 47, 57, 78, 98, 116, 125, 134, 150, 203 [best: 1000] 127131031961622, 26, 47, 57, 82, 86, 100, 116, 160, 164, 178 [best: 1000] 127560528691222, 26, 47, 57, 84, 88, 113, 133, 163, 166, 209 [best: 1000] 127990025420822, 26, 47, 58, 59, 64, 66, 97, 123, 151, 181 [best: 1000] 128419522150422, 26, 47, 58, 59, 80, 99, 115, 116, 164, 220 [best: 1000] 128849018880022, 26, 47, 58, 60, 67, 105, 124, 173, 179, 247 [best: 1000] 129278515609622, 26, 47, 58, 60, 87, 94, 119, 150, 166, 173, 223 [best: 1000] 129708012339222, 26, 47, 58, 62, 63, 65, 82, 108, 158, 186 [best: 1000] 130137509068822, 26, 47, 58, 62, 82, 99, 125, 131, 138, 178, 220 [best: 1000] 130567005798422, 26, 47, 58, 63, 83, 105, 117, 127, 162, 197 [best: 1000] 130996502528022, 26, 47, 58, 64, 81, 96, 99, 129, 131, 132, 211 [best: 1000] 131425999257622, 26, 47, 58, 65, 70, 99, 107, 108, 119, 122 [best: 1000] 131855495987222, 26, 47, 58, 65, 92, 102, 114, 148, 188, 218 [best: 1000] 132284992716822, 26, 47, 58, 66, 76, 103, 107, 136, 141, 173 [best: 1000] 132714489446422, 26, 47, 58, 67, 69, 81, 85, 105, 140, 177, 198 [best: 1000] 133143986176022, 26, 47, 58, 67, 77, 114, 146, 172, 181, 206 [best: 1000] 133573482905622, 26, 47, 58, 67, 87, 89, 100, 151, 224, 246 [best: 1000] 134002979635222, 26, 47, 58, 67, 98, 115, 137, 165, 193, 210 [best: 1000] 134432476364822, 26, 47, 58, 68, 72, 77, 101, 104, 119, 148, 153 [best: 1000] 134861973094422, 26, 47, 58, 68, 83, 104, 110, 138, 193, 199, 234 [best: 1000] 135291469824022, 26, 47, 58, 68, 102, 104, 122, 130, 137, 160, 181 [best: 1000] 135720966553622, 26, 47, 58, 69, 77, 105, 139, 164, 171, 218 [best: 1000] 136150463283222, 26, 47, 58, 69, 100, 105, 124, 177, 192, 202 [best: 1000] 136579960012822, 26, 47, 58, 72, 83, 84, 133, 154, 170, 184 [best: 1000] 137009456742422, 26, 47, 58, 75, 76, 84, 125, 147, 181, 215 [best: 1000] 137438953472022, 26, 47, 58, 76, 94, 96, 104, 129, 159, 166, 194 [best: 1000] 137868450201622, 26, 47, 58, 79, 92, 100, 112, 125, 126, 161 [best: 1000] 138297946931222, 26, 47, 58, 81, 86, 97, 103, 111, 162, 175, 215 [best: 1000] 138727443660822, 26, 47, 59, 60, 67, 91, 113, 145, 183, 212 [best: 1000] 139156940390422, 26, 47, 59, 62, 64, 80, 89, 124, 157, 199 [best: 1000] 139586437120022, 26, 47, 59, 63, 81, 83, 114, 127, 175, 198, 206, 230 [best: 1000] 140015933849622, 26, 47, 59, 65, 69, 82, 83, 132, 161, 183 [best: 1000] 140445430579222, 26, 47, 59, 65, 83, 95, 124, 134, 157, 167 [best: 1000] 140874927308822, 26, 47, 59, 66, 91, 95, 121, 127, 178, 200 [best: 1000] 141304424038422, 26, 47, 59, 67, 77, 105, 118, 148, 199, 218 [best: 1000] 141733920768022, 26, 47, 59, 67, 85, 123, 133, 172, 202, 210 [best: 1000] 142163417497622, 26, 47, 59, 68, 81, 93, 96, 103, 120, 136, 215, 233 [best: 1000] 142592914227222, 26, 47, 59, 69, 84, 89, 132, 143, 158, 183 [best: 1000] 143022410956822, 26, 47, 59, 71, 75, 77, 81, 94, 140, 178 [best: 1000] 143451907686422, 26, 47, 59, 73, 78, 92, 124, 137, 186, 203 [best: 1000] 143881404416022, 26, 47, 59, 76, 79, 93, 130, 143, 176, 192, 211 [best: 1000] 144310901145622, 26, 47, 60, 62, 81, 94, 118, 141, 150, 164 [best: 1000] 144740397875222, 26, 47, 60, 64, 79, 98, 105, 123, 132, 172 [best: 1000] 145169894604822, 26, 47, 60, 66, 71, 73, 119, 143, 163, 193 [best: 1000] 145599391334422, 26, 47, 60, 66, 102, 106, 119, 133, 182, 192 [best: 1000] 146028888064022, 26, 47, 60, 67, 78, 97, 100, 106, 127, 179 [best: 1000] 146458384793622, 26, 47, 60, 67, 92, 94, 108, 118, 208, 233 [best: 1000] 146887881523222, 26, 47, 60, 68, 81, 95, 118, 119, 175, 177 [best: 1000] 147317378252822, 26, 47, 60, 70, 75, 90, 113, 128, 131, 137 [best: 1000] 147746874982422, 26, 47, 60, 73, 77, 79, 125, 181, 208, 238 [best: 1000] 148176371712022, 26, 47, 60, 76, 78, 91, 102, 109, 183, 184 [best: 1000] 148605868441622, 26, 47, 61, 64, 84, 92, 95, 143, 159, 178 [best: 1000] 149035365171222, 26, 47, 61, 67, 73, 83, 118, 119, 143, 206 [best: 1000] 149464861900822, 26, 47, 61, 68, 77, 86, 98, 134, 192, 210 [best: 1000] 149894358630422, 26, 47, 61, 72, 81, 87, 94, 117, 144, 202 [best: 1000] 150323855360022, 26, 47, 62, 64, 84, 92, 106, 145, 169, 214 [best: 1000] 150753352089622, 26, 47, 62, 66, 73, 74, 83, 89, 91, 157 [best: 1000] 151182848819222, 26, 47, 62, 67, 71, 107, 144, 146, 180, 222 [best: 1000] 151612345548822, 26, 47, 62, 67, 85, 92, 121, 128, 161, 201 [best: 1000] 152041842278422, 26, 47, 62, 68, 74, 79, 90, 104, 141, 214 [best: 1000] 152471339008022, 26, 47, 62, 69, 86, 96, 121, 133, 150, 195 [best: 1000] 152900835737622, 26, 47, 62, 72, 79, 81, 97, 112, 136, 139 [best: 1000] 153330332467222, 26, 47, 62, 77, 81, 90, 106, 121, 124, 187 [best: 1000] 153759829196822, 26, 47, 63, 65, 83, 111, 123, 145, 163, 189 [best: 1000] 154189325926422, 26, 47, 63, 67, 83, 108, 120, 143, 169, 192, 232 [best: 1000] 154618822656022, 26, 47, 63, 69, 83, 106, 123, 133, 184, 205, 216 [best: 1000] 155048319385622, 26, 47, 64, 65, 67, 99, 102, 137, 140, 206 [best: 1000] 155477816115222, 26, 47, 64, 66, 77, 86, 117, 128, 145, 200 [best: 1000] 155907312844822, 26, 47, 64, 67, 70, 106, 109, 110, 113, 139, 165 [best: 1000] 156336809574422, 26, 47, 64, 67, 83, 85, 115, 140, 155, 159 [best: 1000] 156766306304022, 26, 47, 64, 68, 70, 89, 93, 103, 107, 159 [best: 1000] 157195803033622, 26, 47, 64, 69, 71, 74, 96, 103, 120, 177 [best: 1000] 157625299763222, 26, 47, 64, 71, 81, 125, 150, 153, 181, 186 [best: 1000] 158054796492822, 26, 47, 64, 76, 77, 79, 90, 129, 145, 172 [best: 1000] 1584842932224total chains: 1586262145279new 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 12 12 12 12 8: 17 248 14 7 23 9: 384 6022 15 4 2810: 10621 186037 17 1 3311: 350216 6835423 19 1 3812: 13257075 282867369 21 0 4313: 562671418 13000822646 23 0 4814: 26417222864 657991085759 24 0 5315: 3501598159 91499175804 26 0 5616: 121786794 3601677227 29 0 6117: 739961 25771984 34 4 5818: 1297 47989 37 23 5619: 0 0 0 0 020: 0 0 0 0 0real 61m18.145suser 61m18.140ssys 0m0.000sEOMstderr from container:
time="2025-04-27T21:31:45Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."N = 15, MAX_LENGTH: 21, CAPTURE_STATS: 17 targets: 010010000001110 000001100001101 001000000000101 010010010010000 010111010100000 011100000000110 00111110111111122, 26, 47 [best: 1000] 022, 26, 47, 48, 50, 55, 66, 79, 94, 161, 210 [best: 1000] 429496729622, 26, 47, 48, 51, 53, 55, 78, 100, 118, 215 [best: 1000] 858993459222, 26, 47, 48, 51, 75, 92, 115, 135, 166, 185 [best: 1000] 1288490188822, 26, 47, 48, 52, 70, 83, 95, 115, 144, 155 [best: 1000] 1717986918422, 26, 47, 48, 53, 66, 72, 116, 121, 187, 196 [best: 1000] 2147483648022, 26, 47, 48, 54, 57, 117, 121, 133, 144, 147 [best: 1000] 2576980377622, 26, 47, 48, 54, 78, 89, 101, 159, 182, 196 [best: 1000] 3006477107222, 26, 47, 48, 55, 60, 90, 91, 113, 153, 204 [best: 1000] 3435973836822, 26, 47, 48, 55, 72, 86, 88, 165, 171, 236 [best: 1000] 3865470566422, 26, 47, 48, 55, 86, 93, 107, 140, 194, 230 [best: 1000] 4294967296022, 26, 47, 48, 56, 65, 74, 94, 116, 126, 143 [best: 1000] 4724464025622, 26, 47, 48, 57, 58, 71, 106, 135, 142, 154 [best: 1000] 5153960755222, 26, 47, 48, 57, 87, 100, 119, 135, 150, 210 [best: 1000] 5583457484822, 26, 47, 48, 58, 77, 84, 104, 149, 170, 186, 202 [best: 1000] 6012954214422, 26, 47, 48, 59, 81, 82, 86, 92, 107, 146 [best: 1000] 6442450944022, 26, 47, 48, 61, 80, 86, 108, 114, 167, 226 [best: 1000] 6871947673622, 26, 47, 48, 64, 67, 76, 96, 143, 150, 198 [best: 1000] 7301444403222, 26, 47, 48, 65, 82, 86, 92, 126, 129, 174 [best: 1000] 7730941132822, 26, 47, 48, 67, 72, 95, 98, 105, 159, 183 [best: 1000] 8160437862422, 26, 47, 48, 67, 87, 114, 126, 152, 179, 213, 240 [best: 1000] 8589934592022, 26, 47, 48, 69, 76, 85, 92, 109, 114, 155 [best: 1000] 9019431321622, 26, 47, 48, 72, 76, 79, 144, 157, 164, 168 [best: 1000] 9448928051222, 26, 47, 49, 50, 54, 62, 64, 70, 93, 148 [best: 1000] 9878424780822, 26, 47, 49, 51, 55, 100, 104, 125, 136, 211 [best: 1000] 10307921510422, 26, 47, 49, 52, 62, 70, 80, 112, 151, 170 [best: 1000] 10737418240022, 26, 47, 49, 53, 67, 92, 98, 106, 119, 120 [best: 1000] 11166914969622, 26, 47, 49, 54, 65, 88, 92, 101, 135, 144 [best: 1000] 11596411699222, 26, 47, 49, 55, 59, 83, 131, 132, 168, 226 [best: 1000] 12025908428822, 26, 47, 49, 55, 74, 85, 125, 142, 146, 164 [best: 1000] 12455405158422, 26, 47, 49, 56, 58, 70, 99, 102, 146, 149, 191 [best: 1000] 12884901888022, 26, 47, 49, 57, 58, 112, 119, 120, 145, 150, 255 [best: 1000] 13314398617622, 26, 47, 49, 58, 63, 69, 94, 114, 118, 172 [best: 1000] 13743895347222, 26, 47, 49, 59, 70, 76, 84, 103, 177, 178, 210 [best: 1000] 14173392076822, 26, 47, 49, 62, 69, 91, 93, 118, 124, 148 [best: 1000] 14602888806422, 26, 47, 49, 66, 73, 79, 88, 126, 134, 179 [best: 1000] 15032385536022, 26, 47, 49, 67, 87, 89, 124, 140, 141, 165 [best: 1000] 15461882265622, 26, 47, 50, 51, 52, 79, 93, 116, 125, 133 [best: 1000] 15891378995222, 26, 47, 50, 51, 75, 81, 82, 119, 136 [best: 1000] 16320875724822, 26, 47, 50, 52, 67, 89, 102, 114, 184, 229 [best: 1000] 16750372454422, 26, 47, 50, 53, 58, 87, 136, 138, 178, 192 [best: 1000] 17179869184022, 26, 47, 50, 53, 76, 84, 87, 130, 142 [best: 1000] 17609365913622, 26, 47, 50, 54, 58, 81, 114, 123, 142, 208 [best: 1000] 18038862643222, 26, 47, 50, 54, 71, 90, 105, 163, 179, 212 [best: 1000] 18468359372822, 26, 47, 50, 55, 56, 88, 126, 171, 198, 221 [best: 1000] 18897856102422, 26, 47, 50, 55, 63, 80, 88, 103, 189, 224 [best: 1000] 19327352832022, 26, 47, 50, 55, 70, 93, 124, 147, 152, 217 [best: 1000] 19756849561622, 26, 47, 50, 55, 81, 101, 130, 160, 169, 177 [best: 1000] 20186346291222, 26, 47, 50, 55, 99, 115, 117, 131, 138, 146, 237 [best: 1000] 20615843020822, 26, 47, 50, 56, 67, 69, 79, 109, 162, 232 [best: 1000] 21045339750422, 26, 47, 50, 56, 86, 92, 101, 159, 166, 232 [best: 1000] 21474836480022, 26, 47, 50, 57, 67, 84, 92, 109, 110, 178 [best: 1000] 21904333209622, 26, 47, 50, 58, 59, 66, 88, 99, 125, 176 [best: 1000] 22333829939222, 26, 47, 50, 58, 74, 94, 115, 149, 183, 216 [best: 1000] 22763326668822, 26, 47, 50, 59, 68, 84, 104, 130, 168, 177 [best: 1000] 23192823398422, 26, 47, 50, 60, 78, 93, 105, 108, 129, 132 [best: 1000] 23622320128022, 26, 47, 50, 62, 75, 88, 109, 116, 137, 161 [best: 1000] 24051816857622, 26, 47, 50, 64, 77, 88, 95, 116, 125, 141 [best: 1000] 24481313587222, 26, 47, 50, 66, 68, 90, 122, 147, 173, 183 [best: 1000] 24910810316822, 26, 47, 50, 67, 68, 69, 94, 117, 136, 184 [best: 1000] 25340307046422, 26, 47, 50, 67, 79, 92, 96, 138, 151, 206 [best: 1000] 25769803776022, 26, 47, 50, 67, 93, 120, 133, 149, 182, 209 [best: 1000] 26199300505622, 26, 47, 50, 68, 84, 98, 131, 133, 162, 174 [best: 1000] 26628797235222, 26, 47, 50, 70, 79, 104, 112, 115, 184, 217 [best: 1000] 27058293964822, 26, 47, 50, 74, 81, 91, 128, 154, 158, 198 [best: 1000] 27487790694422, 26, 47, 51, 52, 57, 58, 117, 164, 182, 203 [best: 1000] 27917287424022, 26, 47, 51, 53, 55, 97, 130, 156, 169, 198, 232 [best: 1000] 28346784153622, 26, 47, 51, 53, 69, 80, 98, 124, 160, 197 [best: 1000] 28776280883222, 26, 47, 51, 54, 57, 89, 121, 147, 152, 198 [best: 1000] 29205777612822, 26, 47, 51, 54, 70, 80, 127, 133, 160, 217 [best: 1000] 29635274342422, 26, 47, 51, 55, 57, 70, 72, 78, 92, 164 [best: 1000] 30064771072022, 26, 47, 51, 55, 65, 87, 107, 163, 198, 252 [best: 1000] 30494267801622, 26, 47, 51, 55, 74, 78, 98, 109, 169, 204 [best: 1000] 30923764531222, 26, 47, 51, 55, 87, 100, 121, 132, 165, 187 [best: 1000] 31353261260822, 26, 47, 51, 56, 65, 68, 83, 133, 140, 175 [best: 1000] 31782757990422, 26, 47, 51, 56, 82, 97, 148, 167, 185, 200 [best: 1000] 32212254720022, 26, 47, 51, 57, 67, 104, 108, 110, 157, 169 [best: 1000] 32641751449622, 26, 47, 51, 58, 61, 69, 113, 147, 160, 178 [best: 1000] 33071248179222, 26, 47, 51, 58, 75, 79, 98, 120, 158, 178 [best: 1000] 33500744908822, 26, 47, 51, 59, 75, 76, 89, 132, 161, 181 [best: 1000] 33930241638422, 26, 47, 51, 61, 68, 83, 123, 150, 152, 177 [best: 1000] 34359738368022, 26, 47, 51, 63, 69, 89, 103, 118, 131, 140 [best: 1000] 34789235097622, 26, 47, 51, 65, 68, 106, 133, 157, 194, 205 [best: 1000] 35218731827222, 26, 47, 51, 66, 69, 90, 99, 151, 175, 202 [best: 1000] 35648228556822, 26, 47, 51, 67, 72, 78, 112, 146, 165, 208 [best: 1000] 36077725286422, 26, 47, 51, 67, 83, 92, 111, 114, 155, 199 [best: 1000] 36507222016022, 26, 47, 51, 68, 80, 90, 108, 120, 141, 162 [best: 1000] 36936718745622, 26, 47, 51, 69, 90, 97, 100, 148, 150, 195, 197 [best: 1000] 37366215475222, 26, 47, 51, 72, 79, 102, 107, 111, 132, 196 [best: 1000] 37795712204822, 26, 47, 52, 53, 62, 74, 104, 157, 178, 189 [best: 1000] 38225208934422, 26, 47, 52, 53, 84, 109, 118, 143, 150, 179 [best: 1000] 38654705664022, 26, 47, 52, 54, 61, 89, 98, 99, 170, 173 [best: 1000] 39084202393622, 26, 47, 52, 54, 78, 116, 129, 137, 155, 176 [best: 1000] 39513699123222, 26, 47, 52, 55, 58, 79, 95, 112, 175, 180 [best: 1000] 39943195852822, 26, 47, 52, 55, 66, 77, 101, 106, 137, 179 [best: 1000] 40372692582422, 26, 47, 52, 55, 75, 83, 123, 138, 150, 189, 206, 285 [best: 1000] 40802189312022, 26, 47, 52, 55, 86, 126, 135, 155, 162, 164 [best: 1000] 41231686041622, 26, 47, 52, 56, 59, 75, 106, 127, 130, 137 [best: 1000] 41661182771222, 26, 47, 52, 56, 74, 98, 115, 129, 141, 204 [best: 1000] 42090679500822, 26, 47, 52, 57, 61, 101, 109, 113, 142, 197 [best: 1000] 42520176230422, 26, 47, 52, 57, 82, 89, 109, 146, 187, 188 [best: 1000] 42949672960022, 26, 47, 52, 58, 67, 102, 118, 138, 141, 196 [best: 1000] 43379169689622, 26, 47, 52, 58, 95, 100, 128, 148, 149, 219, 247 [best: 1000] 43808666419222, 26, 47, 52, 60, 65, 96, 101, 106, 120, 132 [best: 1000] 44238163148822, 26, 47, 52, 62, 65, 67, 69, 91, 112, 127 [best: 1000] 44667659878422, 26, 47, 52, 64, 67, 80, 81, 137, 201, 206 [best: 1000] 45097156608022, 26, 47, 52, 65, 75, 79, 119, 137, 152, 176, 197 [best: 1000] 45526653337622, 26, 47, 52, 66, 75, 98, 102, 140, 142, 187 [best: 1000] 45956150067222, 26, 47, 52, 67, 78, 101, 122, 171, 186, 231 [best: 1000] 46385646796822, 26, 47, 52, 67, 92, 113, 123, 143, 144, 190, 232 [best: 1000] 46815143526422, 26, 47, 52, 69, 75, 84, 85, 87, 182, 188 [best: 1000] 47244640256022, 26, 47, 52, 69, 95, 109, 116, 145, 156 [best: 1000] 47674136985622, 26, 47, 52, 74, 78, 101, 131, 145, 183, 213 [best: 1000] 48103633715222, 26, 47, 53, 54, 56, 91, 96, 134, 159, 196 [best: 1000] 48533130444822, 26, 47, 53, 54, 67, 126, 136, 161, 183, 186 [best: 1000] 48962627174422, 26, 47, 53, 54, 89, 94, 110, 140, 205, 217 [best: 1000] 49392123904022, 26, 47, 53, 55, 60, 63, 108, 132, 161, 192 [best: 1000] 49821620633622, 26, 47, 53, 55, 70, 73, 103, 112, 179, 213 [best: 1000] 50251117363222, 26, 47, 53, 55, 81, 105, 111, 125, 143, 210 [best: 1000] 50680614092822, 26, 47, 53, 55, 103, 108, 117, 160, 164, 187 [best: 1000] 51110110822422, 26, 47, 53, 56, 66, 78, 82, 106, 121, 162 [best: 1000] 51539607552022, 26, 47, 53, 56, 80, 85, 109, 111, 190, 193 [best: 1000] 51969104281622, 26, 47, 53, 57, 60, 69, 87, 97, 121, 160 [best: 1000] 52398601011222, 26, 47, 53, 57, 88, 104, 120, 138, 150, 159 [best: 1000] 52828097740822, 26, 47, 53, 58, 68, 84, 133, 160, 174, 185 [best: 1000] 53257594470422, 26, 47, 53, 58, 86, 87, 107, 149, 160, 175 [best: 1000] 53687091200022, 26, 47, 53, 59, 70, 74, 80, 98, 108, 187 [best: 1000] 54116587929622, 26, 47, 53, 60, 66, 87, 90, 119, 167, 191 [best: 1000] 54546084659222, 26, 47, 53, 61, 63, 73, 90, 98, 129, 162 [best: 1000] 54975581388822, 26, 47, 53, 62, 70, 104, 114, 138, 139, 175 [best: 1000] 55405078118422, 26, 47, 53, 63, 75, 100, 107, 138, 162, 183 [best: 1000] 55834574848022, 26, 47, 53, 64, 85, 88, 89, 92, 132, 197 [best: 1000] 56264071577622, 26, 47, 53, 66, 76, 82, 96, 136, 148, 154 [best: 1000] 56693568307222, 26, 47, 53, 67, 80, 108, 114, 159, 162, 211 [best: 1000] 57123065036822, 26, 47, 53, 68, 91, 103, 120, 148, 194, 244 [best: 1000] 57552561766422, 26, 47, 53, 70, 94, 112, 134, 151, 185, 197 [best: 1000] 57982058496022, 26, 47, 53, 71, 90, 91, 124, 138, 178, 199, 236 [best: 1000] 58411555225622, 26, 47, 53, 72, 87, 99, 145, 170, 184, 225 [best: 1000] 58841051955222, 26, 47, 53, 75, 78, 90, 119, 152, 163, 186 [best: 1000] 59270548684822, 26, 47, 53, 76, 86, 98, 107, 144, 158, 190 [best: 1000] 59700045414422, 26, 47, 53, 79, 92, 102, 130, 136, 140, 199 [best: 1000] 60129542144022, 26, 47, 53, 81, 89, 105, 111, 116, 142, 189 [best: 1000] 60559038873622, 26, 47, 53, 85, 92, 104, 114, 124, 126, 172 [best: 1000] 60988535603222, 26, 47, 54, 55, 61, 64, 65, 142, 145, 159 [best: 1000] 61418032332822, 26, 47, 54, 55, 70, 78, 121, 154, 160, 194 [best: 1000] 61847529062422, 26, 47, 54, 55, 80, 110, 139, 140, 160, 194 [best: 1000] 62277025792022, 26, 47, 54, 55, 98, 103, 114, 118, 178, 196 [best: 1000] 62706522521622, 26, 47, 54, 56, 64, 89, 94, 126, 157, 176 [best: 1000] 63136019251222, 26, 47, 54, 56, 88, 95, 109, 122, 127, 154 [best: 1000] 63565515980822, 26, 47, 54, 57, 64, 72, 101, 108, 121, 162 [best: 1000] 63995012710422, 26, 47, 54, 57, 76, 90, 98, 116, 121, 129 [best: 1000] 64424509440022, 26, 47, 54, 57, 102, 119, 141, 149, 173, 177 [best: 1000] 64854006169622, 26, 47, 54, 58, 67, 86, 108, 139, 149, 206, 244 [best: 1000] 65283502899222, 26, 47, 54, 58, 77, 128, 133, 169, 203, 238 [best: 1000] 65712999628822, 26, 47, 54, 58, 91, 94, 102, 119, 130, 187, 209 [best: 1000] 66142496358422, 26, 47, 54, 59, 69, 74, 77, 104, 162, 195 [best: 1000] 66571993088022, 26, 47, 54, 59, 94, 103, 119, 138, 151, 234 [best: 1000] 67001489817622, 26, 47, 54, 60, 81, 89, 93, 103, 126, 190 [best: 1000] 67430986547222, 26, 47, 54, 61, 80, 97, 112, 114, 144, 153 [best: 1000] 67860483276822, 26, 47, 54, 62, 78, 87, 99, 111, 159, 162 [best: 1000] 68289980006422, 26, 47, 54, 63, 76, 80, 92, 110, 138, 145 [best: 1000] 68719476736022, 26, 47, 54, 64, 77, 87, 102, 158, 161, 177 [best: 1000] 69148973465622, 26, 47, 54, 66, 67, 77, 130, 166, 194, 200 [best: 1000] 69578470195222, 26, 47, 54, 67, 71, 77, 96, 124, 177, 179 [best: 1000] 70007966924822, 26, 47, 54, 67, 94, 104, 120, 123, 128, 149 [best: 1000] 70437463654422, 26, 47, 54, 68, 88, 98, 114, 137, 179, 205 [best: 1000] 70866960384022, 26, 47, 54, 70, 74, 89, 100, 110, 148, 160 [best: 1000] 71296457113622, 26, 47, 54, 71, 83, 106, 117, 134, 178, 195 [best: 1000] 71725953843222, 26, 47, 54, 72, 79, 89, 93, 98, 151, 219, 241 [best: 1000] 72155450572822, 26, 47, 54, 72, 97, 113, 114, 135, 190, 203 [best: 1000] 72584947302422, 26, 47, 54, 73, 88, 91, 105, 133, 143, 176, 200 [best: 1000] 73014444032022, 26, 47, 54, 75, 83, 107, 108, 117, 154, 173 [best: 1000] 73443940761622, 26, 47, 54, 77, 86, 99, 112, 159, 178, 198, 227 [best: 1000] 73873437491222, 26, 47, 54, 78, 88, 110, 121, 149, 156, 164 [best: 1000] 74302934220822, 26, 47, 54, 81, 84, 93, 122, 123, 137, 154 [best: 1000] 74732430950422, 26, 47, 54, 82, 93, 119, 128, 144, 197, 235 [best: 1000] 75161927680022, 26, 47, 54, 86, 91, 111, 114, 147, 170, 177 [best: 1000] 75591424409622, 26, 47, 55, 56, 59, 62, 82, 95, 104, 119 [best: 1000] 76020921139222, 26, 47, 55, 56, 66, 83, 105, 124, 161, 189 [best: 1000] 76450417868822, 26, 47, 55, 56, 73, 123, 127, 154, 192, 237 [best: 1000] 76879914598422, 26, 47, 55, 56, 86, 94, 114, 136, 159 [best: 1000] 77309411328022, 26, 47, 55, 57, 59, 89, 122, 134, 140, 147 [best: 1000] 77738908057622, 26, 47, 55, 57, 67, 91, 103, 123, 135, 185 [best: 1000] 78168404787222, 26, 47, 55, 57, 75, 90, 131, 143, 163, 191 [best: 1000] 78597901516822, 26, 47, 55, 57, 90, 98, 105, 111, 131, 141 [best: 1000] 79027398246422, 26, 47, 55, 58, 62, 69, 133, 134, 148, 172 [best: 1000] 79456894976022, 26, 47, 55, 58, 68, 71, 134, 135, 145, 188, 239 [best: 1000] 79886391705622, 26, 47, 55, 58, 73, 111, 132, 158, 170, 242 [best: 1000] 80315888435222, 26, 47, 55, 58, 80, 100, 113, 154, 169, 197 [best: 1000] 80745385164822, 26, 47, 55, 58, 91, 96, 98, 132, 142, 184, 187 [best: 1000] 81174881894422, 26, 47, 55, 59, 64, 73, 76, 81, 105, 210 [best: 1000] 81604378624022, 26, 47, 55, 59, 71, 87, 100, 153, 163, 195 [best: 1000] 82033875353622, 26, 47, 55, 59, 81, 92, 95, 110, 185, 224 [best: 1000] 82463372083222, 26, 47, 55, 60, 62, 79, 85, 88, 153, 198 [best: 1000] 82892868812822, 26, 47, 55, 60, 70, 80, 82, 150, 163, 229 [best: 1000] 83322365542422, 26, 47, 55, 60, 79, 93, 120, 125, 173 [best: 1000] 83751862272022, 26, 47, 55, 61, 62, 73, 113, 159, 170, 183 [best: 1000] 84181359001622, 26, 47, 55, 61, 72, 122, 142, 149, 176, 237 [best: 1000] 84610855731222, 26, 47, 55, 62, 63, 65, 86, 97, 132, 161 [best: 1000] 85040352460822, 26, 47, 55, 62, 71, 78, 146, 174, 192, 202 [best: 1000] 85469849190422, 26, 47, 55, 62, 81, 83, 94, 121, 144, 215 [best: 1000] 85899345920022, 26, 47, 55, 63, 66, 98, 115, 128, 158, 206 [best: 1000] 86328842649622, 26, 47, 55, 63, 77, 121, 129, 165, 191, 210 [best: 1000] 86758339379222, 26, 47, 55, 64, 67, 81, 100, 152, 176, 188 [best: 1000] 87187836108822, 26, 47, 55, 64, 75, 84, 126, 141, 154, 180 [best: 1000] 87617332838422, 26, 47, 55, 64, 91, 98, 101, 154, 183, 202 [best: 1000] 88046829568022, 26, 47, 55, 65, 71, 77, 106, 123, 124, 148 [best: 1000] 88476326297622, 26, 47, 55, 65, 78, 96, 125, 155, 195, 212 [best: 1000] 88905823027222, 26, 47, 55, 65, 94, 95, 135, 138, 140, 179, 197 [best: 1000] 89335319756822, 26, 47, 55, 66, 70, 76, 141, 148, 154, 201 [best: 1000] 89764816486422, 26, 47, 55, 66, 78, 121, 155, 164, 165, 243 [best: 1000] 90194313216022, 26, 47, 55, 66, 101, 110, 127, 142, 157, 190 [best: 1000] 90623809945622, 26, 47, 55, 67, 73, 110, 122, 137, 184, 213 [best: 1000] 91053306675222, 26, 47, 55, 67, 83, 111, 156, 166, 189, 251 [best: 1000] 91482803404822, 26, 47, 55, 68, 69, 80, 92, 101, 150, 185 [best: 1000] 91912300134422, 26, 47, 55, 68, 76, 89, 137, 156, 179, 210 [best: 1000] 92341796864022, 26, 47, 55, 68, 89, 94, 109, 130, 138, 181 [best: 1000] 92771293593622, 26, 47, 55, 69, 71, 116, 124, 134, 195, 248 [best: 1000] 93200790323222, 26, 47, 55, 69, 80, 91, 115, 138, 139, 162 [best: 1000] 93630287052822, 26, 47, 55, 69, 97, 112, 117, 135, 136, 145 [best: 1000] 94059783782422, 26, 47, 55, 70, 76, 121, 138, 154, 175, 186 [best: 1000] 94489280512022, 26, 47, 55, 70, 94, 114, 116, 120, 137, 148 [best: 1000] 94918777241622, 26, 47, 55, 71, 75, 102, 169, 171, 179 [best: 1000] 95348273971222, 26, 47, 55, 71, 80, 107, 108, 139, 173, 190, 231 [best: 1000] 95777770700822, 26, 47, 55, 71, 88, 93, 132, 133, 202, 207 [best: 1000] 96207267430422, 26, 47, 55, 71, 97, 103, 155, 164, 198, 199 [best: 1000] 96636764160022, 26, 47, 55, 71, 112, 115, 146, 168, 171, 194 [best: 1000] 97066260889622, 26, 47, 55, 72, 81, 106, 123, 168, 189, 199 [best: 1000] 97495757619222, 26, 47, 55, 72, 106, 111, 119, 160, 168, 199 [best: 1000] 97925254348822, 26, 47, 55, 73, 82, 88, 105, 159, 185, 194 [best: 1000] 98354751078422, 26, 47, 55, 73, 103, 111, 162, 178, 179, 182 [best: 1000] 98784247808022, 26, 47, 55, 74, 87, 94, 113, 117, 126, 134 [best: 1000] 99213744537622, 26, 47, 55, 75, 81, 123, 128, 129, 192, 208 [best: 1000] 99643241267222, 26, 47, 55, 76, 79, 83, 95, 132, 138, 164 [best: 1000] 100072737996822, 26, 47, 55, 76, 88, 136, 153, 191, 207, 258 [best: 1000] 100502234726422, 26, 47, 55, 76, 103, 108, 127, 142, 205, 238 [best: 1000] 100931731456022, 26, 47, 55, 77, 87, 95, 133, 156, 172, 195 [best: 1000] 101361228185622, 26, 47, 55, 78, 79, 120, 142, 181, 209, 222 [best: 1000] 101790724915222, 26, 47, 55, 78, 95, 107, 134, 171, 174, 192 [best: 1000] 102220221644822, 26, 47, 55, 79, 87, 94, 103, 147, 156, 213 [best: 1000] 102649718374422, 26, 47, 55, 80, 82, 111, 126, 132, 136, 141 [best: 1000] 103079215104022, 26, 47, 55, 80, 104, 109, 158, 173, 183, 224 [best: 1000] 103508711833622, 26, 47, 55, 81, 95, 103, 149, 158, 161, 225 [best: 1000] 103938208563222, 26, 47, 55, 82, 95, 98, 130, 141, 169, 227 [best: 1000] 104367705292822, 26, 47, 55, 83, 96, 100, 116, 178, 208, 259 [best: 1000] 104797202022422, 26, 47, 55, 85, 96, 101, 130, 145, 179, 219 [best: 1000] 105226698752022, 26, 47, 55, 87, 91, 120, 139, 163, 183, 192 [best: 1000] 105656195481622, 26, 47, 56, 57, 60, 76, 79, 98, 153, 156 [best: 1000] 106085692211222, 26, 47, 56, 57, 72, 102, 106, 109, 128, 215 [best: 1000] 106515188940822, 26, 47, 56, 57, 95, 113, 114, 120, 159, 229 [best: 1000] 106944685670422, 26, 47, 56, 58, 66, 68, 73, 100, 102, 140 [best: 1000] 107374182400022, 26, 47, 56, 58, 74, 89, 95, 131, 150, 180 [best: 1000] 107803679129622, 26, 47, 56, 58, 88, 120, 135, 149, 154, 217 [best: 1000] 108233175859222, 26, 47, 56, 59, 67, 69, 132, 141, 176, 181, 246 [best: 1000] 108662672588822, 26, 47, 56, 59, 87, 101, 121, 139, 180, 186 [best: 1000] 109092169318422, 26, 47, 56, 60, 73, 90, 122, 152, 188, 195 [best: 1000] 109521666048022, 26, 47, 56, 61, 70, 73, 118, 123, 137, 199 [best: 1000] 109951162777622, 26, 47, 56, 62, 71, 78, 89, 116, 144, 165 [best: 1000] 110380659507222, 26, 47, 56, 63, 67, 88, 140, 149, 191, 231 [best: 1000] 110810156236822, 26, 47, 56, 64, 69, 102, 135, 166, 167, 169, 175 [best: 1000] 111239652966422, 26, 47, 56, 65, 68, 93, 115, 120, 172, 192, 228 [best: 1000] 111669149696022, 26, 47, 56, 66, 67, 70, 89, 137, 152, 177, 213 [best: 1000] 112098646425622, 26, 47, 56, 67, 76, 92, 104, 114, 132, 152 [best: 1000] 112528143155222, 26, 47, 56, 68, 73, 80, 104, 132, 166, 223 [best: 1000] 112957639884822, 26, 47, 56, 69, 79, 87, 92, 147, 168, 202 [best: 1000] 113387136614422, 26, 47, 56, 70, 75, 79, 104, 109, 137, 152 [best: 1000] 113816633344022, 26, 47, 56, 71, 72, 79, 120, 132, 159, 207 [best: 1000] 114246130073622, 26, 47, 56, 72, 77, 136, 150, 173, 183, 206 [best: 1000] 114675626803222, 26, 47, 56, 72, 90, 101, 156, 178, 180, 191 [best: 1000] 115105123532822, 26, 47, 56, 73, 80, 98, 130, 137, 173, 187 [best: 1000] 115534620262422, 26, 47, 56, 74, 93, 94, 130, 137, 139, 201 [best: 1000] 115964116992022, 26, 47, 56, 76, 85, 90, 111, 112, 113, 140 [best: 1000] 116393613721622, 26, 47, 56, 77, 97, 117, 142, 179, 185, 209 [best: 1000] 116823110451222, 26, 47, 56, 79, 90, 92, 95, 129, 154, 158 [best: 1000] 117252607180822, 26, 47, 56, 80, 107, 126, 130, 153, 173, 186 [best: 1000] 117682103910422, 26, 47, 56, 82, 108, 129, 142, 152, 166, 211 [best: 1000] 118111600640022, 26, 47, 56, 86, 97, 98, 114, 116, 134, 151 [best: 1000] 118541097369622, 26, 47, 57, 58, 64, 78, 86, 92, 101, 129 [best: 1000] 118970594099222, 26, 47, 57, 58, 78, 82, 133, 147, 159, 203 [best: 1000] 119400090828822, 26, 47, 57, 58, 104, 108, 112, 144, 174, 193, 210 [best: 1000] 119829587558422, 26, 47, 57, 59, 81, 91, 92, 120, 123, 163 [best: 1000] 120259084288022, 26, 47, 57, 60, 72, 83, 122, 172, 173 [best: 1000] 120688581017622, 26, 47, 57, 61, 66, 103, 137, 162, 169, 187, 194 [best: 1000] 121118077747222, 26, 47, 57, 62, 70, 89, 90, 143, 145, 169 [best: 1000] 121547574476822, 26, 47, 57, 63, 71, 93, 118, 155, 173, 177 [best: 1000] 121977071206422, 26, 47, 57, 64, 76, 83, 98, 105, 109, 127 [best: 1000] 122406567936022, 26, 47, 57, 65, 82, 92, 117, 118, 128, 190 [best: 1000] 122836064665622, 26, 47, 57, 66, 88, 102, 119, 172, 213, 252 [best: 1000] 123265561395222, 26, 47, 57, 67, 88, 100, 120, 126, 133, 202 [best: 1000] 123695058124822, 26, 47, 57, 69, 70, 102, 111, 112, 113, 148 [best: 1000] 124124554854422, 26, 47, 57, 71, 76, 89, 114, 130, 135, 168 [best: 1000] 124554051584022, 26, 47, 57, 72, 77, 113, 144, 174, 187, 229 [best: 1000] 124983548313622, 26, 47, 57, 72, 92, 98, 123, 149, 154, 178 [best: 1000] 125413045043222, 26, 47, 57, 73, 83, 116, 123, 135, 163, 175 [best: 1000] 125842541772822, 26, 47, 57, 75, 89, 96, 120, 126, 138, 169, 186 [best: 1000] 126272038502422, 26, 47, 57, 77, 89, 109, 144, 192, 212, 227, 228 [best: 1000] 126701535232022, 26, 47, 57, 78, 98, 116, 125, 134, 150, 203 [best: 1000] 127131031961622, 26, 47, 57, 82, 86, 100, 116, 160, 164, 178 [best: 1000] 127560528691222, 26, 47, 57, 84, 88, 113, 133, 163, 166, 209 [best: 1000] 127990025420822, 26, 47, 58, 59, 64, 66, 97, 123, 151, 181 [best: 1000] 128419522150422, 26, 47, 58, 59, 80, 99, 115, 116, 164, 220 [best: 1000] 128849018880022, 26, 47, 58, 60, 67, 105, 124, 173, 179, 247 [best: 1000] 129278515609622, 26, 47, 58, 60, 87, 94, 119, 150, 166, 173, 223 [best: 1000] 129708012339222, 26, 47, 58, 62, 63, 65, 82, 108, 158, 186 [best: 1000] 130137509068822, 26, 47, 58, 62, 82, 99, 125, 131, 138, 178, 220 [best: 1000] 130567005798422, 26, 47, 58, 63, 83, 105, 117, 127, 162, 197 [best: 1000] 130996502528022, 26, 47, 58, 64, 81, 96, 99, 129, 131, 132, 211 [best: 1000] 131425999257622, 26, 47, 58, 65, 70, 99, 107, 108, 119, 122 [best: 1000] 131855495987222, 26, 47, 58, 65, 92, 102, 114, 148, 188, 218 [best: 1000] 132284992716822, 26, 47, 58, 66, 76, 103, 107, 136, 141, 173 [best: 1000] 132714489446422, 26, 47, 58, 67, 69, 81, 85, 105, 140, 177, 198 [best: 1000] 133143986176022, 26, 47, 58, 67, 77, 114, 146, 172, 181, 206 [best: 1000] 133573482905622, 26, 47, 58, 67, 87, 89, 100, 151, 224, 246 [best: 1000] 134002979635222, 26, 47, 58, 67, 98, 115, 137, 165, 193, 210 [best: 1000] 134432476364822, 26, 47, 58, 68, 72, 77, 101, 104, 119, 148, 153 [best: 1000] 134861973094422, 26, 47, 58, 68, 83, 104, 110, 138, 193, 199, 234 [best: 1000] 135291469824022, 26, 47, 58, 68, 102, 104, 122, 130, 137, 160, 181 [best: 1000] 135720966553622, 26, 47, 58, 69, 77, 105, 139, 164, 171, 218 [best: 1000] 136150463283222, 26, 47, 58, 69, 100, 105, 124, 177, 192, 202 [best: 1000] 136579960012822, 26, 47, 58, 72, 83, 84, 133, 154, 170, 184 [best: 1000] 137009456742422, 26, 47, 58, 75, 76, 84, 125, 147, 181, 215 [best: 1000] 137438953472022, 26, 47, 58, 76, 94, 96, 104, 129, 159, 166, 194 [best: 1000] 137868450201622, 26, 47, 58, 79, 92, 100, 112, 125, 126, 161 [best: 1000] 138297946931222, 26, 47, 58, 81, 86, 97, 103, 111, 162, 175, 215 [best: 1000] 138727443660822, 26, 47, 59, 60, 67, 91, 113, 145, 183, 212 [best: 1000] 139156940390422, 26, 47, 59, 62, 64, 80, 89, 124, 157, 199 [best: 1000] 139586437120022, 26, 47, 59, 63, 81, 83, 114, 127, 175, 198, 206, 230 [best: 1000] 140015933849622, 26, 47, 59, 65, 69, 82, 83, 132, 161, 183 [best: 1000] 140445430579222, 26, 47, 59, 65, 83, 95, 124, 134, 157, 167 [best: 1000] 140874927308822, 26, 47, 59, 66, 91, 95, 121, 127, 178, 200 [best: 1000] 141304424038422, 26, 47, 59, 67, 77, 105, 118, 148, 199, 218 [best: 1000] 141733920768022, 26, 47, 59, 67, 85, 123, 133, 172, 202, 210 [best: 1000] 142163417497622, 26, 47, 59, 68, 81, 93, 96, 103, 120, 136, 215, 233 [best: 1000] 142592914227222, 26, 47, 59, 69, 84, 89, 132, 143, 158, 183 [best: 1000] 143022410956822, 26, 47, 59, 71, 75, 77, 81, 94, 140, 178 [best: 1000] 143451907686422, 26, 47, 59, 73, 78, 92, 124, 137, 186, 203 [best: 1000] 143881404416022, 26, 47, 59, 76, 79, 93, 130, 143, 176, 192, 211 [best: 1000] 144310901145622, 26, 47, 60, 62, 81, 94, 118, 141, 150, 164 [best: 1000] 144740397875222, 26, 47, 60, 64, 79, 98, 105, 123, 132, 172 [best: 1000] 145169894604822, 26, 47, 60, 66, 71, 73, 119, 143, 163, 193 [best: 1000] 145599391334422, 26, 47, 60, 66, 102, 106, 119, 133, 182, 192 [best: 1000] 146028888064022, 26, 47, 60, 67, 78, 97, 100, 106, 127, 179 [best: 1000] 146458384793622, 26, 47, 60, 67, 92, 94, 108, 118, 208, 233 [best: 1000] 146887881523222, 26, 47, 60, 68, 81, 95, 118, 119, 175, 177 [best: 1000] 147317378252822, 26, 47, 60, 70, 75, 90, 113, 128, 131, 137 [best: 1000] 147746874982422, 26, 47, 60, 73, 77, 79, 125, 181, 208, 238 [best: 1000] 148176371712022, 26, 47, 60, 76, 78, 91, 102, 109, 183, 184 [best: 1000] 148605868441622, 26, 47, 61, 64, 84, 92, 95, 143, 159, 178 [best: 1000] 149035365171222, 26, 47, 61, 67, 73, 83, 118, 119, 143, 206 [best: 1000] 149464861900822, 26, 47, 61, 68, 77, 86, 98, 134, 192, 210 [best: 1000] 149894358630422, 26, 47, 61, 72, 81, 87, 94, 117, 144, 202 [best: 1000] 150323855360022, 26, 47, 62, 64, 84, 92, 106, 145, 169, 214 [best: 1000] 150753352089622, 26, 47, 62, 66, 73, 74, 83, 89, 91, 157 [best: 1000] 151182848819222, 26, 47, 62, 67, 71, 107, 144, 146, 180, 222 [best: 1000] 151612345548822, 26, 47, 62, 67, 85, 92, 121, 128, 161, 201 [best: 1000] 152041842278422, 26, 47, 62, 68, 74, 79, 90, 104, 141, 214 [best: 1000] 152471339008022, 26, 47, 62, 69, 86, 96, 121, 133, 150, 195 [best: 1000] 152900835737622, 26, 47, 62, 72, 79, 81, 97, 112, 136, 139 [best: 1000] 153330332467222, 26, 47, 62, 77, 81, 90, 106, 121, 124, 187 [best: 1000] 153759829196822, 26, 47, 63, 65, 83, 111, 123, 145, 163, 189 [best: 1000] 154189325926422, 26, 47, 63, 67, 83, 108, 120, 143, 169, 192, 232 [best: 1000] 154618822656022, 26, 47, 63, 69, 83, 106, 123, 133, 184, 205, 216 [best: 1000] 155048319385622, 26, 47, 64, 65, 67, 99, 102, 137, 140, 206 [best: 1000] 155477816115222, 26, 47, 64, 66, 77, 86, 117, 128, 145, 200 [best: 1000] 155907312844822, 26, 47, 64, 67, 70, 106, 109, 110, 113, 139, 165 [best: 1000] 156336809574422, 26, 47, 64, 67, 83, 85, 115, 140, 155, 159 [best: 1000] 156766306304022, 26, 47, 64, 68, 70, 89, 93, 103, 107, 159 [best: 1000] 157195803033622, 26, 47, 64, 69, 71, 74, 96, 103, 120, 177 [best: 1000] 157625299763222, 26, 47, 64, 71, 81, 125, 150, 153, 181, 186 [best: 1000] 158054796492822, 26, 47, 64, 76, 77, 79, 90, 129, 145, 172 [best: 1000] 1584842932224total chains: 1586262145279new 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 12 12 12 12 8: 17 248 14 7 23 9: 384 6022 15 4 2810: 10621 186037 17 1 3311: 350216 6835423 19 1 3812: 13257075 282867369 21 0 4313: 562671418 13000822646 23 0 4814: 26417222864 657991085759 24 0 5315: 3501598159 91499175804 26 0 5616: 121786794 3601677227 29 0 6117: 739961 25771984 34 4 5818: 1297 47989 37 23 5619: 0 0 0 0 020: 0 0 0 0 0real 61m18.145suser 61m18.140ssys 0m0.000sEOMstderr end
running docker command: stop boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0
command output:
time="2025-04-27T21:31:46Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0EOMrunning docker command: container rm boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0
command output:
time="2025-04-27T21:31:46Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."boinc__boinc.berkeley.edu_central__batch_88__job_job-005404_0EOMrunning docker command: image rm boinc__boinc.berkeley.edu_central__batch_88__job_job-005404
command output:
time="2025-04-27T21:31:46Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."Untagged: localhost/boinc__boinc.berkeley.edu_central__batch_88__job_job-005404:latestEOM2025-04-27 17:31:47 (26400): called boinc_finish(0)
</stderr_txt>
]]>
©2025 UC Berkeley