Garbage Collection problem during Feature Model comparison

[NayunCho]

I have several machine generated Feature Models which formed by SPLOT.
Also, each feature model contains 500 features.

However, whenever I try to compare the Feature Model, it shows some errors as bellow.

...
Garbage collection #1: 2000003 nodes / 901281 free / 0.232s / 0.232s total
Garbage collection #2: 2000003 nodes / 189 free / 0.358s / 0.59s total
Resizing node table from 2000003 to 2049991
Garbage collection #3: 2049991 nodes / 0 free / 0.365s / 0.955s total
Resizing node table from 2049991 to 2099963
...

Here is the my sample code.

String fileName = "base.xml";
String targetName="base2.xml";
FMLShell _shell = FMLShell.instantiateStandalone(null);
//Parse the FM with the model to text converter
String mkFmlInput = "fm1" + " = " + "FM (" + """ + fileName + """ + ")\n\n" ;
Variable v = _shell.parse(mkFmlInput);
FeatureModelVariable fm = (FeatureModelVariable) v;

FeatureModel expectedFm = fm.getFm();
String mkFmlInput2 = "fm2" + " = " + "FM (" + """ + targetName + """ + ")\n\n" ;
Variable v2 = _shell.parse(mkFmlInput2);
FeatureModelVariable fm2 = (FeatureModelVariable) v2;

System.out.println(fm.compare(fm2));

Any help will be appreciate!

[surli]

Actually it is not an error but a trace from the SAT solver (I think...) when there is a very large number of combination to process. The time to give an answer could then be very long...
I already open an issue for that problem here #31