0.00/0.00 c Parsing...
0.00/0.72 c ==============================================================================
0.00/0.72 c | | ORIGINAL | LEARNT | |
0.00/0.72 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.72 c ==============================================================================
0.00/0.72 c | 0 | 720026 4253750 | 216007 0 0 nan | 0.000 % |
48.06/48.17 c | 0 | 373673 2138802 | -- 0 -- -- | -- | -42225/-36740
48.06/48.17 c ==============================================================================
48.06/48.17 c Result : #vars: 989 #clauses: 373673 #literals: 2138802
48.06/48.17 c CPU time: 48.0007 s
48.06/48.17 c ==============================================================================
48.76/48.80 c This is MiniSat 2.0 beta
48.76/48.80 c WARNING: for repeatability, setting FPU to use double precision
48.76/48.80 c ============================[ Problem Statistics ]=============================
48.76/48.80 c | |
48.76/48.80 c | Number of variables: 989 |
48.76/48.80 c | Number of clauses: 373673 |
48.76/49.05 c | Parsing time: 0.22 s |
48.76/49.07 c ============================[ Search Statistics ]==============================
48.76/49.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
48.76/49.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
48.76/49.07 c ===============================================================================
48.76/49.07 c | 0 | 989 373673 2138802 | 124557 0 nan | 0.000 % |
48.76/49.10 c | 100 | 986 373673 2138802 | 124557 97 13 | 0.303 % |
48.76/49.11 c | 200 | 986 373673 2138802 | 124557 197 16 | 0.303 % |
48.76/49.13 c | 300 | 986 373673 2138802 | 124557 297 21 | 0.303 % |
48.76/49.14 c | 410 | 986 373673 2138802 | 124557 407 19 | 0.303 % |
48.76/49.16 c | 511 | 986 373673 2138802 | 124557 508 18 | 0.303 % |
48.76/49.18 c | 621 | 986 373673 2138802 | 124557 618 19 | 0.304 % |
48.76/49.19 c | 742 | 985 373673 2138802 | 124557 738 18 | 0.405 % |
48.76/49.20 c | 842 | 985 373673 2138802 | 124557 838 18 | 0.405 % |
48.76/49.22 c | 954 | 985 373673 2138802 | 124557 950 18 | 0.405 % |
48.76/49.26 c | 1075 | 984 373673 2138802 | 124557 1070 18 | 0.506 % |
48.76/49.28 c | 1209 | 984 373673 2138802 | 124557 1204 18 | 0.506 % |
48.76/49.29 c | 1309 | 983 373673 2138802 | 124557 1303 19 | 0.608 % |
48.76/49.31 c | 1419 | 983 373673 2138802 | 124557 1413 19 | 0.607 % |
48.76/49.34 c | 1540 | 983 373673 2138802 | 124557 1534 19 | 0.607 % |
48.76/49.38 c | 1674 | 982 373673 2138802 | 124557 1667 18 | 0.708 % |
49.35/49.41 c | 1820 | 982 373673 2138802 | 124557 1813 19 | 0.708 % |
49.35/49.43 c | 1922 | 982 373673 2138802 | 124557 1915 19 | 0.708 % |
49.35/49.46 c | 2032 | 982 373673 2138802 | 124557 2025 19 | 0.708 % |
49.35/49.48 c | 2153 | 982 373673 2138802 | 124557 2146 19 | 0.708 % |
49.45/49.51 c | 2286 | 982 373673 2138802 | 124557 2279 19 | 0.708 % |
49.45/49.57 c | 2433 | 982 373673 2138802 | 124557 2426 19 | 0.709 % |
49.54/49.60 c | 2593 | 982 373673 2138802 | 124557 2586 19 | 0.708 % |
49.54/49.63 c | 2694 | 982 373673 2138802 | 124557 2687 19 | 0.708 % |
49.54/49.66 c | 2804 | 982 373673 2138802 | 124557 2797 19 | 0.708 % |
49.54/49.68 c | 2925 | 982 373673 2138802 | 124557 2918 19 | 0.710 % |
49.64/49.71 c | 3058 | 982 373673 2138802 | 124557 3051 19 | 0.708 % |
49.64/49.73 c | 3207 | 982 373673 2138802 | 124557 3200 19 | 0.708 % |
49.64/49.75 c | 3369 | 982 373673 2138802 | 124557 3362 20 | 0.708 % |
49.64/49.79 c | 3547 | 980 373673 2138802 | 124557 3538 20 | 0.911 % |
49.74/49.80 c | 3647 | 980 373673 2138802 | 124557 3638 19 | 0.910 % |
49.74/49.82 c | 3757 | 980 373673 2138802 | 124557 3748 19 | 0.913 % |
49.74/49.84 c | 3878 | 980 373673 2138802 | 124557 3869 19 | 0.911 % |
49.74/49.88 c | 4011 | 980 373673 2138802 | 124557 4002 19 | 0.910 % |
49.84/49.90 c | 4157 | 979 373673 2138802 | 124557 4147 19 | 1.011 % |
49.84/49.95 c | 4318 | 979 373673 2138802 | 124557 4308 19 | 1.011 % |
49.84/49.97 c | 4495 | 979 373673 2138802 | 124557 4485 19 | 1.011 % |
49.94/50.00 c | 4688 | 979 373673 2138802 | 124557 4678 19 | 1.013 % |
49.94/50.02 c | 4788 | 979 373673 2138802 | 124557 4778 20 | 1.013 % |
49.94/50.04 c | 4898 | 979 373673 2138802 | 124557 4888 20 | 1.011 % |
49.94/50.08 c | 5019 | 979 373673 2138802 | 124557 5009 20 | 1.011 % |
50.04/50.12 c | 5153 | 979 373673 2138802 | 124557 5143 20 | 1.011 % |
50.04/50.19 c | 5299 | 978 373673 2138802 | 124557 5288 19 | 1.112 % |
50.14/50.21 c | 5459 | 978 373673 2138802 | 124557 5448 19 | 1.112 % |
50.14/50.26 c | 5636 | 978 373673 2138802 | 124557 5625 19 | 1.113 % |
50.24/50.30 c | 5831 | 978 373673 2138802 | 124557 5820 19 | 1.114 % |
50.24/50.35 c | 6043 | 978 373673 2138802 | 124557 6032 20 | 1.112 % |
50.24/50.38 c | 6143 | 976 373673 2138802 | 124557 6130 20 | 1.315 % |
50.34/50.41 c | 6256 | 976 373673 2138802 | 124557 6243 19 | 1.315 % |
50.34/50.44 c | 6377 | 976 373673 2138802 | 124557 6364 19 | 1.315 % |
50.34/50.47 c | 6510 | 976 373673 2138802 | 124557 6497 19 | 1.315 % |
50.44/50.51 c | 6657 | 975 373673 2138802 | 124557 6643 19 | 1.416 % |
50.44/50.56 c | 6817 | 975 373673 2138802 | 124557 6803 19 | 1.416 % |
50.54/50.60 c | 6994 | 975 373673 2138802 | 124557 6980 19 | 1.416 % |
50.54/50.65 c | 7187 | 975 373673 2138802 | 124557 7173 20 | 1.416 % |
50.64/50.72 c | 7403 | 975 373673 2138802 | 124557 7389 20 | 1.417 % |
50.74/50.80 c | 7636 | 975 373673 2138802 | 124557 7622 20 | 1.416 % |
50.74/50.82 c | 7736 | 975 373673 2138802 | 124557 7722 20 | 1.416 % |
50.74/50.85 c | 7846 | 975 373673 2138802 | 124557 7832 20 | 1.417 % |
50.74/50.86 c | 7967 | 975 373673 2138802 | 124557 7953 20 | 1.416 % |
50.84/50.91 c | 8100 | 974 373673 2138802 | 124557 8085 20 | 1.518 % |
50.84/50.95 c | 8247 | 974 373673 2138802 | 124557 8232 20 | 1.517 % |
50.94/51.00 c | 8407 | 974 373673 2138802 | 124557 8392 20 | 1.517 % |
50.94/51.05 c | 8585 | 974 373673 2138802 | 124557 8570 20 | 1.517 % |
51.04/51.12 c | 8779 | 974 373673 2138802 | 124557 8764 20 | 1.518 % |
51.04/51.19 c | 8992 | 974 373673 2138802 | 124557 8977 20 | 1.517 % |
51.15/51.21 c | 9228 | 974 373673 2138802 | 124557 9213 20 | 1.518 % |
51.15/51.26 c | 9484 | 974 373673 2138802 | 124557 9469 20 | 1.517 % |
51.15/51.27 c | 9584 | 974 373673 2138802 | 124557 9569 20 | 1.518 % |
51.25/51.30 c | 9697 | 974 373673 2138802 | 124557 9682 20 | 1.517 % |
51.25/51.35 c | 9819 | 974 373673 2138802 | 124557 9804 20 | 1.517 % |
51.35/51.40 c | 9955 | 974 373673 2138802 | 124557 9940 20 | 1.518 % |
51.35/51.45 c | 10107 | 974 373673 2138802 | 2147483647 10090 20 | 1.719 % |
51.35/51.49 c | 10267 | 973 373673 2138802 | 2147483647 10250 20 | 1.719 % |
51.45/51.54 c | 10443 | 973 373673 2138802 | 2147483647 10426 20 | 1.719 % |
51.55/51.60 c | 10636 | 972 373673 2138802 | 2147483647 10619 20 | 1.720 % |
51.55/51.67 c | 10850 | 972 373673 2138802 | 2147483647 10833 20 | 1.721 % |
51.65/51.73 c | 11085 | 972 373673 2138802 | 2147483647 11068 20 | 1.720 % |
51.65/51.80 c | 11341 | 972 373673 2138802 | 2147483647 11324 20 | 1.719 % |
51.75/51.85 c | 11625 | 972 373673 2138802 | 2147483647 11608 20 | 1.719 % |
51.75/51.87 c | 11725 | 972 373673 2138802 | 2147483647 11708 20 | 1.719 % |
51.75/51.89 c | 11837 | 972 373673 2138802 | 2147483647 11820 20 | 1.719 % |
51.85/51.93 c | 11958 | 972 373673 2138802 | 2147483647 11941 20 | 1.719 % |
51.85/51.96 c | 12091 | 972 373673 2138802 | 2147483647 12074 20 | 1.719 % |
51.95/52.02 c | 12240 | 972 373673 2138802 | 2147483647 12223 20 | 1.719 % |
51.95/52.07 c | 12401 | 972 373673 2138802 | 2147483647 12384 20 | 1.719 % |
52.05/52.13 c | 12577 | 972 373673 2138802 | 2147483647 12560 21 | 1.719 % |
52.05/52.16 c | 12770 | 972 373673 2138802 | 2147483647 12753 21 | 1.719 % |
52.15/52.20 c | 12983 | 972 373673 2138802 | 2147483647 12966 21 | 1.719 % |
52.15/52.25 c | 13217 | 972 373673 2138802 | 2147483647 13200 21 | 1.720 % |
52.25/52.31 c | 13473 | 972 373673 2138802 | 2147483647 13456 21 | 1.720 % |
52.25/52.38 c | 13754 | 970 373673 2138802 | 2147483647 13735 21 | 1.923 % |
52.35/52.41 c | 14063 | 970 373673 2138802 | 2147483647 14044 21 | 1.921 % |
52.35/52.45 c | 14163 | 970 373673 2138802 | 2147483647 14144 21 | 1.921 % |
52.35/52.47 c | 14275 | 970 373673 2138802 | 2147483647 14256 21 | 1.921 % |
52.45/52.50 c | 14396 | 970 373673 2138802 | 2147483647 14377 21 | 1.921 % |
52.45/52.54 c | 14531 | 970 373673 2138802 | 2147483647 14512 21 | 1.921 % |
52.45/52.59 c | 14681 | 970 373673 2138802 | 2147483647 14662 21 | 1.921 % |
52.55/52.63 c | 14841 | 970 373673 2138802 | 2147483647 14822 21 | 1.921 % |
52.55/52.68 c | 15017 | 970 373673 2138802 | 2147483647 14998 21 | 1.921 % |
52.65/52.71 c | 15210 | 970 373673 2138802 | 2147483647 15191 21 | 1.921 % |
52.65/52.74 c | 15422 | 970 373673 2138802 | 2147483647 15403 21 | 1.922 % |
52.65/52.77 c | 15657 | 970 373673 2138802 | 2147483647 15638 21 | 1.921 % |
52.75/52.82 c | 15914 | 970 373673 2138802 | 2147483647 15895 21 | 1.921 % |
52.75/52.88 c | 16195 | 970 373673 2138802 | 2147483647 16176 21 | 1.921 % |
52.85/52.95 c | 16504 | 970 373673 2138802 | 2147483647 16485 21 | 1.922 % |
52.95/53.01 c | 16843 | 967 373673 2138802 | 2147483647 16821 21 | 2.225 % |
52.95/53.04 c | 16943 | 967 373673 2138802 | 2147483647 16921 21 | 2.225 % |
52.95/53.08 c | 17055 | 967 373673 2138802 | 2147483647 17033 21 | 2.225 % |
53.04/53.12 c | 17182 | 967 373673 2138802 | 2147483647 17160 21 | 2.225 % |
53.04/53.18 c | 17316 | 967 373673 2138802 | 2147483647 17294 21 | 2.225 % |
53.14/53.22 c | 17465 | 967 373673 2138802 | 2147483647 17443 21 | 2.226 % |
53.24/53.30 c | 17625 | 967 373673 2138802 | 2147483647 17603 21 | 2.225 % |
53.24/53.39 c | 17802 | 967 373673 2138802 | 2147483647 17780 21 | 2.225 % |
53.34/53.50 c | 17997 | 967 373673 2138802 | 2147483647 17974 21 | 2.327 % |
53.44/53.58 c | 18212 | 966 373673 2138802 | 2147483647 18188 21 | 2.427 % |
53.54/53.64 c | 18445 | 966 373673 2138802 | 2147483647 18421 21 | 2.427 % |
53.64/53.71 c | 18701 | 966 373673 2138802 | 2147483647 18677 21 | 2.427 % |
53.64/53.76 c | 18983 | 966 373673 2138802 | 2147483647 18959 21 | 2.427 % |
53.74/53.90 c | 19298 | 966 373673 2138802 | 2147483647 19274 22 | 2.428 % |
53.94/54.05 c | 19637 | 966 373673 2138802 | 2147483647 19613 22 | 2.427 % |
54.04/54.14 c | 20012 | 966 373673 2138802 | 2147483647 19988 22 | 2.427 % |
54.04/54.18 c | 20115 | 966 373673 2138802 | 2147483647 20091 22 | 2.427 % |
54.14/54.22 c | 20225 | 966 373673 2138802 | 2147483647 20201 22 | 2.427 % |
54.14/54.25 c | 20346 | 966 373673 2138802 | 2147483647 20322 22 | 2.428 % |
54.14/54.27 c | 20479 | 966 373673 2138802 | 2147483647 20455 22 | 2.427 % |
54.24/54.30 c | 20626 | 966 373673 2138802 | 2147483647 20602 22 | 2.428 % |
54.24/54.32 c | 20787 | 966 373673 2138802 | 2147483647 20763 22 | 2.428 % |
54.24/54.37 c | 20963 | 966 373673 2138802 | 2147483647 20939 22 | 2.427 % |
54.34/54.43 c | 21156 | 966 373673 2138802 | 2147483647 21132 22 | 2.427 % |
54.34/54.49 c | 21368 | 966 373673 2138802 | 2147483647 21344 22 | 2.427 % |
54.44/54.53 c | 21602 | 966 373673 2138802 | 2147483647 21578 22 | 2.428 % |
54.44/54.59 c | 21859 | 966 373673 2138802 | 2147483647 21835 22 | 2.427 % |
54.54/54.63 c | 22140 | 966 373673 2138802 | 2147483647 22116 22 | 2.428 % |
54.64/54.74 c | 22450 | 966 373673 2138802 | 2147483647 22426 22 | 2.427 % |
54.74/54.83 c | 22790 | 965 373673 2138802 | 2147483647 22765 22 | 2.528 % |
54.84/54.94 c | 23163 | 965 373673 2138802 | 2147483647 23138 22 | 2.528 % |
54.94/55.01 c | 23572 | 965 373673 2138802 | 2147483647 23547 22 | 2.529 % |
54.94/55.03 c | 23672 | 965 373673 2138802 | 2147483647 23647 22 | 2.528 % |
54.94/55.08 c | 23787 | 965 373673 2138802 | 2147483647 23762 22 | 2.528 % |
55.04/55.12 c | 23908 | 965 373673 2138802 | 2147483647 23883 22 | 2.530 % |
55.04/55.15 c | 24042 | 965 373673 2138802 | 2147483647 24017 22 | 2.528 % |
55.04/55.19 c | 24189 | 965 373673 2138802 | 2147483647 24164 22 | 2.528 % |
55.14/55.22 c | 24350 | 965 373673 2138802 | 2147483647 24325 22 | 2.528 % |
55.14/55.30 c | 24526 | 965 373673 2138802 | 2147483647 24501 22 | 2.528 % |
55.24/55.34 c | 24721 | 965 373673 2138802 | 2147483647 24696 22 | 2.529 % |
55.34/55.42 c | 24933 | 965 373673 2138802 | 2147483647 24908 22 | 2.529 % |
55.34/55.49 c | 25167 | 964 373673 2138802 | 2147483647 25141 22 | 2.629 % |
55.44/55.54 c | 25423 | 964 373673 2138802 | 2147483647 25397 22 | 2.629 % |
55.54/55.64 c | 25704 | 964 373673 2138802 | 2147483647 25678 22 | 2.630 % |
55.64/55.74 c | 26013 | 963 373673 2138802 | 2147483647 25986 22 | 2.733 % |
55.74/55.86 c | 26353 | 963 373673 2138802 | 2147483647 26326 22 | 2.730 % |
55.84/55.98 c | 26726 | 963 373673 2138802 | 2147483647 26699 22 | 2.730 % |
56.04/56.12 c | 27135 | 963 373673 2138802 | 2147483647 27108 22 | 2.730 % |
56.14/56.20 c | 27584 | 963 373673 2138802 | 2147483647 27557 22 | 2.730 % |
56.14/56.22 c | 27684 | 963 373673 2138802 | 2147483647 27657 22 | 2.730 % |
56.14/56.24 c | 27795 | 963 373673 2138802 | 2147483647 27768 22 | 2.730 % |
56.14/56.28 c | 27917 | 963 373673 2138802 | 2147483647 27890 22 | 2.731 % |
56.24/56.34 c | 28050 | 963 373673 2138802 | 2147483647 28023 22 | 2.730 % |
56.24/56.37 c | 28197 | 962 373673 2138802 | 2147483647 28169 22 | 2.831 % |
56.34/56.40 c | 28362 | 962 373673 2138802 | 2147483647 28334 22 | 2.832 % |
56.34/56.47 c | 28538 | 962 373673 2138802 | 2147483647 28510 22 | 2.831 % |
56.44/56.51 c | 28731 | 962 373673 2138802 | 2147483647 28703 22 | 2.831 % |
56.44/56.55 c | 28945 | 962 373673 2138802 | 2147483647 28917 22 | 2.831 % |
56.54/56.65 c | 29180 | 962 373673 2138802 | 2147483647 29152 22 | 2.831 % |
56.64/56.71 c | 29436 | 962 373673 2138802 | 2147483647 29408 22 | 2.831 % |
56.64/56.80 c | 29722 | 962 373673 2138802 | 2147483647 29694 22 | 2.831 % |
56.84/56.93 c | 30031 | 962 373673 2138802 | 2147483647 30003 22 | 2.831 % |
56.94/57.04 c | 30370 | 962 373673 2138802 | 2147483647 30342 22 | 2.831 % |
57.04/57.17 c | 30742 | 962 373673 2138802 | 2147483647 30714 22 | 2.833 % |
57.24/57.30 c | 31151 | 962 373673 2138802 | 2147483647 31123 22 | 2.831 % |
57.24/57.40 c | 31601 | 962 373673 2138802 | 2147483647 31573 22 | 2.831 % |
57.44/57.54 c | 32095 | 962 373673 2138802 | 2147483647 32067 23 | 2.832 % |
57.44/57.58 c | 32196 | 962 373673 2138802 | 2147483647 32168 23 | 2.831 % |
57.54/57.62 c | 32307 | 962 373673 2138802 | 2147483647 32279 23 | 2.832 % |
57.54/57.66 c | 32429 | 962 373673 2138802 | 2147483647 32401 23 | 2.831 % |
57.54/57.69 c | 32564 | 962 373673 2138802 | 2147483647 32536 23 | 2.832 % |
57.64/57.78 c | 32710 | 962 373673 2138802 | 2147483647 32682 23 | 2.831 % |
57.74/57.87 c | 32870 | 962 373673 2138802 | 2147483647 32842 23 | 2.833 % |
57.84/57.95 c | 33046 | 962 373673 2138802 | 2147483647 33018 23 | 2.832 % |
57.84/57.99 c | 33239 | 962 373673 2138802 | 2147483647 33211 23 | 2.831 % |
57.94/58.05 c | 33454 | 962 373673 2138802 | 2147483647 33426 23 | 2.832 % |
58.04/58.13 c | 33687 | 962 373673 2138802 | 2147483647 33659 23 | 2.831 % |
58.15/58.24 c | 33943 | 962 373673 2138802 | 2147483647 33915 23 | 2.831 % |
58.25/58.37 c | 34225 | 962 373673 2138802 | 2147483647 34197 23 | 2.833 % |
58.34/58.46 c | 34535 | 962 373673 2138802 | 2147483647 34507 23 | 2.832 % |
58.44/58.57 c | 34875 | 962 373673 2138802 | 2147483647 34847 23 | 2.831 % |
58.64/58.79 c | 35247 | 961 373673 2138802 | 2147483647 35218 23 | 2.932 % |
58.74/58.89 c | 35658 | 961 373673 2138802 | 2147483647 35629 23 | 2.934 % |
58.84/58.98 c | 36107 | 961 373673 2138802 | 2147483647 36078 23 | 2.932 % |
59.04/59.16 c | 36600 | 961 373673 2138802 | 2147483647 36571 23 | 2.932 % |
59.25/59.31 c | 37143 | 961 373673 2138802 | 2147483647 37114 23 | 2.934 % |
59.25/59.35 c | 37243 | 961 373673 2138802 | 2147483647 37214 23 | 2.934 % |
59.25/59.39 c | 37358 | 961 373673 2138802 | 2147483647 37329 23 | 2.932 % |
59.35/59.42 c | 37480 | 961 373673 2138802 | 2147483647 37451 23 | 2.934 % |
59.35/59.48 c | 37613 | 961 373673 2138802 | 2147483647 37584 23 | 2.932 % |
59.44/59.53 c | 37760 | 961 373673 2138802 | 2147483647 37731 23 | 2.937 % |
59.54/59.60 c | 37921 | 961 373673 2138802 | 2147483647 37892 23 | 2.932 % |
59.54/59.64 c | 38097 | 961 373673 2138802 | 2147483647 38068 23 | 2.934 % |
59.54/59.68 c | 38291 | 961 373673 2138802 | 2147483647 38262 23 | 2.932 % |
59.64/59.75 c | 38510 | 961 373673 2138802 | 2147483647 38481 23 | 2.932 % |
59.74/59.81 c | 38745 | 960 373673 2138802 | 2147483647 38715 23 | 3.033 % |
59.74/59.87 c | 39002 | 960 373673 2138802 | 2147483647 38972 23 | 3.035 % |
59.84/59.98 c | 39283 | 960 373673 2138802 | 2147483647 39253 23 | 3.033 % |
60.04/60.13 c | 39592 | 960 373673 2138802 | 2147483647 39562 23 | 3.033 % |
60.14/60.27 c | 39931 | 960 373673 2138802 | 2147483647 39901 23 | 3.034 % |
60.34/60.42 c | 40305 | 959 373673 2138802 | 2147483647 40274 23 | 3.135 % |
60.44/60.53 c | 40715 | 959 373673 2138802 | 2147483647 40684 23 | 3.135 % |
60.64/60.71 c | 41164 | 959 373673 2138802 | 2147483647 41133 23 | 3.135 % |
60.84/60.96 c | 41657 | 959 373673 2138802 | 2147483647 41626 23 | 3.135 % |
61.24/61.35 c | 42200 | 959 373673 2138802 | 2147483647 42169 23 | 3.135 % |
61.44/61.58 c | 42796 | 959 373673 2138802 | 2147483647 42765 23 | 3.136 % |
61.54/61.61 c | 42899 | 959 373673 2138802 | 2147483647 42868 23 | 3.135 % |
61.54/61.65 c | 43015 | 959 373673 2138802 | 2147483647 42984 23 | 3.135 % |
61.64/61.72 c | 43137 | 959 373673 2138802 | 2147483647 43106 23 | 3.135 % |
61.64/61.75 c | 43276 | 959 373673 2138802 | 2147483647 43245 23 | 3.135 % |
61.74/61.80 c | 43425 | 959 373673 2138802 | 2147483647 43394 23 | 3.135 % |
61.74/61.84 c | 43587 | 959 373673 2138802 | 2147483647 43556 23 | 3.135 % |
61.84/61.96 c | 43763 | 959 373673 2138802 | 2147483647 43732 23 | 3.135 % |
61.94/62.00 c | 43957 | 959 373673 2138802 | 2147483647 43926 23 | 3.135 % |
61.94/62.09 c | 44170 | 959 373673 2138802 | 2147483647 44139 23 | 3.135 % |
62.04/62.14 c | 44404 | 959 373673 2138802 | 2147483647 44373 23 | 3.136 % |
62.14/62.20 c | 44663 | 959 373673 2138802 | 2147483647 44632 23 | 3.136 % |
62.14/62.28 c | 44944 | 959 373673 2138802 | 2147483647 44913 23 | 3.135 % |
62.34/62.43 c | 45255 | 959 373673 2138802 | 2147483647 45224 23 | 3.135 % |
62.44/62.59 c | 45594 | 959 373673 2138802 | 2147483647 45563 24 | 3.136 % |
62.64/62.74 c | 45968 | 959 373673 2138802 | 2147483647 45937 24 | 3.135 % |
62.84/62.93 c | 46378 | 959 373673 2138802 | 2147483647 46347 24 | 3.135 % |
62.94/63.09 c | 46827 | 959 373673 2138802 | 2147483647 46796 24 | 3.135 % |
63.14/63.28 c | 47322 | 959 373673 2138802 | 2147483647 47291 24 | 3.135 % |
63.34/63.46 c | 47864 | 959 373673 2138802 | 2147483647 47833 24 | 3.136 % |
63.54/63.67 c | 48460 | 959 373673 2138802 | 2147483647 48429 24 | 3.136 % |
63.84/63.98 c | 49115 | 959 373673 2138802 | 2147483647 49084 24 | 3.135 % |
63.94/64.02 c | 49215 | 959 373673 2138802 | 2147483647 49184 24 | 3.136 % |
63.94/64.07 c | 49325 | 959 373673 2138802 | 2147483647 49294 24 | 3.136 % |
64.04/64.11 c | 49446 | 959 373673 2138802 | 2147483647 49415 24 | 3.135 % |
64.04/64.15 c | 49580 | 959 373673 2138802 | 2147483647 49549 24 | 3.138 % |
64.14/64.22 c | 49726 | 959 373673 2138802 | 2147483647 49695 24 | 3.135 % |
64.24/64.31 c | 49888 | 959 373673 2138802 | 2147483647 49857 24 | 3.135 % |
64.34/64.40 c | 50065 | 959 373673 2138802 | 2147483647 50034 24 | 3.138 % |
64.44/64.51 c | 50259 | 959 373673 2138802 | 2147483647 50228 24 | 3.135 % |
64.54/64.66 c | 50475 | 959 373673 2138802 | 2147483647 50444 24 | 3.135 % |
64.64/64.78 c | 50708 | 959 373673 2138802 | 2147483647 50677 24 | 3.135 % |
64.84/64.91 c | 50964 | 959 373673 2138802 | 2147483647 50933 24 | 3.136 % |
64.94/65.07 c | 51245 | 959 373673 2138802 | 2147483647 51214 24 | 3.136 % |
65.14/65.21 c | 51556 | 959 373673 2138802 | 2147483647 51525 24 | 3.136 % |
65.24/65.36 c | 51895 | 959 373673 2138802 | 2147483647 51864 24 | 3.135 % |
65.44/65.54 c | 52267 | 959 373673 2138802 | 2147483647 52236 24 | 3.135 % |
65.54/65.65 c | 52677 | 959 373673 2138802 | 2147483647 52646 24 | 3.135 % |
65.64/65.79 c | 53126 | 959 373673 2138802 | 2147483647 53095 24 | 3.136 % |
66.03/66.12 c | 53621 | 959 373673 2138802 | 2147483647 53590 24 | 3.136 % |
66.43/66.50 c | 54163 | 959 373673 2138802 | 2147483647 54132 24 | 3.135 % |
66.74/66.88 c | 54759 | 959 373673 2138802 | 2147483647 54728 24 | 3.135 % |
67.14/67.23 c | 55414 | 959 373673 2138802 | 2147483647 55383 24 | 3.136 % |
67.74/67.89 c | 56135 | 959 373673 2138802 | 2147483647 56104 24 | 3.135 % |
67.84/67.95 c | 56235 | 959 373673 2138802 | 2147483647 56204 24 | 3.136 % |
67.94/68.04 c | 56345 | 959 373673 2138802 | 2147483647 56314 24 | 3.136 % |
68.04/68.12 c | 56466 | 959 373673 2138802 | 2147483647 56435 24 | 3.136 % |
68.14/68.29 c | 56603 | 959 373673 2138802 | 2147483647 56572 24 | 3.136 % |
68.24/68.39 c | 56749 | 959 373673 2138802 | 2147483647 56718 24 | 3.137 % |
68.44/68.54 c | 56910 | 959 373673 2138802 | 2147483647 56879 24 | 3.136 % |
68.54/68.67 c | 57086 | 959 373673 2138802 | 2147483647 57055 24 | 3.136 % |
68.64/68.75 c | 57280 | 959 373673 2138802 | 2147483647 57249 24 | 3.135 % |
68.74/68.84 c | 57493 | 958 373673 2138802 | 2147483647 57461 24 | 3.236 % |
68.74/68.89 c | 57726 | 958 373673 2138802 | 2147483647 57694 25 | 3.236 % |
68.84/68.98 c | 57983 | 958 373673 2138802 | 2147483647 57951 25 | 3.236 % |
68.94/69.08 c | 58265 | 958 373673 2138802 | 2147483647 58233 25 | 3.236 % |
69.04/69.20 c | 58576 | 958 373673 2138802 | 2147483647 58544 25 | 3.236 % |
69.24/69.31 c | 58917 | 958 373673 2138802 | 2147483647 58885 25 | 3.236 % |
69.34/69.46 c | 59290 | 958 373673 2138802 | 2147483647 59258 25 | 3.236 % |
69.44/69.58 c | 59703 | 958 373673 2138802 | 2147483647 59671 25 | 3.236 % |
69.74/69.80 c | 60152 | 958 373673 2138802 | 2147483647 60120 25 | 3.236 % |
70.04/70.13 c | 60645 | 958 373673 2138802 | 2147483647 60613 25 | 3.236 % |
70.94/71.03 c | 61188 | 957 327827 1877703 | 2147483647 61142 25 | 3.236 % |
71.14/71.28 c | 61785 | 957 327827 1877703 | 2147483647 61739 25 | 3.236 % |
71.64/71.77 c | 62441 | 957 327827 1877703 | 2147483647 62395 25 | 3.236 % |
71.94/72.06 c | 63161 | 957 327827 1877703 | 2147483647 63115 25 | 3.236 % |
72.44/72.52 c | 63955 | 957 327827 1877703 | 2147483647 63909 25 | 3.236 % |
72.54/72.62 c | 64057 | 957 327827 1877703 | 2147483647 64011 25 | 3.236 % |
72.54/72.68 c | 64168 | 957 327827 1877703 | 2147483647 64122 25 | 3.236 % |
72.64/72.71 c | 64289 | 957 327827 1877703 | 2147483647 64243 25 | 3.236 % |
72.64/72.76 c | 64423 | 957 327827 1877703 | 2147483647 64377 25 | 3.237 % |
72.74/72.84 c | 64572 | 957 327827 1877703 | 2147483647 64526 25 | 3.236 % |
72.74/72.89 c | 64733 | 957 327827 1877703 | 2147483647 64687 25 | 3.236 % |
72.84/72.97 c | 64909 | 957 327827 1877703 | 2147483647 64863 25 | 3.236 % |
72.94/73.08 c | 65104 | 957 327827 1877703 | 2147483647 65058 25 | 3.236 % |
73.04/73.17 c | 65317 | 957 327827 1877703 | 2147483647 65271 25 | 3.236 % |
73.14/73.25 c | 65550 | 957 327827 1877703 | 2147483647 65504 25 | 3.237 % |
73.34/73.47 c | 65807 | 957 327827 1877703 | 2147483647 65761 25 | 3.236 % |
73.44/73.56 c | 66091 | 957 327827 1877703 | 2147483647 66045 25 | 3.236 % |
73.64/73.74 c | 66402 | 957 327827 1877703 | 2147483647 66356 25 | 3.236 % |
73.84/73.92 c | 66741 | 957 327827 1877703 | 2147483647 66695 25 | 3.236 % |
74.14/74.22 c | 67113 | 957 327827 1877703 | 2147483647 67067 25 | 3.241 % |
74.24/74.36 c | 67522 | 957 327827 1877703 | 2147483647 67476 25 | 3.236 % |
74.44/74.53 c | 67971 | 957 327827 1877703 | 2147483647 67925 25 | 3.236 % |
74.64/74.71 c | 68466 | 957 327827 1877703 | 2147483647 68420 25 | 3.236 % |
74.74/74.88 c | 69008 | 957 327827 1877703 | 2147483647 68962 25 | 3.236 % |
75.04/75.12 c | 69605 | 957 327827 1877703 | 2147483647 69559 25 | 3.236 % |
75.34/75.43 c | 70261 | 957 327827 1877703 | 2147483647 70215 25 | 3.236 % |
75.54/75.70 c | 70981 | 957 327827 1877703 | 2147483647 70935 25 | 3.236 % |
76.33/76.41 c | 71774 | 957 327827 1877703 | 2147483647 71728 25 | 3.236 % |
76.84/76.96 c | 72648 | 957 327827 1877703 | 2147483647 72602 25 | 3.237 % |
76.94/77.06 c | 72750 | 957 327827 1877703 | 2147483647 72704 25 | 3.237 % |
77.03/77.12 c | 72860 | 957 327827 1877703 | 2147483647 72814 25 | 3.237 % |
77.13/77.20 c | 72981 | 957 327827 1877703 | 2147483647 72935 25 | 3.237 % |
77.13/77.27 c | 73114 | 957 327827 1877703 | 2147483647 73068 25 | 3.236 % |
77.23/77.32 c | 73262 | 957 327827 1877703 | 2147483647 73216 25 | 3.236 % |
77.33/77.42 c | 73423 | 957 327827 1877703 | 2147483647 73377 25 | 3.236 % |
77.33/77.48 c | 73599 | 957 327827 1877703 | 2147483647 73553 25 | 3.236 % |
77.43/77.59 c | 73796 | 957 327827 1877703 | 2147483647 73750 25 | 3.236 % |
77.63/77.76 c | 74008 | 957 327827 1877703 | 2147483647 73962 25 | 3.236 % |
77.73/77.89 c | 74244 | 957 327827 1877703 | 2147483647 74198 25 | 3.236 % |
77.83/77.97 c | 74501 | 957 327827 1877703 | 2147483647 74455 25 | 3.237 % |
78.03/78.11 c | 74782 | 957 327827 1877703 | 2147483647 74736 25 | 3.236 % |
78.13/78.21 c | 75092 | 957 327827 1877703 | 2147483647 75046 25 | 3.236 % |
78.23/78.31 c | 75432 | 957 327827 1877703 | 2147483647 75386 25 | 3.238 % |
78.33/78.40 c | 75804 | 957 327827 1877703 | 2147483647 75758 25 | 3.236 % |
78.43/78.52 c | 76213 | 957 327827 1877703 | 2147483647 76167 25 | 3.236 % |
78.53/78.69 c | 76662 | 957 327827 1877703 | 2147483647 76616 25 | 3.236 % |
78.83/78.93 c | 77155 | 957 327827 1877703 | 2147483647 77109 25 | 3.236 % |
79.33/79.40 c | 77698 | 957 327827 1877703 | 2147483647 77652 25 | 3.236 % |
79.83/79.92 c | 78294 | 957 327827 1877703 | 2147483647 78248 25 | 3.237 % |
80.23/80.37 c | 78949 | 957 327827 1877703 | 2147483647 78903 26 | 3.236 % |
80.73/80.82 c | 79670 | 957 327827 1877703 | 2147483647 79624 26 | 3.238 % |
81.13/81.26 c | 80463 | 957 327827 1877703 | 2147483647 80417 26 | 3.237 % |
82.02/82.11 c | 81335 | 957 327827 1877703 | 2147483647 81289 26 | 3.237 % |
82.82/82.91 c | 82294 | 957 327827 1877703 | 2147483647 82248 26 | 3.237 % |
82.82/82.98 c | 82396 | 957 327827 1877703 | 2147483647 82350 26 | 3.237 % |
82.92/83.02 c | 82506 | 957 327827 1877703 | 2147483647 82460 26 | 3.236 % |
82.92/83.09 c | 82629 | 957 327827 1877703 | 2147483647 82583 26 | 3.236 % |
83.02/83.18 c | 82762 | 957 327827 1877703 | 2147483647 82716 26 | 3.236 % |
83.12/83.21 c | 82908 | 957 327827 1877703 | 2147483647 82862 26 | 3.239 % |
83.12/83.27 c | 83068 | 957 327827 1877703 | 2147483647 83022 26 | 3.237 % |
83.22/83.35 c | 83244 | 957 327827 1877703 | 2147483647 83198 26 | 3.236 % |
83.32/83.40 c | 83437 | 957 327827 1877703 | 2147483647 83391 26 | 3.236 % |
83.43/83.52 c | 83649 | 957 327827 1877703 | 2147483647 83603 26 | 3.236 % |
83.53/83.61 c | 83884 | 957 327827 1877703 | 2147483647 83838 26 | 3.236 % |
83.62/83.72 c | 84140 | 957 327827 1877703 | 2147483647 84094 26 | 3.236 % |
83.83/83.90 c | 84421 | 957 327827 1877703 | 2147483647 84375 26 | 3.236 % |
83.93/84.03 c | 84730 | 957 327827 1877703 | 2147483647 84684 26 | 3.237 % |
84.03/84.16 c | 85070 | 957 327827 1877703 | 2147483647 85024 26 | 3.236 % |
84.23/84.32 c | 85442 | 957 327827 1877703 | 2147483647 85396 26 | 3.236 % |
84.33/84.48 c | 85851 | 957 327827 1877703 | 2147483647 85805 26 | 3.237 % |
84.53/84.67 c | 86300 | 957 327827 1877703 | 2147483647 86254 26 | 3.236 % |
84.73/84.86 c | 86793 | 957 327827 1877703 | 2147483647 86747 26 | 3.236 % |
85.03/85.13 c | 87335 | 957 327827 1877703 | 2147483647 87289 26 | 3.236 % |
85.33/85.43 c | 87932 | 957 327827 1877703 | 2147483647 87886 26 | 3.236 % |
85.73/85.80 c | 88587 | 957 327827 1877703 | 2147483647 88541 26 | 3.237 % |
86.13/86.20 c | 89308 | 957 327827 1877703 | 2147483647 89262 26 | 3.236 % |
86.52/86.69 c | 90100 | 957 327827 1877703 | 2147483647 90054 26 | 3.236 % |
87.12/87.29 c | 90971 | 957 327827 1877703 | 2147483647 90925 26 | 3.237 % |
87.52/87.69 c | 91929 | 957 327827 1877703 | 2147483647 91883 26 | 3.236 % |
88.12/88.20 c | 92982 | 957 327827 1877703 | 2147483647 92936 26 | 3.237 % |
88.12/88.28 c | 93082 | 957 327827 1877703 | 2147483647 93036 26 | 3.239 % |
88.22/88.38 c | 93193 | 957 327827 1877703 | 2147483647 93147 26 | 3.236 % |
88.32/88.48 c | 93314 | 957 327827 1877703 | 2147483647 93268 26 | 3.236 % |
88.42/88.56 c | 93447 | 957 327827 1877703 | 2147483647 93401 26 | 3.238 % |
88.62/88.72 c | 93593 | 957 327827 1877703 | 2147483647 93547 26 | 3.236 % |
88.72/88.82 c | 93754 | 957 327827 1877703 | 2147483647 93708 26 | 3.236 % |
88.82/88.91 c | 93931 | 957 327827 1877703 | 2147483647 93885 26 | 3.237 % |
88.92/89.04 c | 94126 | 957 327827 1877703 | 2147483647 94080 26 | 3.236 % |
89.02/89.19 c | 94339 | 957 327827 1877703 | 2147483647 94293 26 | 3.236 % |
89.11/89.24 c | 94572 | 957 327827 1877703 | 2147483647 94526 26 | 3.236 % |
89.31/89.41 c | 94828 | 957 327827 1877703 | 2147483647 94782 26 | 3.236 % |
89.51/89.60 c | 95110 | 957 327827 1877703 | 2147483647 95064 26 | 3.236 % |
89.61/89.77 c | 95421 | 957 327827 1877703 | 2147483647 95375 26 | 3.236 % |
89.71/89.89 c | 95761 | 957 327827 1877703 | 2147483647 95715 26 | 3.236 % |
89.91/90.06 c | 96133 | 957 327827 1877703 | 2147483647 96087 26 | 3.238 % |
90.21/90.30 c | 96543 | 957 327827 1877703 | 2147483647 96497 26 | 3.236 % |
90.41/90.54 c | 96992 | 957 327827 1877703 | 2147483647 96946 27 | 3.236 % |
90.71/90.81 c | 97485 | 957 327827 1877703 | 2147483647 97439 26 | 3.236 % |
91.01/91.18 c | 98028 | 957 327827 1877703 | 2147483647 97982 27 | 3.236 % |
91.42/91.59 c | 98624 | 957 327827 1877703 | 2147483647 98578 27 | 3.236 % |
91.92/92.00 c | 99279 | 957 327827 1877703 | 2147483647 99233 27 | 3.238 % |
92.32/92.45 c | 100000 | 957 327827 1877703 | 2147483647 99954 27 | 3.236 % |
92.82/92.96 c | 100792 | 957 327827 1877703 | 2147483647 100746 27 | 3.236 % |
93.42/93.57 c | 101663 | 957 327827 1877703 | 2147483647 101617 27 | 3.237 % |
94.01/94.18 c | 102622 | 957 327827 1877703 | 2147483647 102576 27 | 3.236 % |
94.71/94.86 c | 103675 | 957 327827 1877703 | 2147483647 103629 27 | 3.236 % |
95.31/95.46 c | 104833 | 957 327827 1877703 | 2147483647 104787 27 | 3.238 % |
95.41/95.50 c | 104933 | 957 327827 1877703 | 2147483647 104887 27 | 3.237 % |
95.41/95.58 c | 105043 | 957 327827 1877703 | 2147483647 104997 27 | 3.236 % |
95.51/95.66 c | 105164 | 957 327827 1877703 | 2147483647 105118 27 | 3.236 % |
95.61/95.75 c | 105297 | 957 327827 1877703 | 2147483647 105251 27 | 3.237 % |
95.71/95.85 c | 105443 | 957 327827 1877703 | 2147483647 105397 27 | 3.236 % |
95.91/96.01 c | 105604 | 957 327827 1877703 | 2147483647 105558 27 | 3.237 % |
95.91/96.09 c | 105780 | 957 327827 1877703 | 2147483647 105734 27 | 3.236 % |
96.11/96.24 c | 105973 | 957 327827 1877703 | 2147483647 105927 27 | 3.236 % |
96.21/96.33 c | 106186 | 957 327827 1877703 | 2147483647 106140 27 | 3.240 % |
96.31/96.47 c | 106421 | 957 327827 1877703 | 2147483647 106375 27 | 3.237 % |
96.41/96.58 c | 106679 | 957 327827 1877703 | 2147483647 106633 27 | 3.237 % |
96.61/96.75 c | 106960 | 957 327827 1877703 | 2147483647 106914 27 | 3.236 % |
96.81/96.94 c | 107271 | 957 327827 1877703 | 2147483647 107225 27 | 3.238 % |
97.01/97.18 c | 107612 | 957 327827 1877703 | 2147483647 107566 27 | 3.237 % |
97.31/97.42 c | 107985 | 957 327827 1877703 | 2147483647 107939 27 | 3.236 % |
97.41/97.58 c | 108397 | 957 327827 1877703 | 2147483647 108351 27 | 3.237 % |
97.81/97.90 c | 108847 | 957 327827 1877703 | 2147483647 108801 27 | 3.236 % |
98.11/98.20 c | 109341 | 957 327827 1877703 | 2147483647 109295 27 | 3.236 % |
98.41/98.55 c | 109883 | 957 327827 1877703 | 2147483647 109837 27 | 3.237 % |
98.81/98.94 c | 110479 | 957 327827 1877703 | 2147483647 110433 27 | 3.237 % |
99.21/99.37 c | 111135 | 957 327827 1877703 | 2147483647 111089 27 | 3.237 % |
99.71/99.82 c | 111857 | 957 327827 1877703 | 2147483647 111811 27 | 3.236 % |
100.31/100.47 c | 112649 | 957 327827 1877703 | 2147483647 112603 27 | 3.237 % |
101.01/101.19 c | 113520 | 957 327827 1877703 | 2147483647 113474 27 | 3.236 % |
101.60/101.75 c | 114478 | 957 327827 1877703 | 2147483647 114432 27 | 3.236 % |
102.40/102.50 c | 115531 | 957 327827 1877703 | 2147483647 115485 27 | 3.236 % |
103.30/103.42 c | 116693 | 957 327827 1877703 | 2147483647 116647 27 | 3.236 % |
103.90/104.04 c | 117966 | 957 327827 1877703 | 2147483647 117920 27 | 3.237 % |
104.00/104.11 c | 118066 | 957 327827 1877703 | 2147483647 118020 27 | 3.236 % |
104.10/104.20 c | 118178 | 957 327827 1877703 | 2147483647 118132 27 | 3.236 % |
104.10/104.29 c | 118299 | 957 327827 1877703 | 2147483647 118253 27 | 3.236 % |
104.20/104.36 c | 118433 | 957 327827 1877703 | 2147483647 118387 27 | 3.236 % |
104.30/104.41 c | 118579 | 957 327827 1877703 | 2147483647 118533 27 | 3.236 % |
104.30/104.48 c | 118740 | 957 327827 1877703 | 2147483647 118694 27 | 3.236 % |
104.50/104.61 c | 118917 | 957 327827 1877703 | 2147483647 118871 27 | 3.236 % |
104.60/104.74 c | 119111 | 957 327827 1877703 | 2147483647 119065 27 | 3.237 % |
104.70/104.83 c | 119323 | 957 327827 1877703 | 2147483647 119277 27 | 3.236 % |
104.90/105.00 c | 119559 | 957 327827 1877703 | 2147483647 119513 27 | 3.236 % |
104.90/105.10 c | 119816 | 957 327827 1877703 | 2147483647 119770 27 | 3.238 % |
105.10/105.26 c | 120097 | 957 327827 1877703 | 2147483647 120051 27 | 3.236 % |
105.30/105.43 c | 120406 | 957 327827 1877703 | 2147483647 120360 27 | 3.238 % |
105.50/105.64 c | 120746 | 957 327827 1877703 | 2147483647 120700 27 | 3.236 % |
105.70/105.85 c | 121119 | 957 327827 1877703 | 2147483647 121073 27 | 3.237 % |
105.90/106.08 c | 121528 | 957 327827 1877703 | 2147483647 121482 27 | 3.236 % |
106.20/106.33 c | 121978 | 957 327827 1877703 | 2147483647 121932 27 | 3.238 % |
106.40/106.55 c | 122473 | 957 327827 1877703 | 2147483647 122427 27 | 3.238 % |
106.80/106.91 c | 123016 | 957 327827 1877703 | 2147483647 122970 27 | 3.236 % |
107.50/107.66 c | 123612 | 957 327827 1877703 | 2147483647 123566 27 | 3.236 % |
107.80/107.99 c | 124267 | 957 327827 1877703 | 2147483647 124221 27 | 3.237 % |
108.49/108.62 c | 124988 | 957 327827 1877703 | 2147483647 124942 27 | 3.236 % |
108.81/108.95 c | 125780 | 957 327827 1877703 | 2147483647 125734 27 | 3.237 % |
109.50/109.62 c | 126652 | 957 327827 1877703 | 2147483647 126606 27 | 3.236 % |
110.10/110.23 c | 127611 | 957 327827 1877703 | 2147483647 127565 27 | 3.236 % |
110.50/110.62 c | 128664 | 957 327827 1877703 | 2147483647 128618 27 | 3.236 % |
111.10/111.29 c | 129823 | 957 327827 1877703 | 2147483647 129777 27 | 3.236 % |
111.70/111.88 c | 131097 | 957 327827 1877703 | 2147483647 131051 27 | 3.236 % |
112.90/113.01 c | 132497 | 957 327827 1877703 | 2147483647 132451 28 | 3.236 % |
113.00/113.11 c | 132597 | 957 327827 1877703 | 2147483647 132551 28 | 3.236 % |
113.10/113.22 c | 132707 | 957 327827 1877703 | 2147483647 132661 28 | 3.236 % |
113.20/113.32 c | 132828 | 957 327827 1877703 | 2147483647 132782 28 | 3.236 % |
113.20/113.39 c | 132966 | 957 327827 1877703 | 2147483647 132920 28 | 3.237 % |
113.30/113.48 c | 133112 | 957 327827 1877703 | 2147483647 133066 28 | 3.236 % |
113.40/113.58 c | 133274 | 957 327827 1877703 | 2147483647 133228 28 | 3.236 % |
113.50/113.67 c | 133454 | 957 327827 1877703 | 2147483647 133408 27 | 3.236 % |
113.60/113.76 c | 133647 | 957 327827 1877703 | 2147483647 133601 28 | 3.236 % |
113.70/113.89 c | 133859 | 957 327827 1877703 | 2147483647 133813 27 | 3.237 % |
113.90/114.01 c | 134092 | 957 327827 1877703 | 2147483647 134046 27 | 3.236 % |
114.00/114.16 c | 134348 | 957 327827 1877703 | 2147483647 134302 27 | 3.238 % |
114.20/114.37 c | 134629 | 957 327827 1877703 | 2147483647 134583 27 | 3.237 % |
114.40/114.59 c | 134938 | 957 327827 1877703 | 2147483647 134892 27 | 3.236 % |
114.69/114.81 c | 135278 | 957 327827 1877703 | 2147483647 135232 27 | 3.237 % |
114.89/115.00 c | 135653 | 957 327827 1877703 | 2147483647 135607 27 | 3.239 % |
115.19/115.39 c | 136062 | 957 327827 1877703 | 2147483647 136016 28 | 3.236 % |
115.59/115.75 c | 136512 | 957 327827 1877703 | 2147483647 136466 28 | 3.236 % |
115.89/116.08 c | 137005 | 957 327827 1877703 | 2147483647 136959 28 | 3.236 % |
116.40/116.60 c | 137549 | 957 327827 1877703 | 2147483647 137503 28 | 3.236 % |
117.19/117.30 c | 138147 | 957 327827 1877703 | 2147483647 138101 28 | 3.236 % |
118.09/118.24 c | 138802 | 957 327827 1877703 | 2147483647 138756 28 | 3.236 % |
118.79/118.94 c | 139523 | 957 327827 1877703 | 2147483647 139477 28 | 3.237 % |
119.29/119.42 c | 140315 | 957 327827 1877703 | 2147483647 140269 28 | 3.236 % |
119.70/119.83 c | 141186 | 957 327827 1877703 | 2147483647 141140 28 | 3.236 % |
120.29/120.45 c | 142146 | 957 327827 1877703 | 2147483647 142100 28 | 3.237 % |
121.39/121.56 c | 143200 | 957 327827 1877703 | 2147483647 143154 28 | 3.237 % |
123.29/123.42 c | 144358 | 957 327827 1877703 | 2147483647 144312 28 | 3.237 % |
124.39/124.52 c | 145632 | 957 327827 1877703 | 2147483647 145586 28 | 3.237 % |
126.19/126.33 c | 147032 | 957 327827 1877703 | 2147483647 146986 28 | 3.237 % |
127.39/127.51 c | 148572 | 957 327827 1877703 | 2147483647 148526 28 | 3.236 % |
127.49/127.62 c | 148676 | 957 327827 1877703 | 2147483647 148630 28 | 3.236 % |
127.59/127.71 c | 148786 | 957 327827 1877703 | 2147483647 148740 28 | 3.236 % |
127.69/127.82 c | 148907 | 957 327827 1877703 | 2147483647 148861 28 | 3.237 % |
127.79/127.91 c | 149042 | 957 327827 1877703 | 2147483647 148996 28 | 3.236 % |
127.89/128.06 c | 149189 | 957 327827 1877703 | 2147483647 149143 28 | 3.236 % |
127.99/128.18 c | 149349 | 957 327827 1877703 | 2147483647 149303 28 | 3.236 % |
128.19/128.31 c | 149525 | 957 327827 1877703 | 2147483647 149479 28 | 3.236 % |
128.29/128.46 c | 149718 | 957 327827 1877703 | 2147483647 149672 28 | 3.236 % |
128.49/128.62 c | 149932 | 957 327827 1877703 | 2147483647 149886 28 | 3.236 % |
128.59/128.77 c | 150167 | 957 327827 1877703 | 2147483647 150121 28 | 3.237 % |
128.78/128.90 c | 150423 | 957 327827 1877703 | 2147483647 150377 28 | 3.236 % |
128.88/129.06 c | 150705 | 957 327827 1877703 | 2147483647 150659 28 | 3.236 % |
129.08/129.29 c | 151014 | 957 327827 1877703 | 2147483647 150968 28 | 3.236 % |
129.59/129.71 c | 151354 | 957 327827 1877703 | 2147483647 151308 28 | 3.236 % |
129.78/129.99 c | 151726 | 957 327827 1877703 | 2147483647 151680 28 | 3.236 % |
130.18/130.36 c | 152136 | 957 327827 1877703 | 2147483647 152090 28 | 3.237 % |
130.58/130.70 c | 152585 | 957 327827 1877703 | 2147483647 152539 28 | 3.236 % |
130.98/131.12 c | 153078 | 957 327827 1877703 | 2147483647 153032 28 | 3.236 % |
131.29/131.48 c | 153622 | 957 327827 1877703 | 2147483647 153576 28 | 3.236 % |
131.69/131.87 c | 154218 | 957 327827 1877703 | 2147483647 154172 28 | 3.236 % |
132.29/132.42 c | 154874 | 957 327827 1877703 | 2147483647 154828 28 | 3.236 % |
132.69/132.80 c | 155594 | 957 327827 1877703 | 2147483647 155548 28 | 3.237 % |
133.29/133.46 c | 156388 | 957 327827 1877703 | 2147483647 156342 28 | 3.236 % |
134.09/134.23 c | 157260 | 957 327827 1877703 | 2147483647 157214 28 | 3.237 % |
135.19/135.34 c | 158219 | 957 327827 1877703 | 2147483647 158173 28 | 3.236 % |
136.79/136.93 c | 159272 | 957 327827 1877703 | 2147483647 159226 28 | 3.237 % |
138.78/138.98 c | 160432 | 957 327827 1877703 | 2147483647 160386 28 | 3.238 % |
140.98/141.11 c | 161707 | 957 327827 1877703 | 2147483647 161661 28 | 3.238 % |
142.79/142.91 c | 163107 | 957 327827 1877703 | 2147483647 163061 28 | 3.237 % |
144.58/144.80 c | 164648 | 957 327827 1877703 | 2147483647 164602 28 | 3.236 % |
146.28/146.40 c | 166343 | 957 327827 1877703 | 2147483647 166297 28 | 3.237 % |
146.28/146.50 c | 166443 | 957 327827 1877703 | 2147483647 166397 28 | 3.237 % |
146.38/146.57 c | 166554 | 957 327827 1877703 | 2147483647 166508 28 | 3.236 % |
146.58/146.71 c | 166676 | 957 327827 1877703 | 2147483647 166630 28 | 3.236 % |
146.68/146.85 c | 166811 | 957 327827 1877703 | 2147483647 166765 28 | 3.236 % |
146.78/146.95 c | 166958 | 957 327827 1877703 | 2147483647 166912 28 | 3.236 % |
146.88/147.05 c | 167118 | 957 327827 1877703 | 2147483647 167072 28 | 3.236 % |
146.98/147.19 c | 167297 | 957 327827 1877703 | 2147483647 167251 28 | 3.237 % |
147.18/147.31 c | 167490 | 957 327827 1877703 | 2147483647 167444 28 | 3.236 % |
147.38/147.51 c | 167703 | 957 327827 1877703 | 2147483647 167657 28 | 3.236 % |
147.48/147.69 c | 167937 | 957 327827 1877703 | 2147483647 167891 28 | 3.237 % |
147.78/147.95 c | 168193 | 957 327827 1877703 | 2147483647 168147 28 | 3.236 % |
147.88/148.08 c | 168476 | 957 327827 1877703 | 2147483647 168430 28 | 3.236 % |
148.18/148.31 c | 168785 | 957 327827 1877703 | 2147483647 168739 28 | 3.236 % |
148.38/148.51 c | 169124 | 957 327827 1877703 | 2147483647 169078 28 | 3.236 % |
148.57/148.72 c | 169497 | 957 327827 1877703 | 2147483647 169451 28 | 3.237 % |
148.77/148.98 c | 169906 | 957 327827 1877703 | 2147483647 169860 28 | 3.236 % |
149.07/149.20 c | 170356 | 957 327827 1877703 | 2147483647 170310 28 | 3.236 % |
149.38/149.50 c | 170849 | 957 327827 1877703 | 2147483647 170803 28 | 3.237 % |
149.77/149.95 c | 171392 | 957 327827 1877703 | 2147483647 171346 28 | 3.236 % |
150.07/150.20 c | 171988 | 957 327827 1877703 | 2147483647 171942 28 | 3.237 % |
150.48/150.68 c | 172643 | 957 327827 1877703 | 2147483647 172597 28 | 3.236 % |
150.97/151.12 c | 173364 | 957 327827 1877703 | 2147483647 173318 28 | 3.236 % |
151.77/151.95 c | 174156 | 957 327827 1877703 | 2147483647 174110 28 | 3.236 % |
152.37/152.60 c | 175027 | 957 327827 1877703 | 2147483647 174981 28 | 3.237 % |
153.07/153.20 c | 175985 | 957 327827 1877703 | 2147483647 175939 28 | 3.236 % |
153.97/154.13 c | 177038 | 957 327827 1877703 | 2147483647 176992 28 | 3.236 % |
154.88/155.10 c | 178201 | 957 327827 1877703 | 2147483647 178155 28 | 3.236 % |
156.68/156.89 c | 179474 | 957 327827 1877703 | 2147483647 179428 29 | 3.236 % |
158.38/158.59 c | 180875 | 957 327827 1877703 | 2147483647 180829 29 | 3.238 % |
160.38/160.53 c | 182416 | 957 327827 1877703 | 2147483647 182370 29 | 3.237 % |
162.87/163.09 c | 184110 | 957 327827 1877703 | 2147483647 184064 29 | 3.236 % |
165.77/165.97 c | 185974 | 957 327827 1877703 | 2147483647 185928 29 | 3.239 % |
165.97/166.13 c | 186076 | 957 327827 1877703 | 2147483647 186030 29 | 3.237 % |
166.07/166.26 c | 186187 | 957 327827 1877703 | 2147483647 186141 29 | 3.236 % |
166.17/166.34 c | 186308 | 957 327827 1877703 | 2147483647 186262 29 | 3.236 % |
166.37/166.56 c | 186442 | 957 327827 1877703 | 2147483647 186396 29 | 3.236 % |
166.57/166.73 c | 186588 | 957 327827 1877703 | 2147483647 186542 29 | 3.237 % |
166.67/166.89 c | 186748 | 957 327827 1877703 | 2147483647 186702 29 | 3.236 % |
166.87/167.05 c | 186925 | 957 327827 1877703 | 2147483647 186879 29 | 3.236 % |
167.07/167.23 c | 187118 | 957 327827 1877703 | 2147483647 187072 29 | 3.237 % |
167.37/167.56 c | 187330 | 957 327827 1877703 | 2147483647 187284 29 | 3.236 % |
167.67/167.87 c | 187565 | 957 327827 1877703 | 2147483647 187519 29 | 3.237 % |
167.97/168.16 c | 187823 | 957 327827 1877703 | 2147483647 187777 29 | 3.236 % |
168.27/168.46 c | 188104 | 957 327827 1877703 | 2147483647 188058 29 | 3.236 % |
168.47/168.69 c | 188415 | 957 327827 1877703 | 2147483647 188369 29 | 3.236 % |
168.77/168.93 c | 188754 | 957 327827 1877703 | 2147483647 188708 29 | 3.236 % |
168.97/169.17 c | 189127 | 957 327827 1877703 | 2147483647 189081 29 | 3.237 % |
169.38/169.54 c | 189536 | 957 327827 1877703 | 2147483647 189490 29 | 3.237 % |
169.77/169.92 c | 189986 | 957 327827 1877703 | 2147483647 189940 29 | 3.236 % |
170.17/170.33 c | 190479 | 957 327827 1877703 | 2147483647 190433 29 | 3.236 % |
170.87/171.06 c | 191022 | 957 327827 1877703 | 2147483647 190976 29 | 3.237 % |
171.48/171.62 c | 191618 | 957 327827 1877703 | 2147483647 191572 29 | 3.239 % |
172.07/172.26 c | 192273 | 957 327827 1877703 | 2147483647 192227 29 | 3.237 % |
172.87/173.03 c | 192993 | 957 327827 1877703 | 2147483647 192947 29 | 3.236 % |
173.77/173.97 c | 193786 | 957 327827 1877703 | 2147483647 193740 29 | 3.236 % |
175.07/175.22 c | 194658 | 957 327827 1877703 | 2147483647 194612 29 | 3.238 % |
176.07/176.23 c | 195616 | 957 327827 1877703 | 2147483647 195570 29 | 3.236 % |
177.27/177.48 c | 196670 | 957 327827 1877703 | 2147483647 196624 29 | 3.236 % |
177.87/178.01 c | 197830 | 957 327827 1877703 | 2147483647 197784 29 | 3.236 % |
178.97/179.19 c | 199104 | 957 327827 1877703 | 2147483647 199058 29 | 3.236 % |
179.87/180.01 c | 200504 | 957 327827 1877703 | 2147483647 200458 29 | 3.236 % |
181.96/182.15 c | 202045 | 957 327827 1877703 | 2147483647 201999 29 | 3.236 % |
184.16/184.31 c | 203744 | 957 327827 1877703 | 2147483647 203698 29 | 3.236 % |
186.26/186.40 c | 205607 | 957 327827 1877703 | 2147483647 205561 29 | 3.236 % |
188.06/188.25 c | 207656 | 957 327827 1877703 | 2147483647 207610 29 | 3.236 % |
188.16/188.34 c | 207756 | 957 327827 1877703 | 2147483647 207710 29 | 3.236 % |
188.26/188.42 c | 207866 | 957 327827 1877703 | 2147483647 207820 29 | 3.236 % |
188.36/188.50 c | 207987 | 957 327827 1877703 | 2147483647 207941 29 | 3.236 % |
188.46/188.62 c | 208121 | 957 327827 1877703 | 2147483647 208075 29 | 3.237 % |
188.56/188.76 c | 208267 | 957 327827 1877703 | 2147483647 208221 29 | 3.236 % |
188.76/188.93 c | 208427 | 957 327827 1877703 | 2147483647 208381 29 | 3.236 % |
188.87/189.05 c | 208604 | 957 327827 1877703 | 2147483647 208558 29 | 3.236 % |
189.07/189.27 c | 208797 | 957 327827 1877703 | 2147483647 208751 29 | 3.236 % |
189.27/189.45 c | 209010 | 957 327827 1877703 | 2147483647 208964 29 | 3.236 % |
189.47/189.68 c | 209243 | 957 327827 1877703 | 2147483647 209197 29 | 3.236 % |
189.77/189.94 c | 209500 | 957 327827 1877703 | 2147483647 209454 29 | 3.236 % |
190.07/190.21 c | 209784 | 957 327827 1877703 | 2147483647 209738 29 | 3.236 % |
190.27/190.45 c | 210093 | 957 327827 1877703 | 2147483647 210047 29 | 3.236 % |
190.77/190.97 c | 210433 | 957 327827 1877703 | 2147483647 210387 29 | 3.236 % |
191.36/191.52 c | 210805 | 957 327827 1877703 | 2147483647 210759 29 | 3.236 % |
191.86/192.07 c | 211214 | 957 327827 1877703 | 2147483647 211168 29 | 3.237 % |
192.37/192.52 c | 211663 | 957 327827 1877703 | 2147483647 211617 29 | 3.237 % |
192.96/193.10 c | 212158 | 957 327827 1877703 | 2147483647 212112 29 | 3.238 % |
193.47/193.68 c | 212701 | 957 327827 1877703 | 2147483647 212655 29 | 3.238 % |
193.86/194.04 c | 213297 | 957 327827 1877703 | 2147483647 213251 29 | 3.240 % |
194.66/194.83 c | 213952 | 957 327827 1877703 | 2147483647 213906 29 | 3.236 % |
195.46/195.70 c | 214672 | 957 327827 1877703 | 2147483647 214626 29 | 3.237 % |
196.16/196.32 c | 215465 | 957 327827 1877703 | 2147483647 215419 29 | 3.237 % |
197.06/197.22 c | 216336 | 957 327827 1877703 | 2147483647 216290 29 | 3.236 % |
198.46/198.66 c | 217294 | 957 327827 1877703 | 2147483647 217248 29 | 3.236 % |
200.16/200.31 c | 218347 | 957 327827 1877703 | 2147483647 218301 29 | 3.237 % |
201.96/202.19 c | 219505 | 957 327827 1877703 | 2147483647 219459 29 | 3.237 % |
203.36/203.58 c | 220778 | 957 327827 1877703 | 2147483647 220732 30 | 3.236 % |
204.86/205.00 c | 222178 | 957 327827 1877703 | 2147483647 222132 29 | 3.236 % |
206.56/206.76 c | 223721 | 957 327827 1877703 | 2147483647 223675 30 | 3.236 % |
208.15/208.34 c | 225416 | 957 327827 1877703 | 2147483647 225370 30 | 3.237 % |
210.45/210.63 c | 227279 | 957 327827 1877703 | 2147483647 227233 30 | 3.236 % |
212.07/212.29 c | 229328 | 957 327827 1877703 | 2147483647 229282 30 | 3.236 % |
216.26/216.46 c | 231582 | 957 327827 1877703 | 2147483647 231536 30 | 3.236 % |
216.46/216.60 c | 231683 | 957 327827 1877703 | 2147483647 231637 30 | 3.236 % |
216.56/216.76 c | 231793 | 957 327827 1877703 | 2147483647 231747 30 | 3.236 % |
216.66/216.88 c | 231919 | 957 327827 1877703 | 2147483647 231873 30 | 3.236 % |
216.86/217.02 c | 232053 | 957 327827 1877703 | 2147483647 232007 30 | 3.236 % |
217.06/217.26 c | 232201 | 957 327827 1877703 | 2147483647 232155 30 | 3.236 % |
217.26/217.40 c | 232361 | 957 327827 1877703 | 2147483647 232315 30 | 3.236 % |
217.36/217.53 c | 232537 | 957 327827 1877703 | 2147483647 232491 30 | 3.236 % |
217.56/217.70 c | 232730 | 957 327827 1877703 | 2147483647 232684 30 | 3.236 % |
217.76/217.97 c | 232943 | 957 327827 1877703 | 2147483647 232897 30 | 3.236 % |
218.06/218.25 c | 233178 | 957 327827 1877703 | 2147483647 233132 30 | 3.236 % |
218.36/218.56 c | 233435 | 957 327827 1877703 | 2147483647 233389 30 | 3.237 % |
218.66/218.81 c | 233718 | 957 327827 1877703 | 2147483647 233672 30 | 3.237 % |
219.16/219.33 c | 234027 | 957 327827 1877703 | 2147483647 233981 30 | 3.236 % |
219.56/219.73 c | 234366 | 957 327827 1877703 | 2147483647 234320 30 | 3.236 % |
220.06/220.25 c | 234741 | 957 327827 1877703 | 2147483647 234695 30 | 3.236 % |
220.66/220.87 c | 235151 | 957 327827 1877703 | 2147483647 235105 30 | 3.236 % |
221.36/221.54 c | 235602 | 957 327827 1877703 | 2147483647 235556 30 | 3.237 % |
222.36/222.58 c | 236096 | 957 327827 1877703 | 2147483647 236050 30 | 3.237 % |
222.96/223.14 c | 236638 | 957 327827 1877703 | 2147483647 236592 30 | 3.236 % |
223.46/223.60 c | 237234 | 957 327827 1877703 | 2147483647 237188 30 | 3.237 % |
224.06/224.28 c | 237889 | 957 327827 1877703 | 2147483647 237843 30 | 3.237 % |
224.55/224.71 c | 238610 | 957 327827 1877703 | 2147483647 238564 30 | 3.237 % |
225.15/225.38 c | 239407 | 957 327827 1877703 | 2147483647 239361 30 | 3.236 % |
226.15/226.39 c | 240280 | 957 327827 1877703 | 2147483647 240234 30 | 3.237 % |
227.05/227.28 c | 241238 | 957 327827 1877703 | 2147483647 241192 30 | 3.236 % |
228.75/228.93 c | 242292 | 957 327827 1877703 | 2147483647 242246 30 | 3.236 % |
230.25/230.46 c | 243450 | 957 327827 1877703 | 2147483647 243404 30 | 3.236 % |
232.05/232.29 c | 244726 | 957 327827 1877703 | 2147483647 244680 30 | 3.237 % |
234.45/234.65 c | 246126 | 957 327827 1877703 | 2147483647 246080 30 | 3.236 % |
236.45/236.66 c | 247667 | 957 327827 1877703 | 2147483647 247621 30 | 3.237 % |
240.15/240.33 c | 249362 | 957 327827 1877703 | 2147483647 249316 30 | 3.236 % |
242.25/242.46 c | 251226 | 957 327827 1877703 | 2147483647 251180 30 | 3.238 % |
245.05/245.20 c | 253276 | 957 327827 1877703 | 2147483647 253230 30 | 3.236 % |
248.54/248.70 c | 255530 | 957 327827 1877703 | 2147483647 255484 30 | 3.238 % |
252.44/252.60 c | 258011 | 957 327827 1877703 | 2147483647 257965 30 | 3.236 % |
252.64/252.81 c | 258111 | 957 327827 1877703 | 2147483647 258065 30 | 3.236 % |
252.84/253.02 c | 258221 | 957 327827 1877703 | 2147483647 258175 30 | 3.236 % |
252.93/253.12 c | 258344 | 957 327827 1877703 | 2147483647 258298 30 | 3.237 % |
253.03/253.26 c | 258477 | 957 327827 1877703 | 2147483647 258431 30 | 3.236 % |
253.23/253.42 c | 258624 | 957 327827 1877703 | 2147483647 258578 30 | 3.237 % |
253.43/253.69 c | 258785 | 957 327827 1877703 | 2147483647 258739 30 | 3.236 % |
253.73/253.90 c | 258962 | 957 327827 1877703 | 2147483647 258916 30 | 3.237 % |
254.03/254.28 c | 259155 | 957 327827 1877703 | 2147483647 259109 30 | 3.236 % |
254.33/254.52 c | 259367 | 957 327827 1877703 | 2147483647 259321 30 | 3.237 % |
254.63/254.87 c | 259600 | 957 327827 1877703 | 2147483647 259554 30 | 3.236 % |
255.14/255.33 c | 259856 | 957 327827 1877703 | 2147483647 259810 30 | 3.236 % |
255.64/255.82 c | 260137 | 957 327827 1877703 | 2147483647 260091 30 | 3.236 % |
255.94/256.13 c | 260448 | 957 327827 1877703 | 2147483647 260402 30 | 3.237 % |
256.33/256.56 c | 260787 | 957 327827 1877703 | 2147483647 260741 30 | 3.236 % |
256.73/256.95 c | 261159 | 957 327827 1877703 | 2147483647 261113 30 | 3.236 % |
257.14/257.35 c | 261568 | 957 327827 1877703 | 2147483647 261522 30 | 3.237 % |
257.93/258.17 c | 262017 | 957 327827 1877703 | 2147483647 261971 30 | 3.236 % |
258.53/258.78 c | 262513 | 957 327827 1877703 | 2147483647 262467 30 | 3.236 % |
259.63/259.80 c | 263056 | 957 327827 1877703 | 2147483647 263010 30 | 3.236 % |
260.33/260.55 c | 263652 | 957 327827 1877703 | 2147483647 263606 30 | 3.236 % |
261.23/261.43 c | 264307 | 957 327827 1877703 | 2147483647 264261 30 | 3.236 % |
262.03/262.20 c | 265028 | 957 327827 1877703 | 2147483647 264982 30 | 3.236 % |
263.34/263.60 c | 265822 | 957 327827 1877703 | 2147483647 265776 30 | 3.236 % |
264.74/264.91 c | 266695 | 957 327827 1877703 | 2147483647 266649 30 | 3.236 % |
266.24/266.41 c | 267654 | 957 327827 1877703 | 2147483647 267608 30 | 3.236 % |
267.54/267.72 c | 268707 | 957 327827 1877703 | 2147483647 268661 30 | 3.238 % |
269.34/269.51 c | 269865 | 957 327827 1877703 | 2147483647 269819 30 | 3.238 % |
271.34/271.59 c | 271141 | 957 327827 1877703 | 2147483647 271095 30 | 3.239 % |
273.54/273.76 c | 272541 | 957 327827 1877703 | 2147483647 272495 30 | 3.238 % |
275.53/275.73 c | 274083 | 957 327827 1877703 | 2147483647 274037 30 | 3.236 % |
277.43/277.69 c | 275777 | 957 327827 1877703 | 2147483647 275731 30 | 3.236 % |
279.93/280.15 c | 277640 | 957 327827 1877703 | 2147483647 277594 30 | 3.236 % |
282.33/282.58 c | 279691 | 957 327827 1877703 | 2147483647 279645 30 | 3.236 % |
285.03/285.25 c | 281945 | 957 327827 1877703 | 2147483647 281899 30 | 3.236 % |
289.03/289.24 c | 284423 | 957 327827 1877703 | 2147483647 284377 30 | 3.237 % |
291.93/292.18 c | 287150 | 957 327827 1877703 | 2147483647 287104 31 | 3.237 % |
292.13/292.31 c | 287251 | 957 327827 1877703 | 2147483647 287205 31 | 3.236 % |
292.23/292.46 c | 287361 | 957 327827 1877703 | 2147483647 287315 31 | 3.236 % |
292.53/292.71 c | 287483 | 957 327827 1877703 | 2147483647 287437 31 | 3.236 % |
292.63/292.87 c | 287616 | 957 327827 1877703 | 2147483647 287570 31 | 3.237 % |
292.83/293.07 c | 287762 | 957 327827 1877703 | 2147483647 287716 31 | 3.236 % |
293.13/293.31 c | 287923 | 957 327827 1877703 | 2147483647 287877 31 | 3.236 % |
293.33/293.58 c | 288102 | 957 327827 1877703 | 2147483647 288056 30 | 3.236 % |
293.53/293.78 c | 288295 | 957 327827 1877703 | 2147483647 288249 30 | 3.238 % |
293.83/294.00 c | 288509 | 957 327827 1877703 | 2147483647 288463 30 | 3.236 % |
294.13/294.39 c | 288743 | 957 327827 1877703 | 2147483647 288697 30 | 3.236 % |
294.43/294.68 c | 289001 | 957 327827 1877703 | 2147483647 288955 30 | 3.236 % |
295.03/295.20 c | 289282 | 957 327827 1877703 | 2147483647 289236 30 | 3.236 % |
295.52/295.73 c | 289591 | 957 327827 1877703 | 2147483647 289545 31 | 3.237 % |
295.92/296.13 c | 289930 | 957 327827 1877703 | 2147483647 289884 30 | 3.236 % |
296.52/296.74 c | 290303 | 957 327827 1877703 | 2147483647 290257 31 | 3.236 % |
297.22/297.44 c | 290712 | 957 327827 1877703 | 2147483647 290666 31 | 3.236 % |
297.73/297.97 c | 291167 | 957 327827 1877703 | 2147483647 291121 31 | 3.236 % |
298.63/298.86 c | 291662 | 957 327827 1877703 | 2147483647 291616 31 | 3.236 % |
299.92/300.17 c | 292204 | 957 327827 1877703 | 2147483647 292158 31 | 3.236 % |
301.13/301.39 c | 292800 | 957 327827 1877703 | 2147483647 292754 31 | 3.237 % |
302.82/303.06 c | 293456 | 957 327827 1877703 | 2147483647 293410 31 | 3.238 % |
304.32/304.53 c | 294178 | 957 327827 1877703 | 2147483647 294132 31 | 3.237 % |
306.22/306.45 c | 294970 | 957 327827 1877703 | 2147483647 294924 31 | 3.237 % |
308.52/308.71 c | 295841 | 957 327827 1877703 | 2147483647 295795 31 | 3.237 % |
310.92/311.16 c | 296800 | 957 327827 1877703 | 2147483647 296754 31 | 3.238 % |
313.62/313.89 c | 297853 | 957 327827 1877703 | 2147483647 297807 31 | 3.237 % |
316.82/317.06 c | 299011 | 957 327827 1877703 | 2147483647 298965 31 | 3.237 % |
318.42/318.61 c | 300286 | 957 327827 1877703 | 2147483647 300240 31 | 3.236 % |
320.72/320.90 c | 301687 | 957 327827 1877703 | 2147483647 301641 31 | 3.236 % |
322.52/322.74 c | 303229 | 957 327827 1877703 | 2147483647 303183 31 | 3.237 % |
324.12/324.39 c | 304923 | 957 327827 1877703 | 2147483647 304877 31 | 3.236 % |
325.82/326.04 c | 306786 | 957 327827 1877703 | 2147483647 306740 31 | 3.237 % |
328.02/328.25 c | 308836 | 957 327827 1877703 | 2147483647 308790 31 | 3.236 % |
332.51/332.71 c | 311089 | 957 327827 1877703 | 2147483647 311043 31 | 3.236 % |
336.32/336.57 c | 313569 | 957 327827 1877703 | 2147483647 313523 31 | 3.236 % |
341.71/341.95 c | 316294 | 957 327827 1877703 | 2147483647 316248 31 | 3.236 % |
345.81/346.00 c | 319292 | 957 327827 1877703 | 2147483647 319246 31 | 3.237 % |
345.91/346.18 c | 319392 | 957 327827 1877703 | 2147483647 319346 31 | 3.236 % |
346.11/346.32 c | 319503 | 957 327827 1877703 | 2147483647 319457 31 | 3.236 % |
346.41/346.63 c | 319626 | 957 327827 1877703 | 2147483647 319580 31 | 3.236 % |
346.80/347.02 c | 319759 | 957 327827 1877703 | 2147483647 319713 31 | 3.236 % |
347.11/347.32 c | 319905 | 957 327827 1877703 | 2147483647 319859 31 | 3.237 % |
347.32/347.54 c | 320066 | 957 327827 1877703 | 2147483647 320020 31 | 3.237 % |
347.61/347.82 c | 320245 | 957 327827 1877703 | 2147483647 320199 31 | 3.236 % |
347.91/348.14 c | 320438 | 957 327827 1877703 | 2147483647 320392 31 | 3.236 % |
348.21/348.44 c | 320650 | 957 327827 1877703 | 2147483647 320604 31 | 3.236 % |
348.41/348.67 c | 320883 | 957 327827 1877703 | 2147483647 320837 31 | 3.236 % |
348.71/348.98 c | 321139 | 957 327827 1877703 | 2147483647 321093 31 | 3.236 % |
349.21/349.42 c | 321420 | 957 327827 1877703 | 2147483647 321374 31 | 3.236 % |
349.62/349.87 c | 321729 | 957 327827 1877703 | 2147483647 321683 31 | 3.237 % |
350.11/350.35 c | 322069 | 957 327827 1877703 | 2147483647 322023 31 | 3.237 % |
350.91/351.10 c | 322441 | 957 327827 1877703 | 2147483647 322395 31 | 3.236 % |
351.71/351.93 c | 322850 | 957 327827 1877703 | 2147483647 322804 31 | 3.236 % |
352.71/352.97 c | 323299 | 957 327827 1877703 | 2147483647 323253 31 | 3.237 % |
353.91/354.16 c | 323793 | 957 327827 1877703 | 2147483647 323747 31 | 3.237 % |
355.01/355.25 c | 324336 | 957 327827 1877703 | 2147483647 324290 31 | 3.237 % |
356.21/356.46 c | 324932 | 957 327827 1877703 | 2147483647 324886 31 | 3.236 % |
358.01/358.25 c | 325588 | 957 327827 1877703 | 2147483647 325542 31 | 3.236 % |
359.01/359.28 c | 326310 | 957 327827 1877703 | 2147483647 326264 31 | 3.236 % |
360.31/360.53 c | 327102 | 957 327827 1877703 | 2147483647 327056 31 | 3.237 % |
361.71/361.97 c | 327975 | 957 327827 1877703 | 2147483647 327929 31 | 3.236 % |
363.71/363.96 c | 328934 | 957 327827 1877703 | 2147483647 328888 31 | 3.236 % |
365.50/365.77 c | 329987 | 957 327827 1877703 | 2147483647 329941 31 | 3.236 % |
368.40/368.66 c | 331146 | 957 327827 1877703 | 2147483647 331100 31 | 3.237 % |
371.90/372.13 c | 332419 | 957 327827 1877703 | 2147483647 332373 31 | 3.238 % |
375.20/375.45 c | 333819 | 957 327827 1877703 | 2147483647 333773 31 | 3.236 % |
377.50/377.73 c | 335360 | 957 327827 1877703 | 2147483647 335314 31 | 3.236 % |
381.50/381.74 c | 337054 | 957 327827 1877703 | 2147483647 337008 31 | 3.238 % |
384.30/384.58 c | 338919 | 957 327827 1877703 | 2147483647 338873 31 | 3.236 % |
387.69/387.93 c | 340968 | 957 327827 1877703 | 2147483647 340922 31 | 3.236 % |
392.89/393.12 c | 343221 | 957 327827 1877703 | 2147483647 343175 31 | 3.236 % |
397.10/397.36 c | 345700 | 957 327827 1877703 | 2147483647 345654 31 | 3.236 % |
403.40/403.69 c | 348430 | 957 327827 1877703 | 2147483647 348384 31 | 3.236 % |
408.69/408.91 c | 351429 | 957 327827 1877703 | 2147483647 351383 31 | 3.236 % |
414.19/414.46 c | 354727 | 957 327827 1877703 | 2147483647 354681 32 | 3.236 % |
414.29/414.58 c | 354827 | 957 327827 1877703 | 2147483647 354781 32 | 3.237 % |
414.59/414.84 c | 354937 | 957 327827 1877703 | 2147483647 354891 32 | 3.236 % |
414.79/415.05 c | 355058 | 957 327827 1877703 | 2147483647 355012 32 | 3.236 % |
414.99/415.27 c | 355193 | 957 327827 1877703 | 2147483647 355147 32 | 3.236 % |
415.39/415.60 c | 355340 | 957 327827 1877703 | 2147483647 355294 32 | 3.236 % |
415.69/415.90 c | 355500 | 957 327827 1877703 | 2147483647 355454 32 | 3.236 % |
415.99/416.25 c | 355676 | 957 327827 1877703 | 2147483647 355630 32 | 3.236 % |
416.39/416.65 c | 355873 | 957 327827 1877703 | 2147483647 355827 32 | 3.236 % |
416.69/416.98 c | 356086 | 957 327827 1877703 | 2147483647 356040 32 | 3.236 % |
417.29/417.51 c | 356319 | 957 327827 1877703 | 2147483647 356273 32 | 3.236 % |
417.69/417.91 c | 356576 | 957 327827 1877703 | 2147483647 356530 32 | 3.236 % |
418.18/418.49 c | 356857 | 957 327827 1877703 | 2147483647 356811 32 | 3.236 % |
418.68/418.94 c | 357166 | 957 327827 1877703 | 2147483647 357120 32 | 3.236 % |
419.08/419.32 c | 357509 | 957 327827 1877703 | 2147483647 357463 32 | 3.237 % |
419.78/420.00 c | 357882 | 957 327827 1877703 | 2147483647 357836 32 | 3.236 % |
420.18/420.48 c | 358295 | 957 327827 1877703 | 2147483647 358249 32 | 3.236 % |
420.98/421.22 c | 358745 | 957 327827 1877703 | 2147483647 358699 32 | 3.239 % |
421.58/421.80 c | 359238 | 957 327827 1877703 | 2147483647 359192 32 | 3.236 % |
422.49/422.72 c | 359780 | 957 327827 1877703 | 2147483647 359734 32 | 3.236 % |
423.59/423.86 c | 360376 | 957 327827 1877703 | 2147483647 360330 32 | 3.237 % |
424.89/425.12 c | 361031 | 957 327827 1877703 | 2147483647 360985 32 | 3.237 % |
426.09/426.38 c | 361753 | 957 327827 1877703 | 2147483647 361707 32 | 3.236 % |
427.69/427.90 c | 362546 | 957 327827 1877703 | 2147483647 362500 32 | 3.236 % |
429.28/429.51 c | 363418 | 957 327827 1877703 | 2147483647 363372 32 | 3.236 % |
430.89/431.15 c | 364376 | 957 327827 1877703 | 2147483647 364330 32 | 3.237 % |
432.88/433.14 c | 365432 | 957 327827 1877703 | 2147483647 365386 32 | 3.236 % |
434.98/435.27 c | 366590 | 957 327827 1877703 | 2147483647 366544 32 | 3.236 % |
437.38/437.62 c | 367863 | 957 327827 1877703 | 2147483647 367817 32 | 3.236 % |
438.88/439.19 c | 369264 | 957 327827 1877703 | 2147483647 369218 32 | 3.236 % |
441.98/442.25 c | 370804 | 957 327827 1877703 | 2147483647 370758 32 | 3.236 % |
445.38/445.60 c | 372499 | 957 327827 1877703 | 2147483647 372453 32 | 3.238 % |
448.68/448.95 c | 374362 | 957 327827 1877703 | 2147483647 374316 32 | 3.236 % |
453.37/453.61 c | 376412 | 957 327827 1877703 | 2147483647 376366 32 | 3.236 % |
456.47/456.71 c | 378668 | 957 327827 1877703 | 2147483647 378622 32 | 3.236 % |
461.18/461.40 c | 381146 | 957 327827 1877703 | 2147483647 381100 32 | 3.239 % |
466.08/466.32 c | 383872 | 957 327827 1877703 | 2147483647 383826 32 | 3.236 % |
471.07/471.30 c | 386869 | 957 327827 1877703 | 2147483647 386823 32 | 3.236 % |
478.47/478.80 c | 390165 | 957 327827 1877703 | 2147483647 390119 32 | 3.237 % |
487.87/488.11 c | 393790 | 957 327827 1877703 | 2147483647 393744 32 | 3.238 % |
488.07/488.37 c | 393890 | 957 327827 1877703 | 2147483647 393844 32 | 3.236 % |
488.47/488.70 c | 394000 | 957 327827 1877703 | 2147483647 393954 32 | 3.238 % |
488.67/489.00 c | 394124 | 957 327827 1877703 | 2147483647 394078 32 | 3.236 % |
489.17/489.41 c | 394258 | 957 327827 1877703 | 2147483647 394212 32 | 3.236 % |
489.56/489.81 c | 394405 | 957 327827 1877703 | 2147483647 394359 32 | 3.236 % |
489.86/490.19 c | 394567 | 957 327827 1877703 | 2147483647 394521 32 | 3.239 % |
490.27/490.55 c | 394743 | 957 327827 1877703 | 2147483647 394697 32 | 3.236 % |
490.76/491.07 c | 394936 | 957 327827 1877703 | 2147483647 394890 32 | 3.236 % |
491.06/491.39 c | 395150 | 957 327827 1877703 | 2147483647 395104 32 | 3.238 % |
491.47/491.80 c | 395383 | 957 327827 1877703 | 2147483647 395337 32 | 3.236 % |
491.96/492.30 c | 395639 | 957 327827 1877703 | 2147483647 395593 32 | 3.236 % |
492.76/493.00 c | 395920 | 957 327827 1877703 | 2147483647 395874 32 | 3.237 % |
493.46/493.74 c | 396230 | 957 327827 1877703 | 2147483647 396184 32 | 3.237 % |
494.06/494.31 c | 396569 | 957 327827 1877703 | 2147483647 396523 32 | 3.236 % |
494.86/495.15 c | 396941 | 957 327827 1877703 | 2147483647 396895 32 | 3.236 % |
495.66/495.92 c | 397351 | 957 327827 1877703 | 2147483647 397305 32 | 3.238 % |
496.46/496.76 c | 397800 | 957 327827 1877703 | 2147483647 397754 32 | 3.237 % |
497.26/497.51 c | 398293 | 957 327827 1877703 | 2147483647 398247 32 | 3.236 % |
498.06/498.37 c | 398835 | 957 327827 1877703 | 2147483647 398789 32 | 3.236 % |
498.96/499.20 c | 399432 | 957 327827 1877703 | 2147483647 399386 32 | 3.236 % |
499.66/499.92 c | 400089 | 957 327827 1877703 | 2147483647 400043 32 | 3.237 % |
500.66/500.93 c | 400810 | 957 327827 1877703 | 2147483647 400764 32 | 3.236 % |
502.47/502.73 c | 401602 | 957 327827 1877703 | 2147483647 401556 32 | 3.236 % |
504.86/505.16 c | 402473 | 957 327827 1877703 | 2147483647 402427 32 | 3.236 % |
507.26/507.54 c | 403432 | 957 327827 1877703 | 2147483647 403386 32 | 3.236 % |
509.76/510.02 c | 404485 | 957 327827 1877703 | 2147483647 404439 32 | 3.237 % |
512.66/512.97 c | 405643 | 957 327827 1877703 | 2147483647 405597 32 | 3.236 % |
515.16/515.44 c | 406916 | 957 327827 1877703 | 2147483647 406870 32 | 3.237 % |
518.15/518.48 c | 408316 | 957 327827 1877703 | 2147483647 408270 32 | 3.237 % |
521.75/522.04 c | 409857 | 957 327827 1877703 | 2147483647 409811 32 | 3.236 % |
525.75/526.06 c | 411552 | 957 327827 1877703 | 2147483647 411506 32 | 3.236 % |
529.95/530.28 c | 413416 | 957 327827 1877703 | 2147483647 413370 32 | 3.236 % |
536.24/536.56 c | 415467 | 957 327827 1877703 | 2147483647 415421 33 | 3.236 % |
542.14/542.44 c | 417722 | 957 327827 1877703 | 2147483647 417676 33 | 3.237 % |
548.95/549.24 c | 420202 | 957 327827 1877703 | 2147483647 420156 33 | 3.236 % |
557.14/557.42 c | 422927 | 957 327827 1877703 | 2147483647 422881 33 | 3.237 % |
566.74/567.01 c | 425926 | 957 327827 1877703 | 2147483647 425880 33 | 3.239 % |
577.64/577.99 c | 429222 | 957 327827 1877703 | 2147483647 429176 33 | 3.237 % |
590.83/591.12 c | 432849 | 957 327827 1877703 | 2147483647 432803 33 | 3.237 % |
604.93/605.29 c | 436837 | 957 327827 1877703 | 2147483647 436791 33 | 3.237 % |
605.43/605.72 c | 436937 | 957 327827 1877703 | 2147483647 436891 33 | 3.239 % |
605.93/606.20 c | 437047 | 957 327827 1877703 | 2147483647 437001 33 | 3.237 % |
606.23/606.54 c | 437168 | 957 327827 1877703 | 2147483647 437122 33 | 3.236 % |
606.43/606.80 c | 437303 | 957 327827 1877703 | 2147483647 437257 33 | 3.236 % |
606.83/607.15 c | 437450 | 957 327827 1877703 | 2147483647 437404 33 | 3.236 % |
607.13/607.48 c | 437610 | 957 327827 1877703 | 2147483647 437564 33 | 3.236 % |
607.53/607.85 c | 437789 | 957 327827 1877703 | 2147483647 437743 33 | 3.237 % |
607.83/608.20 c | 437983 | 957 327827 1877703 | 2147483647 437937 33 | 3.236 % |
608.33/608.61 c | 438196 | 957 327827 1877703 | 2147483647 438150 33 | 3.236 % |
608.93/609.21 c | 438430 | 957 327827 1877703 | 2147483647 438384 33 | 3.236 % |
609.13/609.45 c | 438687 | 957 327827 1877703 | 2147483647 438641 33 | 3.236 % |
609.73/610.01 c | 438969 | 957 327827 1877703 | 2147483647 438923 33 | 3.236 % |
610.42/610.79 c | 439279 | 957 327827 1877703 | 2147483647 439233 33 | 3.236 % |
611.23/611.56 c | 439618 | 957 327827 1877703 | 2147483647 439572 33 | 3.236 % |
612.33/612.62 c | 439990 | 957 327827 1877703 | 2147483647 439944 33 | 3.236 % |
613.53/613.81 c | 440401 | 957 327827 1877703 | 2147483647 440355 33 | 3.238 % |
614.32/614.68 c | 440851 | 957 327827 1877703 | 2147483647 440805 33 | 3.236 % |
615.72/616.03 c | 441345 | 957 327827 1877703 | 2147483647 441299 33 | 3.237 % |
616.92/617.28 c | 441889 | 957 327827 1877703 | 2147483647 441843 33 | 3.237 % |
618.02/618.33 c | 442487 | 957 327827 1877703 | 2147483647 442441 33 | 3.238 % |
619.92/620.26 c | 443142 | 957 327827 1877703 | 2147483647 443096 33 | 3.236 % |
622.22/622.58 c | 443862 | 957 327827 1877703 | 2147483647 443816 33 | 3.236 % |
624.13/624.45 c | 444654 | 957 327827 1877703 | 2147483647 444608 33 | 3.238 % |
627.23/627.55 c | 445526 | 957 327827 1877703 | 2147483647 445480 33 | 3.238 % |
629.32/629.63 c | 446485 | 957 327827 1877703 | 2147483647 446439 33 | 3.236 % |
631.72/632.09 c | 447540 | 957 327827 1877703 | 2147483647 447494 33 | 3.236 % |
634.92/635.28 c | 448700 | 957 327827 1877703 | 2147483647 448654 33 | 3.236 % |
637.12/637.46 c | 449974 | 957 327827 1877703 | 2147483647 449928 33 | 3.236 % |
639.12/639.43 c | 451374 | 957 327827 1877703 | 2147483647 451328 33 | 3.236 % |
641.92/642.20 c | 452914 | 957 327827 1877703 | 2147483647 452868 33 | 3.236 % |
646.12/646.43 c | 454608 | 957 327827 1877703 | 2147483647 454562 33 | 3.236 % |
650.02/650.39 c | 456472 | 957 327827 1877703 | 2147483647 456426 33 | 3.236 % |
655.91/656.27 c | 458523 | 957 327827 1877703 | 2147483647 458477 33 | 3.236 % |
661.01/661.38 c | 460778 | 957 327827 1877703 | 2147483647 460732 33 | 3.236 % |
666.41/666.71 c | 463257 | 957 327827 1877703 | 2147483647 463211 33 | 3.236 % |
671.21/671.54 c | 465982 | 956 326516 1871208 | 2147483647 465935 33 | 3.337 % |
675.70/676.06 c | 468980 | 956 326516 1871208 | 2147483647 468933 33 | 3.338 % |
685.71/686.09 c | 472276 | 956 326516 1871208 | 2147483647 472229 33 | 3.338 % |
691.01/691.35 c | 475904 | 956 326516 1871208 | 2147483647 475857 33 | 3.338 % |
700.90/701.23 c | 479891 | 956 326516 1871208 | 2147483647 479844 33 | 3.338 % |
712.59/712.98 c | 484276 | 956 326516 1871208 | 2147483647 484229 34 | 3.337 % |
712.99/713.33 c | 484376 | 956 326516 1871208 | 2147483647 484329 34 | 3.344 % |
713.29/713.68 c | 484488 | 956 326516 1871208 | 2147483647 484441 34 | 3.338 % |
713.69/714.09 c | 484609 | 956 326516 1871208 | 2147483647 484562 34 | 3.337 % |
714.09/714.46 c | 484742 | 956 326516 1871208 | 2147483647 484695 34 | 3.338 % |
714.39/714.79 c | 484890 | 956 326516 1871208 | 2147483647 484843 34 | 3.338 % |
714.79/715.17 c | 485050 | 956 326516 1871208 | 2147483647 485003 34 | 3.339 % |
715.29/715.60 c | 485228 | 956 326516 1871208 | 2147483647 485181 34 | 3.337 % |
715.79/716.19 c | 485422 | 956 326516 1871208 | 2147483647 485375 34 | 3.337 % |
716.59/716.93 c | 485634 | 956 326516 1871208 | 2147483647 485587 34 | 3.337 % |
717.39/717.75 c | 485867 | 956 326516 1871208 | 2147483647 485820 34 | 3.338 % |
718.09/718.47 c | 486123 | 956 326516 1871208 | 2147483647 486076 34 | 3.339 % |
718.89/719.30 c | 486404 | 956 326516 1871208 | 2147483647 486357 34 | 3.337 % |
719.79/720.13 c | 486713 | 956 326516 1871208 | 2147483647 486666 34 | 3.339 % |
720.89/721.27 c | 487053 | 956 326516 1871208 | 2147483647 487006 34 | 3.337 % |
721.59/721.92 c | 487425 | 956 326516 1871208 | 2147483647 487378 34 | 3.337 % |
722.39/722.76 c | 487834 | 956 326516 1871208 | 2147483647 487787 34 | 3.337 % |
723.39/723.78 c | 488285 | 956 326516 1871208 | 2147483647 488238 34 | 3.338 % |
724.39/724.76 c | 488779 | 956 326516 1871208 | 2147483647 488732 34 | 3.337 % |
725.50/725.86 c | 489322 | 956 326516 1871208 | 2147483647 489275 34 | 3.337 % |
726.80/727.16 c | 489919 | 956 326516 1871208 | 2147483647 489872 34 | 3.337 % |
728.49/728.88 c | 490574 | 956 326516 1871208 | 2147483647 490527 34 | 3.339 % |
730.29/730.62 c | 491297 | 956 326516 1871208 | 2147483647 491250 34 | 3.337 % |
732.30/732.67 c | 492089 | 956 326516 1871208 | 2147483647 492042 34 | 3.337 % |
734.59/734.93 c | 492960 | 956 326516 1871208 | 2147483647 492913 34 | 3.337 % |
737.19/737.50 c | 493918 | 956 326516 1871208 | 2147483647 493871 34 | 3.337 % |
740.39/740.71 c | 494971 | 956 326516 1871208 | 2147483647 494924 34 | 3.337 % |
743.79/744.19 c | 496130 | 956 326516 1871208 | 2147483647 496083 34 | 3.338 % |
746.59/746.94 c | 497404 | 956 326516 1871208 | 2147483647 497357 34 | 3.338 % |
749.78/750.18 c | 498804 | 956 326516 1871208 | 2147483647 498757 34 | 3.342 % |
753.88/754.26 c | 500344 | 956 326516 1871208 | 2147483647 500297 34 | 3.338 % |
759.37/759.78 c | 502039 | 956 326516 1871208 | 2147483647 501992 34 | 3.337 % |
763.77/764.10 c | 503905 | 956 326516 1871208 | 2147483647 503858 34 | 3.337 % |
769.27/769.65 c | 505954 | 956 326516 1871208 | 2147483647 505907 34 | 3.337 % |
778.97/779.34 c | 508210 | 956 326516 1871208 | 2147483647 508163 34 | 3.338 % |
793.07/793.46 c | 510690 | 956 326516 1871208 | 2147483647 510643 34 | 3.339 % |
802.67/803.05 c | 513417 | 956 326516 1871208 | 2147483647 513370 34 | 3.338 % |
814.26/814.68 c | 516414 | 956 326516 1871208 | 2147483647 516367 34 | 3.337 % |
827.06/827.47 c | 519712 | 956 326516 1871208 | 2147483647 519665 34 | 3.339 % |
842.06/842.48 c | 523338 | 956 326516 1871208 | 2147483647 523291 34 | 3.339 % |
854.95/855.37 c | 527326 | 956 326516 1871208 | 2147483647 527279 34 | 3.338 % |
867.35/867.75 c | 531713 | 956 326516 1871208 | 2147483647 531666 34 | 3.338 % |
883.95/884.39 c | 536536 | 956 326516 1871208 | 2147483647 536489 34 | 3.338 % |
884.34/884.76 c | 536636 | 956 326516 1871208 | 2147483647 536589 34 | 3.337 % |
884.64/885.09 c | 536746 | 956 326516 1871208 | 2147483647 536699 34 | 3.337 % |
885.14/885.54 c | 536867 | 956 326516 1871208 | 2147483647 536820 34 | 3.337 % |
885.54/885.96 c | 537002 | 956 326516 1871208 | 2147483647 536955 34 | 3.337 % |
885.94/886.34 c | 537148 | 956 326516 1871208 | 2147483647 537101 34 | 3.337 % |
886.34/886.70 c | 537312 | 956 326516 1871208 | 2147483647 537265 34 | 3.337 % |
886.54/886.96 c | 537488 | 956 326516 1871208 | 2147483647 537441 34 | 3.337 % |
886.94/887.33 c | 537683 | 956 326516 1871208 | 2147483647 537636 34 | 3.337 % |
887.14/887.54 c | 537897 | 956 326516 1871208 | 2147483647 537850 34 | 3.337 % |
887.64/888.00 c | 538130 | 956 326516 1871208 | 2147483647 538083 34 | 3.337 % |
888.24/888.60 c | 538387 | 956 326516 1871208 | 2147483647 538340 34 | 3.337 % |
888.84/889.27 c | 538668 | 956 326516 1871208 | 2147483647 538621 34 | 3.337 % |
889.44/889.85 c | 538978 | 956 326516 1871208 | 2147483647 538931 34 | 3.338 % |
890.34/890.71 c | 539317 | 956 326516 1871208 | 2147483647 539270 34 | 3.338 % |
891.53/891.92 c | 539690 | 956 326516 1871208 | 2147483647 539643 34 | 3.338 % |
893.23/893.62 c | 540099 | 956 326516 1871208 | 2147483647 540052 34 | 3.338 % |
894.54/894.95 c | 540548 | 956 326516 1871208 | 2147483647 540501 34 | 3.337 % |
896.14/896.51 c | 541043 | 956 326516 1871208 | 2147483647 540996 34 | 3.337 % |
897.64/898.06 c | 541585 | 956 326516 1871208 | 2147483647 541538 34 | 3.337 % |
899.34/899.75 c | 542183 | 956 326516 1871208 | 2147483647 542136 34 | 3.337 % |
901.54/901.91 c | 542842 | 956 326516 1871208 | 2147483647 542795 34 | 3.337 % |
903.44/903.83 c | 543563 | 956 326516 1871208 | 2147483647 543516 34 | 3.337 % |
905.54/905.96 c | 544356 | 956 326516 1871208 | 2147483647 544309 34 | 3.337 % |
908.03/908.41 c | 545228 | 956 326516 1871208 | 2147483647 545181 34 | 3.337 % |
910.83/911.25 c | 546188 | 956 326516 1871208 | 2147483647 546141 34 | 3.338 % |
913.83/914.23 c | 547241 | 956 326516 1871208 | 2147483647 547194 34 | 3.338 % |
917.63/918.04 c | 548400 | 956 326516 1871208 | 2147483647 548353 34 | 3.338 % |
921.13/921.52 c | 549674 | 956 326516 1871208 | 2147483647 549627 34 | 3.339 % |
924.73/925.13 c | 551075 | 956 326516 1871208 | 2147483647 551028 34 | 3.337 % |
929.13/929.56 c | 552618 | 956 326516 1871208 | 2147483647 552571 34 | 3.337 % |
933.12/933.52 c | 554313 | 956 326516 1871208 | 2147483647 554266 34 | 3.338 % |
938.32/938.72 c | 556177 | 956 326516 1871208 | 2147483647 556130 34 | 3.337 % |
946.13/946.57 c | 558228 | 956 326516 1871208 | 2147483647 558181 34 | 3.339 % |
953.43/953.85 c | 560483 | 956 326516 1871208 | 2147483647 560436 34 | 3.339 % |
963.62/964.05 c | 562961 | 956 326516 1871208 | 2147483647 562914 34 | 3.339 % |
972.82/973.26 c | 565686 | 956 326516 1871208 | 2147483647 565639 34 | 3.338 % |
985.72/986.12 c | 568683 | 956 326516 1871208 | 2147483647 568636 34 | 3.339 % |
997.71/998.12 c | 571981 | 956 326516 1871208 | 2147483647 571934 34 | 3.342 % |
1007.81/1008.20 c | 575606 | 956 326516 1871208 | 2147483647 575559 34 | 3.338 % |
1018.70/1019.16 c | 579596 | 956 326516 1871208 | 2147483647 579549 34 | 3.338 % |
1030.11/1030.56 c | 583981 | 956 326516 1871208 | 2147483647 583934 34 | 3.337 % |
1043.20/1043.62 c | 588805 | 956 326516 1871208 | 2147483647 588758 34 | 3.344 % |
1058.19/1058.61 c | 594110 | 956 326516 1871208 | 2147483647 594063 34 | 3.338 % |
1058.39/1058.89 c | 594211 | 956 326516 1871208 | 2147483647 594164 34 | 3.338 % |
1058.69/1059.18 c | 594322 | 956 326516 1871208 | 2147483647 594275 34 | 3.337 % |
1059.09/1059.51 c | 594444 | 956 326516 1871208 | 2147483647 594397 34 | 3.339 % |
1059.39/1059.83 c | 594577 | 956 326516 1871208 | 2147483647 594530 34 | 3.337 % |
1059.89/1060.35 c | 594723 | 956 326516 1871208 | 2147483647 594676 34 | 3.337 % |
1060.39/1060.83 c | 594883 | 956 326516 1871208 | 2147483647 594836 34 | 3.338 % |
1061.09/1061.50 c | 595060 | 956 326516 1871208 | 2147483647 595013 34 | 3.339 % |
1061.79/1062.24 c | 595253 | 956 326516 1871208 | 2147483647 595206 34 | 3.337 % |
1062.49/1062.95 c | 595465 | 956 326516 1871208 | 2147483647 595418 34 | 3.337 % |
1063.39/1063.87 c | 595699 | 956 326516 1871208 | 2147483647 595652 34 | 3.337 % |
1064.69/1065.14 c | 595956 | 956 326516 1871208 | 2147483647 595909 34 | 3.340 % |
1065.90/1066.30 c | 596237 | 956 326516 1871208 | 2147483647 596190 34 | 3.338 % |
1067.00/1067.46 c | 596548 | 956 326516 1871208 | 2147483647 596501 34 | 3.339 % |
1068.00/1068.45 c | 596889 | 956 326516 1871208 | 2147483647 596842 34 | 3.337 % |
1068.99/1069.41 c | 597261 | 956 326516 1871208 | 2147483647 597214 34 | 3.337 % |
1069.99/1070.47 c | 597671 | 956 326516 1871208 | 2147483647 597624 34 | 3.337 % |
1071.69/1072.17 c | 598122 | 956 326516 1871208 | 2147483647 598075 34 | 3.337 % |
1072.99/1073.46 c | 598615 | 956 326516 1871208 | 2147483647 598568 34 | 3.339 % |
1074.30/1074.78 c | 599157 | 956 326516 1871208 | 2147483647 599110 34 | 3.338 % |
1076.19/1076.68 c | 599753 | 956 326516 1871208 | 2147483647 599706 34 | 3.338 % |
1078.19/1078.65 c | 600408 | 956 326516 1871208 | 2147483647 600361 34 | 3.337 % |
1080.99/1081.40 c | 601130 | 956 326516 1871208 | 2147483647 601083 34 | 3.338 % |
1082.49/1082.90 c | 601923 | 956 326516 1871208 | 2147483647 601876 34 | 3.337 % |
1084.89/1085.38 c | 602794 | 956 326516 1871208 | 2147483647 602747 34 | 3.338 % |
1086.29/1086.76 c | 603752 | 956 326516 1871208 | 2147483647 603705 34 | 3.337 % |
1089.19/1089.68 c | 604805 | 956 326516 1871208 | 2147483647 604758 34 | 3.337 % |
1091.58/1092.02 c | 605965 | 956 326516 1871208 | 2147483647 605918 34 | 3.337 % |
1095.48/1095.90 c | 607238 | 956 326516 1871208 | 2147483647 607191 34 | 3.337 % |
1099.18/1099.69 c | 608639 | 956 326516 1871208 | 2147483647 608592 34 | 3.337 % |
1105.08/1105.57 c | 610182 | 956 326516 1871208 | 2147483647 610135 34 | 3.337 % |
1110.18/1110.68 c | 611876 | 956 326516 1871208 | 2147483647 611829 34 | 3.337 % |
1115.08/1115.59 c | 613739 | 956 326516 1871208 | 2147483647 613692 34 | 3.338 % |
1123.78/1124.22 c | 615791 | 956 326516 1871208 | 2147483647 615744 34 | 3.338 % |
1132.17/1132.63 c | 618047 | 956 326516 1871208 | 2147483647 618000 34 | 3.337 % |
1139.07/1139.53 c | 620529 | 956 326516 1871208 | 2147483647 620482 34 | 3.337 % |
1147.17/1147.64 c | 623254 | 956 326516 1871208 | 2147483647 623207 34 | 3.337 % |
1155.96/1156.43 c | 626251 | 956 326516 1871208 | 2147483647 626204 34 | 3.339 % |
1172.06/1172.53 c | 629547 | 956 326516 1871208 | 2147483647 629500 34 | 3.337 % |
1185.36/1185.86 c | 633173 | 956 326516 1871208 | 2147483647 633126 35 | 3.337 % |
1198.75/1199.21 c | 637160 | 956 326516 1871208 | 2147483647 637113 35 | 3.337 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834023-1242827310/watcher-1834023-1242827310 -o /tmp/evaluation-result-1834023-1242827310/solver-1834023-1242827310 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834023-1242827310.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17971
/proc/meminfo: memFree=1925264/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=0
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310758684 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 236437864530 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/17971/statm: 1339 235 195 169 0 50 0
[pid=17972] ppid=17971 vsize=5356 CPUtime=0
/proc/17972/stat : 17972 (SatELiteGTI) S 17971 17971 17522 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310758684 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/17972/statm: 1339 238 198 169 0 50 0
[pid=17974] ppid=17972 vsize=5356 CPUtime=0
/proc/17974/stat : 17974 (SatELiteGTI) R 17972 17971 17522 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437695783 0 0 4096 0 0 0 0 17 1 0 0
/proc/17974/statm: 1339 239 199 169 0 50 0
[startup+0.0605501 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17971
/proc/meminfo: memFree=1925264/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=0
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310758684 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17971/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101557 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17971
/proc/meminfo: memFree=1925264/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=0
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310758684 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17971/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301578 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17971
/proc/meminfo: memFree=1925264/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=0
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310758684 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17971/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701425 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17971
/proc/meminfo: memFree=1925264/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=0
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310758684 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17971/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50151 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17976
/proc/meminfo: memFree=1862528/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=0
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310758684 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17971/statm: 1339 237 197 169 0 50 0
[pid=17976] ppid=17971 vsize=65260 CPUtime=1.49
/proc/17976/stat : 17976 (SatELite_releas) R 17971 17971 17522 0 -1 4194304 15622 0 0 0 139 10 0 0 25 0 1 0 310758684 66826240 15597 1992294400 134512640 135223648 4294956128 18446744073709551615 134548331 0 0 4096 3 0 0 0 17 1 0 0
/proc/17976/statm: 16315 15597 70 173 0 16140 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70616
[startup+3.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17976
/proc/meminfo: memFree=1862784/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=0
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310758684 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17971/statm: 1339 237 197 169 0 50 0
[pid=17976] ppid=17971 vsize=65428 CPUtime=3.09
/proc/17976/stat : 17976 (SatELite_releas) R 17971 17971 17522 0 -1 4194304 15668 0 0 0 299 10 0 0 25 0 1 0 310758684 66998272 15643 1992294400 134512640 135223648 4294956128 18446744073709551615 134585487 0 0 4096 3 0 0 0 17 1 0 0
/proc/17976/statm: 16357 15643 70 173 0 16182 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70784
[startup+6.30106 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17976
/proc/meminfo: memFree=1862272/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=0
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310758684 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17971/statm: 1339 237 197 169 0 50 0
[pid=17976] ppid=17971 vsize=65940 CPUtime=6.28
/proc/17976/stat : 17976 (SatELite_releas) R 17971 17971 17522 0 -1 4194304 15770 0 0 0 618 10 0 0 25 0 1 0 310758684 67522560 15745 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/17976/statm: 16485 15745 70 173 0 16310 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 71296
[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17976
/proc/meminfo: memFree=1861952/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=0
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310758684 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17971/statm: 1339 237 197 169 0 50 0
[pid=17976] ppid=17971 vsize=66280 CPUtime=12.68
/proc/17976/stat : 17976 (SatELite_releas) R 17971 17971 17522 0 -1 4194304 15949 0 0 0 1258 10 0 0 25 0 1 0 310758684 67870720 15817 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/17976/statm: 16570 15817 70 173 0 16395 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 71636
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17976
/proc/meminfo: memFree=1861120/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=0
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310758684 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17971/statm: 1339 237 197 169 0 50 0
[pid=17976] ppid=17971 vsize=67304 CPUtime=25.48
/proc/17976/stat : 17976 (SatELite_releas) R 17971 17971 17522 0 -1 4194304 16230 0 0 0 2537 11 0 0 25 0 1 0 310758684 68919296 16098 1992294400 134512640 135223648 4294956128 18446744073709551615 134549042 0 0 4096 3 0 0 0 17 1 0 0
/proc/17976/statm: 16826 16098 70 173 0 16651 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72660
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17977
/proc/meminfo: memFree=1891392/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=23900 CPUtime=2.28
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 5740 0 0 0 225 3 0 0 25 0 1 0 310763564 24473600 5726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 5975 5726 77 171 0 5802 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 29256
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17977
/proc/meminfo: memFree=1877056/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=37948 CPUtime=53.44
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 9232 0 0 0 5336 8 0 0 25 0 1 0 310763564 38858752 9218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 9487 9218 77 171 0 9314 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 43304
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17977
/proc/meminfo: memFree=1865856/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=49164 CPUtime=113.41
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 12011 0 0 0 11330 11 0 0 25 0 1 0 310763564 50343936 11997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 12291 11997 77 171 0 12118 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 54520
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17977
/proc/meminfo: memFree=1856704/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=58388 CPUtime=173.4
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 14262 0 0 0 17326 14 0 0 25 0 1 0 310763564 59789312 14248 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 14597 14248 77 171 0 14424 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 63744
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17977
/proc/meminfo: memFree=1849600/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=65492 CPUtime=233.37
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 16040 0 0 0 23322 15 0 0 25 0 1 0 310763564 67063808 16026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 16373 16026 77 171 0 16200 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 70848
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17977
/proc/meminfo: memFree=1842688/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=72832 CPUtime=293.35
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 17717 0 0 0 29319 16 0 0 25 0 1 0 310763564 74579968 17703 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 18208 17703 77 171 0 18035 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 78188
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17977
/proc/meminfo: memFree=1837056/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=78360 CPUtime=353.33
################
# More data... #
################
/proc/17977/statm: 23381 22936 77 171 0 23208 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 98880
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17977
/proc/meminfo: memFree=1817216/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=97560 CPUtime=593.27
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 23972 0 0 0 59302 25 0 0 25 0 1 0 310763564 99901440 23958 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 24390 23958 77 171 0 24217 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 102916
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17977
/proc/meminfo: memFree=1811584/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=103980 CPUtime=653.24
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 25342 0 0 0 65298 26 0 0 25 0 1 0 310763564 106475520 25328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 25995 25328 77 171 0 25822 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 109336
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17983
/proc/meminfo: memFree=1807232/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=107940 CPUtime=713.22
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 26379 0 0 0 71295 27 0 0 25 0 1 0 310763564 110530560 26365 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 26985 26365 77 171 0 26812 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 113296
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17983
/proc/meminfo: memFree=1804480/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=110660 CPUtime=773.19
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 27074 0 0 0 77291 28 0 0 25 0 1 0 310763564 113315840 27060 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 27665 27060 77 171 0 27492 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 116016
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17983
/proc/meminfo: memFree=1801536/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=113592 CPUtime=833.18
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 27783 0 0 0 83289 29 0 0 25 0 1 0 310763564 116318208 27769 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 28398 27769 77 171 0 28225 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 118948
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17983
/proc/meminfo: memFree=1797312/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=117816 CPUtime=893.17
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 28856 0 0 0 89286 31 0 0 25 0 1 0 310763564 120643584 28842 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 29454 28842 77 171 0 29281 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 123172
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17983
/proc/meminfo: memFree=1794880/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=120096 CPUtime=953.15
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 29430 0 0 0 95284 31 0 0 25 0 1 0 310763564 122978304 29416 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 30024 29416 77 171 0 29851 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 125452
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17983
/proc/meminfo: memFree=1790400/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=124576 CPUtime=1013.13
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 30556 0 0 0 101281 32 0 0 25 0 1 0 310763564 127565824 30542 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 31144 30542 77 171 0 30971 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 129932
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17983
/proc/meminfo: memFree=1786304/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=128544 CPUtime=1073.12
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 31526 0 0 0 107278 34 0 0 25 0 1 0 310763564 131629056 31512 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 32136 31512 77 171 0 31963 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 133900
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17983
/proc/meminfo: memFree=1782912/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=131832 CPUtime=1133.1
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 32359 0 0 0 113275 35 0 0 25 0 1 0 310763564 134995968 32345 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 32958 32345 77 171 0 32785 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 137188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17983
/proc/meminfo: memFree=1781824/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=132800 CPUtime=1151.3
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 32614 0 0 0 115095 35 0 0 25 0 1 0 310763564 135987200 32600 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 33200 32600 77 171 0 33027 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 138156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17983
/proc/meminfo: memFree=1781824/2055920 swapFree=4179040/4192956
[pid=17971] ppid=17969 vsize=5356 CPUtime=48.76
/proc/17971/stat : 17971 (SatELiteGTI) S 17969 17971 17522 0 -1 4194304 336 22458 0 0 0 0 4856 20 16 0 1 0 310758684 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17971/statm: 1339 239 197 169 0 50 0
[pid=17977] ppid=17971 vsize=132800 CPUtime=1151.3
/proc/17977/stat : 17977 (minisat_static) R 17971 17971 17522 0 -1 4194304 32614 0 0 0 115095 35 0 0 25 0 1 0 310763564 135987200 32600 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/17977/statm: 33200 32600 77 171 0 33027 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 138156
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17971 and gives
# childrusage.ru_utime.tv_sec=48
# childrusage.ru_utime.tv_usec=569616
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=207968
# CPU time returned by wait4() is 48.7776
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.06
CPU user time (s): 1199.51
CPU system time (s): 0.55
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 138156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.5696
system time used= 0.207968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22794
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 141
runsolver used 1.41078 second user time and 3.03854 second system time
The end
Begin job on node62 at 2009-05-20 15:48:31
IDJOB=1834023
IDBENCH=71135
IDSOLVER=671
FILE ID=node62/1834023-1242827310
PBS_JOBID= 9322490
Free space on /tmp= 66236 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod3block_4vars_11gates_b2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834023-1242827310/watcher-1834023-1242827310 -o /tmp/evaluation-result-1834023-1242827310/solver-1834023-1242827310 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834023-1242827310.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c145d81f1457b6e33e1aa58009001b0a
RANDOM SEED=2018336585
node62.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.220
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.220
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: 1925744 kB
Buffers: 18956 kB
Cached: 71500 kB
SwapCached: 7464 kB
Active: 59516 kB
Inactive: 40644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1925744 kB
SwapTotal: 4192956 kB
SwapFree: 4179040 kB
Dirty: 23616 kB
Writeback: 0 kB
Mapped: 14688 kB
Slab: 15816 kB
Committed_AS: 860336 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66224 MiB
End job on node62 at 2009-05-20 16:08:34