Problem: F5-V5-I4
Solution:
 Bag1: F5
  -- -- -- -- 0a 
  -- 04 0a 0a 0a 
  04 04 04 0a 09 
  04 03 09 09 09 
  03 03 03 09 08 
  03 02 08 08 08 
  02 02 02 08 07 
  02 01 07 07 07 
  01 01 01 07 06 
  01 00 06 06 06 
  00 00 00 06 05 
  00 0b 05 05 05 
  0b 0b 0b 05 -- 
  0b -- -- -- -- 
 Bag2: V5
  -- -- -- -- 13 
  -- 11 11 11 13 
  0d 11 13 13 13 
  0d 11 09 09 09 
  0d 0d 0d 10 09 
  02 02 02 10 09 
  02 10 10 10 12 
  02 0f 0f 0f 12 
  0c 0f 12 12 12 
  0c 0f 06 06 06 
  0c 0c 0c 0e 06 
  0b 0b 0b 0e 06 
  0b 0e 0e 0e -- 
  0b -- -- -- -- 
 Bag3: I4
  -- -- -- -- 1d 
  -- 15 17 1a 1d 
  03 15 17 1a 1d 
  03 15 17 1a 1d 
  03 15 17 1a 1c 
  03 14 12 19 1c 
  01 14 12 19 1c 
  01 14 12 19 1c 
  01 14 12 19 1b 
  01 0e 16 18 1b 
  0b 0e 16 18 1b 
  0b 0e 16 18 1b 
  0b 0e 16 18 -- 
  0b -- -- -- -- 
#squares: 60
#pieces:
 Bag1: 12
 Bag2: 12
 Bag3: 15
CPU Time: 15850.487s
Optimum: yes
Board Size: 15x15
Threads: 16
Choices: 208900051
Conflicts: 160315225
Restarts: 84472
Variables: 9213
Constraints: 31119