Problem: N5-Z5-I4
Solution:
 Bag1: N5
  -- -- -- -- -- -- -- -- 0b 0c 0c 0c -- -- 
  -- -- 03 04 04 08 08 08 0b 0b 0e 0c 0c 0f 
  -- -- 03 03 04 04 04 08 08 0b 0e 0e 0f 0f 
  -- 00 02 03 06 06 09 09 09 0b 0d 0e 0f -- 
  -- 00 02 03 05 06 06 06 09 09 0d 0e 0f -- 
  00 00 02 02 05 07 07 0a 0a 0a 0d 0d -- -- 
  00 01 01 02 05 05 07 07 07 0a 0a 0d -- -- 
  -- -- 01 01 01 05 -- -- -- -- -- -- -- -- 
 Bag2: Z5
  -- -- -- -- -- -- -- -- 15 18 18 1a -- -- 
  -- -- 11 11 14 14 15 15 15 18 0e 1a 1a 1a 
  -- -- 11 12 12 14 15 17 18 18 0e 0e 0e 1a 
  -- 11 11 12 13 14 14 17 17 17 19 19 0e -- 
  -- 10 12 12 13 13 13 16 16 17 19 1d 1d -- 
  00 10 10 10 1b 1b 13 1c 16 19 19 1d -- -- 
  00 00 00 10 1b 1c 1c 1c 16 16 1d 1d -- -- 
  -- -- 00 1b 1b 1c -- -- -- -- -- -- -- -- 
 Bag3: I4
  -- -- -- -- -- -- -- -- 28 28 28 28 -- -- 
  -- -- 21 21 21 21 25 25 25 25 2b 2b 2b 2b 
  -- -- 03 03 03 03 15 15 15 15 0e 0e 0e 0e 
  -- 11 11 11 11 24 24 24 24 2a 2a 2a 2a -- 
  -- 1f 1f 1f 1f 23 23 23 23 29 29 29 29 -- 
  1e 1e 1e 1e 22 22 22 22 27 27 27 27 -- -- 
  00 00 00 00 05 05 05 05 26 26 26 26 -- -- 
  -- -- 20 20 20 20 -- -- -- -- -- -- -- -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 19171.427s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 247145916
Conflicts: 184601884
Restarts: 107493
Variables: 9844
Constraints: 32374