Problem: X5-L5-N4 Solution: Bag1: X5 -- -- -- -- -- -- -- -- -- -- -- 22 -- -- -- 31 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 22 22 22 2a 31 31 31 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 11 -- -- -- 1d 22 2a 2a 2a 31 35 -- -- -- 42 -- -- -- -- -- -- -- -- -- -- -- 11 11 11 17 1d 1d 1d -- 2a 2c 35 35 35 3c 42 42 42 -- -- -- -- -- -- -- -- -- -- 0c 11 17 17 17 1d 21 -- 2c 2c 2c 35 3c 3c 3c 42 45 -- -- -- -- -- -- -- -- 06 0c 0c 0c -- 17 19 21 21 21 29 2c -- -- -- 3c 3d 45 45 45 4c -- -- -- -- -- 06 06 06 0c 10 -- 19 19 19 21 29 29 29 -- -- -- 3d 3d 3d 45 4c 4c 4c -- -- -- -- -- 06 09 10 10 10 16 19 -- -- -- 29 2b -- -- -- 3b 3d -- -- 48 4c -- -- -- -- -- -- 09 09 09 10 16 16 16 -- -- -- 2b 2b 2b 34 3b 3b 3b 41 48 48 48 -- -- -- -- -- -- 05 09 -- -- -- 16 18 -- -- -- 28 2b 34 34 34 3b 41 41 41 48 4b -- -- -- -- 01 05 05 05 -- -- -- 18 18 18 20 28 28 28 30 34 -- -- -- 41 44 4b 4b 4b 4f -- 01 01 01 05 08 -- -- -- 15 18 20 20 20 28 30 30 30 -- -- -- 44 44 44 4b 4f 4f 4f -- 01 02 08 08 08 0f 15 15 15 1c 20 -- -- -- 30 33 -- -- -- 40 44 -- -- 4d 4f -- -- 02 02 02 08 0f 0f 0f 15 1c 1c 1c -- -- -- 33 33 33 3a 40 40 40 47 4d 4d 4d -- -- 00 02 -- -- 0b 0f -- -- -- 1c 1f -- -- -- 2f 33 3a 3a 3a 40 47 47 47 4d 4e -- 00 00 00 04 0b 0b 0b -- -- -- 1f 1f 1f 27 2f 2f 2f 37 3a -- -- -- 47 4a 4e 4e 4e -- 00 04 04 04 0b 0e -- -- -- 1b 1f 27 27 27 2f 37 37 37 -- -- -- 4a 4a 4a 4e -- -- -- -- 04 07 0e 0e 0e 14 1b 1b 1b 24 27 -- -- -- 37 39 -- -- -- 46 4a -- -- -- -- -- -- 07 07 07 0e 14 14 14 1b 24 24 24 -- -- -- 39 39 39 3f 46 46 46 -- -- -- -- -- -- 03 07 -- -- 12 14 -- -- -- 24 26 -- -- -- 36 39 3f 3f 3f 46 49 -- -- -- -- -- 03 03 03 0a 12 12 12 -- -- -- 26 26 26 2e 36 36 36 -- 3f 43 49 49 49 -- -- -- -- -- 03 0a 0a 0a 12 13 -- -- -- 23 26 2e 2e 2e 36 38 -- 43 43 43 49 -- -- -- -- -- -- -- -- 0a 0d 13 13 13 1a 23 23 23 -- 2e 32 38 38 38 3e 43 -- -- -- -- -- -- -- -- -- -- 0d 0d 0d 13 1a 1a 1a 23 25 -- 32 32 32 38 3e 3e 3e -- -- -- -- -- -- -- -- -- -- -- 0d -- -- -- 1a 1e 25 25 25 2d 32 -- -- -- 3e -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 1e 1e 1e 25 2d 2d 2d -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 1e -- -- -- 2d -- -- -- -- -- -- -- -- -- -- -- Bag2: L5 -- -- -- -- -- -- -- -- -- -- -- 6d -- -- -- 75 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 68 6d 6d 6d 6d 75 79 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 5f -- -- -- 68 6c 6c 6c 6c 75 79 -- -- -- 7f -- -- -- -- -- -- -- -- -- -- -- 5c 5f 5f 5f 5f 68 6c -- 29 75 75 79 7f 7f 7f 7f 83 -- -- -- -- -- -- -- -- -- -- 5c 5c 5c 5c 65 68 68 -- 29 74 74 79 79 83 83 83 83 -- -- -- -- -- -- -- -- 55 55 55 55 -- 19 65 65 65 65 29 74 -- -- -- 82 82 82 82 89 89 -- -- -- -- -- 06 06 58 58 55 -- 19 19 19 19 29 29 74 -- -- -- 7e 41 41 82 89 8d 8d -- -- -- -- -- 06 58 5b 5b 5b 5b 5e -- -- -- 28 74 -- -- -- 7e 41 -- -- 89 8d -- -- -- -- -- -- 06 58 5b 5e 5e 5e 5e -- -- -- 28 73 73 73 73 7e 41 44 44 89 8d -- -- -- -- -- -- 06 58 -- -- -- 62 62 -- -- -- 28 73 34 34 7e 7e 41 44 87 87 8d -- -- -- -- 51 51 51 51 -- -- -- 61 62 67 67 28 28 72 72 34 -- -- -- 44 87 88 88 88 88 -- 01 01 01 01 51 -- -- -- 61 62 67 6b 6b 6b 6b 72 34 -- -- -- 44 87 88 8c 8c 8e 8e -- 00 52 01 57 57 57 57 61 62 67 6b -- -- -- 72 34 -- -- -- 85 87 -- -- 8c 8e -- -- 00 52 54 54 54 54 57 61 61 67 6a -- -- -- 72 78 7d 7d 84 85 85 85 85 8c 8e -- -- 00 52 -- -- 56 54 -- -- -- 66 6a -- -- -- 6f 78 7d 7c 84 84 84 84 8b 8c 8e -- 00 00 52 52 50 56 5a -- -- -- 66 6a 6f 6f 6f 6f 78 7d 7c -- -- -- 4a 8b 8b 8b 8b -- 50 50 50 50 56 5a -- -- -- 66 6a 6a 71 71 78 78 7d 7c -- -- -- 4a 4a 4a 4a -- -- -- -- 03 56 56 5a 12 60 60 66 66 64 71 -- -- -- 7c 7c -- -- -- 86 8a -- -- -- -- -- -- 03 53 5a 5a 12 60 64 64 64 64 71 -- -- -- 7b 81 81 81 81 86 8a -- -- -- -- -- -- 03 53 -- -- 12 60 -- -- -- 23 71 -- -- -- 7b 7b 7b 7b 81 86 8a -- -- -- -- -- 03 03 53 59 12 12 60 -- -- -- 23 70 70 77 77 77 77 -- 43 86 86 8a 8a -- -- -- -- -- 53 53 59 59 59 59 -- -- -- 23 70 2e 2e 2e 2e 77 -- 43 43 43 43 -- -- -- -- -- -- -- -- 0d 0d 0d 0d 63 63 23 23 70 -- 76 76 2e 80 80 80 80 -- -- -- -- -- -- -- -- -- -- 0d 5d 5d 5d 5d 63 69 69 70 -- 25 76 7a 7a 7a 7a 80 -- -- -- -- -- -- -- -- -- -- -- 5d -- -- -- 63 69 25 25 25 25 76 -- -- -- 7a -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 63 69 6e 6e 6e 6e 76 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 69 -- -- -- 6e -- -- -- -- -- -- -- -- -- -- -- Bag3: N4 -- -- -- -- -- -- -- -- -- -- -- a1 -- -- -- b5 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- a1 a1 2a af af b5 b5 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 5c -- -- -- a1 68 2a 2a af af b5 -- -- -- bf -- -- -- -- -- -- -- -- -- -- -- 5c 5c 98 98 9d 68 68 -- 2a 2c 2c b4 b4 3c 3c bf bf -- -- -- -- -- -- -- -- -- -- 5c 98 98 9d 9d 68 a0 -- 2c 2c b4 b4 3c 3c 3d 45 bf -- -- -- -- -- -- -- -- 06 06 94 94 -- 9d 9c a0 a0 a6 a6 ae -- -- -- 3d 3d 45 45 c4 c4 -- -- -- -- -- 06 06 94 94 97 -- 9c 9c a0 a6 a6 ae ae -- -- -- 3d b9 b9 45 c3 c4 c4 -- -- -- -- -- 09 93 93 97 97 9c 62 -- -- -- ae ad -- -- -- b9 b9 -- -- c3 c3 -- -- -- -- -- -- 09 09 93 93 97 62 62 -- -- -- ad ad b3 b3 3b 3b ba ba 48 48 c3 -- -- -- -- -- -- 92 09 -- -- -- 62 9b -- -- -- ad 73 73 b3 b3 3b 3b ba ba 48 48 -- -- -- -- 01 01 92 92 -- -- -- 9b 9b 20 a5 a5 ac ac 73 73 -- -- -- be be 4b 4b c6 c6 -- 01 01 02 08 92 -- -- -- 9b 9e 20 20 a5 a5 ac ac 33 -- -- -- bd be be 4b 4b c6 c6 -- 02 02 08 08 96 96 15 15 9e 9e 20 -- -- -- 33 33 -- -- -- bd bd -- -- 4d 4d -- -- 02 8f 8f 08 95 96 96 15 15 9e 1f -- -- -- 33 b2 b7 b7 40 40 bd c2 4d 4d 4e -- -- 8f 8f -- -- 95 95 -- -- -- 1f 1f -- -- -- b2 b2 37 b7 b7 40 40 c2 c2 4e 4e -- 00 00 52 52 0b 0b 95 -- -- -- 1f 9f 9f ab ab b2 37 37 7c -- -- -- 4a c2 4e c5 c5 -- 00 00 52 52 0b 0b -- -- -- 9f 9f a4 a4 ab ab 37 7c 7c -- -- -- 4a 4a c5 c5 -- -- -- -- 91 91 0e 0e 9a 9a 1b 1b a4 a4 a8 -- -- -- 7c 7b -- -- -- c1 4a -- -- -- -- -- -- 90 91 91 0e 0e 9a 9a 1b 1b a8 a8 -- -- -- 7b 7b 3f bc bc c1 c1 -- -- -- -- -- -- 90 90 -- -- 12 12 -- -- -- a8 a7 -- -- -- 7b b6 3f 3f bc bc c1 -- -- -- -- -- 03 03 90 59 12 12 13 -- -- -- a7 a7 aa aa 76 b6 b6 -- 3f 43 43 c0 c0 -- -- -- -- -- 03 03 59 59 13 13 -- -- -- a7 aa aa 76 76 b6 7a -- 43 43 c0 c0 -- -- -- -- -- -- -- -- 0d 59 13 99 99 1a 1a a3 a3 -- 76 b1 7a 7a b8 b8 bb -- -- -- -- -- -- -- -- -- -- 0d 0d 99 99 1a 1a a3 a3 a9 -- b1 b1 7a b8 b8 bb bb -- -- -- -- -- -- -- -- -- -- -- 0d -- -- -- 1e a2 a2 a9 a9 b1 b0 -- -- -- bb -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 1e 1e a2 a2 a9 b0 b0 -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 1e -- -- -- b0 -- -- -- -- -- -- -- -- -- -- -- #squares: 400 #pieces: Bag1: 80 Bag2: 80 Bag3: 100 CPU Time: 4415.467s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 63243409 Conflicts: 26737174 Restarts: 17356 Variables: 37758 Constraints: 126651