Solve type issue in satmaxtree

8 jobs for development/mtos in 14 minutes and 6 seconds (queued for 12 seconds)