From 2ed7d8bfabc68972216d09d470ed69f6503932c7 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Wed, 7 Oct 2026 21:24:11 +0000 Subject: [PATCH] adv-mixer-3 report: ledger row for the any-size pre-emption rule and the driver restarts Co-Authored-By: Claude Fable 5.1 --- docs/analysis/cryptanalysis/report-mixer-3.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/analysis/cryptanalysis/report-mixer-3.md b/docs/analysis/cryptanalysis/report-mixer-3.md index 52e76f55a..99a1b2e94 100644 --- a/docs/analysis/cryptanalysis/report-mixer-3.md +++ b/docs/analysis/cryptanalysis/report-mixer-3.md @@ -291,6 +291,7 @@ CNF out of the worktree mirror into /srv/builds/_adv-mixer-3/. Both applied befo | Priority classes in the lease (release > v5 > measure > adv) | build-1 | 19:42 | | queue 17 killed and re-submitted once under the ranked tool as `lease pool 32 --min 16` (an adv holder at 32 threads or fewer is never pre-empted); waiting on free cores at 19:43 UTC; still waiting at 19:57 behind eleven adv-class waiters | | Queue 18 unclaimed on the shared queue | build-2 | 19:58 | | box 2 is closed to adv-* leases until the class v5 census runs; the claim was released so whichever lane has time when it reopens can run the SAT rows (CaDiCaL at ~/adv-mixer-3-tools/cadical/build/cadical on both boxes; the file is self-contained) | | Queue 18 re-claimed and launched | build-2 | 20:13 | running | box 2 reopened to adv-* at 20:12 UTC (the class v5 census ended); `lease pool 1 --min 1` granted at once (core 8); CaDiCaL on the k = 2 CNF of day 20729 (68,624 vars, 227,767 clauses), one-hour cap, then k = 3, 4 and day 20733 | +| Pre-emption at any size (lease sha ce30e357) | both | 21:21, applied 22:2x | | a release or v5 waiter that has waited 120 s pre-empts adv holders of any size with SIGTERM; both drivers now wrap every shard in run_shard (retry the same lease line until the log carries a result, log each PREEMPTED line with its time, skip rows already done). Queue 17 restarted while waiting on its sac 20729 k = 8 lease (nothing lost); queue 18 restarted on CaDiCaL k = 3 about 15 min into its hour (that partial solve lost, restarted from zero) | | Queue 07 (8 random days) | build-1 | 18:5x | running | claimed and run by the sibling lane adv-mixer from the shared queue; its logs are index--k.log and sac--k.log under /srv/builds/_adv-mixer-3/logs/ on build-1, read by this lane | ## The round margin, stated