18 lines
2.2 KiB
Bash
18 lines
2.2 KiB
Bash
#!/usr/bin/env bash
|
|
# adv-mixer-3 queue file (owner: adv-mixer-3). The rows lost to the 19:20 UTC kill, every run through the build-server
|
|
# lane's pool lease (main's rule, 7 October 2026): `lease pool <threads> --label <text> --owner adv-mixer-3 -- cmd`.
|
|
# 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}
|
|
# the lease hands the command the cores it took: {cores} is the count, so every harness run sizes its threads from it
|
|
lease() { /srv/builds/_bin/lease pool "$T" --min 16 --label "adv-mixer-3 $1" --owner adv-mixer-3 -- "${@:2}"; }
|
|
lease1() { /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"
|
|
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
|
|
for k in 2 3; do echo "== sac day 20729 k=$k 2^27 $(date -u +%FT%TZ)"; lease "sac 20729 k$k n27" $X sac --day 20729 --apps $k --states 2^27 --threads {cores} > "$L/sac-20729-k$k-n27.log" 2>&1; grep -E 'holes=|verdict' "$L/sac-20729-k$k-n27.log"; done
|
|
for k in 2 3; do echo "== sac0 day 20733 k=$k 2^28 $(date -u +%FT%TZ)"; lease "sac0 20733 k$k n28" $X2 sac0 --day 20733 --apps $k --states 2^28 --threads {cores} > "$L/sac0-20733-k$k-n28.log" 2>&1; grep -E 'holes=|verdict' "$L/sac0-20733-k$k-n28.log"; done
|
|
echo "end $(date -u +%FT%TZ)"
|
|
|