Problem: P5-W5-T4
Solution:
 Bag1: P5
  -- 02 02 -- -- -- -- -- 
  02 02 02 04 04 06 -- -- 
  01 01 01 04 04 06 06 -- 
  01 01 -- -- 04 06 06 -- 
  00 00 00 -- -- 05 07 07 
  00 00 03 03 05 05 07 07 
  -- 03 03 03 05 05 07 -- 
 Bag2: W5
  -- 08 08 -- -- -- -- -- 
  08 08 01 04 0a 0a -- -- 
  08 01 01 04 04 0a 0a -- 
  01 01 -- -- 04 04 0a -- 
  00 09 09 -- -- 05 05 0b 
  00 00 09 09 05 05 0b 0b 
  -- 00 00 09 05 0b 0b -- 
 Bag3: T4
  -- 02 0d -- -- -- -- -- 
  02 02 0d 0d 04 06 -- -- 
  0c 02 0d 04 04 06 06 -- 
  0c 0c -- -- 04 06 0f -- 
  0c 00 10 -- -- 0f 0f 0f 
  00 00 10 10 11 0e 0e 0e 
  -- 00 10 11 11 11 0e -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 19168.769s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 295812075
Conflicts: 227719188
Restarts: 160768
Variables: 10945
Constraints: 36350