megjegyzem, ha hasonló problémába futtok bele, akkor a #postgresql csatornára kell írni, és ott segíteni fognak a fejlesztők (akik a postgresql-t írják). Nekünk volt
2 elég komoly bugbejelentésünk (az egyikre konkrétan segfault-ot dobott a szerver), és segítettek minimál tesztesetet összeállítani, és viszonylag rövid idő alatt
jött a javítás is.