Problem: L5-I5-I4
Solution:
 Bag1: L5
  01 01 03 03 
  01 00 03 02 
  01 00 03 02 
  01 00 03 02 
  00 00 02 02 
 Bag2: I5
  00 04 02 05 
  00 04 02 05 
  00 04 02 05 
  00 04 02 05 
  00 04 02 05 
 Bag3: I4
  01 06 03 07 
  01 06 03 07 
  01 06 03 07 
  01 06 03 07 
  00 00 00 00 
#squares: 20
#pieces:
 Bag1: 4
 Bag2: 4
 Bag3: 5
CPU Time: 786.122s
Optimum: yes
Board Size: 30x30
Threads: 16
Choices: 19150195
Conflicts: 10808692
Restarts: 6924
Variables: 36399
Constraints: 124060