Use NodeProperties model for server_infos in find_all_available_impl and related methods