Problem: N4-V5 Solution: Bag1: N4 -- 00 00 03 -- -- 00 00 03 03 -- -- -- -- 03 02 -- -- -- -- 02 02 -- -- -- -- 02 01 -- -- -- -- 01 01 04 04 -- -- 01 04 04 -- Bag2: V5 -- 05 05 05 -- -- 00 00 00 05 -- -- -- -- 00 05 -- -- -- -- 00 06 -- -- -- -- 01 06 -- -- -- -- 01 06 06 06 -- -- 01 01 01 -- #squares: 20 #pieces: Bag1: 5 Bag2: 4 CPU Time: 86.008s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 5518450 Conflicts: 2605332 Restarts: 2113 Variables: 25244 Constraints: 78544