Penguin Solutions SVP and chief revenue officer sells $272,812 stock