0.05	c # Sugar v0-40 (/tmp/evaluation/247183-1170109474/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/247183-1170109474/unknown.xml [Mon Jan 29 23:24:35 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/247183-1170109474/unknown.xml /tmp/evaluation/247183-1170109474/sugar31887.csp [Mon Jan 29 23:24:35 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247183-1170109474/sugar-v0-40.jar -convert /tmp/evaluation/247183-1170109474/unknown.xml /tmp/evaluation/247183-1170109474/sugar31887.csp
0.17	c BEGIN convert /tmp/evaluation/247183-1170109474/unknown.xml
1.58	c END convert (1.408175 seconds)
1.60	c # CONVERT_XML  END : /tmp/evaluation/247183-1170109474/sugar31887.csp 6870310 bytes (1 seconds) [Mon Jan 29 23:24:36 2007]
1.60	c # CONVERT_XML  CPU : 1.52 = 0 + 0 + 1.37 + 0.15
1.60	
1.60	c # GENERATE_SAT  BEGIN : /tmp/evaluation/247183-1170109474/sugar31887.bcnf [Mon Jan 29 23:24:36 2007]
1.60	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247183-1170109474/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247183-1170109474/sugar31887.map /tmp/evaluation/247183-1170109474/sugar31887.csp /tmp/evaluation/247183-1170109474/sugar31887.bcnf
1.72	c BEGIN parse /tmp/evaluation/247183-1170109474/sugar31887.csp
9.42	c Exception in thread "main" java.lang.StackOverflowError
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:468)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.43	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.44	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.45	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.46	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.47	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.48	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.49	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.50	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.51	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.52	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.53	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.60	s UNKNOWN
9.60	c # ERROR /tmp/evaluation/247183-1170109474/sugar31887.bcnf is not generated, at /tmp/evaluation/247183-1170109474/sugar line 310.
9.60	
9.60	c # MAIN  END :  (9 seconds) [Mon Jan 29 23:24:44 2007]
9.60	c # MAIN  CPU : 1.54 = 0.01 + 0.01 + 1.37 + 0.15
9.60	

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/node35/watcher-247183-1170109474 -o ROOT/results/node35/solver-247183-1170109474 -C 1800 -M 900 /tmp/evaluation/247183-1170109474/solver /tmp/evaluation/247183-1170109474 /tmp/evaluation/247183-1170109474/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: 1.43 1.34 1.99 5/76 31888
/proc/meminfo: memFree=1902960/2055920 swapFree=4192812/4192956
[pid=31887] ppid=31885 vsize=18540 CPUtime=0
/proc/31887/stat : 31887 (runsolver) R 31885 31887 31274 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 4711157 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 266134416679 0 0 4096 24578 0 0 0 17 1 0 0
/proc/31887/statm: 4635 279 244 17 0 2626 0

[startup+0.107979 s]
/proc/loadavg: 1.43 1.34 1.99 5/76 31888
/proc/meminfo: memFree=1902960/2055920 swapFree=4192812/4192956
[pid=31887] ppid=31885 vsize=13724 CPUtime=0.03
/proc/31887/stat : 31887 (sugar) S 31885 31887 31274 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 4711157 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31887/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.516066 s]
/proc/loadavg: 1.43 1.34 1.99 5/76 31888
/proc/meminfo: memFree=1902960/2055920 swapFree=4192812/4192956
[pid=31887] ppid=31885 vsize=13724 CPUtime=0.03
/proc/31887/stat : 31887 (sugar) S 31885 31887 31274 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 4711157 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31887/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33827 s]
/proc/loadavg: 1.43 1.34 1.99 3/84 31896
/proc/meminfo: memFree=1841840/2055920 swapFree=4192812/4192956
[pid=31887] ppid=31885 vsize=13724 CPUtime=0.03
/proc/31887/stat : 31887 (sugar) S 31885 31887 31274 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 4711157 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31887/statm: 3431 805 368 3 0 531 0
[pid=31889] ppid=31887 vsize=807004 CPUtime=1.26
/proc/31889/stat : 31889 (java) R 31887 31887 31274 0 -1 0 18315 0 1 0 115 11 0 0 24 0 8 0 4711162 826372096 18043 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31889/statm: 201751 18043 1695 14 0 189029 0
[pid=31889/tid=31890] ppid=31887 vsize=807004 CPUtime=0.15
/proc/31889/task/31890/stat : 31890 (java) R 31887 31887 31274 0 -1 64 11846 0 0 0 10 5 0 0 16 0 8 0 4711166 826372096 18043 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31889/tid=31891] ppid=31887 vsize=807004 CPUtime=0
/proc/31889/task/31891/stat : 31891 (java) S 31887 31887 31274 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4711166 826372096 18043 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31889/tid=31892] ppid=31887 vsize=807004 CPUtime=0
/proc/31889/task/31892/stat : 31892 (java) S 31887 31887 31274 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 4711166 826372096 18043 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31889/tid=31893] ppid=31887 vsize=807004 CPUtime=0
/proc/31889/task/31893/stat : 31893 (java) S 31887 31887 31274 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4711170 826372096 18043 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31889/tid=31894] ppid=31887 vsize=807004 CPUtime=0.04
/proc/31889/task/31894/stat : 31894 (java) S 31887 31887 31274 0 -1 64 283 0 0 0 4 0 0 0 16 0 8 0 4711170 826372096 18043 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31889/tid=31895] ppid=31887 vsize=807004 CPUtime=0
/proc/31889/task/31895/stat : 31895 (java) S 31887 31887 31274 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4711170 826372096 18043 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31889/tid=31896] ppid=31887 vsize=807004 CPUtime=0
/proc/31889/task/31896/stat : 31896 (java) S 31887 31887 31274 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4711170 826372096 18043 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 820728

