Problem: T5-N5-T4
Solution:
 Bag1: T5
  -- -- 06 06 06 -- -- -- -- 
  -- -- 03 06 09 09 09 -- -- 
  -- -- 03 06 -- 09 -- -- -- 
  -- 03 03 03 05 09 -- -- -- 
  -- 02 05 05 05 -- -- 0c -- 
  -- 02 02 02 05 0c 0c 0c -- 
  00 02 04 04 04 08 -- 0c 0d 
  00 00 00 04 -- 08 0d 0d 0d 
  00 01 -- 04 08 08 08 0b 0d 
  -- 01 01 01 07 0b 0b 0b -- 
  -- 01 -- -- 07 07 07 0b -- 
  -- -- -- 0e 07 0a 0a 0a -- 
  -- -- -- 0e -- 0f 0a -- -- 
  -- -- 0e 0e 0e 0f 0a -- -- 
  -- -- -- -- 0f 0f 0f -- -- 
 Bag2: N5
  -- -- 1b 1c 1c -- -- -- -- 
  -- -- 1b 1b 1c 1c 1c -- -- 
  -- -- 05 1b -- 15 -- -- -- 
  -- 11 05 1b 15 15 -- -- -- 
  -- 11 05 05 15 -- -- 1a -- 
  -- 11 11 05 15 14 14 1a -- 
  10 10 11 14 14 14 -- 1a 1a 
  00 10 10 10 -- 18 18 18 1a 
  00 00 -- 12 12 12 19 18 18 
  -- 00 12 12 13 17 19 19 -- 
  -- 00 -- -- 13 17 17 19 -- 
  -- -- -- 13 13 16 17 19 -- 
  -- -- -- 13 -- 16 17 -- -- 
  -- -- 0e 0e 0e 16 16 -- -- 
  -- -- -- -- 0e 0e 16 -- -- 
 Bag3: T4
  -- -- 06 06 06 -- -- -- -- 
  -- -- 1e 06 09 09 09 -- -- 
  -- -- 1e 1e -- 09 -- -- -- 
  -- 11 1e 21 21 21 -- -- -- 
  -- 11 11 1d 21 -- -- 27 -- 
  -- 11 1d 1d 1d 23 27 27 -- 
  00 02 02 02 23 23 -- 27 28 
  00 00 02 20 -- 23 25 28 28 
  00 01 -- 20 20 25 25 25 28 
  -- 01 01 20 22 22 22 26 -- 
  -- 01 -- -- 1f 22 26 26 -- 
  -- -- -- 1f 1f 1f 24 26 -- 
  -- -- -- 0e -- 24 24 -- -- 
  -- -- 0e 0e 0e 0f 24 -- -- 
  -- -- -- -- 0f 0f 0f -- -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 19165.941s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 278510046
Conflicts: 181826475
Restarts: 112815
Variables: 11107
Constraints: 36149