{2023.06}[2023a,grace] Z3 v4.12.2

[TopRichard]

This is an outdated version of the Z3-4.12.2-GCCcore-12.3.0 easyconfig, before unifying Z3 4.12.2 easyconfigs into a single one with Python bindings in https://github.com/easybuilders/easybuild-easyconfigs/pull/20050/files , adding it to keep sync with the other stacks

[eessi-bot]

Instance eessi-bot-mc-aws is configured to build for:

• architectures: x86_64/generic, x86_64/intel/haswell, x86_64/intel/sapphirerapids, x86_64/intel/skylake_avx512, x86_64/intel/cascadelake, x86_64/intel/icelake, x86_64/amd/zen2, x86_64/amd/zen3, aarch64/generic, aarch64/neoverse_n1, aarch64/neoverse_v1
• repositories: eessi.io-2023.06-compat, eessi.io-2023.06-software

[eessi-bot]

Instance eessi-bot-mc-azure is configured to build for:

• architectures: x86_64/amd/zen4
• repositories: eessi.io-2023.06-compat, eessi.io-2023.06-software

[eessi-bot-deucalion]

Instance eessi-bot-deucalion is configured to build for:

• architectures: aarch64/a64fx
• repositories: eessi.io-2023.06-software

[eessi-bot-surf]

Instance eessi-bot-surf is configured to build for:

• architectures: x86_64/amd/zen4, x86_64/amd/zen2
• repositories: eessi-hpc.org-2023.06-software, eessi.io-2023.06-software, eessi.io-2023.06-compat, eessi-hpc.org-2023.06-compat

[gpu-bot-ugent]

Instance eessi-bot-vsc-ugent is configured to build for:

• architectures: x86_64/amd/zen3
• repositories: eessi-hpc.org-2023.06-software, eessi.io-2023.06-compat, eessi-hpc.org-2023.06-compat, eessi.io-2023.06-software

[eessi-bot-toprichard]

Instance rt-Grace-jr is configured to build for:

• architectures: aarch64/nvidia/grace
• repositories: eessi.io-2023.06-software

[TopRichard]

bot: build inst:rt-Grace-jr arch:aarch64/nvidia/grace repo:eessi.io-2023.06-software

[eessi-bot-deucalion]

Updates by the bot instance eessi-bot-deucalion (click for details)

• received bot command build inst:rt-Grace-jr arch:aarch64/nvidia/grace repo:eessi.io-2023.06-software from TopRichard

  • expanded format: build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software

• handling command build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software resulted in:

  • no jobs were submitted

[eessi-bot]

Updates by the bot instance eessi-bot-mc-aws (click for details)

• received bot command build inst:rt-Grace-jr arch:aarch64/nvidia/grace repo:eessi.io-2023.06-software from TopRichard

  • expanded format: build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software

• handling command build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software resulted in:

  • no jobs were submitted

[eessi-bot]

Updates by the bot instance eessi-bot-mc-azure (click for details)

• received bot command build inst:rt-Grace-jr arch:aarch64/nvidia/grace repo:eessi.io-2023.06-software from TopRichard

  • expanded format: build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software

• handling command build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software resulted in:

  • no jobs were submitted

[eessi-bot-surf]

Updates by the bot instance eessi-bot-surf (click for details)

• received bot command build inst:rt-Grace-jr arch:aarch64/nvidia/grace repo:eessi.io-2023.06-software from TopRichard

  • expanded format: build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software

• handling command build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software resulted in:

  • no jobs were submitted

[gpu-bot-ugent]

Updates by the bot instance eessi-bot-vsc-ugent (click for details)

• received bot command build inst:rt-Grace-jr arch:aarch64/nvidia/grace repo:eessi.io-2023.06-software from TopRichard

  • expanded format: build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software

• handling command build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software resulted in:

  • account TopRichard has NO permission to submit build jobs

[eessi-bot-toprichard]

Updates by the bot instance rt-Grace-jr (click for details)

• received bot command build inst:rt-Grace-jr arch:aarch64/nvidia/grace repo:eessi.io-2023.06-software from TopRichard

  • expanded format: build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software

• handling command build instance:rt-Grace-jr architecture:aarch64/nvidia/grace repository:eessi.io-2023.06-software resulted in:

  • submitted job 13627846, for details & status see {2023.06}[2023a,grace] Z3 v4.12.2 #1045 (comment)

[gpu-bot-ugent]

Label bot:build has been set by user TopRichard, but this person does not have permission to trigger builds

[eessi-bot-toprichard]

