LOGX=52 QMIN=10000 N=32 (4*3^N = 2^52.72) part 0/1
nodes 119957293 leaves 111317668 candidates 67637973 flags 0 inconsistent 0 | rejected: valuation>=3 62225400, below start 5412573 | cycles 0 | bchk 0
max bit length of forward replay points 74
