Problem: T5-I5-L4
Solution:
 Bag1: T5
  -- -- -- 01 05 05 05 09 -- -- -- -- 
  -- 01 01 01 04 05 -- 09 09 09 0a -- 
  00 00 00 01 04 05 07 09 0a 0a 0a -- 
  -- 00 02 04 04 04 07 07 07 08 0a -- 
  -- 00 02 02 02 03 07 08 08 08 0b -- 
  -- 0c 02 03 03 03 06 06 06 08 0b -- 
  -- 0c 0c 0c 0d 03 0e 06 0f 0b 0b 0b 
  -- 0c 0d 0d 0d -- 0e 06 0f 0f 0f -- 
  -- -- -- -- 0d 0e 0e 0e 0f -- -- -- 
 Bag2: I5
  -- -- -- 11 11 11 11 11 -- -- -- -- 
  -- 01 01 01 01 01 -- 18 19 1a 1b -- 
  00 00 00 00 00 14 16 18 19 1a 1b -- 
  -- 0c 0d 10 13 14 16 18 19 1a 1b -- 
  -- 0c 0d 10 13 14 16 18 19 1a 1b -- 
  -- 0c 0d 10 13 14 16 18 19 1a 1b -- 
  -- 0c 0d 10 13 14 16 17 17 17 17 17 
  -- 0c 0d 10 13 -- 15 15 15 15 15 -- 
  -- -- -- -- 12 12 12 12 12 -- -- -- 
 Bag3: L4
  -- -- -- 01 1e 20 21 21 -- -- -- -- 
  -- 01 01 01 1e 20 -- 21 24 27 27 -- 
  00 00 00 1e 1e 20 20 21 24 25 27 -- 
  -- 1c 00 04 04 1f 1f 24 24 25 27 -- 
  -- 1c 1c 1c 04 1f 16 16 25 25 28 -- 
  -- 0c 0c 1d 04 1f 16 23 23 26 28 -- 
  -- 0c 0d 1d 1d 1d 16 23 22 26 28 28 
  -- 0c 0d 0d 0d -- 12 23 22 26 26 -- 
  -- -- -- -- 12 12 12 22 22 -- -- -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 3649.013s
Optimum: yes
Board Size: 15x15
Threads: 16
Choices: 55963448
Conflicts: 39772881
Restarts: 25879
Variables: 9114
Constraints: 30187