15 8
nodes: 3438   cpu: 5400133
0: F F M M B F F F F F F F F F F F F F F F F F F F F F F  changes: 0
1: F M M M F F F F F F F F F F F F F F F F F F F F F F F  changes: 0
2: M M F M L M F F F F F F F F F F F F F F F F F F F F F  changes: 0
3: M M M M M F F F F F F F F F F F F F F F F F F F F F F  changes: 0
4: M F M M M F F F F F F F F F F F F F F F F F F F F F F  changes: 0
5: M M M M M F F F F F F F F F F F F F F F F F F F F F F  changes: 0
6: L M M F B F F F F F F F F F F F F F F F F F F F F F F  changes: 0
7: L M M M M F F F F F F F F F F F F F F F F F F F F F F  changes: 0
8: B M M M B F F F F F F F F F F F F F F F F F F F F F F  changes: 0
9: B M M M L M F F F F F F F F F F F F F F F F F F F F F  changes: 0
10: B M F M B F F F F F F F F F F F F F F F F F F F F F F  changes: 0
11: B M M M B F F F F F F F F F F F F F F F F F F F F F F  changes: 1
12: B M M M F F F F F F F F F F F F F F F F F F F F F F F  changes: 1
13: B M M F B F F F F F F F F F F F F F F F F F F F F F F  changes: 1
14: B M M M B F F F F F F F F F F F F F F F F F F F F F F  changes: 0
total boat changes: 3