10 6 nodes: 143924 cpu: 3600083 0: F F F F B B M L M M M B B B L changes: 2 1: F M M L L M F B B F F B B B M changes: 1 2: M F L M L L L M F E E E E E E changes: 0 3: M L M F F F B B B B B M L L E changes: 1 4: L M F M F B B B M M M B M F F changes: 1 5: L L L L M B B B B M F F B M E changes: 1 6: B B B B M F F F F M M L M B L changes: 2 7: B B B B B M B M M F F L L M F changes: 2 8: B B B B B L M F M F F M F F E changes: 1 9: B B B B B B L L M F F F F L M changes: 1 total boat changes: 12