Problem: L4-L5
Solution:
 Bag1: L4
  02 02 -- -- -- -- -- 
  -- 02 -- -- -- -- -- 
  -- 02 -- -- -- -- -- 
  01 01 -- -- -- -- -- 
  01 -- -- -- -- -- -- 
  01 -- -- -- -- -- -- 
  00 00 -- -- -- -- -- 
  -- 00 -- -- -- -- -- 
  -- 00 -- -- -- -- -- 
  -- 03 -- -- -- -- 04 
  -- 03 03 03 04 04 04 
 Bag2: L5
  02 02 -- -- -- -- -- 
  -- 02 -- -- -- -- -- 
  -- 02 -- -- -- -- -- 
  00 02 -- -- -- -- -- 
  00 -- -- -- -- -- -- 
  00 -- -- -- -- -- -- 
  00 00 -- -- -- -- -- 
  -- 03 -- -- -- -- -- 
  -- 03 -- -- -- -- -- 
  -- 03 -- -- -- -- 05 
  -- 03 03 05 05 05 05 
#squares: 20
#pieces:
 Bag1: 5
 Bag2: 4
CPU Time: 9599.480s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 327492986
Conflicts: 212310057
Restarts: 108298
Variables: 8620
Constraints: 29661