Problem: U5-I5-L4 Solution: Bag1: U5 04 04 06 06 0b -- 0b 11 11 15 15 15 04 -- -- 06 0b 0b 0b 11 -- 15 -- 15 04 04 06 06 0a 0a -- 11 11 14 -- 14 03 -- 03 09 09 0a 0e 0e 0e 14 14 14 03 03 03 09 0a 0a 0e 10 0e 10 17 17 02 02 -- 09 09 -- -- 10 10 10 17 -- -- 02 05 05 05 -- -- 0f 0f -- 17 17 02 02 05 08 05 08 0d 0d 0f 13 13 13 01 01 01 08 08 08 0d 0f 0f 13 -- 13 01 -- 01 07 07 -- 0d 0d 12 12 16 16 00 -- 00 -- 07 0c 0c 0c 12 -- -- 16 00 00 00 07 07 0c -- 0c 12 12 16 16 Bag2: I5 2c 2c 2c 2c 2c -- 2d 2d 2d 2d 2d 2b 18 -- -- 20 20 20 20 20 -- 28 -- 2b 18 1b 1b 1b 1b 1b -- 26 27 28 -- 2b 18 -- 1e 1e 1e 1e 1e 26 27 28 29 2b 18 1a 1d 1d 1d 1d 1d 26 27 28 29 2b 18 1a -- 1f 22 -- -- 26 27 28 29 -- -- 1a 1c 1f 22 -- -- 26 27 -- 29 2a 00 1a 1c 1f 22 24 24 24 24 24 29 2a 00 1a 1c 1f 22 23 23 23 23 23 -- 2a 00 -- 1c 1f 22 -- 0d 0d 0d 0d 0d 2a 00 -- 1c -- 21 21 21 21 21 -- -- 2a 00 19 19 19 19 19 -- 25 25 25 25 25 Bag3: L4 04 31 31 31 0b -- 2d 2d 39 39 3c 3c 04 -- -- 31 0b 0b 0b 2d -- 39 -- 3c 04 04 1e 1e 1e 35 -- 2d 38 39 -- 3c 18 -- 1e 30 0a 35 35 35 38 14 14 14 18 30 30 30 0a 0a 0a 26 38 38 37 14 18 18 -- 2f 34 -- -- 26 37 37 37 -- -- 2f 2f 2f 34 -- -- 26 26 -- 17 17 02 02 02 32 34 34 33 0d 36 36 36 17 2e 2e 02 32 33 33 33 0d 36 3b -- 17 2e -- 32 32 07 -- 0d 0d 25 3b 3b 3b 2e -- 00 -- 07 0c 0c 0c 25 -- -- 3a 00 00 00 07 07 0c -- 25 25 3a 3a 3a #squares: 120 #pieces: Bag1: 24 Bag2: 24 Bag3: 30 CPU Time: 8204.964s Optimum: yes Board Size: 15x15 Threads: 16 Choices: 106256303 Conflicts: 75015808 Restarts: 32581 Variables: 9816 Constraints: 31851