diff --git a/src/solve.cpp b/src/solve.cpp
index dba305a..6e37c30 100644
--- a/src/solve.cpp
+++ b/src/solve.cpp
@@ -72,7 +72,7 @@ void light::diversity_workers() {
         if(worker_type == SAT) {
 
             if (OPT(shuffle)) {
-                if (i) workers[i]->configure("order_reset", i);
+                if (i) workers[i]->configure("order_reset", (rank - 1) * OPT(threads) + i);
             }
 
             workers[i]->configure("stable", 1);