+STATS: 0 nodes over 1155 were skipped in iteration 0 (0.00 %), redo is: true
+STATS: 891 nodes over 1155 were skipped in iteration 1 (77.14 %), redo is: true
+STATS: 891 nodes over 1155 were skipped in iteration 2 (77.14 %), redo is: true
+STATS: 891 nodes over 1155 were skipped in iteration 3 (77.14 %), redo is: true
+STATS: 1155 nodes over 1155 were skipped in iteration 4 (100.00 %), redo is: false
+STATS: evaluating query: 20.490885ms
+STATS: serializing results: 1.349926ms
+STATS: 1155 nodes over 1155 were skipped in iteration 5 (100.00 %), redo is: false