Problem: U5-Y5-I4 Solution: Bag1: U5 -- 07 -- 07 -- 07 07 07 -- 06 06 06 03 06 03 06 03 03 03 -- 02 02 02 -- 02 05 02 05 -- 05 05 05 -- 04 04 04 01 04 01 04 01 01 01 -- 00 00 00 -- 00 -- 00 -- Bag2: Y5 -- 06 -- 0a -- 06 0a 0a -- 06 06 0a 02 06 08 0a 02 02 08 -- 02 08 08 -- 02 04 08 09 -- 04 04 09 -- 04 09 09 00 04 0b 09 00 00 0b -- 00 0b 0b -- 00 -- 0b -- Bag3: I4 -- 06 -- 0f -- 06 0d 0f -- 06 0d 0f 02 06 0d 0f 02 05 0d -- 02 05 09 -- 02 05 09 0e -- 05 09 0e -- 0b 09 0e 00 0b 0c 0e 00 0b 0c -- 00 0b 0c -- 00 -- 0c -- #squares: 40 #pieces: Bag1: 8 Bag2: 8 Bag3: 10 CPU Time: 12636.274s Optimum: yes Board Size: 25x25 Threads: 16 Choices: 166079364 Conflicts: 126490065 Restarts: 55362 Variables: 30313 Constraints: 100333