9 6
(0,1) (2,3) (4,5) 
(0,2) (1,4) (3,5) 
(0,4) (1,3) (2,5) 
(0,3) (1,5) (2,6) 
(0,5) (2,7) (6,8) 
(0,7) (1,6) (2,8) 
(0,6) (7,8) (1,2) 
(0,8) (1,7) (2,4) 
(1,8) (3,4) (6,7) 
(3,8) (4,6) (5,7) 
(3,6) (4,7) (5,8) 
(3,7) (4,8) (5,6) 
nodes: 141224   cpu: 3600183
0: F F F F F F F F E E E E  changes: 0
1: F M M M B M L M F E E E  changes: 1
2: M F L L M L L L E E E E  changes: 0
3: M L M F B B B B M F F F  changes: 1
4: L M F B B B B L M M M M  changes: 1
5: L L L M F B B B B L L L  changes: 1
6: B B B L L M F B L M F L  changes: 2
7: B B B B M F M M L L M F  changes: 1
8: B B B B L L M F F F L M  changes: 1
total boat changes: 8