New job on instance rt-Grace-jr for CPU micro-architecture aarch64-nvidia-grace for repository eessi.io-2023.06-software in job dir /p/project1/ceasybuilders/bot-rt/jobs/2025.04/pr_1045/13627846

date	job status	comment
Apr 24 08:09:52 UTC 2025	submitted	job id 13627846 awaits release by job manager
Apr 24 08:10:34 UTC 2025	released	job awaits launch by Slurm scheduler
Apr 24 08:11:37 UTC 2025	running	job 13627846 is running
Apr 24 09:07:55 UTC 2025	finished	😁 SUCCESS (click triangle for details) Details ✅ job output file slurm-13627846.out ✅ no message matching FATAL: ✅ no message matching ERROR: ✅ no message matching FAILED: ✅ no message matching required modules missing: ✅ found message(s) matching No missing installations ✅ found message matching .tar.gz created! Artefacts eessi-2023.06-software-linux-aarch64-nvidia-grace-1745483027.tar.gz size: 24 MiB (25851653 bytes) entries: 86 modules under 2023.06/software/linux/aarch64/nvidia/grace/modules/all Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3.lua software under 2023.06/software/linux/aarch64/nvidia/grace/software Z3/4.12.2-GCCcore-12.3.0-Python-3.11.3 other under 2023.06/software/linux/aarch64/nvidia/grace no other files in tarball
Apr 24 09:07:55 UTC 2025	test result	😁 SUCCESS (click triangle for details) ReFrame Summary [ SKIP ] ( 1/26) Skipping GPU test : only 1 GPU available for this test case [ SKIP ] ( 2/26) Skipping GPU test : only 1 GPU available for this test case [ SKIP ] ( 3/26) Skipping GPU test : only 1 GPU available for this test case [ SKIP ] ( 4/26) Skipping GPU test : only 1 GPU available for this test case [ SKIP ] ( 5/26) Skipping GPU test : only 1 GPU available for this test case [ SKIP ] ( 6/26) Skipping GPU test : only 1 GPU available for this test case [ SKIP ] ( 7/26) Skipping GPU test : only 1 GPU available for this test case [ SKIP ] ( 8/26) Skipping GPU test : only 1 GPU available for this test case [ OK ] ( 9/26) EESSI_LAMMPS_lj %device_type=cpu %module_name=LAMMPS/29Aug2024-foss-2023b-kokkos %scale=1_node /aeb2d9df @BotBuildTests:aarch64_nvidia_grace+default P: perf: 1544.178 timesteps/s (r:0, l:None, u:None) [ OK ] (10/26) EESSI_LAMMPS_lj %device_type=cpu %module_name=LAMMPS/2Aug2023_update2-foss-2023a-kokkos %scale=1_node /04ff9ece @BotBuildTests:aarch64_nvidia_grace+default P: perf: 1535.228 timesteps/s (r:0, l:None, u:None) [ OK ] (11/26) EESSI_OSU_coll %benchmark_info=mpi.collective.osu_allreduce %module_name=OSU-Micro-Benchmarks/7.2-gompi-2023b %scale=1_node %device_type=cpu /775175bf @BotBuildTests:aarch64_nvidia_grace+default P: latency: 4.84 us (r:0, l:None, u:None) [ OK ] (12/26) EESSI_OSU_coll %benchmark_info=mpi.collective.osu_allreduce %module_name=OSU-Micro-Benchmarks/7.1-1-gompi-2023a %scale=1_node %device_type=cpu /52707c40 @BotBuildTests:aarch64_nvidia_grace+default P: latency: 4.74 us (r:0, l:None, u:None) [ OK ] (13/26) EESSI_OSU_coll %benchmark_info=mpi.collective.osu_allreduce %module_name=OSU-Micro-Benchmarks/7.5-gompi-2023b-CUDA-12.4.0 %scale=1_node %device_type=cpu /95ac9526 @BotBuildTests:aarch64_nvidia_grace+default P: latency: 5.16 us (r:0, l:None, u:None) [ OK ] (14/26) EESSI_OSU_coll %benchmark_info=mpi.collective.osu_allreduce %module_name=OSU-Micro-Benchmarks/7.2-gompi-2023a-CUDA-12.1.1 %scale=1_node %device_type=cpu /1cff5d41 @BotBuildTests:aarch64_nvidia_grace+default P: latency: 5.08 us (r:0, l:None, u:None) [ OK ] (15/26) EESSI_OSU_coll %benchmark_info=mpi.collective.osu_alltoall %module_name=OSU-Micro-Benchmarks/7.2-gompi-2023b %scale=1_node %device_type=cpu /b1aacda9 @BotBuildTests:aarch64_nvidia_grace+default P: latency: 7.26 us (r:0, l:None, u:None) [ OK ] (16/26) EESSI_OSU_coll %benchmark_info=mpi.collective.osu_alltoall %module_name=OSU-Micro-Benchmarks/7.1-1-gompi-2023a %scale=1_node %device_type=cpu /c6bad193 @BotBuildTests:aarch64_nvidia_grace+default P: latency: 7.08 us (r:0, l:None, u:None) [ OK ] (17/26) EESSI_OSU_coll %benchmark_info=mpi.collective.osu_alltoall %module_name=OSU-Micro-Benchmarks/7.5-gompi-2023b-CUDA-12.4.0 %scale=1_node %device_type=cpu /0edb8a95 @BotBuildTests:aarch64_nvidia_grace+default P: latency: 8.5 us (r:0, l:None, u:None) [ OK ] (18/26) EESSI_OSU_coll %benchmark_info=mpi.collective.osu_alltoall %module_name=OSU-Micro-Benchmarks/7.2-gompi-2023a-CUDA-12.1.1 %scale=1_node %device_type=cpu /b2ab2213 @BotBuildTests:aarch64_nvidia_grace+default P: latency: 8.45 us (r:0, l:None, u:None) [ OK ] (19/26) EESSI_OSU_pt2pt_CPU %benchmark_info=mpi.pt2pt.osu_latency %module_name=OSU-Micro-Benchmarks/7.2-gompi-2023b %scale=1_node /15cad6c4 @BotBuildTests:aarch64_nvidia_grace+default P: latency: 0.48 us (r:0, l:None, u:None) [ OK ] (20/26) EESSI_OSU_pt2pt_CPU %benchmark_info=mpi.pt2pt.osu_latency %module_name=OSU-Micro-Benchmarks/7.1-1-gompi-2023a %scale=1_node /6672deda @BotBuildTests:aarch64_nvidia_grace+default P: latency: 0.5 us (r:0, l:None, u:None) [ OK ] (21/26) EESSI_OSU_pt2pt_CPU %benchmark_info=mpi.pt2pt.osu_latency %module_name=OSU-Micro-Benchmarks/7.5-gompi-2023b-CUDA-12.4.0 %scale=1_node /8ec94746 @BotBuildTests:aarch64_nvidia_grace+default P: latency: 0.5 us (r:0, l:None, u:None) [ OK ] (22/26) EESSI_OSU_pt2pt_CPU %benchmark_info=mpi.pt2pt.osu_latency %module_name=OSU-Micro-Benchmarks/7.2-gompi-2023a-CUDA-12.1.1 %scale=1_node /1a3a497b @BotBuildTests:aarch64_nvidia_grace+default P: latency: 0.53 us (r:0, l:None, u:None) [ OK ] (23/26) EESSI_OSU_pt2pt_CPU %benchmark_info=mpi.pt2pt.osu_bw %module_name=OSU-Micro-Benchmarks/7.2-gompi-2023b %scale=1_node /2a9a47b1 @BotBuildTests:aarch64_nvidia_grace+default P: bandwidth: 42605.1 MB/s (r:0, l:None, u:None) [ OK ] (24/26) EESSI_OSU_pt2pt_CPU %benchmark_info=mpi.pt2pt.osu_bw %module_name=OSU-Micro-Benchmarks/7.1-1-gompi-2023a %scale=1_node /1b24ab8e @BotBuildTests:aarch64_nvidia_grace+default P: bandwidth: 41619.27 MB/s (r:0, l:None, u:None) [ OK ] (25/26) EESSI_OSU_pt2pt_CPU %benchmark_info=mpi.pt2pt.osu_bw %module_name=OSU-Micro-Benchmarks/7.5-gompi-2023b-CUDA-12.4.0 %scale=1_node /c9ca6dc1 @BotBuildTests:aarch64_nvidia_grace+default P: bandwidth: 41911.25 MB/s (r:0, l:None, u:None) [ OK ] (26/26) EESSI_OSU_pt2pt_CPU %benchmark_info=mpi.pt2pt.osu_bw %module_name=OSU-Micro-Benchmarks/7.2-gompi-2023a-CUDA-12.1.1 %scale=1_node /17289b2f @BotBuildTests:aarch64_nvidia_grace+default P: bandwidth: 42619.69 MB/s (r:0, l:None, u:None) [ PASSED ] Ran 18/26 test case(s) from 26 check(s) (0 failure(s), 8 skipped, 0 aborted) Details ✅ job output file slurm-13627846.out ✅ no message matching ERROR: ✅ no message matching [\s*FAILED\s*].*Ran .* test case
Apr 24 09:29:46 UTC 2025	not uploaded	transfer of eessi-2023.06-software-linux-aarch64-nvidia-grace-1745483027.tar.gz to S3 bucket failed
Apr 24 09:36:52 UTC 2025	not uploaded	transfer of eessi-2023.06-software-linux-aarch64-nvidia-grace-1745483027.tar.gz to S3 bucket failed
Apr 24 10:45:32 UTC 2025	not uploaded	transfer of eessi-2023.06-software-linux-aarch64-nvidia-grace-1745483027.tar.gz to S3 bucket failed
Apr 24 10:52:18 UTC 2025	uploaded	transfer of eessi-2023.06-software-linux-aarch64-nvidia-grace-1745483027.tar.gz to S3 bucket succeeded

