Jared Jones matched his season high with nine strikeouts over six three-hit innings and Jake Mangum had an RBI double to lead the Pittsburgh Pirates t