Problem: N5-Z5-Q4 Solution: Bag1: N5 -- -- -- -- -- -- -- 09 09 -- -- -- -- -- -- -- -- -- -- -- -- 09 09 09 0d 0d 0d -- -- -- -- -- -- -- -- 03 03 08 0b 0d 0d 0f 11 15 15 -- -- -- -- 03 03 03 04 08 0b 0b 0f 0f 11 14 15 15 15 -- -- 01 01 01 04 08 08 0b 0f 11 11 14 17 17 17 -- 01 01 -- 04 04 05 08 0b 0f 11 12 14 14 -- 17 17 00 00 -- 04 05 05 07 0a 0e 10 12 12 14 -- 16 16 -- 00 00 00 05 07 07 0a 0e 10 10 12 16 16 16 -- -- 02 02 02 05 07 0a 0a 0e 0e 10 12 13 13 13 -- -- -- -- 02 02 07 0a 06 06 0e 10 13 13 -- -- -- -- -- -- -- -- 06 06 06 0c 0c 0c -- -- -- -- -- -- -- -- -- -- -- -- 0c 0c -- -- -- -- -- -- -- Bag2: Z5 -- -- -- -- -- -- -- 1d 23 -- -- -- -- -- -- -- -- -- -- -- -- 1d 1d 1d 23 23 23 -- -- -- -- -- -- -- -- 19 19 1d 08 08 22 22 23 15 15 -- -- -- -- 01 01 19 1a 1a 08 1f 1f 22 25 25 15 27 27 -- -- 01 19 19 1a 08 08 1c 1f 22 22 25 15 15 27 -- 01 01 -- 1a 1a 1c 1c 1c 1f 1f 21 25 25 -- 27 27 00 00 -- 04 04 1c 1e 1e 21 21 21 24 24 -- 26 26 -- 00 18 18 04 1b 1b 1e 21 20 20 24 13 13 26 -- -- 00 00 18 04 04 1b 1e 1e 20 24 24 13 26 26 -- -- -- -- 18 18 06 1b 1b 20 20 28 13 13 -- -- -- -- -- -- -- -- 06 06 06 28 28 28 -- -- -- -- -- -- -- -- -- -- -- -- 06 28 -- -- -- -- -- -- -- Bag3: Q4 -- -- -- -- -- -- -- 31 31 -- -- -- -- -- -- -- -- -- -- -- -- 1d 1d 31 31 36 36 -- -- -- -- -- -- -- -- 2c 2c 1d 1d 1f 1f 36 36 38 38 -- -- -- -- 29 29 2c 2c 08 08 1f 1f 35 35 38 38 39 39 -- -- 29 29 1a 1a 08 08 30 30 35 35 14 14 39 39 -- 00 00 -- 1a 1a 1c 1c 30 30 34 34 14 14 -- 3a 3a 00 00 -- 2b 2b 1c 1c 2f 2f 34 34 37 37 -- 3a 3a -- 02 02 2b 2b 2d 2d 2f 2f 33 33 37 37 26 26 -- -- 02 02 2a 2a 2d 2d 2e 2e 33 33 13 13 26 26 -- -- -- -- 2a 2a 06 06 2e 2e 32 32 13 13 -- -- -- -- -- -- -- -- 06 06 0c 0c 32 32 -- -- -- -- -- -- -- -- -- -- -- -- 0c 0c -- -- -- -- -- -- -- #squares: 120 #pieces: Bag1: 24 Bag2: 24 Bag3: 30 CPU Time: 19171.205s Optimum: unknown Board Size: 25x25 Threads: 16 Choices: 192264228 Conflicts: 131333998 Restarts: 56881 Variables: 27331 Constraints: 90921