A Backtracking Framework For Beowulf Clusters With An Extension To Multi-Cluster Computation And Sat Benchmark Problem Implementation