Maybe just to clarify: I suppose it is possible to spawn a while process on 
each worker separately. The problem is that when one worker finds a 
solution the other workers should stop too.

Reply via email to