Problem: T5-X5-N4
Solution:
 Bag1: T5
  -- -- -- -- -- -- 07 -- -- -- -- -- 
  -- -- -- -- 07 07 07 0b -- -- -- -- 
  -- -- -- 05 05 05 07 0b -- -- -- -- 
  -- -- -- -- 05 08 0b 0b 0b -- -- -- 
  -- -- 02 -- 05 08 08 08 0d -- -- -- 
  -- 00 02 02 02 08 -- 0a 0d 0d 0d -- 
  -- 00 02 04 04 04 -- 0a 0d 0e 0e 0e 
  00 00 00 01 04 -- 0a 0a 0a 0c 0e -- 
  -- 01 01 01 04 -- 06 0c 0c 0c 0e -- 
  -- -- -- 01 06 06 06 09 -- 0c -- -- 
  -- -- -- 03 03 03 06 09 -- -- -- -- 
  -- -- -- -- 03 0f 09 09 09 -- -- -- 
  -- -- -- -- 03 0f 0f 0f -- -- -- -- 
  -- -- -- -- -- 0f -- -- -- -- -- -- 
 Bag2: X5
  -- -- -- -- -- -- 15 -- -- -- -- -- 
  -- -- -- -- 05 15 15 15 -- -- -- -- 
  -- -- -- 05 05 05 15 0b -- -- -- -- 
  -- -- -- -- 05 13 0b 0b 0b -- -- -- 
  -- -- 10 -- 13 13 13 0b 16 -- -- -- 
  -- 10 10 10 04 13 -- 16 16 16 0e -- 
  -- 00 10 04 04 04 -- 0a 16 0e 0e 0e 
  00 00 00 11 04 -- 0a 0a 0a 17 0e -- 
  -- 00 11 11 11 -- 14 0a 17 17 17 -- 
  -- -- -- 11 03 14 14 14 -- 17 -- -- 
  -- -- -- 03 03 03 14 09 -- -- -- -- 
  -- -- -- -- 03 12 09 09 09 -- -- -- 
  -- -- -- -- 12 12 12 09 -- -- -- -- 
  -- -- -- -- -- 12 -- -- -- -- -- -- 
 Bag3: N4
  -- -- -- -- -- -- 21 -- -- -- -- -- 
  -- -- -- -- 05 05 21 21 -- -- -- -- 
  -- -- -- 05 05 1e 1e 21 -- -- -- -- 
  -- -- -- -- 1c 1c 1e 1e 16 -- -- -- 
  -- -- 18 -- 1b 1c 1c 16 16 -- -- -- 
  -- 18 18 04 1b 1b -- 16 0d 24 24 -- 
  -- 18 19 04 04 1b -- 20 0d 0d 24 24 
  00 00 19 19 04 -- 20 20 22 0d 23 -- 
  -- 00 00 19 03 -- 20 22 22 23 23 -- 
  -- -- -- 03 03 1a 1a 22 -- 23 -- -- 
  -- -- -- 03 1a 1a 1d 1d -- -- -- -- 
  -- -- -- -- 12 1d 1d 1f 1f -- -- -- 
  -- -- -- -- 12 12 1f 1f -- -- -- -- 
  -- -- -- -- -- 12 -- -- -- -- -- -- 
#squares: 80
#pieces:
 Bag1: 16
 Bag2: 16
 Bag3: 20
CPU Time: 7651.019s
Optimum: yes
Board Size: 30x30
Threads: 16
Choices: 114933199
Conflicts: 71659143
Restarts: 31714
Variables: 30413
Constraints: 96517