From 3e0110f855ff581a1d7f10b2ba4663420323f37f Mon Sep 17 00:00:00 2001
From: igneum-labs <337424239+igneum-labs@users.noreply.github.com>
Date: Wed, 7 Oct 2026 19:42:54 +0000
Subject: [PATCH] adv-mixer-3: leases at 32 threads (never pre-empted under the
 priority classes), queue 17 re-submitted under the ranked lease

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 tools/attack/adv-mixer-3/queue/17-adv-mixer-3-lease-rest.sh | 4 ++--
 tools/attack/adv-mixer-3/queue/18-adv-mixer-3-lease-sat.sh  | 4 ++--
 tools/attack/adv-mixer-3/x-lock.sh                          | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/tools/attack/adv-mixer-3/queue/17-adv-mixer-3-lease-rest.sh b/tools/attack/adv-mixer-3/queue/17-adv-mixer-3-lease-rest.sh
index 6ebb8f16c..b6233efc5 100644
--- a/tools/attack/adv-mixer-3/queue/17-adv-mixer-3-lease-rest.sh
+++ b/tools/attack/adv-mixer-3/queue/17-adv-mixer-3-lease-rest.sh
@@ -4,14 +4,14 @@
 # Runs only when /srv/builds/_bin/lease has the pool subcommand. Adjust LEASE if its syntax differs.
 set -uo pipefail
 X=/srv/builds/_adv-mixer-3/bin/adv-mixer-3; X2=$X-v2; L=/srv/builds/_adv-mixer-3/logs; C=/srv/builds/_adv-mixer-3/cnf; S=$HOME/adv-mixer-3-tools/cadical/build/cadical
-T=${THREADS:-48}
+T=${THREADS:-32}
 # the lease hands the command the cores it took: {cores} is the count, so every harness run sizes its threads from it
 # main's pool rule (19:2x UTC): the release builds and the class v5 suites outrank every sweep; while a waiter owned by class-v5, or by attack-pass with v5 in
 # its label, is in the lease queue (never a waiter owned by another adv- lane), no adversarial lease competes: finish the shard in hand, then wait here.
 yield_v5() { while /srv/builds/_bin/lease status 2>/dev/null | sed -n '/^waiting/,$p' | grep -v "owner=adv-" | grep -qE "owner=class-v5|v5.*owner=attack-pass"; do sleep 30; done; }
 lease() { yield_v5;  /srv/builds/_bin/lease pool "$T" --min 16 --label "adv-mixer-3 $1" --owner adv-mixer-3 -- "${@:2}"; }
 lease1() { yield_v5;  /srv/builds/_bin/lease pool 1 --min 1 --label "adv-mixer-3 $1" --owner adv-mixer-3 -- "${@:2}"; }
-echo "start $(hostname) $(date -u +%FT%TZ) lease pool up to $T cores, min 16"
+echo "start $(hostname) $(date -u +%FT%TZ) lease pool up to $T cores (32: never pre-empted), min 16"
 for k in 5 6 7 8; do echo "== sac day 20729 k=$k $(date -u +%FT%TZ)"; lease "sac 20729 k$k" $X sac --day 20729 --apps $k --states 2^24 --threads {cores} > "$L/sac-20729-k$k.log" 2>&1; grep -E 'holes=|verdict' "$L/sac-20729-k$k.log"; done
 for k in 5 6 7 8; do echo "== sac day 20733 k=$k $(date -u +%FT%TZ)"; lease "sac 20733 k$k" $X sac --day 20733 --apps $k --states 2^24 --threads {cores} > "$L/sac-20733-k$k.log" 2>&1; grep -E 'holes=|verdict' "$L/sac-20733-k$k.log"; done
 for k in 2 3 4 5 6 7 8; do echo "== index day 20733 k=$k $(date -u +%FT%TZ)"; lease "index 20733 k$k" $X index --day 20733 --apps $k --threads {cores} > "$L/index-20733-k$k.log" 2>&1; grep -E 'chi2=|verdict' "$L/index-20733-k$k.log"; done
