Task 12037
| Name | batch_88__job_job-005485_1 |
| Workunit | 7613 |
| Created | 27 Apr 2025, 15:41:53 UTC |
| Sent | 28 Apr 2025, 10:49:31 UTC |
| Report deadline | 5 May 2025, 10:49:31 UTC |
| Received | 28 Apr 2025, 14:13:32 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 21598 |
| Run time | 35 min 48 sec |
| CPU time | 31 min 8 sec |
| Validate state | Valid |
| Credit | 16.08 |
| Device peak FLOPS | 3.15 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 28.13 MB |
| Peak swap size | 1.97 GB |
| Peak disk usage | 163.05 KB |
Stderr output
<core_client_version>8.3.0</core_client_version>
<![CDATA[
<stderr_txt>
ATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 27 minutes ago Up 27 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.90% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 27 minutes ago Up 27 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.75% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 27 minutes ago Up 27 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.03% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 28 minutes ago Up 28 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.00% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 28 minutes ago Up 28 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.91% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 28 minutes ago Up 28 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.00% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 28 minutes ago Up 28 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.66% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 28 minutes ago Up 28 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.62% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 29 minutes ago Up 29 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.79% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 29 minutes ago Up 29 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.98% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 29 minutes ago Up 29 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.15% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 29 minutes ago Up 29 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.96% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 29 minutes ago Up 29 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.05% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 30 minutes ago Up 30 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.05% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 30 minutes ago Up 30 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.07% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 30 minutes ago Up 30 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.23% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 30 minutes ago Up 30 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.96% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 30 minutes ago Up 30 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.75% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 30 minutes ago Up 30 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.60% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 31 minutes ago Up 31 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.01% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 31 minutes ago Up 31 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.61% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 31 minutes ago Up 31 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.97% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 31 minutes ago Up 31 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.76% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 31 minutes ago Up 31 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.66% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 32 minutes ago Up 32 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.84% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 32 minutes ago Up 32 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.69% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 32 minutes ago Up 32 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.79% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 32 minutes ago Up 32 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.84% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 32 minutes ago Up 32 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.97% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 33 minutes ago Up 33 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.72% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 33 minutes ago Up 33 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.37% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 33 minutes ago Up 33 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.00% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 33 minutes ago Up 33 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.12% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 33 minutes ago Up 33 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.80% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 34 minutes ago Up 34 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.17% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 34 minutes ago Up 34 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.70% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 34 minutes ago Up 34 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.94% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 34 minutes ago Up 34 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.98% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 34 minutes ago Up 34 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.71% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 35 minutes ago Up 34 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.90% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 35 minutes ago Up 35 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.27% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 35 minutes ago Up 35 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
100.08% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 35 minutes ago Up 35 minutes boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: stats --no-stream --format "{{.CPUPerc}} {{.MemUsage}}" boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
99.71% 1.574MiB / 15.04GiB
running docker command: ps --all -f "name=boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1"
command output:
CONTAINER ID IMAGE COMMAND CREATED STATUS PORTS NAMES
59010c818a9f boinc__boinc.berkeley.edu_central__batch_88__job_job-005485 "/bin/sh -c './main.…" 35 minutes ago Exited (0) 8 seconds ago boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: logs boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
N = 15, MAX_LENGTH: 21, CAPTURE_STATS: 1
7 targets:
010010000001110
000001100001101
001000000000101
010010010010000
010111010100000
011100000000110
001111101111111
22, 33, 51 [best: 1000] 0
22, 33, 51, 52, 53, 71, 73, 74, 83, 148, 204 [best: 1000] 4294967296
22, 33, 51, 52, 54, 66, 78, 83, 131, 145, 150, 183 [best: 1000] 8589934592
22, 33, 51, 52, 56, 64, 65, 78, 145, 152, 208 [best: 1000] 12884901888
22, 33, 51, 52, 58, 60, 103, 109, 137, 183, 191 [best: 1000] 17179869184
22, 33, 51, 52, 59, 60, 65, 88, 91, 168, 178 [best: 1000] 21474836480
22, 33, 51, 52, 60, 63, 81, 91, 142, 186, 224 [best: 1000] 25769803776
22, 33, 51, 52, 60, 73, 91, 127, 170, 177, 200 [best: 1000] 30064771072
22, 33, 51, 52, 60, 88, 104, 117, 119, 178, 180 [best: 1000] 34359738368
22, 33, 51, 52, 61, 80, 112, 133, 141, 162, 179 [best: 1000] 38654705664
22, 33, 51, 52, 62, 86, 99, 105, 113, 153, 201 [best: 1000] 42949672960
22, 33, 51, 52, 64, 81, 103, 110, 117, 122, 197 [best: 1000] 47244640256
22, 33, 51, 52, 66, 71, 84, 92, 119, 185, 205 [best: 1000] 51539607552
22, 33, 51, 52, 69, 72, 107, 119, 129, 159, 180, 197, 261 [best: 1000] 55834574848
22, 33, 51, 52, 71, 74, 88, 109, 124, 134, 175 [best: 1000] 60129542144
22, 33, 51, 52, 71, 95, 102, 105, 132, 173, 215 [best: 1000] 64424509440
22, 33, 51, 53, 54, 58, 67, 84, 122, 130, 181 [best: 1000] 68719476736
22, 33, 51, 53, 54, 73, 93, 105, 136, 141, 159 [best: 1000] 73014444032
22, 33, 51, 53, 55, 71, 85, 99, 104, 164, 177 [best: 1000] 77309411328
22, 33, 51, 53, 56, 69, 112, 117, 119, 156, 191 [best: 1000] 81604378624
22, 33, 51, 53, 57, 62, 70, 104, 136, 151, 229 [best: 1000] 85899345920
22, 33, 51, 53, 58, 60, 74, 99, 106, 177, 180 [best: 1000] 90194313216
22, 33, 51, 53, 58, 70, 85, 126, 179, 190, 206 [best: 1000] 94489280512
22, 33, 51, 53, 58, 85, 96, 99, 113, 169, 171 [best: 1000] 98784247808
22, 33, 51, 53, 59, 64, 89, 94, 111, 119, 144 [best: 1000] 103079215104
22, 33, 51, 53, 59, 80, 97, 120, 141, 161, 212, 246 [best: 1000] 107374182400
22, 33, 51, 53, 60, 64, 65, 92, 171, 210, 216 [best: 1000] 111669149696
22, 33, 51, 53, 60, 70, 96, 165, 199, 207, 258 [best: 1000] 115964116992
22, 33, 51, 53, 60, 78, 80, 84, 139, 154, 208 [best: 1000] 120259084288
22, 33, 51, 53, 60, 88, 90, 150, 163, 192, 201 [best: 1000] 124554051584
22, 33, 51, 53, 60, 106, 119, 150, 154, 166, 238 [best: 1000] 128849018880
22, 33, 51, 53, 61, 71, 95, 137, 155, 157, 211, 249 [best: 1000] 133143986176
22, 33, 51, 53, 61, 92, 96, 116, 119, 126, 167 [best: 1000] 137438953472
22, 33, 51, 53, 62, 70, 125, 131, 165, 174, 217 [best: 1000] 141733920768
22, 33, 51, 53, 62, 84, 106, 111, 116, 152, 155 [best: 1000] 146028888064
22, 33, 51, 53, 63, 71, 78, 79, 106, 123, 207 [best: 1000] 150323855360
22, 33, 51, 53, 64, 71, 72, 74, 84, 156, 235 [best: 1000] 154618822656
22, 33, 51, 53, 65, 70, 87, 110, 139, 170, 222 [best: 1000] 158913789952
22, 33, 51, 53, 66, 72, 81, 125, 149, 159, 198 [best: 1000] 163208757248
22, 33, 51, 53, 67, 83, 90, 97, 118, 131 [best: 1000] 167503724544
22, 33, 51, 53, 69, 71, 90, 140, 156, 183, 188 [best: 1000] 171798691840
22, 33, 51, 53, 69, 98, 101, 111, 117, 125, 201 [best: 1000] 176093659136
22, 33, 51, 53, 70, 83, 96, 105, 139, 148, 184 [best: 1000] 180388626432
22, 33, 51, 53, 71, 73, 92, 112, 117, 201, 237 [best: 1000] 184683593728
22, 33, 51, 53, 71, 82, 103, 127, 146, 147, 178 [best: 1000] 188978561024
22, 33, 51, 53, 71, 93, 100, 123, 159, 176, 221 [best: 1000] 193273528320
22, 33, 51, 53, 72, 74, 109, 125, 172, 177, 220 [best: 1000] 197568495616
22, 33, 51, 53, 72, 98, 100, 106, 121, 145, 153 [best: 1000] 201863462912
22, 33, 51, 53, 73, 94, 104, 109, 131, 185, 200 [best: 1000] 206158430208
22, 33, 51, 53, 76, 82, 95, 101, 105, 109, 172 [best: 1000] 210453397504
22, 33, 51, 53, 79, 85, 86, 117, 118, 128, 163 [best: 1000] 214748364800
22, 33, 51, 53, 81, 89, 121, 130, 144, 193, 217 [best: 1000] 219043332096
22, 33, 51, 54, 56, 66, 73, 100, 127, 152, 158 [best: 1000] 223338299392
22, 33, 51, 54, 58, 63, 69, 109, 134, 138, 143 [best: 1000] 227633266688
22, 33, 51, 54, 59, 60, 81, 89, 104, 157, 185 [best: 1000] 231928233984
22, 33, 51, 54, 60, 63, 108, 121, 150, 172, 185 [best: 1000] 236223201280
22, 33, 51, 54, 60, 78, 84, 91, 141, 161, 204 [best: 1000] 240518168576
22, 33, 51, 54, 61, 66, 100, 101, 147, 162, 187 [best: 1000] 244813135872
22, 33, 51, 54, 62, 69, 108, 116, 127, 171, 192 [best: 1000] 249108103168
22, 33, 51, 54, 64, 65, 89, 113, 124, 144, 183 [best: 1000] 253403070464
22, 33, 51, 54, 66, 81, 88, 89, 93, 108, 176 [best: 1000] 257698037760
22, 33, 51, 54, 68, 71, 77, 124, 143, 160, 206 [best: 1000] 261993005056
22, 33, 51, 54, 68, 90, 95, 136, 147, 155, 158 [best: 1000] 266287972352
22, 33, 51, 54, 70, 81, 96, 125, 146, 164, 179 [best: 1000] 270582939648
22, 33, 51, 55, 56, 75, 80, 81, 139, 150, 201 [best: 1000] 274877906944
22, 33, 51, 55, 59, 61, 104, 109, 114, 150, 160 [best: 1000] 279172874240
22, 33, 51, 55, 60, 73, 78, 120, 129, 164, 189 [best: 1000] 283467841536
22, 33, 51, 55, 62, 63, 80, 91, 97, 98, 116 [best: 1000] 287762808832
22, 33, 51, 55, 65, 73, 75, 91, 133, 180, 214 [best: 1000] 292057776128
22, 33, 51, 56, 57, 66, 71, 87, 123, 144, 181 [best: 1000] 296352743424
22, 33, 51, 56, 58, 78, 100, 137, 153, 184, 209 [best: 1000] 300647710720
22, 33, 51, 56, 60, 61, 83, 86, 126, 137, 144 [best: 1000] 304942678016
22, 33, 51, 56, 60, 75, 78, 90, 135, 141, 229 [best: 1000] 309237645312
22, 33, 51, 56, 60, 99, 103, 145, 174, 179, 182, 196 [best: 1000] 313532612608
22, 33, 51, 56, 62, 67, 68, 71, 83, 98, 156 [best: 1000] 317827579904
22, 33, 51, 56, 63, 72, 84, 107, 110, 148, 166 [best: 1000] 322122547200
22, 33, 51, 56, 66, 69, 85, 87, 120, 133, 184 [best: 1000] 326417514496
22, 33, 51, 56, 68, 69, 91, 137, 149, 189, 199 [best: 1000] 330712481792
22, 33, 51, 56, 68, 87, 88, 139, 162, 165, 178 [best: 1000] 335007449088
22, 33, 51, 56, 70, 81, 105, 109, 118, 153, 160 [best: 1000] 339302416384
22, 33, 51, 57, 58, 60, 109, 116, 139, 156, 222 [best: 1000] 343597383680
22, 33, 51, 57, 59, 63, 75, 110, 119, 148, 183 [best: 1000] 347892350976
22, 33, 51, 57, 60, 69, 76, 87, 94, 181, 213 [best: 1000] 352187318272
22, 33, 51, 57, 60, 90, 107, 111, 118, 130, 226 [best: 1000] 356482285568
22, 33, 51, 57, 62, 68, 85, 115, 147, 157, 187 [best: 1000] 360777252864
22, 33, 51, 57, 64, 68, 97, 126, 140, 146 [best: 1000] 365072220160
22, 33, 51, 57, 67, 85, 88, 108, 123, 134, 144 [best: 1000] 369367187456
22, 33, 51, 57, 69, 80, 88, 122, 136, 174, 184 [best: 1000] 373662154752
22, 33, 51, 58, 59, 67, 81, 94, 107, 115, 189 [best: 1000] 377957122048
22, 33, 51, 58, 60, 62, 80, 95, 103, 113, 115 [best: 1000] 382252089344
22, 33, 51, 58, 60, 71, 77, 80, 108, 183, 189 [best: 1000] 386547056640
22, 33, 51, 58, 60, 87, 124, 126, 146, 153, 162 [best: 1000] 390842023936
22, 33, 51, 58, 61, 66, 86, 106, 112, 123, 135 [best: 1000] 395136991232
22, 33, 51, 58, 61, 83, 102, 107, 130, 179, 206 [best: 1000] 399431958528
22, 33, 51, 58, 62, 72, 82, 93, 98, 116, 133 [best: 1000] 403726925824
22, 33, 51, 58, 63, 70, 87, 122, 136, 177, 190 [best: 1000] 408021893120
22, 33, 51, 58, 64, 71, 112, 120, 132, 140, 175 [best: 1000] 412316860416
22, 33, 51, 58, 65, 80, 84, 102, 130, 147, 155 [best: 1000] 416611827712
22, 33, 51, 58, 66, 86, 92, 108, 130, 138, 145 [best: 1000] 420906795008
22, 33, 51, 58, 67, 76, 95, 122, 147, 158, 211 [best: 1000] 425201762304
22, 33, 51, 58, 67, 93, 105, 111, 121, 165, 194 [best: 1000] 429496729600
22, 33, 51, 58, 68, 80, 103, 126, 135, 153, 185 [best: 1000] 433791696896
22, 33, 51, 58, 69, 94, 98, 129, 132, 157, 194 [best: 1000] 438086664192
22, 33, 51, 58, 70, 103, 124, 130, 137, 152, 190 [best: 1000] 442381631488
22, 33, 51, 58, 74, 80, 116, 117, 118, 145, 163 [best: 1000] 446676598784
22, 33, 51, 58, 76, 80, 110, 153, 166, 222, 224 [best: 1000] 450971566080
22, 33, 51, 58, 79, 85, 102, 116, 122, 140, 156 [best: 1000] 455266533376
22, 33, 51, 58, 81, 84, 98, 108, 128, 163, 216 [best: 1000] 459561500672
22, 33, 51, 58, 84, 92, 95, 121, 133, 145, 163 [best: 1000] 463856467968
22, 33, 51, 59, 60, 69, 91, 122, 128, 133, 185 [best: 1000] 468151435264
22, 33, 51, 59, 60, 88, 94, 97, 104, 136, 143 [best: 1000] 472446402560
22, 33, 51, 59, 61, 84, 101, 105, 110, 131, 135 [best: 1000] 476741369856
22, 33, 51, 59, 62, 77, 99, 104, 143, 147, 182 [best: 1000] 481036337152
22, 33, 51, 59, 63, 76, 108, 114, 120, 173, 184 [best: 1000] 485331304448
22, 33, 51, 59, 65, 67, 70, 118, 139, 154, 165 [best: 1000] 489626271744
22, 33, 51, 59, 67, 72, 91, 120, 130, 164, 204 [best: 1000] 493921239040
22, 33, 51, 59, 68, 70, 73, 76, 104, 132, 146 [best: 1000] 498216206336
22, 33, 51, 59, 69, 82, 106, 110, 111, 120, 130 [best: 1000] 502511173632
22, 33, 51, 59, 72, 84, 102, 106, 152, 192, 219 [best: 1000] 506806140928
22, 33, 51, 59, 76, 84, 91, 99, 134, 167, 170 [best: 1000] 511101108224
22, 33, 51, 59, 80, 82, 88, 107, 165, 202, 204 [best: 1000] 515396075520
22, 33, 51, 60, 61, 67, 83, 114, 128, 184, 188 [best: 1000] 519691042816
22, 33, 51, 60, 61, 77, 105, 108, 122, 150, 182 [best: 1000] 523986010112
22, 33, 51, 60, 61, 106, 124, 130, 144, 180, 194, 260 [best: 1000] 528280977408
22, 33, 51, 60, 62, 71, 74, 78, 84, 87, 108 [best: 1000] 532575944704
22, 33, 51, 60, 62, 85, 92, 112, 157, 161, 172 [best: 1000] 536870912000
22, 33, 51, 60, 63, 67, 108, 124, 179, 190, 224 [best: 1000] 541165879296
22, 33, 51, 60, 63, 79, 112, 113, 116, 142, 148 [best: 1000] 545460846592
22, 33, 51, 60, 64, 67, 80, 91, 141, 184, 235 [best: 1000] 549755813888
22, 33, 51, 60, 64, 76, 84, 89, 167, 200, 223 [best: 1000] 554050781184
22, 33, 51, 60, 64, 100, 106, 113, 133, 196, 239 [best: 1000] 558345748480
22, 33, 51, 60, 65, 73, 84, 86, 129, 181, 199 [best: 1000] 562640715776
22, 33, 51, 60, 65, 85, 99, 111, 130, 134, 202 [best: 1000] 566935683072
22, 33, 51, 60, 66, 69, 80, 134, 144, 159, 218 [best: 1000] 571230650368
22, 33, 51, 60, 66, 78, 101, 145, 168, 181, 211 [best: 1000] 575525617664
22, 33, 51, 60, 66, 99, 101, 149, 158, 203, 212 [best: 1000] 579820584960
22, 33, 51, 60, 67, 72, 74, 78, 91, 92, 108 [best: 1000] 584115552256
22, 33, 51, 60, 67, 77, 84, 96, 151, 172, 260 [best: 1000] 588410519552
22, 33, 51, 60, 67, 83, 107, 130, 133, 173, 202 [best: 1000] 592705486848
22, 33, 51, 60, 67, 93, 119, 135, 155, 175, 198 [best: 1000] 597000454144
22, 33, 51, 60, 67, 109, 129, 134, 163, 196, 216 [best: 1000] 601295421440
22, 33, 51, 60, 68, 75, 96, 120, 123, 180, 212 [best: 1000] 605590388736
22, 33, 51, 60, 68, 85, 103, 149, 167, 187, 188, 265 [best: 1000] 609885356032
22, 33, 51, 60, 69, 70, 78, 87, 97, 110, 189 [best: 1000] 614180323328
22, 33, 51, 60, 69, 79, 82, 96, 112, 172, 212 [best: 1000] 618475290624
22, 33, 51, 60, 69, 95, 103, 108, 112, 136, 153 [best: 1000] 622770257920
22, 33, 51, 60, 70, 80, 87, 133, 156, 192, 195 [best: 1000] 627065225216
22, 33, 51, 60, 71, 76, 81, 90, 117, 136, 207 [best: 1000] 631360192512
22, 33, 51, 60, 71, 92, 109, 117, 151, 169, 216 [best: 1000] 635655159808
22, 33, 51, 60, 72, 80, 99, 114, 176, 182, 194 [best: 1000] 639950127104
22, 33, 51, 60, 72, 103, 123, 144, 145, 154, 208 [best: 1000] 644245094400
22, 33, 51, 60, 73, 84, 110, 127, 131, 161, 168 [best: 1000] 648540061696
22, 33, 51, 60, 74, 76, 78, 102, 166, 177, 212 [best: 1000] 652835028992
22, 33, 51, 60, 74, 92, 107, 110, 115, 172, 201 [best: 1000] 657129996288
22, 33, 51, 60, 75, 88, 110, 123, 142, 172, 196 [best: 1000] 661424963584
22, 33, 51, 60, 76, 84, 103, 108, 125, 135, 145 [best: 1000] 665719930880
22, 33, 51, 60, 77, 81, 109, 124, 168, 205, 233 [best: 1000] 670014898176
22, 33, 51, 60, 77, 105, 118, 137, 146, 155, 191 [best: 1000] 674309865472
22, 33, 51, 60, 78, 95, 131, 134, 149, 164, 218 [best: 1000] 678604832768
22, 33, 51, 60, 79, 99, 129, 135, 151, 171, 176 [best: 1000] 682899800064
22, 33, 51, 60, 81, 82, 91, 97, 155, 180, 211, 239 [best: 1000] 687194767360
22, 33, 51, 60, 81, 95, 114, 129, 158, 196, 212 [best: 1000] 691489734656
22, 33, 51, 60, 82, 91, 105, 142, 150, 159, 164 [best: 1000] 695784701952
22, 33, 51, 60, 83, 99, 111, 140, 173, 174, 200 [best: 1000] 700079669248
22, 33, 51, 60, 85, 91, 92, 96, 148, 179, 183 [best: 1000] 704374636544
22, 33, 51, 61, 62, 63, 102, 136, 146, 169, 170 [best: 1000] 708669603840
22, 33, 51, 61, 62, 79, 105, 115, 136, 159, 180 [best: 1000] 712964571136
22, 33, 51, 61, 63, 70, 117, 118, 137, 155, 177 [best: 1000] 717259538432
22, 33, 51, 61, 64, 76, 100, 107, 115, 125, 166 [best: 1000] 721554505728
22, 33, 51, 61, 65, 80, 87, 95, 133, 182, 199 [best: 1000] 725849473024
22, 33, 51, 61, 67, 68, 106, 109, 119, 139, 159 [best: 1000] 730144440320
22, 33, 51, 61, 67, 82, 112, 139, 140, 158, 238 [best: 1000] 734439407616
22, 33, 51, 61, 67, 106, 108, 117, 140, 203, 205 [best: 1000] 738734374912
22, 33, 51, 61, 69, 80, 81, 137, 156, 169, 170 [best: 1000] 743029342208
22, 33, 51, 61, 70, 77, 83, 134, 136, 153, 178 [best: 1000] 747324309504
22, 33, 51, 61, 71, 95, 101, 123, 136, 173, 179 [best: 1000] 751619276800
22, 33, 51, 61, 73, 82, 83, 89, 90, 140, 220 [best: 1000] 755914244096
22, 33, 51, 61, 76, 86, 103, 125, 149, 176, 195, 196 [best: 1000] 760209211392
22, 33, 51, 61, 80, 85, 114, 119, 132, 162, 169 [best: 1000] 764504178688
22, 33, 51, 61, 82, 90, 102, 119, 126, 166, 188, 204 [best: 1000] 768799145984
22, 33, 51, 62, 63, 69, 72, 78, 79, 105, 120 [best: 1000] 773094113280
22, 33, 51, 62, 64, 68, 85, 90, 113, 148, 202 [best: 1000] 777389080576
22, 33, 51, 62, 65, 66, 91, 99, 107, 161, 170 [best: 1000] 781684047872
22, 33, 51, 62, 66, 71, 119, 137, 164, 176, 230 [best: 1000] 785979015168
22, 33, 51, 62, 66, 101, 115, 119, 124, 139, 166 [best: 1000] 790273982464
22, 33, 51, 62, 67, 78, 106, 113, 156, 160, 177 [best: 1000] 794568949760
22, 33, 51, 62, 67, 94, 103, 106, 166, 204, 231 [best: 1000] 798863917056
22, 33, 51, 62, 68, 77, 103, 106, 109, 201, 227 [best: 1000] 803158884352
22, 33, 51, 62, 69, 76, 93, 127, 131, 165, 189 [best: 1000] 807453851648
22, 33, 51, 62, 71, 76, 97, 113, 145, 157, 160 [best: 1000] 811748818944
22, 33, 51, 62, 72, 77, 94, 138, 152, 160, 180 [best: 1000] 816043786240
22, 33, 51, 62, 73, 77, 87, 110, 149, 166, 186 [best: 1000] 820338753536
22, 33, 51, 62, 76, 82, 102, 116, 149, 183, 213 [best: 1000] 824633720832
22, 33, 51, 62, 78, 82, 84, 92, 167, 174, 211 [best: 1000] 828928688128
22, 33, 51, 62, 81, 84, 108, 124, 133, 141, 165 [best: 1000] 833223655424
22, 33, 51, 62, 82, 102, 124, 130, 131, 204, 212 [best: 1000] 837518622720
22, 33, 51, 62, 85, 97, 104, 120, 124, 132, 179 [best: 1000] 841813590016
22, 33, 51, 63, 65, 67, 90, 99, 124, 126, 135 [best: 1000] 846108557312
22, 33, 51, 63, 66, 82, 113, 115, 145, 151, 157 [best: 1000] 850403524608
22, 33, 51, 63, 68, 71, 108, 123, 150, 152, 157 [best: 1000] 854698491904
22, 33, 51, 63, 71, 72, 110, 115, 125, 144, 145, 187 [best: 1000] 858993459200
22, 33, 51, 63, 71, 90, 119, 125, 161, 188, 197 [best: 1000] 863288426496
22, 33, 51, 63, 73, 88, 101, 109, 121, 137, 142 [best: 1000] 867583393792
22, 33, 51, 64, 65, 77, 84, 99, 117, 133, 154 [best: 1000] 871878361088
22, 33, 51, 64, 66, 83, 85, 115, 142, 164, 252 [best: 1000] 876173328384
22, 33, 51, 64, 67, 88, 102, 116, 156, 180, 235 [best: 1000] 880468295680
22, 33, 51, 64, 70, 74, 78, 100, 143, 151, 155 [best: 1000] 884763262976
22, 33, 51, 64, 71, 78, 87, 94, 157, 177 [best: 1000] 889058230272
22, 33, 51, 64, 71, 93, 106, 127, 147, 177, 211, 221 [best: 1000] 893353197568
22, 33, 51, 64, 73, 78, 96, 111, 128, 140, 194 [best: 1000] 897648164864
total chains: 900127665947
new expressions at chain length:
n sum avg min max
4: 0 15 0 14 15
5: 0 0 0 0 0
6: 0 0 0 0 0
7: 1 12 12 12 12
8: 13 193 14 5 23
9: 271 4275 15 3 28
10: 7157 123241 17 2 33
11: 228333 4358534 19 1 38
12: 8425144 176220122 20 1 43
13: 350658705 7975746842 22 0 48
14: 16217836869 399226732908 24 0 53
15: 1110916437 28347419355 25 0 56
16: 10317131 318196118 30 0 61
17: 18525 596605 32 10 56
18: 3 94 31 25 43
19: 0 0 0 0 0
20: 0 0 0 0 0
real 35m36.265s
user 35m32.556s
sys 0m0.158s
stderr from container:
N = 15, MAX_LENGTH: 21, CAPTURE_STATS: 1
7 targets:
010010000001110
000001100001101
001000000000101
010010010010000
010111010100000
011100000000110
001111101111111
22, 33, 51 [best: 1000] 0
22, 33, 51, 52, 53, 71, 73, 74, 83, 148, 204 [best: 1000] 4294967296
22, 33, 51, 52, 54, 66, 78, 83, 131, 145, 150, 183 [best: 1000] 8589934592
22, 33, 51, 52, 56, 64, 65, 78, 145, 152, 208 [best: 1000] 12884901888
22, 33, 51, 52, 58, 60, 103, 109, 137, 183, 191 [best: 1000] 17179869184
22, 33, 51, 52, 59, 60, 65, 88, 91, 168, 178 [best: 1000] 21474836480
22, 33, 51, 52, 60, 63, 81, 91, 142, 186, 224 [best: 1000] 25769803776
22, 33, 51, 52, 60, 73, 91, 127, 170, 177, 200 [best: 1000] 30064771072
22, 33, 51, 52, 60, 88, 104, 117, 119, 178, 180 [best: 1000] 34359738368
22, 33, 51, 52, 61, 80, 112, 133, 141, 162, 179 [best: 1000] 38654705664
22, 33, 51, 52, 62, 86, 99, 105, 113, 153, 201 [best: 1000] 42949672960
22, 33, 51, 52, 64, 81, 103, 110, 117, 122, 197 [best: 1000] 47244640256
22, 33, 51, 52, 66, 71, 84, 92, 119, 185, 205 [best: 1000] 51539607552
22, 33, 51, 52, 69, 72, 107, 119, 129, 159, 180, 197, 261 [best: 1000] 55834574848
22, 33, 51, 52, 71, 74, 88, 109, 124, 134, 175 [best: 1000] 60129542144
22, 33, 51, 52, 71, 95, 102, 105, 132, 173, 215 [best: 1000] 64424509440
22, 33, 51, 53, 54, 58, 67, 84, 122, 130, 181 [best: 1000] 68719476736
22, 33, 51, 53, 54, 73, 93, 105, 136, 141, 159 [best: 1000] 73014444032
22, 33, 51, 53, 55, 71, 85, 99, 104, 164, 177 [best: 1000] 77309411328
22, 33, 51, 53, 56, 69, 112, 117, 119, 156, 191 [best: 1000] 81604378624
22, 33, 51, 53, 57, 62, 70, 104, 136, 151, 229 [best: 1000] 85899345920
22, 33, 51, 53, 58, 60, 74, 99, 106, 177, 180 [best: 1000] 90194313216
22, 33, 51, 53, 58, 70, 85, 126, 179, 190, 206 [best: 1000] 94489280512
22, 33, 51, 53, 58, 85, 96, 99, 113, 169, 171 [best: 1000] 98784247808
22, 33, 51, 53, 59, 64, 89, 94, 111, 119, 144 [best: 1000] 103079215104
22, 33, 51, 53, 59, 80, 97, 120, 141, 161, 212, 246 [best: 1000] 107374182400
22, 33, 51, 53, 60, 64, 65, 92, 171, 210, 216 [best: 1000] 111669149696
22, 33, 51, 53, 60, 70, 96, 165, 199, 207, 258 [best: 1000] 115964116992
22, 33, 51, 53, 60, 78, 80, 84, 139, 154, 208 [best: 1000] 120259084288
22, 33, 51, 53, 60, 88, 90, 150, 163, 192, 201 [best: 1000] 124554051584
22, 33, 51, 53, 60, 106, 119, 150, 154, 166, 238 [best: 1000] 128849018880
22, 33, 51, 53, 61, 71, 95, 137, 155, 157, 211, 249 [best: 1000] 133143986176
22, 33, 51, 53, 61, 92, 96, 116, 119, 126, 167 [best: 1000] 137438953472
22, 33, 51, 53, 62, 70, 125, 131, 165, 174, 217 [best: 1000] 141733920768
22, 33, 51, 53, 62, 84, 106, 111, 116, 152, 155 [best: 1000] 146028888064
22, 33, 51, 53, 63, 71, 78, 79, 106, 123, 207 [best: 1000] 150323855360
22, 33, 51, 53, 64, 71, 72, 74, 84, 156, 235 [best: 1000] 154618822656
22, 33, 51, 53, 65, 70, 87, 110, 139, 170, 222 [best: 1000] 158913789952
22, 33, 51, 53, 66, 72, 81, 125, 149, 159, 198 [best: 1000] 163208757248
22, 33, 51, 53, 67, 83, 90, 97, 118, 131 [best: 1000] 167503724544
22, 33, 51, 53, 69, 71, 90, 140, 156, 183, 188 [best: 1000] 171798691840
22, 33, 51, 53, 69, 98, 101, 111, 117, 125, 201 [best: 1000] 176093659136
22, 33, 51, 53, 70, 83, 96, 105, 139, 148, 184 [best: 1000] 180388626432
22, 33, 51, 53, 71, 73, 92, 112, 117, 201, 237 [best: 1000] 184683593728
22, 33, 51, 53, 71, 82, 103, 127, 146, 147, 178 [best: 1000] 188978561024
22, 33, 51, 53, 71, 93, 100, 123, 159, 176, 221 [best: 1000] 193273528320
22, 33, 51, 53, 72, 74, 109, 125, 172, 177, 220 [best: 1000] 197568495616
22, 33, 51, 53, 72, 98, 100, 106, 121, 145, 153 [best: 1000] 201863462912
22, 33, 51, 53, 73, 94, 104, 109, 131, 185, 200 [best: 1000] 206158430208
22, 33, 51, 53, 76, 82, 95, 101, 105, 109, 172 [best: 1000] 210453397504
22, 33, 51, 53, 79, 85, 86, 117, 118, 128, 163 [best: 1000] 214748364800
22, 33, 51, 53, 81, 89, 121, 130, 144, 193, 217 [best: 1000] 219043332096
22, 33, 51, 54, 56, 66, 73, 100, 127, 152, 158 [best: 1000] 223338299392
22, 33, 51, 54, 58, 63, 69, 109, 134, 138, 143 [best: 1000] 227633266688
22, 33, 51, 54, 59, 60, 81, 89, 104, 157, 185 [best: 1000] 231928233984
22, 33, 51, 54, 60, 63, 108, 121, 150, 172, 185 [best: 1000] 236223201280
22, 33, 51, 54, 60, 78, 84, 91, 141, 161, 204 [best: 1000] 240518168576
22, 33, 51, 54, 61, 66, 100, 101, 147, 162, 187 [best: 1000] 244813135872
22, 33, 51, 54, 62, 69, 108, 116, 127, 171, 192 [best: 1000] 249108103168
22, 33, 51, 54, 64, 65, 89, 113, 124, 144, 183 [best: 1000] 253403070464
22, 33, 51, 54, 66, 81, 88, 89, 93, 108, 176 [best: 1000] 257698037760
22, 33, 51, 54, 68, 71, 77, 124, 143, 160, 206 [best: 1000] 261993005056
22, 33, 51, 54, 68, 90, 95, 136, 147, 155, 158 [best: 1000] 266287972352
22, 33, 51, 54, 70, 81, 96, 125, 146, 164, 179 [best: 1000] 270582939648
22, 33, 51, 55, 56, 75, 80, 81, 139, 150, 201 [best: 1000] 274877906944
22, 33, 51, 55, 59, 61, 104, 109, 114, 150, 160 [best: 1000] 279172874240
22, 33, 51, 55, 60, 73, 78, 120, 129, 164, 189 [best: 1000] 283467841536
22, 33, 51, 55, 62, 63, 80, 91, 97, 98, 116 [best: 1000] 287762808832
22, 33, 51, 55, 65, 73, 75, 91, 133, 180, 214 [best: 1000] 292057776128
22, 33, 51, 56, 57, 66, 71, 87, 123, 144, 181 [best: 1000] 296352743424
22, 33, 51, 56, 58, 78, 100, 137, 153, 184, 209 [best: 1000] 300647710720
22, 33, 51, 56, 60, 61, 83, 86, 126, 137, 144 [best: 1000] 304942678016
22, 33, 51, 56, 60, 75, 78, 90, 135, 141, 229 [best: 1000] 309237645312
22, 33, 51, 56, 60, 99, 103, 145, 174, 179, 182, 196 [best: 1000] 313532612608
22, 33, 51, 56, 62, 67, 68, 71, 83, 98, 156 [best: 1000] 317827579904
22, 33, 51, 56, 63, 72, 84, 107, 110, 148, 166 [best: 1000] 322122547200
22, 33, 51, 56, 66, 69, 85, 87, 120, 133, 184 [best: 1000] 326417514496
22, 33, 51, 56, 68, 69, 91, 137, 149, 189, 199 [best: 1000] 330712481792
22, 33, 51, 56, 68, 87, 88, 139, 162, 165, 178 [best: 1000] 335007449088
22, 33, 51, 56, 70, 81, 105, 109, 118, 153, 160 [best: 1000] 339302416384
22, 33, 51, 57, 58, 60, 109, 116, 139, 156, 222 [best: 1000] 343597383680
22, 33, 51, 57, 59, 63, 75, 110, 119, 148, 183 [best: 1000] 347892350976
22, 33, 51, 57, 60, 69, 76, 87, 94, 181, 213 [best: 1000] 352187318272
22, 33, 51, 57, 60, 90, 107, 111, 118, 130, 226 [best: 1000] 356482285568
22, 33, 51, 57, 62, 68, 85, 115, 147, 157, 187 [best: 1000] 360777252864
22, 33, 51, 57, 64, 68, 97, 126, 140, 146 [best: 1000] 365072220160
22, 33, 51, 57, 67, 85, 88, 108, 123, 134, 144 [best: 1000] 369367187456
22, 33, 51, 57, 69, 80, 88, 122, 136, 174, 184 [best: 1000] 373662154752
22, 33, 51, 58, 59, 67, 81, 94, 107, 115, 189 [best: 1000] 377957122048
22, 33, 51, 58, 60, 62, 80, 95, 103, 113, 115 [best: 1000] 382252089344
22, 33, 51, 58, 60, 71, 77, 80, 108, 183, 189 [best: 1000] 386547056640
22, 33, 51, 58, 60, 87, 124, 126, 146, 153, 162 [best: 1000] 390842023936
22, 33, 51, 58, 61, 66, 86, 106, 112, 123, 135 [best: 1000] 395136991232
22, 33, 51, 58, 61, 83, 102, 107, 130, 179, 206 [best: 1000] 399431958528
22, 33, 51, 58, 62, 72, 82, 93, 98, 116, 133 [best: 1000] 403726925824
22, 33, 51, 58, 63, 70, 87, 122, 136, 177, 190 [best: 1000] 408021893120
22, 33, 51, 58, 64, 71, 112, 120, 132, 140, 175 [best: 1000] 412316860416
22, 33, 51, 58, 65, 80, 84, 102, 130, 147, 155 [best: 1000] 416611827712
22, 33, 51, 58, 66, 86, 92, 108, 130, 138, 145 [best: 1000] 420906795008
22, 33, 51, 58, 67, 76, 95, 122, 147, 158, 211 [best: 1000] 425201762304
22, 33, 51, 58, 67, 93, 105, 111, 121, 165, 194 [best: 1000] 429496729600
22, 33, 51, 58, 68, 80, 103, 126, 135, 153, 185 [best: 1000] 433791696896
22, 33, 51, 58, 69, 94, 98, 129, 132, 157, 194 [best: 1000] 438086664192
22, 33, 51, 58, 70, 103, 124, 130, 137, 152, 190 [best: 1000] 442381631488
22, 33, 51, 58, 74, 80, 116, 117, 118, 145, 163 [best: 1000] 446676598784
22, 33, 51, 58, 76, 80, 110, 153, 166, 222, 224 [best: 1000] 450971566080
22, 33, 51, 58, 79, 85, 102, 116, 122, 140, 156 [best: 1000] 455266533376
22, 33, 51, 58, 81, 84, 98, 108, 128, 163, 216 [best: 1000] 459561500672
22, 33, 51, 58, 84, 92, 95, 121, 133, 145, 163 [best: 1000] 463856467968
22, 33, 51, 59, 60, 69, 91, 122, 128, 133, 185 [best: 1000] 468151435264
22, 33, 51, 59, 60, 88, 94, 97, 104, 136, 143 [best: 1000] 472446402560
22, 33, 51, 59, 61, 84, 101, 105, 110, 131, 135 [best: 1000] 476741369856
22, 33, 51, 59, 62, 77, 99, 104, 143, 147, 182 [best: 1000] 481036337152
22, 33, 51, 59, 63, 76, 108, 114, 120, 173, 184 [best: 1000] 485331304448
22, 33, 51, 59, 65, 67, 70, 118, 139, 154, 165 [best: 1000] 489626271744
22, 33, 51, 59, 67, 72, 91, 120, 130, 164, 204 [best: 1000] 493921239040
22, 33, 51, 59, 68, 70, 73, 76, 104, 132, 146 [best: 1000] 498216206336
22, 33, 51, 59, 69, 82, 106, 110, 111, 120, 130 [best: 1000] 502511173632
22, 33, 51, 59, 72, 84, 102, 106, 152, 192, 219 [best: 1000] 506806140928
22, 33, 51, 59, 76, 84, 91, 99, 134, 167, 170 [best: 1000] 511101108224
22, 33, 51, 59, 80, 82, 88, 107, 165, 202, 204 [best: 1000] 515396075520
22, 33, 51, 60, 61, 67, 83, 114, 128, 184, 188 [best: 1000] 519691042816
22, 33, 51, 60, 61, 77, 105, 108, 122, 150, 182 [best: 1000] 523986010112
22, 33, 51, 60, 61, 106, 124, 130, 144, 180, 194, 260 [best: 1000] 528280977408
22, 33, 51, 60, 62, 71, 74, 78, 84, 87, 108 [best: 1000] 532575944704
22, 33, 51, 60, 62, 85, 92, 112, 157, 161, 172 [best: 1000] 536870912000
22, 33, 51, 60, 63, 67, 108, 124, 179, 190, 224 [best: 1000] 541165879296
22, 33, 51, 60, 63, 79, 112, 113, 116, 142, 148 [best: 1000] 545460846592
22, 33, 51, 60, 64, 67, 80, 91, 141, 184, 235 [best: 1000] 549755813888
22, 33, 51, 60, 64, 76, 84, 89, 167, 200, 223 [best: 1000] 554050781184
22, 33, 51, 60, 64, 100, 106, 113, 133, 196, 239 [best: 1000] 558345748480
22, 33, 51, 60, 65, 73, 84, 86, 129, 181, 199 [best: 1000] 562640715776
22, 33, 51, 60, 65, 85, 99, 111, 130, 134, 202 [best: 1000] 566935683072
22, 33, 51, 60, 66, 69, 80, 134, 144, 159, 218 [best: 1000] 571230650368
22, 33, 51, 60, 66, 78, 101, 145, 168, 181, 211 [best: 1000] 575525617664
22, 33, 51, 60, 66, 99, 101, 149, 158, 203, 212 [best: 1000] 579820584960
22, 33, 51, 60, 67, 72, 74, 78, 91, 92, 108 [best: 1000] 584115552256
22, 33, 51, 60, 67, 77, 84, 96, 151, 172, 260 [best: 1000] 588410519552
22, 33, 51, 60, 67, 83, 107, 130, 133, 173, 202 [best: 1000] 592705486848
22, 33, 51, 60, 67, 93, 119, 135, 155, 175, 198 [best: 1000] 597000454144
22, 33, 51, 60, 67, 109, 129, 134, 163, 196, 216 [best: 1000] 601295421440
22, 33, 51, 60, 68, 75, 96, 120, 123, 180, 212 [best: 1000] 605590388736
22, 33, 51, 60, 68, 85, 103, 149, 167, 187, 188, 265 [best: 1000] 609885356032
22, 33, 51, 60, 69, 70, 78, 87, 97, 110, 189 [best: 1000] 614180323328
22, 33, 51, 60, 69, 79, 82, 96, 112, 172, 212 [best: 1000] 618475290624
22, 33, 51, 60, 69, 95, 103, 108, 112, 136, 153 [best: 1000] 622770257920
22, 33, 51, 60, 70, 80, 87, 133, 156, 192, 195 [best: 1000] 627065225216
22, 33, 51, 60, 71, 76, 81, 90, 117, 136, 207 [best: 1000] 631360192512
22, 33, 51, 60, 71, 92, 109, 117, 151, 169, 216 [best: 1000] 635655159808
22, 33, 51, 60, 72, 80, 99, 114, 176, 182, 194 [best: 1000] 639950127104
22, 33, 51, 60, 72, 103, 123, 144, 145, 154, 208 [best: 1000] 644245094400
22, 33, 51, 60, 73, 84, 110, 127, 131, 161, 168 [best: 1000] 648540061696
22, 33, 51, 60, 74, 76, 78, 102, 166, 177, 212 [best: 1000] 652835028992
22, 33, 51, 60, 74, 92, 107, 110, 115, 172, 201 [best: 1000] 657129996288
22, 33, 51, 60, 75, 88, 110, 123, 142, 172, 196 [best: 1000] 661424963584
22, 33, 51, 60, 76, 84, 103, 108, 125, 135, 145 [best: 1000] 665719930880
22, 33, 51, 60, 77, 81, 109, 124, 168, 205, 233 [best: 1000] 670014898176
22, 33, 51, 60, 77, 105, 118, 137, 146, 155, 191 [best: 1000] 674309865472
22, 33, 51, 60, 78, 95, 131, 134, 149, 164, 218 [best: 1000] 678604832768
22, 33, 51, 60, 79, 99, 129, 135, 151, 171, 176 [best: 1000] 682899800064
22, 33, 51, 60, 81, 82, 91, 97, 155, 180, 211, 239 [best: 1000] 687194767360
22, 33, 51, 60, 81, 95, 114, 129, 158, 196, 212 [best: 1000] 691489734656
22, 33, 51, 60, 82, 91, 105, 142, 150, 159, 164 [best: 1000] 695784701952
22, 33, 51, 60, 83, 99, 111, 140, 173, 174, 200 [best: 1000] 700079669248
22, 33, 51, 60, 85, 91, 92, 96, 148, 179, 183 [best: 1000] 704374636544
22, 33, 51, 61, 62, 63, 102, 136, 146, 169, 170 [best: 1000] 708669603840
22, 33, 51, 61, 62, 79, 105, 115, 136, 159, 180 [best: 1000] 712964571136
22, 33, 51, 61, 63, 70, 117, 118, 137, 155, 177 [best: 1000] 717259538432
22, 33, 51, 61, 64, 76, 100, 107, 115, 125, 166 [best: 1000] 721554505728
22, 33, 51, 61, 65, 80, 87, 95, 133, 182, 199 [best: 1000] 725849473024
22, 33, 51, 61, 67, 68, 106, 109, 119, 139, 159 [best: 1000] 730144440320
22, 33, 51, 61, 67, 82, 112, 139, 140, 158, 238 [best: 1000] 734439407616
22, 33, 51, 61, 67, 106, 108, 117, 140, 203, 205 [best: 1000] 738734374912
22, 33, 51, 61, 69, 80, 81, 137, 156, 169, 170 [best: 1000] 743029342208
22, 33, 51, 61, 70, 77, 83, 134, 136, 153, 178 [best: 1000] 747324309504
22, 33, 51, 61, 71, 95, 101, 123, 136, 173, 179 [best: 1000] 751619276800
22, 33, 51, 61, 73, 82, 83, 89, 90, 140, 220 [best: 1000] 755914244096
22, 33, 51, 61, 76, 86, 103, 125, 149, 176, 195, 196 [best: 1000] 760209211392
22, 33, 51, 61, 80, 85, 114, 119, 132, 162, 169 [best: 1000] 764504178688
22, 33, 51, 61, 82, 90, 102, 119, 126, 166, 188, 204 [best: 1000] 768799145984
22, 33, 51, 62, 63, 69, 72, 78, 79, 105, 120 [best: 1000] 773094113280
22, 33, 51, 62, 64, 68, 85, 90, 113, 148, 202 [best: 1000] 777389080576
22, 33, 51, 62, 65, 66, 91, 99, 107, 161, 170 [best: 1000] 781684047872
22, 33, 51, 62, 66, 71, 119, 137, 164, 176, 230 [best: 1000] 785979015168
22, 33, 51, 62, 66, 101, 115, 119, 124, 139, 166 [best: 1000] 790273982464
22, 33, 51, 62, 67, 78, 106, 113, 156, 160, 177 [best: 1000] 794568949760
22, 33, 51, 62, 67, 94, 103, 106, 166, 204, 231 [best: 1000] 798863917056
22, 33, 51, 62, 68, 77, 103, 106, 109, 201, 227 [best: 1000] 803158884352
22, 33, 51, 62, 69, 76, 93, 127, 131, 165, 189 [best: 1000] 807453851648
22, 33, 51, 62, 71, 76, 97, 113, 145, 157, 160 [best: 1000] 811748818944
22, 33, 51, 62, 72, 77, 94, 138, 152, 160, 180 [best: 1000] 816043786240
22, 33, 51, 62, 73, 77, 87, 110, 149, 166, 186 [best: 1000] 820338753536
22, 33, 51, 62, 76, 82, 102, 116, 149, 183, 213 [best: 1000] 824633720832
22, 33, 51, 62, 78, 82, 84, 92, 167, 174, 211 [best: 1000] 828928688128
22, 33, 51, 62, 81, 84, 108, 124, 133, 141, 165 [best: 1000] 833223655424
22, 33, 51, 62, 82, 102, 124, 130, 131, 204, 212 [best: 1000] 837518622720
22, 33, 51, 62, 85, 97, 104, 120, 124, 132, 179 [best: 1000] 841813590016
22, 33, 51, 63, 65, 67, 90, 99, 124, 126, 135 [best: 1000] 846108557312
22, 33, 51, 63, 66, 82, 113, 115, 145, 151, 157 [best: 1000] 850403524608
22, 33, 51, 63, 68, 71, 108, 123, 150, 152, 157 [best: 1000] 854698491904
22, 33, 51, 63, 71, 72, 110, 115, 125, 144, 145, 187 [best: 1000] 858993459200
22, 33, 51, 63, 71, 90, 119, 125, 161, 188, 197 [best: 1000] 863288426496
22, 33, 51, 63, 73, 88, 101, 109, 121, 137, 142 [best: 1000] 867583393792
22, 33, 51, 64, 65, 77, 84, 99, 117, 133, 154 [best: 1000] 871878361088
22, 33, 51, 64, 66, 83, 85, 115, 142, 164, 252 [best: 1000] 876173328384
22, 33, 51, 64, 67, 88, 102, 116, 156, 180, 235 [best: 1000] 880468295680
22, 33, 51, 64, 70, 74, 78, 100, 143, 151, 155 [best: 1000] 884763262976
22, 33, 51, 64, 71, 78, 87, 94, 157, 177 [best: 1000] 889058230272
22, 33, 51, 64, 71, 93, 106, 127, 147, 177, 211, 221 [best: 1000] 893353197568
22, 33, 51, 64, 73, 78, 96, 111, 128, 140, 194 [best: 1000] 897648164864
total chains: 900127665947
new expressions at chain length:
n sum avg min max
4: 0 15 0 14 15
5: 0 0 0 0 0
6: 0 0 0 0 0
7: 1 12 12 12 12
8: 13 193 14 5 23
9: 271 4275 15 3 28
10: 7157 123241 17 2 33
11: 228333 4358534 19 1 38
12: 8425144 176220122 20 1 43
13: 350658705 7975746842 22 0 48
14: 16217836869 399226732908 24 0 53
15: 1110916437 28347419355 25 0 56
16: 10317131 318196118 30 0 61
17: 18525 596605 32 10 56
18: 3 94 31 25 43
19: 0 0 0 0 0
20: 0 0 0 0 0
real 35m36.265s
user 35m32.556s
sys 0m0.158s
stderr end
running docker command: stop boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: container rm boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
command output:
boinc__boinc.berkeley.edu_central__batch_88__job_job-005485_1
running docker command: image rm boinc__boinc.berkeley.edu_central__batch_88__job_job-005485
command output:
Untagged: boinc__boinc.berkeley.edu_central__batch_88__job_job-005485:latest
2025-04-28 22:48:13 (243391): called boinc_finish(0)
</stderr_txt>
]]>
©2025 UC Berkeley