0.53 c # Sugar v0-40 (/tmp/evaluation/247152-1170109469/sugar-v0-40.jar)
0.53
0.54 c # MAIN BEGIN : /tmp/evaluation/247152-1170109469/unknown.xml [Mon Jan 29 23:24:30 2007]
0.54 c # CONVERT_XML BEGIN : /tmp/evaluation/247152-1170109469/unknown.xml /tmp/evaluation/247152-1170109469/sugar26187.csp [Mon Jan 29 23:24:30 2007]
0.54 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247152-1170109469/sugar-v0-40.jar -convert /tmp/evaluation/247152-1170109469/unknown.xml /tmp/evaluation/247152-1170109469/sugar26187.csp
1.19 c BEGIN convert /tmp/evaluation/247152-1170109469/unknown.xml
2.51 c END convert (1.323436 seconds)
2.56 c # CONVERT_XML END : /tmp/evaluation/247152-1170109469/sugar26187.csp 6860310 bytes (2 seconds) [Mon Jan 29 23:24:32 2007]
2.56 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
2.56
2.56 c # GENERATE_SAT BEGIN : /tmp/evaluation/247152-1170109469/sugar26187.bcnf [Mon Jan 29 23:24:32 2007]
2.56 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247152-1170109469/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247152-1170109469/sugar26187.map /tmp/evaluation/247152-1170109469/sugar26187.csp /tmp/evaluation/247152-1170109469/sugar26187.bcnf
2.67 c BEGIN parse /tmp/evaluation/247152-1170109469/sugar26187.csp
10.01 c Exception in thread "main" java.lang.StackOverflowError
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:468)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.01 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.02 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.03 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.04 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.05 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.06 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
10.07 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
10.10 s UNKNOWN
10.10 c # ERROR /tmp/evaluation/247152-1170109469/sugar26187.bcnf is not generated, at /tmp/evaluation/247152-1170109469/sugar line 310.
10.10
10.10 c # MAIN END : (9 seconds) [Mon Jan 29 23:24:39 2007]
10.10 c # MAIN CPU : 0.02 = 0.01 + 0.01 + 0 + 0
10.10
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-247152-1170109469 -o ROOT/results/node43/solver-247152-1170109469 -C 1800 -M 900 /tmp/evaluation/247152-1170109469/solver /tmp/evaluation/247152-1170109469 /tmp/evaluation/247152-1170109469/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: 3.09 2.84 2.59 4/73 26188
/proc/meminfo: memFree=1870720/2055920 swapFree=4192812/4192956
[pid=26187] ppid=26185 vsize=5352 CPUtime=0
/proc/26187/stat : 26187 (solver) D 26185 26187 24589 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 30902952 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 216849247527 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/26187/statm: 1338 231 193 169 0 49 0
[startup+0.105731 s]
/proc/loadavg: 3.09 2.84 2.59 4/73 26188
/proc/meminfo: memFree=1870720/2055920 swapFree=4192812/4192956
[pid=26187] ppid=26185 vsize=2504 CPUtime=0
/proc/26187/stat : 26187 (sugar) D 26185 26187 24589 0 -1 4194304 286 0 1 0 0 0 0 0 18 0 1 0 30902952 2564096 23 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216846631632 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/26187/statm: 626 23 17 3 0 3 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2504
[startup+0.513797 s]
/proc/loadavg: 3.09 2.84 2.59 4/73 26188
/proc/meminfo: memFree=1870720/2055920 swapFree=4192812/4192956
[pid=26187] ppid=26185 vsize=13196 CPUtime=0.03
/proc/26187/stat : 26187 (sugar) R 26185 26187 24589 0 -1 4194304 928 0 4 0 2 1 0 0 18 0 1 0 30902952 13512704 651 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 0 0 0 0 17 0 0 0
/proc/26187/statm: 3299 651 334 3 0 399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13196
[startup+1.33507 s]
/proc/loadavg: 3.00 2.83 2.58 2/77 26192
/proc/meminfo: memFree=1864352/2055920 swapFree=4192812/4192956
[pid=26187] ppid=26185 vsize=13724 CPUtime=0.04
/proc/26187/stat : 26187 (sugar) S 26185 26187 24589 0 -1 4194304 1117 0 4 0 3 1 0 0 15 0 1 0 30902952 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26187/statm: 3431 805 368 3 0 531 0
[pid=26189] ppid=26187 vsize=807004 CPUtime=0.2
/proc/26189/stat : 26189 (java) D 26187 26187 24589 0 -1 0 3864 0 29 0 16 4 0 0 17 0 8 0 30903006 826372096 3641 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26189/statm: 201751 3641 1674 14 0 189029 0
[pid=26189/tid=26190] ppid=26187 vsize=807004 CPUtime=0
/proc/26189/task/26190/stat : 26190 (java) S 26187 26187 24589 0 -1 64 6 0 0 0 0 0 0 0 20 0 8 0 30903062 826372096 3644 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26189/tid=26191] ppid=26187 vsize=807004 CPUtime=0
/proc/26189/task/26191/stat : 26191 (java) S 26187 26187 24589 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 30903062 826372096 3645 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26189/tid=26192] ppid=26187 vsize=807004 CPUtime=0
/proc/26189/task/26192/stat : 26192 (java) S 26187 26187 24589 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 30903063 826372096 3647 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 820728
[startup+2.97568 s]
/proc/loadavg: 3.00 2.83 2.58 2/81 26196
/proc/meminfo: memFree=1797632/2055920 swapFree=4192812/4192956
[pid=26187] ppid=26185 vsize=13724 CPUtime=0.04
/proc/26187/stat : 26187 (sugar) S 26185 26187 24589 0 -1 4194304 1184 0 4 0 3 1 0 0 15 0 1 0 30902952 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26187/statm: 3431 808 370 3 0 531 0
[pid=26189] ppid=26187 vsize=0 CPUtime=1.38
/proc/26189/stat : 26189 (java) Z 26187 26187 24589 0 -1 1036 21415 0 32 0 123 15 0 0 16 0 1 0 30903006 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26189/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 13724
[startup+6.17757 s]
/proc/loadavg: 3.00 2.83 2.58 2/82 26204
/proc/meminfo: memFree=1776000/2055920 swapFree=4192812/4192956
[pid=26187] ppid=26185 vsize=13724 CPUtime=0.04
/proc/26187/stat : 26187 (sugar) S 26185 26187 24589 0 -1 4194304 1184 0 4 0 3 1 0 0 15 0 1 0 30902952 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 216858144866 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26187/statm: 3431 808 370 3 0 531 0
[pid=26189] ppid=26187 vsize=0 CPUtime=1.38
/proc/26189/stat : 26189 (java) Z 26187 26187 24589 0 -1 1036 21415 0 32 0 123 15 0 0 16 0 1 0 30903006 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26189/statm: 0 0 0 0 0 0 0
[pid=26197] ppid=26187 vsize=807064 CPUtime=3.59
/proc/26197/stat : 26197 (java) R 26187 26187 24589 0 -1 0 23108 0 1 0 348 11 0 0 17 0 8 0 30903208 826433536 22826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073515116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26197/statm: 201766 22826 1494 14 0 189044 0
[pid=26197/tid=26198] ppid=26187 vsize=807064 CPUtime=1
/proc/26197/task/26198/stat : 26198 (java) S 26187 26187 24589 0 -1 64 17026 0 0 0 94 6 0 0 16 0 8 0 30903211 826433536 22826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26197/tid=26199] ppid=26187 vsize=807064 CPUtime=0
/proc/26197/task/26199/stat : 26199 (java) S 26187 26187 24589 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30903212 826433536 22826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26197/tid=26200] ppid=26187 vsize=807064 CPUtime=0
/proc/26197/task/26200/stat : 26200 (java) S 26187 26187 24589 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30903212 826433536 22826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26197/tid=26201] ppid=26187 vsize=807064 CPUtime=0
/proc/26197/task/26201/stat : 26201 (java) S 26187 26187 24589 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30903215 826433536 22826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26197/tid=26202] ppid=26187 vsize=807064 CPUtime=0.05
/proc/26197/task/26202/stat : 26202 (java) S 26187 26187 24589 0 -1 64 291 0 0 0 5 0 0 0 16 0 8 0 30903215 826433536 22826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26197/tid=26203] ppid=26187 vsize=807064 CPUtime=0
/proc/26197/task/26203/stat : 26203 (java) S 26187 26187 24589 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30903215 826433536 22826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26197/tid=26204] ppid=26187 vsize=807064 CPUtime=0
/proc/26197/task/26204/stat : 26204 (java) S 26187 26187 24589 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30903215 826433536 22826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26187 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=42993 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=29995
CPU time returned by wait4() is 0.072988
while last known CPU time is 8.91
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 10.1118
CPU time (s): 8.91
CPU user time (s): 8.52
CPU system time (s): 0.39
CPU usage (%): 88.1147
Max. virtual memory (cumulated for all children) (KiB): 820788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.042993
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1265
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1524
involuntary context switches= 6
runsolver used 0.020996 s user time and 0.042993 s system time
The end
Begin job on node43 on Mon Jan 29 22:24:29 UTC 2007
IDJOB= 247152
IDBENCH= 11086
IDSOLVER= 86
FILE ID= node43/247152-1170109469
PBS_JOBID= 3689834
Free space on /tmp= 53984 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-13_ext.xml
COMMAND LINE= /tmp/evaluation/247152-1170109469/solver /tmp/evaluation/247152-1170109469 /tmp/evaluation/247152-1170109469/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-247152-1170109469 -o ROOT/results/node43/solver-247152-1170109469 -C 1800 -M 900 /tmp/evaluation/247152-1170109469/solver /tmp/evaluation/247152-1170109469 /tmp/evaluation/247152-1170109469/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 3a79806ad987136e66cdfb5c8a2b9150
RANDOM SEED= 604226618
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1871264 kB
Buffers: 22176 kB
Cached: 33312 kB
SwapCached: 0 kB
Active: 112376 kB
Inactive: 22524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1871264 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2376 kB
Writeback: 0 kB
Mapped: 90172 kB
Slab: 35116 kB
Committed_AS: 404944 kB
PageTables: 1868 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 59409 MiB
End job on node43 on Mon Jan 29 22:24:39 UTC 2007