Problem: T5-N5-N4 Solution: Bag1: T5 -- -- -- -- 03 06 -- -- -- -- 0a 0d -- -- -- -- -- -- -- -- -- -- -- -- -- 03 03 03 06 06 06 0a 0a 0a 0d 0d 0d 0e 11 -- -- -- -- -- -- -- 00 00 00 04 03 06 07 07 07 0b 0a 0d 0e 0e 0e 11 11 11 12 15 -- -- -- -- 00 01 04 04 04 05 07 08 0b 0b 0b 0c 0f 0e 11 12 12 12 15 15 15 16 -- 00 01 04 05 05 05 07 08 0b 0c 0c 0c 0f 0f 0f -- 13 12 15 16 16 16 -- 01 01 01 02 17 05 08 08 08 09 18 0c 0f 10 10 10 13 13 13 -- 14 16 -- -- 02 02 02 17 17 17 09 09 09 18 18 18 19 10 1a 13 1b 14 14 14 -- -- -- -- -- 02 17 -- -- -- -- 09 18 19 19 19 10 1a -- 1b 1b 1b 14 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 19 1a 1a 1a 1b -- -- -- -- Bag2: N5 -- -- -- -- 03 03 -- -- -- -- 23 23 -- -- -- -- -- -- -- -- -- -- -- -- -- 03 03 03 06 1f 1f 0a 0a 0a 23 23 23 0e 0e -- -- -- -- -- -- -- 00 00 1d 1d 1d 06 06 1f 1f 1f 0a 0a 0e 0e 0e 28 28 12 12 12 -- -- -- -- 00 00 00 1d 1d 06 21 21 21 22 22 22 28 28 28 12 12 2c 2c 2c 15 15 -- 1c 1c 1c 05 05 06 20 20 21 21 24 22 22 25 25 -- 2c 2c 15 15 15 2d -- 01 01 1c 1c 05 05 05 20 20 20 24 25 25 25 27 27 2b 2b 2b -- 2d 2d -- -- 01 01 01 1e 1e 1e 09 09 09 24 24 27 27 27 29 29 29 2b 2b 2d -- -- -- -- -- 1e 1e -- -- -- -- 09 09 24 26 26 29 29 -- 2a 2a 2a 2d -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 26 26 26 2a 2a -- -- -- -- Bag3: N4 -- -- -- -- 31 31 -- -- -- -- 39 39 -- -- -- -- -- -- -- -- -- -- -- -- -- 1d 30 30 31 31 36 36 39 39 3b 3b 0e 0e 3e -- -- -- -- -- -- -- 00 00 1d 1d 30 30 33 33 36 36 3b 3b 0e 0e 3e 3e 11 11 41 41 -- -- -- -- 00 00 1d 05 33 33 34 34 37 37 3a 3c 3c 3e 11 11 40 40 41 41 16 16 -- 01 2e 2e 05 05 34 34 37 37 3a 3a 25 3c 3c 3d -- 3f 40 40 16 16 42 -- 01 01 2e 2e 05 32 32 35 35 3a 24 25 25 3d 3d 3f 3f 13 13 -- 42 42 -- -- 01 2f 2f 32 32 35 35 38 38 24 24 25 3d 29 3f 13 13 14 14 42 -- -- -- -- -- 2f 2f -- -- -- -- 38 38 24 26 26 29 29 -- 2a 2a 14 14 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 26 26 29 2a 2a -- -- -- -- #squares: 140 #pieces: Bag1: 28 Bag2: 28 Bag3: 35 CPU Time: 19164.115s Optimum: unknown Board Size: 25x25 Threads: 16 Choices: 308681673 Conflicts: 180372099 Restarts: 82367 Variables: 33401 Constraints: 109637