Problem: N5-Z5-T4
Solution:
 Bag1: N5
  -- 01 -- 04 04 04 -- -- -- 
  00 01 01 03 05 04 04 07 -- 
  00 00 01 03 05 05 06 07 -- 
  -- 00 01 03 03 05 06 07 07 
  -- 00 02 02 03 05 06 06 07 
  -- -- -- 02 02 02 -- 06 -- 
 Bag2: Z5
  -- 01 -- 04 04 08 -- -- -- 
  00 01 01 01 04 08 08 08 -- 
  00 00 00 01 04 04 09 08 -- 
  -- 0a 00 03 03 0b 09 09 09 
  -- 0a 0a 0a 03 0b 0b 0b 09 
  -- -- -- 0a 03 03 -- 0b -- 
 Bag3: T4
  -- 0c -- 04 04 04 -- -- -- 
  0c 0c 0c 03 04 08 08 08 -- 
  00 00 00 03 03 0d 08 09 -- 
  -- 00 0a 03 0d 0d 09 09 09 
  -- 0a 0a 0a 0e 0d 06 06 06 
  -- -- -- 0e 0e 0e -- 06 -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 5085.903s
Optimum: yes
Board Size: 15x15
Threads: 16
Choices: 79290011
Conflicts: 59272931
Restarts: 27203
Variables: 11106
Constraints: 36146