In gecode/search/parallel/engine.hh: Engine::busy(void) { m_search.acquire(); assert(n_busy > 0); n_busy++; m_search.release(); } is the assert correct or should it be >= 0? I am hitting this assertion with gecode compiled with --enable-debug. Cheers, --Denys