[boegel]

@TopRichard In what sense is this Z3 outdated? Was it updated in a more recent version of EasyBuild?
Would be good to be more clear on that I think

[TopRichard]

@TopRichard In what sense is this Z3 outdated? Was it updated in a more recent version of EasyBuild? Would be good to be more clear on that I think

Clarification added

[boegel]

@TopRichard In what sense is this Z3 outdated? Was it updated in a more recent version of EasyBuild? Would be good to be more clear on that I think

Clarification added

Thanks!

Just to clear: for the other CPU targets, Z3 was never rebuilt to pick up the changes made in easybuilders/easybuild-easyconfigs#20050?

Should we open an issue to do that when the time is right?

[eessi-bot-toprichard]

Label bot:deploy has been set by user boegel, but this person does not have permission to trigger deployments

[eessi-bot]

Label bot:deploy has been set by user TopRichard, which has no permission to trigger the action

[eessi-bot]

Label bot:deploy has been set by user TopRichard, which has no permission to trigger the action

[gpu-bot-ugent]

Label bot:deploy has been set by user TopRichard, but this person does not have permission to trigger deployments

[TopRichard]

@TopRichard In what sense is this Z3 outdated? Was it updated in a more recent version of EasyBuild? Would be good to be more clear on that I think

Clarification added

