Problem: V5-T5-N4
Solution:
 Bag1: V5
  -- -- -- 05 05 05 -- 
  -- 03 03 03 07 05 -- 
  -- 03 01 -- 07 05 -- 
  -- 03 01 -- 07 07 07 
  01 01 01 -- 06 06 06 
  00 00 00 -- 06 04 -- 
  -- 02 00 -- 06 04 -- 
  -- 02 00 04 04 04 -- 
  -- 02 02 02 -- -- -- 
 Bag2: T5
  -- -- -- 05 05 05 -- 
  -- 08 08 08 05 07 -- 
  -- 01 08 -- 05 07 -- 
  -- 01 08 -- 07 07 07 
  01 01 01 -- 09 09 09 
  00 00 00 -- 04 09 -- 
  -- 00 02 -- 04 09 -- 
  -- 00 02 04 04 04 -- 
  -- 02 02 02 -- -- -- 
 Bag3: N4
  -- -- -- 0d 0d 0e -- 
  -- 0b 0d 0d 0e 0e -- 
  -- 0b 0b -- 0e 0f -- 
  -- 00 0b -- 09 0f 0f 
  00 00 0a -- 09 09 0f 
  00 0a 0a -- 06 09 -- 
  -- 0a 02 -- 06 06 -- 
  -- 02 02 0c 0c 06 -- 
  -- 02 0c 0c -- -- -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 4275.052s
Optimum: yes
Board Size: 25x25
Threads: 16
Choices: 76726673
Conflicts: 54146844
Restarts: 27424
Variables: 27293
Constraints: 86875