Farshid Hassani bijarbooneh wrote:
I also tried with Intel Pentium 4 2.8GHz which I'm sure is single core.
It's single core, but it uses hyper threading, which means that it looks like dual core to the OS. There's an information panel in Windows that shows the current CPU utilization, just have a look there. I'm sure you'll see two CPUs, with one being at 100% load.
Cheers, Guido
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users