org.eclipse.viatra.query.runtime.cps.tests.BasicCpsTest.mfTestHostInstanceWithAtLeastAsMuchTotalRamAsTotalHdd[1 : LocalSearch]