0.04	c # Sugar v0-40 (/tmp/evaluation/247307-1170109492/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/247307-1170109492/unknown.xml [Mon Jan 29 23:24:52 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/247307-1170109492/unknown.xml /tmp/evaluation/247307-1170109492/sugar26325.csp [Mon Jan 29 23:24:52 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247307-1170109492/sugar-v0-40.jar -convert /tmp/evaluation/247307-1170109492/unknown.xml /tmp/evaluation/247307-1170109492/sugar26325.csp
0.15	c BEGIN convert /tmp/evaluation/247307-1170109492/unknown.xml
1.46	c END convert (1.305002 seconds)
1.48	c # CONVERT_XML  END : /tmp/evaluation/247307-1170109492/sugar26325.csp 6860310 bytes (2 seconds) [Mon Jan 29 23:24:54 2007]
1.48	c # CONVERT_XML  CPU : 1.41 = 0 + 0 + 1.27 + 0.14
1.48	
1.48	c # GENERATE_SAT  BEGIN : /tmp/evaluation/247307-1170109492/sugar26325.bcnf [Mon Jan 29 23:24:54 2007]
1.48	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247307-1170109492/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247307-1170109492/sugar26325.map /tmp/evaluation/247307-1170109492/sugar26325.csp /tmp/evaluation/247307-1170109492/sugar26325.bcnf
1.59	c BEGIN parse /tmp/evaluation/247307-1170109492/sugar26325.csp
9.24	c Exception in thread "main" java.lang.StackOverflowError
9.24	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:468)
9.24	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.24	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.24	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.25	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.26	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.28	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.29	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.30	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.31	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.32	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.33	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.34	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.35	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.40	s UNKNOWN
9.40	c # ERROR /tmp/evaluation/247307-1170109492/sugar26325.bcnf is not generated, at /tmp/evaluation/247307-1170109492/sugar line 310.
9.40	
9.40	c # MAIN  END :  (10 seconds) [Mon Jan 29 23:25:02 2007]
9.40	c # MAIN  CPU : 1.44 = 0.01 + 0.02 + 1.27 + 0.14
9.40	

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-247307-1170109492 -o ROOT/results/node43/solver-247307-1170109492 -C 1800 -M 900 /tmp/evaluation/247307-1170109492/solver /tmp/evaluation/247307-1170109492 /tmp/evaluation/247307-1170109492/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.57 2.74 2.56 4/68 26326
/proc/meminfo: memFree=1908456/2055920 swapFree=4192812/4192956
[pid=26325] ppid=26323 vsize=12268 CPUtime=0
/proc/26325/stat : 26325 (sugar) R 26323 26325 24589 0 -1 4194304 581 0 0 0 0 0 0 0 18 0 1 0 30905262 12562432 300 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216866918464 0 0 4224 0 0 0 0 17 1 0 0
/proc/26325/statm: 3067 315 241 3 0 167 0

