I think it depends how the OS labels them, on mine it generally seems to be 1+3 and 2+4 that are the paired cores.