Problem: N4-L5
Solution:
 Bag1: N4
  -- 01 -- -- 
  01 01 -- -- 
  01 04 -- -- 
  00 04 04 -- 
  00 00 04 -- 
  -- 00 03 -- 
  -- 03 03 -- 
  -- 03 02 02 
  -- 02 02 -- 
 Bag2: L5
  -- 04 -- -- 
  00 04 -- -- 
  00 04 -- -- 
  00 04 04 -- 
  00 00 05 -- 
  -- 02 05 -- 
  -- 02 05 -- 
  -- 02 05 05 
  -- 02 02 -- 
#squares: 20
#pieces:
 Bag1: 5
 Bag2: 4
CPU Time: 2309.585s
Optimum: yes
Board Size: 30x30
Threads: 16
Choices: 86850958
Conflicts: 46475975
Restarts: 27504
Variables: 31930
Constraints: 107550