diff --git a/run.sh b/run.sh
index bebe45b..3939a75 100755
--- a/run.sh
+++ b/run.sh
@@ -30,9 +30,9 @@
 
 # 这个存在问题
 DIR=/pub/data/chenzh/data/sat2022
-INSTANCE=d87714e099c66f0034fb95727fa47ccc-Wallace_Bits_Fast_2.cnf.cnf
+INSTANCE=3d2a6e5c2f8f58dee79fd50444009625-cfi-rigid-z2-0088-03-or_2_shuffle_all.cnf
 
-make -j 16 && mpirun --bind-to none -np 9 --allow-run-as-root ./light -i $DIR/$INSTANCE --shuffle=1 --share=1 --threads=16 --times=3600 --share_method=0
+make -j 16 && mpirun --bind-to none -np 9 --allow-run-as-root ./light -i $DIR/$INSTANCE --shuffle=1 --share=1 --threads=16 --times=3600 --share_method=1
 
 
 
diff --git a/src/sharer.cpp b/src/sharer.cpp
index 35dbbf4..9721a67 100644
--- a/src/sharer.cpp
+++ b/src/sharer.cpp
@@ -357,9 +357,6 @@ void sharer::init_tree_transmission(std::vector<std::vector<int>> &sharing_group
             }
         }
     }
-
-    MPI_Barrier(MPI_COMM_WORLD);
-
 }
 
 void sharer::init_circular_transmission(std::vector<std::vector<int>> &sharing_groups) {
diff --git a/src/solve.cpp b/src/solve.cpp
index eb018d3..326ae57 100644
--- a/src/solve.cpp
+++ b/src/solve.cpp
@@ -213,10 +213,13 @@ int light::solve() {
             s->consumers.push(workers[j]);
             workers[j]->in_sharer = s;
         }
+        printf("==============run1============\n");
         s->clause_sharing_init(sharing_groups);
+        printf("==============run2============\n");
     }
 
     while (!terminated) {
+
         usleep(500000);
 
         if(OPT(share)) s->do_clause_sharing();