added synchronization between the session of one hinter and one solver