diff options
author | Dennis Kobert <dennis@kobert.dev> | 2020-01-13 05:41:12 +0100 |
---|---|---|
committer | Dennis Kobert <dennis@kobert.dev> | 2020-01-13 05:41:12 +0100 |
commit | 66faeb7bc359de469a1832e29e8ed2c61ae6b3b4 (patch) | |
tree | 11f47e9a44ac0264c97ab402e17e701b38ce82d4 /src/solvers | |
parent | aa9069b0913759e39c4d3451896ebcf3ac5538fb (diff) |
Final progress counter fix
Diffstat (limited to 'src/solvers')
-rw-r--r-- | src/solvers/gpusolver.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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); } |