Problem: T5-Y5-I4 Solution: Bag1: T5 -- -- 07 -- -- -- 07 -- 03 07 07 07 03 03 03 06 03 06 06 06 02 02 02 06 -- 02 05 -- -- 02 05 -- 01 05 05 05 01 01 01 04 01 04 04 04 00 00 00 04 -- 00 -- -- -- 00 -- -- Bag2: Y5 -- -- 07 -- -- -- 07 -- 02 07 07 0a 02 02 07 0a 02 08 0a 0a 02 08 08 0a -- 08 05 -- -- 08 05 -- 00 05 05 09 00 00 05 09 00 0b 09 09 00 0b 0b 09 -- 0b -- -- -- 0b -- -- Bag3: I4 -- -- 10 -- -- -- 10 -- 02 0d 10 12 02 0d 10 12 02 0d 0f 12 02 0d 0f 12 -- 0c 0f -- -- 0c 0f -- 00 0c 0e 11 00 0c 0e 11 00 0b 0e 11 00 0b 0e 11 -- 0b -- -- -- 0b -- -- #squares: 40 #pieces: Bag1: 8 Bag2: 8 Bag3: 10 CPU Time: 17352.816s Optimum: yes Board Size: 20x20 Threads: 16 Choices: 258462029 Conflicts: 193754103 Restarts: 64333 Variables: 17621 Constraints: 59384