[startup+2.98355 s]
/proc/loadavg: 1.43 1.34 1.99 3/84 31904
/proc/meminfo: memFree=1866928/2055920 swapFree=4192812/4192956
[pid=31887] ppid=31885 vsize=13724 CPUtime=1.55
/proc/31887/stat : 31887 (sugar) S 31885 31887 31274 0 -1 4194304 1190 21473 0 1 3 0 137 15 15 0 1 0 4711157 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31887/statm: 3431 809 371 3 0 531 0
[pid=31897] ppid=31887 vsize=807064 CPUtime=1.35
/proc/31897/stat : 31897 (java) R 31887 31887 31274 0 -1 0 11931 0 1 0 129 6 0 0 25 0 8 0 4711318 826433536 11671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31897/statm: 201766 11671 1494 14 0 189044 0
[pid=31897/tid=31898] ppid=31887 vsize=807064 CPUtime=0.33
/proc/31897/task/31898/stat : 31898 (java) R 31887 31887 31274 0 -1 64 5871 0 0 0 32 1 0 0 16 0 8 0 4711321 826433536 11671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154023992 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31899] ppid=31887 vsize=807064 CPUtime=0
/proc/31897/task/31899/stat : 31899 (java) S 31887 31887 31274 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4711322 826433536 11671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31900] ppid=31887 vsize=807064 CPUtime=0
/proc/31897/task/31900/stat : 31900 (java) S 31887 31887 31274 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4711322 826433536 11671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31901] ppid=31887 vsize=807064 CPUtime=0
/proc/31897/task/31901/stat : 31901 (java) S 31887 31887 31274 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4711325 826433536 11671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31902] ppid=31887 vsize=807064 CPUtime=0.04
/proc/31897/task/31902/stat : 31902 (java) S 31887 31887 31274 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 4711325 826433536 11671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31903] ppid=31887 vsize=807064 CPUtime=0
/proc/31897/task/31903/stat : 31903 (java) S 31887 31887 31274 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4711325 826433536 11671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31904] ppid=31887 vsize=807064 CPUtime=0
/proc/31897/task/31904/stat : 31904 (java) S 31887 31887 31274 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4711325 826433536 11671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 820788

[startup+6.27921 s]
/proc/loadavg: 1.56 1.37 2.00 3/84 31904
/proc/meminfo: memFree=1802416/2055920 swapFree=4192812/4192956
[pid=31887] ppid=31885 vsize=13724 CPUtime=1.55
/proc/31887/stat : 31887 (sugar) S 31885 31887 31274 0 -1 4194304 1190 21473 0 1 3 0 137 15 15 0 1 0 4711157 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31887/statm: 3431 809 371 3 0 531 0
[pid=31897] ppid=31887 vsize=807064 CPUtime=4.63
/proc/31897/stat : 31897 (java) R 31887 31887 31274 0 -1 0 27256 0 1 0 449 14 0 0 25 0 8 0 4711318 826433536 26965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31897/statm: 201766 26965 1494 14 0 189044 0
[pid=31897/tid=31898] ppid=31887 vsize=807064 CPUtime=1.35
/proc/31897/task/31898/stat : 31898 (java) R 31887 31887 31274 0 -1 64 21165 0 0 0 127 8 0 0 16 0 8 0 4711321 826433536 26965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154023745 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31899] ppid=31887 vsize=807064 CPUtime=0
/proc/31897/task/31899/stat : 31899 (java) S 31887 31887 31274 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 4711322 826433536 26965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31900] ppid=31887 vsize=807064 CPUtime=0
/proc/31897/task/31900/stat : 31900 (java) S 31887 31887 31274 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 4711322 826433536 26965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31901] ppid=31887 vsize=807064 CPUtime=0
/proc/31897/task/31901/stat : 31901 (java) S 31887 31887 31274 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 4711325 826433536 26965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31902] ppid=31887 vsize=807064 CPUtime=0.05
/proc/31897/task/31902/stat : 31902 (java) S 31887 31887 31274 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 4711325 826433536 26965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31903] ppid=31887 vsize=807064 CPUtime=0
/proc/31897/task/31903/stat : 31903 (java) S 31887 31887 31274 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 4711325 826433536 26965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31897/tid=31904] ppid=31887 vsize=807064 CPUtime=0
/proc/31897/task/31904/stat : 31904 (java) S 31887 31887 31274 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 4711325 826433536 26965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 820788

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 31887 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=422783 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=179972
CPU time returned by wait4() is 1.60275
while last known CPU time is 9.42

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

Real time (s): 9.61115
CPU time (s): 9.42
CPU user time (s): 9.02
CPU system time (s): 0.4
CPU usage (%): 98.0112
Max. virtual memory (cumulated for all children) (KiB): 820788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.42278
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22741
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= 2526
involuntary context switches= 364

runsolver used 0.014997 s user time and 0.046992 s system time

The end

Begin job on node35 on Mon Jan 29 22:24:34 UTC 2007


IDJOB= 247183
IDBENCH= 11088
IDSOLVER= 86
FILE ID= node35/247183-1170109474

PBS_JOBID= 3690204

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  522d1bb9bf2d247cbf6772653097fee9

RANDOM SEED= 598704155

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.263
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.263
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:       1903440 kB
Buffers:         19960 kB
Cached:          44164 kB
SwapCached:          0 kB
Active:          76852 kB
Inactive:        32272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1903440 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1724 kB
Writeback:           0 kB
Mapped:          55996 kB
Slab:            28724 kB
Committed_AS:   510056 kB
PageTables:       1840 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= 66561 MiB



End job on node35 on Mon Jan 29 22:24:44 UTC 2007