15 6 (0,1) (2,3) (4,5) (0,2) (1,4) (3,5) (0,4) (1,3) (2,5) (0,3) (1,5) (2,4) (0,5) (2,6) (3,4) (0,6) (3,7) (4,8) (0,7) (1,8) (4,6) (0,8) (1,6) (4,7) (6,8) (1,7) (4,9) (6,7) (0,9) (4,10) (6,9) (4,11) (0,10) (6,11) (0,12) (1,10) (6,12) (1,2) (3,10) (1,12) (2,10) (3,6) (2,12) (3,8) (5,6) (2,8) (5,7) (6,10) (2,7) (5,10) (6,13) (7,10) (0,13) (6,14) (7,13) (0,11) (1,14) (7,11) (0,14) (1,9) (7,14) (1,11) (2,9) (11,14) (2,13) (3,9) (2,11) (3,12) (5,9) (3,11) (5,8) (7,9) (5,11) (7,8) (9,10) (8,11) (9,12) (10,13) (8,9) (3,13) (10,14) (8,13) (10,12) (3,14) (8,10) (12,14) (11,13) (8,12) (10,11) (13,14) (11,12) (5,13) (8,14) (12,13) (9,11) (5,14) (9,13) (4,14) (5,12) (4,13) (7,12) (9,14) (4,12) (2,14) (1,13) nodes: 2623196 cpu: 172800233 0: F F F F F F F F B M L M B B B B B M M M E E E E E E E E E E E E E E E changes: 2 1: F M M M B B M M M B B L M F B B B B L L M B B B B B B B B B B B B B L changes: 4 2: M F L L M B B B B B B B M M F F F B B B L M F B B B B B B B B B B B M changes: 3 3: M L M F L M B B B B B B L L M B B B B B B L M F B B M L E E E E E E E changes: 3 4: L M F L L L L L L L M B B B B B B B B B B B B B B B B B B B B B M F F changes: 1 5: L L L M F B B B B B B B B B L M M B B B B B L M F B B B B B M L L E E changes: 3 6: B B B B M F L M 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: 1 7: B B B B B M F L M F B B B B B M F F F F F B B L M B B B B B B B B M E changes: 4 8: B B B B B L M F F B B B B B M F B B B B B B B M M F F F F F L E E E E changes: 3 9: B B B B B B B B L M F B B B B B B B B L L L L L L M F B B B B M F L E changes: 3 10: B B B B B B B B B L L L L M B L M F B B B B B B L L L M F M E E E E E changes: 3 11: B B B B B B B B B B M F B B B B B B M F M F F F F F B B L M F M E E E changes: 3 12: B B B B B B B B B B B M F F F B B B B B B B M B B M B M M F F F L M F changes: 4 13: B B B B B B B B B B B B B B B B L M F B B M B B B L M F L L M F F F L changes: 3 14: B B B B B B B B B B B B B B B B B L L M F F B B B B L L M L L L M L M changes: 2 total boat changes: 42 max imbalance: 4