Problem: P5-W5-Q4 Solution: Bag1: P5 -- -- -- -- 0b 0b -- -- 0f 0f -- -- -- -- -- -- 06 06 0b 0b 0b 0f 0f 0f 13 13 -- -- -- -- 06 06 0a 0a 0a 0e 0e 0e 13 13 -- -- 02 02 02 06 0a 0a -- -- 0e 0e 13 17 17 17 02 02 05 05 -- -- -- -- -- -- 10 16 17 17 01 01 05 05 -- -- -- -- -- 10 10 16 16 -- 01 01 01 05 -- -- -- -- -- 10 10 16 16 -- -- 03 03 07 07 -- -- -- -- -- 12 15 15 15 -- 03 03 07 07 -- -- -- -- -- 12 12 15 15 00 00 03 07 -- -- -- -- -- -- 12 12 14 14 00 00 00 04 09 09 -- -- 0d 0d 11 14 14 14 -- -- 04 04 09 09 09 0d 0d 0d 11 11 -- -- -- -- 04 04 08 08 08 0c 0c 0c 11 11 -- -- -- -- -- -- 08 08 -- -- 0c 0c -- -- -- -- Bag2: W5 -- -- -- -- 24 24 -- -- 0e 0e -- -- -- -- -- -- 06 1c 1c 24 24 0e 0e 1e 1e 20 -- -- -- -- 06 06 1c 1c 24 0e 1e 1e 20 20 -- -- 02 19 19 06 06 1c -- -- 1e 20 20 21 21 23 02 02 19 19 -- -- -- -- -- -- 21 21 23 23 01 02 02 19 -- -- -- -- -- 10 21 23 23 -- 01 01 1a 1a -- -- -- -- -- 10 10 16 16 -- -- 01 01 1a 1a -- -- -- -- -- 10 10 16 16 -- 00 00 18 1a -- -- -- -- -- 12 22 22 16 00 00 18 18 -- -- -- -- -- -- 12 12 22 22 00 18 18 04 04 1b -- -- 1d 1f 1f 12 12 22 -- -- 04 04 1b 1b 08 0c 1d 1d 1f 1f -- -- -- -- 04 1b 1b 08 08 0c 0c 1d 1d 1f -- -- -- -- -- -- 08 08 -- -- 0c 0c -- -- -- -- Bag3: Q4 -- -- -- -- 0b 0b -- -- 2b 2b -- -- -- -- -- -- 06 06 0b 0b 29 29 2b 2b 2f 2f -- -- -- -- 06 06 0a 0a 29 29 1e 1e 2f 2f -- -- 02 02 26 26 0a 0a -- -- 1e 1e 2e 2e 32 32 02 02 26 26 -- -- -- -- -- -- 2e 2e 32 32 01 01 1a 1a -- -- -- -- -- 10 10 16 16 -- 01 01 1a 1a -- -- -- -- -- 10 10 16 16 -- -- 03 03 27 27 -- -- -- -- -- 2d 2d 31 31 -- 03 03 27 27 -- -- -- -- -- 2d 2d 31 31 00 00 25 25 -- -- -- -- -- -- 2c 2c 30 30 00 00 25 25 09 09 -- -- 1d 1d 2c 2c 30 30 -- -- 04 04 09 09 28 28 1d 1d 11 11 -- -- -- -- 04 04 08 08 28 28 2a 2a 11 11 -- -- -- -- -- -- 08 08 -- -- 2a 2a -- -- -- -- #squares: 120 #pieces: Bag1: 24 Bag2: 24 Bag3: 30 CPU Time: 52.869s Optimum: yes Board Size: 15x15 Threads: 16 Choices: 1294745 Conflicts: 719134 Restarts: 772 Variables: 8920 Constraints: 30145