Problem: F5-W5-Q4 Solution: Bag1: F5 -- -- -- -- -- -- -- -- -- 30 30 -- -- 40 4b -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 25 30 30 35 40 40 40 4b 4b 58 -- -- 67 67 -- -- -- -- -- -- -- -- -- -- 07 11 11 1b 1b 25 25 25 30 35 35 40 4b 4b 4f 58 58 58 63 67 67 72 -- -- -- -- -- -- -- -- 07 07 11 11 1b 1b 24 25 35 35 -- -- 4a 4f 4f 4f 58 63 63 67 72 72 72 7b 7b 84 84 8e -- 07 07 06 11 -- 1b 24 24 24 2a 34 -- -- 4a 4a 4a 4f -- -- 63 63 72 6c 7b 7b 84 84 8e 8e -- 06 06 06 10 -- 1a 24 2a 2a 2a 34 34 3f 49 4a -- -- -- -- 62 6c 6c 6c -- 7b 80 84 8d 8e 8e -- 06 10 10 10 1a 1a 23 2a 34 34 3f 3f 49 49 49 55 -- -- 62 62 6c 71 -- 80 80 80 8d 8d 8d -- 05 10 0f 1a 1a 23 23 2f 2f 3b 3b 3f 3f 49 55 55 55 62 62 66 71 71 71 80 -- -- 8a 8d -- 05 05 05 0f 0f 19 -- 23 23 2f 2f 3b 3b -- -- 55 54 5d 5d 66 66 -- -- 71 76 -- -- 8a 8a -- 05 0b 0f 0f 19 19 -- 29 29 2f 33 3b 3e 48 48 54 54 54 5d 5d 66 66 76 76 76 7f 8a 8a 89 -- -- 0b 0b 0b 14 19 19 22 29 29 33 33 3e 3e 48 48 53 54 5d 61 61 70 70 76 7f 7f 89 89 89 -- -- 04 0b 14 14 14 22 22 29 33 33 3e 3e 3d 48 53 53 -- 61 61 -- -- 70 70 7e 7f 7f 89 -- -- 04 04 04 0a 18 14 -- 22 22 -- -- 3d 3d 3d 47 -- 53 53 5c 61 -- -- 70 75 7e 7e 7e 88 -- -- 04 0a 0a 0a 18 18 18 21 21 2e 2e 3a 3d 47 47 47 52 52 5c 5c 6b 6b 75 75 75 7e 88 88 88 8c -- 03 0a -- 13 18 21 21 2e 2e 3a 3a 3a 47 46 52 52 5c 5c 60 60 6b 6b 74 75 7d 88 8c 8c 8c -- 03 03 -- 13 13 1e 21 28 2e 39 39 3a 46 46 46 52 51 60 60 -- 6b 74 74 74 7d 7d 87 8c -- 03 03 0e 13 13 1e 1e 1e 28 28 32 39 39 46 43 51 51 51 5b 60 -- 6a 74 7a 7d 7d 87 87 87 -- 02 02 0e 0e 0e 1e 20 28 28 32 32 39 43 43 43 4e 51 5b 5b 5b 6a 6a 6a 7a 7a 7a 83 83 87 8b -- 02 02 0e 12 -- 20 20 20 2d 32 32 42 43 4e 4e -- -- 5a 5b 6a 69 69 73 7a 83 83 8b 8b 8b -- 02 09 12 12 12 1d 20 2d 2d 2d 38 42 42 42 4e 4e 5a 5a 5a 69 69 73 73 7c 7c 83 86 8b -- -- 09 09 12 17 1d 1d 1d 2d 2c 38 38 38 42 41 50 50 5a 59 65 65 69 6f 73 73 7c 7c 86 86 -- -- 01 09 09 17 17 17 1d 2c 2c 38 37 41 41 41 4d 50 50 59 59 65 65 6f 6f 79 7c 86 86 85 -- 01 01 01 0d -- 17 1c 1c 27 2c 2c 37 37 41 4d 4d 50 59 59 5f 65 6f 6f 79 79 79 85 85 85 -- 01 00 0d 0d 0d 1c 1c 27 27 27 37 37 -- -- 45 4d 4d 57 5f 5f -- -- 6e 79 -- -- 82 85 -- -- 00 00 00 08 0d 16 1c 27 26 26 31 31 3c 45 45 45 57 57 57 5f 5f 6e 6e 6e 78 82 82 82 -- -- 00 08 08 08 16 16 16 26 26 31 31 3c 3c 45 4c 4c -- -- 57 5e 5e 68 68 6e 78 78 81 82 -- -- -- -- 08 0c 15 15 16 1f 26 2b 31 36 3c 3c 44 4c 4c 56 5e 5e 68 68 6d 78 78 81 81 81 -- -- -- -- 0c 0c 0c 15 15 1f 1f 2b 2b 36 36 44 44 4c 56 56 56 5e 64 68 6d 6d 77 77 8f 81 -- -- -- -- -- -- 0c 15 1f 1f 2b 2b 36 36 -- -- 44 44 -- -- 56 64 64 6d 6d 77 77 8f 8f 8f -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 64 64 -- -- 77 8f -- -- -- -- Bag2: W5 -- -- -- -- -- -- -- -- -- f7 f7 -- -- bc bc -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- ab 30 30 f7 f7 bc bc c0 c0 4f -- -- 63 63 -- -- -- -- -- -- -- -- -- -- 94 94 9c 9c a4 a4 ab ab 30 30 f7 bc c0 c0 4f 4f c9 63 63 d8 d8 dc -- -- -- -- -- -- -- -- 93 94 94 9c 9c a4 a4 ab ab 30 -- -- c0 4f 4f c9 c9 63 d8 d8 dc dc e1 e1 eb eb f3 f3 -- 06 93 93 94 -- 9c 24 a4 ae b1 b1 -- -- bb bb c9 c9 -- -- d8 dc dc e1 e1 eb eb f3 f3 f2 -- 06 06 93 93 -- a3 24 24 ae ae b1 b1 bb bb ba -- -- -- -- d7 6c 6c e1 -- eb e7 f3 f2 f2 f6 -- 06 06 9b 9b a3 a3 24 24 ae ae b1 bb ba ba c8 c8 -- -- d7 d7 6c 6c -- e7 e7 f2 f2 f6 f6 -- 92 10 10 9b 9b a3 a3 29 29 3b 3b ba ba c5 c5 c8 c8 62 62 d7 d7 6c e7 e7 -- -- f6 f6 -- 05 92 92 10 10 9b -- 29 29 aa b5 3b 3b -- -- c5 c5 c8 d4 62 62 -- -- e6 e6 -- -- 89 89 -- 05 05 92 92 10 a2 -- 29 aa aa b5 b5 3b bf c4 c4 c5 d0 d4 d4 62 70 76 76 e6 e6 89 89 f1 -- -- 05 05 9a 9a a2 a2 aa aa a9 b4 b5 b5 bf bf c4 c4 d0 d0 d4 d4 70 70 76 76 e6 89 f1 f1 -- -- 91 97 97 9a 9a a2 a2 a9 a9 b4 b4 b9 b9 bf bf c4 -- d0 d0 -- -- 70 70 76 e5 f1 f1 -- -- 04 91 91 97 97 9a -- a9 a9 -- -- b4 b4 b9 b9 -- 52 52 d3 d3 -- -- e0 e0 e5 e5 ed ed -- -- 04 04 91 91 97 9f 9f a6 a6 ad ad 39 39 47 b9 52 52 cf cf d3 d3 e0 e0 e5 e5 ed ed f0 f0 f5 -- 04 04 -- 9f 9f a6 a6 ad ad 39 39 b3 47 47 52 cc cc cf cf d3 e0 df df ea ed f0 f0 f5 f5 -- 02 02 -- 9f 99 a6 1e ad 28 39 b3 b3 b8 47 47 cb cc cc cf -- df df de ea ea f0 f5 f5 -- 02 02 90 90 99 99 1e 1e 28 28 b3 b3 b8 b8 be be cb cb cc d6 -- df de de e9 ea ea f4 f4 -- 02 90 90 99 99 1e 1e 28 28 ac ac b8 b8 be be c3 c3 cb cb d6 d6 de de e4 e9 e9 ef ef f4 f4 -- 90 09 09 96 -- 1d 1d ac ac b2 b7 b7 be c3 c3 -- -- d2 d2 d6 d6 73 e4 e4 e9 e9 ef ef f4 -- 09 09 96 96 1d 1d a1 ac a8 b2 b2 b7 b7 c3 c2 c2 ce ce d2 d2 dd 73 73 e4 e4 ee ee ef -- -- 09 96 96 95 1d a1 a1 a8 a8 38 b2 b2 b7 c2 c2 ca ca ce ce d2 dd dd 73 73 e3 86 ee ee -- -- 01 01 95 95 a1 a1 a8 a8 b0 38 38 41 41 c2 c7 c7 ca ca ce db db dd dd e3 e3 86 86 ee -- 01 01 95 95 -- 9e 9e a7 a7 b0 b0 38 38 41 41 c6 c7 c7 ca d1 d1 db db e3 e3 ec ec 86 86 -- 01 00 00 08 9e 9e a5 a5 a7 a7 b0 b0 -- -- 41 c6 c6 c7 d1 d1 -- -- db e2 -- -- ec ec -- -- 00 00 08 08 9e a0 a0 a5 a5 a7 af af b6 b6 bd bd c6 c6 d1 5e 5e 6e 6e e2 e2 82 82 ec -- -- 00 08 08 0c 0c 98 a0 a0 a5 af af b6 b6 bd bd 44 -- -- 5e 5e d5 d5 6e 6e e2 e2 82 82 -- -- -- -- 0c 0c 98 98 9d a0 1f af 2b b6 36 bd 44 44 c1 cd 5e d5 d5 da da 6e e8 81 81 82 -- -- -- -- 0c 98 98 9d 9d 1f 1f 2b 2b 36 36 44 44 c1 c1 cd cd d5 da da d9 77 e8 e8 81 81 -- -- -- -- -- -- 9d 9d 1f 1f 2b 2b 36 36 -- -- c1 c1 -- -- cd cd da d9 d9 77 77 e8 e8 81 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- d9 d9 -- -- 77 77 -- -- -- -- Bag3: Q4 -- -- -- -- -- -- -- -- -- 11a 11a -- -- 12d 12d -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- ab ab 11a 11a 122 122 12d 12d 134 134 -- -- 13e 13e -- -- -- -- -- -- -- -- -- -- fd fd 104 104 10a 10a ab ab 35 35 122 122 c0 c0 134 134 138 138 13e 13e 143 143 -- -- -- -- -- -- -- -- fd fd 104 104 10a 10a 111 111 35 35 -- -- c0 c0 c9 c9 138 138 d8 d8 143 143 7b 7b 84 84 8e 8e -- 06 06 100 100 -- 109 109 111 111 119 119 -- -- 12c 12c c9 c9 -- -- d8 d8 142 142 7b 7b 84 84 8e 8e -- 06 06 100 100 -- 109 109 110 110 119 119 3f 3f 12c 12c -- -- -- -- d7 d7 142 142 -- 151 151 f2 f2 160 160 -- fc fc 103 103 108 108 110 110 118 118 3f 3f 12b 12b 133 133 -- -- d7 d7 71 71 -- 151 151 f2 f2 160 160 -- fc fc 103 103 108 108 10f 10f 118 118 121 121 12b 12b 133 133 5d 5d 66 66 71 71 e6 e6 -- -- 15d 15d -- 05 05 0f 0f 19 19 -- 10f 10f 117 117 121 121 -- -- 54 54 5d 5d 66 66 -- -- e6 e6 -- -- 15d 15d -- 05 05 0f 0f 19 19 -- aa aa 117 117 120 120 bf bf 54 54 d0 d0 13d 13d 70 70 14c 14c 154 154 15c 15c -- -- fb fb 14 14 107 107 aa aa 33 33 120 120 bf bf 53 53 d0 d0 13d 13d 70 70 14c 14c 154 154 15c 15c -- -- fb fb 14 14 107 107 a9 a9 33 33 3d 3d 12a 12a 53 53 -- d3 d3 -- -- 149 149 7e 7e 159 159 -- -- 04 04 ff ff 18 18 -- a9 a9 -- -- 3d 3d 12a 12a -- 137 137 d3 d3 -- -- 149 149 7e 7e 159 159 -- -- 04 04 ff ff 18 18 21 21 2e 2e 3a 3a 127 127 131 131 137 137 13b 13b 141 141 148 148 150 150 88 88 15f 15f -- fa fa -- 9f 9f 21 21 2e 2e 3a 3a 127 127 131 131 136 136 13b 13b 141 141 148 148 150 150 88 88 15f 15f -- fa fa -- 9f 9f 10d 10d 115 115 b3 b3 126 126 130 130 136 136 13a 13a -- df df 14b 14b 153 153 f4 f4 -- 02 02 0e 0e 105 105 10d 10d 115 115 b3 b3 126 126 130 130 135 135 13a 13a -- df df 14b 14b 153 153 f4 f4 -- 02 02 0e 0e 105 105 20 20 114 114 11d 11d 125 125 4e 4e 135 135 d2 d2 6a 6a 147 147 14f 14f 158 158 15e 15e -- f9 f9 102 102 -- 20 20 114 114 11d 11d 125 125 4e 4e -- -- d2 d2 6a 6a 147 147 14f 14f 158 158 15e 15e -- f9 f9 102 102 1d 1d 10e 10e 116 116 11f 11f 129 129 50 50 5a 5a 65 65 dd dd 14a 14a 152 152 15b 15b -- -- f8 f8 101 101 1d 1d 10e 10e 116 116 11f 11f 129 129 50 50 5a 5a 65 65 dd dd 14a 14a 152 152 15b 15b -- -- f8 f8 101 101 106 106 a7 a7 b0 b0 11e 11e 128 128 132 132 59 59 13c 13c 6f 6f e3 e3 ec ec 15a 15a -- 01 01 0d 0d -- 106 106 a7 a7 b0 b0 11e 11e 128 128 132 132 59 59 13c 13c 6f 6f e3 e3 ec ec 15a 15a -- 01 01 0d 0d 9e 9e 10c 10c 113 113 11c 11c -- -- 12f 12f 57 57 d1 d1 -- -- 146 146 -- -- 157 157 -- -- 00 00 fe fe 9e 9e 10c 10c 113 113 11c 11c 124 124 12f 12f 57 57 d1 d1 140 140 146 146 14e 14e 157 157 -- -- 00 00 fe fe 15 15 10b 10b 112 112 11b 11b 124 124 12e 12e -- -- 5e 5e 140 140 145 145 14e 14e 156 156 -- -- -- -- 0c 0c 15 15 10b 10b 112 112 11b 11b 123 123 12e 12e 56 56 5e 5e 13f 13f 145 145 e8 e8 156 156 -- -- -- -- 0c 0c 9d 9d 1f 1f 2b 2b 36 36 123 123 c1 c1 56 56 139 139 13f 13f 144 144 e8 e8 155 155 -- -- -- -- -- -- 9d 9d 1f 1f 2b 2b 36 36 -- -- c1 c1 -- -- 139 139 d9 d9 144 144 14d 14d 155 155 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- d9 d9 -- -- 14d 14d -- -- -- -- #squares: 720 #pieces: Bag1: 144 Bag2: 144 Bag3: 180 CPU Time: 19170.616s Optimum: unknown Board Size: 30x30 Threads: 16 Choices: 235644722 Conflicts: 98291334 Restarts: 55711 Variables: 38286 Constraints: 130184