Problem: P5-Z5-I4
Solution:
 Bag1: P5
  -- -- 03 03 05 05 -- -- 
  01 01 03 03 05 05 07 07 
  01 01 01 03 05 07 07 07 
  00 00 00 02 04 06 06 06 
  00 00 02 02 04 04 06 06 
  -- -- 02 02 04 04 -- -- 
 Bag2: Z5
  -- -- 01 09 09 0a -- -- 
  01 01 01 09 05 0a 0a 0a 
  01 08 09 09 05 05 05 0a 
  00 08 08 08 0b 0b 05 0c 
  00 00 00 08 0b 0c 0c 0c 
  -- -- 00 0b 0b 0c -- -- 
 Bag3: I4
  -- -- 0f 0f 0f 0f -- -- 
  0e 0e 0e 0e 10 11 12 13 
  01 01 01 01 10 11 12 13 
  0d 0d 0d 0d 10 11 12 13 
  00 00 00 00 10 11 12 13 
  -- -- 02 02 02 02 -- -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 16904.609s
Optimum: yes
Board Size: 25x25
Threads: 16
Choices: 218151456
Conflicts: 158672494
Restarts: 86545
Variables: 28051
Constraints: 96254