StacktraceTop:Solver::unpack_position (this=0x95a58a0, pos=0xac89d70) Solver::dequeue_position (this=0x95a58a0) Solver::doit (this=0x95a58a0) Solver::patsolve (this=0x95a58a0, _max_positions=-1) SolverThread::run (this=0x9258fc0)
StacktraceTop: Solver: :unpack_ position (this=0x95a58a0, pos=0xac89d70) :dequeue_ position (this=0x95a58a0)
Solver:
Solver::doit (this=0x95a58a0)
Solver::patsolve (this=0x95a58a0, _max_positions=-1)
SolverThread::run (this=0x9258fc0)