diff --git a/drama/src/rev-mc.c b/drama/src/rev-mc.c index 5cad791..46b9bab 100644 --- a/drama/src/rev-mc.c +++ b/drama/src/rev-mc.c @@ -358,9 +358,9 @@ find_row_mask(std::vector &sets, while (cur_mask < last_mask && step_count > 0 && !found.load(std::memory_order_relaxed)) { for (int i = std::min(step_count, step); i > 0 && cur_mask < last_mask; --i) { cur_mask = next_bit_permutation(cur_mask); - if (cnt.fetch_add(1) % 1000000000 == 0) { - fprintf(stderr, "cnt : %ld, step_count: %5ld\n", cnt.load(std::memory_order_relaxed), - step_count); + if (cnt.fetch_add(1) % 10000000 == 0) { + fprintf(stderr, "cnt : %ld, step_count: %5ld, cur_pos: %5ld\n", + cnt.load(std::memory_order_relaxed), step_count, g_cur_pos.load()); } } step_count -= std::min(step_count, step);