0.00/0.00 c Parsing...
1.20/1.30 c ==============================================================================
1.20/1.30 c | | ORIGINAL | LEARNT | |
1.20/1.30 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.20/1.30 c ==============================================================================
1.20/1.30 c | 0 | 1120813 2633174 | 336243 0 0 nan | 0.000 % |
7.37/7.51 c | 0 | 777919 2077798 | -- 0 -- -- | -- | -91956/18047
7.47/7.51 c ==============================================================================
7.47/7.51 c Result : #vars: 158000 #clauses: 777919 #literals: 2077798
7.47/7.51 c CPU time: 7.2 s
7.47/7.51 c ==============================================================================
8.17/8.30 c This is MiniSat 2.0 beta
8.17/8.30 c WARNING: for repeatability, setting FPU to use double precision
8.17/8.30 c ============================[ Problem Statistics ]=============================
8.17/8.30 c | |
8.17/8.30 c | Number of variables: 158000 |
8.17/8.30 c | Number of clauses: 777919 |
8.76/8.84 c | Parsing time: 0.51 s |
8.76/8.88 c ============================[ Search Statistics ]==============================
8.76/8.88 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.76/8.88 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.76/8.88 c ===============================================================================
8.76/8.88 c | 0 | 158000 777919 2077798 | 259306 0 nan | 0.000 % |
9.06/9.17 c | 100 | 157921 777919 2077798 | 259306 98 159 | 0.118 % |
9.56/9.65 c | 200 | 157909 777919 2077798 | 259306 194 99 | 0.431 % |
10.06/10.14 c | 306 | 157879 777919 2077798 | 259306 300 104 | 0.431 % |
10.76/10.82 c | 416 | 156672 770787 2060296 | 259306 406 87 | 0.878 % |
11.06/11.18 c | 516 | 156671 770787 2060296 | 259306 505 79 | 0.882 % |
11.36/11.47 c | 626 | 156671 770787 2060296 | 259306 615 75 | 0.882 % |
11.56/11.61 c | 750 | 156671 770787 2060296 | 259306 739 74 | 0.882 % |
11.76/11.82 c | 852 | 156671 770787 2060296 | 259306 841 72 | 0.882 % |
11.86/11.98 c | 964 | 156607 770402 2059443 | 259306 952 71 | 0.882 % |
11.96/12.11 c | 1086 | 156595 770402 2059443 | 259306 1073 64 | 1.104 % |
12.26/12.35 c | 1220 | 156595 770402 2059443 | 259306 1207 70 | 1.104 % |
13.46/13.56 c | 1320 | 156595 770402 2059443 | 259306 1307 77 | 1.104 % |
13.86/14.00 c | 1431 | 156246 768365 2054229 | 259306 1416 75 | 1.146 % |
14.56/14.69 c | 1552 | 156221 768365 2054229 | 259306 1534 77 | 1.381 % |
15.16/15.28 c | 1685 | 156221 768365 2054229 | 259306 1667 84 | 1.381 % |
15.66/15.74 c | 1831 | 155817 765909 2048472 | 259306 1808 86 | 1.416 % |
15.86/15.91 c | 1931 | 155817 765909 2048472 | 259306 1908 86 | 1.416 % |
15.96/16.06 c | 2045 | 155817 765909 2048472 | 259306 2022 91 | 1.416 % |
16.26/16.35 c | 2166 | 155817 765909 2048472 | 259306 2143 90 | 1.416 % |
17.16/17.26 c | 2299 | 155754 765589 2047832 | 259306 2275 92 | 1.422 % |
17.66/17.72 c | 2445 | 155656 765589 2047832 | 259306 2418 88 | 1.795 % |
18.06/18.15 c | 2605 | 155544 765589 2047832 | 259306 2571 85 | 2.539 % |
18.36/18.45 c | 2705 | 153725 755077 2022976 | 259306 2654 83 | 2.706 % |
18.56/18.70 c | 2816 | 153725 755077 2022976 | 259306 2765 81 | 2.706 % |
18.96/19.11 c | 2939 | 153721 755077 2022976 | 259306 2887 81 | 2.741 % |
19.06/19.19 c | 3074 | 153721 755077 2022976 | 259306 3022 86 | 2.741 % |
19.46/19.56 c | 3220 | 153721 755077 2022976 | 259306 3168 87 | 2.741 % |
20.16/20.27 c | 3380 | 153636 754636 2022013 | 259306 3325 86 | 2.762 % |
21.16/21.21 c | 3557 | 153634 754636 2022013 | 259306 3501 88 | 2.780 % |
21.36/21.48 c | 3657 | 153598 754400 2021414 | 259306 3600 87 | 2.786 % |
21.66/21.72 c | 3767 | 153598 754400 2021414 | 259306 3710 88 | 2.786 % |
22.46/22.60 c | 3889 | 153598 754400 2021414 | 259306 3832 102 | 2.786 % |
22.86/22.92 c | 4022 | 153598 754400 2021414 | 259306 3965 103 | 2.786 % |
23.46/23.59 c | 4168 | 153571 754299 2021144 | 259306 4109 102 | 3.457 % |
24.06/24.20 c | 4328 | 153571 754299 2021144 | 259306 4269 107 | 3.457 % |
24.86/24.94 c | 4507 | 153526 754299 2021144 | 259306 4446 115 | 3.709 % |
25.26/25.39 c | 4700 | 152139 747225 2003852 | 259306 4634 120 | 3.709 % |
25.56/25.66 c | 4802 | 152139 747225 2003852 | 259306 4736 120 | 3.709 % |
25.96/26.08 c | 4913 | 152139 747225 2003852 | 259306 4847 120 | 3.709 % |
26.37/26.42 c | 5035 | 152139 747225 2003852 | 259306 4969 119 | 3.709 % |
26.76/26.83 c | 5170 | 152129 747135 2003622 | 259306 5100 120 | 3.716 % |
27.26/27.36 c | 5316 | 152128 747135 2003622 | 259306 5245 119 | 3.736 % |
27.96/28.05 c | 5476 | 152092 747135 2003622 | 259306 5404 118 | 3.818 % |
28.36/28.44 c | 5652 | 152085 747135 2003622 | 259306 5579 119 | 3.829 % |
28.96/29.07 c | 5846 | 151948 746212 2001719 | 259306 5770 119 | 3.839 % |
29.16/29.27 c | 6058 | 151948 746212 2001719 | 259306 5982 118 | 3.839 % |
29.56/29.61 c | 6159 | 151939 746212 2001719 | 259306 6082 117 | 3.879 % |
29.96/30.03 c | 6269 | 151937 746212 2001719 | 259306 6191 118 | 3.888 % |
30.06/30.20 c | 6390 | 151937 746212 2001719 | 259306 6312 119 | 3.888 % |
30.56/30.65 c | 6529 | 151856 745709 2000569 | 259306 6450 120 | 3.896 % |
30.77/30.88 c | 6676 | 151846 745709 2000569 | 259306 6596 120 | 4.220 % |
31.16/31.29 c | 6837 | 151840 745709 2000569 | 259306 6757 121 | 4.220 % |
32.86/32.92 c | 7013 | 151839 745709 2000569 | 259306 6933 129 | 4.220 % |
34.36/34.44 c | 7206 | 151332 742750 1993021 | 259306 7124 136 | 4.220 % |
35.76/35.87 c | 7420 | 151221 742336 1992193 | 259306 7334 137 | 4.304 % |
36.96/37.01 c | 7653 | 150642 738988 1984198 | 259306 7552 139 | 4.666 % |
37.06/37.14 c | 7753 | 150561 738988 1984198 | 259306 7651 139 | 5.459 % |
37.46/37.58 c | 7864 | 150561 738988 1984198 | 259306 7762 139 | 5.459 % |
37.76/37.89 c | 7986 | 150561 738988 1984198 | 259306 7884 138 | 5.459 % |
38.06/38.14 c | 8119 | 150561 738988 1984198 | 259306 8017 138 | 5.459 % |
38.36/38.42 c | 8267 | 150560 738988 1984198 | 259306 8164 138 | 5.460 % |
39.76/39.89 c | 8429 | 150560 738988 1984198 | 259306 8326 144 | 5.460 % |
40.76/40.87 c | 8608 | 149373 731726 1965969 | 259306 8502 148 | 5.460 % |
41.86/41.94 c | 8801 | 149373 731726 1965969 | 259306 8695 151 | 5.460 % |
42.96/43.08 c | 9015 | 148348 726202 1951835 | 259306 8906 152 | 6.109 % |
44.46/44.56 c | 9248 | 148347 726202 1951835 | 259306 9137 156 | 6.127 % |
45.16/45.26 c | 9504 | 148347 726202 1951835 | 259306 9393 154 | 6.127 % |
45.56/45.64 c | 9607 | 148319 726046 1951439 | 259306 9496 154 | 6.127 % |
45.76/45.86 c | 9717 | 148307 726046 1951439 | 259306 9605 154 | 6.530 % |
46.66/46.71 c | 9843 | 148307 726046 1951439 | 259306 9731 156 | 6.530 % |
47.46/47.55 c | 9976 | 148307 726046 1951439 | 259306 9864 159 | 6.530 % |
48.26/48.38 c | 10123 | 148307 726046 1951439 | 2147483647 10011 161 | 6.530 % |
48.76/48.83 c | 10287 | 147682 722469 1942208 | 2147483647 10174 162 | 6.530 % |
50.06/50.13 c | 10463 | 147682 722469 1942208 | 2147483647 10350 164 | 6.530 % |
51.06/51.19 c | 10656 | 147681 722469 1942208 | 2147483647 10541 165 | 6.549 % |
51.96/52.02 c | 10868 | 147652 722228 1941587 | 2147483647 10751 165 | 6.549 % |
53.66/53.73 c | 11101 | 147652 722228 1941587 | 2147483647 10984 171 | 6.549 % |
55.16/55.28 c | 11357 | 147652 722228 1941587 | 2147483647 11240 173 | 6.549 % |
56.26/56.32 c | 11638 | 147630 722086 1941224 | 2147483647 11519 173 | 6.563 % |
56.36/56.50 c | 11739 | 147630 722086 1941224 | 2147483647 11620 173 | 6.563 % |
56.76/56.81 c | 11850 | 147630 722086 1941224 | 2147483647 11731 172 | 6.563 % |
57.46/57.54 c | 11974 | 147630 722086 1941224 | 2147483647 11855 174 | 6.563 % |
57.86/57.97 c | 12107 | 147630 722086 1941224 | 2147483647 11988 175 | 6.563 % |
58.36/58.46 c | 12256 | 147538 722086 1941224 | 2147483647 12136 174 | 6.773 % |
59.56/59.61 c | 12416 | 147297 720426 1937904 | 2147483647 12293 174 | 6.784 % |
60.56/60.61 c | 12594 | 147297 720426 1937904 | 2147483647 12470 175 | 6.794 % |
61.66/61.79 c | 12788 | 147295 720426 1937904 | 2147483647 12663 177 | 6.824 % |
64.26/64.40 c | 13000 | 147218 719943 1936686 | 2147483647 12869 180 | 6.828 % |
65.26/65.39 c | 13234 | 147212 719921 1936629 | 2147483647 13103 179 | 6.828 % |
65.76/65.82 c | 13492 | 147211 719921 1936629 | 2147483647 13360 179 | 6.828 % |
66.96/67.04 c | 13774 | 147211 719921 1936629 | 2147483647 13642 180 | 6.828 % |
69.27/69.39 c | 14085 | 147196 719808 1936327 | 2147483647 13947 182 | 6.851 % |
69.96/70.06 c | 14185 | 147196 719808 1936327 | 2147483647 14047 184 | 6.851 % |
70.86/70.92 c | 14295 | 147196 719808 1936327 | 2147483647 14157 185 | 6.851 % |
71.76/71.84 c | 14416 | 147196 719808 1936327 | 2147483647 14278 186 | 6.851 % |
73.06/73.11 c | 14549 | 147175 719686 1936031 | 2147483647 14407 187 | 6.851 % |
73.97/74.11 c | 14696 | 147175 719686 1936031 | 2147483647 14554 191 | 6.851 % |
75.37/75.42 c | 14859 | 147175 719686 1936031 | 2147483647 14717 195 | 6.851 % |
76.86/76.92 c | 15036 | 147154 719591 1935773 | 2147483647 14890 197 | 6.892 % |
77.46/77.52 c | 15229 | 147154 719591 1935773 | 2147483647 15083 197 | 6.892 % |
78.46/78.51 c | 15443 | 147154 719591 1935773 | 2147483647 15297 198 | 6.892 % |
80.36/80.46 c | 15676 | 145579 711107 1914096 | 2147483647 15517 200 | 7.861 % |
81.66/81.73 c | 15937 | 145579 711107 1914096 | 2147483647 15778 198 | 7.861 % |
82.96/83.09 c | 16218 | 145579 711107 1914096 | 2147483647 16059 198 | 7.861 % |
84.86/85.00 c | 16527 | 145567 711004 1913823 | 2147483647 16363 199 | 7.879 % |
86.66/86.77 c | 16866 | 145561 711004 1913823 | 2147483647 16700 201 | 7.915 % |
87.26/87.35 c | 16967 | 145561 711004 1913823 | 2147483647 16801 201 | 7.915 % |
87.66/87.73 c | 17077 | 145494 710565 1912703 | 2147483647 16909 201 | 7.920 % |
87.96/88.09 c | 17198 | 145492 710565 1912703 | 2147483647 17030 200 | 7.920 % |
88.46/88.53 c | 17331 | 145492 710565 1912703 | 2147483647 17163 201 | 7.920 % |
89.86/89.91 c | 17477 | 145477 710565 1912703 | 2147483647 17307 201 | 7.986 % |
90.66/90.79 c | 17638 | 145474 710565 1912703 | 2147483647 17467 202 | 7.999 % |
91.66/91.71 c | 17814 | 145474 710565 1912703 | 2147483647 17643 202 | 7.999 % |
92.66/92.72 c | 18008 | 145361 709919 1911221 | 2147483647 17832 202 | 7.999 % |
94.16/94.25 c | 18220 | 145361 709919 1911221 | 2147483647 18044 205 | 7.999 % |
96.26/96.36 c | 18457 | 145361 709919 1911221 | 2147483647 18281 206 | 7.999 % |
98.36/98.41 c | 18716 | 145350 709822 1910959 | 2147483647 18539 205 | 8.006 % |
99.86/99.96 c | 18997 | 145349 709822 1910959 | 2147483647 18819 206 | 8.007 % |
102.66/102.80 c | 19307 | 145349 709822 1910959 | 2147483647 19129 208 | 8.007 % |
104.46/104.53 c | 19646 | 145348 709819 1910953 | 2147483647 19466 208 | 8.012 % |
106.16/106.24 c | 20018 | 145347 709819 1910953 | 2147483647 19837 210 | 8.012 % |
106.46/106.58 c | 20120 | 145347 709819 1910953 | 2147483647 19939 211 | 8.012 % |
107.46/107.60 c | 20233 | 145331 709689 1910668 | 2147483647 20037 212 | 8.018 % |
108.66/108.78 c | 20354 | 145330 709689 1910668 | 2147483647 20157 213 | 8.019 % |
109.56/109.66 c | 20487 | 145330 709689 1910668 | 2147483647 20290 213 | 8.019 % |
110.46/110.57 c | 20633 | 145330 709689 1910668 | 2147483647 20436 214 | 8.019 % |
111.96/112.04 c | 20793 | 145330 709689 1910668 | 2147483647 20596 215 | 8.019 % |
113.86/114.00 c | 20975 | 145330 709686 1910662 | 2147483647 20778 216 | 8.019 % |
114.56/114.64 c | 21170 | 145329 709686 1910662 | 2147483647 20972 216 | 8.020 % |
116.56/116.66 c | 21383 | 145329 709686 1910662 | 2147483647 21185 220 | 8.020 % |
118.16/118.27 c | 21628 | 145329 709683 1910656 | 2147483647 21429 220 | 8.020 % |
120.36/120.42 c | 21884 | 145329 709683 1910656 | 2147483647 21685 222 | 8.020 % |
122.16/122.26 c | 22165 | 145329 709683 1910656 | 2147483647 21966 224 | 8.020 % |
125.76/125.83 c | 22476 | 145317 709586 1910412 | 2147483647 22276 223 | 8.027 % |
127.56/127.64 c | 22815 | 145317 709586 1910412 | 2147483647 22615 223 | 8.027 % |
130.16/130.27 c | 23187 | 145317 709586 1910412 | 2147483647 22987 225 | 8.027 % |
133.56/133.66 c | 23596 | 145317 709586 1910412 | 2147483647 23396 226 | 8.027 % |
133.96/134.05 c | 23696 | 145317 709586 1910412 | 2147483647 23496 226 | 8.027 % |
134.86/134.99 c | 23807 | 145317 709586 1910412 | 2147483647 23607 227 | 8.027 % |
135.26/135.33 c | 23933 | 145316 709582 1910404 | 2147483647 23731 227 | 8.029 % |
135.46/135.51 c | 24066 | 145316 709582 1910404 | 2147483647 23864 226 | 8.029 % |
135.96/136.01 c | 24212 | 145313 709582 1910404 | 2147483647 24009 226 | 8.167 % |
136.26/136.32 c | 24372 | 145313 709582 1910404 | 2147483647 24169 225 | 8.167 % |
137.46/137.51 c | 24549 | 145271 709582 1910404 | 2147483647 24344 225 | 8.193 % |
138.86/138.93 c | 24744 | 145271 709582 1910404 | 2147483647 24539 226 | 8.193 % |
140.66/140.73 c | 24956 | 145270 709582 1910404 | 2147483647 24750 226 | 8.199 % |
141.66/141.75 c | 25189 | 145046 708441 1907924 | 2147483647 24975 226 | 8.199 % |
143.06/143.15 c | 25445 | 145046 708441 1907924 | 2147483647 25231 226 | 8.199 % |
145.26/145.35 c | 25726 | 145046 708441 1907924 | 2147483647 25512 227 | 8.199 % |
148.26/148.31 c | 26036 | 145046 708441 1907924 | 2147483647 25822 229 | 8.199 % |
148.96/149.01 c | 26380 | 145046 708441 1907924 | 2147483647 26166 229 | 8.199 % |
151.56/151.70 c | 26753 | 145021 708295 1907549 | 2147483647 26538 232 | 8.215 % |
155.16/155.22 c | 27165 | 145021 708295 1907549 | 2147483647 26950 234 | 8.215 % |
158.96/159.04 c | 27614 | 145021 708295 1907549 | 2147483647 27399 235 | 8.215 % |
159.66/159.78 c | 27715 | 145021 708295 1907549 | 2147483647 27500 236 | 8.215 % |
160.16/160.22 c | 27826 | 145013 708216 1907360 | 2147483647 27609 236 | 8.220 % |
160.46/160.57 c | 27949 | 145013 708216 1907360 | 2147483647 27732 236 | 8.220 % |
161.46/161.59 c | 28083 | 145010 708216 1907360 | 2147483647 27864 236 | 8.376 % |
161.86/161.98 c | 28230 | 145010 708216 1907360 | 2147483647 28011 237 | 8.376 % |
162.16/162.28 c | 28390 | 145010 708216 1907360 | 2147483647 28171 236 | 8.376 % |
163.76/163.82 c | 28569 | 145010 708216 1907360 | 2147483647 28350 239 | 8.376 % |
164.97/165.05 c | 28765 | 145010 708216 1907360 | 2147483647 28546 239 | 8.376 % |
166.46/166.54 c | 28977 | 145010 708216 1907360 | 2147483647 28758 241 | 8.376 % |
167.66/167.75 c | 29210 | 144766 706544 1903263 | 2147483647 28529 242 | 8.376 % |
169.76/169.87 c | 29466 | 144766 706544 1903263 | 2147483647 28784 244 | 8.391 % |
171.96/172.08 c | 29747 | 144766 706544 1903263 | 2147483647 29065 245 | 8.391 % |
174.87/174.91 c | 30056 | 144680 706043 1901945 | 2147483647 29362 246 | 8.442 % |
175.97/176.03 c | 30395 | 144680 706043 1901945 | 2147483647 29701 246 | 8.442 % |
178.96/179.09 c | 30767 | 144679 706043 1901945 | 2147483647 30072 247 | 8.443 % |
182.06/182.17 c | 31177 | 144679 706043 1901945 | 2147483647 30482 250 | 8.443 % |
184.06/184.19 c | 31626 | 144660 705919 1901621 | 2147483647 30927 252 | 8.443 % |
185.56/185.69 c | 32120 | 144660 705919 1901621 | 2147483647 31421 251 | 8.443 % |
185.96/186.09 c | 32224 | 144660 705919 1901621 | 2147483647 31525 250 | 8.443 % |
186.26/186.34 c | 32336 | 144660 705919 1901621 | 2147483647 31637 250 | 8.443 % |
187.17/187.23 c | 32459 | 144660 705919 1901621 | 2147483647 31760 251 | 8.443 % |
187.37/187.48 c | 32592 | 144660 705919 1901621 | 2147483647 31893 250 | 8.443 % |
188.77/188.90 c | 32738 | 144656 705919 1901621 | 2147483647 32038 251 | 8.456 % |
189.87/189.92 c | 32898 | 144639 705793 1901290 | 2147483647 32194 252 | 8.456 % |
190.77/190.85 c | 33075 | 144639 705793 1901290 | 2147483647 32370 252 | 8.468 % |
192.07/192.20 c | 33268 | 144618 705793 1901290 | 2147483647 32562 252 | 8.911 % |
193.97/194.02 c | 33480 | 144617 705793 1901290 | 2147483647 32773 253 | 8.928 % |
196.27/196.37 c | 33713 | 144616 705793 1901290 | 2147483647 33005 253 | 8.928 % |
198.77/198.89 c | 33972 | 143893 701485 1890737 | 2147483647 33244 255 | 8.928 % |
200.87/200.95 c | 34255 | 143892 701485 1890737 | 2147483647 33525 255 | 8.940 % |
203.57/203.69 c | 34564 | 143884 701485 1890737 | 2147483647 33828 255 | 9.018 % |
205.67/205.78 c | 34904 | 143751 700639 1888548 | 2147483647 34156 255 | 9.627 % |
207.47/207.53 c | 35277 | 143751 700639 1888548 | 2147483647 34528 255 | 9.635 % |
209.17/209.27 c | 35687 | 143750 700639 1888548 | 2147483647 34936 254 | 9.639 % |
210.87/211.01 c | 36137 | 143749 700639 1888548 | 2147483647 35385 254 | 9.640 % |
214.27/214.31 c | 36632 | 143749 700639 1888548 | 2147483647 35880 254 | 9.640 % |
218.87/218.95 c | 37174 | 142769 695395 1875266 | 2147483647 36416 256 | 9.640 % |
219.57/219.66 c | 37274 | 142769 695395 1875266 | 2147483647 36516 256 | 9.640 % |
220.77/220.90 c | 37384 | 142769 695395 1875266 | 2147483647 36626 256 | 9.640 % |
221.57/221.69 c | 37507 | 142769 695395 1875266 | 2147483647 36749 256 | 9.640 % |
222.87/222.91 c | 37640 | 142769 695395 1875266 | 2147483647 36882 256 | 9.640 % |
224.07/224.20 c | 37788 | 142139 692877 1870230 | 2147483647 37025 256 | 10.039 % |
225.27/225.33 c | 37948 | 142138 692877 1870230 | 2147483647 37184 256 | 10.045 % |
226.37/226.44 c | 38124 | 142138 692877 1870230 | 2147483647 37360 256 | 10.045 % |
228.07/228.12 c | 38317 | 142137 692877 1870230 | 2147483647 37552 256 | 10.046 % |
229.97/230.08 c | 38532 | 142137 692877 1870230 | 2147483647 37767 257 | 10.046 % |
231.67/231.75 c | 38765 | 142137 692877 1870230 | 2147483647 38000 257 | 10.046 % |
233.97/234.07 c | 39026 | 142128 692788 1870029 | 2147483647 38231 257 | 10.046 % |
235.77/235.91 c | 39310 | 142119 692788 1870029 | 2147483647 38513 258 | 10.070 % |
238.27/238.41 c | 39621 | 142119 692788 1870029 | 2147483647 38824 258 | 10.070 % |
240.57/240.70 c | 39966 | 142119 692788 1870029 | 2147483647 39169 258 | 10.070 % |
241.77/241.86 c | 40340 | 142090 692582 1869588 | 2147483647 39541 259 | 10.070 % |
244.47/244.57 c | 40749 | 142090 692582 1869588 | 2147483647 39950 259 | 10.070 % |
248.27/248.37 c | 41198 | 142088 692582 1869588 | 2147483647 40396 260 | 10.094 % |
253.87/253.92 c | 41691 | 142026 692263 1868820 | 2147483647 40857 260 | 10.123 % |
258.17/258.28 c | 42233 | 142025 692263 1868820 | 2147483647 41398 260 | 10.123 % |
263.37/263.43 c | 42829 | 142025 692263 1868820 | 2147483647 41994 259 | 10.123 % |
264.07/264.13 c | 42929 | 142005 692142 1868533 | 2147483647 42083 260 | 10.123 % |
264.97/265.06 c | 43039 | 142005 692142 1868533 | 2147483647 42193 260 | 10.123 % |
265.57/265.69 c | 43160 | 142005 692142 1868533 | 2147483647 42314 260 | 10.123 % |
266.97/267.03 c | 43296 | 142005 692142 1868533 | 2147483647 42449 260 | 10.124 % |
267.67/267.78 c | 43442 | 142004 692142 1868533 | 2147483647 42595 261 | 10.124 % |
269.48/269.53 c | 43602 | 142003 692142 1868533 | 2147483647 42754 261 | 10.125 % |
270.97/271.01 c | 43778 | 142003 692142 1868533 | 2147483647 42930 261 | 10.125 % |
272.97/273.06 c | 43973 | 142003 692142 1868533 | 2147483647 43125 261 | 10.125 % |
274.87/274.98 c | 44188 | 142003 692134 1868517 | 2147483647 43340 261 | 10.125 % |
276.77/276.86 c | 44422 | 142003 692134 1868517 | 2147483647 43574 262 | 10.125 % |
278.87/279.00 c | 44678 | 142003 692134 1868517 | 2147483647 43830 263 | 10.125 % |
281.47/281.55 c | 44960 | 142003 692134 1868517 | 2147483647 44112 264 | 10.125 % |
283.37/283.43 c | 45269 | 141984 692039 1868260 | 2147483647 44417 264 | 10.152 % |
285.57/285.70 c | 45608 | 141984 692039 1868260 | 2147483647 44756 264 | 10.152 % |
288.57/288.63 c | 45980 | 141983 692039 1868260 | 2147483647 45127 265 | 10.153 % |
289.57/289.61 c | 46392 | 141983 692039 1868260 | 2147483647 45539 264 | 10.153 % |
293.37/293.41 c | 46841 | 141983 692039 1868260 | 2147483647 45988 267 | 10.153 % |
297.97/298.04 c | 47334 | 141958 691815 1867661 | 2147483647 46477 266 | 10.159 % |
302.58/302.62 c | 47876 | 141958 691815 1867661 | 2147483647 47019 266 | 10.159 % |
306.48/306.53 c | 48472 | 141921 691543 1866994 | 2147483647 47607 267 | 10.177 % |
311.98/312.02 c | 49127 | 141920 691543 1866994 | 2147483647 48261 269 | 10.188 % |
312.78/312.84 c | 49229 | 141920 691543 1866994 | 2147483647 48363 269 | 10.188 % |
313.98/314.08 c | 49339 | 141919 691543 1866994 | 2147483647 48472 269 | 10.199 % |
315.28/315.36 c | 49463 | 141919 691543 1866994 | 2147483647 48596 269 | 10.199 % |
316.58/316.64 c | 49596 | 141885 691317 1866456 | 2147483647 48702 269 | 10.199 % |
318.28/318.32 c | 49742 | 141884 691317 1866456 | 2147483647 48847 269 | 10.204 % |
319.98/320.03 c | 49902 | 141884 691317 1866456 | 2147483647 49007 269 | 10.204 % |
322.58/322.63 c | 50079 | 141877 691317 1866456 | 2147483647 49176 270 | 10.285 % |
323.98/324.03 c | 50273 | 141877 691317 1866456 | 2147483647 49370 270 | 10.285 % |
325.18/325.30 c | 50491 | 141877 691317 1866456 | 2147483647 49588 269 | 10.285 % |
325.88/325.98 c | 50724 | 141877 691317 1866456 | 2147483647 49821 268 | 10.285 % |
328.38/328.47 c | 50981 | 141877 691317 1866456 | 2147483647 50078 269 | 10.285 % |
330.88/330.96 c | 51262 | 141750 690502 1864451 | 2147483647 50358 269 | 10.285 % |
332.78/332.91 c | 51572 | 141750 690502 1864451 | 2147483647 50668 269 | 10.285 % |
335.18/335.29 c | 51912 | 141749 690502 1864451 | 2147483647 51006 268 | 10.292 % |
338.28/338.34 c | 52284 | 141749 690502 1864451 | 2147483647 51378 267 | 10.292 % |
341.58/341.71 c | 52693 | 141749 690502 1864451 | 2147483647 51787 267 | 10.292 % |
345.68/345.73 c | 53142 | 141738 690412 1864213 | 2147483647 52235 267 | 10.292 % |
350.18/350.31 c | 53635 | 141736 690412 1864213 | 2147483647 52726 266 | 10.294 % |
353.28/353.36 c | 54177 | 141734 690412 1864213 | 2147483647 53266 268 | 10.299 % |
358.38/358.48 c | 54774 | 141734 690412 1864213 | 2147483647 53863 267 | 10.299 % |
364.28/364.32 c | 55430 | 141727 690326 1864024 | 2147483647 54508 266 | 10.299 % |
369.98/370.05 c | 56150 | 141724 690326 1864024 | 2147483647 55225 266 | 10.318 % |
370.78/370.91 c | 56250 | 141724 690326 1864024 | 2147483647 55325 266 | 10.318 % |
371.88/371.94 c | 56360 | 141694 690114 1863476 | 2147483647 55425 265 | 10.347 % |
372.78/372.92 c | 56481 | 141694 690114 1863476 | 2147483647 55546 265 | 10.347 % |
373.99/374.03 c | 56614 | 141694 690114 1863476 | 2147483647 55679 265 | 10.347 % |
374.48/374.54 c | 56761 | 141694 690114 1863476 | 2147483647 55826 265 | 10.347 % |
374.88/374.99 c | 56922 | 141694 690114 1863476 | 2147483647 55987 264 | 10.347 % |
375.48/375.52 c | 57098 | 141694 690114 1863476 | 2147483647 56163 264 | 10.347 % |
376.08/376.21 c | 57291 | 141694 690114 1863476 | 2147483647 56356 264 | 10.347 % |
377.58/377.66 c | 57503 | 141694 690114 1863476 | 2147483647 56568 265 | 10.347 % |
379.78/379.88 c | 57739 | 141694 690114 1863476 | 2147483647 56804 265 | 10.347 % |
382.38/382.49 c | 57995 | 141693 690114 1863476 | 2147483647 57059 265 | 10.348 % |
384.88/385.02 c | 58279 | 141650 689769 1862644 | 2147483647 57307 265 | 10.348 % |
387.88/388.00 c | 58590 | 141650 689769 1862644 | 2147483647 57618 264 | 10.348 % |
390.78/390.85 c | 58932 | 141650 689769 1862644 | 2147483647 57960 265 | 10.348 % |
394.18/394.22 c | 59304 | 141649 689769 1862644 | 2147483647 58331 265 | 10.349 % |
398.08/398.16 c | 59713 | 141590 689406 1861697 | 2147483647 58735 265 | 10.386 % |
402.78/402.83 c | 60163 | 141560 689406 1861697 | 2147483647 59178 265 | 10.556 % |
405.68/405.76 c | 60656 | 141559 689406 1861697 | 2147483647 59670 264 | 10.563 % |
410.18/410.26 c | 61198 | 141557 689406 1861697 | 2147483647 60210 264 | 10.572 % |
416.99/417.06 c | 61795 | 141294 687631 1857181 | 2147483647 60625 265 | 10.573 % |
423.39/423.50 c | 62450 | 141289 687631 1857181 | 2147483647 61278 266 | 10.864 % |
428.59/428.69 c | 63170 | 140834 685012 1850375 | 2147483647 61996 266 | 10.875 % |
432.29/432.33 c | 63964 | 140834 685012 1850375 | 2147483647 62790 268 | 10.875 % |
432.59/432.69 c | 64064 | 140834 685012 1850375 | 2147483647 62890 268 | 10.875 % |
433.49/433.57 c | 64177 | 140834 685012 1850375 | 2147483647 63003 268 | 10.875 % |
434.68/434.72 c | 64298 | 140833 685012 1850375 | 2147483647 63123 268 | 10.879 % |
435.58/435.71 c | 64433 | 140833 685012 1850375 | 2147483647 63258 268 | 10.879 % |
436.67/436.78 c | 64579 | 140810 684832 1849943 | 2147483647 63386 268 | 10.888 % |
438.07/438.13 c | 64740 | 140810 684832 1849943 | 2147483647 63547 268 | 10.888 % |
438.97/439.04 c | 64916 | 140807 684832 1849943 | 2147483647 63720 268 | 10.890 % |
440.27/440.33 c | 65109 | 140806 684832 1849943 | 2147483647 63912 268 | 10.891 % |
442.07/442.16 c | 65321 | 140806 684832 1849943 | 2147483647 64124 268 | 10.891 % |
444.17/444.29 c | 65554 | 140806 684832 1849943 | 2147483647 64356 267 | 10.928 % |
445.07/445.20 c | 65817 | 140806 684832 1849943 | 2147483647 64619 267 | 10.928 % |
445.77/445.84 c | 66098 | 140806 684832 1849943 | 2147483647 64900 267 | 10.928 % |
447.77/447.89 c | 66412 | 140806 684832 1849943 | 2147483647 65214 267 | 10.928 % |
449.97/450.09 c | 66755 | 140734 684437 1849116 | 2147483647 65541 267 | 10.928 % |
451.07/451.20 c | 67130 | 140734 684437 1849116 | 2147483647 65916 266 | 10.928 % |
453.87/453.92 c | 67539 | 140734 684437 1849116 | 2147483647 66325 267 | 10.928 % |
456.37/456.48 c | 67988 | 140733 684437 1849116 | 2147483647 66773 267 | 10.928 % |
459.97/460.10 c | 68483 | 140731 684437 1849116 | 2147483647 67266 269 | 10.930 % |
465.17/465.29 c | 69030 | 140730 684422 1849086 | 2147483647 67809 268 | 10.930 % |
468.27/468.31 c | 69629 | 140730 684422 1849086 | 2147483647 68408 267 | 10.930 % |
472.67/472.76 c | 70286 | 140730 684422 1849086 | 2147483647 69065 267 | 10.930 % |
478.37/478.50 c | 71007 | 140730 684422 1849086 | 2147483647 69786 267 | 10.930 % |
482.67/482.72 c | 71799 | 140730 684422 1849086 | 2147483647 70578 267 | 10.930 % |
489.37/489.47 c | 72670 | 140730 684422 1849086 | 2147483647 71449 267 | 10.930 % |
490.17/490.22 c | 72771 | 140730 684422 1849086 | 2147483647 71550 267 | 10.930 % |
491.07/491.14 c | 72883 | 140730 684422 1849086 | 2147483647 71662 267 | 10.930 % |
491.77/491.87 c | 73005 | 140730 684422 1849086 | 2147483647 71784 267 | 10.930 % |
492.37/492.45 c | 73139 | 140730 684422 1849086 | 2147483647 71918 267 | 10.930 % |
493.17/493.26 c | 73286 | 140729 684418 1849078 | 2147483647 72057 267 | 10.931 % |
494.57/494.64 c | 73446 | 140729 684418 1849078 | 2147483647 72217 267 | 10.931 % |
495.77/495.83 c | 73623 | 140729 684418 1849078 | 2147483647 72394 267 | 10.931 % |
497.27/497.39 c | 73817 | 140729 684418 1849078 | 2147483647 72588 267 | 10.931 % |
498.97/499.08 c | 74033 | 140729 684418 1849078 | 2147483647 72804 266 | 10.931 % |
500.97/501.06 c | 74268 | 140729 684418 1849078 | 2147483647 73039 266 | 10.931 % |
502.97/503.08 c | 74524 | 140728 684418 1849078 | 2147483647 73294 266 | 10.947 % |
503.87/503.91 c | 74806 | 140728 684418 1849078 | 2147483647 73576 266 | 10.947 % |
505.37/505.41 c | 75115 | 140728 684418 1849078 | 2147483647 73885 266 | 10.947 % |
508.07/508.21 c | 75457 | 140727 684418 1849078 | 2147483647 74226 265 | 10.952 % |
511.07/511.12 c | 75829 | 140690 684163 1848475 | 2147483647 74480 265 | 11.035 % |
514.67/514.73 c | 76238 | 140690 684163 1848475 | 2147483647 74889 265 | 11.035 % |
517.37/517.46 c | 76687 | 140689 684163 1848475 | 2147483647 75337 265 | 11.036 % |
520.67/520.71 c | 77180 | 140669 684163 1848475 | 2147483647 75829 266 | 11.390 % |
525.57/525.69 c | 77725 | 140003 681145 1842026 | 2147483647 76361 266 | 11.391 % |
530.38/530.50 c | 78321 | 140003 681145 1842026 | 2147483647 76956 267 | 11.398 % |
534.98/535.06 c | 78977 | 140002 681145 1842026 | 2147483647 77611 267 | 11.404 % |
540.38/540.42 c | 79698 | 139975 680910 1841468 | 2147483647 78278 266 | 11.408 % |
542.38/542.51 c | 80490 | 139975 680910 1841468 | 2147483647 79070 266 | 11.408 % |
549.18/549.31 c | 81362 | 139974 680910 1841468 | 2147483647 79941 266 | 11.418 % |
557.78/557.86 c | 82325 | 139974 680910 1841468 | 2147483647 80904 265 | 11.418 % |
558.18/558.25 c | 82427 | 139960 680815 1841238 | 2147483647 80996 265 | 11.418 % |
558.88/559.00 c | 82537 | 139960 680815 1841238 | 2147483647 81106 265 | 11.418 % |
559.78/559.84 c | 82658 | 139960 680815 1841238 | 2147483647 81227 264 | 11.418 % |
560.78/560.84 c | 82791 | 139960 680815 1841238 | 2147483647 81360 264 | 11.418 % |
561.98/562.05 c | 82937 | 139960 680815 1841238 | 2147483647 81506 264 | 11.418 % |
563.48/563.54 c | 83099 | 139960 680815 1841238 | 2147483647 81668 264 | 11.418 % |
565.18/565.23 c | 83276 | 139960 680815 1841238 | 2147483647 81845 264 | 11.418 % |
565.88/565.95 c | 83470 | 139957 680815 1841238 | 2147483647 82038 264 | 11.432 % |
567.48/567.55 c | 83683 | 139957 680815 1841238 | 2147483647 82251 265 | 11.432 % |
568.98/569.10 c | 83916 | 139957 680815 1841238 | 2147483647 82484 265 | 11.432 % |
570.18/570.28 c | 84172 | 139957 680815 1841238 | 2147483647 82740 264 | 11.432 % |
572.08/572.16 c | 84453 | 139957 680815 1841238 | 2147483647 83021 265 | 11.432 % |
574.18/574.28 c | 84762 | 139957 680815 1841238 | 2147483647 83330 265 | 11.432 % |
577.28/577.33 c | 85101 | 139937 680650 1840848 | 2147483647 83637 265 | 11.503 % |
579.98/580.03 c | 85473 | 139937 680650 1840848 | 2147483647 84009 264 | 11.503 % |
582.78/582.82 c | 85883 | 139937 680650 1840848 | 2147483647 84419 263 | 11.503 % |
585.98/586.08 c | 86332 | 139936 680650 1840848 | 2147483647 84867 263 | 11.503 % |
589.28/589.39 c | 86826 | 139935 680650 1840848 | 2147483647 85360 263 | 11.504 % |
593.98/594.11 c | 87368 | 139821 680021 1839319 | 2147483647 85834 263 | 11.647 % |
599.38/599.42 c | 87965 | 139819 680021 1839319 | 2147483647 86429 262 | 11.677 % |
604.68/604.74 c | 88621 | 139819 680021 1839319 | 2147483647 87085 262 | 11.677 % |
609.48/609.59 c | 89342 | 139548 678582 1835821 | 2147483647 87694 261 | 11.835 % |
615.18/615.25 c | 90134 | 139547 678582 1835821 | 2147483647 88484 261 | 11.846 % |
622.68/622.78 c | 91006 | 139547 678582 1835821 | 2147483647 89355 260 | 11.851 % |
628.48/628.58 c | 91965 | 139275 677291 1832973 | 2147483647 90167 259 | 11.857 % |
635.08/635.16 c | 93021 | 139275 677291 1832973 | 2147483647 91223 261 | 11.857 % |
635.28/635.34 c | 93121 | 139275 677291 1832973 | 2147483647 91323 261 | 11.857 % |
636.28/636.32 c | 93233 | 139275 677291 1832973 | 2147483647 91435 262 | 11.857 % |
637.38/637.42 c | 93356 | 139272 677291 1832973 | 2147483647 91555 262 | 11.859 % |
638.68/638.76 c | 93490 | 139272 677291 1832973 | 2147483647 91689 262 | 11.859 % |
640.19/640.26 c | 93639 | 139271 677291 1832973 | 2147483647 91837 262 | 11.859 % |
641.88/641.94 c | 93799 | 139262 677194 1832744 | 2147483647 91979 262 | 11.859 % |
643.18/643.29 c | 93975 | 139262 677194 1832744 | 2147483647 92155 262 | 11.859 % |
644.89/644.96 c | 94168 | 139262 677194 1832744 | 2147483647 92348 262 | 11.859 % |
646.69/646.73 c | 94380 | 139262 677194 1832744 | 2147483647 92560 261 | 11.859 % |
648.59/648.69 c | 94613 | 139262 677194 1832744 | 2147483647 92793 261 | 11.859 % |
651.19/651.26 c | 94869 | 139261 677194 1832744 | 2147483647 93048 261 | 11.872 % |
653.09/653.19 c | 95151 | 139261 677194 1832744 | 2147483647 93330 261 | 11.872 % |
655.39/655.47 c | 95460 | 139261 677194 1832744 | 2147483647 93639 261 | 11.872 % |
657.29/657.42 c | 95801 | 139261 677194 1832744 | 2147483647 93980 260 | 11.872 % |
659.79/659.92 c | 96173 | 139242 677122 1832600 | 2147483647 94348 260 | 11.872 % |
661.99/662.12 c | 96582 | 139242 677122 1832600 | 2147483647 94756 259 | 11.894 % |
665.79/665.91 c | 97033 | 139242 677122 1832600 | 2147483647 95207 259 | 11.894 % |
669.99/670.06 c | 97526 | 139242 677122 1832600 | 2147483647 95699 259 | 12.023 % |
674.19/674.31 c | 98069 | 139242 677122 1832600 | 2147483647 96242 258 | 12.023 % |
679.09/679.15 c | 98666 | 139002 676145 1830558 | 2147483647 96830 258 | 12.024 % |
684.59/684.64 c | 99321 | 139002 676145 1830558 | 2147483647 97485 257 | 12.024 % |
690.69/690.78 c | 100041 | 138997 676145 1830558 | 2147483647 98200 256 | 12.027 % |
697.89/697.97 c | 100834 | 138995 676117 1830502 | 2147483647 98987 255 | 12.029 % |
705.09/705.20 c | 101705 | 138995 676117 1830502 | 2147483647 99858 254 | 12.029 % |
712.80/712.84 c | 102665 | 138995 676117 1830502 | 2147483647 100818 253 | 12.029 % |
720.99/721.03 c | 103721 | 138995 676117 1830502 | 2147483647 101874 252 | 12.029 % |
729.49/729.57 c | 104880 | 138995 676117 1830502 | 2147483647 103033 250 | 12.029 % |
730.19/730.28 c | 104980 | 138995 676117 1830502 | 2147483647 103133 250 | 12.029 % |
730.99/731.11 c | 105090 | 138995 676117 1830502 | 2147483647 103243 250 | 12.029 % |
731.99/732.10 c | 105212 | 138995 676117 1830502 | 2147483647 103365 250 | 12.029 % |
732.99/733.10 c | 105349 | 138995 676117 1830502 | 2147483647 103502 250 | 12.028 % |
734.59/734.68 c | 105496 | 138990 676100 1830468 | 2147483647 103646 250 | 12.032 % |
735.99/736.05 c | 105656 | 138990 676100 1830468 | 2147483647 103806 250 | 12.032 % |
737.49/737.61 c | 105838 | 138990 676100 1830468 | 2147483647 103988 249 | 12.032 % |
738.99/739.06 c | 106034 | 138990 676100 1830468 | 2147483647 104184 249 | 12.032 % |
740.30/740.37 c | 106246 | 138990 676100 1830468 | 2147483647 104396 249 | 12.032 % |
742.19/742.22 c | 106483 | 138990 676100 1830468 | 2147483647 104632 249 | 12.046 % |
743.69/743.80 c | 106743 | 138990 676100 1830468 | 2147483647 104892 249 | 12.046 % |
745.69/745.76 c | 107026 | 138990 676100 1830468 | 2147483647 105175 248 | 12.046 % |
748.09/748.19 c | 107335 | 138990 676100 1830468 | 2147483647 105484 248 | 12.046 % |
751.09/751.15 c | 107680 | 138990 676100 1830468 | 2147483647 105829 248 | 12.046 % |
754.49/754.54 c | 108052 | 138990 676100 1830468 | 2147483647 106201 248 | 12.046 % |
755.70/755.79 c | 108461 | 138967 675969 1830123 | 2147483647 106609 248 | 12.046 % |
758.70/758.77 c | 108912 | 138967 675969 1830123 | 2147483647 107060 248 | 12.046 % |
761.00/761.03 c | 109405 | 138965 675969 1830123 | 2147483647 107551 248 | 12.047 % |
764.10/764.14 c | 109949 | 138965 675969 1830123 | 2147483647 108095 249 | 12.047 % |
769.10/769.14 c | 110545 | 138965 675969 1830123 | 2147483647 108691 249 | 12.047 % |
773.70/773.81 c | 111200 | 138965 675969 1830123 | 2147483647 109346 248 | 12.047 % |
775.60/775.66 c | 111921 | 138965 675962 1830109 | 2147483647 110067 247 | 12.047 % |
782.10/782.16 c | 112715 | 138965 675962 1830109 | 2147483647 110861 248 | 12.047 % |
790.20/790.27 c | 113586 | 138965 675962 1830109 | 2147483647 111732 247 | 12.047 % |
795.58/795.64 c | 114546 | 137289 665824 1805232 | 2147483647 112678 247 | 13.108 % |
803.78/803.89 c | 115600 | 137289 665824 1805232 | 2147483647 113732 246 | 13.108 % |
812.18/812.24 c | 116761 | 137289 665824 1805232 | 2147483647 114893 246 | 13.108 % |
822.08/822.12 c | 118034 | 137288 665820 1805224 | 2147483647 116165 244 | 13.109 % |
823.08/823.13 c | 118135 | 137288 665820 1805224 | 2147483647 116266 244 | 13.109 % |
823.68/823.71 c | 118245 | 137288 665820 1805224 | 2147483647 116376 244 | 13.109 % |
824.88/824.99 c | 118366 | 137288 665820 1805224 | 2147483647 116497 245 | 13.109 % |
826.18/826.24 c | 118499 | 137288 665820 1805224 | 2147483647 116630 245 | 13.109 % |
827.38/827.41 c | 118645 | 137288 665820 1805224 | 2147483647 116776 245 | 13.109 % |
828.98/829.04 c | 118805 | 137288 665820 1805224 | 2147483647 116936 244 | 13.109 % |
831.08/831.15 c | 118982 | 137288 665820 1805224 | 2147483647 117113 244 | 13.109 % |
832.69/832.79 c | 119177 | 137288 665820 1805224 | 2147483647 117308 244 | 13.109 % |
834.68/834.80 c | 119389 | 137288 665820 1805224 | 2147483647 117520 244 | 13.109 % |
836.88/836.94 c | 119623 | 137288 665820 1805224 | 2147483647 117754 244 | 13.109 % |
839.18/839.21 c | 119879 | 137288 665820 1805224 | 2147483647 118010 244 | 13.109 % |
841.58/841.68 c | 120164 | 137288 665820 1805224 | 2147483647 118295 243 | 13.109 % |
844.38/844.47 c | 120475 | 137288 665820 1805224 | 2147483647 118606 243 | 13.109 % |
847.68/847.74 c | 120814 | 137270 665704 1804914 | 2147483647 118941 243 | 13.120 % |
850.29/850.35 c | 121186 | 137270 665704 1804914 | 2147483647 119313 242 | 13.120 % |
853.68/853.78 c | 121595 | 137270 665704 1804914 | 2147483647 119722 242 | 13.120 % |
856.48/856.59 c | 122044 | 137270 665704 1804914 | 2147483647 120171 241 | 13.120 % |
861.29/861.37 c | 122538 | 137270 665704 1804914 | 2147483647 120665 241 | 13.120 % |
866.38/866.41 c | 123080 | 137270 665704 1804914 | 2147483647 121207 240 | 13.120 % |
870.48/870.59 c | 123676 | 137270 665704 1804914 | 2147483647 121803 240 | 13.120 % |
875.79/875.82 c | 124331 | 137270 665704 1804914 | 2147483647 122458 239 | 13.120 % |
880.99/881.04 c | 125053 | 137270 665704 1804914 | 2147483647 123180 238 | 13.120 % |
886.69/886.72 c | 125845 | 137270 665704 1804914 | 2147483647 123972 238 | 13.120 % |
889.09/889.20 c | 126716 | 137269 665700 1804906 | 2147483647 124842 238 | 13.121 % |
896.69/896.73 c | 127674 | 137269 665700 1804906 | 2147483647 125800 239 | 13.121 % |
906.19/906.25 c | 128727 | 137269 665700 1804906 | 2147483647 126852 239 | 13.122 % |
915.49/915.59 c | 129886 | 137269 665700 1804906 | 2147483647 128011 238 | 13.122 % |
927.09/927.21 c | 131162 | 137267 665689 1804882 | 2147483647 129282 238 | 13.131 % |
938.49/938.56 c | 132562 | 137267 665689 1804882 | 2147483647 130682 238 | 13.131 % |
939.59/939.65 c | 132664 | 137253 665584 1804601 | 2147483647 130784 238 | 13.131 % |
940.39/940.47 c | 132775 | 137253 665584 1804601 | 2147483647 130895 238 | 13.131 % |
941.79/941.81 c | 132896 | 137253 665584 1804601 | 2147483647 131016 238 | 13.131 % |
942.70/942.75 c | 133029 | 137253 665584 1804601 | 2147483647 131149 238 | 13.131 % |
943.99/944.07 c | 133175 | 137253 665584 1804601 | 2147483647 131295 237 | 13.131 % |
945.49/945.52 c | 133337 | 137253 665584 1804601 | 2147483647 131457 237 | 13.131 % |
946.79/946.86 c | 133513 | 137253 665584 1804601 | 2147483647 131633 237 | 13.131 % |
948.49/948.52 c | 133709 | 137253 665584 1804601 | 2147483647 131829 237 | 13.131 % |
950.09/950.12 c | 133923 | 137253 665584 1804601 | 2147483647 132043 237 | 13.131 % |
951.99/952.04 c | 134158 | 137253 665584 1804601 | 2147483647 132278 236 | 13.131 % |
952.60/952.66 c | 134416 | 137253 665584 1804601 | 2147483647 132536 236 | 13.131 % |
953.49/953.58 c | 134699 | 137253 665584 1804601 | 2147483647 132819 237 | 13.131 % |
956.09/956.18 c | 135009 | 137253 665584 1804601 | 2147483647 133129 237 | 13.131 % |
958.99/959.08 c | 135350 | 137253 665584 1804601 | 2147483647 133470 237 | 13.131 % |
961.99/962.07 c | 135722 | 137253 665584 1804601 | 2147483647 133842 236 | 13.131 % |
965.69/965.80 c | 136132 | 137253 665584 1804601 | 2147483647 134252 236 | 13.131 % |
970.20/970.22 c | 136583 | 137253 665584 1804601 | 2147483647 134703 236 | 13.131 % |
974.39/974.44 c | 137076 | 137253 665584 1804601 | 2147483647 135196 235 | 13.131 % |
978.69/978.73 c | 137619 | 137253 665584 1804601 | 2147483647 135739 235 | 13.131 % |
983.79/983.85 c | 138215 | 137253 665584 1804601 | 2147483647 136335 234 | 13.131 % |
989.30/989.34 c | 138870 | 137253 665584 1804601 | 2147483647 136990 234 | 13.131 % |
995.90/995.94 c | 139590 | 136144 658242 1786677 | 2147483647 97423 239 | 13.833 % |
1001.50/1001.59 c | 140387 | 136144 658242 1786677 | 2147483647 98220 240 | 13.833 % |
1008.30/1008.41 c | 141259 | 136144 658242 1786677 | 2147483647 99092 239 | 13.833 % |
1015.40/1015.51 c | 142222 | 136144 658242 1786677 | 2147483647 100055 239 | 13.833 % |
1022.70/1022.75 c | 143275 | 136144 658242 1786677 | 2147483647 101108 240 | 13.833 % |
1032.30/1032.32 c | 144433 | 136143 658238 1786669 | 2147483647 102263 240 | 13.834 % |
1041.60/1041.65 c | 145706 | 135883 657022 1784162 | 2147483647 103507 239 | 13.998 % |
1053.30/1053.40 c | 147106 | 135883 657022 1784162 | 2147483647 104907 238 | 13.998 % |
1067.20/1067.27 c | 148646 | 135860 656911 1783885 | 2147483647 106436 238 | 14.185 % |
1068.20/1068.27 c | 148746 | 135860 656911 1783885 | 2147483647 106535 238 | 14.194 % |
1069.00/1069.09 c | 148856 | 135860 656911 1783885 | 2147483647 106645 238 | 14.194 % |
1070.00/1070.04 c | 148978 | 135860 656911 1783885 | 2147483647 106767 237 | 14.194 % |
1071.10/1071.15 c | 149114 | 135860 656911 1783885 | 2147483647 106903 237 | 14.194 % |
1072.20/1072.22 c | 149261 | 135860 656911 1783885 | 2147483647 107050 237 | 14.194 % |
1073.61/1073.64 c | 149421 | 135860 656911 1783885 | 2147483647 107210 237 | 14.194 % |
1075.10/1075.19 c | 149598 | 135860 656911 1783885 | 2147483647 107386 237 | 14.194 % |
1076.50/1076.52 c | 149792 | 135860 656911 1783885 | 2147483647 107580 237 | 14.194 % |
1078.50/1078.59 c | 150004 | 135573 655037 1779254 | 2147483647 107688 237 | 14.194 % |
1080.40/1080.43 c | 150237 | 135573 655037 1779254 | 2147483647 107921 237 | 14.194 % |
1082.50/1082.52 c | 150493 | 135573 655037 1779254 | 2147483647 108177 237 | 14.194 % |
1084.30/1084.40 c | 150777 | 135572 655037 1779254 | 2147483647 108460 237 | 14.210 % |
1086.70/1086.79 c | 151086 | 135572 655037 1779254 | 2147483647 108769 236 | 14.210 % |
1089.30/1089.37 c | 151426 | 135572 655037 1779254 | 2147483647 109109 236 | 14.210 % |
1092.50/1092.52 c | 151799 | 135572 655037 1779254 | 2147483647 109482 236 | 14.210 % |
1096.60/1096.67 c | 152208 | 135572 655037 1779254 | 2147483647 109891 236 | 14.210 % |
1100.51/1100.61 c | 152657 | 135548 654888 1778872 | 2147483647 110339 236 | 14.210 % |
1105.01/1105.04 c | 153150 | 135548 654888 1778872 | 2147483647 110831 235 | 14.213 % |
1110.01/1110.11 c | 153692 | 135548 654888 1778872 | 2147483647 111373 235 | 14.213 % |
1115.71/1115.72 c | 154288 | 135548 654888 1778872 | 2147483647 111969 235 | 14.213 % |
1121.51/1121.53 c | 154943 | 135539 654857 1778796 | 2147483647 112619 235 | 14.216 % |
1127.21/1127.22 c | 155663 | 135538 654857 1778796 | 2147483647 113338 235 | 14.224 % |
1133.91/1133.95 c | 156455 | 135490 654555 1778084 | 2147483647 114083 235 | 14.247 % |
1141.91/1141.92 c | 157327 | 135489 654555 1778084 | 2147483647 114954 234 | 14.261 % |
1149.71/1149.78 c | 158285 | 135489 654555 1778084 | 2147483647 115910 234 | 14.262 % |
1159.50/1159.56 c | 159338 | 135489 654555 1778084 | 2147483647 116963 233 | 14.262 % |
1168.80/1168.88 c | 160497 | 135466 654438 1777804 | 2147483647 118106 233 | 14.262 % |
1180.31/1180.40 c | 161773 | 135466 654438 1777804 | 2147483647 119381 232 | 14.263 % |
1192.60/1192.64 c | 163173 | 135464 654434 1777796 | 2147483647 120780 231 | 14.263 % |
1200.00/1200.02 HOME/SatELiteGTI: line 36: 13035 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-1821520-1242533334/watcher-1821520-1242533334 -o /tmp/evaluation-result-1821520-1242533334/solver-1821520-1242533334 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821520-1242533334.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.94 0.99 0.99 2/93 12844
/proc/meminfo: memFree=1080804/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=952 CPUtime=0
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 113 0 0 0 0 0 0 0 25 0 1 0 1017834473 974848 49 4294967295 134512640 135223648 3214490832 3214489736 134736942 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 238 49 40 174 0 63 0
[startup+0.055335 s]
/proc/loadavg: 0.94 0.99 0.99 2/93 12844
/proc/meminfo: memFree=1080804/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=25500 CPUtime=0.05
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 3502 0 0 0 4 1 0 0 25 0 1 0 1017834473 26112000 3271 4294967295 134512640 135223648 3214490832 3214489712 134543108 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 6375 3271 46 174 0 6200 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27916
[startup+0.115314 s]
/proc/loadavg: 0.94 0.99 0.99 2/93 12844
/proc/meminfo: memFree=1080804/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=30016 CPUtime=0.11
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 5416 0 0 0 9 2 0 0 25 0 1 0 1017834473 30736384 5185 4294967295 134512640 135223648 3214490832 3214489400 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 7504 5185 46 174 0 7329 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 32432
[startup+0.315303 s]
/proc/loadavg: 0.94 0.99 0.99 2/93 12844
/proc/meminfo: memFree=1080804/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=47524 CPUtime=0.31
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 9609 0 0 0 26 5 0 0 25 0 1 0 1017834473 48664576 9378 4294967295 134512640 135223648 3214490832 3214489400 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 11881 9378 46 174 0 11706 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 49940
[startup+0.715285 s]
/proc/loadavg: 0.94 0.99 0.99 2/93 12844
/proc/meminfo: memFree=1080804/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=68580 CPUtime=0.71
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 14809 0 0 0 64 7 0 0 25 0 1 0 1017834473 70225920 14578 4294967295 134512640 135223648 3214490832 3214489400 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 17145 14578 46 174 0 16970 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 70996
[startup+1.51525 s]
/proc/loadavg: 0.94 0.99 0.99 3/95 12849
/proc/meminfo: memFree=992724/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=141036 CPUtime=1.5
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 27902 0 0 0 136 14 0 0 25 0 1 0 1017834473 144420864 27671 4294967295 134512640 135223648 3214490832 3214489424 134548979 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 35259 27671 67 174 0 35084 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 143452
[startup+3.11517 s]
/proc/loadavg: 0.94 0.99 0.99 2/95 12849
/proc/meminfo: memFree=958128/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=166836 CPUtime=3.09
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 36497 0 0 0 288 21 0 0 25 0 1 0 1017834473 170840064 33414 4294967295 134512640 135223648 3214490832 3214488848 134587310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 41709 33414 73 174 0 41534 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 169252
[startup+6.31501 s]
/proc/loadavg: 0.94 0.99 0.99 2/95 12849
/proc/meminfo: memFree=942552/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2416 CPUtime=0
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 368 648 0 0 0 0 0 0 25 0 1 0 1017834473 2473984 277 4294967295 134512640 135169312 3214884160 3214882696 3085754094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/12844/statm: 604 277 235 161 0 43 0
[pid=12848] ppid=12844 vsize=176284 CPUtime=6.28
/proc/12848/stat : 12848 (SatELite_releas) R 12844 12844 10114 0 -1 4202496 41877 0 0 0 603 25 0 0 25 0 1 0 1017834473 180514816 35144 4294967295 134512640 135223648 3214490832 3214489184 134602396 0 0 0 3 0 0 0 17 1 0 0 0
/proc/12848/statm: 44071 35144 73 174 0 43896 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 178700
[startup+12.7147 s]
/proc/loadavg: 0.95 0.99 0.99 2/95 13036
/proc/meminfo: memFree=1013716/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=49292 CPUtime=4.41
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 11180 0 0 0 439 2 0 0 25 0 1 0 1017835303 50475008 11041 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 12323 11041 73 172 0 12150 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 51712
[startup+25.5141 s]
/proc/loadavg: 0.96 0.99 0.99 2/95 13037
/proc/meminfo: memFree=1011776/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=51272 CPUtime=17.21
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 11672 0 0 0 1718 3 0 0 25 0 1 0 1017835303 52502528 11533 4294967295 134512640 135215339 3216854896 3216853184 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 12818 11533 73 172 0 12645 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 53692
[startup+51.1128 s]
/proc/loadavg: 0.97 0.99 0.99 2/95 13037
/proc/meminfo: memFree=1007268/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=55944 CPUtime=42.81
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 12849 0 0 0 4275 6 0 0 25 0 1 0 1017835303 57286656 12710 4294967295 134512640 135215339 3216854896 3216853184 134528905 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 13986 12710 73 172 0 13813 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 58364
[startup+102.31 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 13226
/proc/meminfo: memFree=997820/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=65088 CPUtime=94.01
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 15142 0 0 0 9393 8 0 0 25 0 1 0 1017835303 66650112 15003 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 16272 15003 73 172 0 16099 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 67508
[startup+162.307 s]
/proc/loadavg: 0.99 0.99 0.99 2/95 13418
/proc/meminfo: memFree=986568/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=76236 CPUtime=154.01
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 17921 0 0 0 15393 8 0 0 25 0 1 0 1017835303 78065664 17782 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 19059 17782 73 172 0 18886 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 78656
[startup+222.315 s]
/proc/loadavg: 0.99 0.99 0.99 2/95 13604
/proc/meminfo: memFree=975316/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=87468 CPUtime=214.02
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 20739 0 0 0 21391 11 0 0 25 0 1 0 1017835303 89567232 20600 4294967295 134512640 135215339 3216854896 3216853184 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 21867 20600 73 172 0 21694 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 89888
[startup+282.312 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 13793
/proc/meminfo: memFree=966132/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=96796 CPUtime=274.02
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 23043 0 0 0 27390 12 0 0 25 0 1 0 1017835303 99119104 22904 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 24199 22904 73 172 0 24026 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 99216
[startup+342.319 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 13982
/proc/meminfo: memFree=957088/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=105644 CPUtime=334.03
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 25258 0 0 0 33389 14 0 0 25 0 1 0 1017835303 108179456 25119 4294967295 134512640 135215339 3216854896 3216853184 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13035/statm: 26411 25119 73 172 0 26238 0
Current children cumulated CPU time (s) 342.28
################
# More data... #
################
[pid=13035] ppid=12844 vsize=123204 CPUtime=454.02
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 29624 0 0 0 45375 27 0 0 25 0 1 0 1017835303 126160896 29485 4294967295 134512640 135215339 3216854896 3216853184 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 30801 29485 73 172 0 30628 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 125624
[startup+522.31 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 14552
/proc/meminfo: memFree=930800/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=131796 CPUtime=514.02
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 31799 0 0 0 51371 31 0 0 25 0 1 0 1017835303 134959104 31660 4294967295 134512640 135215339 3216854896 3216853184 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 32949 31660 73 172 0 32776 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 134216
[startup+582.317 s]
/proc/loadavg: 0.99 0.99 0.99 2/95 14741
/proc/meminfo: memFree=922484/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=140036 CPUtime=574.03
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 33843 0 0 0 57371 32 0 0 25 0 1 0 1017835303 143396864 33704 4294967295 134512640 135215339 3216854896 3216852896 134532626 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 35009 33704 73 172 0 34836 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 142456
[startup+642.314 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 14928
/proc/meminfo: memFree=914556/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=147724 CPUtime=634.03
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 35795 0 0 0 63371 32 0 0 25 0 1 0 1017835303 151269376 35656 4294967295 134512640 135215339 3216854896 3216853168 134525106 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 36931 35656 73 172 0 36758 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 150144
[startup+702.321 s]
/proc/loadavg: 0.99 0.99 0.99 4/95 15117
/proc/meminfo: memFree=909184/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=153388 CPUtime=694.04
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 37141 0 0 0 69370 34 0 0 25 0 1 0 1017835303 157069312 37002 4294967295 134512640 135215339 3216854896 3216853184 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 38347 37002 73 172 0 38174 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 155808
[startup+762.328 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 15305
/proc/meminfo: memFree=903016/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=159260 CPUtime=754.05
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 38623 0 0 0 75371 34 0 0 25 0 1 0 1017835303 163082240 38484 4294967295 134512640 135215339 3216854896 3216852960 134538089 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 39815 38484 73 172 0 39642 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 161680
[startup+822.306 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 15491
/proc/meminfo: memFree=896452/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=165888 CPUtime=814.03
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 40297 0 0 0 81366 37 0 0 25 0 1 0 1017835303 169869312 40158 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 41472 40158 73 172 0 41299 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 168308
[startup+882.313 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 15684
/proc/meminfo: memFree=892476/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=170000 CPUtime=874.04
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 41336 0 0 0 87362 42 0 0 25 0 1 0 1017835303 174080000 41197 4294967295 134512640 135215339 3216854896 3216853184 134528795 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 42500 41197 73 172 0 42327 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 172420
[startup+942.31 s]
/proc/loadavg: 0.99 0.99 0.99 3/95 15871
/proc/meminfo: memFree=885168/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=177160 CPUtime=934.04
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 43119 0 0 0 93360 44 0 0 25 0 1 0 1017835303 181411840 42980 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 44290 42980 73 172 0 44117 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 179580
[startup+1002.32 s]
/proc/loadavg: 1.14 1.04 1.01 3/95 16175
/proc/meminfo: memFree=838980/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=181140 CPUtime=994.05
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 44122 0 0 0 99355 50 0 0 25 0 1 0 1017835303 185487360 43983 4294967295 134512640 135215339 3216854896 3216853184 134529091 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 45285 43983 73 172 0 45112 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 183560
[startup+1062.31 s]
/proc/loadavg: 1.05 1.03 1.00 2/95 16363
/proc/meminfo: memFree=837308/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=181140 CPUtime=1054.05
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 44122 0 0 0 105347 58 0 0 25 0 1 0 1017835303 185487360 43983 4294967295 134512640 135215339 3216854896 3216853184 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 45285 43983 73 172 0 45112 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 183560
[startup+1122.32 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 16549
/proc/meminfo: memFree=837324/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=181140 CPUtime=1114.06
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 44126 0 0 0 111348 58 0 0 25 0 1 0 1017835303 185487360 43987 4294967295 134512640 135215339 3216854896 3216853184 134529148 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 45285 43987 73 172 0 45112 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 183560
[startup+1182.31 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 16738
/proc/meminfo: memFree=837316/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=181140 CPUtime=1174.05
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 44129 0 0 0 117347 58 0 0 25 0 1 0 1017835303 185487360 43990 4294967295 134512640 135215339 3216854896 3216853168 134525025 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 45285 43990 73 172 0 45112 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 183560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 16738
/proc/meminfo: memFree=837324/2074464 swapFree=1950884/1959888
[pid=12844] ppid=12842 vsize=2420 CPUtime=8.25
/proc/12844/stat : 12844 (SatELiteGTI) S 12842 12844 10114 0 -1 4194304 388 45056 0 0 0 0 791 34 20 0 1 0 1017834473 2478080 278 4294967295 134512640 135169312 3214884160 3214880376 3085754094 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12844/statm: 605 278 235 161 0 44 0
[pid=13035] ppid=12844 vsize=181140 CPUtime=1191.75
/proc/13035/stat : 13035 (minisat_static) R 12844 12844 10114 0 -1 4202496 44129 0 0 0 119117 58 0 0 25 0 1 0 1017835303 185487360 43990 4294967295 134512640 135215339 3216854896 3216853184 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13035/statm: 45285 43990 73 172 0 45112 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 183560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.03
CPU time (s): 1200.02
CPU user time (s): 1199.08
CPU system time (s): 0.94
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 183560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.08
system time used= 0.94
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89649
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= 17
involuntary context switches= 2616
runsolver used 0.02 second user time and 0.02 second system time
The end
Begin job on tipi13 at 2009-05-17 06:08:54
IDJOB=1821520
IDBENCH=70988
IDSOLVER=657
FILE ID=tipi13/1821520-1242533334
PBS_JOBID=
Free space on /tmp= 7017 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-15-10p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821520-1242533334/watcher-1821520-1242533334 -o /tmp/evaluation-result-1821520-1242533334/solver-1821520-1242533334 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821520-1242533334.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d8dd0726277891eae9a2807dfd8946db
RANDOM SEED= 29387341
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: 1080820 kB
Buffers: 49784 kB
Cached: 849132 kB
SwapCached: 3516 kB
Active: 392580 kB
Inactive: 515992 kB
HighTotal: 1178688 kB
HighFree: 353004 kB
LowTotal: 895776 kB
LowFree: 727816 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 22540 kB
Writeback: 0 kB
AnonPages: 8732 kB
Mapped: 3068 kB
Slab: 75828 kB
PageTables: 512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90600 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 6995 MiB
End job on tipi13 at 2009-05-17 06:28:59