Problem: P5-N5-Q4
Solution:
 Bag1: P5
  -- 02 02 -- -- -- -- 06 06 -- 
  -- 02 02 02 04 04 06 06 06 -- 
  01 01 -- 03 04 04 04 -- 07 07 
  01 01 01 03 03 05 05 07 07 07 
  00 00 00 03 03 05 05 05 -- -- 
  00 00 -- -- -- -- -- -- -- -- 
 Bag2: N5
  -- 0a 0a -- -- -- -- 0c 0d -- 
  -- 08 0a 0a 0a 0b 0c 0c 0d -- 
  08 08 -- 09 09 0b 0c -- 0d 0d 
  08 09 09 09 0b 0b 0c 05 05 0d 
  08 00 00 00 0b 05 05 05 -- -- 
  00 00 -- -- -- -- -- -- -- -- 
 Bag3: Q4
  -- 02 02 -- -- -- -- 12 12 -- 
  -- 02 02 0f 0f 10 10 12 12 -- 
  01 01 -- 0f 0f 10 10 -- 13 13 
  01 01 0e 0e 0b 0b 11 11 13 13 
  00 00 0e 0e 0b 0b 11 11 -- -- 
  00 00 -- -- -- -- -- -- -- -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 5973.163s
Optimum: yes
Board Size: 20x20
Threads: 16
Choices: 89486703
Conflicts: 63813185
Restarts: 36370
Variables: 20007
Constraints: 69449