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 _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
