this signal makes virtuoso shutdown with a checkpoint.