Problem: Y5-N5-T4
Solution:
 Bag1: Y5
  02 -- -- -- 
  02 02 -- 05 
  02 01 05 05 
  02 01 04 05 
  01 01 04 05 
  -- 01 04 04 
  -- -- 04 03 
  00 -- 03 03 
  00 00 07 03 
  00 06 07 03 
  00 06 07 07 
  06 06 07 -- 
  -- 06 -- -- 
 Bag2: N5
  09 -- -- -- 
  09 09 -- 0b 
  01 09 0b 0b 
  01 09 0b 04 
  01 01 0b 04 
  -- 01 04 04 
  -- -- 04 0a 
  08 -- 0a 0a 
  08 08 0a 07 
  06 08 0a 07 
  06 08 07 07 
  06 06 07 -- 
  -- 06 -- -- 
 Bag3: T4
  0d -- -- -- 
  0d 0d -- 05 
  0d 02 05 05 
  02 02 02 05 
  01 01 01 0f 
  -- 01 0f 0f 
  -- -- 0e 0f 
  0c -- 0e 0e 
  0c 0c 0e 0a 
  0c 00 0a 0a 
  00 00 00 0a 
  06 06 06 -- 
  -- 06 -- -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 19160.612s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 315932598
Conflicts: 235846446
Restarts: 163676
Variables: 12811
Constraints: 42851