On the Nash equilibrium property of an auction matching game