Problem: Y5-L5-T4
Solution:
 Bag1: Y5
  -- 01 -- -- -- 
  01 01 -- -- -- 
  00 01 -- -- -- 
  00 01 03 -- -- 
  00 00 03 06 -- 
  00 03 03 06 -- 
  -- 02 03 06 06 
  -- 02 02 06 05 
  -- 02 04 05 05 
  -- 02 04 04 05 
  -- -- 04 07 05 
  -- -- 04 07 -- 
  -- -- 07 07 -- 
  -- -- -- 07 -- 
 Bag2: L5
  -- 09 -- -- -- 
  08 09 -- -- -- 
  08 09 -- -- -- 
  08 09 09 -- -- 
  08 08 0b 0b -- 
  00 00 0a 0b -- 
  -- 00 0a 0b 0d 
  -- 00 0a 0b 0d 
  -- 00 0a 0a 0d 
  -- 02 02 0d 0d 
  -- -- 02 0c 0c 
  -- -- 02 0c -- 
  -- -- 02 0c -- 
  -- -- -- 0c -- 
 Bag3: T4
  -- 01 -- -- -- 
  01 01 -- -- -- 
  08 01 -- -- -- 
  08 08 10 -- -- 
  08 00 10 10 -- 
  00 00 10 0f -- 
  -- 00 0f 0f 0f 
  -- 02 0e 0e 0e 
  -- 02 02 0e 0d 
  -- 02 04 0d 0d 
  -- -- 04 04 0d 
  -- -- 04 07 -- 
  -- -- 07 07 -- 
  -- -- -- 07 -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 19163.160s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 330742952
Conflicts: 247639964
Restarts: 186767
Variables: 12329
Constraints: 41875