diff --git a/tools/attack/adv-mixer-3/queue/18-adv-mixer-3-lease-sat.sh b/tools/attack/adv-mixer-3/queue/18-adv-mixer-3-lease-sat.sh
index 39c653b74..9f4bb9f38 100644
--- a/tools/attack/adv-mixer-3/queue/18-adv-mixer-3-lease-sat.sh
+++ b/tools/attack/adv-mixer-3/queue/18-adv-mixer-3-lease-sat.sh
@@ -4,14 +4,14 @@
 # Runs only when /srv/builds/_bin/lease has the pool subcommand. Adjust LEASE if its syntax differs.
 set -uo pipefail
 X=/srv/builds/_adv-mixer-3/bin/adv-mixer-3; X2=$X-v2; L=/srv/builds/_adv-mixer-3/logs; C=/srv/builds/_adv-mixer-3/cnf; S=$HOME/adv-mixer-3-tools/cadical/build/cadical
-T=${THREADS:-48}
+T=${THREADS:-32}
 # the lease hands the command the cores it took: {cores} is the count, so every harness run sizes its threads from it
 # main's pool rule (19:2x UTC): the release builds and the class v5 suites outrank every sweep; while a waiter owned by class-v5, or by attack-pass with v5 in
 # its label, is in the lease queue (never a waiter owned by another adv- lane), no adversarial lease competes: finish the shard in hand, then wait here.
 yield_v5() { while /srv/builds/_bin/lease status 2>/dev/null | sed -n '/^waiting/,$p' | grep -v "owner=adv-" | grep -qE "owner=class-v5|v5.*owner=attack-pass"; do sleep 30; done; }
 lease() { yield_v5;  /srv/builds/_bin/lease pool "$T" --min 16 --label "adv-mixer-3 $1" --owner adv-mixer-3 -- "${@:2}"; }
 lease1() { yield_v5;  /srv/builds/_bin/lease pool 1 --min 1 --label "adv-mixer-3 $1" --owner adv-mixer-3 -- "${@:2}"; }
-echo "start $(hostname) $(date -u +%FT%TZ) lease pool up to $T cores, min 16"
+echo "start $(hostname) $(date -u +%FT%TZ) lease pool up to $T cores (32: never pre-empted), min 16"
 for d in 20729 20733; do for k in 2 3 4; do
   [ $d = 20729 ] && [ $k = 1 ] && continue
   echo "== cnf day $d k=$k $(date -u +%FT%TZ)"; $X cnf --day $d --apps $k --t0 0x12345678 --out "$C/d$d-k$k.cnf" > "$L/cnf-$d-k$k.log" 2>&1; grep -E 'target|cnf:' "$L/cnf-$d-k$k.log"
diff --git a/tools/attack/adv-mixer-3/x-lock.sh b/tools/attack/adv-mixer-3/x-lock.sh
index b1fe740a2..00ca7fd7b 100755
--- a/tools/attack/adv-mixer-3/x-lock.sh
+++ b/tools/attack/adv-mixer-3/x-lock.sh
@@ -9,4 +9,4 @@ LABEL="$1"; shift
 # its label, is in the lease queue (never a waiter owned by another adv- lane), no adversarial lease competes: finish the shard in hand, then wait here.
 yield_v5() { while /srv/builds/_bin/lease status 2>/dev/null | sed -n '/^waiting/,$p' | grep -v "owner=adv-" | grep -qE "owner=class-v5|v5.*owner=attack-pass"; do sleep 30; done; }
 yield_v5
-exec /srv/builds/_bin/lease pool "${THREADS:-48}" --min 16 --label "adv-mixer-3 $LABEL" --owner adv-mixer-3 -- "$B" "$@"
+exec /srv/builds/_bin/lease pool "${THREADS:-32}" --min 16 --label "adv-mixer-3 $LABEL" --owner adv-mixer-3 -- "$B" "$@"