WalkSAT failure error, get cbuffer dynamically for reporting timeout stats