0.05 c # Sugar v0-40 (/tmp/evaluation/247360-1170109501/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/247360-1170109501/unknown.xml [Mon Jan 29 23:25:01 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/247360-1170109501/unknown.xml /tmp/evaluation/247360-1170109501/sugar31259.csp [Mon Jan 29 23:25:01 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247360-1170109501/sugar-v0-40.jar -convert /tmp/evaluation/247360-1170109501/unknown.xml /tmp/evaluation/247360-1170109501/sugar31259.csp
0.16 c BEGIN convert /tmp/evaluation/247360-1170109501/unknown.xml
1.49 c END convert (1.320705 seconds)
1.62 c # CONVERT_XML END : /tmp/evaluation/247360-1170109501/sugar31259.csp 6840310 bytes (2 seconds) [Mon Jan 29 23:25:03 2007]
1.62 c # CONVERT_XML CPU : 1.43 = 0 + 0 + 1.3 + 0.13
1.62
1.62 c # GENERATE_SAT BEGIN : /tmp/evaluation/247360-1170109501/sugar31259.bcnf [Mon Jan 29 23:25:03 2007]
1.62 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/247360-1170109501/sugar-v0-40.jar -bcnf -map /tmp/evaluation/247360-1170109501/sugar31259.map /tmp/evaluation/247360-1170109501/sugar31259.csp /tmp/evaluation/247360-1170109501/sugar31259.bcnf
1.73 c BEGIN parse /tmp/evaluation/247360-1170109501/sugar31259.csp
8.81 c Exception in thread "main" java.lang.StackOverflowError
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:468)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.81 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.82 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.83 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.84 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.85 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.86 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.87 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.88 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.89 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.90 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parse(CSPParser.java:486)
8.91 c at jp.ac.kobe_u.cs.sugar.CSPParser.parseOR(CSPParser.java:439)
8.98 s UNKNOWN
8.98 c # ERROR /tmp/evaluation/247360-1170109501/sugar31259.bcnf is not generated, at /tmp/evaluation/247360-1170109501/sugar line 310.
8.98
8.98 c # MAIN END : (9 seconds) [Mon Jan 29 23:25:10 2007]
8.98 c # MAIN CPU : 1.44 = 0.01 + 0 + 1.3 + 0.13
8.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-247360-1170109501 -o ROOT/results/node16/solver-247360-1170109501 -C 1800 -M 900 /tmp/evaluation/247360-1170109501/solver /tmp/evaluation/247360-1170109501 /tmp/evaluation/247360-1170109501/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.56 3.16 4.10 5/87 31260
/proc/meminfo: memFree=1869232/2055920 swapFree=4192812/4192956
[pid=31259] ppid=31257 vsize=7504 CPUtime=0
/proc/31259/stat : 31259 (sugar) R 31257 31259 29214 0 -1 4194304 315 0 0 0 0 0 0 0 20 0 1 0 30904460 7684096 51 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231959754121 0 0 4096 0 0 0 0 17 1 0 0
/proc/31259/statm: 1876 51 38 3 0 55 0
[startup+0.104666 s]
/proc/loadavg: 2.56 3.16 4.10 5/87 31260
/proc/meminfo: memFree=1869232/2055920 swapFree=4192812/4192956
[pid=31259] ppid=31257 vsize=13724 CPUtime=0.04
/proc/31259/stat : 31259 (sugar) S 31257 31259 29214 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30904460 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31259/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.512628 s]
/proc/loadavg: 2.56 3.16 4.10 5/87 31260
/proc/meminfo: memFree=1869232/2055920 swapFree=4192812/4192956
[pid=31259] ppid=31257 vsize=13724 CPUtime=0.04
/proc/31259/stat : 31259 (sugar) S 31257 31259 29214 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30904460 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31259/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34053 s]
/proc/loadavg: 2.51 3.14 4.09 3/95 31268
/proc/meminfo: memFree=1806960/2055920 swapFree=4192812/4192956
[pid=31259] ppid=31257 vsize=13724 CPUtime=0.04
/proc/31259/stat : 31259 (sugar) S 31257 31259 29214 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30904460 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31259/statm: 3431 805 368 3 0 531 0
[pid=31261] ppid=31259 vsize=807004 CPUtime=1.27
/proc/31261/stat : 31261 (java) R 31259 31259 29214 0 -1 0 18675 0 1 0 117 10 0 0 25 0 8 0 30904465 826372096 18402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073500087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31261/statm: 201751 18402 1695 14 0 189029 0
[pid=31261/tid=31262] ppid=31259 vsize=807004 CPUtime=0.15
/proc/31261/task/31262/stat : 31262 (java) S 31259 31259 29214 0 -1 64 12204 0 0 0 10 5 0 0 16 0 8 0 30904468 826372096 18402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31261/tid=31263] ppid=31259 vsize=807004 CPUtime=0
/proc/31261/task/31263/stat : 31263 (java) S 31259 31259 29214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30904469 826372096 18402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31261/tid=31264] ppid=31259 vsize=807004 CPUtime=0
/proc/31261/task/31264/stat : 31264 (java) S 31259 31259 29214 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 30904469 826372096 18402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31261/tid=31265] ppid=31259 vsize=807004 CPUtime=0
/proc/31261/task/31265/stat : 31265 (java) S 31259 31259 29214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30904472 826372096 18402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31261/tid=31266] ppid=31259 vsize=807004 CPUtime=0.04
/proc/31261/task/31266/stat : 31266 (java) S 31259 31259 29214 0 -1 64 283 0 0 0 4 0 0 0 16 0 8 0 30904472 826372096 18402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31261/tid=31267] ppid=31259 vsize=807004 CPUtime=0
/proc/31261/task/31267/stat : 31267 (java) S 31259 31259 29214 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30904472 826372096 18402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31261/tid=31268] ppid=31259 vsize=807004 CPUtime=0
/proc/31261/task/31268/stat : 31268 (java) S 31259 31259 29214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30904472 826372096 18402 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 820728
[startup+2.97935 s]
/proc/loadavg: 2.51 3.14 4.09 3/95 31276
/proc/meminfo: memFree=1833456/2055920 swapFree=4192812/4192956
[pid=31259] ppid=31257 vsize=13724 CPUtime=1.47
/proc/31259/stat : 31259 (sugar) S 31257 31259 29214 0 -1 4194304 1190 21407 0 1 3 1 130 13 15 0 1 0 30904460 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31259/statm: 3431 809 371 3 0 531 0
[pid=31269] ppid=31259 vsize=807064 CPUtime=1.33
/proc/31269/stat : 31269 (java) R 31259 31259 29214 0 -1 0 12016 0 1 0 128 5 0 0 25 0 8 0 30904623 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31269/statm: 201766 11755 1494 14 0 189044 0
[pid=31269/tid=31270] ppid=31259 vsize=807064 CPUtime=0.33
/proc/31269/task/31270/stat : 31270 (java) R 31259 31259 29214 0 -1 64 5955 0 0 0 32 1 0 0 16 0 8 0 30904626 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31271] ppid=31259 vsize=807064 CPUtime=0
/proc/31269/task/31271/stat : 31271 (java) S 31259 31259 29214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30904626 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31272] ppid=31259 vsize=807064 CPUtime=0
/proc/31269/task/31272/stat : 31272 (java) S 31259 31259 29214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30904626 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31273] ppid=31259 vsize=807064 CPUtime=0
/proc/31269/task/31273/stat : 31273 (java) S 31259 31259 29214 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30904629 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31274] ppid=31259 vsize=807064 CPUtime=0.04
/proc/31269/task/31274/stat : 31274 (java) S 31259 31259 29214 0 -1 64 291 0 0 0 4 0 0 0 18 0 8 0 30904629 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31275] ppid=31259 vsize=807064 CPUtime=0
/proc/31269/task/31275/stat : 31275 (java) S 31259 31259 29214 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30904629 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31276] ppid=31259 vsize=807064 CPUtime=0
/proc/31269/task/31276/stat : 31276 (java) S 31259 31259 29214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30904629 826433536 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 820788
[startup+6.27799 s]
/proc/loadavg: 2.51 3.14 4.09 3/95 31276
/proc/meminfo: memFree=1762800/2055920 swapFree=4192812/4192956
[pid=31259] ppid=31257 vsize=13724 CPUtime=1.47
/proc/31259/stat : 31259 (sugar) S 31257 31259 29214 0 -1 4194304 1190 21407 0 1 3 1 130 13 15 0 1 0 30904460 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31259/statm: 3431 809 371 3 0 531 0
[pid=31269] ppid=31259 vsize=807064 CPUtime=4.63
/proc/31269/stat : 31269 (java) R 31259 31259 29214 0 -1 0 29143 0 1 0 450 13 0 0 25 0 8 0 30904623 826433536 28849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31269/statm: 201766 28849 1494 14 0 189044 0
[pid=31269/tid=31270] ppid=31259 vsize=807064 CPUtime=1.36
/proc/31269/task/31270/stat : 31270 (java) S 31259 31259 29214 0 -1 64 23049 0 0 0 128 8 0 0 16 0 8 0 30904626 826433536 28849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31271] ppid=31259 vsize=807064 CPUtime=0
/proc/31269/task/31271/stat : 31271 (java) S 31259 31259 29214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30904626 826433536 28849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31272] ppid=31259 vsize=807064 CPUtime=0
/proc/31269/task/31272/stat : 31272 (java) S 31259 31259 29214 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30904626 826433536 28849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31273] ppid=31259 vsize=807064 CPUtime=0
/proc/31269/task/31273/stat : 31273 (java) S 31259 31259 29214 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30904629 826433536 28849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31274] ppid=31259 vsize=807064 CPUtime=0.04
/proc/31269/task/31274/stat : 31274 (java) S 31259 31259 29214 0 -1 64 291 0 0 0 4 0 0 0 17 0 8 0 30904629 826433536 28849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31275] ppid=31259 vsize=807064 CPUtime=0
/proc/31269/task/31275/stat : 31275 (java) S 31259 31259 29214 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30904629 826433536 28849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31269/tid=31276] ppid=31259 vsize=807064 CPUtime=0
/proc/31269/task/31276/stat : 31276 (java) S 31259 31259 29214 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30904629 826433536 28849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 820788
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 31259 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=348794 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=154976
CPU time returned by wait4() is 1.50377
while last known CPU time is 8.7
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 8.99055
CPU time (s): 8.7
CPU user time (s): 8.37
CPU system time (s): 0.33
CPU usage (%): 96.7683
Max. virtual memory (cumulated for all children) (KiB): 820860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.34879
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22675
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= 2515
involuntary context switches= 456
runsolver used 0.018997 s user time and 0.039993 s system time
The end
Begin job on node16 on Mon Jan 29 22:25:01 UTC 2007
IDJOB= 247360
IDBENCH= 11099
IDSOLVER= 86
FILE ID= node16/247360-1170109501
PBS_JOBID= 3689922
Free space on /tmp= 66550 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-5_ext.xml
COMMAND LINE= /tmp/evaluation/247360-1170109501/solver /tmp/evaluation/247360-1170109501 /tmp/evaluation/247360-1170109501/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-247360-1170109501 -o ROOT/results/node16/solver-247360-1170109501 -C 1800 -M 900 /tmp/evaluation/247360-1170109501/solver /tmp/evaluation/247360-1170109501 /tmp/evaluation/247360-1170109501/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= d53928f19ca0347ce78b3f553c9e851e
RANDOM SEED= 185048958
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: 1869648 kB
Buffers: 28988 kB
Cached: 42004 kB
SwapCached: 0 kB
Active: 107664 kB
Inactive: 30000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1869648 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2136 kB
Writeback: 0 kB
Mapped: 86332 kB
Slab: 33472 kB
Committed_AS: 738512 kB
PageTables: 2124 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= 66550 MiB
End job on node16 on Mon Jan 29 22:25:10 UTC 2007