Adaptive Search with Thread Level Parallelism.
Fix bugs in ASSolverPermutTLB

Adaptive Solver TLB works works well, but have no good times