Problem: F5-T5-N4
Solution:
 Bag1: F5
  00 00 02 02 -- -- -- -- -- -- -- -- -- -- 
  -- 00 00 02 02 04 04 06 06 08 -- -- -- -- 
  -- 00 01 02 04 04 06 06 08 08 0a 0a -- -- 
  -- 01 01 03 03 04 05 06 07 08 08 0a 0a -- 
  -- -- 01 01 03 03 05 05 07 07 09 0a 0b -- 
  -- -- -- -- 03 05 05 07 07 09 09 0b 0b -- 
  -- -- -- -- -- -- -- -- -- -- 09 09 0b 0b 
 Bag2: T5
  00 00 00 0d -- -- -- -- -- -- -- -- -- -- 
  -- 00 01 0d 0d 0d 0e 0e 0e 10 -- -- -- -- 
  -- 00 01 0d 04 04 04 0e 0f 10 10 10 -- -- 
  -- 01 01 01 0c 04 05 0e 0f 10 11 11 11 -- 
  -- -- 0c 0c 0c 04 05 0f 0f 0f 12 11 13 -- 
  -- -- -- -- 0c 05 05 05 12 12 12 11 13 -- 
  -- -- -- -- -- -- -- -- -- -- 12 13 13 13 
 Bag3: N4
  00 00 02 02 -- -- -- -- -- -- -- -- -- -- 
  -- 00 00 02 02 04 04 18 19 19 -- -- -- -- 
  -- 01 14 14 04 04 16 18 18 19 19 1a -- -- 
  -- 01 01 14 14 16 16 17 18 10 10 1a 1a -- 
  -- -- 01 15 15 16 17 17 07 07 10 10 1a -- 
  -- -- -- -- 15 15 17 07 07 09 09 0b 0b -- 
  -- -- -- -- -- -- -- -- -- -- 09 09 0b 0b 
#squares: 60
#pieces:
 Bag1: 12
 Bag2: 12
 Bag3: 15
CPU Time: 19196.593s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 259123236
Conflicts: 189052664
Restarts: 117560
Variables: 10319
Constraints: 34631