0.04	c # Sugar v0-40 (/tmp/evaluation/247382-1170109504/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/247382-1170109504/unknown.xml [Mon Jan 29 23:25:04 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/247382-1170109504/unknown.xml /tmp/evaluation/247382-1170109504/sugar26453.csp [Mon Jan 29 23:25:04 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247382-1170109504/sugar-v0-40.jar -convert /tmp/evaluation/247382-1170109504/unknown.xml /tmp/evaluation/247382-1170109504/sugar26453.csp
0.15	c BEGIN convert /tmp/evaluation/247382-1170109504/unknown.xml
1.43	c END convert (1.277627 seconds)
1.48	c # CONVERT_XML  END : /tmp/evaluation/247382-1170109504/sugar26453.csp 6820310 bytes (1 seconds) [Mon Jan 29 23:25:05 2007]
1.48	c # CONVERT_XML  CPU : 0 = 0 + 0 + 0 + 0
1.48	
1.48	c # GENERATE_SAT  BEGIN : /tmp/evaluation/247382-1170109504/sugar26453.bcnf [Mon Jan 29 23:25:05 2007]
1.48	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247382-1170109504/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247382-1170109504/sugar26453.map /tmp/evaluation/247382-1170109504/sugar26453.csp /tmp/evaluation/247382-1170109504/sugar26453.bcnf
1.62	c BEGIN parse /tmp/evaluation/247382-1170109504/sugar26453.csp
8.83	c Exception in thread "main" java.lang.StackOverflowError
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:468)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	s UNKNOWN
8.95	c # ERROR /tmp/evaluation/247382-1170109504/sugar26453.bcnf is not generated, at /tmp/evaluation/247382-1170109504/sugar line 310.
8.95	
8.95	c # MAIN  END :  (9 seconds) [Mon Jan 29 23:25:13 2007]
8.95	c # MAIN  CPU : 0.03 = 0.01 + 0.02 + 0 + 0
8.95	

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: UNKNOWN

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node43/watcher-247382-1170109504 -o ROOT/results/node43/solver-247382-1170109504 -C 1800 -M 900 /tmp/evaluation/247382-1170109504/solver /tmp/evaluation/247382-1170109504 /tmp/evaluation/247382-1170109504/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.64 2.75 2.56 4/65 26454
/proc/meminfo: memFree=1912304/2055920 swapFree=4192812/4192956
[pid=26453] ppid=26451 vsize=12132 CPUtime=0
/proc/26453/stat : 26453 (sugar) R 26451 26453 25412 0 -1 4194304 537 0 0 0 0 0 0 0 18 0 1 0 30906398 12423168 256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216849093345 0 0 4224 0 0 0 0 17 1 0 0
/proc/26453/statm: 3033 257 189 3 0 133 0