[startup+0.107037 s]
/proc/loadavg: 2.57 2.74 2.56 4/68 26326
/proc/meminfo: memFree=1908456/2055920 swapFree=4192812/4192956
[pid=26325] ppid=26323 vsize=13724 CPUtime=0.03
/proc/26325/stat : 26325 (sugar) S 26323 26325 24589 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 30905262 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26325/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.515103 s]
/proc/loadavg: 2.57 2.74 2.56 4/68 26326
/proc/meminfo: memFree=1908456/2055920 swapFree=4192812/4192956
[pid=26325] ppid=26323 vsize=13724 CPUtime=0.03
/proc/26325/stat : 26325 (sugar) S 26323 26325 24589 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 30905262 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26325/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33724 s]
/proc/loadavg: 2.57 2.74 2.56 5/89 26377
/proc/meminfo: memFree=1815544/2055920 swapFree=4192812/4192956
[pid=26325] ppid=26323 vsize=13724 CPUtime=0.03
/proc/26325/stat : 26325 (sugar) S 26323 26325 24589 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 30905262 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26325/statm: 3431 805 368 3 0 531 0
[pid=26327] ppid=26325 vsize=807004 CPUtime=1.28
/proc/26327/stat : 26327 (java) R 26325 26325 24589 0 -1 0 18993 0 1 0 117 11 0 0 22 0 8 0 30905266 826372096 18719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073503102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26327/statm: 201751 18719 1695 14 0 189029 0
[pid=26327/tid=26328] ppid=26325 vsize=807004 CPUtime=0.16
/proc/26327/task/26328/stat : 26328 (java) S 26325 26325 24589 0 -1 64 12522 0 0 0 11 5 0 0 16 0 8 0 30905269 826372096 18719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26327/tid=26329] ppid=26325 vsize=807004 CPUtime=0
/proc/26327/task/26329/stat : 26329 (java) S 26325 26325 24589 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30905270 826372096 18719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26327/tid=26330] ppid=26325 vsize=807004 CPUtime=0
/proc/26327/task/26330/stat : 26330 (java) S 26325 26325 24589 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 30905270 826372096 18719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26327/tid=26331] ppid=26325 vsize=807004 CPUtime=0
/proc/26327/task/26331/stat : 26331 (java) S 26325 26325 24589 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30905273 826372096 18719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26327/tid=26332] ppid=26325 vsize=807004 CPUtime=0.04
/proc/26327/task/26332/stat : 26332 (java) S 26325 26325 24589 0 -1 64 283 0 0 0 4 0 0 0 16 0 8 0 30905273 826372096 18719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26327/tid=26333] ppid=26325 vsize=807004 CPUtime=0
/proc/26327/task/26333/stat : 26333 (java) S 26325 26325 24589 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 30905273 826372096 18719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26327/tid=26334] ppid=26325 vsize=807004 CPUtime=0
/proc/26327/task/26334/stat : 26334 (java) S 26325 26325 24589 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30905273 826372096 18719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 820728

[startup+2.98551 s]
/proc/loadavg: 2.57 2.74 2.56 3/82 26385
/proc/meminfo: memFree=1810104/2055920 swapFree=4192812/4192956
[pid=26325] ppid=26323 vsize=13724 CPUtime=1.44
/proc/26325/stat : 26325 (sugar) S 26323 26325 24589 0 -1 4194304 1190 21443 0 1 3 0 127 14 15 0 1 0 30905262 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26325/statm: 3431 809 371 3 0 531 0
[pid=26378] ppid=26325 vsize=807064 CPUtime=1.48
/proc/26378/stat : 26378 (java) R 26325 26325 24589 0 -1 0 12516 0 1 0 141 7 0 0 20 0 8 0 30905410 826433536 12255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073543750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26378/statm: 201766 12255 1494 14 0 189044 0
[pid=26378/tid=26379] ppid=26325 vsize=807064 CPUtime=0.37
/proc/26378/task/26379/stat : 26379 (java) S 26325 26325 24589 0 -1 64 6455 0 0 0 35 2 0 0 16 0 8 0 30905413 826433536 12255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26378/tid=26380] ppid=26325 vsize=807064 CPUtime=0
/proc/26378/task/26380/stat : 26380 (java) S 26325 26325 24589 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30905414 826433536 12255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26378/tid=26381] ppid=26325 vsize=807064 CPUtime=0
/proc/26378/task/26381/stat : 26381 (java) S 26325 26325 24589 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30905414 826433536 12255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26378/tid=26382] ppid=26325 vsize=807064 CPUtime=0
/proc/26378/task/26382/stat : 26382 (java) S 26325 26325 24589 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30905417 826433536 12255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26378/tid=26383] ppid=26325 vsize=807064 CPUtime=0.04
/proc/26378/task/26383/stat : 26383 (java) S 26325 26325 24589 0 -1 64 291 0 0 0 4 0 0 0 19 0 8 0 30905417 826433536 12255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26378/tid=26384] ppid=26325 vsize=807064 CPUtime=0
/proc/26378/task/26384/stat : 26384 (java) S 26325 26325 24589 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30905417 826433536 12255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26378/tid=26385] ppid=26325 vsize=807064 CPUtime=0
/proc/26378/task/26385/stat : 26385 (java) S 26325 26325 24589 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30905417 826433536 12255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 820788

