0.05 c # Sugar v0-40 (/tmp/evaluation/206887-1170096892/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/206887-1170096892/unknown.xml [Mon Jan 29 19:54:54 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/206887-1170096892/unknown.xml /tmp/evaluation/206887-1170096892/sugar26648.csp [Mon Jan 29 19:54:54 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/206887-1170096892/sugar-v0-40.jar -convert /tmp/evaluation/206887-1170096892/unknown.xml /tmp/evaluation/206887-1170096892/sugar26648.csp
0.19 c BEGIN convert /tmp/evaluation/206887-1170096892/unknown.xml
1.87 c END convert (1.68549 seconds)
1.92 c # CONVERT_XML END : /tmp/evaluation/206887-1170096892/sugar26648.csp 9626975 bytes (2 seconds) [Mon Jan 29 19:54:56 2007]
1.92 c # CONVERT_XML CPU : 1.81 = 0 + 0 + 1.7 + 0.11
1.92
1.92 c # GENERATE_SAT BEGIN : /tmp/evaluation/206887-1170096892/sugar26648.bcnf [Mon Jan 29 19:54:56 2007]
1.92 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/206887-1170096892/sugar-v0-40.jar -bcnf -map /tmp/evaluation/206887-1170096892/sugar26648.map /tmp/evaluation/206887-1170096892/sugar26648.csp /tmp/evaluation/206887-1170096892/sugar26648.bcnf
2.06 c BEGIN parse /tmp/evaluation/206887-1170096892/sugar26648.csp
12.28 c Exception in thread "main" java.lang.StackOverflowError
12.29 c at java.util.ArrayList.(Unknown Source)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:436)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.29 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.30 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.31 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.32 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.33 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.34 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.35 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.36 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.37 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.38 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
12.39 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
12.45 s UNKNOWN
12.45 c # ERROR /tmp/evaluation/206887-1170096892/sugar26648.bcnf is not generated, at /tmp/evaluation/206887-1170096892/sugar line 310.
12.45
12.45 c # MAIN END : (12 seconds) [Mon Jan 29 19:55:06 2007]
12.45 c # MAIN CPU : 1.84 = 0.01 + 0.02 + 1.7 + 0.11
12.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-206887-1170096892 -o ROOT/results/node35/solver-206887-1170096892 -C 1800 -M 900 /tmp/evaluation/206887-1170096892/solver /tmp/evaluation/206887-1170096892 /tmp/evaluation/206887-1170096892/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.94 2.12 2.45 3/81 26649
/proc/meminfo: memFree=811600/2055920 swapFree=4192956/4192956
[pid=26648] ppid=26646 vsize=12132 CPUtime=0
/proc/26648/stat : 26648 (sugar) R 26646 26648 26437 0 -1 4194304 537 0 0 0 0 0 0 0 18 0 1 0 3453093 12423168 256 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266134262497 0 0 4224 0 0 0 0 17 1 0 0
/proc/26648/statm: 3033 257 189 3 0 133 0
[startup+0.101961 s]
/proc/loadavg: 1.94 2.12 2.45 3/81 26649
/proc/meminfo: memFree=811600/2055920 swapFree=4192956/4192956
[pid=26648] ppid=26646 vsize=13724 CPUtime=0.03
/proc/26648/stat : 26648 (sugar) S 26646 26648 26437 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 3453093 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26648/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.510019 s]
/proc/loadavg: 1.94 2.12 2.45 3/81 26649
/proc/meminfo: memFree=811600/2055920 swapFree=4192956/4192956
[pid=26648] ppid=26646 vsize=13724 CPUtime=0.03
/proc/26648/stat : 26648 (sugar) S 26646 26648 26437 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 3453093 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26648/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33319 s]
/proc/loadavg: 1.94 2.12 2.45 4/89 26657
/proc/meminfo: memFree=777552/2055920 swapFree=4192956/4192956
[pid=26648] ppid=26646 vsize=13724 CPUtime=0.03
/proc/26648/stat : 26648 (sugar) S 26646 26648 26437 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 3453093 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26648/statm: 3431 805 368 3 0 531 0
[pid=26650] ppid=26648 vsize=807128 CPUtime=1.25
/proc/26650/stat : 26650 (java) R 26648 26648 26437 0 -1 0 9008 0 1 0 118 7 0 0 23 0 8 0 3453099 826499072 8737 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4155193423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26650/statm: 201782 8737 1693 14 0 189060 0
[pid=26650/tid=26651] ppid=26648 vsize=807128 CPUtime=0.11
/proc/26650/task/26651/stat : 26651 (java) R 26648 26648 26437 0 -1 64 2504 0 0 0 10 1 0 0 16 0 8 0 3453103 826499072 8737 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26650/tid=26652] ppid=26648 vsize=807128 CPUtime=0
/proc/26650/task/26652/stat : 26652 (java) S 26648 26648 26437 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 3453103 826499072 8740 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26650/tid=26653] ppid=26648 vsize=807128 CPUtime=0
/proc/26650/task/26653/stat : 26653 (java) S 26648 26648 26437 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 3453103 826499072 8746 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26650/tid=26654] ppid=26648 vsize=807128 CPUtime=0
/proc/26650/task/26654/stat : 26654 (java) S 26648 26648 26437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3453107 826499072 8751 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26650/tid=26655] ppid=26648 vsize=807128 CPUtime=0.09
/proc/26650/task/26655/stat : 26655 (java) S 26648 26648 26437 0 -1 64 314 0 0 0 9 0 0 0 16 0 8 0 3453107 826499072 8756 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26650/tid=26656] ppid=26648 vsize=807128 CPUtime=0
/proc/26650/task/26656/stat : 26656 (java) S 26648 26648 26437 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3453107 826499072 8763 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26650/tid=26657] ppid=26648 vsize=807128 CPUtime=0
/proc/26650/task/26657/stat : 26657 (java) S 26648 26648 26437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3453107 826499072 8769 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 820852
[startup+2.98352 s]
/proc/loadavg: 1.94 2.12 2.45 4/89 26665
/proc/meminfo: memFree=782096/2055920 swapFree=4192956/4192956
[pid=26648] ppid=26646 vsize=13724 CPUtime=1.84
/proc/26648/stat : 26648 (sugar) S 26646 26648 26437 0 -1 4194304 1190 10525 0 1 3 0 170 11 15 0 1 0 3453093 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26648/statm: 3431 809 371 3 0 531 0
[pid=26658] ppid=26648 vsize=807064 CPUtime=1.03
/proc/26658/stat : 26658 (java) R 26648 26648 26437 0 -1 0 9826 0 1 0 97 6 0 0 21 0 8 0 3453285 826433536 9570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073492157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26658/statm: 201766 9570 1494 14 0 189044 0
[pid=26658/tid=26659] ppid=26648 vsize=807064 CPUtime=0.21
/proc/26658/task/26659/stat : 26659 (java) S 26648 26648 26437 0 -1 64 3769 0 0 0 19 2 0 0 16 0 8 0 3453289 826433536 9570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26660] ppid=26648 vsize=807064 CPUtime=0
/proc/26658/task/26660/stat : 26660 (java) S 26648 26648 26437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3453289 826433536 9570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26661] ppid=26648 vsize=807064 CPUtime=0
/proc/26658/task/26661/stat : 26661 (java) S 26648 26648 26437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3453289 826433536 9570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26662] ppid=26648 vsize=807064 CPUtime=0
/proc/26658/task/26662/stat : 26662 (java) S 26648 26648 26437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3453294 826433536 9570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26663] ppid=26648 vsize=807064 CPUtime=0.05
/proc/26658/task/26663/stat : 26663 (java) S 26648 26648 26437 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 3453294 826433536 9570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26664] ppid=26648 vsize=807064 CPUtime=0
/proc/26658/task/26664/stat : 26664 (java) S 26648 26648 26437 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3453294 826433536 9570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26665] ppid=26648 vsize=807064 CPUtime=0
/proc/26658/task/26665/stat : 26665 (java) S 26648 26648 26437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3453294 826433536 9570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 820788
[startup+6.27318 s]
/proc/loadavg: 2.02 2.14 2.46 3/89 26665
/proc/meminfo: memFree=719632/2055920 swapFree=4192956/4192956
[pid=26648] ppid=26646 vsize=13724 CPUtime=1.84
/proc/26648/stat : 26648 (sugar) S 26646 26648 26437 0 -1 4194304 1190 10525 0 1 3 0 170 11 15 0 1 0 3453093 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26648/statm: 3431 809 371 3 0 531 0
[pid=26658] ppid=26648 vsize=807064 CPUtime=4.32
/proc/26658/stat : 26658 (java) R 26648 26648 26437 0 -1 0 24203 0 1 0 416 16 0 0 25 0 8 0 3453285 826433536 23916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26658/statm: 201766 23916 1494 14 0 189044 0
[pid=26658/tid=26659] ppid=26648 vsize=807064 CPUtime=1.19
/proc/26658/task/26659/stat : 26659 (java) R 26648 26648 26437 0 -1 64 18114 0 0 0 109 10 0 0 16 0 8 0 3453289 826433536 23916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26660] ppid=26648 vsize=807064 CPUtime=0
/proc/26658/task/26660/stat : 26660 (java) S 26648 26648 26437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 3453289 826433536 23916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26661] ppid=26648 vsize=807064 CPUtime=0
/proc/26658/task/26661/stat : 26661 (java) S 26648 26648 26437 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 3453289 826433536 23916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26662] ppid=26648 vsize=807064 CPUtime=0
/proc/26658/task/26662/stat : 26662 (java) S 26648 26648 26437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 3453294 826433536 23916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26663] ppid=26648 vsize=807064 CPUtime=0.05
/proc/26658/task/26663/stat : 26663 (java) S 26648 26648 26437 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 3453294 826433536 23916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26664] ppid=26648 vsize=807064 CPUtime=0
/proc/26658/task/26664/stat : 26664 (java) S 26648 26648 26437 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 3453294 826433536 23916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26658/tid=26665] ppid=26648 vsize=807064 CPUtime=0
/proc/26658/task/26665/stat : 26665 (java) S 26648 26648 26437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 3453294 826433536 23916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26648 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=753733 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=137979
CPU time returned by wait4() is 1.89171
while last known CPU time is 12.23
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 12.4601
CPU time (s): 12.23
CPU user time (s): 11.77
CPU system time (s): 0.46
CPU usage (%): 98.1533
Max. virtual memory (cumulated for all children) (KiB): 820852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.75373
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11793
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= 2699
involuntary context switches= 573
runsolver used 0.018997 s user time and 0.06399 s system time
The end
Begin job on node35 on Mon Jan 29 18:54:53 UTC 2007
IDJOB= 206887
IDBENCH= 4242
IDSOLVER= 86
FILE ID= node35/206887-1170096892
PBS_JOBID= 3689672
Free space on /tmp= 66525 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-20/tsp-20-30_ext.xml
COMMAND LINE= /tmp/evaluation/206887-1170096892/solver /tmp/evaluation/206887-1170096892 /tmp/evaluation/206887-1170096892/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-206887-1170096892 -o ROOT/results/node35/solver-206887-1170096892 -C 1800 -M 900 /tmp/evaluation/206887-1170096892/solver /tmp/evaluation/206887-1170096892 /tmp/evaluation/206887-1170096892/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 99508601b0bee9d74f9de02c0f7f18b1
RANDOM SEED= 863233471
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 812144 kB
Buffers: 35344 kB
Cached: 494852 kB
SwapCached: 0 kB
Active: 804724 kB
Inactive: 365956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 812144 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 860 kB
Writeback: 0 kB
Mapped: 657292 kB
Slab: 57088 kB
Committed_AS: 778576 kB
PageTables: 3064 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= 66525 MiB
End job on node35 on Mon Jan 29 18:55:07 UTC 2007