Hi,

I am running multi-threading solving by -tn on my 8 core (M1 pro) Macbook, and find one program that can be only solved well by n<=6, but for -t7 or -t8, after all models are outputted, it hangs. Seems to be a Clingo bug because when I call the API for (auto &m : solver.solve()) cout<<..., the output is not complete.

The program contains something I cannot make it public here at this moment, but I'd like to send you if it helps to find the potential bug.