7 6
(0,1) (2,3) (4,5) 
(0,2) (4,6) (1,5) 
(2,6) (0,5) (1,3) 
(5,6) (0,3) (1,4) 
(3,5) (1,6) (2,4) 
(3,6) (0,4) (2,5) 
(3,4) (1,2) (0,6) 
nodes: 72739   cpu: 670201
0: F F M M B M L  changes: 1
1: F L L L M B M  changes: 1
2: M F F B L L M  changes: 1
3: M B L M F F F  changes: 1
4: L M B L L M F  changes: 1
5: L L M F F L E  changes: 0
6: B M F F M F L  changes: 1
total boat changes: 6