0.00/0.00 c Parsing...
1.13/1.19 c ==============================================================================
1.13/1.19 c | | ORIGINAL | LEARNT | |
1.13/1.19 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.13/1.19 c ==============================================================================
1.13/1.19 c | 0 | 1144812 2692463 | 343443 0 0 nan | 0.000 % |
6.92/6.99 c | 0 | 801521 2134211 | -- 0 -- -- | -- | -92350/15178
6.92/6.99 c ==============================================================================
6.92/6.99 c Result : #vars: 163989 #clauses: 801521 #literals: 2134211
6.92/6.99 c CPU time: 6.59 s
6.92/6.99 c ==============================================================================
7.72/7.80 c This is MiniSat 2.0 beta
7.72/7.80 c WARNING: for repeatability, setting FPU to use double precision
7.72/7.80 c ============================[ Problem Statistics ]=============================
7.72/7.80 c | |
7.72/7.80 c | Number of variables: 163989 |
7.72/7.80 c | Number of clauses: 801521 |
7.80/8.34 c | Parsing time: 0.50 s |
7.80/8.38 c ============================[ Search Statistics ]==============================
7.80/8.38 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.80/8.38 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.80/8.38 c ===============================================================================
7.80/8.38 c | 0 | 163989 801521 2134211 | 267173 0 nan | 0.000 % |
7.80/8.59 c | 102 | 163962 801521 2134211 | 267173 101 56 | 0.358 % |
8.82/8.82 c | 204 | 163962 801521 2134211 | 267173 203 63 | 0.358 % |
9.12/9.16 c | 306 | 163959 801521 2134211 | 267173 304 102 | 0.779 % |
9.52/9.51 c | 418 | 162108 791122 2109030 | 267173 406 81 | 1.147 % |
9.82/9.83 c | 520 | 162059 791122 2109030 | 267173 507 74 | 1.267 % |
10.02/10.04 c | 630 | 161981 791122 2109030 | 267173 613 71 | 2.489 % |
10.42/10.49 c | 751 | 161885 791122 2109030 | 267173 729 64 | 2.917 % |
10.62/10.66 c | 851 | 159205 775743 2071887 | 267173 829 67 | 2.917 % |
10.82/10.89 c | 961 | 159205 775743 2071887 | 267173 939 63 | 2.917 % |
11.12/11.19 c | 1084 | 159204 775743 2071887 | 267173 1061 60 | 3.054 % |
11.52/11.55 c | 1217 | 159166 775743 2071887 | 267173 1192 58 | 3.426 % |
11.72/11.71 c | 1317 | 158345 771286 2061076 | 267173 1286 57 | 3.651 % |
11.92/11.93 c | 1427 | 158198 771286 2061076 | 267173 1395 57 | 3.800 % |
12.12/12.13 c | 1548 | 158198 771286 2061076 | 267173 1516 57 | 3.800 % |
12.22/12.29 c | 1683 | 158198 771286 2061076 | 267173 1651 60 | 3.800 % |
12.62/12.61 c | 1829 | 158182 771286 2061076 | 267173 1796 63 | 3.812 % |
13.02/13.08 c | 1931 | 157637 767759 2052778 | 267173 1890 63 | 3.946 % |
13.32/13.37 c | 2042 | 157625 767759 2052778 | 267173 2000 61 | 4.034 % |
13.52/13.60 c | 2163 | 157493 767759 2052778 | 267173 2119 60 | 4.750 % |
14.12/14.14 c | 2296 | 154277 749446 2007176 | 267173 2245 63 | 6.218 % |
14.52/14.51 c | 2444 | 154275 749446 2007176 | 267173 2392 65 | 6.233 % |
14.72/14.80 c | 2605 | 154275 749446 2007176 | 267173 2553 66 | 6.233 % |
14.92/14.93 c | 2705 | 154275 749446 2007176 | 267173 2653 66 | 6.233 % |
15.22/15.28 c | 2815 | 153767 746374 1999339 | 267173 2762 65 | 6.233 % |
15.52/15.54 c | 2937 | 153767 746374 1999339 | 267173 2884 65 | 6.233 % |
15.72/15.75 c | 3071 | 153764 746374 1999339 | 267173 3017 64 | 6.264 % |
16.02/16.10 c | 3217 | 153764 746374 1999339 | 267173 3163 63 | 6.265 % |
16.72/16.71 c | 3377 | 153679 746073 1998630 | 267173 3317 62 | 6.621 % |
17.42/17.43 c | 3553 | 153679 746073 1998630 | 267173 3493 65 | 6.621 % |
17.52/17.59 c | 3654 | 153130 742926 1991873 | 267173 3585 64 | 6.622 % |
17.92/17.92 c | 3764 | 153130 742926 1991873 | 267173 3695 66 | 6.622 % |
18.02/18.05 c | 3885 | 153130 742926 1991873 | 267173 3816 69 | 6.622 % |
18.32/18.34 c | 4018 | 153125 742926 1991873 | 267173 3948 68 | 6.638 % |
18.52/18.60 c | 4166 | 153113 742926 1991873 | 267173 4095 67 | 6.684 % |
18.82/18.86 c | 4327 | 153028 742412 1990760 | 267173 4251 67 | 6.684 % |
18.92/18.99 c | 4505 | 153028 742412 1990760 | 267173 4429 68 | 6.684 % |
19.32/19.34 c | 4698 | 153021 742412 1990760 | 267173 4620 67 | 6.704 % |
19.42/19.49 c | 4798 | 153018 742412 1990760 | 267173 4719 67 | 6.721 % |
19.72/19.72 c | 4908 | 153018 742412 1990760 | 267173 4829 68 | 6.721 % |
19.92/19.93 c | 5029 | 153018 742412 1990760 | 267173 4950 68 | 6.721 % |
20.22/20.21 c | 5162 | 152968 742039 1989778 | 267173 5082 68 | 6.721 % |
20.92/20.91 c | 5309 | 152968 742039 1989778 | 267173 5229 67 | 6.721 % |
21.22/21.29 c | 5471 | 152704 740719 1987138 | 267173 5388 68 | 6.882 % |
21.62/21.68 c | 5648 | 152704 740719 1987138 | 267173 5565 70 | 6.882 % |
22.32/22.33 c | 5847 | 152523 739612 1984308 | 267173 5759 69 | 6.992 % |
22.92/22.95 c | 6060 | 152523 739612 1984308 | 267173 5972 68 | 6.992 % |
23.22/23.22 c | 6160 | 152523 739612 1984308 | 267173 6072 69 | 6.992 % |
23.52/23.54 c | 6275 | 152522 739612 1984308 | 267173 6186 69 | 6.999 % |
24.02/24.01 c | 6396 | 152460 739510 1984058 | 267173 6306 70 | 7.697 % |
24.32/24.38 c | 6534 | 152457 739510 1984058 | 267173 6443 71 | 7.716 % |
24.62/24.61 c | 6681 | 152457 739510 1984058 | 267173 6590 72 | 7.716 % |
25.02/25.06 c | 6842 | 152450 739510 1984058 | 267173 6750 75 | 7.730 % |
25.52/25.57 c | 7021 | 151312 733352 1968292 | 267173 6924 75 | 7.735 % |
25.82/25.85 c | 7214 | 151312 733352 1968292 | 267173 7117 76 | 7.735 % |
27.32/27.31 c | 7426 | 151312 733352 1968292 | 267173 7329 81 | 7.735 % |
27.72/27.78 c | 7661 | 151304 733312 1968212 | 267173 7564 83 | 7.735 % |
28.12/28.16 c | 7761 | 151257 733312 1968212 | 267173 7663 82 | 7.780 % |
28.42/28.44 c | 7872 | 151257 733312 1968212 | 267173 7774 82 | 7.780 % |
28.72/28.78 c | 7993 | 151257 733312 1968212 | 267173 7895 85 | 7.780 % |
29.02/29.10 c | 8126 | 151231 732809 1966971 | 267173 8025 85 | 7.780 % |
29.32/29.40 c | 8274 | 151229 732809 1966971 | 267173 8172 85 | 7.788 % |
29.82/29.81 c | 8435 | 151229 732809 1966971 | 267173 8333 84 | 7.788 % |
30.52/30.52 c | 8613 | 151229 732809 1966971 | 267173 8511 86 | 7.788 % |
31.42/31.46 c | 8809 | 151218 732706 1966695 | 267173 8707 88 | 7.788 % |
31.82/31.90 c | 9021 | 151212 732706 1966695 | 267173 8918 89 | 7.811 % |
32.42/32.42 c | 9254 | 151040 731815 1964802 | 267173 9148 88 | 7.896 % |
33.02/33.08 c | 9510 | 151040 731815 1964802 | 267173 9404 93 | 7.896 % |
33.12/33.19 c | 9610 | 151040 731815 1964802 | 267173 9504 93 | 7.896 % |
33.42/33.47 c | 9721 | 151040 731815 1964802 | 267173 9615 95 | 7.896 % |
34.12/34.15 c | 9843 | 151040 731815 1964802 | 267173 9737 97 | 7.896 % |
34.62/34.64 c | 9976 | 151040 731815 1964802 | 267173 9870 100 | 7.896 % |
35.02/35.06 c | 10127 | 151040 731815 1964802 | 2147483647 10021 100 | 7.896 % |
35.22/35.27 c | 10289 | 151040 731815 1964802 | 2147483647 10183 100 | 7.896 % |
35.72/35.78 c | 10467 | 151040 731815 1964802 | 2147483647 10361 102 | 7.896 % |
36.22/36.23 c | 10661 | 151037 731787 1964732 | 2147483647 10554 102 | 7.898 % |
36.52/36.57 c | 10873 | 151037 731787 1964732 | 2147483647 10766 102 | 7.898 % |
37.32/37.35 c | 11108 | 151037 731787 1964732 | 2147483647 11001 105 | 7.898 % |
38.63/38.70 c | 11364 | 150904 730962 1962626 | 2147483647 11251 106 | 7.992 % |
39.22/39.27 c | 11646 | 150869 730717 1962013 | 2147483647 11532 106 | 8.001 % |
39.42/39.43 c | 11747 | 150869 730717 1962013 | 2147483647 11633 106 | 8.001 % |
39.52/39.59 c | 11857 | 150869 730717 1962013 | 2147483647 11743 106 | 8.001 % |
40.22/40.22 c | 11978 | 150869 730717 1962013 | 2147483647 11864 108 | 8.001 % |
40.52/40.59 c | 12115 | 150861 730717 1962013 | 2147483647 12000 109 | 8.437 % |
41.02/41.01 c | 12261 | 150839 730717 1962013 | 2147483647 12146 110 | 8.437 % |
41.62/41.70 c | 12421 | 149843 726631 1952034 | 2147483647 12303 110 | 8.831 % |
42.42/42.48 c | 12597 | 149843 726631 1952034 | 2147483647 12479 111 | 8.831 % |
42.82/42.85 c | 12790 | 149843 726631 1952034 | 2147483647 12672 111 | 8.831 % |
43.03/43.10 c | 13002 | 149507 724238 1947038 | 2147483647 12758 112 | 8.831 % |
43.52/43.53 c | 13235 | 149507 724238 1947038 | 2147483647 12991 112 | 8.831 % |
43.92/43.91 c | 13491 | 149506 724238 1947038 | 2147483647 13246 112 | 8.832 % |
44.32/44.37 c | 13777 | 149506 724238 1947038 | 2147483647 13532 112 | 8.832 % |
45.92/45.92 c | 14086 | 149506 724238 1947038 | 2147483647 13841 115 | 8.832 % |
46.22/46.25 c | 14187 | 149506 724235 1947032 | 2147483647 13942 115 | 8.832 % |
46.42/46.48 c | 14297 | 149506 724235 1947032 | 2147483647 14052 115 | 8.832 % |
46.82/46.90 c | 14420 | 149505 724235 1947032 | 2147483647 14174 115 | 8.862 % |
47.12/47.14 c | 14553 | 149341 724235 1947032 | 2147483647 14306 114 | 9.118 % |
47.62/47.70 c | 14699 | 149341 724235 1947032 | 2147483647 14452 115 | 9.118 % |
48.22/48.28 c | 14859 | 148983 721195 1939582 | 2147483647 14586 115 | 9.151 % |
48.92/48.91 c | 15035 | 148983 721195 1939582 | 2147483647 14762 117 | 9.151 % |
49.32/49.34 c | 15229 | 148983 721195 1939582 | 2147483647 14956 117 | 9.151 % |
50.42/50.47 c | 15441 | 148983 721195 1939582 | 2147483647 15168 119 | 9.151 % |
51.32/51.37 c | 15675 | 148983 721195 1939582 | 2147483647 15402 120 | 9.151 % |
51.72/51.76 c | 15931 | 148983 721195 1939582 | 2147483647 15658 121 | 9.151 % |
52.62/52.64 c | 16213 | 148983 721195 1939582 | 2147483647 15940 122 | 9.151 % |
54.32/54.39 c | 16522 | 148965 721086 1939311 | 2147483647 16246 132 | 9.416 % |
54.82/54.81 c | 16864 | 148965 721086 1939311 | 2147483647 16588 133 | 9.416 % |
55.32/55.35 c | 16964 | 148965 721086 1939311 | 2147483647 16688 134 | 9.416 % |
55.72/55.75 c | 17076 | 148547 718715 1933141 | 2147483647 16789 134 | 9.417 % |
56.02/56.05 c | 17197 | 148546 718715 1933141 | 2147483647 16909 134 | 9.421 % |
57.02/57.02 c | 17332 | 148546 718715 1933141 | 2147483647 17044 136 | 9.421 % |
57.42/57.46 c | 17482 | 148545 718715 1933141 | 2147483647 17193 136 | 9.421 % |
57.92/57.99 c | 17644 | 148544 718715 1933141 | 2147483647 17354 137 | 9.422 % |
58.62/58.69 c | 17820 | 148538 718660 1933013 | 2147483647 17529 137 | 9.422 % |
59.42/59.41 c | 18015 | 148537 718660 1933013 | 2147483647 17723 138 | 9.431 % |
59.72/59.71 c | 18227 | 148537 718660 1933013 | 2147483647 17935 137 | 9.431 % |
60.22/60.28 c | 18460 | 148537 718660 1933013 | 2147483647 18168 138 | 9.431 % |
61.02/61.03 c | 18717 | 148512 718457 1932465 | 2147483647 18424 138 | 9.438 % |
62.83/62.89 c | 19001 | 148511 718457 1932465 | 2147483647 18706 141 | 9.451 % |
63.82/63.84 c | 19310 | 148470 718179 1931760 | 2147483647 18998 142 | 9.463 % |
65.42/65.43 c | 19649 | 148469 718179 1931760 | 2147483647 19336 144 | 9.476 % |
67.82/67.83 c | 20021 | 148469 718179 1931760 | 2147483647 19708 147 | 9.476 % |
68.12/68.18 c | 20122 | 148449 718050 1931427 | 2147483647 19805 147 | 9.476 % |
68.33/68.34 c | 20234 | 148449 718050 1931427 | 2147483647 19917 147 | 9.476 % |
68.52/68.60 c | 20355 | 148449 718050 1931427 | 2147483647 20038 146 | 9.476 % |
69.22/69.28 c | 20489 | 148449 718050 1931427 | 2147483647 20172 146 | 9.476 % |
70.12/70.11 c | 20640 | 148449 718050 1931427 | 2147483647 20323 147 | 9.476 % |
70.42/70.49 c | 20800 | 148449 718050 1931427 | 2147483647 20483 147 | 9.476 % |
71.02/71.10 c | 20978 | 148448 718047 1931421 | 2147483647 20660 148 | 9.490 % |
72.22/72.22 c | 21171 | 148448 718047 1931421 | 2147483647 20853 151 | 9.490 % |
72.92/72.92 c | 21383 | 148448 718047 1931421 | 2147483647 21065 152 | 9.490 % |
73.32/73.32 c | 21617 | 148448 718047 1931421 | 2147483647 21299 154 | 9.490 % |
74.82/74.86 c | 21874 | 148448 718047 1931421 | 2147483647 21556 157 | 9.490 % |
76.12/76.19 c | 22158 | 148427 717917 1931081 | 2147483647 21836 159 | 9.490 % |
77.02/77.03 c | 22467 | 148417 717917 1931081 | 2147483647 22140 160 | 9.514 % |
78.82/78.82 c | 22808 | 148417 717917 1931081 | 2147483647 22481 162 | 9.514 % |
80.32/80.37 c | 23181 | 148387 717568 1930245 | 2147483647 22825 165 | 9.514 % |
82.63/82.66 c | 23590 | 148387 717568 1930245 | 2147483647 23234 169 | 9.514 % |
82.93/82.96 c | 23694 | 148387 717568 1930245 | 2147483647 23338 168 | 9.514 % |
83.23/83.23 c | 23804 | 148387 717568 1930245 | 2147483647 23448 168 | 9.514 % |
83.73/83.73 c | 23928 | 148387 717568 1930245 | 2147483647 23572 169 | 9.514 % |
84.83/84.83 c | 24062 | 148385 717565 1930239 | 2147483647 23703 169 | 9.527 % |
85.43/85.45 c | 24211 | 148385 717565 1930239 | 2147483647 23852 169 | 9.527 % |
86.03/86.08 c | 24371 | 148385 717565 1930239 | 2147483647 24012 171 | 9.527 % |
87.13/87.15 c | 24547 | 148382 717565 1930239 | 2147483647 24184 172 | 9.544 % |
87.93/87.94 c | 24740 | 148382 717565 1930239 | 2147483647 24377 172 | 9.544 % |
89.33/89.31 c | 24952 | 148338 717214 1929350 | 2147483647 24577 174 | 9.544 % |
91.13/91.14 c | 25186 | 148338 717214 1929350 | 2147483647 24811 174 | 9.544 % |
93.13/93.18 c | 25443 | 148338 717214 1929350 | 2147483647 25068 175 | 9.544 % |
95.23/95.28 c | 25724 | 148338 717214 1929350 | 2147483647 25349 175 | 9.544 % |
96.83/96.87 c | 26034 | 148338 717214 1929350 | 2147483647 25659 175 | 9.544 % |
98.23/98.21 c | 26373 | 148338 717214 1929350 | 2147483647 25998 174 | 9.544 % |
99.63/99.64 c | 26746 | 148337 717210 1929342 | 2147483647 26370 173 | 9.545 % |
102.03/102.10 c | 27157 | 148323 717210 1929342 | 2147483647 26780 176 | 9.696 % |
104.93/104.92 c | 27609 | 148322 717210 1929342 | 2147483647 27231 180 | 9.696 % |
105.33/105.39 c | 27710 | 148088 715733 1925535 | 2147483647 27331 180 | 9.696 % |
105.73/105.81 c | 27824 | 148088 715733 1925535 | 2147483647 27445 181 | 9.696 % |
106.23/106.30 c | 27945 | 148088 715733 1925535 | 2147483647 27566 182 | 9.696 % |
106.93/106.94 c | 28078 | 148074 715733 1925535 | 2147483647 27697 182 | 9.903 % |
108.03/108.06 c | 28225 | 148070 715733 1925535 | 2147483647 27844 182 | 9.903 % |
109.23/109.25 c | 28385 | 148070 715733 1925535 | 2147483647 28004 182 | 9.903 % |
109.93/109.92 c | 28565 | 147749 713753 1920590 | 2147483647 28184 182 | 9.903 % |
110.93/110.98 c | 28758 | 147749 713753 1920590 | 2147483647 28377 182 | 9.903 % |
111.33/111.33 c | 28971 | 147749 713753 1920590 | 2147483647 28590 182 | 9.903 % |
112.73/112.75 c | 29206 | 147749 713753 1920590 | 2147483647 28825 185 | 9.903 % |
113.93/113.93 c | 29462 | 147748 713749 1920582 | 2147483647 29079 185 | 9.904 % |
114.93/114.92 c | 29743 | 147650 713749 1920582 | 2147483647 29358 186 | 9.992 % |
116.43/116.49 c | 30054 | 147650 713749 1920582 | 2147483647 29669 186 | 9.992 % |
117.93/117.97 c | 30394 | 147650 713749 1920582 | 2147483647 30009 187 | 9.992 % |
119.03/119.04 c | 30767 | 147603 713104 1919251 | 2147483647 30375 191 | 9.992 % |
121.83/121.85 c | 31176 | 147603 713104 1919251 | 2147483647 30784 194 | 9.992 % |
123.93/123.98 c | 31625 | 147603 713104 1919251 | 2147483647 31233 196 | 9.992 % |
127.13/127.14 c | 32122 | 147587 713024 1919091 | 2147483647 31723 200 | 10.002 % |
127.63/127.70 c | 32222 | 147587 713024 1919091 | 2147483647 31823 200 | 10.002 % |
128.23/128.31 c | 32332 | 147586 713024 1919091 | 2147483647 31932 200 | 10.003 % |
128.73/128.74 c | 32454 | 147558 713024 1919091 | 2147483647 32053 200 | 10.198 % |
129.13/129.18 c | 32591 | 147558 713024 1919091 | 2147483647 32190 202 | 10.198 % |
129.73/129.71 c | 32737 | 147558 713024 1919091 | 2147483647 32336 202 | 10.198 % |
130.13/130.15 c | 32898 | 147558 713024 1919091 | 2147483647 32497 201 | 10.198 % |
131.23/131.23 c | 33074 | 147557 713024 1919091 | 2147483647 32672 201 | 10.206 % |
132.13/132.13 c | 33267 | 147231 710994 1914283 | 2147483647 32740 202 | 10.219 % |
133.23/133.24 c | 33481 | 147231 710994 1914283 | 2147483647 32954 203 | 10.219 % |
134.73/134.78 c | 33715 | 147231 710994 1914283 | 2147483647 33188 204 | 10.219 % |
136.43/136.45 c | 33973 | 147231 710994 1914283 | 2147483647 33446 204 | 10.219 % |
138.33/138.36 c | 34254 | 147231 710994 1914283 | 2147483647 33727 204 | 10.219 % |
140.43/140.51 c | 34563 | 147231 710994 1914283 | 2147483647 34036 204 | 10.219 % |
141.63/141.63 c | 34903 | 147231 710994 1914283 | 2147483647 34376 203 | 10.219 % |
143.83/143.84 c | 35275 | 147231 710994 1914283 | 2147483647 34748 204 | 10.219 % |
146.43/146.45 c | 35686 | 147226 710990 1914275 | 2147483647 35156 204 | 10.272 % |
147.63/147.68 c | 36135 | 147226 710990 1914275 | 2147483647 35605 205 | 10.272 % |
150.73/150.75 c | 36629 | 147221 710990 1914275 | 2147483647 36099 208 | 10.272 % |
154.73/154.78 c | 37177 | 147143 710529 1913172 | 2147483647 36598 211 | 10.307 % |
155.43/155.44 c | 37278 | 147143 710529 1913172 | 2147483647 36699 211 | 10.307 % |
156.23/156.32 c | 37388 | 147143 710529 1913172 | 2147483647 36809 211 | 10.307 % |
157.23/157.28 c | 37510 | 147086 710248 1912505 | 2147483647 36904 212 | 10.307 % |
158.13/158.18 c | 37643 | 147086 710248 1912505 | 2147483647 37037 212 | 10.307 % |
159.13/159.18 c | 37791 | 147086 710248 1912505 | 2147483647 37185 213 | 10.307 % |
160.13/160.14 c | 37951 | 147086 710248 1912505 | 2147483647 37345 213 | 10.307 % |
160.74/160.75 c | 38127 | 147086 710248 1912505 | 2147483647 37521 214 | 10.307 % |
162.43/162.46 c | 38320 | 147057 710099 1912156 | 2147483647 37692 215 | 10.337 % |
164.53/164.53 c | 38532 | 147057 710099 1912156 | 2147483647 37904 215 | 10.337 % |
166.03/166.07 c | 38765 | 147057 710099 1912156 | 2147483647 38137 217 | 10.337 % |
167.83/167.84 c | 39021 | 147057 710099 1912156 | 2147483647 38393 217 | 10.337 % |
168.73/168.75 c | 39302 | 147037 709980 1911881 | 2147483647 38656 217 | 10.337 % |
170.83/170.83 c | 39611 | 147035 709980 1911881 | 2147483647 38963 217 | 11.221 % |
173.23/173.24 c | 39950 | 147034 709980 1911881 | 2147483647 39301 218 | 11.221 % |
175.63/175.62 c | 40323 | 147034 709980 1911881 | 2147483647 39674 217 | 11.221 % |
178.23/178.25 c | 40732 | 145585 700763 1889590 | 2147483647 39703 219 | 11.340 % |
180.43/180.51 c | 41182 | 145584 700763 1889590 | 2147483647 40152 219 | 11.341 % |
184.03/184.08 c | 41676 | 145390 699894 1887663 | 2147483647 40598 219 | 11.342 % |
187.53/187.57 c | 42220 | 145390 699894 1887663 | 2147483647 41142 217 | 11.342 % |
190.53/190.54 c | 42816 | 145390 699894 1887663 | 2147483647 41738 217 | 11.342 % |
191.23/191.30 c | 42918 | 145390 699894 1887663 | 2147483647 41840 217 | 11.342 % |
192.03/192.05 c | 43034 | 145390 699894 1887663 | 2147483647 41956 217 | 11.342 % |
192.33/192.39 c | 43156 | 145390 699894 1887663 | 2147483647 42078 217 | 11.342 % |
193.13/193.19 c | 43290 | 145390 699894 1887663 | 2147483647 42212 217 | 11.342 % |
194.03/194.03 c | 43436 | 145390 699894 1887663 | 2147483647 42358 217 | 11.342 % |
195.03/195.08 c | 43597 | 145343 699723 1887306 | 2147483647 42517 216 | 11.370 % |
196.23/196.27 c | 43774 | 145343 699723 1887306 | 2147483647 42694 216 | 11.370 % |
197.14/197.20 c | 43967 | 145343 699723 1887306 | 2147483647 42887 215 | 11.370 % |
198.44/198.42 c | 44182 | 145343 699723 1887306 | 2147483647 43102 215 | 11.370 % |
199.74/199.75 c | 44415 | 145343 699723 1887306 | 2147483647 43335 215 | 11.370 % |
201.14/201.16 c | 44671 | 145343 699723 1887306 | 2147483647 43591 214 | 11.370 % |
203.04/203.11 c | 44953 | 145343 699723 1887306 | 2147483647 43873 213 | 11.370 % |
205.44/205.43 c | 45263 | 145343 699723 1887306 | 2147483647 44183 213 | 11.370 % |
207.74/207.73 c | 45603 | 145343 699723 1887306 | 2147483647 44523 212 | 11.370 % |
210.34/210.40 c | 45975 | 145343 699723 1887306 | 2147483647 44895 211 | 11.370 % |
213.24/213.26 c | 46386 | 145343 699723 1887306 | 2147483647 45306 210 | 11.370 % |
216.24/216.25 c | 46835 | 145339 699707 1887261 | 2147483647 45754 210 | 11.373 % |
220.34/220.41 c | 47329 | 145339 699707 1887261 | 2147483647 46248 212 | 11.373 % |
224.54/224.53 c | 47871 | 145339 699707 1887261 | 2147483647 46790 213 | 11.373 % |
228.64/228.63 c | 48467 | 145069 698524 1884615 | 2147483647 47372 214 | 11.538 % |
231.74/231.73 c | 49122 | 145069 698524 1884615 | 2147483647 48027 215 | 11.538 % |
232.64/232.63 c | 49222 | 145069 698524 1884615 | 2147483647 48127 215 | 11.538 % |
233.44/233.47 c | 49332 | 145069 698524 1884615 | 2147483647 48237 215 | 11.538 % |
234.44/234.45 c | 49456 | 145069 698524 1884615 | 2147483647 48361 215 | 11.538 % |
235.54/235.52 c | 49589 | 145068 698521 1884609 | 2147483647 48493 216 | 11.538 % |
236.44/236.51 c | 49735 | 145068 698521 1884609 | 2147483647 48639 216 | 11.538 % |
237.64/237.63 c | 49895 | 145057 698521 1884609 | 2147483647 48798 216 | 11.844 % |
238.54/238.53 c | 50072 | 145057 698521 1884609 | 2147483647 48975 216 | 11.844 % |
239.24/239.31 c | 50274 | 145057 698521 1884609 | 2147483647 49177 216 | 11.844 % |
240.74/240.76 c | 50489 | 145057 698521 1884609 | 2147483647 49392 217 | 11.844 % |
241.74/241.80 c | 50725 | 145057 698521 1884609 | 2147483647 49628 217 | 11.844 % |
243.64/243.68 c | 50981 | 145057 698521 1884609 | 2147483647 49884 218 | 11.844 % |
245.64/245.64 c | 51262 | 144565 695593 1877420 | 2147483647 50163 218 | 11.845 % |
248.74/248.73 c | 51571 | 144563 695593 1877420 | 2147483647 50470 218 | 11.846 % |
251.14/251.17 c | 51911 | 144563 695593 1877420 | 2147483647 50810 220 | 11.846 % |
253.94/253.94 c | 52284 | 144562 695581 1877396 | 2147483647 51181 220 | 11.848 % |
256.64/256.68 c | 52693 | 144561 695581 1877396 | 2147483647 51588 221 | 11.869 % |
259.74/259.80 c | 53143 | 144415 694901 1875819 | 2147483647 52023 221 | 11.936 % |
264.44/264.43 c | 53637 | 144415 694901 1875819 | 2147483647 52517 221 | 11.936 % |
268.74/268.77 c | 54182 | 144368 694603 1875102 | 2147483647 53035 220 | 11.965 % |
271.04/271.01 c | 54782 | 144368 694603 1875102 | 2147483647 53635 219 | 11.965 % |
275.64/275.64 c | 55438 | 144368 694603 1875102 | 2147483647 54291 222 | 11.965 % |
282.34/282.34 c | 56161 | 144366 694599 1875094 | 2147483647 55012 221 | 11.970 % |
283.24/283.26 c | 56266 | 144366 694599 1875094 | 2147483647 55117 221 | 11.970 % |
284.44/284.48 c | 56376 | 144359 694517 1874911 | 2147483647 55217 220 | 11.970 % |
285.64/285.63 c | 56498 | 144359 694517 1874911 | 2147483647 55339 220 | 11.970 % |
286.74/286.81 c | 56631 | 144359 694517 1874911 | 2147483647 55472 220 | 11.970 % |
288.44/288.50 c | 56777 | 144357 694517 1874911 | 2147483647 55616 220 | 11.972 % |
290.04/290.07 c | 56939 | 144357 694517 1874911 | 2147483647 55778 219 | 11.972 % |
291.54/291.55 c | 57115 | 144357 694517 1874911 | 2147483647 55954 219 | 11.972 % |
292.94/292.94 c | 57308 | 144357 694509 1874895 | 2147483647 56145 220 | 11.972 % |
294.64/294.65 c | 57523 | 144357 694509 1874895 | 2147483647 56360 220 | 11.972 % |
296.44/296.43 c | 57757 | 144356 694509 1874895 | 2147483647 56593 220 | 13.650 % |
298.25/298.28 c | 58013 | 144355 694509 1874895 | 2147483647 56847 220 | 13.993 % |
300.64/300.67 c | 58294 | 141041 678698 1835058 | 2147483647 57106 221 | 13.994 % |
302.74/302.74 c | 58603 | 141040 678698 1835058 | 2147483647 57414 221 | 13.994 % |
305.04/305.04 c | 58944 | 141040 678698 1835058 | 2147483647 57755 221 | 13.994 % |
307.74/307.77 c | 59318 | 141040 678698 1835058 | 2147483647 58129 221 | 13.994 % |
310.65/310.70 c | 59728 | 141040 678698 1835058 | 2147483647 58539 221 | 13.994 % |
314.25/314.31 c | 60177 | 141039 678694 1835050 | 2147483647 58984 221 | 14.793 % |
315.65/315.68 c | 60673 | 141038 678694 1835050 | 2147483647 59479 221 | 14.794 % |
316.45/316.47 c | 61217 | 141038 678694 1835050 | 2147483647 60023 221 | 14.794 % |
319.95/320.02 c | 61816 | 141037 678694 1835050 | 2147483647 60622 222 | 14.794 % |
324.85/324.90 c | 62472 | 139728 670383 1814989 | 2147483647 60904 224 | 14.795 % |
330.95/330.98 c | 63192 | 139728 670383 1814989 | 2147483647 61624 223 | 14.795 % |
338.05/338.07 c | 63988 | 139726 670379 1814981 | 2147483647 62417 222 | 14.796 % |
338.95/338.97 c | 64088 | 139726 670379 1814981 | 2147483647 62516 222 | 14.797 % |
339.75/339.78 c | 64199 | 139726 670379 1814981 | 2147483647 62627 222 | 14.797 % |
340.95/340.96 c | 64320 | 139726 670379 1814981 | 2147483647 62748 222 | 14.797 % |
342.35/342.41 c | 64454 | 139724 670365 1814952 | 2147483647 62880 222 | 14.797 % |
343.85/343.85 c | 64600 | 139723 670365 1814952 | 2147483647 63025 222 | 14.805 % |
344.85/344.92 c | 64760 | 139723 670365 1814952 | 2147483647 63185 223 | 14.805 % |
346.15/346.20 c | 64938 | 139723 670365 1814952 | 2147483647 63363 223 | 14.805 % |
347.35/347.32 c | 65133 | 139723 670365 1814952 | 2147483647 63558 223 | 14.805 % |
348.35/348.40 c | 65345 | 139722 670365 1814952 | 2147483647 63769 223 | 14.810 % |
350.45/350.44 c | 65580 | 139722 670365 1814952 | 2147483647 64004 224 | 14.810 % |
352.75/352.80 c | 65836 | 139702 670194 1814539 | 2147483647 64248 224 | 15.630 % |
355.05/355.02 c | 66119 | 139701 670194 1814539 | 2147483647 64530 224 | 15.631 % |
357.75/357.76 c | 66428 | 139701 670194 1814539 | 2147483647 64839 223 | 15.631 % |
361.94/361.93 c | 66767 | 139701 670194 1814539 | 2147483647 65178 223 | 15.631 % |
365.84/365.82 c | 67140 | 138355 664738 1800963 | 2147483647 65533 222 | 15.632 % |
369.74/369.81 c | 67549 | 138354 664738 1800963 | 2147483647 65939 222 | 15.650 % |
370.94/370.95 c | 68001 | 138354 664738 1800963 | 2147483647 66391 221 | 15.650 % |
374.24/374.28 c | 68494 | 138324 664584 1800589 | 2147483647 66881 223 | 15.650 % |
378.84/378.85 c | 69036 | 138324 664584 1800589 | 2147483647 67422 223 | 15.698 % |
384.14/384.16 c | 69632 | 138323 664584 1800589 | 2147483647 68017 223 | 15.711 % |
389.84/389.87 c | 70287 | 138224 663973 1799143 | 2147483647 68557 223 | 15.711 % |
397.14/397.11 c | 71007 | 138088 663115 1797036 | 2147483647 69268 222 | 15.794 % |
400.64/400.70 c | 71799 | 138088 663115 1797036 | 2147483647 70060 223 | 15.794 % |
406.14/406.12 c | 72671 | 138088 663115 1797036 | 2147483647 70932 224 | 15.794 % |
406.94/406.94 c | 72772 | 138088 663115 1797036 | 2147483647 71033 224 | 15.794 % |
407.74/407.77 c | 72883 | 138088 663115 1797036 | 2147483647 71144 224 | 15.794 % |
408.74/408.72 c | 73007 | 138088 663115 1797036 | 2147483647 71268 223 | 15.794 % |
409.14/409.12 c | 73143 | 138088 663115 1797036 | 2147483647 71404 223 | 15.794 % |
409.24/409.26 c | 73292 | 138088 663115 1797036 | 2147483647 71553 223 | 15.794 % |
410.04/410.02 c | 73455 | 138088 663115 1797036 | 2147483647 71716 223 | 15.794 % |
411.34/411.32 c | 73633 | 138087 663111 1797028 | 2147483647 71892 223 | 15.795 % |
411.84/411.85 c | 73830 | 138087 663111 1797028 | 2147483647 72089 223 | 15.795 % |
412.24/412.22 c | 74043 | 138087 663111 1797028 | 2147483647 72302 223 | 15.795 % |
412.74/412.73 c | 74277 | 138087 663111 1797028 | 2147483647 72536 223 | 15.795 % |
414.74/414.76 c | 74533 | 138087 663111 1797028 | 2147483647 72792 224 | 15.795 % |
416.64/416.63 c | 74816 | 138087 663111 1797028 | 2147483647 73075 224 | 15.795 % |
419.04/419.08 c | 75127 | 138087 663111 1797028 | 2147483647 73386 225 | 15.795 % |
421.94/422.00 c | 75466 | 138085 663111 1797028 | 2147483647 73723 224 | 15.796 % |
424.85/424.89 c | 75839 | 138084 663099 1797004 | 2147483647 74093 224 | 15.797 % |
427.75/427.72 c | 76248 | 138083 663099 1797004 | 2147483647 74500 224 | 15.804 % |
431.05/431.11 c | 76698 | 138083 663099 1797004 | 2147483647 74950 226 | 15.804 % |
435.75/435.78 c | 77191 | 138083 663099 1797004 | 2147483647 75442 225 | 15.805 % |
441.55/441.56 c | 77733 | 138071 663010 1796793 | 2147483647 75972 225 | 15.805 % |
446.25/446.25 c | 78329 | 138069 663010 1796793 | 2147483647 76566 225 | 15.811 % |
452.05/452.03 c | 78984 | 138069 663010 1796793 | 2147483647 77221 226 | 15.811 % |
459.15/459.20 c | 79705 | 138060 662916 1796538 | 2147483647 77938 225 | 15.886 % |
464.85/464.85 c | 80497 | 138060 662916 1796538 | 2147483647 78730 225 | 15.886 % |
471.85/471.92 c | 81369 | 137937 662211 1794780 | 2147483647 79585 224 | 15.899 % |
479.35/479.34 c | 82328 | 137937 662211 1794780 | 2147483647 80544 224 | 15.899 % |
480.35/480.36 c | 82428 | 137916 662102 1794516 | 2147483647 80631 224 | 15.899 % |
481.45/481.42 c | 82539 | 137916 662102 1794516 | 2147483647 80742 224 | 15.899 % |
482.55/482.61 c | 82660 | 137916 662102 1794516 | 2147483647 80863 224 | 15.899 % |
483.65/483.65 c | 82794 | 137916 662102 1794516 | 2147483647 80997 223 | 15.899 % |
484.85/484.84 c | 82942 | 137916 662102 1794516 | 2147483647 81145 223 | 15.899 % |
486.15/486.14 c | 83102 | 137916 662102 1794516 | 2147483647 81305 223 | 15.899 % |
487.55/487.54 c | 83279 | 137916 662102 1794516 | 2147483647 81482 223 | 15.899 % |
489.45/489.45 c | 83472 | 137916 662102 1794516 | 2147483647 81675 222 | 15.899 % |
491.25/491.29 c | 83684 | 137916 662102 1794516 | 2147483647 81887 222 | 15.899 % |
493.05/493.07 c | 83918 | 137916 662102 1794516 | 2147483647 82121 222 | 15.899 % |
495.16/495.14 c | 84175 | 137916 662102 1794516 | 2147483647 82378 222 | 15.899 % |
497.75/497.81 c | 84456 | 137916 662102 1794516 | 2147483647 82659 221 | 15.899 % |
500.05/500.06 c | 84765 | 137916 662102 1794516 | 2147483647 82968 221 | 15.899 % |
502.65/502.61 c | 85104 | 137916 662102 1794516 | 2147483647 83307 220 | 15.899 % |
504.15/504.16 c | 85476 | 137916 662102 1794516 | 2147483647 83679 220 | 15.899 % |
506.85/506.85 c | 85885 | 137916 662102 1794516 | 2147483647 84088 221 | 15.899 % |
510.35/510.32 c | 86335 | 137916 662102 1794516 | 2147483647 84538 221 | 15.899 % |
513.74/513.77 c | 86828 | 137915 662098 1794508 | 2147483647 85028 221 | 15.900 % |
519.04/519.08 c | 87370 | 137914 662098 1794508 | 2147483647 85569 220 | 15.900 % |
522.94/522.92 c | 87967 | 137914 662098 1794508 | 2147483647 86166 220 | 15.900 % |
525.74/525.78 c | 88624 | 137913 662091 1794494 | 2147483647 86821 220 | 15.901 % |
532.74/532.71 c | 89344 | 137913 662091 1794494 | 2147483647 87541 219 | 15.901 % |
539.55/539.53 c | 90136 | 137911 662087 1794486 | 2147483647 88330 219 | 15.916 % |
543.55/543.54 c | 91009 | 137911 662087 1794486 | 2147483647 89203 218 | 15.916 % |
550.95/550.99 c | 91967 | 137910 662087 1794486 | 2147483647 90160 218 | 15.922 % |
558.85/558.84 c | 93021 | 137877 661850 1793908 | 2147483647 91162 217 | 15.923 % |
559.45/559.46 c | 93124 | 137877 661850 1793908 | 2147483647 91265 217 | 15.923 % |
560.35/560.35 c | 93234 | 137877 661850 1793908 | 2147483647 91375 217 | 15.923 % |
561.45/561.43 c | 93356 | 137877 661850 1793908 | 2147483647 91497 217 | 15.923 % |
562.55/562.60 c | 93490 | 137877 661850 1793908 | 2147483647 91631 217 | 15.923 % |
563.75/563.77 c | 93637 | 137877 661850 1793908 | 2147483647 91778 217 | 15.923 % |
565.05/565.03 c | 93797 | 137877 661850 1793908 | 2147483647 91938 217 | 15.923 % |
566.65/566.70 c | 93973 | 137877 661850 1793908 | 2147483647 92114 217 | 15.923 % |
568.05/568.06 c | 94166 | 137877 661850 1793908 | 2147483647 92307 216 | 15.923 % |
569.85/569.90 c | 94380 | 137877 661850 1793908 | 2147483647 92521 216 | 15.923 % |
571.85/571.83 c | 94613 | 137877 661850 1793908 | 2147483647 92754 216 | 15.923 % |
573.75/573.73 c | 94869 | 137877 661850 1793908 | 2147483647 93010 216 | 15.923 % |
575.85/575.83 c | 95151 | 137875 661846 1793900 | 2147483647 93283 215 | 15.935 % |
578.85/578.89 c | 95463 | 137875 661846 1793900 | 2147483647 93595 215 | 15.935 % |
581.95/581.98 c | 95803 | 137875 661846 1793900 | 2147483647 93935 215 | 15.935 % |
585.35/585.40 c | 96175 | 137875 661846 1793900 | 2147483647 94307 215 | 15.935 % |
588.65/588.65 c | 96587 | 137875 661846 1793900 | 2147483647 94719 216 | 15.935 % |
592.65/592.64 c | 97038 | 137857 661734 1793631 | 2147483647 95142 215 | 15.935 % |
596.35/596.34 c | 97531 | 137857 661734 1793631 | 2147483647 95635 215 | 15.935 % |
600.65/600.70 c | 98073 | 137857 661734 1793631 | 2147483647 96177 215 | 15.935 % |
605.95/605.93 c | 98670 | 137857 661734 1793631 | 2147483647 96774 214 | 15.935 % |
611.85/611.84 c | 99325 | 137857 661734 1793631 | 2147483647 97429 214 | 15.935 % |
618.95/618.94 c | 100045 | 137857 661734 1793631 | 2147483647 98149 213 | 15.935 % |
624.96/624.95 c | 100838 | 137769 661173 1792256 | 2147483647 98928 213 | 15.989 % |
632.25/632.29 c | 101709 | 137768 661173 1792256 | 2147483647 99798 213 | 15.990 % |
641.75/641.74 c | 102668 | 137767 661166 1792242 | 2147483647 100746 211 | 15.990 % |
651.25/651.31 c | 103721 | 137767 661166 1792242 | 2147483647 101799 211 | 15.990 % |
661.96/661.99 c | 104881 | 137756 661088 1792053 | 2147483647 102937 209 | 15.997 % |
662.96/662.98 c | 104982 | 137756 661088 1792053 | 2147483647 103038 209 | 15.997 % |
663.96/664.01 c | 105093 | 137756 661088 1792053 | 2147483647 103149 209 | 15.997 % |
665.16/665.18 c | 105215 | 137756 661088 1792053 | 2147483647 103271 209 | 15.997 % |
666.06/666.07 c | 105348 | 137756 661088 1792053 | 2147483647 103404 209 | 15.997 % |
667.26/667.26 c | 105494 | 137756 661088 1792053 | 2147483647 103550 209 | 15.997 % |
668.46/668.49 c | 105655 | 137756 661088 1792053 | 2147483647 103711 209 | 15.997 % |
669.86/669.89 c | 105832 | 137756 661088 1792053 | 2147483647 103888 209 | 15.997 % |
671.46/671.45 c | 106025 | 137756 661088 1792053 | 2147483647 104081 208 | 15.997 % |
673.36/673.36 c | 106237 | 137756 661088 1792053 | 2147483647 104293 208 | 15.997 % |
675.46/675.44 c | 106473 | 137756 661088 1792053 | 2147483647 104529 208 | 15.997 % |
677.96/678.01 c | 106730 | 137756 661088 1792053 | 2147483647 104786 208 | 15.997 % |
680.46/680.47 c | 107011 | 137756 661088 1792053 | 2147483647 105067 207 | 15.997 % |
682.56/682.59 c | 107320 | 137756 661088 1792053 | 2147483647 105376 207 | 15.997 % |
684.76/684.77 c | 107660 | 137756 661088 1792053 | 2147483647 105716 207 | 15.997 % |
687.26/687.23 c | 108032 | 137756 661088 1792053 | 2147483647 106088 206 | 15.997 % |
690.46/690.49 c | 108444 | 137756 661088 1792053 | 2147483647 106500 207 | 15.997 % |
694.86/694.90 c | 108893 | 137756 661088 1792053 | 2147483647 106949 206 | 15.997 % |
699.76/699.78 c | 109387 | 137756 661088 1792053 | 2147483647 107443 206 | 15.997 % |
705.26/705.23 c | 109931 | 137756 661088 1792053 | 2147483647 107987 205 | 15.997 % |
710.56/710.60 c | 110527 | 137756 661088 1792053 | 2147483647 108583 205 | 15.997 % |
715.66/715.66 c | 111183 | 137756 661088 1792053 | 2147483647 109239 204 | 15.997 % |
722.05/722.02 c | 111905 | 137744 660993 1791797 | 2147483647 109958 204 | 16.004 % |
728.95/728.93 c | 112700 | 137744 660993 1791797 | 2147483647 110753 203 | 16.004 % |
733.05/733.02 c | 113574 | 137744 660993 1791797 | 2147483647 111627 203 | 16.004 % |
740.55/740.54 c | 114533 | 137744 660993 1791797 | 2147483647 112586 204 | 16.004 % |
750.05/750.02 c | 115586 | 137724 660921 1791647 | 2147483647 113624 204 | 16.016 % |
759.85/759.85 c | 116747 | 137724 660921 1791647 | 2147483647 114785 204 | 16.016 % |
768.26/768.23 c | 118021 | 137724 660921 1791647 | 2147483647 116059 205 | 16.016 % |
768.86/768.85 c | 118121 | 137724 660921 1791647 | 2147483647 116159 205 | 16.016 % |
769.96/769.92 c | 118232 | 137724 660921 1791647 | 2147483647 116270 206 | 16.016 % |
771.16/771.16 c | 118361 | 137724 660921 1791647 | 2147483647 116399 206 | 16.016 % |
772.06/772.10 c | 118496 | 137724 660921 1791647 | 2147483647 116534 205 | 16.016 % |
773.56/773.54 c | 118642 | 137716 660841 1791455 | 2147483647 116675 205 | 16.021 % |
775.06/775.03 c | 118802 | 137716 660841 1791455 | 2147483647 116835 205 | 16.021 % |
776.46/776.47 c | 118978 | 137716 660841 1791455 | 2147483647 117011 205 | 16.021 % |
778.06/778.09 c | 119172 | 137716 660841 1791455 | 2147483647 117205 205 | 16.021 % |
780.06/780.06 c | 119384 | 137716 660841 1791455 | 2147483647 117417 205 | 16.021 % |
782.16/782.12 c | 119617 | 137716 660841 1791455 | 2147483647 117650 205 | 16.021 % |
784.26/784.26 c | 119873 | 137716 660841 1791455 | 2147483647 117906 204 | 16.021 % |
786.96/786.91 c | 120157 | 137716 660841 1791455 | 2147483647 118190 204 | 16.021 % |
789.86/789.88 c | 120469 | 137716 660841 1791455 | 2147483647 118502 204 | 16.021 % |
793.26/793.25 c | 120809 | 137716 660841 1791455 | 2147483647 118842 203 | 16.021 % |
797.16/797.12 c | 121181 | 137716 660841 1791455 | 2147483647 119214 203 | 16.021 % |
801.36/801.36 c | 121593 | 137716 660841 1791455 | 2147483647 119626 203 | 16.021 % |
804.76/804.77 c | 122042 | 137716 660841 1791455 | 2147483647 120075 202 | 16.021 % |
808.36/808.37 c | 122535 | 137716 660841 1791455 | 2147483647 120568 202 | 16.021 % |
812.66/812.69 c | 123078 | 137716 660841 1791455 | 2147483647 121111 202 | 16.021 % |
817.96/817.95 c | 123674 | 137715 660837 1791447 | 2147483647 121706 202 | 16.022 % |
823.76/823.73 c | 124331 | 137715 660837 1791447 | 2147483647 122363 201 | 16.022 % |
829.86/829.91 c | 125051 | 137715 660837 1791447 | 2147483647 123083 200 | 16.022 % |
837.86/837.81 c | 125845 | 137715 660837 1791447 | 2147483647 123877 200 | 16.022 % |
846.07/846.10 c | 126716 | 137711 660822 1791404 | 2147483647 124746 199 | 16.024 % |
854.87/854.83 c | 127674 | 137711 660822 1791404 | 2147483647 125703 199 | 16.029 % |
864.77/864.80 c | 128727 | 137669 660533 1790743 | 2147483647 126600 199 | 16.061 % |
876.96/876.90 c | 129885 | 137669 660533 1790743 | 2147483647 127758 198 | 16.061 % |
889.87/889.91 c | 131158 | 137669 660533 1790743 | 2147483647 129031 197 | 16.061 % |
902.67/902.62 c | 132559 | 137650 660423 1790478 | 2147483647 130359 196 | 16.061 % |
903.77/903.75 c | 132659 | 137650 660423 1790478 | 2147483647 130459 196 | 16.061 % |
904.87/904.82 c | 132769 | 137650 660423 1790478 | 2147483647 130569 196 | 16.061 % |
905.97/905.92 c | 132891 | 137650 660423 1790478 | 2147483647 130691 196 | 16.061 % |
907.07/907.08 c | 133024 | 137650 660423 1790478 | 2147483647 130824 196 | 16.061 % |
908.17/908.15 c | 133171 | 137650 660423 1790478 | 2147483647 130971 195 | 16.061 % |
909.47/909.50 c | 133333 | 137650 660423 1790478 | 2147483647 131133 195 | 16.061 % |
910.67/910.66 c | 133510 | 137650 660423 1790478 | 2147483647 131310 195 | 16.061 % |
912.47/912.49 c | 133704 | 137650 660423 1790478 | 2147483647 131504 195 | 16.061 % |
914.37/914.35 c | 133917 | 137650 660423 1790478 | 2147483647 131717 195 | 16.061 % |
916.27/916.27 c | 134150 | 137650 660423 1790478 | 2147483647 131950 195 | 16.061 % |
918.77/918.77 c | 134408 | 137650 660423 1790478 | 2147483647 132208 194 | 16.061 % |
920.97/920.97 c | 134691 | 137650 660423 1790478 | 2147483647 132491 194 | 16.061 % |
923.87/923.85 c | 135000 | 137650 660423 1790478 | 2147483647 132800 194 | 16.061 % |
926.97/926.92 c | 135340 | 137638 660323 1790208 | 2147483647 133136 194 | 16.069 % |
930.77/930.72 c | 135712 | 137638 660323 1790208 | 2147483647 133508 194 | 16.069 % |
934.27/934.26 c | 136122 | 137638 660323 1790208 | 2147483647 133918 193 | 16.069 % |
937.97/937.98 c | 136572 | 137638 660323 1790208 | 2147483647 134368 193 | 16.069 % |
941.97/941.96 c | 137066 | 137638 660323 1790208 | 2147483647 134862 193 | 16.069 % |
946.37/946.32 c | 137610 | 137637 660323 1790208 | 2147483647 135405 193 | 16.069 % |
952.27/952.24 c | 138209 | 137636 660319 1790200 | 2147483647 136003 193 | 16.081 % |
958.97/958.94 c | 138865 | 137635 660319 1790200 | 2147483647 136658 192 | 16.092 % |
966.07/966.07 c | 139586 | 137635 660319 1790200 | 2147483647 137379 192 | 16.092 % |
973.37/973.32 c | 140379 | 137598 660064 1789618 | 2147483647 138107 192 | 16.126 % |
981.27/981.28 c | 141252 | 137598 660064 1789618 | 2147483647 138980 191 | 16.126 % |
990.47/990.46 c | 142210 | 137598 660064 1789618 | 2147483647 139938 190 | 16.126 % |
1000.38/1000.38 c | 143266 | 137544 659753 1788879 | 2147483647 140915 191 | 16.126 % |
1011.58/1011.59 c | 144424 | 137544 659753 1788879 | 2147483647 142073 190 | 16.126 % |
1024.48/1024.46 c | 145698 | 137544 659753 1788879 | 2147483647 143347 189 | 16.126 % |
1039.78/1039.77 c | 147098 | 137544 659753 1788879 | 2147483647 144747 188 | 16.126 % |
1052.18/1052.21 c | 148638 | 137544 659753 1788879 | 2147483647 146287 188 | 16.126 % |
1053.18/1053.13 c | 148739 | 137544 659753 1788879 | 2147483647 146388 188 | 16.126 % |
1054.08/1054.07 c | 148849 | 137544 659753 1788879 | 2147483647 146498 188 | 16.126 % |
1055.08/1055.07 c | 148970 | 137544 659753 1788879 | 2147483647 146619 187 | 16.126 % |
1056.48/1056.42 c | 149103 | 137544 659753 1788879 | 2147483647 146752 187 | 16.126 % |
1057.98/1057.93 c | 149250 | 137544 659753 1788879 | 2147483647 146899 187 | 16.126 % |
1059.68/1059.71 c | 149410 | 137544 659753 1788879 | 2147483647 147059 187 | 16.126 % |
1061.48/1061.42 c | 149586 | 137544 659753 1788879 | 2147483647 147235 187 | 16.126 % |
1063.18/1063.17 c | 149781 | 137544 659753 1788879 | 2147483647 147430 187 | 16.126 % |
1064.88/1064.86 c | 149995 | 137544 659753 1788879 | 2147483647 147644 187 | 16.126 % |
1066.58/1066.58 c | 150228 | 137544 659753 1788879 | 2147483647 147877 187 | 16.126 % |
1069.98/1069.92 c | 150484 | 137544 659753 1788879 | 2147483647 148133 187 | 16.126 % |
1072.98/1072.96 c | 150765 | 137544 659753 1788879 | 2147483647 148414 187 | 16.126 % |
1075.98/1075.98 c | 151075 | 137543 659749 1788871 | 2147483647 148723 186 | 16.127 % |
1078.77/1078.78 c | 151417 | 137542 659749 1788871 | 2147483647 149064 186 | 16.127 % |
1081.77/1081.74 c | 151791 | 137542 659749 1788871 | 2147483647 149438 186 | 16.127 % |
1085.57/1085.58 c | 152200 | 137542 659749 1788871 | 2147483647 149847 185 | 16.127 % |
1089.27/1089.26 c | 152650 | 137542 659749 1788871 | 2147483647 150297 185 | 16.127 % |
1093.58/1093.60 c | 153143 | 137542 659749 1788871 | 2147483647 150790 185 | 16.127 % |
1098.27/1098.21 c | 153685 | 137542 659749 1788871 | 2147483647 151332 185 | 16.127 % |
1103.48/1103.45 c | 154281 | 137542 659745 1788863 | 2147483647 151928 184 | 16.127 % |
1109.78/1109.78 c | 154937 | 137542 659745 1788863 | 2147483647 152584 184 | 16.127 % |
1116.08/1116.06 c | 155657 | 137542 659745 1788863 | 2147483647 153304 184 | 16.127 % |
1122.98/1122.95 c | 156450 | 137542 659745 1788863 | 2147483647 154097 183 | 16.127 % |
1129.98/1129.91 c | 157323 | 137542 659745 1788863 | 2147483647 154970 182 | 16.127 % |
1139.58/1139.55 c | 158282 | 137542 659745 1788863 | 2147483647 155929 182 | 16.127 % |
1150.58/1150.60 c | 159335 | 137542 659745 1788863 | 2147483647 156982 182 | 16.127 % |
1163.58/1163.59 c | 160493 | 137542 659745 1788863 | 2147483647 158140 181 | 16.127 % |
1176.09/1176.06 c | 161766 | 137542 659745 1788863 | 2147483647 159413 180 | 16.127 % |
1191.58/1191.59 c | 163166 | 137529 659659 1788654 | 2147483647 160811 180 | 16.136 % |
1200.08/1200.02 HOME/SatELiteGTI: line 36: 3781 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821586-1242540568/watcher-1821586-1242540568 -o /tmp/evaluation-result-1821586-1242540568/solver-1821586-1242540568 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821586-1242540568.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 2/93 3775
/proc/meminfo: memFree=934948/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2416 CPUtime=0.01
/proc/3775/stat : 3775 (SatELiteGTI) R 3773 3775 10114 0 -1 4194304 354 647 0 0 0 1 0 0 18 0 1 0 1018557818 2473984 277 4294967295 134512640 135169312 3220257376 3220255852 3085150068 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/3775/statm: 604 277 235 161 0 43 0
[pid=3779] ppid=3775 vsize=0 CPUtime=0
/proc/3779/stat : 3779 (SatELiteGTI) R 3775 3775 10114 0 -1 4194368 65 0 0 0 0 0 0 0 20 0 1 0 1018557819 0 0 4294967295 0 0 0 3220256004 3085150698 0 0 0 0 0 0 0 17 2 0 0 0
/proc/3779/statm: 0 0 0 0 0 0 0
[startup+0.121444 s]
/proc/loadavg: 0.91 0.98 0.99 2/93 3775
/proc/meminfo: memFree=934948/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2416 CPUtime=0.01
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1018557818 2473984 277 4294967295 134512640 135169312 3220257376 3220255912 3085147886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3775/statm: 604 277 235 161 0 43 0
[pid=3779] ppid=3775 vsize=31596 CPUtime=0.12
/proc/3779/stat : 3779 (SatELite_releas) R 3775 3775 10114 0 -1 4202496 5825 0 0 0 5 7 0 0 20 0 1 0 1018557819 32354304 5594 4294967295 134512640 135223648 3213507552 3213506504 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3779/statm: 7899 5595 46 174 0 7724 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 34012
[startup+0.221439 s]
/proc/loadavg: 0.91 0.98 0.99 2/93 3775
/proc/meminfo: memFree=934948/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2416 CPUtime=0.01
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1018557818 2473984 277 4294967295 134512640 135169312 3220257376 3220255912 3085147886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3775/statm: 604 277 235 161 0 43 0
[pid=3779] ppid=3775 vsize=43592 CPUtime=0.22
/proc/3779/stat : 3779 (SatELite_releas) R 3775 3775 10114 0 -1 4202496 8820 0 0 0 14 8 0 0 21 0 1 0 1018557819 44638208 8589 4294967295 134512640 135223648 3213507552 3213506136 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3779/statm: 10898 8590 46 174 0 10723 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 46008
[startup+0.321433 s]
/proc/loadavg: 0.91 0.98 0.99 2/93 3775
/proc/meminfo: memFree=934948/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2416 CPUtime=0.01
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1018557818 2473984 277 4294967295 134512640 135169312 3220257376 3220255912 3085147886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3775/statm: 604 277 235 161 0 43 0
[pid=3779] ppid=3775 vsize=48840 CPUtime=0.32
/proc/3779/stat : 3779 (SatELite_releas) R 3775 3775 10114 0 -1 4202496 9991 0 0 0 21 11 0 0 21 0 1 0 1018557819 50012160 9760 4294967295 134512640 135223648 3213507552 3213506504 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3779/statm: 12210 9761 46 174 0 12035 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 51256
[startup+0.721414 s]
/proc/loadavg: 0.91 0.98 0.99 2/93 3775
/proc/meminfo: memFree=934948/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2416 CPUtime=0.01
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1018557818 2473984 277 4294967295 134512640 135169312 3220257376 3220255912 3085147886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3775/statm: 604 277 235 161 0 43 0
[pid=3779] ppid=3775 vsize=74564 CPUtime=0.72
/proc/3779/stat : 3779 (SatELite_releas) R 3775 3775 10114 0 -1 4202496 16887 0 0 0 51 21 0 0 22 0 1 0 1018557819 76353536 16656 4294967295 134512640 135223648 3213507552 3213506504 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3779/statm: 18641 16657 47 174 0 18466 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 76980
[startup+1.51137 s]
/proc/loadavg: 0.91 0.98 0.99 2/95 3780
/proc/meminfo: memFree=827068/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2416 CPUtime=0.01
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1018557818 2473984 277 4294967295 134512640 135169312 3220257376 3220255912 3085147886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3775/statm: 604 277 235 161 0 43 0
[pid=3779] ppid=3775 vsize=155804 CPUtime=1.51
/proc/3779/stat : 3779 (SatELite_releas) R 3775 3775 10114 0 -1 4202496 31098 0 0 0 119 32 0 0 25 0 1 0 1018557819 159543296 30867 4294967295 134512640 135223648 3213507552 3213505904 134610683 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3779/statm: 38951 30867 72 174 0 38776 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 158220
[startup+3.1113 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 3780
/proc/meminfo: memFree=804748/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2416 CPUtime=0.01
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1018557818 2473984 277 4294967295 134512640 135169312 3220257376 3220255912 3085147886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3775/statm: 604 277 235 161 0 43 0
[pid=3779] ppid=3775 vsize=170096 CPUtime=3.11
/proc/3779/stat : 3779 (SatELite_releas) R 3775 3775 10114 0 -1 4202496 37249 0 0 0 277 34 0 0 25 0 1 0 1018557819 174178304 34107 4294967295 134512640 135223648 3213507552 3213505568 134586656 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3779/statm: 42524 34107 73 174 0 42349 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 172512
[startup+6.31114 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 3780
/proc/meminfo: memFree=793008/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2416 CPUtime=0.01
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 367 647 0 0 0 1 0 0 18 0 1 0 1018557818 2473984 277 4294967295 134512640 135169312 3220257376 3220255912 3085147886 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3775/statm: 604 277 235 161 0 43 0
[pid=3779] ppid=3775 vsize=169768 CPUtime=6.31
/proc/3779/stat : 3779 (SatELite_releas) R 3775 3775 10114 0 -1 4202496 42953 0 0 0 594 37 0 0 25 0 1 0 1018557819 173842432 34078 4294967295 134512640 135223648 3213507552 3213505488 134577074 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3779/statm: 42442 34078 73 174 0 42267 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 172184
[startup+12.7108 s]
/proc/loadavg: 0.93 0.98 0.99 3/95 3781
/proc/meminfo: memFree=865596/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=49936 CPUtime=4.92
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 11428 0 0 0 487 5 0 0 25 0 1 0 1018558598 51134464 11315 4294967295 134512640 135215339 3213860000 3213858288 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 12484 11315 73 172 0 12311 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 52356
[startup+25.5102 s]
/proc/loadavg: 0.94 0.98 0.99 3/95 3783
/proc/meminfo: memFree=863972/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=51520 CPUtime=17.72
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 11832 0 0 0 1766 6 0 0 25 0 1 0 1018558598 52756480 11719 4294967295 134512640 135215339 3213860000 3213858288 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 12880 11719 73 172 0 12707 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 53940
[startup+51.109 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 3968
/proc/meminfo: memFree=857980/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=57108 CPUtime=43.32
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 13237 0 0 0 4323 9 0 0 25 0 1 0 1018558598 58478592 13124 4294967295 134512640 135215339 3213860000 3213858288 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 14277 13124 73 172 0 14104 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 59528
[startup+102.316 s]
/proc/loadavg: 0.98 0.98 0.99 2/95 3972
/proc/meminfo: memFree=846032/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=69128 CPUtime=94.53
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 16250 0 0 0 9442 11 0 0 25 0 1 0 1018558598 70787072 16137 4294967295 134512640 135215339 3213860000 3213858288 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 17282 16137 73 172 0 17109 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 71548
[startup+162.314 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 4159
/proc/meminfo: memFree=832028/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=83052 CPUtime=154.53
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 19713 0 0 0 15435 18 0 0 25 0 1 0 1018558598 85045248 19600 4294967295 134512640 135215339 3213860000 3213858288 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 20763 19600 73 172 0 20590 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 85472
[startup+222.321 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 4352
/proc/meminfo: memFree=824712/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=90416 CPUtime=214.54
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 21529 0 0 0 21435 19 0 0 25 0 1 0 1018558598 92585984 21416 4294967295 134512640 135215339 3213860000 3213858064 134538068 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 22604 21416 73 172 0 22431 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 92836
[startup+282.318 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 4540
/proc/meminfo: memFree=815148/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=99672 CPUtime=274.54
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 23876 0 0 0 27434 20 0 0 25 0 1 0 1018558598 102064128 23763 4294967295 134512640 135215339 3213860000 3213858288 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 24918 23763 73 172 0 24745 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 102092
[startup+342.325 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 4726
/proc/meminfo: memFree=807724/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=107324 CPUtime=334.55
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 25740 0 0 0 33434 21 0 0 25 0 1 0 1018558598 109899776 25627 4294967295 134512640 135215339 3213860000 3213858288 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 26831 25627 73 172 0 26658 0
Current children cumulated CPU time (s) 342.35
################
# More data... #
################
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=127440 CPUtime=514.54
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 30796 0 0 0 51422 32 0 0 25 0 1 0 1018558598 130498560 30683 4294967295 134512640 135215339 3213860000 3213858288 134528748 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 31860 30683 73 172 0 31687 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 129860
[startup+582.313 s]
/proc/loadavg: 1.02 1.00 0.99 3/95 5488
/proc/meminfo: memFree=782140/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=132928 CPUtime=574.55
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 32126 0 0 0 57418 37 0 0 25 0 1 0 1018558598 136118272 32013 4294967295 134512640 135215339 3213860000 3213858288 134528751 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 33232 32013 73 172 0 33059 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 135348
[startup+642.31 s]
/proc/loadavg: 1.00 1.00 0.99 3/95 5674
/proc/meminfo: memFree=777592/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=137564 CPUtime=634.55
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 33301 0 0 0 63416 39 0 0 25 0 1 0 1018558598 140865536 33188 4294967295 134512640 135215339 3213860000 3213858288 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 34391 33188 73 172 0 34218 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 139984
[startup+702.317 s]
/proc/loadavg: 1.00 1.00 0.99 3/95 5865
/proc/meminfo: memFree=773996/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=140864 CPUtime=694.56
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 34145 0 0 0 69416 40 0 0 25 0 1 0 1018558598 144244736 34032 4294967295 134512640 135215339 3213860000 3213858272 134525025 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 35216 34032 73 172 0 35043 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 143284
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.99 3/95 6052
/proc/meminfo: memFree=768292/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=146624 CPUtime=754.55
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 35572 0 0 0 75415 40 0 0 25 0 1 0 1018558598 150142976 35459 4294967295 134512640 135215339 3213860000 3213858288 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 36656 35459 73 172 0 36483 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 149044
[startup+822.312 s]
/proc/loadavg: 1.00 1.00 0.99 2/95 6241
/proc/meminfo: memFree=764076/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=150996 CPUtime=814.56
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 36683 0 0 0 81416 40 0 0 25 0 1 0 1018558598 154619904 36570 4294967295 134512640 135215339 3213860000 3213858288 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 37749 36570 73 172 0 37576 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 153416
[startup+882.319 s]
/proc/loadavg: 1.00 1.00 0.99 3/95 6433
/proc/meminfo: memFree=760820/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=154216 CPUtime=874.57
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 37471 0 0 0 87414 43 0 0 25 0 1 0 1018558598 157917184 37358 4294967295 134512640 135215339 3213860000 3213858288 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 38554 37358 73 172 0 38381 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 156636
[startup+942.316 s]
/proc/loadavg: 1.00 1.00 0.99 2/95 6619
/proc/meminfo: memFree=758248/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=157144 CPUtime=934.57
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 38201 0 0 0 93413 44 0 0 25 0 1 0 1018558598 160915456 38088 4294967295 134512640 135215339 3213860000 3213858288 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 39286 38088 73 172 0 39113 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 159564
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 0.99 4/95 6808
/proc/meminfo: memFree=754280/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=161000 CPUtime=994.58
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 39119 0 0 0 99412 46 0 0 25 0 1 0 1018558598 164864000 39006 4294967295 134512640 135215339 3213860000 3213858288 134529083 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 40250 39006 73 172 0 40077 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 163420
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 0.99 3/95 6995
/proc/meminfo: memFree=751676/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=163792 CPUtime=1054.58
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 39826 0 0 0 105411 47 0 0 25 0 1 0 1018558598 167723008 39713 4294967295 134512640 135215339 3213860000 3213858288 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 40948 39713 73 172 0 40775 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 166212
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 0.99 3/95 7184
/proc/meminfo: memFree=748824/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=166568 CPUtime=1114.58
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 40514 0 0 0 111411 47 0 0 25 0 1 0 1018558598 170565632 40401 4294967295 134512640 135215339 3213860000 3213858288 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 41642 40401 73 172 0 41469 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 168988
[startup+1182.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 7372
/proc/meminfo: memFree=746088/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=169100 CPUtime=1174.58
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 41166 0 0 0 117411 47 0 0 25 0 1 0 1018558598 173158400 41053 4294967295 134512640 135215339 3213860000 3213858288 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 42275 41053 73 172 0 42102 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 171520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 7556
/proc/meminfo: memFree=744960/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=170024 CPUtime=1192.28
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 41382 0 0 0 119181 47 0 0 25 0 1 0 1018558598 174104576 41269 4294967295 134512640 135215339 3213860000 3213858288 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 42506 41269 73 172 0 42333 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 172444
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
[startup+1200.01 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 7556
/proc/meminfo: memFree=744960/2074464 swapFree=1950884/1959888
[pid=3775] ppid=3773 vsize=2420 CPUtime=7.8
/proc/3775/stat : 3775 (SatELiteGTI) S 3773 3775 10114 0 -1 4194304 386 47756 0 0 0 1 734 45 18 0 1 0 1018557818 2478080 278 4294967295 134512640 135169312 3220257376 3220253592 3085147886 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/3775/statm: 605 278 235 161 0 44 0
[pid=3781] ppid=3775 vsize=170024 CPUtime=1192.28
/proc/3781/stat : 3781 (minisat_static) R 3775 3775 10114 0 -1 4202496 41382 0 0 0 119181 47 0 0 25 0 1 0 1018558598 174104576 41269 4294967295 134512640 135215339 3213860000 3213858288 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/3781/statm: 42506 41269 73 172 0 42333 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 172444
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.1
CPU user time (s): 1199.15
CPU system time (s): 0.95
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 187520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.15
system time used= 0.95
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89801
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= 23
involuntary context switches= 1835
runsolver used 0.02 second user time and 0.02 second system time
The end
Begin job on tipi13 at 2009-05-17 08:09:28
IDJOB=1821586
IDBENCH=71015
IDSOLVER=657
FILE ID=tipi13/1821586-1242540568
PBS_JOBID=
Free space on /tmp= 6955 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-15-10p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821586-1242540568/watcher-1821586-1242540568 -o /tmp/evaluation-result-1821586-1242540568/solver-1821586-1242540568 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821586-1242540568.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4f02dda0c6b1f76f43bce732093e4f1f
RANDOM SEED= 502228325
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 934948 kB
Buffers: 60080 kB
Cached: 973300 kB
SwapCached: 3516 kB
Active: 420336 kB
Inactive: 622720 kB
HighTotal: 1178688 kB
HighFree: 229184 kB
LowTotal: 895776 kB
LowFree: 705764 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 23068 kB
Writeback: 0 kB
AnonPages: 8532 kB
Mapped: 2888 kB
Slab: 87808 kB
PageTables: 452 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90596 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 6955 MiB
End job on tipi13 at 2009-05-17 08:29:30