From 66faeb7bc359de469a1832e29e8ed2c61ae6b3b4 Mon Sep 17 00:00:00 2001
From: Dennis Kobert <dennis@kobert.dev>
Date: Mon, 13 Jan 2020 05:41:12 +0100
Subject: Final progress counter fix

---
 src/solvers/gpusolver.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solvers/gpusolver.rs b/src/solvers/gpusolver.rs
index b073e7e..36c6328 100644
--- a/src/solvers/gpusolver.rs
+++ b/src/solvers/gpusolver.rs
@@ -46,7 +46,7 @@ impl GpuSolver {
         if index as usize == numbers.len() {
             let mut info = sys_info::mem_info().unwrap();
             while info.avail < 1024 * 1024 {
-                std::thread::sleep(std::time::Duration::from_millis(5));
+                std::thread::sleep(std::time::Duration::from_millis(500));
                 info = sys_info::mem_info().unwrap();
                 println!("mem wait {:?}", info);
             }
-- 
cgit v1.2.3-54-g00ecf