Problem: F5-I5-Q4 Solution: Bag1: F5 -- -- -- 08 0f -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 08 08 08 0f 0f 15 15 1c 1c 22 22 29 29 2f 2f 36 36 3e -- -- 07 08 0f 0f 15 15 1c 1c 22 22 29 29 2f 2f 36 36 3e 3e -- -- 07 07 07 0e 0e 15 14 1c -- 22 25 29 2d 2f 35 36 3d 3e 3e -- 06 07 0e 0e 14 14 14 1f -- 25 25 2d 2d 35 35 35 3d 3d 3d -- 06 06 06 0e 0d 14 19 1f 1f 1f 25 25 2d 2d 34 35 3c 3d -- -- 05 06 0d 0d 0d 19 19 19 1f 1e 24 2c 2c 34 34 3c 3c 3c -- -- 05 05 05 0d 0c 19 18 1e 1e 1e 24 24 2c 2c 34 34 3b 3c -- -- 04 05 0c 0c 0c 18 18 18 1e 24 24 28 2c 2e 2e 3b 3b 3b -- -- 04 04 04 0c 11 17 17 18 -- -- 28 28 2e 2e -- -- 3a 3b -- -- 03 04 -- -- 11 11 17 17 -- -- 27 28 28 2e 33 3a 3a 3a -- -- 03 03 03 11 11 13 17 1b 1b 21 27 27 27 33 33 33 39 3a -- -- 02 03 0b 0b 13 13 1b 1b 21 21 21 27 26 33 32 39 39 39 -- -- 02 02 02 0b 0b 13 13 1b 21 20 26 26 26 32 32 32 38 39 -- -- 01 02 0a 0b 12 12 1a 1a 20 20 20 26 2b 32 31 38 38 38 -- 01 01 01 0a 0a 0a 12 12 1a 1a -- 20 2b 2b 2b 31 31 37 38 -- 00 00 01 09 0a 10 12 16 1a 1d -- 23 2b 2a 31 31 37 37 37 -- -- 00 00 09 09 10 10 16 16 1d 1d 23 23 2a 2a 30 30 3f 37 -- -- 00 09 09 10 10 16 16 1d 1d 23 23 2a 2a 30 30 3f 3f 3f -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 30 3f -- -- -- Bag2: I5 -- -- -- 0e 49 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 06 46 0e 49 4d 54 56 1f 6b 6b 6b 6b 6b 6e 6e 6e 6e 6e -- -- 06 46 0e 49 4d 54 56 1f 22 22 22 22 22 6d 6d 6d 6d 6d -- -- 06 46 0e 49 4d 54 56 1f -- 6c 6c 6c 6c 6c 6f 6f 6f 6f 6f -- 06 46 0e 49 4d 54 56 1f -- 25 25 25 25 25 66 66 66 66 66 -- 06 46 47 48 4d 54 56 1f 5b 5b 5b 5b 5b 63 63 63 63 63 -- -- 44 45 47 48 4c 53 55 57 5a 5a 5a 5a 5a 34 34 34 34 34 -- -- 44 45 47 48 4c 53 55 57 59 59 59 59 59 62 62 62 62 62 -- -- 44 45 47 48 4c 53 55 57 58 58 58 58 58 61 61 61 61 61 -- -- 44 45 47 48 4c 53 55 57 -- -- 26 5d 5f 60 -- -- 68 6a -- -- 44 45 -- -- 4c 53 55 57 -- -- 26 5d 5f 60 65 38 68 6a -- -- 03 03 03 03 03 52 52 52 52 52 26 5d 5f 60 65 38 68 6a -- -- 43 43 43 43 43 51 51 51 51 51 26 5d 5f 60 65 38 68 6a -- -- 02 02 02 02 02 50 50 50 50 50 26 5d 5f 60 65 38 68 6a -- -- 42 42 42 42 42 4f 4f 4f 4f 4f 5c 2a 5e 30 65 38 67 69 -- 01 01 01 01 01 4b 4b 4b 4b 4b -- 5c 2a 5e 30 64 3f 67 69 -- 00 00 00 00 00 4a 4a 4a 4a 4a -- 5c 2a 5e 30 64 3f 67 69 -- -- 41 41 41 41 41 4e 4e 4e 4e 4e 5c 2a 5e 30 64 3f 67 69 -- -- 40 40 40 40 40 16 16 16 16 16 5c 2a 5e 30 64 3f 67 69 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 64 3f -- -- -- Bag3: Q4 -- -- -- 7a 7a -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 73 73 7a 7a 15 15 1c 1c 22 22 29 29 2f 2f 36 36 3e 3e -- -- 73 73 79 79 15 15 1c 1c 22 22 29 29 2f 2f 36 36 3e 3e -- -- 72 72 79 79 14 14 83 83 -- 25 25 2d 2d 35 35 99 99 a0 a0 -- 72 72 78 78 14 14 83 83 -- 25 25 2d 2d 35 35 99 99 a0 a0 -- 71 71 78 78 7e 7e 82 82 5a 5a 8c 8c 92 92 98 98 9f 9f -- -- 71 71 77 77 7e 7e 82 82 5a 5a 8c 8c 92 92 98 98 9f 9f -- -- 70 70 77 77 7d 7d 81 81 58 58 8b 8b 91 91 97 97 9e 9e -- -- 70 70 47 47 7d 7d 81 81 58 58 8b 8b 91 91 97 97 9e 9e -- -- 44 44 47 47 4c 4c 55 55 -- -- 8a 8a 90 90 -- -- 9d 9d -- -- 44 44 -- -- 4c 4c 55 55 -- -- 8a 8a 90 90 96 96 9d 9d -- -- 43 43 0b 0b 13 13 1b 1b 86 86 89 89 8f 8f 96 96 9c 9c -- -- 43 43 0b 0b 13 13 1b 1b 86 86 89 89 8f 8f 95 95 9c 9c -- -- 42 42 76 76 12 12 1a 1a 20 20 88 88 8e 8e 95 95 9b 9b -- -- 42 42 76 76 12 12 1a 1a 20 20 88 88 8e 8e 94 94 9b 9b -- 00 00 74 74 7b 7b 7f 7f 84 84 -- 87 87 8d 8d 94 94 9a 9a -- 00 00 74 74 7b 7b 7f 7f 84 84 -- 87 87 8d 8d 93 93 9a 9a -- -- 40 40 75 75 7c 7c 80 80 85 85 5c 5c 5e 5e 93 93 67 67 -- -- 40 40 75 75 7c 7c 80 80 85 85 5c 5c 5e 5e 64 64 67 67 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 64 64 -- -- -- #squares: 320 #pieces: Bag1: 64 Bag2: 64 Bag3: 80 CPU Time: 19196.786s Optimum: unknown Board Size: 20x20 Threads: 16 Choices: 139785459 Conflicts: 98529389 Restarts: 45928 Variables: 13301 Constraints: 46127