[startup+0.102946 s]
/proc/loadavg: 2.64 2.75 2.56 4/65 26454
/proc/meminfo: memFree=1912304/2055920 swapFree=4192812/4192956
[pid=26453] ppid=26451 vsize=13724 CPUtime=0.03
/proc/26453/stat : 26453 (sugar) S 26451 26453 25412 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 30906398 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26453/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.511009 s]
/proc/loadavg: 2.64 2.75 2.56 4/65 26454
/proc/meminfo: memFree=1912304/2055920 swapFree=4192812/4192956
[pid=26453] ppid=26451 vsize=13724 CPUtime=0.03
/proc/26453/stat : 26453 (sugar) S 26451 26453 25412 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 30906398 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26453/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33533 s]
/proc/loadavg: 2.64 2.75 2.56 2/73 26462
/proc/meminfo: memFree=1849072/2055920 swapFree=4192812/4192956
[pid=26453] ppid=26451 vsize=13724 CPUtime=0.03
/proc/26453/stat : 26453 (sugar) S 26451 26453 25412 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 30906398 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26453/statm: 3431 805 368 3 0 531 0
[pid=26455] ppid=26453 vsize=807004 CPUtime=1.28
/proc/26455/stat : 26455 (java) R 26453 26453 25412 0 -1 0 18961 0 1 0 119 9 0 0 17 0 8 0 30906402 826372096 18687 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073513042 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26455/statm: 201751 18687 1695 14 0 189029 0
[pid=26455/tid=26456] ppid=26453 vsize=807004 CPUtime=0.15
/proc/26455/task/26456/stat : 26456 (java) S 26453 26453 25412 0 -1 64 12490 0 0 0 11 4 0 0 15 0 8 0 30906405 826372096 18687 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26455/tid=26457] ppid=26453 vsize=807004 CPUtime=0
/proc/26455/task/26457/stat : 26457 (java) S 26453 26453 25412 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30906406 826372096 18687 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26455/tid=26458] ppid=26453 vsize=807004 CPUtime=0
/proc/26455/task/26458/stat : 26458 (java) S 26453 26453 25412 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 30906406 826372096 18687 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26455/tid=26459] ppid=26453 vsize=807004 CPUtime=0
/proc/26455/task/26459/stat : 26459 (java) S 26453 26453 25412 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30906409 826372096 18687 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26455/tid=26460] ppid=26453 vsize=807004 CPUtime=0.04
/proc/26455/task/26460/stat : 26460 (java) S 26453 26453 25412 0 -1 64 283 0 0 0 4 0 0 0 15 0 8 0 30906409 826372096 18687 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26455/tid=26461] ppid=26453 vsize=807004 CPUtime=0
/proc/26455/task/26461/stat : 26461 (java) S 26453 26453 25412 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30906409 826372096 18687 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26455/tid=26462] ppid=26453 vsize=807004 CPUtime=0
/proc/26455/task/26462/stat : 26462 (java) S 26453 26453 25412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30906409 826372096 18687 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 820728

[startup+2.9726 s]
/proc/loadavg: 2.50 2.72 2.55 2/74 26470
/proc/meminfo: memFree=1874416/2055920 swapFree=4192812/4192956
[pid=26453] ppid=26451 vsize=13724 CPUtime=0.04
/proc/26453/stat : 26453 (sugar) S 26451 26453 25412 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30906398 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26453/statm: 3431 808 370 3 0 531 0
[pid=26455] ppid=26453 vsize=0 CPUtime=1.39
/proc/26455/stat : 26455 (java) Z 26453 26453 25412 0 -1 1036 21394 0 1 0 127 12 0 0 16 0 1 0 30906402 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26455/statm: 0 0 0 0 0 0 0
[pid=26463] ppid=26453 vsize=807064 CPUtime=1.44
/proc/26463/stat : 26463 (java) R 26453 26453 25412 0 -1 0 12512 0 1 0 138 6 0 0 17 0 8 0 30906546 826433536 12251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073455658 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26463/statm: 201766 12251 1494 14 0 189044 0
[pid=26463/tid=26464] ppid=26453 vsize=807064 CPUtime=0.38
/proc/26463/task/26464/stat : 26464 (java) S 26453 26453 25412 0 -1 64 6451 0 0 0 35 3 0 0 16 0 8 0 30906553 826433536 12251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26463/tid=26465] ppid=26453 vsize=807064 CPUtime=0
/proc/26463/task/26465/stat : 26465 (java) S 26453 26453 25412 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30906553 826433536 12251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26463/tid=26466] ppid=26453 vsize=807064 CPUtime=0
/proc/26463/task/26466/stat : 26466 (java) S 26453 26453 25412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30906553 826433536 12251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26463/tid=26467] ppid=26453 vsize=807064 CPUtime=0
/proc/26463/task/26467/stat : 26467 (java) S 26453 26453 25412 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30906556 826433536 12251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26463/tid=26468] ppid=26453 vsize=807064 CPUtime=0.04
/proc/26463/task/26468/stat : 26468 (java) S 26453 26453 25412 0 -1 64 291 0 0 0 4 0 0 0 16 0 8 0 30906556 826433536 12251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26463/tid=26469] ppid=26453 vsize=807064 CPUtime=0
/proc/26463/task/26469/stat : 26469 (java) S 26453 26453 25412 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30906556 826433536 12251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26463/tid=26470] ppid=26453 vsize=807064 CPUtime=0
/proc/26463/task/26470/stat : 26470 (java) S 26453 26453 25412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30906556 826433536 12251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 820788

