Problem: F5-L5-I4 Solution: Bag1: F5 -- -- -- -- 02 -- 00 02 02 02 00 00 00 02 01 00 03 01 01 01 03 03 03 01 -- 03 -- -- -- -- Bag2: L5 -- -- -- -- 05 -- 05 05 05 05 00 00 00 00 04 00 04 04 04 04 03 03 03 03 -- 03 -- -- -- -- Bag3: I4 -- -- -- -- 09 -- 06 07 08 09 03 06 07 08 09 03 06 07 08 09 03 06 07 08 -- 03 -- -- -- -- #squares: 20 #pieces: Bag1: 4 Bag2: 4 Bag3: 5 CPU Time: 107.532s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 4940200 Conflicts: 2116373 Restarts: 1809 Variables: 47909 Constraints: 169430