back to original FutilityMargins[] (8303668)
qsearch futility margin -25% (8184962)
qsearch futility margin +25% (8566246)
no qsearch futility pruning +25% (9646594)