[startup+6.27396 s]
/proc/loadavg: 2.50 2.72 2.55 2/74 26470
/proc/meminfo: memFree=1805872/2055920 swapFree=4192812/4192956
[pid=26453] ppid=26451 vsize=13724 CPUtime=0.04
/proc/26453/stat : 26453 (sugar) S 26451 26453 25412 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30906398 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26453/statm: 3431 808 370 3 0 531 0
[pid=26455] ppid=26453 vsize=0 CPUtime=1.39
/proc/26455/stat : 26455 (java) Z 26453 26453 25412 0 -1 1036 21394 0 1 0 127 12 0 0 16 0 1 0 30906402 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26455/statm: 0 0 0 0 0 0 0
[pid=26463] ppid=26453 vsize=807064 CPUtime=4.73
/proc/26463/stat : 26463 (java) S 26453 26453 25412 0 -1 0 29147 0 1 0 459 14 0 0 17 0 8 0 30906546 826433536 28853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26463/statm: 201766 28853 1494 14 0 189044 0
[pid=26463/tid=26464] ppid=26453 vsize=807064 CPUtime=1.45
/proc/26463/task/26464/stat : 26464 (java) R 26453 26453 25412 0 -1 64 23054 0 0 0 135 10 0 0 16 0 8 0 30906553 826433536 28854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26463/tid=26465] ppid=26453 vsize=807064 CPUtime=0
/proc/26463/task/26465/stat : 26465 (java) S 26453 26453 25412 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30906553 826433536 28855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26463/tid=26466] ppid=26453 vsize=807064 CPUtime=0
/proc/26463/task/26466/stat : 26466 (java) S 26453 26453 25412 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30906553 826433536 28856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26463/tid=26467] ppid=26453 vsize=807064 CPUtime=0
/proc/26463/task/26467/stat : 26467 (java) S 26453 26453 25412 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30906556 826433536 28857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26463/tid=26468] ppid=26453 vsize=807064 CPUtime=0.04
/proc/26463/task/26468/stat : 26468 (java) S 26453 26453 25412 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 30906556 826433536 28858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26463/tid=26469] ppid=26453 vsize=807064 CPUtime=0
/proc/26463/task/26469/stat : 26469 (java) S 26453 26453 25412 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30906556 826433536 28858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26463/tid=26470] ppid=26453 vsize=807064 CPUtime=0
/proc/26463/task/26470/stat : 26470 (java) S 26453 26453 25412 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30906556 826433536 28859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 820788

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26453 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=44993 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=21996
CPU time returned by wait4() is 0.066989
while last known CPU time is 8.81

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 8.95555
CPU time (s): 8.81
CPU user time (s): 8.43
CPU system time (s): 0.38
CPU usage (%): 98.3747
Max. virtual memory (cumulated for all children) (KiB): 820860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.044993
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1534
involuntary context switches= 4

runsolver used 0.017997 s user time and 0.033994 s system time

The end

Begin job on node43 on Mon Jan 29 22:25:04 UTC 2007


IDJOB= 247382
IDBENCH= 11100
IDSOLVER= 86
FILE ID= node43/247382-1170109504

PBS_JOBID= 3689854

Free space on /tmp= 66563 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-15_ext.xml
COMMAND LINE= /tmp/evaluation/247382-1170109504/solver /tmp/evaluation/247382-1170109504 /tmp/evaluation/247382-1170109504/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-247382-1170109504 -o ROOT/results/node43/solver-247382-1170109504 -C 1800 -M 900  /tmp/evaluation/247382-1170109504/solver /tmp/evaluation/247382-1170109504 /tmp/evaluation/247382-1170109504/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  99970ae154e1fd72222efe3964c656cb

RANDOM SEED= 428774980

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1912784 kB
Buffers:         35076 kB
Cached:          42580 kB
SwapCached:          0 kB
Active:          50336 kB
Inactive:        43192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1912784 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1768 kB
Writeback:           0 kB
Mapped:          26056 kB
Slab:            35668 kB
Committed_AS:   334872 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB



End job on node43 on Mon Jan 29 22:25:13 UTC 2007