Problem: F5-I5-L4
Solution:
 Bag1: F5
  -- -- 03 -- -- -- -- 
  -- 03 03 03 07 -- -- 
  -- 03 02 07 07 07 -- 
  -- 02 02 02 06 07 -- 
  -- 02 06 06 06 0a -- 
  -- 01 -- 06 0a 0a 0a 
  01 01 01 05 09 09 0a 
  01 00 05 05 05 09 09 
  00 00 00 04 05 09 08 
  00 0b 04 04 08 08 08 
  0b 0b 0b 04 04 08 -- 
  0b -- -- -- -- -- -- 
 Bag2: I5
  -- -- 06 -- -- -- -- 
  -- 11 06 12 0a -- -- 
  -- 11 06 12 0a 13 -- 
  -- 11 06 12 0a 13 -- 
  -- 11 06 12 0a 13 -- 
  -- 11 -- 12 0a 13 14 
  0c 0c 0c 0c 0c 13 14 
  0b 10 10 10 10 10 14 
  0b 0f 0f 0f 0f 0f 14 
  0b 0e 0e 0e 0e 0e 14 
  0b 0d 0d 0d 0d 0d -- 
  0b -- -- -- -- -- -- 
 Bag3: L4
  -- -- 18 -- -- -- -- 
  -- 16 18 1a 1a -- -- 
  -- 16 18 18 1a 1c -- 
  -- 16 16 02 1a 1c -- 
  -- 02 02 02 1c 1c -- 
  -- 10 -- 12 12 1d 1d 
  15 10 17 17 12 1b 1d 
  15 10 10 17 12 1b 1d 
  15 15 00 17 1b 1b 08 
  00 00 00 19 08 08 08 
  0b 0b 0b 19 19 19 -- 
  0b -- -- -- -- -- -- 
#squares: 60
#pieces:
 Bag1: 12
 Bag2: 12
 Bag3: 15
CPU Time: 19197.750s
Optimum: unknown
Board Size: 15x15
Threads: 16
Choices: 284720590
Conflicts: 214447192
Restarts: 176707
Variables: 10490
Constraints: 36291