Problem: X5-N5-N4 Solution: Bag1: X5 -- -- -- -- -- -- -- -- 12 -- -- -- -- -- -- -- -- -- -- -- -- -- 0c 12 12 12 -- 1a -- -- -- -- -- -- -- -- 07 0c 0c 0c 12 15 1a 1a 1a -- -- -- -- -- 02 07 07 07 0c 0f 15 15 15 1a 1c -- -- -- -- 02 02 02 07 09 0f 0f 0f 15 17 1c 1c 1c -- -- -- -- 02 04 09 09 09 0f 11 17 17 17 1c 1e -- -- -- 00 04 04 04 09 0b 11 11 11 17 19 1e 1e 1e -- 00 00 00 04 06 0b 0b 0b 11 14 19 19 19 1e 1f -- -- 00 01 06 06 06 0b 0e 14 14 14 19 1b 1f 1f 1f -- 01 01 01 06 08 0e 0e 0e 14 16 1b 1b 1b 1f -- -- -- 01 03 08 08 08 0e 10 16 16 16 1b 1d -- -- -- -- 03 03 03 08 0a 10 10 10 16 18 1d 1d 1d -- -- -- -- 03 05 0a 0a 0a 10 13 18 18 18 1d -- -- -- -- -- 05 05 05 0a 0d 13 13 13 18 -- -- -- -- -- -- -- -- 05 -- 0d 0d 0d 13 -- -- -- -- -- -- -- -- -- -- -- -- -- 0d -- -- -- -- -- -- -- -- Bag2: N5 -- -- -- -- -- -- -- -- 2e -- -- -- -- -- -- -- -- -- -- -- -- -- 26 26 2e 2e -- 34 -- -- -- -- -- -- -- -- 26 26 26 27 27 2e 32 34 34 -- -- -- -- -- 02 02 02 27 27 27 11 2e 32 32 34 -- -- -- -- 02 02 21 21 21 09 09 11 2d 31 32 34 37 -- -- -- -- 21 21 09 09 09 11 11 2d 31 32 36 37 -- -- -- 00 00 00 25 25 25 11 2d 2d 31 31 36 37 37 -- 00 00 20 22 22 22 25 25 2d 2f 2f 31 36 36 37 -- -- 01 20 20 24 22 22 28 14 14 2f 2f 2f 36 35 35 -- 01 01 20 24 24 28 28 2a 14 14 14 35 35 35 -- -- -- 01 20 23 24 28 2a 2a 2c 2c 2c 30 30 -- -- -- -- 01 05 23 24 28 2a 2c 2c 30 30 30 33 33 -- -- -- -- 05 23 23 0d 2a 29 29 29 33 33 33 -- -- -- -- -- 05 05 23 0d 29 29 2b 2b 2b -- -- -- -- -- -- -- -- 05 -- 0d 0d 2b 2b -- -- -- -- -- -- -- -- -- -- -- -- -- 0d -- -- -- -- -- -- -- -- Bag3: N4 -- -- -- -- -- -- -- -- 2e -- -- -- -- -- -- -- -- -- -- -- -- -- 3f 3f 2e 2e -- 34 -- -- -- -- -- -- -- -- 3a 0c 0c 3f 3f 2e 32 34 34 -- -- -- -- -- 38 38 3a 3a 0c 0c 15 15 32 32 34 -- -- -- -- 02 02 38 38 3a 3d 3d 41 15 15 32 44 44 -- -- -- -- 02 02 22 3d 3d 11 41 41 31 44 44 37 -- -- -- 00 00 22 22 39 39 11 11 41 31 31 36 37 37 -- 00 00 20 22 39 39 3c 3c 11 2f 2f 31 36 36 37 -- -- 01 20 20 24 3c 3c 3e 14 14 2f 2f 43 36 46 46 -- 01 01 20 24 24 3e 3e 10 14 14 43 43 46 46 -- -- -- 01 03 03 24 3e 10 10 2c 2c 43 45 45 -- -- -- -- 03 03 23 3b 3b 10 2c 2c 18 42 42 45 45 -- -- -- -- 05 23 23 3b 3b 40 40 18 18 42 42 -- -- -- -- -- 05 05 23 0d 29 29 40 40 18 -- -- -- -- -- -- -- -- 05 -- 0d 0d 29 29 -- -- -- -- -- -- -- -- -- -- -- -- -- 0d -- -- -- -- -- -- -- -- #squares: 160 #pieces: Bag1: 32 Bag2: 32 Bag3: 40 CPU Time: 2814.419s Optimum: yes Board Size: 20x20 Threads: 16 Choices: 39033992 Conflicts: 21614947 Restarts: 14755 Variables: 16906 Constraints: 55143