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