0.04 c # Sugar v0-40 (/tmp/evaluation/247263-1170109481/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/247263-1170109481/unknown.xml [Mon Jan 29 23:24:41 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/247263-1170109481/unknown.xml /tmp/evaluation/247263-1170109481/sugar26250.csp [Mon Jan 29 23:24:41 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247263-1170109481/sugar-v0-40.jar -convert /tmp/evaluation/247263-1170109481/unknown.xml /tmp/evaluation/247263-1170109481/sugar26250.csp
0.15 c BEGIN convert /tmp/evaluation/247263-1170109481/unknown.xml
1.43 c END convert (1.278089 seconds)
1.48 c # CONVERT_XML END : /tmp/evaluation/247263-1170109481/sugar26250.csp 6890310 bytes (1 seconds) [Mon Jan 29 23:24:42 2007]
1.48 c # CONVERT_XML CPU : 1.39 = 0 + 0 + 1.25 + 0.14
1.48
1.48 c # GENERATE_SAT BEGIN : /tmp/evaluation/247263-1170109481/sugar26250.bcnf [Mon Jan 29 23:24:42 2007]
1.48 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247263-1170109481/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247263-1170109481/sugar26250.map /tmp/evaluation/247263-1170109481/sugar26250.csp /tmp/evaluation/247263-1170109481/sugar26250.bcnf
1.59 c BEGIN parse /tmp/evaluation/247263-1170109481/sugar26250.csp
9.14 c Exception in thread "main" java.lang.StackOverflowError
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:468)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
9.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
9.27 s UNKNOWN
9.27 c # ERROR /tmp/evaluation/247263-1170109481/sugar26250.bcnf is not generated, at /tmp/evaluation/247263-1170109481/sugar line 310.
9.27
9.27 c # MAIN END : (9 seconds) [Mon Jan 29 23:24:50 2007]
9.27 c # MAIN CPU : 1.39 = 0 + 0 + 1.25 + 0.14
9.27
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-247263-1170109481 -o ROOT/results/node43/solver-247263-1170109481 -C 1800 -M 900 /tmp/evaluation/247263-1170109481/solver /tmp/evaluation/247263-1170109481 /tmp/evaluation/247263-1170109481/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.77 2.78 2.57 4/73 26251
/proc/meminfo: memFree=1855544/2055920 swapFree=4192812/4192956
[pid=26250] ppid=26248 vsize=12268 CPUtime=0
/proc/26250/stat : 26250 (sugar) R 26248 26250 24589 0 -1 4194304 606 0 0 0 0 0 0 0 18 0 1 0 30904123 12562432 325 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216867175168 0 0 4224 0 0 0 0 17 0 0 0
/proc/26250/statm: 3067 325 246 3 0 167 0
[startup+0.107171 s]
/proc/loadavg: 2.77 2.78 2.57 4/73 26251
/proc/meminfo: memFree=1855544/2055920 swapFree=4192812/4192956
[pid=26250] ppid=26248 vsize=13724 CPUtime=0.04
/proc/26250/stat : 26250 (sugar) S 26248 26250 24589 0 -1 4194304 1112 0 0 0 3 1 0 0 19 0 1 0 30904123 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26250/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515253 s]
/proc/loadavg: 2.77 2.78 2.57 4/73 26251
/proc/meminfo: memFree=1855544/2055920 swapFree=4192812/4192956
[pid=26250] ppid=26248 vsize=13724 CPUtime=0.04
/proc/26250/stat : 26250 (sugar) S 26248 26250 24589 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30904123 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26250/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33839 s]
/proc/loadavg: 2.77 2.78 2.57 3/81 26259
/proc/meminfo: memFree=1791416/2055920 swapFree=4192812/4192956
[pid=26250] ppid=26248 vsize=13724 CPUtime=0.04
/proc/26250/stat : 26250 (sugar) S 26248 26250 24589 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30904123 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26250/statm: 3431 805 368 3 0 531 0
[pid=26252] ppid=26250 vsize=807004 CPUtime=1.28
/proc/26252/stat : 26252 (java) R 26250 26250 24589 0 -1 0 19020 0 1 0 117 11 0 0 17 0 8 0 30904128 826372096 18746 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153380220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26252/statm: 201751 18746 1695 14 0 189029 0
[pid=26252/tid=26253] ppid=26250 vsize=807004 CPUtime=0.14
/proc/26252/task/26253/stat : 26253 (java) S 26250 26250 24589 0 -1 64 12550 0 0 0 10 4 0 0 16 0 8 0 30904131 826372096 18746 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26252/tid=26254] ppid=26250 vsize=807004 CPUtime=0
/proc/26252/task/26254/stat : 26254 (java) S 26250 26250 24589 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30904131 826372096 18746 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26252/tid=26255] ppid=26250 vsize=807004 CPUtime=0
/proc/26252/task/26255/stat : 26255 (java) S 26250 26250 24589 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 30904131 826372096 18746 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26252/tid=26256] ppid=26250 vsize=807004 CPUtime=0
/proc/26252/task/26256/stat : 26256 (java) S 26250 26250 24589 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30904134 826372096 18746 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26252/tid=26257] ppid=26250 vsize=807004 CPUtime=0.04
/proc/26252/task/26257/stat : 26257 (java) S 26250 26250 24589 0 -1 64 283 0 0 0 4 0 0 0 16 0 8 0 30904134 826372096 18746 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26252/tid=26258] ppid=26250 vsize=807004 CPUtime=0
/proc/26252/task/26258/stat : 26258 (java) S 26250 26250 24589 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 30904134 826372096 18746 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26252/tid=26259] ppid=26250 vsize=807004 CPUtime=0
/proc/26252/task/26259/stat : 26259 (java) S 26250 26250 24589 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30904134 826372096 18746 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 820728
[startup+2.98565 s]
/proc/loadavg: 2.77 2.78 2.57 2/81 26267
/proc/meminfo: memFree=1816248/2055920 swapFree=4192812/4192956
[pid=26250] ppid=26248 vsize=13724 CPUtime=1.43
/proc/26250/stat : 26250 (sugar) S 26248 26250 24589 0 -1 4194304 1190 21509 0 1 3 1 125 14 15 0 1 0 30904123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26250/statm: 3431 809 371 3 0 531 0
[pid=26260] ppid=26250 vsize=807064 CPUtime=1.48
/proc/26260/stat : 26260 (java) S 26250 26250 24589 0 -1 0 12632 0 1 0 141 7 0 0 17 0 8 0 30904271 826433536 12371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26260/statm: 201766 12372 1494 14 0 189044 0
[pid=26260/tid=26261] ppid=26250 vsize=807064 CPUtime=0.37
/proc/26260/task/26261/stat : 26261 (java) R 26250 26250 24589 0 -1 64 6574 0 0 0 35 2 0 0 16 0 8 0 30904275 826433536 12373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26260/tid=26262] ppid=26250 vsize=807064 CPUtime=0
/proc/26260/task/26262/stat : 26262 (java) S 26250 26250 24589 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30904275 826433536 12374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26260/tid=26263] ppid=26250 vsize=807064 CPUtime=0
/proc/26260/task/26263/stat : 26263 (java) S 26250 26250 24589 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30904275 826433536 12375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26260/tid=26264] ppid=26250 vsize=807064 CPUtime=0
/proc/26260/task/26264/stat : 26264 (java) S 26250 26250 24589 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30904278 826433536 12376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26260/tid=26265] ppid=26250 vsize=807064 CPUtime=0.04
/proc/26260/task/26265/stat : 26265 (java) S 26250 26250 24589 0 -1 64 291 0 0 0 4 0 0 0 16 0 8 0 30904278 826433536 12378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26260/tid=26266] ppid=26250 vsize=807064 CPUtime=0
/proc/26260/task/26266/stat : 26266 (java) S 26250 26250 24589 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30904278 826433536 12379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26260/tid=26267] ppid=26250 vsize=807064 CPUtime=0
/proc/26260/task/26267/stat : 26267 (java) S 26250 26250 24589 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30904278 826433536 12381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 820788
[startup+6.27921 s]
/proc/loadavg: 2.71 2.77 2.57 2/81 26267
/proc/meminfo: memFree=1745720/2055920 swapFree=4192812/4192956
[pid=26250] ppid=26248 vsize=13724 CPUtime=1.43
/proc/26250/stat : 26250 (sugar) S 26248 26250 24589 0 -1 4194304 1190 21509 0 1 3 1 125 14 15 0 1 0 30904123 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26250/statm: 3431 809 371 3 0 531 0
[pid=26260] ppid=26250 vsize=807064 CPUtime=4.76
/proc/26260/stat : 26260 (java) R 26250 26250 24589 0 -1 0 29149 0 1 0 460 16 0 0 17 0 8 0 30904271 826433536 28855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26260/statm: 201766 28855 1494 14 0 189044 0
[pid=26260/tid=26261] ppid=26250 vsize=807064 CPUtime=1.39
/proc/26260/task/26261/stat : 26261 (java) S 26250 26250 24589 0 -1 64 23056 0 0 0 129 10 0 0 17 0 8 0 30904275 826433536 28855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26260/tid=26262] ppid=26250 vsize=807064 CPUtime=0
/proc/26260/task/26262/stat : 26262 (java) S 26250 26250 24589 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 30904275 826433536 28855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26260/tid=26263] ppid=26250 vsize=807064 CPUtime=0
/proc/26260/task/26263/stat : 26263 (java) S 26250 26250 24589 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30904275 826433536 28855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26260/tid=26264] ppid=26250 vsize=807064 CPUtime=0
/proc/26260/task/26264/stat : 26264 (java) S 26250 26250 24589 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30904278 826433536 28855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26260/tid=26265] ppid=26250 vsize=807064 CPUtime=0.05
/proc/26260/task/26265/stat : 26265 (java) S 26250 26250 24589 0 -1 64 291 0 0 0 5 0 0 0 16 0 8 0 30904278 826433536 28855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26260/tid=26266] ppid=26250 vsize=807064 CPUtime=0
/proc/26260/task/26266/stat : 26266 (java) S 26250 26250 24589 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30904278 826433536 28855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26260/tid=26267] ppid=26250 vsize=807064 CPUtime=0
/proc/26260/task/26267/stat : 26267 (java) S 26250 26250 24589 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30904278 826433536 28855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26250 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=291803 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=162975
CPU time returned by wait4() is 1.45478
while last known CPU time is 8.97
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 9.28121
CPU time (s): 8.97
CPU user time (s): 8.56
CPU system time (s): 0.41
CPU usage (%): 96.6469
Max. virtual memory (cumulated for all children) (KiB): 820860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2918
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22778
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= 1445
involuntary context switches= 116
runsolver used 0.012998 s user time and 0.055991 s system time
The end
Begin job on node43 on Mon Jan 29 22:24:41 UTC 2007
IDJOB= 247263
IDBENCH= 11094
IDSOLVER= 86
FILE ID= node43/247263-1170109481
PBS_JOBID= 3689834
Free space on /tmp= 60434 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-19_ext.xml
COMMAND LINE= /tmp/evaluation/247263-1170109481/solver /tmp/evaluation/247263-1170109481 /tmp/evaluation/247263-1170109481/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-247263-1170109481 -o ROOT/results/node43/solver-247263-1170109481 -C 1800 -M 900 /tmp/evaluation/247263-1170109481/solver /tmp/evaluation/247263-1170109481 /tmp/evaluation/247263-1170109481/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f8a6610ad9164c4321527d1173795619
RANDOM SEED= 405477539
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: 1856032 kB
Buffers: 28768 kB
Cached: 42020 kB
SwapCached: 0 kB
Active: 115308 kB
Inactive: 34936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1856032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2772 kB
Writeback: 0 kB
Mapped: 90172 kB
Slab: 35016 kB
Committed_AS: 409432 kB
PageTables: 1868 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= 65984 MiB
End job on node43 on Mon Jan 29 22:24:50 UTC 2007