0.05	c # Sugar v0-40 (/tmp/evaluation/207056-1170096913/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/207056-1170096913/unknown.xml [Mon Jan 29 19:55:13 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/207056-1170096913/unknown.xml /tmp/evaluation/207056-1170096913/sugar21110.csp [Mon Jan 29 19:55:13 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/207056-1170096913/sugar-v0-40.jar -convert /tmp/evaluation/207056-1170096913/unknown.xml /tmp/evaluation/207056-1170096913/sugar21110.csp
0.16	c BEGIN convert /tmp/evaluation/207056-1170096913/unknown.xml
1.37	c END convert (1.203852 seconds)
1.42	c # CONVERT_XML  END : /tmp/evaluation/207056-1170096913/sugar21110.csp 7264516 bytes (2 seconds) [Mon Jan 29 19:55:15 2007]
1.42	c # CONVERT_XML  CPU : 1.3 = 0 + 0 + 1.22 + 0.08
1.42	
1.42	c # GENERATE_SAT  BEGIN : /tmp/evaluation/207056-1170096913/sugar21110.bcnf [Mon Jan 29 19:55:15 2007]
1.42	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/207056-1170096913/sugar-v0-40.jar -bcnf -map /tmp/evaluation/207056-1170096913/sugar21110.map /tmp/evaluation/207056-1170096913/sugar21110.csp /tmp/evaluation/207056-1170096913/sugar21110.bcnf
1.54	c BEGIN parse /tmp/evaluation/207056-1170096913/sugar21110.csp
8.90	c Exception in thread "main" java.lang.StackOverflowError
8.90	c 	at java.util.ArrayList.(Unknown Source)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:436)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.92	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.93	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.94	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.95	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.96	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.97	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.98	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.99	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.00	c 	at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.07	s UNKNOWN
9.08	c # ERROR /tmp/evaluation/207056-1170096913/sugar21110.bcnf is not generated, at /tmp/evaluation/207056-1170096913/sugar line 310.
9.08	
9.08	c # MAIN  END :  (9 seconds) [Mon Jan 29 19:55:22 2007]
9.08	c # MAIN  CPU : 1.33 = 0.02 + 0.01 + 1.22 + 0.08
9.08	

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/node20/watcher-207056-1170096913 -o ROOT/results/node20/solver-207056-1170096913 -C 1800 -M 900 /tmp/evaluation/207056-1170096913/solver /tmp/evaluation/207056-1170096913 /tmp/evaluation/207056-1170096913/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.06 1.96 1.87 5/94 21111
/proc/meminfo: memFree=1623456/2055920 swapFree=4192812/4192956
[pid=21110] ppid=21108 vsize=18540 CPUtime=0
/proc/21110/stat : 21110 (runsolver) R 21108 21110 20710 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 29645302 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 273952599335 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21110/statm: 4635 279 244 17 0 2626 0

