Problem: P5-Z5-T4
Solution:
 Bag1: P5
  -- 01 01 -- -- -- 
  01 01 01 06 06 -- 
  -- 03 03 06 06 -- 
  00 03 03 06 07 07 
  00 00 03 05 07 07 
  00 00 02 05 05 07 
  -- 02 02 05 05 -- 
  -- 02 02 04 04 04 
  -- -- -- 04 04 -- 
 Bag2: Z5
  -- 09 09 -- -- -- 
  01 01 09 0d 0d -- 
  -- 01 09 09 0d -- 
  08 01 01 0c 0d 0d 
  08 08 08 0c 0c 0c 
  00 00 08 0b 0b 0c 
  -- 00 0a 0a 0b -- 
  -- 00 00 0a 0b 0b 
  -- -- -- 0a 0a -- 
 Bag3: T4
  -- 01 10 -- -- -- 
  01 01 10 10 11 -- 
  -- 01 10 11 11 -- 
  00 03 03 03 11 07 
  00 00 03 0f 07 07 
  00 02 0f 0f 0f 07 
  -- 02 02 0e 12 -- 
  -- 02 0e 0e 12 12 
  -- -- -- 0e 12 -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 9828.675s
Optimum: yes
Board Size: 15x15
Threads: 16
Choices: 145466352
Conflicts: 114072535
Restarts: 61090
Variables: 10633
Constraints: 35726