Problem: F5-P5-I4 Solution: Bag1: F5 01 -- -- -- -- 01 01 01 03 -- 00 01 03 03 03 00 00 00 02 03 -- 00 02 02 02 -- -- -- -- 02 Bag2: P5 04 -- -- -- -- 04 04 03 03 -- 04 04 03 03 03 00 00 00 05 05 -- 00 00 05 05 -- -- -- -- 05 Bag3: I4 00 -- -- -- -- 00 06 02 05 -- 00 06 02 05 07 00 06 02 05 07 -- 06 02 05 07 -- -- -- -- 07 #squares: 20 #pieces: Bag1: 4 Bag2: 4 Bag3: 5 CPU Time: 70.450s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 3147060 Conflicts: 1299346 Restarts: 1159 Variables: 47468 Constraints: 169656