From 43ac4821fcba497877798921e39638e61937e54e Mon Sep 17 00:00:00 2001
From: YuhangQ <i@yuhangq.com>
Date: Fri, 21 Apr 2023 18:50:58 +0800
Subject: [PATCH] =?UTF-8?q?=E4=BF=AE=E5=A4=8Dtree=E5=8D=A1=E4=BD=8F?=
 =?UTF-8?q?=E7=9A=84=E9=97=AE=E9=A2=98?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 run.sh         | 4 ++--
 src/sharer.cpp | 3 ---
 src/solve.cpp  | 3 +++
 3 files changed, 5 insertions(+), 5 deletions(-)

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();