0.05 c # Sugar v0-40 (/tmp/evaluation/206900-1170096893/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/206900-1170096893/unknown.xml [Mon Jan 29 19:54:55 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/206900-1170096893/unknown.xml /tmp/evaluation/206900-1170096893/sugar22992.csp [Mon Jan 29 19:54:55 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/206900-1170096893/sugar-v0-40.jar -convert /tmp/evaluation/206900-1170096893/unknown.xml /tmp/evaluation/206900-1170096893/sugar22992.csp
0.17 c BEGIN convert /tmp/evaluation/206900-1170096893/unknown.xml
1.51 c END convert (1.339811 seconds)
1.54 c # CONVERT_XML END : /tmp/evaluation/206900-1170096893/sugar22992.csp 7973707 bytes (2 seconds) [Mon Jan 29 19:54:57 2007]
1.54 c # CONVERT_XML CPU : 1.44 = 0 + 0 + 1.37 + 0.07
1.54
1.54 c # GENERATE_SAT BEGIN : /tmp/evaluation/206900-1170096893/sugar22992.bcnf [Mon Jan 29 19:54:57 2007]
1.54 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/206900-1170096893/sugar-v0-40.jar -bcnf -map /tmp/evaluation/206900-1170096893/sugar22992.map /tmp/evaluation/206900-1170096893/sugar22992.csp /tmp/evaluation/206900-1170096893/sugar22992.bcnf
1.66 c BEGIN parse /tmp/evaluation/206900-1170096893/sugar22992.csp
10.13 c Exception in thread "main" java.lang.StackOverflowError
10.14 c at java.util.ArrayList.(Unknown Source)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:436)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.14 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.15 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.16 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.17 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.18 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.19 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.20 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.21 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.22 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.23 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.24 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.27 s UNKNOWN
10.27 c # ERROR /tmp/evaluation/206900-1170096893/sugar22992.bcnf is not generated, at /tmp/evaluation/206900-1170096893/sugar line 310.
10.27
10.27 c # MAIN END : (10 seconds) [Mon Jan 29 19:55:05 2007]
10.27 c # MAIN CPU : 1.46 = 0.01 + 0.01 + 1.37 + 0.07
10.27
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-206900-1170096893 -o ROOT/results/node44/solver-206900-1170096893 -C 1800 -M 900 /tmp/evaluation/206900-1170096893/solver /tmp/evaluation/206900-1170096893 /tmp/evaluation/206900-1170096893/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.08 1.82 1.70 5/81 22993
/proc/meminfo: memFree=1294496/2055920 swapFree=4192956/4192956
[pid=22992] ppid=22990 vsize=5352 CPUtime=0
/proc/22992/stat : 22992 (solver) R 22990 22992 22718 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 29645643 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 264840473895 0 0 4096 0 0 0 0 17 1 0 0
/proc/22992/statm: 1338 231 193 169 0 49 0
[startup+0.104719 s]
/proc/loadavg: 2.08 1.82 1.70 5/81 22993
/proc/meminfo: memFree=1294496/2055920 swapFree=4192956/4192956
[pid=22992] ppid=22990 vsize=13724 CPUtime=0.04
/proc/22992/stat : 22992 (sugar) S 22990 22992 22718 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 29645643 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22992/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515796 s]
/proc/loadavg: 2.08 1.82 1.70 5/81 22993
/proc/meminfo: memFree=1294496/2055920 swapFree=4192956/4192956
[pid=22992] ppid=22990 vsize=13724 CPUtime=0.04
/proc/22992/stat : 22992 (sugar) S 22990 22992 22718 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29645643 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22992/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34095 s]
/proc/loadavg: 2.08 1.82 1.70 4/89 23001
/proc/meminfo: memFree=1240992/2055920 swapFree=4192956/4192956
[pid=22992] ppid=22990 vsize=13724 CPUtime=0.04
/proc/22992/stat : 22992 (sugar) S 22990 22992 22718 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29645643 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22992/statm: 3431 805 368 3 0 531 0
[pid=22994] ppid=22992 vsize=807128 CPUtime=1.27
/proc/22994/stat : 22994 (java) R 22992 22992 22718 0 -1 0 8438 0 1 0 121 6 0 0 23 0 8 0 29645648 826499072 8167 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073417756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22994/statm: 201782 8167 1693 14 0 189060 0
[pid=22994/tid=22995] ppid=22992 vsize=807128 CPUtime=0.11
/proc/22994/task/22995/stat : 22995 (java) S 22992 22992 22718 0 -1 64 1931 0 0 0 11 0 0 0 16 0 8 0 29645652 826499072 8167 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22994/tid=22996] ppid=22992 vsize=807128 CPUtime=0
/proc/22994/task/22996/stat : 22996 (java) S 22992 22992 22718 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29645652 826499072 8167 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22994/tid=22997] ppid=22992 vsize=807128 CPUtime=0
/proc/22994/task/22997/stat : 22997 (java) S 22992 22992 22718 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 29645652 826499072 8167 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22994/tid=22998] ppid=22992 vsize=807128 CPUtime=0
/proc/22994/task/22998/stat : 22998 (java) S 22992 22992 22718 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 29645656 826499072 8167 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22994/tid=22999] ppid=22992 vsize=807128 CPUtime=0.09
/proc/22994/task/22999/stat : 22999 (java) S 22992 22992 22718 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 29645656 826499072 8167 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22994/tid=23000] ppid=22992 vsize=807128 CPUtime=0
/proc/22994/task/23000/stat : 23000 (java) S 22992 22992 22718 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 29645656 826499072 8167 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22994/tid=23001] ppid=22992 vsize=807128 CPUtime=0
/proc/22994/task/23001/stat : 23001 (java) S 22992 22992 22718 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29645656 826499072 8167 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 820852
[startup+2.97824 s]
/proc/loadavg: 2.08 1.82 1.70 3/89 23009
/proc/meminfo: memFree=1213920/2055920 swapFree=4192956/4192956
[pid=22992] ppid=22990 vsize=13724 CPUtime=1.48
/proc/22992/stat : 22992 (sugar) S 22990 22992 22718 0 -1 4194304 1190 8585 0 1 3 1 137 7 15 0 1 0 29645643 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22992/statm: 3431 809 371 3 0 531 0
[pid=23002] ppid=22992 vsize=807064 CPUtime=1.41
/proc/23002/stat : 23002 (java) R 22992 22992 22718 0 -1 0 11740 0 1 0 135 6 0 0 24 0 8 0 29645798 826433536 11480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073554821 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23002/statm: 201766 11480 1494 14 0 189044 0
[pid=23002/tid=23003] ppid=22992 vsize=807064 CPUtime=0.31
/proc/23002/task/23003/stat : 23003 (java) S 22992 22992 22718 0 -1 64 5679 0 0 0 29 2 0 0 16 0 8 0 29645801 826433536 11480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23004] ppid=22992 vsize=807064 CPUtime=0
/proc/23002/task/23004/stat : 23004 (java) S 22992 22992 22718 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29645801 826433536 11480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23005] ppid=22992 vsize=807064 CPUtime=0
/proc/23002/task/23005/stat : 23005 (java) S 22992 22992 22718 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29645801 826433536 11480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23006] ppid=22992 vsize=807064 CPUtime=0
/proc/23002/task/23006/stat : 23006 (java) S 22992 22992 22718 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29645805 826433536 11480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23007] ppid=22992 vsize=807064 CPUtime=0.05
/proc/23002/task/23007/stat : 23007 (java) S 22992 22992 22718 0 -1 64 291 0 0 0 5 0 0 0 19 0 8 0 29645805 826433536 11480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23008] ppid=22992 vsize=807064 CPUtime=0
/proc/23002/task/23008/stat : 23008 (java) S 22992 22992 22718 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29645805 826433536 11480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23009] ppid=22992 vsize=807064 CPUtime=0
/proc/23002/task/23009/stat : 23009 (java) S 22992 22992 22718 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29645805 826433536 11480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 820788
[startup+6.18183 s]
/proc/loadavg: 2.16 1.83 1.71 4/89 23009
/proc/meminfo: memFree=1100832/2055920 swapFree=4192956/4192956
[pid=22992] ppid=22990 vsize=13724 CPUtime=1.48
/proc/22992/stat : 22992 (sugar) S 22990 22992 22718 0 -1 4194304 1190 8585 0 1 3 1 137 7 15 0 1 0 29645643 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22992/statm: 3431 809 371 3 0 531 0
[pid=23002] ppid=22992 vsize=807064 CPUtime=4.58
/proc/23002/stat : 23002 (java) R 22992 22992 22718 0 -1 0 25628 0 1 0 444 14 0 0 25 0 8 0 29645798 826433536 25338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23002/statm: 201766 25338 1494 14 0 189044 0
[pid=23002/tid=23003] ppid=22992 vsize=807064 CPUtime=1.23
/proc/23002/task/23003/stat : 23003 (java) R 22992 22992 22718 0 -1 64 19536 0 0 0 114 9 0 0 16 0 8 0 29645801 826433536 25338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822966 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23004] ppid=22992 vsize=807064 CPUtime=0
/proc/23002/task/23004/stat : 23004 (java) S 22992 22992 22718 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29645801 826433536 25338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23005] ppid=22992 vsize=807064 CPUtime=0
/proc/23002/task/23005/stat : 23005 (java) S 22992 22992 22718 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29645801 826433536 25338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23006] ppid=22992 vsize=807064 CPUtime=0
/proc/23002/task/23006/stat : 23006 (java) S 22992 22992 22718 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29645805 826433536 25338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23007] ppid=22992 vsize=807064 CPUtime=0.05
/proc/23002/task/23007/stat : 23007 (java) S 22992 22992 22718 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29645805 826433536 25338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23008] ppid=22992 vsize=807064 CPUtime=0
/proc/23002/task/23008/stat : 23008 (java) S 22992 22992 22718 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29645805 826433536 25338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23002/tid=23009] ppid=22992 vsize=807064 CPUtime=0
/proc/23002/task/23009/stat : 23009 (java) S 22992 22992 22718 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29645805 826433536 25338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22992 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=416784 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=102984
CPU time returned by wait4() is 1.51977
while last known CPU time is 10.1
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 10.3378
CPU time (s): 10.1
CPU user time (s): 9.73
CPU system time (s): 0.37
CPU usage (%): 97.6999
Max. virtual memory (cumulated for all children) (KiB): 820852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.41678
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9853
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= 2587
involuntary context switches= 541
runsolver used 0.017997 s user time and 0.053991 s system time
The end
Begin job on node44 on Mon Jan 29 18:54:54 UTC 2007
IDJOB= 206900
IDBENCH= 4243
IDSOLVER= 86
FILE ID= node44/206900-1170096893
PBS_JOBID= 3689668
Free space on /tmp= 66525 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-20/tsp-20-29_ext.xml
COMMAND LINE= /tmp/evaluation/206900-1170096893/solver /tmp/evaluation/206900-1170096893 /tmp/evaluation/206900-1170096893/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-206900-1170096893 -o ROOT/results/node44/solver-206900-1170096893 -C 1800 -M 900 /tmp/evaluation/206900-1170096893/solver /tmp/evaluation/206900-1170096893 /tmp/evaluation/206900-1170096893/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 04b4795b77409afc7c05ce4059628839
RANDOM SEED= 273771770
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.261
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.261
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: 1316160 kB
Buffers: 49372 kB
Cached: 462668 kB
SwapCached: 0 kB
Active: 300492 kB
Inactive: 366260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1316160 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 40632 kB
Writeback: 0 kB
Mapped: 171456 kB
Slab: 57908 kB
Committed_AS: 381740 kB
PageTables: 2096 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 node44 on Mon Jan 29 18:55:05 UTC 2007