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