fully lock-free solver