先到redrock下载页面找合适的版本下载,debian选择deb包。
C:\d>wget https://redrock-releases.oss-cn-beijing.aliyuncs.com/redrock-3.3-1.linux.x86_64-deb.tar.gz
--2026-02-14 21:21:25-- https://redrock-releases.oss-cn-beijing.aliyuncs.com/redrock-3.3-1.linux.x86_64-deb.tar.gz
Resolving redrock-releases.oss-cn-beijing.aliyuncs.com (redrock-releases.oss-cn-beijing.aliyuncs.com)... 59.110.190.34
Connecting to redrock-releases.oss-cn-beijing.aliyuncs.com (redrock-releases.oss-cn-beijing.aliyuncs.com)|59.110.190.34|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 19200589 (18M) [application/gzip]
Saving to: 'redrock-3.3-1.linux.x86_64-deb.tar.gz'
redrock-3.3-1.linux.x86_64-de 100%[=================================================>] 18.31M 28.8MB/s in 0.6s
2026-02-14 21:21:26 (28.8 MB/s) - 'redrock-3.3-1.linux.x86_64-deb.tar.gz' saved [19200589/19200589]
登录wsl, 它安装了psql, 但没有安装postgres服务器。
C:\d>wsl
root@DESKTOP-59T6U68:/mnt/c/d# su - postgres
su: user postgres does not exist or the user entry does not contain all the required fields
root@DESKTOP-59T6U68:/mnt/c/d# psql
psql: error: connection to server on socket "/var/run/postgresql/.s.PGSQL.5432" failed: No such file or directory
Is the server running locally and accepting connections on that socket?
root@DESKTOP-59T6U68:/mnt/c/d# whereis psql
psql: /usr/bin/psql /usr/share/man/man1/psql.1.gz
root@DESKTOP-59T6U68:/mnt/c/d# whereis postgres
postgres:
root@DESKTOP-59T6U68:/mnt/c/d# docker container list -a|grep deb
0935ebc9e58d docker.1ms.run/debian:13.1 bash 4 months ago Created debian131
启动debian:13.1容器并登录
root@DESKTOP-59T6U68:/mnt/c/d# docker container start debian131
debian131
root@DESKTOP-59T6U68:/mnt/c/d# docker exec -it debian131 bash
root@DESKTOP-59T6U68:/# cd /par
按照文档的步骤解压并逐个安装
root@DESKTOP-59T6U68:/par# tar xf redrock-3.3-1.linux.x86_64-deb.tar.gz
tar: redrock-3.3-1.linux.amd64-deb: Cannot change mode to rwxr-xr-x: Operation not permitted
tar: Exiting with failure status due to previous errors
root@DESKTOP-59T6U68:/par# cd redrock-3.3-1.linux.amd64-deb
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# dpkg -i redrock-libs*deb
Selecting previously unselected package redrock-libs:amd64.
(Reading database ... 4935 files and directories currently installed.)
Preparing to unpack redrock-libs_3.3-1_amd64.deb ...
Unpacking redrock-libs:amd64 (3.3-1) ...
Setting up redrock-libs:amd64 (3.3-1) ...
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# dpkg -i redrock-cl*deb
Selecting previously unselected package redrock-client.
(Reading database ... 5029 files and directories currently installed.)
Preparing to unpack redrock-client_3.3-1_amd64.deb ...
Unpacking redrock-client (3.3-1) ...
Setting up redrock-client (3.3-1) ...
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# dpkg -i redrock-se*deb
Selecting previously unselected package redrock-server.
(Reading database ... 5415 files and directories currently installed.)
Preparing to unpack redrock-server_3.3-1_amd64.deb ...
Unpacking redrock-server (3.3-1) ...
dpkg: dependency problems prevent configuration of redrock-server:
redrock-server depends on locales | locales-all; however:
Package locales is not installed.
Package locales-all is not installed.
dpkg: error processing package redrock-server (--install):
dependency problems - leaving unconfigured
Errors were encountered while processing:
redrock-server
lib和client都装上了,server报错,说缺locales包。安装 locales报错。
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# apt install locales
Package locales is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
Error: Package 'locales' has no installation candidate
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# apt install locales-all
Package locales-all is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
Error: Package 'locales-all' has no installation candidate
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# locale -a
C
C.utf8
POSIX
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# dpkg-reconfigure locales
debconf: unable to initialize frontend: Dialog
debconf: (No usable dialog-like program is installed, so the dialog based frontend cannot be used. at /usr/share/perl5/Debconf/FrontEnd/Dialog.pm line 79.)
debconf: falling back to frontend: Readline
debconf: unable to initialize frontend: Readline
debconf: (Can't locate Term/ReadLine.pm in @INC (you may need to install the Term::ReadLine module) (@INC entries checked: /etc/perl /usr/local/lib/x86_64-linux-gnu/perl/5.40.1 /usr/local/share/perl/5.40.1 /usr/lib/x86_64-linux-gnu/perl5/5.40 /usr/share/perl5 /usr/lib/x86_64-linux-gnu/perl-base /usr/lib/x86_64-linux-gnu/perl/5.40 /usr/share/perl/5.40 /usr/local/lib/site_perl) at /usr/share/perl5/Debconf/FrontEnd/Readline.pm line 8.)
debconf: falling back to frontend: Teletype
dpkg-query: package 'locales' is not installed and no information is available
Use dpkg --info (= dpkg-deb --info) to examine archive files.
/usr/sbin/dpkg-reconfigure: locales is not installed
apt-get update后可以安装了,用apt --fix-broken install自动修复。但设置redrock-3.3-1服务时报错,说缺少adduser,把它装上后设置成功。
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# apt-get update
Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
Get:4 http://deb.debian.org/debian trixie/main amd64 Packages [9670 kB]
Get:5 http://deb.debian.org/debian trixie-updates/main amd64 Packages [5412 B]
Get:6 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [108 kB]
Fetched 10.0 MB in 1min 44s (96.2 kB/s)
Reading package lists... Done
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# apt install locales
You might want to run 'apt --fix-broken install' to correct these.
Unsatisfied dependencies:
locales : Depends: libc-l10n (> 2.41) but it is not going to be installed
Error: Unmet dependencies. Try 'apt --fix-broken install' with no packages (or specify a solution).
Error: The following information from --solver 3.0 may provide additional context:
Unmet dependencies. Try 'apt --fix-broken install' with no packages (or specify a solution).
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# apt install libc-l10n
You might want to run 'apt --fix-broken install' to correct these.
Unsatisfied dependencies:
redrock-server : Depends: locales but it is not going to be installed or
locales-all but it is not going to be installed
Recommends: sysstat but it is not going to be installed
Error: Unmet dependencies. Try 'apt --fix-broken install' with no packages (or specify a solution).
Error: The following information from --solver 3.0 may provide additional context:
Unmet dependencies. Try 'apt --fix-broken install' with no packages (or specify a solution).
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb#
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# apt --fix-broken install
Correcting dependencies... Done
Installing dependencies:
libc-l10n locales
Summary:
Upgrading: 0, Installing: 2, Removing: 0, Not Upgrading: 10
1 not fully installed or removed.
Download size: 4663 kB
Space needed: 21.0 MB / 128 GB available
Continue? [Y/n] y
Get:1 http://deb.debian.org/debian trixie/main amd64 libc-l10n all 2.41-12+deb13u1 [738 kB]
Get:2 http://deb.debian.org/debian trixie/main amd64 locales all 2.41-12+deb13u1 [3925 kB]
Fetched 4663 kB in 31s (152 kB/s)
debconf: unable to initialize frontend: Dialog
debconf: (No usable dialog-like program is installed, so the dialog based frontend cannot be used. at /usr/share/perl5/Debconf/FrontEnd/Dialog.pm line 79, <STDIN> line 2.)
debconf: falling back to frontend: Readline
debconf: unable to initialize frontend: Readline
debconf: (Can't locate Term/ReadLine.pm in @INC (you may need to install the Term::ReadLine module) (@INC entries checked: /etc/perl /usr/local/lib/x86_64-linux-gnu/perl/5.40.1 /usr/local/share/perl/5.40.1 /usr/lib/x86_64-linux-gnu/perl5/5.40 /usr/share/perl5 /usr/lib/x86_64-linux-gnu/perl-base /usr/lib/x86_64-linux-gnu/perl/5.40 /usr/share/perl/5.40 /usr/local/lib/site_perl) at /usr/share/perl5/Debconf/FrontEnd/Readline.pm line 8, <STDIN> line 2.)
debconf: falling back to frontend: Teletype
Preconfiguring packages ...
Selecting previously unselected package libc-l10n.
(Reading database ... 5805 files and directories currently installed.)
Preparing to unpack .../libc-l10n_2.41-12+deb13u1_all.deb ...
Unpacking libc-l10n (2.41-12+deb13u1) ...
Selecting previously unselected package locales.
Preparing to unpack .../locales_2.41-12+deb13u1_all.deb ...
Unpacking locales (2.41-12+deb13u1) ...
Setting up libc-l10n (2.41-12+deb13u1) ...
Setting up locales (2.41-12+deb13u1) ...
debconf: unable to initialize frontend: Dialog
debconf: (No usable dialog-like program is installed, so the dialog based frontend cannot be used. at /usr/share/perl5/Debconf/FrontEnd/Dialog.pm line 79.)
debconf: falling back to frontend: Readline
debconf: unable to initialize frontend: Readline
debconf: (Can't locate Term/ReadLine.pm in @INC (you may need to install the Term::ReadLine module) (@INC entries checked: /etc/perl /usr/local/lib/x86_64-linux-gnu/perl/5.40.1 /usr/local/share/perl/5.40.1 /usr/lib/x86_64-linux-gnu/perl5/5.40 /usr/share/perl5 /usr/lib/x86_64-linux-gnu/perl-base /usr/lib/x86_64-linux-gnu/perl/5.40 /usr/share/perl/5.40 /usr/local/lib/site_perl) at /usr/share/perl5/Debconf/FrontEnd/Readline.pm line 8.)
debconf: falling back to frontend: Teletype
Generating locales (this might take a while)...
Generation complete.
Setting up redrock-server (3.3-1) ...
/var/lib/dpkg/info/redrock-server.postinst: 10: adduser: not found
dpkg: error processing package redrock-server (--configure):
installed redrock-server package post-installation script subprocess returned error exit status 127
Errors were encountered while processing:
redrock-server
Error: Sub-process /usr/bin/dpkg returned an error code (1)
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb#
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# apt install adduser
Installing:
adduser
Suggested packages:
liblocale-gettext-perl perl cron quota
Summary:
Upgrading: 0, Installing: 1, Removing: 0, Not Upgrading: 10
1 not fully installed or removed.
Download size: 191 kB
Space needed: 438 kB / 128 GB available
Get:1 http://deb.debian.org/debian trixie/main amd64 adduser all 3.152 [191 kB]
Fetched 191 kB in 1s (335 kB/s)
debconf: unable to initialize frontend: Dialog
debconf: (No usable dialog-like program is installed, so the dialog based frontend cannot be used. at /usr/share/perl5/Debconf/FrontEnd/Dialog.pm line 79, <STDIN> line 1.)
debconf: falling back to frontend: Readline
debconf: unable to initialize frontend: Readline
debconf: (Can't locate Term/ReadLine.pm in @INC (you may need to install the Term::ReadLine module) (@INC entries checked: /etc/perl /usr/local/lib/x86_64-linux-gnu/perl/5.40.1 /usr/local/share/perl/5.40.1 /usr/lib/x86_64-linux-gnu/perl5/5.40 /usr/share/perl5 /usr/lib/x86_64-linux-gnu/perl-base /usr/lib/x86_64-linux-gnu/perl/5.40 /usr/share/perl/5.40 /usr/local/lib/site_perl) at /usr/share/perl5/Debconf/FrontEnd/Readline.pm line 8, <STDIN> line 1.)
debconf: falling back to frontend: Teletype
Selecting previously unselected package adduser.
(Reading database ... 6479 files and directories currently installed.)
Preparing to unpack .../archives/adduser_3.152_all.deb ...
Unpacking adduser (3.152) ...
Setting up adduser (3.152) ...
Setting up redrock-server (3.3-1) ...
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb#
文档中说/usr/pgsql-<version>/bin/postgresql-setup initdb初始化数据库,但版本号填入3.3-1找到不到路径,手工查看得知路径是pgsql-17。改正后初始化成功,但psql找不到动态库libtinfo.so.5。手工查找此文件,在/usr/pgsql-17/lib中找到,将其加入环境变量,就可以执行了。
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# /usr/pgsql-3.3-1/bin/postgresql-setup initdb
bash: /usr/pgsql-3.3-1/bin/postgresql-setup: No such file or directory
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# whereis postgresql-setup
postgresql-setup:
root@DESKTOP-59T6U68:/par/redrock-3.3-1.linux.amd64-deb# cd /usr
root@DESKTOP-59T6U68:/usr# ls
bin games include lib lib64 libexec local pgsql-17 sbin share src
root@DESKTOP-59T6U68:/usr# /usr/pgsql-17/bin/postgresql-setup initdb
Initializing database ... OK
root@DESKTOP-59T6U68:/usr# /usr/pgsql-17/bin/psql
/usr/pgsql-17/bin/psql: error while loading shared libraries: libtinfo.so.5: cannot open shared object file: No such file or directory
root@DESKTOP-59T6U68:/# cd /usr/pgsql-17/bin/
root@DESKTOP-59T6U68:/usr/pgsql-17/bin# ls
clusterdb pg_amcheck pg_controldata pg_receivewal pg_test_timing postgres
createdb pg_archivecleanup pg_createsubscriber pg_recvlogical pg_upgrade postgresql-check-db-dir
createuser pg_basebackup pg_ctl pg_resetwal pg_verifybackup postgresql-setup
dropdb pg_checksums pg_dump pg_restore pg_waldump psql
dropuser pg_combinebackup pg_dumpall pg_rewind pg_walsummary reindexdb
initdb pg_config pg_isready pg_test_fsync pgbench vacuumdb
root@DESKTOP-59T6U68:/usr/pgsql-17/bin# cd ../lib
root@DESKTOP-59T6U68:/usr/pgsql-17/lib# ls
cyrillic_and_mic.so libecpg_compat.so.3.17 libiculx.so.57.2 libreadline.so.7 utf8_and_euc2004.so
dict_int.so libicudata.so libicutest.so libreadline.so.7.0 utf8_and_euc_cn.so
dict_snowball.so libicudata.so.57 libicutest.so.57 libssl.so.1.1 utf8_and_euc_jp.so
dict_xsyn.so libicudata.so.57.2 libicutest.so.57.2 libtinfo.so.5 utf8_and_euc_kr.so
euc2004_sjis2004.so libicui18n.so libicutu.so libtinfo.so.5.9 utf8_and_euc_tw.so
euc_cn_and_mic.so libicui18n.so.57 libicutu.so.57 libxml2.so utf8_and_gb18030.so
euc_jp_and_sjis.so libicui18n.so.57.2 libicutu.so.57.2 libxml2.so.2 utf8_and_gbk.so
euc_kr_and_mic.so libicuio.so libicuuc.so libxml2.so.2.9.14 utf8_and_iso8859.so
euc_tw_and_big5.so libicuio.so.57 libicuuc.so.57 libz.so.1 utf8_and_iso8859_1.so
latin2_and_win1250.so libicuio.so.57.2 libicuuc.so.57.2 libz.so.1.2.11 utf8_and_johab.so
latin_and_mic.so libicule.so libpgtypes.so.3 pgoutput.so utf8_and_sjis.so
libcrypto.so.1.1 libicule.so.57 libpgtypes.so.3.17 pgxs utf8_and_sjis2004.so
libecpg.so.6 libicule.so.57.2 libpq.so.5 plpgsql.so utf8_and_uhc.so
libecpg.so.6.17 libiculx.so libpq.so.5.17 utf8_and_big5.so utf8_and_win.so
libecpg_compat.so.3 libiculx.so.57 libpqwalreceiver.so utf8_and_cyrillic.so
root@DESKTOP-59T6U68:/usr/pgsql-17/lib# export LD_LIBRARY_PATH=/usr/pgsql-17/lib
root@DESKTOP-59T6U68:/usr/pgsql-17/lib# cd ../bin
root@DESKTOP-59T6U68:/usr/pgsql-17/bin# ./psql
psql: error: connection to server on socket "/tmp/.s.PGSQL.5432" failed: No such file or directory
Is the server running locally and accepting connections on that socket?
不想用服务方式启动服务,用传统的 pg_ctl ,需要用postgres用户执行。 数据库目录用默认值还需要指定PGDATA环境变量。
root@DESKTOP-59T6U68:/usr/pgsql-17/bin# ./pg_ctl start
pg_ctl: cannot be run as root
Please log in (using, e.g., "su") as the (unprivileged) user that will
own the server process.
root@DESKTOP-59T6U68:/usr/pgsql-17/bin# su - postgres
postgres@DESKTOP-59T6U68:~$ cd /usr/pgsql-17/bin
postgres@DESKTOP-59T6U68:/usr/pgsql-17/bin$ ./pg_ctl start
pg_ctl: no database directory specified and environment variable PGDATA unset
Try "pg_ctl --help" for more information.
postgres@DESKTOP-59T6U68:/usr/pgsql-17/bin$ ls /usr/pgsql-17/
bin doc lib share
postgres@DESKTOP-59T6U68:/usr/pgsql-17/bin$
postgres@DESKTOP-59T6U68:/usr/pgsql-17/bin$ ls /var/lib/pgsql/17
data initdb.log
postgres@DESKTOP-59T6U68:/usr/pgsql-17/bin$ export PGDATA=/var/lib/pgsql/17/data
postgres@DESKTOP-59T6U68:/usr/pgsql-17/bin$ ./pg_ctl start
waiting for server to start....2026-02-14 14:16:33.949 UTC [845] LOG: starting PostgreSQL 17.4 - redrock 3.3 on x86_64-pc-linux-gnu, compiled by gcc (Debian 6.3.0-18+deb9u1) 6.3.0 20170516, 64-bit
2026-02-14 14:16:33.949 UTC [845] LOG: listening on IPv4 address "127.0.0.1", port 5432
2026-02-14 14:16:33.952 UTC [845] LOG: listening on Unix socket "/tmp/.s.PGSQL.5432"
2026-02-14 14:16:33.956 UTC [848] LOG: database system was shut down at 2026-02-14 14:05:06 UTC
2026-02-14 14:16:33.963 UTC [845] LOG: database system is ready to accept connections
done
server started
postgres@DESKTOP-59T6U68:/usr/pgsql-17/bin$ ./psql
./psql: error while loading shared libraries: libtinfo.so.5: cannot open shared object file: No such file or directory
postgres@DESKTOP-59T6U68:/usr/pgsql-17/bin$ export LD_LIBRARY_PATH=/usr/pgsql-17/lib
postgres@DESKTOP-59T6U68:/usr/pgsql-17/bin$ ./psql
psql (17.4 - redrock 3.3)
Type "help" for help.
postgres=# select version();
version
-----------------------------------------------------------------------------------------------------------------------
PostgreSQL 17.4 - redrock 3.3 on x86_64-pc-linux-gnu, compiled by gcc (Debian 6.3.0-18+deb9u1) 6.3.0 20170516, 64-bit
(1 row)
用来执行求解数独程序,效果和原版PostgreSQL 17一样。postgres=#提示符偶尔会弹出日志,还不知怎么消除它。
postgres=# create schema gyzs;
CREATE SCHEMA
postgres=# set search_path to gyzs;
SET
postgres=# \i /par/1230/sudoku9x9_pg10000.sql
CREATE TABLE
INSERT 0 10000
postgres=# \timing on
Timing is on.
postgres=# \i /par/1230/zzp/main-6o.sql
id | puzzle | result
-------+-----------+-----------
1 | ?1?97?58?+| 416973582+
| 73???2???+| 739852461+
| 58?16439?+| 582164397+
| ??34951?6+| 873495126+
| ?????79??+| 164287935+
| 2?531????+| 295316874+
| ?51?2???3+| 951628743+
| 3???41?5?+| 328741659+
| ?4?5?9218 | 647539218
2 | ?2986?134+| 529867134+
| 6?32?17??+| 643251798+
| 817??352?+| 817493526+
| 3???1947?+| 358619472+
| 7?43?261?+| 794382615+
| 16?7?5?8?+| 162745983+
| 9?51?68??+| 935126847+
| ??6?382?1+| 476938251+
| 28???43?9 | 281574369
3 | 6487?9??2+| 648739152+
| 3?15?4??9+| 321564789+
| ??728???4+| 957281634+
| 289?7?46?+| 289375461+
| 76541??9?+| 765412398+
| 41?89??75+| 413896275+
| ?????894?+| 172658943+
| ?34?2?8??+| 534927816+
| 8?614?5?7 | 896143527
Time: 8869.213 ms (00:08.869)
postgres=# 2026-02-14 14:23:14.575 UTC [846] LOG: checkpoint complete: wrote 771 buffers (4.7%); 1 WAL file(s) added, 0 removed, 0 recycled; write=82.925 s, sync=0.017 s, total=82.986 s; sync files=102, longest=0.003 s, average=0.001 s; distance=7163 kB, estimate=7163 kB; lsn=0/1FA4F30, redo lsn=0/1FA4EA8
如果退出postgres用户环境,再次执行pg_ctl,需要重新设置环境变量
postgres@DESKTOP-59T6U68:/usr/pgsql-17/bin$
logout
root@DESKTOP-59T6U68:/usr/pgsql-17/bin# su - postgres
postgres@DESKTOP-59T6U68:~$ ./pg_ctl stop
-bash: ./pg_ctl: No such file or directory
postgres@DESKTOP-59T6U68:~$ export PGDATA=/var/lib/pgsql/17/data
postgres@DESKTOP-59T6U68:~$ cd /usr/pgsql-17/bin
postgres@DESKTOP-59T6U68:/usr/pgsql-17/bin$ ./pg_ctl stop
waiting for server to shut down....2026-02-14 14:31:38.517 UTC [845] LOG: received fast shutdown request
2026-02-14 14:31:38.519 UTC [845] LOG: aborting any active transactions
2026-02-14 14:31:38.519 UTC [845] LOG: background worker "logical replication launcher" (PID 851) exited with exit code 1
2026-02-14 14:31:38.520 UTC [845] LOG: background worker "undo launcher" (PID 852) exited with exit code 1
2026-02-14 14:31:38.520 UTC [846] LOG: shutting down
2026-02-14 14:31:38.521 UTC [846] LOG: checkpoint starting: shutdown immediate
2026-02-14 14:31:38.526 UTC [846] LOG: checkpoint complete: wrote 0 buffers (0.0%); 0 WAL file(s) added, 0 removed, 0 recycled; write=0.001 s, sync=0.001 s, total=0.007 s; sync files=0, longest=0.000 s, average=0.000 s; distance=0 kB, estimate=6447 kB; lsn=0/1FA4FD8, redo lsn=0/1FA4FD8
2026-02-14 14:31:38.532 UTC [845] LOG: database system is shut down
done
server stopped