Problem: L4-X5
Solution:
 Bag1: L4
  -- -- 03 -- -- -- 08 -- -- -- 
  -- 00 03 04 04 04 08 08 08 -- 
  -- 00 03 03 02 04 07 07 09 09 
  00 00 02 02 02 -- -- 07 09 -- 
  -- 01 01 01 05 05 05 07 09 -- 
  -- -- -- 01 05 06 06 06 -- -- 
  -- -- -- -- -- 06 -- -- -- -- 
 Bag2: X5
  -- -- 0a -- -- -- 0d -- -- -- 
  -- 0a 0a 0a 0c 0d 0d 0d 0f -- 
  -- 00 0a 0c 0c 0c 0d 0f 0f 0f 
  00 00 00 0b 0c -- -- 0e 0f -- 
  -- 00 0b 0b 0b 05 0e 0e 0e -- 
  -- -- -- 0b 05 05 05 0e -- -- 
  -- -- -- -- -- 05 -- -- -- -- 
#squares: 40
#pieces:
 Bag1: 10
 Bag2: 8
CPU Time: 2296.318s
Optimum: yes
Board Size: 30x30
Threads: 16
Choices: 65055305
Conflicts: 40084008
Restarts: 21894
Variables: 21559
Constraints: 72241