Problem: F5-W5-L4 Solution: Bag1: F5 -- -- 02 02 -- -- 02 02 -- -- -- 01 02 -- -- -- 01 01 -- -- 01 01 -- -- -- 00 -- -- -- -- 00 00 00 03 -- -- 00 03 03 03 -- -- -- -- 03 Bag2: W5 -- -- 04 04 -- -- 04 04 -- -- -- 04 01 -- -- -- 01 01 -- -- 01 01 -- -- -- 00 -- -- -- -- 00 00 05 05 -- -- 00 00 05 05 -- -- -- -- 05 Bag3: L4 -- -- 08 08 -- -- 07 08 -- -- -- 07 08 -- -- -- 07 07 -- -- 00 00 -- -- -- 00 -- -- -- -- 00 06 06 06 -- -- 06 03 03 03 -- -- -- -- 03 #squares: 20 #pieces: Bag1: 4 Bag2: 4 Bag3: 5 CPU Time: 3032.618s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 86872172 Conflicts: 43040987 Restarts: 25354 Variables: 53185 Constraints: 182603