Problem: V5-N5-T4 Solution: Bag1: V5 -- -- 08 -- 22 22 22 -- 16 16 16 1e -- -- -- -- -- 08 21 21 21 22 13 16 -- 1a 1e 23 23 23 -- 04 08 08 08 21 22 13 16 -- 1a 1e 1e 1e 23 -- 04 07 07 07 21 10 13 13 13 1a 1a 1a 1d 23 -- 04 04 04 07 0a 10 12 12 12 19 19 19 1d 20 -- -- -- -- 07 0a 10 10 10 12 19 1d 1d 1d 20 -- 03 -- 0a 0a 0a 0f 0f 0f 12 19 1c 20 20 20 -- 03 06 06 06 0d 0d 0d 0f -- 15 1c 1f 1f 1f -- 03 03 03 06 0d 0b 11 0f -- 15 1c 1c 1c 1f 01 01 01 -- 06 0d 0b 11 15 15 15 1b 1b 1b 1f 01 02 02 02 0b 0b 0b 11 11 11 18 18 18 1b -- 01 02 00 09 09 09 0e 0e 0e 17 17 17 18 1b -- -- 02 00 09 05 -- 0e 0c 14 14 14 17 18 -- -- 00 00 00 09 05 -- 0e 0c -- -- 14 17 -- -- -- -- -- 05 05 05 0c 0c 0c -- -- 14 -- -- -- -- Bag2: N5 -- -- 26 -- 21 21 21 -- 3e 3e 3e 1a -- -- -- -- -- 26 21 21 3d 3d 3e 3e -- 1a 1a 1e 1e 1e -- 26 26 3d 3d 3d 2d 2d 2d -- 1a 1e 1e 39 39 -- 26 04 04 04 2d 2d 2f 2f 2f 1a 39 39 39 3c -- 04 04 2a 2a 2a 2f 2f 31 31 31 35 38 3c 3c -- -- -- -- 29 2a 2a 31 31 33 35 35 38 3c 3b -- 25 -- 29 29 2b 2b 2b 33 33 35 38 38 3c 3b -- 25 25 29 2b 2b 2c 2e 33 -- 35 38 37 3b 3b -- 24 25 29 28 2c 2c 2e 33 -- 15 15 37 3b 3a 01 24 25 -- 28 2c 2e 2e 15 15 15 37 37 3a 3a 01 24 24 28 28 2c 2e 0e 32 32 32 37 36 3a -- 01 01 24 28 27 27 0e 0e 30 34 32 32 36 3a -- -- 01 27 27 27 -- 0e 30 30 34 34 36 36 -- -- 00 00 00 09 09 -- 0e 30 -- -- 34 36 -- -- -- -- -- 00 00 09 09 09 30 -- -- 34 -- -- -- -- Bag3: T4 -- -- 08 -- 22 22 22 -- 3e 4f 4f 4f -- -- -- -- -- 08 08 3d 22 48 3e 3e -- 4f 52 52 52 58 -- 04 08 3d 3d 48 48 48 3e -- 4e 51 52 58 58 -- 04 04 41 3d 2d 2d 2d 12 4e 4e 51 51 57 58 -- 04 41 41 41 46 2d 12 12 12 4e 51 1d 57 57 -- -- -- -- 46 46 46 31 31 31 4d 1d 1d 57 3c -- 03 -- 29 45 45 45 4b 31 4d 4d 4d 1d 3c 3c -- 03 03 29 29 45 4b 4b 4b -- 35 35 35 55 3c -- 03 40 29 44 44 44 4a 32 -- 18 35 55 55 55 01 40 40 -- 43 44 4a 4a 32 32 18 18 54 54 54 01 01 40 43 43 43 47 4a 32 4c 18 50 53 54 -- 01 3f 3f 3f 42 47 47 47 4c 4c 50 50 53 53 -- -- 00 3f 42 42 -- 49 49 49 4c 56 50 53 -- -- 00 00 00 05 42 -- 0c 49 -- -- 56 56 -- -- -- -- -- 05 05 05 0c 0c 0c -- -- 56 -- -- -- -- #squares: 180 #pieces: Bag1: 36 Bag2: 36 Bag3: 45 CPU Time: 19162.367s Optimum: unknown Board Size: 15x15 Threads: 16 Choices: 291210171 Conflicts: 148864319 Restarts: 84049 Variables: 11237 Constraints: 36357