Problem: L5-I5-N4 Solution: Bag1: L5 -- -- -- 07 07 -- 03 03 06 07 -- 01 03 06 07 -- 01 03 06 07 -- 01 03 06 06 01 01 05 05 -- 00 00 05 04 -- 00 02 05 04 -- 00 02 05 04 -- 00 02 04 04 -- -- 02 02 -- -- Bag2: I5 -- -- -- 06 0c -- 08 0a 06 0c -- 08 0a 06 0c -- 08 0a 06 0c -- 08 0a 06 0c 00 08 0a 0b -- 00 02 09 0b -- 00 02 09 0b -- 00 02 09 0b -- 00 02 09 0b -- -- 02 09 -- -- Bag3: N4 -- -- -- 10 10 -- 0f 10 10 12 -- 0f 0f 12 12 -- 0e 0f 12 11 -- 0e 0e 11 11 01 01 0e 11 -- 0d 01 01 05 -- 0d 0d 05 05 -- 00 0d 05 09 -- 00 00 09 09 -- -- 00 09 -- -- #squares: 40 #pieces: Bag1: 8 Bag2: 8 Bag3: 10 CPU Time: 4222.870s Optimum: yes Board Size: 15x15 Threads: 16 Choices: 90685093 Conflicts: 69077591 Restarts: 51285 Variables: 9360 Constraints: 31075