[startup+0.104001 s]
/proc/loadavg: 2.06 1.96 1.87 5/94 21111
/proc/meminfo: memFree=1623456/2055920 swapFree=4192812/4192956
[pid=21110] ppid=21108 vsize=13724 CPUtime=0.03
/proc/21110/stat : 21110 (sugar) S 21108 21110 20710 0 -1 4194304 1112 0 0 0 2 1 0 0 19 0 1 0 29645302 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21110/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.512043 s]
/proc/loadavg: 2.06 1.96 1.87 5/94 21111
/proc/meminfo: memFree=1623456/2055920 swapFree=4192812/4192956
[pid=21110] ppid=21108 vsize=13724 CPUtime=0.03
/proc/21110/stat : 21110 (sugar) S 21108 21110 20710 0 -1 4194304 1121 0 0 0 2 1 0 0 15 0 1 0 29645302 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21110/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33515 s]
/proc/loadavg: 2.06 1.96 1.87 4/102 21119
/proc/meminfo: memFree=1590624/2055920 swapFree=4192812/4192956
[pid=21110] ppid=21108 vsize=13724 CPUtime=0.03
/proc/21110/stat : 21110 (sugar) S 21108 21110 20710 0 -1 4194304 1121 0 0 0 2 1 0 0 15 0 1 0 29645302 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21110/statm: 3431 805 368 3 0 531 0
[pid=21112] ppid=21110 vsize=807128 CPUtime=1.26
/proc/21112/stat : 21112 (java) R 21110 21110 20710 0 -1 0 8333 0 1 0 119 7 0 0 25 0 8 0 29645307 826499072 8061 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073615164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21112/statm: 201782 8061 1693 14 0 189060 0
[pid=21112/tid=21113] ppid=21110 vsize=807128 CPUtime=0.1
/proc/21112/task/21113/stat : 21113 (java) S 21110 21110 20710 0 -1 64 1825 0 0 0 9 1 0 0 16 0 8 0 29645310 826499072 8061 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21112/tid=21114] ppid=21110 vsize=807128 CPUtime=0
/proc/21112/task/21114/stat : 21114 (java) S 21110 21110 20710 0 -1 64 9 0 0 0 0 0 0 0 22 0 8 0 29645311 826499072 8061 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21112/tid=21115] ppid=21110 vsize=807128 CPUtime=0
/proc/21112/task/21115/stat : 21115 (java) S 21110 21110 20710 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 29645311 826499072 8061 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21112/tid=21116] ppid=21110 vsize=807128 CPUtime=0
/proc/21112/task/21116/stat : 21116 (java) S 21110 21110 20710 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29645314 826499072 8061 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21112/tid=21117] ppid=21110 vsize=807128 CPUtime=0.08
/proc/21112/task/21117/stat : 21117 (java) S 21110 21110 20710 0 -1 64 316 0 0 0 8 0 0 0 16 0 8 0 29645314 826499072 8061 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21112/tid=21118] ppid=21110 vsize=807128 CPUtime=0
/proc/21112/task/21118/stat : 21118 (java) S 21110 21110 20710 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29645314 826499072 8061 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21112/tid=21119] ppid=21110 vsize=807128 CPUtime=0
/proc/21112/task/21119/stat : 21119 (java) S 21110 21110 20710 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29645314 826499072 8061 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 820852

[startup+2.98034 s]
/proc/loadavg: 2.06 1.96 1.87 4/102 21127
/proc/meminfo: memFree=1584416/2055920 swapFree=4192812/4192956
[pid=21110] ppid=21108 vsize=13724 CPUtime=1.33
/proc/21110/stat : 21110 (sugar) S 21108 21110 20710 0 -1 4194304 1190 8344 0 1 2 1 122 8 15 0 1 0 29645302 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21110/statm: 3431 809 371 3 0 531 0
[pid=21120] ppid=21110 vsize=807064 CPUtime=1.53
/proc/21120/stat : 21120 (java) R 21110 21110 20710 0 -1 0 12696 0 1 0 146 7 0 0 25 0 8 0 29645445 826433536 12434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479561 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21120/statm: 201766 12434 1494 14 0 189044 0
[pid=21120/tid=21121] ppid=21110 vsize=807064 CPUtime=0.39
/proc/21120/task/21121/stat : 21121 (java) S 21110 21110 20710 0 -1 64 6633 0 0 0 37 2 0 0 16 0 8 0 29645448 826433536 12434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21122] ppid=21110 vsize=807064 CPUtime=0
/proc/21120/task/21122/stat : 21122 (java) S 21110 21110 20710 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29645448 826433536 12434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21123] ppid=21110 vsize=807064 CPUtime=0
/proc/21120/task/21123/stat : 21123 (java) S 21110 21110 20710 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29645448 826433536 12434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21124] ppid=21110 vsize=807064 CPUtime=0
/proc/21120/task/21124/stat : 21124 (java) S 21110 21110 20710 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29645451 826433536 12434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21125] ppid=21110 vsize=807064 CPUtime=0.04
/proc/21120/task/21125/stat : 21125 (java) S 21110 21110 20710 0 -1 64 291 0 0 0 4 0 0 0 19 0 8 0 29645451 826433536 12434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21126] ppid=21110 vsize=807064 CPUtime=0
/proc/21120/task/21126/stat : 21126 (java) S 21110 21110 20710 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29645451 826433536 12434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21127] ppid=21110 vsize=807064 CPUtime=0
/proc/21120/task/21127/stat : 21127 (java) S 21110 21110 20710 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29645451 826433536 12434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 820788

