Problem: T5-N5-L4
Solution:
 Bag1: T5
  -- 01 -- -- -- -- -- -- 
  -- 01 -- -- -- -- -- -- 
  01 01 01 -- -- -- -- -- 
  00 00 00 -- -- -- -- -- 
  -- 00 -- -- 02 03 -- -- 
  -- 00 02 02 02 03 03 03 
  -- -- -- -- 02 03 -- -- 
 Bag2: N5
  -- 04 -- -- -- -- -- -- 
  -- 04 -- -- -- -- -- -- 
  00 04 04 -- -- -- -- -- 
  00 00 04 -- -- -- -- -- 
  -- 00 -- -- 05 05 -- -- 
  -- 00 02 02 02 05 05 05 
  -- -- -- -- 02 02 -- -- 
 Bag3: L4
  -- 01 -- -- -- -- -- -- 
  -- 01 -- -- -- -- -- -- 
  01 01 00 -- -- -- -- -- 
  00 00 00 -- -- -- -- -- 
  -- 06 -- -- 07 07 -- -- 
  -- 06 06 06 07 03 03 03 
  -- -- -- -- 07 03 -- -- 
#squares: 20
#pieces:
 Bag1: 4
 Bag2: 4
 Bag3: 5
CPU Time: 1361.320s
Optimum: yes
Board Size: 30x30
Threads: 16
Choices: 47517845
Conflicts: 22739791
Restarts: 13364
Variables: 55031
Constraints: 186208