0.05 c # Sugar v0-40 (/tmp/evaluation/247329-1170109493/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/247329-1170109493/unknown.xml [Mon Jan 29 23:24:53 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/247329-1170109493/unknown.xml /tmp/evaluation/247329-1170109493/sugar26368.csp [Mon Jan 29 23:24:53 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247329-1170109493/sugar-v0-40.jar -convert /tmp/evaluation/247329-1170109493/unknown.xml /tmp/evaluation/247329-1170109493/sugar26368.csp
0.17 c BEGIN convert /tmp/evaluation/247329-1170109493/unknown.xml
1.53 c END convert (1.363871 seconds)
1.61 c # CONVERT_XML END : /tmp/evaluation/247329-1170109493/sugar26368.csp 6860310 bytes (2 seconds) [Mon Jan 29 23:24:55 2007]
1.61 c # CONVERT_XML CPU : 1.48 = 0 + 0 + 1.34 + 0.14
1.61
1.61 c # GENERATE_SAT BEGIN : /tmp/evaluation/247329-1170109493/sugar26368.bcnf [Mon Jan 29 23:24:55 2007]
1.61 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247329-1170109493/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247329-1170109493/sugar26368.map /tmp/evaluation/247329-1170109493/sugar26368.csp /tmp/evaluation/247329-1170109493/sugar26368.bcnf
1.72 c BEGIN parse /tmp/evaluation/247329-1170109493/sugar26368.csp
8.95 c Exception in thread "main" java.lang.StackOverflowError
8.95 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:468)
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.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.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.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)
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.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.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.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.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.12 s UNKNOWN
9.12 c # ERROR /tmp/evaluation/247329-1170109493/sugar26368.bcnf is not generated, at /tmp/evaluation/247329-1170109493/sugar line 310.
9.12
9.12 c # MAIN END : (9 seconds) [Mon Jan 29 23:25:02 2007]
9.12 c # MAIN CPU : 1.5 = 0.01 + 0.01 + 1.34 + 0.14
9.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-247329-1170109493 -o ROOT/results/node43/solver-247329-1170109493 -C 1800 -M 900 /tmp/evaluation/247329-1170109493/solver /tmp/evaluation/247329-1170109493 /tmp/evaluation/247329-1170109493/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
/proc/loadavg: 2.57 2.74 2.56 5/81 26369
/proc/meminfo: memFree=1867896/2055920 swapFree=4192812/4192956
[pid=26368] ppid=26366 vsize=18540 CPUtime=0
/proc/26368/stat : 26368 (runsolver) R 26366 25412 25412 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 1 0 30905328 18984960 277 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 216846596481 0 0 4096 24578 0 0 0 17 1 0 0
/proc/26368/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108239 s]
/proc/loadavg: 2.57 2.74 2.56 5/81 26369
/proc/meminfo: memFree=1867896/2055920 swapFree=4192812/4192956
[pid=26368] ppid=26366 vsize=13724 CPUtime=0.03
/proc/26368/stat : 26368 (sugar) S 26366 26368 25412 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 30905328 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26368/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.516308 s]
/proc/loadavg: 2.57 2.74 2.56 5/81 26369
/proc/meminfo: memFree=1867896/2055920 swapFree=4192812/4192956
[pid=26368] ppid=26366 vsize=13724 CPUtime=0.03
/proc/26368/stat : 26368 (sugar) S 26366 26368 25412 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30905328 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26368/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34445 s]
/proc/loadavg: 2.57 2.74 2.56 4/89 26385
/proc/meminfo: memFree=1814840/2055920 swapFree=4192812/4192956
[pid=26368] ppid=26366 vsize=13724 CPUtime=0.03
/proc/26368/stat : 26368 (sugar) S 26366 26368 25412 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30905328 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26368/statm: 3431 805 368 3 0 531 0
[pid=26370] ppid=26368 vsize=807004 CPUtime=1.28
/proc/26370/stat : 26370 (java) R 26368 26368 25412 0 -1 0 18701 0 1 0 117 11 0 0 19 0 8 0 30905333 826372096 18429 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073498655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26370/statm: 201751 18429 1695 14 0 189029 0
[pid=26370/tid=26371] ppid=26368 vsize=807004 CPUtime=0.16
/proc/26370/task/26371/stat : 26371 (java) S 26368 26368 25412 0 -1 64 12231 0 0 0 11 5 0 0 16 0 8 0 30905336 826372096 18429 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26370/tid=26372] ppid=26368 vsize=807004 CPUtime=0
/proc/26370/task/26372/stat : 26372 (java) S 26368 26368 25412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30905337 826372096 18429 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26370/tid=26373] ppid=26368 vsize=807004 CPUtime=0
/proc/26370/task/26373/stat : 26373 (java) S 26368 26368 25412 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 30905337 826372096 18429 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26370/tid=26374] ppid=26368 vsize=807004 CPUtime=0
/proc/26370/task/26374/stat : 26374 (java) S 26368 26368 25412 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30905340 826372096 18429 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26370/tid=26375] ppid=26368 vsize=807004 CPUtime=0.04
/proc/26370/task/26375/stat : 26375 (java) S 26368 26368 25412 0 -1 64 283 0 0 0 4 0 0 0 16 0 8 0 30905340 826372096 18429 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26370/tid=26376] ppid=26368 vsize=807004 CPUtime=0
/proc/26370/task/26376/stat : 26376 (java) S 26368 26368 25412 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30905340 826372096 18429 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26370/tid=26377] ppid=26368 vsize=807004 CPUtime=0
/proc/26370/task/26377/stat : 26377 (java) S 26368 26368 25412 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30905340 826372096 18429 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 820728
[startup+2.98672 s]
/proc/loadavg: 2.60 2.75 2.56 4/89 26393
/proc/meminfo: memFree=1818040/2055920 swapFree=4192812/4192956
[pid=26368] ppid=26366 vsize=13724 CPUtime=1.51
/proc/26368/stat : 26368 (sugar) S 26366 26368 25412 0 -1 4194304 1190 21435 0 1 3 0 134 14 15 0 1 0 30905328 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26368/statm: 3431 809 371 3 0 531 0
[pid=26386] ppid=26368 vsize=807064 CPUtime=1.35
/proc/26386/stat : 26386 (java) R 26368 26368 25412 0 -1 0 12016 0 1 0 129 6 0 0 25 0 8 0 30905489 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26386/statm: 201766 11755 1494 14 0 189044 0
[pid=26386/tid=26387] ppid=26368 vsize=807064 CPUtime=0.33
/proc/26386/task/26387/stat : 26387 (java) R 26368 26368 25412 0 -1 64 5955 0 0 0 31 2 0 0 16 0 8 0 30905492 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26388] ppid=26368 vsize=807064 CPUtime=0
/proc/26386/task/26388/stat : 26388 (java) S 26368 26368 25412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30905493 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26389] ppid=26368 vsize=807064 CPUtime=0
/proc/26386/task/26389/stat : 26389 (java) S 26368 26368 25412 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30905493 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26390] ppid=26368 vsize=807064 CPUtime=0
/proc/26386/task/26390/stat : 26390 (java) S 26368 26368 25412 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30905496 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26391] ppid=26368 vsize=807064 CPUtime=0.04
/proc/26386/task/26391/stat : 26391 (java) S 26368 26368 25412 0 -1 64 291 0 0 0 4 0 0 0 18 0 8 0 30905496 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26392] ppid=26368 vsize=807064 CPUtime=0
/proc/26386/task/26392/stat : 26392 (java) S 26368 26368 25412 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30905496 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26393] ppid=26368 vsize=807064 CPUtime=0
/proc/26386/task/26393/stat : 26393 (java) S 26368 26368 25412 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30905496 826433536 11755 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.18925 s]
/proc/loadavg: 2.60 2.75 2.56 4/89 26393
/proc/meminfo: memFree=1684536/2055920 swapFree=4192812/4192956
[pid=26368] ppid=26366 vsize=13724 CPUtime=1.51
/proc/26368/stat : 26368 (sugar) S 26366 26368 25412 0 -1 4194304 1190 21435 0 1 3 0 134 14 15 0 1 0 30905328 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26368/statm: 3431 809 371 3 0 531 0
[pid=26386] ppid=26368 vsize=807064 CPUtime=4.54
/proc/26386/stat : 26386 (java) R 26368 26368 25412 0 -1 0 28137 0 1 0 441 13 0 0 25 0 8 0 30905489 826433536 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26386/statm: 201766 27844 1494 14 0 189044 0
[pid=26386/tid=26387] ppid=26368 vsize=807064 CPUtime=1.34
/proc/26386/task/26387/stat : 26387 (java) R 26368 26368 25412 0 -1 64 22044 0 0 0 125 9 0 0 16 0 8 0 30905492 826433536 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26388] ppid=26368 vsize=807064 CPUtime=0
/proc/26386/task/26388/stat : 26388 (java) S 26368 26368 25412 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30905493 826433536 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26389] ppid=26368 vsize=807064 CPUtime=0
/proc/26386/task/26389/stat : 26389 (java) S 26368 26368 25412 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30905493 826433536 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26390] ppid=26368 vsize=807064 CPUtime=0
/proc/26386/task/26390/stat : 26390 (java) S 26368 26368 25412 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30905496 826433536 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26391] ppid=26368 vsize=807064 CPUtime=0.05
/proc/26386/task/26391/stat : 26391 (java) S 26368 26368 25412 0 -1 64 291 0 0 0 5 0 0 0 17 0 8 0 30905496 826433536 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26392] ppid=26368 vsize=807064 CPUtime=0
/proc/26386/task/26392/stat : 26392 (java) S 26368 26368 25412 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30905496 826433536 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26386/tid=26393] ppid=26368 vsize=807064 CPUtime=0
/proc/26386/task/26393/stat : 26393 (java) S 26368 26368 25412 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30905496 826433536 27844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26368 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=392788 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=168974
CPU time returned by wait4() is 1.56176
while last known CPU time is 8.91
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 9.12881
CPU time (s): 8.91
CPU user time (s): 8.53
CPU system time (s): 0.38
CPU usage (%): 97.6031
Max. virtual memory (cumulated for all children) (KiB): 820860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.39279
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22704
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= 2091
involuntary context switches= 354
runsolver used 0.010998 s user time and 0.054991 s system time
The end
Begin job on node43 on Mon Jan 29 22:24:53 UTC 2007
IDJOB= 247329
IDBENCH= 11097
IDSOLVER= 86
FILE ID= node43/247329-1170109493
PBS_JOBID= 3689854
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-3_ext.xml
COMMAND LINE= /tmp/evaluation/247329-1170109493/solver /tmp/evaluation/247329-1170109493 /tmp/evaluation/247329-1170109493/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-247329-1170109493 -o ROOT/results/node43/solver-247329-1170109493 -C 1800 -M 900 /tmp/evaluation/247329-1170109493/solver /tmp/evaluation/247329-1170109493 /tmp/evaluation/247329-1170109493/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 9878667f61c3b4080ef79f2b3273178f
RANDOM SEED= 444906414
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1868568 kB
Buffers: 34964 kB
Cached: 43032 kB
SwapCached: 0 kB
Active: 94800 kB
Inactive: 41944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1868568 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4348 kB
Writeback: 0 kB
Mapped: 76308 kB
Slab: 35816 kB
Committed_AS: 582960 kB
PageTables: 1916 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node43 on Mon Jan 29 22:25:02 UTC 2007