[startup+6.27406 s]
/proc/loadavg: 2.60 2.75 2.56 4/89 26393
/proc/meminfo: memFree=1712440/2055920 swapFree=4192812/4192956
[pid=26325] ppid=26323 vsize=13724 CPUtime=1.44
/proc/26325/stat : 26325 (sugar) S 26323 26325 24589 0 -1 4194304 1190 21443 0 1 3 0 127 14 15 0 1 0 30905262 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26325/statm: 3431 809 371 3 0 531 0
[pid=26378] ppid=26325 vsize=807064 CPUtime=4.75
/proc/26378/stat : 26378 (java) R 26325 26325 24589 0 -1 0 28140 0 1 0 457 18 0 0 25 0 8 0 30905410 826433536 27848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073481404 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26378/statm: 201766 27848 1494 14 0 189044 0
[pid=26378/tid=26379] ppid=26325 vsize=807064 CPUtime=1.4
/proc/26378/task/26379/stat : 26379 (java) S 26325 26325 24589 0 -1 64 22048 0 0 0 128 12 0 0 16 0 8 0 30905413 826433536 27848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26378/tid=26380] ppid=26325 vsize=807064 CPUtime=0
/proc/26378/task/26380/stat : 26380 (java) S 26325 26325 24589 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30905414 826433536 27848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26378/tid=26381] ppid=26325 vsize=807064 CPUtime=0
/proc/26378/task/26381/stat : 26381 (java) S 26325 26325 24589 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30905414 826433536 27848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26378/tid=26382] ppid=26325 vsize=807064 CPUtime=0
/proc/26378/task/26382/stat : 26382 (java) S 26325 26325 24589 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 30905417 826433536 27848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26378/tid=26383] ppid=26325 vsize=807064 CPUtime=0.04
/proc/26378/task/26383/stat : 26383 (java) S 26325 26325 24589 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 30905417 826433536 27848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26378/tid=26384] ppid=26325 vsize=807064 CPUtime=0
/proc/26378/task/26384/stat : 26384 (java) S 26325 26325 24589 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 30905417 826433536 27848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26378/tid=26385] ppid=26325 vsize=807064 CPUtime=0
/proc/26378/task/26385/stat : 26385 (java) S 26325 26325 24589 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30905417 826433536 27848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 820788

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26325 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=319799 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=170974
CPU time returned by wait4() is 1.49077
while last known CPU time is 9.24

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

Real time (s): 9.41149
CPU time (s): 9.24
CPU user time (s): 8.83
CPU system time (s): 0.41
CPU usage (%): 98.1778
Max. virtual memory (cumulated for all children) (KiB): 820788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3198
system time used= 0.170974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22711
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2453
involuntary context switches= 272

runsolver used 0.023996 s user time and 0.045993 s system time

The end

Begin job on node43 on Mon Jan 29 22:24:52 UTC 2007


IDJOB= 247307
IDBENCH= 11096
IDSOLVER= 86
FILE ID= node43/247307-1170109492

PBS_JOBID= 3689834

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-11_ext.xml
COMMAND LINE= /tmp/evaluation/247307-1170109492/solver /tmp/evaluation/247307-1170109492 /tmp/evaluation/247307-1170109492/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-247307-1170109492 -o ROOT/results/node43/solver-247307-1170109492 -C 1800 -M 900  /tmp/evaluation/247307-1170109492/solver /tmp/evaluation/247307-1170109492 /tmp/evaluation/247307-1170109492/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  48aec55d51369d317b185ca8a98f5a6a

RANDOM SEED= 697303837

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:       1908872 kB
Buffers:         34948 kB
Cached:          40260 kB
SwapCached:          0 kB
Active:          56092 kB
Inactive:        40920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1908872 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2624 kB
Writeback:           0 kB
Mapped:          31952 kB
Slab:            35780 kB
Committed_AS:   332892 kB
PageTables:       1596 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= 66555 MiB



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