Solo mining tool or pool miner, it's all the same. The only difference is if you link the miner to a pool or your own instance of bitcoind.exe

As for the 4way SSE2 CPU miner going around, it performs SSE operations on 128bit integers, so I'm pretty sure that'll fill your 64 bit bus.