Problem: F5-P5-Q4
Solution:
 Bag1: F5
  -- -- -- -- -- -- -- 0b 0b -- -- -- -- -- 
  -- -- -- -- -- -- -- 08 0b 0b 0d 0d 0f -- 
  -- -- -- -- -- 06 08 08 0b 0d 0d 0f 0f -- 
  -- 01 03 03 06 06 06 08 08 0a 0d -- 0f 0f 
  -- 01 01 03 03 05 06 0a 0a 0a 0c -- 0e 0e 
  01 01 -- 03 05 05 05 09 0a 0c 0c 0e 0e -- 
  00 00 -- 02 05 07 07 09 09 09 0c 0c 0e -- 
  -- 00 00 02 02 04 07 07 09 -- -- -- -- -- 
  -- 00 02 02 04 04 07 -- -- -- -- -- -- -- 
  -- -- -- -- -- 04 04 -- -- -- -- -- -- -- 
 Bag2: P5
  -- -- -- -- -- -- -- 18 18 -- -- -- -- -- 
  -- -- -- -- -- -- -- 18 18 18 1c 1c 1c -- 
  -- -- -- -- -- 15 15 15 1a 1a 1c 1c 1d -- 
  -- 11 11 11 13 13 15 15 1a 1a 1a -- 1d 1d 
  -- 11 11 13 13 13 16 16 16 19 19 -- 1d 1d 
  00 00 -- 12 12 14 16 16 19 19 19 1b 1b -- 
  00 00 -- 12 12 14 14 17 17 17 1b 1b 1b -- 
  -- 00 10 10 12 14 14 17 17 -- -- -- -- -- 
  -- 10 10 10 04 04 04 -- -- -- -- -- -- -- 
  -- -- -- -- -- 04 04 -- -- -- -- -- -- -- 
 Bag3: Q4
  -- -- -- -- -- -- -- 18 18 -- -- -- -- -- 
  -- -- -- -- -- -- -- 18 18 0d 0d 0f 0f -- 
  -- -- -- -- -- 21 21 23 23 0d 0d 0f 0f -- 
  -- 11 11 13 13 21 21 23 23 25 25 -- 1d 1d 
  -- 11 11 13 13 20 20 22 22 25 25 -- 1d 1d 
  00 00 -- 12 12 20 20 22 22 24 24 26 26 -- 
  00 00 -- 12 12 14 14 17 17 24 24 26 26 -- 
  -- 10 10 1e 1e 14 14 17 17 -- -- -- -- -- 
  -- 10 10 1e 1e 1f 1f -- -- -- -- -- -- -- 
  -- -- -- -- -- 1f 1f -- -- -- -- -- -- -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 4282.053s
Optimum: yes
Board Size: 15x15
Threads: 16
Choices: 50923714
Conflicts: 39002922
Restarts: 16692
Variables: 9985
Constraints: 35628