Thanks!

Just to clear: for the other CPU targets, Z3 was never rebuilt to pick up the changes made in easybuilders/easybuild-easyconfigs#20050?

Should we open an issue to do that when the time is right?

It was done in: #502

[eessi-bot]

Label bot:deploy has been set by user TopRichard, which has no permission to trigger the action

[eessi-bot-deucalion]

Label bot:deploy has been set by user TopRichard, but this person does not have permission to trigger deployments

[eessi-bot]

Label bot:deploy has been set by user TopRichard, which has no permission to trigger the action

[gpu-bot-ugent]

Label bot:deploy has been set by user TopRichard, but this person does not have permission to trigger deployments

[boegel]

@TopRichard Hmm: transfer of eessi-2023.06-software-linux-aarch64-nvidia-grace-1745483027.tar.gz to S3 bucket failed

[eessi-bot]

Label bot:deploy has been set by user TopRichard, which has no permission to trigger the action

[eessi-bot]

Label bot:deploy has been set by user TopRichard, which has no permission to trigger the action

[gpu-bot-ugent]

Label bot:deploy has been set by user TopRichard, but this person does not have permission to trigger deployments

[eessi-bot-deucalion]

Label bot:deploy has been set by user TopRichard, but this person does not have permission to trigger deployments

[eessi-bot]

Label bot:deploy has been set by user TopRichard, which has no permission to trigger the action

[eessi-bot-deucalion]

Label bot:deploy has been set by user TopRichard, but this person does not have permission to trigger deployments

[eessi-bot]

Label bot:deploy has been set by user TopRichard, which has no permission to trigger the action

[gpu-bot-ugent]

Label bot:deploy has been set by user TopRichard, but this person does not have permission to trigger deployments

[boegel]

staging PR merged, so merging this PR too

[eessi-bot]

PR merged! Moved [] to /project/def-users/SHARED/trash_bin/EESSI/software-layer/2025.04.24

[eessi-bot]

PR merged! Moved [] to /project/def-users/SHARED/trash_bin/EESSI/software-layer/2025.04.24

[gpu-bot-ugent]

PR merged! Moved [] to /scratch/gent/vo/002/gvo00211/SHARED/trash_bin/EESSI/software-layer/2025.04.24

[eessi-bot-toprichard]

PR merged! Moved ['/p/project1/ceasybuilders/bot-rt/jobs/2025.04/pr_1045/13627846'] to /p/project1/ceasybuilders/bot-rt/trash_bin/EESSI/software-layer/2025.04.24