Problem: V5-Z5-L4
Solution:
 Bag1: V5
  -- 01 01 01 04 -- -- -- -- -- 
  -- 01 -- -- 04 -- -- -- -- -- 
  00 01 -- -- 04 04 04 -- -- -- 
  00 -- -- -- 02 05 05 05 -- -- 
  00 00 00 -- 02 05 -- 07 07 07 
  -- -- 02 02 02 05 -- -- -- 07 
  -- -- -- 03 03 03 -- -- 06 07 
  -- -- -- -- -- 03 -- -- 06 -- 
  -- -- -- -- -- 03 06 06 06 -- 
 Bag2: Z5
  -- 08 08 09 09 -- -- -- -- -- 
  -- 08 -- -- 09 -- -- -- -- -- 
  08 08 -- -- 09 09 0b -- -- -- 
  00 -- -- -- 0b 0b 0b 07 -- -- 
  00 00 00 -- 0b 03 -- 07 07 07 
  -- -- 00 03 03 03 -- -- -- 07 
  -- -- -- 03 0a 0a -- -- 0c 0c 
  -- -- -- -- -- 0a -- -- 0c -- 
  -- -- -- -- -- 0a 0a 0c 0c -- 
 Bag3: L4
  -- 08 0d 0d 0d -- -- -- -- -- 
  -- 08 -- -- 0d -- -- -- -- -- 
  08 08 -- -- 0e 0e 0e -- -- -- 
  00 -- -- -- 0e 10 10 10 -- -- 
  00 00 00 -- 02 10 -- 07 07 07 
  -- -- 02 02 02 03 -- -- -- 07 
  -- -- -- 03 03 03 -- -- 11 11 
  -- -- -- -- -- 0f -- -- 11 -- 
  -- -- -- -- -- 0f 0f 0f 11 -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 4820.000s
Optimum: yes
Board Size: 15x15
Threads: 16
Choices: 95888916
Conflicts: 72911132
Restarts: 37823
Variables: 10482
Constraints: 34438