Problem: P5-V5-T4
Solution:
 Bag1: P5
  -- 05 05 05 
  -- 05 05 -- 
  -- 04 04 04 
  03 03 04 04 
  03 03 03 07 
  02 02 07 07 
  02 02 07 07 
  02 01 06 06 
  01 01 06 06 
  01 01 06 -- 
  -- 00 00 -- 
  00 00 00 -- 
 Bag2: V5
  -- 04 04 04 
  -- 04 09 -- 
  -- 04 09 0c 
  09 09 09 0c 
  08 0c 0c 0c 
  08 0b 0b 0b 
  08 08 08 0b 
  01 01 01 0b 
  01 0a 0a 0a 
  01 0a 00 -- 
  -- 0a 00 -- 
  00 00 00 -- 
 Bag3: T4
  -- 10 10 10 
  -- 0f 10 -- 
  -- 0f 0f 12 
  0d 0f 12 12 
  0d 0d 0b 12 
  0d 0b 0b 0b 
  08 08 08 11 
  01 08 11 11 
  01 01 0e 11 
  01 0e 0e -- 
  -- 00 0e -- 
  00 00 00 -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 19169.551s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 302505833
Conflicts: 229591866
Restarts: 141452
Variables: 10764
Constraints: 35937