[startup+6.27573 s]
/proc/loadavg: 2.14 1.98 1.87 4/102 21127
/proc/meminfo: memFree=1517920/2055920 swapFree=4192812/4192956
[pid=21110] ppid=21108 vsize=13724 CPUtime=1.33
/proc/21110/stat : 21110 (sugar) S 21108 21110 20710 0 -1 4194304 1190 8344 0 1 2 1 122 8 15 0 1 0 29645302 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 273961496674 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21110/statm: 3431 809 371 3 0 531 0
[pid=21120] ppid=21110 vsize=807064 CPUtime=4.79
/proc/21120/stat : 21120 (java) R 21110 21110 20710 0 -1 0 28019 0 1 0 464 15 0 0 25 0 8 0 29645445 826433536 27725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073484451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21120/statm: 201766 27725 1494 14 0 189044 0
[pid=21120/tid=21121] ppid=21110 vsize=807064 CPUtime=1.36
/proc/21120/task/21121/stat : 21121 (java) S 21110 21110 20710 0 -1 64 21923 0 0 0 126 10 0 0 16 0 8 0 29645448 826433536 27725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21122] ppid=21110 vsize=807064 CPUtime=0
/proc/21120/task/21122/stat : 21122 (java) S 21110 21110 20710 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29645448 826433536 27725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21123] ppid=21110 vsize=807064 CPUtime=0
/proc/21120/task/21123/stat : 21123 (java) S 21110 21110 20710 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29645448 826433536 27725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21124] ppid=21110 vsize=807064 CPUtime=0
/proc/21120/task/21124/stat : 21124 (java) S 21110 21110 20710 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 29645451 826433536 27725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21125] ppid=21110 vsize=807064 CPUtime=0.05
/proc/21120/task/21125/stat : 21125 (java) S 21110 21110 20710 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 29645451 826433536 27725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21126] ppid=21110 vsize=807064 CPUtime=0
/proc/21120/task/21126/stat : 21126 (java) S 21110 21110 20710 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29645451 826433536 27725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21120/tid=21127] ppid=21110 vsize=807064 CPUtime=0
/proc/21120/task/21127/stat : 21127 (java) S 21110 21110 20710 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29645451 826433536 27725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 820788

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 21110 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=267807 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=113982
CPU time returned by wait4() is 1.38179
while last known CPU time is 8.81

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

Real time (s): 9.0833
CPU time (s): 8.81
CPU user time (s): 8.48
CPU system time (s): 0.33
CPU usage (%): 96.9911
Max. virtual memory (cumulated for all children) (KiB): 820852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.26781
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9612
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= 2658
involuntary context switches= 612

runsolver used 0.016997 s user time and 0.051992 s system time

The end

Begin job on node20 on Mon Jan 29 18:55:13 UTC 2007


IDJOB= 207056
IDBENCH= 4255
IDSOLVER= 86
FILE ID= node20/207056-1170096913

PBS_JOBID= 3689664

Free space on /tmp= 66558 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-20/tsp-20-8_ext.xml
COMMAND LINE= /tmp/evaluation/207056-1170096913/solver /tmp/evaluation/207056-1170096913 /tmp/evaluation/207056-1170096913/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-207056-1170096913 -o ROOT/results/node20/solver-207056-1170096913 -C 1800 -M 900  /tmp/evaluation/207056-1170096913/solver /tmp/evaluation/207056-1170096913 /tmp/evaluation/207056-1170096913/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  7e1aa148d0e867f996fc4c0adf0ff767

RANDOM SEED= 146336145

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.234
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.234
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:       1622144 kB
Buffers:         19248 kB
Cached:          76904 kB
SwapCached:          0 kB
Active:         322708 kB
Inactive:        52840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1622144 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6772 kB
Writeback:           0 kB
Mapped:         304912 kB
Slab:            42836 kB
Committed_AS:   489740 kB
PageTables:       2548 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= 66558 MiB



End job on node20 on Mon Jan 29 18:55:23 UTC 2007