Problem: P5-T5-N4
Solution:
 Bag1: P5
  -- -- -- -- 04 -- -- -- -- -- 
  -- -- -- -- 04 04 06 06 -- -- 
  -- -- -- 02 04 04 06 06 06 -- 
  00 00 00 02 02 05 05 07 07 -- 
  -- 00 00 02 02 05 05 07 07 07 
  -- 01 01 01 03 03 05 -- -- -- 
  -- -- 01 01 03 03 -- -- -- -- 
  -- -- -- -- -- 03 -- -- -- -- 
 Bag2: T5
  -- -- -- -- 04 -- -- -- -- -- 
  -- -- -- -- 04 04 04 09 -- -- 
  -- -- -- 02 04 09 09 09 07 -- 
  00 00 00 02 02 02 08 09 07 -- 
  -- 00 0a 02 08 08 08 07 07 07 
  -- 00 0a 0a 0a 0b 08 -- -- -- 
  -- -- 0a 0b 0b 0b -- -- -- -- 
  -- -- -- -- -- 0b -- -- -- -- 
 Bag3: N4
  -- -- -- -- 0e -- -- -- -- -- 
  -- -- -- -- 0e 0e 10 10 -- -- 
  -- -- -- 0c 0c 0e 05 10 10 -- 
  00 00 0c 0c 0d 05 05 11 11 -- 
  -- 00 00 0d 0d 05 0f 0f 11 11 
  -- 01 01 0d 03 0f 0f -- -- -- 
  -- -- 01 01 03 03 -- -- -- -- 
  -- -- -- -- -- 03 -- -- -- -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 1696.534s
Optimum: yes
Board Size: 15x15
Threads: 16
Choices: 29895796
Conflicts: 22946614
Restarts: 12010
Variables: 10608
Constraints: 35677