Problem: I4-I5 Solution: Bag1: I4 04 04 04 04 03 03 03 03 02 02 02 02 01 01 01 01 00 00 00 00 Bag2: I5 07 07 07 07 07 06 06 06 06 06 05 05 05 05 05 00 00 00 00 00 #squares: 20 #pieces: Bag1: 5 Bag2: 4 CPU Time: 122.997s Optimum: yes Board Size: 30x30 Threads: 16 Choices: 14323436 Conflicts: 5555695 Restarts: 4729 Variables: 14179 Constraints: 44590