run.sh

@@ -30,9 +30,9 @@
 
 # 这个存在问题
 DIR=/pub/data/chenzh/data/sat2022
-INSTANCE=3d2a6e5c2f8f58dee79fd50444009625-cfi-rigid-z2-0088-03-or_2_shuffle_all.cnf
+INSTANCE=d87714e099c66f0034fb95727fa47ccc-Wallace_Bits_Fast_2.cnf.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=1
+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
 
 
 

src/sharer.cpp

@@ -326,6 +326,9 @@ 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) {

src/solve.cpp

@@ -191,13 +191,10 @@ int light::solve() {
             s->producers.push(workers[j]);
             s->consumers.push(workers[j]);
         }
-        printf("==============run1============\n");
         s->clause_sharing_init(sharing_groups);
-        printf("==============run2============\n");
     }
 
     while (!terminated) {
-
         usleep(500000);
 
         if(OPT(share)) s->do_clause_sharing();