+STATS: 0 nodes over 254301 were skipped in iteration 0 (0.00 %), redo is: true
+STATS: 188718 nodes over 254301 were skipped in iteration 1 (74.21 %), redo is: true
+STATS: 188718 nodes over 254301 were skipped in iteration 2 (74.21 %), redo is: true
+STATS: 188718 nodes over 254301 were skipped in iteration 3 (74.21 %), redo is: true
+STATS: 254301 nodes over 254301 were skipped in iteration 4 (100.00 %), redo is: false
+STATS: evaluating query: 266.115189ms
+STATS: serializing results: 5.604982ms
+STATS: 254301 nodes over 254301 were skipped in iteration 5 (100.00 %), redo is: false