[gecode-users] Slow down between revision 13005 and 13037

[Manuel Baclet]

Hello,
i don't know if you already know about this but i have found a huge slow down between revision 13005 and revision 13037.
Testing on the same program with 80 threads on osx 10.8.1 (compiled with clang), the mean time for finding a solution:

revision 13005: 
time 15s 
cpu system 10%/400%

revision: 13037
time 50s
cpu system 30%/400%

Hope this can help, regards,
Manuel Baclet