ci: use the microbenchmarks-pool (#2703)

Author: v1v

.ci/load/Jenkinsfile

@@ -164,7 +164,7 @@ pipeline {
         stage('execute test') {
             parallel {
                 stage('Load generation') {
-                    agent { label 'metal' }
+                    agent { label 'microbenchmarks-pool' }
                     steps {
                         echo 'Preparing load generation..'
                         unstash('scripts')

Jenkinsfile

@@ -290,7 +290,7 @@ pipeline {
              * The result JSON files are also archive into Jenkins.
              */
             stage('Benchmarks') {
-              agent { label 'linux && metal' }
+              agent { label 'microbenchmarks-pool' }
               options { skipDefaultCheckout() }
               environment {
                 NO_BUILD = "true"

scripts/jenkins/run-benchmarks.sh

@@ -28,6 +28,10 @@ function setUp() {
     then
         CORE_INDEX=7
         BASE_FREQ="1.9GHz"
+    elif [ "${CPU_MODEL}" == "12th Gen Intel(R) Core(TM) i5-12500 " ]
+    then
+        CORE_INDEX=11
+        BASE_FREQ="3.0GHz"
     else
         >&2 echo "Cannot determine base frequency for CPU model [${CPU_MODEL}]. Please adjust the build script."
         exit 1