igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

adv-mixer-3 report: ledger row for the any-size pre-emption rule and the driver restarts

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 21:24:11 +00:00
parent ed6e091239
commit 1bc1555477
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
docs/analysis/cryptanalysis/report-mixer-3.md
View file

@ -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-<day>-k<k>.log and sac-<day>-k<k>.log under /srv/builds/_adv-mixer-3/logs/ on build-1, read by this lane |
## The round margin, stated