Jacob deGrom struck out 13 batters — the most ever for a Mets pitcher who threw five or fewer innings — but didn’t factor into the decision.

Michael Chavis hit a tiebreaking two-run double, Diego Castillo homered and rookie Roansy Contreras allowed one run in six innings as the Pittsburgh Pirates beat the Cincinnati Reds 4-2 in the first game of a doubleheader.