Problem: F5-L5-Q4 Solution: Bag1: F5 -- -- -- 07 07 0b 0b -- -- -- -- -- -- -- -- -- -- 02 07 07 0b 0b 0f 0f 14 -- -- -- -- 02 02 02 07 06 0b 0f 0f 14 14 -- -- -- -- 00 02 06 06 06 0a -- 0f 13 14 14 -- -- 00 00 00 05 06 0a 0a 0e 0e 13 13 13 -- -- 00 01 01 05 05 05 0a 0a 0e 0e 13 16 -- -- -- -- 01 01 05 09 -- -- 0e 12 16 16 -- -- -- -- 01 04 09 09 0d 0d 12 12 12 16 16 17 -- -- 04 04 04 09 09 0d 0d 11 12 17 17 17 -- -- 03 03 04 08 -- 0d 11 11 11 15 17 -- -- -- -- 03 03 08 08 0c 11 10 15 15 15 -- -- -- -- 03 08 08 0c 0c 10 10 15 -- -- -- -- -- -- -- -- -- -- 0c 0c 10 10 -- -- -- Bag2: L5 -- -- -- 1c 1c 1c 1c -- -- -- -- -- -- -- -- -- -- 1c 1e 1e 1e 1e 0e 26 26 -- -- -- -- 18 19 19 19 19 20 1e 0e 25 26 -- -- -- -- 18 18 18 18 19 20 -- 0e 25 26 16 -- -- 00 00 00 00 1d 1d 20 0e 0e 25 26 16 -- -- 00 01 01 01 01 1d 20 20 22 25 25 16 -- -- -- -- 03 03 01 1d -- -- 22 24 16 16 -- -- -- -- 03 1b 1b 1d 0d 0d 22 24 24 24 24 27 -- -- 03 1b 1a 1f 1f 0d 22 22 27 27 27 27 -- -- 03 1b 1a 1f -- 0d 11 23 23 23 23 -- -- -- -- 1b 1a 1f 0c 0d 11 11 11 11 23 -- -- -- -- 1a 1a 1f 0c 0c 0c 0c 21 -- -- -- -- -- -- -- -- -- -- 21 21 21 21 -- -- -- Bag3: Q4 -- -- -- 1c 1c 2d 2d -- -- -- -- -- -- -- -- -- -- 1c 1c 2d 2d 0f 0f 14 14 -- -- -- -- 18 18 06 06 2c 2c 0f 0f 14 14 -- -- -- -- 18 18 06 06 2c 2c -- 31 31 34 34 -- -- 00 00 29 29 2b 2b 20 20 31 31 34 34 -- -- 00 00 29 29 2b 2b 20 20 30 30 16 16 -- -- -- -- 28 28 09 09 -- -- 30 30 16 16 -- -- -- -- 28 28 09 09 2e 2e 22 22 27 27 36 36 -- -- 03 03 2a 2a 2e 2e 22 22 27 27 36 36 -- -- 03 03 2a 2a -- 2f 2f 33 33 35 35 -- -- -- -- 1a 1a 1f 1f 2f 2f 33 33 35 35 -- -- -- -- 1a 1a 1f 1f 21 21 32 32 -- -- -- -- -- -- -- -- -- -- 21 21 32 32 -- -- -- #squares: 120 #pieces: Bag1: 24 Bag2: 24 Bag3: 30 CPU Time: 18077.312s Optimum: yes Board Size: 15x15 Threads: 16 Choices: 139682188 Conflicts: 106660896 Restarts: 49872 Variables: 9976 Constraints: 35072