14 6 nodes: 2926 cpu: 5400097 0: F F F F B B B B M F B B B B M F F F F F F F F F F F F F F F F changes: 2 1: F M M M B B M B B B B B B B L M F F F F F F F F F F F F F F F changes: 2 2: M F M B L L M F B M F B B B B F F F F F F F F F F F F F F F F changes: 2 3: M M M B B B B L M B M L M F F F F F F F F F F F F F F F F F F changes: 2 4: L M M B B B B B L L M F F B B F F F F F F F F F F F F F F F F changes: 1 5: L M M B B M F B B B B B B B B F F F F F F F F F F F F F F F F changes: 1 6: B M M L M F L L L M B B B B B F F F F F F F F F F F F F F F F changes: 0 7: B M M B B B B B B B B B M L M F F F F F F F F F F F F F F F F changes: 2 8: B M M F F F F F F L L L L L E E E E E E E E E E E E E E E E E changes: 0 9: B M F B B B B B B B B B B B B F F F F F F F F F F F F F F F F changes: 0 10: B M M L L M B B B B B M L M B F F F F F F F F F F F F F F F F changes: 1 11: B M M B B L L M B B L M F F L M F F F F F F F F F F F F F F F changes: 3 12: B M M M F B B B B B B B B B B F F F F F F F F F F F F F F F F changes: 0 13: B M M B M B B M F F F F B M F F F F F F F F F F F F F F F F F changes: 3 total boat changes: 19