Problem: U5-Y5-N4
Solution:
 Bag1: U5
  -- -- -- 05 -- 05 -- 
  01 -- 01 05 05 05 -- 
  01 01 01 04 04 04 -- 
  00 00 00 04 07 04 07 
  00 03 00 03 07 07 07 
  -- 03 03 03 06 06 06 
  -- 02 02 02 06 -- 06 
  -- 02 -- 02 -- -- -- 
 Bag2: Y5
  -- -- -- 04 -- 09 -- 
  00 -- 08 04 04 09 -- 
  00 08 08 04 09 09 -- 
  00 00 08 04 06 09 0a 
  00 02 08 0b 06 0a 0a 
  -- 02 02 0b 06 06 0a 
  -- 02 0b 0b 06 -- 0a 
  -- 02 -- 0b -- -- -- 
 Bag3: N4
  -- -- -- 0d -- 09 -- 
  01 -- 0d 0d 09 09 -- 
  01 01 0d 0c 09 11 -- 
  00 01 0c 0c 0f 11 11 
  00 00 0c 0f 0f 10 11 
  -- 00 02 0f 0e 10 10 
  -- 02 02 0e 0e -- 10 
  -- 02 -- 0e -- -- -- 
#squares: 40
#pieces:
 Bag1: 8
 Bag2: 8
 Bag3: 10
CPU Time: 11162.637s
Optimum: yes
Board Size: 25x25
Threads: 16
Choices: 131191572
Conflicts: 98408757
Restarts: 45129
Variables: 33879
Constraints: 111053