0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 42000 126000 | 12599 0 0 nan | 0.000 % |
0.00/0.14 c | 0 | 41732 126613 | -- 0 -- -- | -- | -268/613
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 9767 #clauses: 41732 #literals: 126613
0.00/0.14 c CPU time: 0.132979 s
0.00/0.14 c ==============================================================================
0.00/0.18 c This is MiniSat 2.0 beta
0.00/0.18 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18 c ============================[ Problem Statistics ]=============================
0.00/0.18 c | |
0.00/0.18 c | Number of variables: 9767 |
0.00/0.18 c | Number of clauses: 41732 |
0.18/0.21 c | Parsing time: 0.02 s |
0.18/0.22 c ============================[ Search Statistics ]==============================
0.18/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.18/0.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.18/0.22 c ===============================================================================
0.18/0.22 c | 0 | 9767 41732 126613 | 13910 0 nan | 0.000 % |
0.18/0.25 c | 100 | 9767 41732 126613 | 13910 100 115 | 0.000 % |
0.18/0.27 c | 201 | 9767 41732 126613 | 13910 201 125 | 0.000 % |
0.18/0.30 c | 302 | 9767 41732 126613 | 13910 302 130 | 0.000 % |
0.18/0.33 c | 414 | 9767 41732 126613 | 13910 414 135 | 0.000 % |
0.18/0.36 c | 514 | 9767 41732 126613 | 13910 514 134 | 0.000 % |
0.18/0.39 c | 627 | 9767 41732 126613 | 13910 627 135 | 0.000 % |
0.18/0.43 c | 749 | 9767 41732 126613 | 13910 749 134 | 0.000 % |
0.18/0.46 c | 849 | 9767 41732 126613 | 13910 849 135 | 0.000 % |
0.18/0.49 c | 960 | 9767 41732 126613 | 13910 960 133 | 0.000 % |
0.18/0.52 c | 1081 | 9767 41732 126613 | 13910 1081 133 | 0.000 % |
0.18/0.56 c | 1214 | 9767 41732 126613 | 13910 1214 136 | 0.000 % |
0.18/0.59 c | 1314 | 9767 41732 126613 | 13910 1314 138 | 0.000 % |
0.18/0.62 c | 1426 | 9767 41732 126613 | 13910 1426 140 | 0.000 % |
0.18/0.66 c | 1548 | 9767 41732 126613 | 13910 1548 139 | 0.000 % |
0.18/0.70 c | 1681 | 9767 41732 126613 | 13910 1681 139 | 0.000 % |
0.18/0.74 c | 1827 | 9767 41732 126613 | 13910 1827 140 | 0.000 % |
0.18/0.78 c | 1928 | 9767 41732 126613 | 13910 1928 143 | 0.000 % |
0.18/0.81 c | 2040 | 9767 41732 126613 | 13910 2040 144 | 0.000 % |
0.18/0.84 c | 2162 | 9767 41732 126613 | 13910 2162 144 | 0.000 % |
0.18/0.88 c | 2297 | 9767 41732 126613 | 13910 2297 143 | 0.000 % |
0.18/0.93 c | 2445 | 9767 41732 126613 | 13910 2445 144 | 0.000 % |
0.18/0.98 c | 2606 | 9767 41732 126613 | 13910 2606 146 | 0.000 % |
0.98/1.01 c | 2706 | 9767 41732 126613 | 13910 2706 146 | 0.000 % |
0.98/1.04 c | 2816 | 9767 41732 126613 | 13910 2816 145 | 0.000 % |
0.98/1.08 c | 2938 | 9767 41732 126613 | 13910 2938 145 | 0.000 % |
1.08/1.13 c | 3076 | 9767 41732 126613 | 13910 3076 144 | 0.000 % |
1.08/1.18 c | 3222 | 9767 41732 126613 | 13910 3222 145 | 0.000 % |
1.17/1.23 c | 3384 | 9767 41732 126613 | 13910 3384 143 | 0.000 % |
1.17/1.29 c | 3560 | 9767 41732 126613 | 13910 3560 144 | 0.000 % |
1.27/1.32 c | 3660 | 9767 41732 126613 | 13910 3660 143 | 0.000 % |
1.27/1.36 c | 3770 | 9767 41732 126613 | 13910 3770 143 | 0.000 % |
1.37/1.40 c | 3891 | 9767 41732 126613 | 13910 3891 144 | 0.000 % |
1.37/1.45 c | 4025 | 9767 41732 126613 | 13910 4025 145 | 0.000 % |
1.47/1.50 c | 4172 | 9767 41732 126613 | 13910 4172 145 | 0.000 % |
1.47/1.55 c | 4336 | 9767 41732 126613 | 13910 4336 145 | 0.000 % |
1.57/1.61 c | 4512 | 9767 41732 126613 | 13910 4512 147 | 0.000 % |
1.57/1.67 c | 4705 | 9767 41732 126613 | 13910 4705 146 | 0.000 % |
1.67/1.70 c | 4805 | 9767 41732 126613 | 13910 4805 145 | 0.000 % |
1.67/1.74 c | 4915 | 9767 41732 126613 | 13910 4915 146 | 0.000 % |
1.67/1.79 c | 5037 | 9767 41732 126613 | 13910 5037 146 | 0.000 % |
1.77/1.83 c | 5170 | 9767 41732 126613 | 13910 5170 146 | 0.000 % |
1.77/1.89 c | 5317 | 9767 41732 126613 | 13910 5317 149 | 0.000 % |
1.88/1.94 c | 5477 | 9767 41732 126613 | 13910 5477 149 | 0.000 % |
1.98/2.00 c | 5653 | 9767 41732 126613 | 13910 5653 150 | 0.000 % |
1.98/2.06 c | 5848 | 9767 41732 126613 | 13910 5848 151 | 0.000 % |
2.08/2.14 c | 6060 | 9767 41732 126613 | 13910 6060 153 | 0.000 % |
2.08/2.18 c | 6162 | 9767 41732 126613 | 13910 6162 153 | 0.000 % |
2.18/2.22 c | 6272 | 9767 41732 126613 | 13910 6272 154 | 0.000 % |
2.18/2.26 c | 6393 | 9767 41732 126613 | 13910 6393 153 | 0.000 % |
2.28/2.31 c | 6527 | 9767 41732 126613 | 13910 6527 153 | 0.000 % |
2.28/2.36 c | 6677 | 9767 41732 126613 | 13910 6677 153 | 0.000 % |
2.38/2.41 c | 6837 | 9767 41732 126613 | 13910 6837 152 | 0.000 % |
2.38/2.48 c | 7015 | 9767 41732 126613 | 13910 7015 153 | 0.000 % |
2.48/2.55 c | 7208 | 9767 41732 126613 | 13910 7208 153 | 0.000 % |
2.58/2.62 c | 7421 | 9767 41732 126613 | 13910 7421 153 | 0.000 % |
2.68/2.72 c | 7654 | 9767 41732 126613 | 13910 7654 153 | 0.000 % |
2.68/2.74 c | 7754 | 9767 41732 126613 | 13910 7754 154 | 0.000 % |
2.68/2.79 c | 7864 | 9767 41732 126613 | 13910 7864 153 | 0.000 % |
2.78/2.83 c | 7985 | 9767 41732 126613 | 13910 7985 153 | 0.000 % |
2.78/2.88 c | 8120 | 9767 41732 126613 | 13910 8120 153 | 0.000 % |
2.88/2.94 c | 8266 | 9767 41732 126613 | 13910 8266 154 | 0.000 % |
2.88/2.99 c | 8426 | 9767 41732 126613 | 13910 8426 154 | 0.000 % |
2.98/3.05 c | 8603 | 9767 41732 126613 | 13910 8603 155 | 0.000 % |
3.08/3.11 c | 8796 | 9767 41732 126613 | 13910 8796 155 | 0.000 % |
3.08/3.19 c | 9008 | 9767 41732 126613 | 13910 9008 155 | 0.000 % |
3.18/3.28 c | 9244 | 9767 41732 126613 | 13910 9244 156 | 0.000 % |
3.28/3.38 c | 9501 | 9767 41732 126613 | 13910 9501 156 | 0.000 % |
3.38/3.42 c | 9601 | 9767 41732 126613 | 13910 9601 155 | 0.000 % |
3.38/3.47 c | 9711 | 9767 41732 126613 | 13910 9711 155 | 0.000 % |
3.48/3.51 c | 9832 | 9767 41732 126613 | 13910 9832 156 | 0.000 % |
3.48/3.56 c | 9967 | 9767 41732 126613 | 13910 9967 156 | 0.000 % |
3.58/3.61 c | 10113 | 9767 41732 126613 | 2147483647 10113 155 | 0.000 % |
3.58/3.67 c | 10275 | 9767 41732 126613 | 2147483647 10275 155 | 0.000 % |
3.68/3.74 c | 10452 | 9767 41732 126613 | 2147483647 10452 156 | 0.000 % |
3.78/3.82 c | 10646 | 9767 41732 126613 | 2147483647 10646 157 | 0.000 % |
3.88/3.90 c | 10858 | 9767 41732 126613 | 2147483647 10858 157 | 0.000 % |
3.88/3.99 c | 11091 | 9767 41732 126613 | 2147483647 11091 157 | 0.000 % |
3.98/4.09 c | 11349 | 9767 41732 126613 | 2147483647 11349 158 | 0.000 % |
4.08/4.19 c | 11630 | 9767 41732 126613 | 2147483647 11630 157 | 0.000 % |
4.18/4.23 c | 11730 | 9767 41732 126613 | 2147483647 11730 157 | 0.000 % |
4.18/4.26 c | 11840 | 9767 41732 126613 | 2147483647 11840 158 | 0.000 % |
4.28/4.30 c | 11961 | 9767 41732 126613 | 2147483647 11961 157 | 0.000 % |
4.28/4.36 c | 12094 | 9767 41732 126613 | 2147483647 12094 157 | 0.000 % |
4.38/4.42 c | 12241 | 9767 41732 126613 | 2147483647 12241 157 | 0.000 % |
4.38/4.48 c | 12402 | 9767 41732 126613 | 2147483647 12402 158 | 0.000 % |
4.48/4.56 c | 12578 | 9767 41732 126613 | 2147483647 12578 158 | 0.000 % |
4.58/4.63 c | 12773 | 9767 41732 126613 | 2147483647 12773 158 | 0.000 % |
4.68/4.71 c | 12985 | 9767 41732 126613 | 2147483647 12985 158 | 0.000 % |
4.78/4.81 c | 13219 | 9767 41732 126613 | 2147483647 13219 158 | 0.000 % |
4.88/4.91 c | 13478 | 9767 41732 126613 | 2147483647 13478 158 | 0.000 % |
4.98/5.01 c | 13759 | 9767 41732 126613 | 2147483647 13759 158 | 0.000 % |
5.08/5.13 c | 14069 | 9767 41732 126613 | 2147483647 14069 158 | 0.000 % |
5.08/5.18 c | 14169 | 9767 41732 126613 | 2147483647 14169 158 | 0.000 % |
5.17/5.22 c | 14280 | 9767 41732 126613 | 2147483647 14280 158 | 0.000 % |
5.17/5.27 c | 14401 | 9767 41732 126613 | 2147483647 14401 158 | 0.000 % |
5.27/5.33 c | 14534 | 9767 41732 126613 | 2147483647 14534 158 | 0.000 % |
5.27/5.39 c | 14683 | 9767 41732 126613 | 2147483647 14683 158 | 0.000 % |
5.38/5.46 c | 14843 | 9767 41732 126613 | 2147483647 14843 158 | 0.000 % |
5.48/5.53 c | 15019 | 9767 41732 126613 | 2147483647 15019 158 | 0.000 % |
5.57/5.61 c | 15213 | 9767 41732 126613 | 2147483647 15213 158 | 0.000 % |
5.57/5.69 c | 15426 | 9767 41732 126613 | 2147483647 15426 158 | 0.000 % |
5.67/5.79 c | 15660 | 9767 41732 126613 | 2147483647 15660 159 | 0.000 % |
5.77/5.89 c | 15917 | 9767 41732 126613 | 2147483647 15917 158 | 0.000 % |
5.97/6.00 c | 16199 | 9767 41732 126613 | 2147483647 16199 158 | 0.000 % |
6.07/6.13 c | 16510 | 9767 41732 126613 | 2147483647 16510 158 | 0.000 % |
6.18/6.27 c | 16851 | 9767 41732 126613 | 2147483647 16851 158 | 0.000 % |
6.28/6.31 c | 16951 | 9767 41732 126613 | 2147483647 16951 158 | 0.000 % |
6.28/6.36 c | 17062 | 9767 41732 126613 | 2147483647 17062 158 | 0.000 % |
6.38/6.41 c | 17184 | 9767 41732 126613 | 2147483647 17184 158 | 0.000 % |
6.38/6.47 c | 17317 | 9767 41732 126613 | 2147483647 17317 158 | 0.000 % |
6.48/6.55 c | 17463 | 9767 41732 126613 | 2147483647 17463 158 | 0.000 % |
6.58/6.62 c | 17624 | 9767 41732 126613 | 2147483647 17624 158 | 0.000 % |
6.68/6.70 c | 17800 | 9767 41732 126613 | 2147483647 17800 159 | 0.000 % |
6.68/6.77 c | 17995 | 9767 41732 126613 | 2147483647 17995 159 | 0.000 % |
6.78/6.86 c | 18208 | 9767 41732 126613 | 2147483647 18208 159 | 0.000 % |
6.88/6.96 c | 18441 | 9767 41732 126613 | 2147483647 18441 159 | 0.000 % |
6.98/7.06 c | 18697 | 9767 41732 126613 | 2147483647 18697 159 | 0.000 % |
7.08/7.18 c | 18979 | 9767 41732 126613 | 2147483647 18979 159 | 0.000 % |
7.28/7.31 c | 19288 | 9767 41732 126613 | 2147483647 19288 159 | 0.000 % |
7.38/7.44 c | 19632 | 9767 41732 126613 | 2147483647 19632 160 | 0.000 % |
7.48/7.60 c | 20004 | 9767 41732 126613 | 2147483647 20004 160 | 0.000 % |
7.58/7.65 c | 20106 | 9767 41732 126613 | 2147483647 20106 160 | 0.000 % |
7.68/7.70 c | 20218 | 9767 41732 126613 | 2147483647 20218 159 | 0.000 % |
7.68/7.76 c | 20341 | 9767 41732 126613 | 2147483647 20341 159 | 0.000 % |
7.78/7.82 c | 20474 | 9767 41732 126613 | 2147483647 20474 159 | 0.000 % |
7.78/7.89 c | 20620 | 9767 41732 126613 | 2147483647 20620 159 | 0.000 % |
7.88/7.96 c | 20780 | 9767 41732 126613 | 2147483647 20780 160 | 0.000 % |
7.98/8.04 c | 20957 | 9767 41732 126613 | 2147483647 20957 160 | 0.000 % |
8.08/8.12 c | 21150 | 9767 41732 126613 | 2147483647 21150 159 | 0.000 % |
8.18/8.21 c | 21362 | 9767 41732 126613 | 2147483647 21362 159 | 0.000 % |
8.28/8.32 c | 21595 | 9767 41732 126613 | 2147483647 21595 159 | 0.000 % |
8.38/8.44 c | 21851 | 9767 41732 126613 | 2147483647 21851 159 | 0.000 % |
8.48/8.57 c | 22132 | 9767 41732 126613 | 2147483647 22132 159 | 0.000 % |
8.68/8.71 c | 22441 | 9767 41732 126613 | 2147483647 22441 159 | 0.000 % |
8.78/8.85 c | 22785 | 9767 41732 126613 | 2147483647 22785 160 | 0.000 % |
8.97/9.01 c | 23157 | 9767 41732 126613 | 2147483647 23157 160 | 0.000 % |
9.17/9.20 c | 23566 | 9767 41732 126613 | 2147483647 23566 160 | 0.000 % |
9.17/9.25 c | 23666 | 9767 41732 126613 | 2147483647 23666 160 | 0.000 % |
9.27/9.30 c | 23777 | 9767 41732 126613 | 2147483647 23777 160 | 0.000 % |
9.27/9.36 c | 23898 | 9767 41732 126613 | 2147483647 23898 159 | 0.000 % |
9.37/9.43 c | 24032 | 9767 41732 126613 | 2147483647 24032 160 | 0.000 % |
9.47/9.50 c | 24179 | 9767 41732 126613 | 2147483647 24179 160 | 0.000 % |
9.47/9.59 c | 24340 | 9767 41732 126613 | 2147483647 24340 160 | 0.000 % |
9.57/9.67 c | 24516 | 9767 41732 126613 | 2147483647 24516 160 | 0.000 % |
9.67/9.76 c | 24710 | 9767 41732 126613 | 2147483647 24710 160 | 0.000 % |
9.77/9.86 c | 24923 | 9767 41732 126613 | 2147483647 24923 160 | 0.000 % |
9.87/9.97 c | 25158 | 9767 41732 126613 | 2147483647 25158 160 | 0.000 % |
9.97/10.10 c | 25416 | 9767 41732 126613 | 2147483647 25416 159 | 0.000 % |
10.17/10.23 c | 25697 | 9767 41732 126613 | 2147483647 25697 160 | 0.000 % |
10.27/10.37 c | 26006 | 9767 41732 126613 | 2147483647 26006 160 | 0.000 % |
10.48/10.53 c | 26346 | 9767 41732 126613 | 2147483647 26346 160 | 0.000 % |
10.67/10.71 c | 26720 | 9767 41732 126613 | 2147483647 26720 160 | 0.000 % |
10.88/10.91 c | 27129 | 9767 41732 126613 | 2147483647 27129 160 | 0.000 % |
11.07/11.14 c | 27581 | 9767 41732 126613 | 2147483647 27581 161 | 0.000 % |
11.17/11.20 c | 27684 | 9767 41732 126613 | 2147483647 27684 161 | 0.000 % |
11.17/11.26 c | 27794 | 9767 41732 126613 | 2147483647 27794 161 | 0.000 % |
11.27/11.32 c | 27917 | 9767 41732 126613 | 2147483647 27917 161 | 0.000 % |
11.27/11.39 c | 28050 | 9767 41732 126613 | 2147483647 28050 160 | 0.000 % |
11.37/11.47 c | 28196 | 9767 41732 126613 | 2147483647 28196 160 | 0.000 % |
11.47/11.55 c | 28358 | 9767 41732 126613 | 2147483647 28358 160 | 0.000 % |
11.57/11.64 c | 28534 | 9767 41732 126613 | 2147483647 28534 160 | 0.000 % |
11.67/11.76 c | 28727 | 9767 41732 126613 | 2147483647 28727 160 | 0.000 % |
11.78/11.85 c | 28940 | 9767 41732 126613 | 2147483647 28940 160 | 0.000 % |
11.88/11.97 c | 29174 | 9767 41732 126613 | 2147483647 29174 160 | 0.000 % |
11.98/12.09 c | 29432 | 9767 41732 126613 | 2147483647 29432 160 | 0.000 % |
12.18/12.23 c | 29713 | 9767 41732 126613 | 2147483647 29713 160 | 0.000 % |
12.28/12.39 c | 30025 | 9767 41732 126613 | 2147483647 30025 160 | 0.000 % |
12.47/12.56 c | 30365 | 9767 41732 126613 | 2147483647 30365 160 | 0.000 % |
12.67/12.76 c | 30737 | 9767 41732 126613 | 2147483647 30737 160 | 0.000 % |
12.87/12.97 c | 31147 | 9767 41732 126613 | 2147483647 31147 160 | 0.000 % |
13.18/13.20 c | 31597 | 9767 41732 126613 | 2147483647 31597 161 | 0.000 % |
13.37/13.45 c | 32092 | 9767 41732 126613 | 2147483647 32092 162 | 0.000 % |
13.47/13.51 c | 32193 | 9767 41732 126613 | 2147483647 32193 162 | 0.000 % |
13.47/13.57 c | 32304 | 9767 41732 126613 | 2147483647 32304 162 | 0.000 % |
13.57/13.64 c | 32427 | 9767 41732 126613 | 2147483647 32427 162 | 0.000 % |
13.67/13.71 c | 32563 | 9767 41732 126613 | 2147483647 32563 161 | 0.000 % |
13.67/13.79 c | 32709 | 9767 41732 126613 | 2147483647 32709 161 | 0.000 % |
13.77/13.88 c | 32869 | 9767 41732 126613 | 2147483647 32869 162 | 0.000 % |
13.87/13.98 c | 33046 | 9767 41732 126613 | 2147483647 33046 162 | 0.000 % |
13.97/14.08 c | 33239 | 9767 41732 126613 | 2147483647 33239 162 | 0.000 % |
14.17/14.21 c | 33451 | 9767 41732 126613 | 2147483647 33451 162 | 0.000 % |
14.27/14.34 c | 33684 | 9767 41732 126613 | 2147483647 33684 162 | 0.000 % |
14.37/14.47 c | 33940 | 9767 41732 126613 | 2147483647 33940 162 | 0.000 % |
14.57/14.61 c | 34222 | 9767 41732 126613 | 2147483647 34222 162 | 0.000 % |
14.67/14.77 c | 34531 | 9767 41732 126613 | 2147483647 34531 162 | 0.000 % |
14.87/14.95 c | 34871 | 9767 41732 126613 | 2147483647 34871 162 | 0.000 % |
15.07/15.14 c | 35244 | 9767 41732 126613 | 2147483647 35244 162 | 0.000 % |
15.27/15.36 c | 35653 | 9767 41732 126613 | 2147483647 35653 162 | 0.000 % |
15.57/15.60 c | 36102 | 9767 41732 126613 | 2147483647 36102 162 | 0.000 % |
15.76/15.86 c | 36596 | 9767 41732 126613 | 2147483647 36596 162 | 0.000 % |
16.06/16.17 c | 37141 | 9767 41732 126613 | 2147483647 37141 162 | 0.000 % |
16.16/16.22 c | 37243 | 9767 41732 126613 | 2147483647 37243 162 | 0.000 % |
16.16/16.29 c | 37354 | 9767 41732 126613 | 2147483647 37354 162 | 0.000 % |
16.26/16.35 c | 37475 | 9767 41732 126613 | 2147483647 37475 162 | 0.000 % |
16.37/16.44 c | 37609 | 9767 41732 126613 | 2147483647 37609 162 | 0.000 % |
16.47/16.52 c | 37755 | 9767 41732 126613 | 2147483647 37755 162 | 0.000 % |
16.56/16.62 c | 37916 | 9767 41732 126613 | 2147483647 37916 162 | 0.000 % |
16.66/16.72 c | 38092 | 9767 41732 126613 | 2147483647 38092 162 | 0.000 % |
16.76/16.83 c | 38285 | 9767 41732 126613 | 2147483647 38285 162 | 0.000 % |
16.86/16.94 c | 38497 | 9767 41732 126613 | 2147483647 38497 162 | 0.000 % |
16.96/17.07 c | 38732 | 9767 41732 126613 | 2147483647 38732 162 | 0.000 % |
17.16/17.22 c | 38989 | 9767 41732 126613 | 2147483647 38989 162 | 0.000 % |
17.27/17.36 c | 39270 | 9767 41732 126613 | 2147483647 39270 162 | 0.000 % |
17.47/17.55 c | 39579 | 9767 41732 126613 | 2147483647 39579 162 | 0.000 % |
17.67/17.74 c | 39918 | 9767 41732 126613 | 2147483647 39918 162 | 0.000 % |
17.87/17.96 c | 40291 | 9767 41732 126613 | 2147483647 40291 162 | 0.000 % |
18.17/18.21 c | 40700 | 9767 41732 126613 | 2147483647 40700 163 | 0.000 % |
18.36/18.46 c | 41149 | 9767 41732 126613 | 2147483647 41149 163 | 0.000 % |
18.67/18.71 c | 41643 | 9767 41732 126613 | 2147483647 41643 163 | 0.000 % |
18.96/19.03 c | 42186 | 9767 41732 126613 | 2147483647 42186 163 | 0.000 % |
19.26/19.38 c | 42782 | 9767 41732 126613 | 2147483647 42782 164 | 0.000 % |
19.36/19.44 c | 42882 | 9767 41732 126613 | 2147483647 42882 164 | 0.000 % |
19.46/19.51 c | 42993 | 9767 41732 126613 | 2147483647 42993 163 | 0.000 % |
19.46/19.59 c | 43114 | 9767 41732 126613 | 2147483647 43114 163 | 0.000 % |
19.56/19.67 c | 43247 | 9767 41732 126613 | 2147483647 43247 163 | 0.000 % |
19.66/19.76 c | 43396 | 9767 41732 126613 | 2147483647 43396 163 | 0.000 % |
19.76/19.85 c | 43557 | 9767 41732 126613 | 2147483647 43557 163 | 0.000 % |
19.86/19.96 c | 43733 | 9767 41732 126613 | 2147483647 43733 163 | 0.000 % |
19.97/20.07 c | 43926 | 9767 41732 126613 | 2147483647 43926 163 | 0.000 % |
20.17/20.21 c | 44139 | 9767 41732 126613 | 2147483647 44139 163 | 0.000 % |
20.27/20.34 c | 44374 | 9767 41732 126613 | 2147483647 44374 163 | 0.000 % |
20.47/20.51 c | 44630 | 9767 41732 126613 | 2147483647 44630 163 | 0.000 % |
20.57/20.68 c | 44911 | 9767 41732 126613 | 2147483647 44911 163 | 0.000 % |
20.77/20.87 c | 45221 | 9767 41732 126613 | 2147483647 45221 163 | 0.000 % |
20.97/21.07 c | 45560 | 9767 41732 126613 | 2147483647 45560 163 | 0.000 % |
21.17/21.29 c | 45933 | 9767 41732 126613 | 2147483647 45933 163 | 0.000 % |
21.46/21.54 c | 46342 | 9767 41732 126613 | 2147483647 46342 163 | 0.000 % |
21.76/21.80 c | 46791 | 9767 41732 126613 | 2147483647 46791 164 | 0.000 % |
21.97/22.07 c | 47284 | 9767 41732 126613 | 2147483647 47284 164 | 0.000 % |
22.36/22.40 c | 47828 | 9767 41732 126613 | 2147483647 47828 164 | 0.000 % |
22.66/22.74 c | 48425 | 9767 41732 126613 | 2147483647 48425 164 | 0.000 % |
23.06/23.14 c | 49080 | 9767 41732 126613 | 2147483647 49080 165 | 0.000 % |
23.16/23.22 c | 49181 | 9767 41732 126613 | 2147483647 49181 165 | 0.000 % |
23.16/23.28 c | 49291 | 9767 41732 126613 | 2147483647 49291 164 | 0.000 % |
23.26/23.37 c | 49412 | 9767 41732 126613 | 2147483647 49412 164 | 0.000 % |
23.36/23.45 c | 49545 | 9767 41732 126613 | 2147483647 49545 164 | 0.000 % |
23.46/23.56 c | 49692 | 9767 41732 126613 | 2147483647 49692 164 | 0.000 % |
23.56/23.67 c | 49853 | 9767 41732 126613 | 2147483647 49853 164 | 0.000 % |
23.66/23.77 c | 50030 | 9767 41732 126613 | 2147483647 50030 164 | 0.000 % |
23.76/23.89 c | 50226 | 9767 41732 126613 | 2147483647 50226 164 | 0.000 % |
23.96/24.03 c | 50439 | 9767 41732 126613 | 2147483647 50439 164 | 0.000 % |
24.06/24.16 c | 50672 | 9767 41732 126613 | 2147483647 50672 164 | 0.000 % |
24.26/24.34 c | 50929 | 9767 41732 126613 | 2147483647 50929 164 | 0.000 % |
24.45/24.51 c | 51211 | 9767 41732 126613 | 2147483647 51211 164 | 0.000 % |
24.66/24.70 c | 51521 | 9767 41732 126613 | 2147483647 51521 164 | 0.000 % |
24.86/24.92 c | 51860 | 9767 41732 126613 | 2147483647 51860 164 | 0.000 % |
25.06/25.15 c | 52232 | 9767 41732 126613 | 2147483647 52232 164 | 0.000 % |
25.27/25.39 c | 52643 | 9767 41732 126613 | 2147483647 52643 164 | 0.000 % |
25.56/25.66 c | 53092 | 9767 41732 126613 | 2147483647 53092 164 | 0.000 % |
25.86/25.99 c | 53586 | 9767 41732 126613 | 2147483647 53586 164 | 0.000 % |
26.26/26.34 c | 54129 | 9767 41732 126613 | 2147483647 54129 165 | 0.000 % |
26.66/26.75 c | 54726 | 9767 41732 126613 | 2147483647 54726 165 | 0.000 % |
27.06/27.17 c | 55381 | 9767 41732 126613 | 2147483647 55381 165 | 0.000 % |
27.55/27.62 c | 56102 | 9767 41732 126613 | 2147483647 56102 165 | 0.000 % |
27.65/27.70 c | 56204 | 9767 41732 126613 | 2147483647 56204 165 | 0.000 % |
27.65/27.78 c | 56316 | 9767 41732 126613 | 2147483647 56316 165 | 0.000 % |
27.75/27.87 c | 56438 | 9767 41732 126613 | 2147483647 56438 165 | 0.000 % |
27.85/27.98 c | 56571 | 9767 41732 126613 | 2147483647 56571 165 | 0.000 % |
27.95/28.09 c | 56717 | 9767 41732 126613 | 2147483647 56717 165 | 0.000 % |
28.15/28.21 c | 56877 | 9767 41732 126613 | 2147483647 56877 165 | 0.000 % |
28.26/28.34 c | 57053 | 9767 41732 126613 | 2147483647 57053 165 | 0.000 % |
28.36/28.49 c | 57246 | 9767 41732 126613 | 2147483647 57246 165 | 0.000 % |
28.56/28.63 c | 57459 | 9767 41732 126613 | 2147483647 57459 165 | 0.000 % |
28.66/28.79 c | 57692 | 9767 41732 126613 | 2147483647 57692 165 | 0.000 % |
28.86/28.94 c | 57948 | 9767 41732 126613 | 2147483647 57948 165 | 0.000 % |
29.06/29.13 c | 58232 | 9767 41732 126613 | 2147483647 58232 165 | 0.000 % |
29.25/29.35 c | 58543 | 9767 41732 126613 | 2147483647 58543 165 | 0.000 % |
29.45/29.60 c | 58883 | 9767 41732 126613 | 2147483647 58883 165 | 0.000 % |
29.75/29.87 c | 59256 | 9767 41732 126613 | 2147483647 59256 165 | 0.000 % |
30.05/30.14 c | 59667 | 9767 41732 126613 | 2147483647 59667 165 | 0.000 % |
30.35/30.46 c | 60116 | 9767 41732 126613 | 2147483647 60116 165 | 0.000 % |
30.76/30.80 c | 60609 | 9767 41732 126613 | 2147483647 60609 165 | 0.000 % |
31.05/31.18 c | 61151 | 9767 41732 126613 | 2147483647 61151 166 | 0.000 % |
31.45/31.57 c | 61747 | 9767 41732 126613 | 2147483647 61747 166 | 0.000 % |
31.95/32.02 c | 62402 | 9767 41732 126613 | 2147483647 62402 166 | 0.000 % |
32.36/32.49 c | 63122 | 9767 41732 126613 | 2147483647 63122 166 | 0.000 % |
32.96/33.05 c | 63914 | 9767 41732 126613 | 2147483647 63914 167 | 0.000 % |
33.06/33.13 c | 64014 | 9767 41732 126613 | 2147483647 64014 167 | 0.000 % |
33.15/33.23 c | 64127 | 9767 41732 126613 | 2147483647 64127 167 | 0.000 % |
33.25/33.34 c | 64248 | 9767 41732 126613 | 2147483647 64248 167 | 0.000 % |
33.35/33.44 c | 64382 | 9767 41732 126613 | 2147483647 64382 167 | 0.000 % |
33.45/33.56 c | 64530 | 9767 41732 126613 | 2147483647 64530 166 | 0.000 % |
33.55/33.67 c | 64690 | 9767 41732 126613 | 2147483647 64690 166 | 0.000 % |
33.75/33.81 c | 64866 | 9767 41732 126613 | 2147483647 64866 166 | 0.000 % |
33.85/33.97 c | 65060 | 9767 41732 126613 | 2147483647 65060 166 | 0.000 % |
34.05/34.13 c | 65272 | 9767 41732 126613 | 2147483647 65272 166 | 0.000 % |
34.25/34.31 c | 65505 | 9767 41732 126613 | 2147483647 65505 166 | 0.000 % |
34.45/34.52 c | 65763 | 9767 41732 126613 | 2147483647 65763 166 | 0.000 % |
34.65/34.71 c | 66044 | 9767 41732 126613 | 2147483647 66044 166 | 0.000 % |
34.85/34.95 c | 66354 | 9767 41732 126613 | 2147483647 66354 166 | 0.000 % |
35.05/35.19 c | 66694 | 9767 41732 126613 | 2147483647 66694 167 | 0.000 % |
35.34/35.47 c | 67066 | 9767 41732 126613 | 2147483647 67066 167 | 0.000 % |
35.65/35.76 c | 67476 | 9767 41732 126613 | 2147483647 67476 167 | 0.000 % |
36.05/36.10 c | 67925 | 9767 41732 126613 | 2147483647 67925 167 | 0.000 % |
36.35/36.47 c | 68418 | 9767 41732 126613 | 2147483647 68418 167 | 0.000 % |
36.75/36.84 c | 68960 | 9767 41732 126613 | 2147483647 68960 167 | 0.000 % |
37.15/37.28 c | 69558 | 9767 41732 126613 | 2147483647 69558 167 | 0.000 % |
37.65/37.79 c | 70214 | 9767 41732 126613 | 2147483647 70214 167 | 0.000 % |
38.25/38.34 c | 70934 | 9767 41732 126613 | 2147483647 70934 167 | 0.000 % |
38.75/38.89 c | 71727 | 9767 41732 126613 | 2147483647 71727 168 | 0.000 % |
39.45/39.51 c | 72599 | 9767 41732 126613 | 2147483647 72599 169 | 0.000 % |
39.55/39.61 c | 72699 | 9767 41732 126613 | 2147483647 72699 169 | 0.000 % |
39.64/39.70 c | 72810 | 9767 41732 126613 | 2147483647 72810 169 | 0.000 % |
39.64/39.79 c | 72931 | 9767 41732 126613 | 2147483647 72931 169 | 0.000 % |
39.84/39.92 c | 73065 | 9767 41732 126613 | 2147483647 73065 169 | 0.000 % |
39.94/40.06 c | 73216 | 9767 41732 126613 | 2147483647 73216 169 | 0.000 % |
40.04/40.19 c | 73377 | 9767 41732 126613 | 2147483647 73377 169 | 0.000 % |
40.25/40.34 c | 73557 | 9767 41732 126613 | 2147483647 73557 169 | 0.000 % |
40.45/40.50 c | 73751 | 9767 41732 126613 | 2147483647 73751 169 | 0.000 % |
40.55/40.68 c | 73964 | 9767 41732 126613 | 2147483647 73964 169 | 0.000 % |
40.75/40.86 c | 74197 | 9767 41732 126613 | 2147483647 74197 169 | 0.000 % |
40.95/41.07 c | 74454 | 9767 41732 126613 | 2147483647 74454 169 | 0.000 % |
41.24/41.30 c | 74736 | 9767 41732 126613 | 2147483647 74736 169 | 0.000 % |
41.44/41.54 c | 75047 | 9767 41732 126613 | 2147483647 75047 169 | 0.000 % |
41.75/41.80 c | 75386 | 9767 41732 126613 | 2147483647 75386 169 | 0.000 % |
41.94/42.09 c | 75758 | 9767 41732 126613 | 2147483647 75758 169 | 0.000 % |
42.24/42.40 c | 76167 | 9767 41732 126613 | 2147483647 76167 169 | 0.000 % |
42.64/42.75 c | 76620 | 9767 41732 126613 | 2147483647 76620 169 | 0.000 % |
43.04/43.13 c | 77115 | 9767 41732 126613 | 2147483647 77115 169 | 0.000 % |
43.44/43.57 c | 77659 | 9767 41732 126613 | 2147483647 77659 169 | 0.000 % |
43.85/44.00 c | 78255 | 9767 41732 126613 | 2147483647 78255 169 | 0.000 % |
44.45/44.51 c | 78913 | 9767 41732 126613 | 2147483647 78913 170 | 0.000 % |
44.95/45.05 c | 79633 | 9767 41732 126613 | 2147483647 79633 170 | 0.000 % |
45.55/45.66 c | 80427 | 9767 41732 126613 | 2147483647 80427 170 | 0.000 % |
46.24/46.40 c | 81298 | 9767 41732 126613 | 2147483647 81298 170 | 0.000 % |
47.04/47.15 c | 82258 | 9767 41732 126613 | 2147483647 82258 171 | 0.000 % |
47.14/47.23 c | 82358 | 9767 41732 126613 | 2147483647 82358 171 | 0.000 % |
47.24/47.34 c | 82470 | 9767 41732 126613 | 2147483647 82470 171 | 0.000 % |
47.34/47.44 c | 82591 | 9767 41732 126613 | 2147483647 82591 171 | 0.000 % |
47.44/47.57 c | 82728 | 9767 41732 126613 | 2147483647 82728 170 | 0.000 % |
47.64/47.70 c | 82875 | 9767 41732 126613 | 2147483647 82875 171 | 0.000 % |
47.74/47.85 c | 83036 | 9767 41732 126613 | 2147483647 83036 170 | 0.000 % |
47.84/47.99 c | 83212 | 9767 41732 126613 | 2147483647 83212 171 | 0.000 % |
48.04/48.16 c | 83405 | 9767 41732 126613 | 2147483647 83405 171 | 0.000 % |
48.24/48.33 c | 83617 | 9767 41732 126613 | 2147483647 83617 171 | 0.000 % |
48.44/48.53 c | 83851 | 9767 41732 126613 | 2147483647 83851 171 | 0.000 % |
48.64/48.75 c | 84108 | 9767 41732 126613 | 2147483647 84108 171 | 0.000 % |
48.84/48.99 c | 84389 | 9767 41732 126613 | 2147483647 84389 171 | 0.000 % |
49.14/49.26 c | 84701 | 9767 41732 126613 | 2147483647 84701 171 | 0.000 % |
49.45/49.56 c | 85040 | 9767 41732 126613 | 2147483647 85040 171 | 0.000 % |
49.74/49.88 c | 85413 | 9767 41732 126613 | 2147483647 85413 171 | 0.000 % |
50.14/50.24 c | 85824 | 9767 41732 126613 | 2147483647 85824 171 | 0.000 % |
50.44/50.59 c | 86273 | 9767 41732 126613 | 2147483647 86273 171 | 0.000 % |
50.84/50.99 c | 86766 | 9767 41732 126613 | 2147483647 86766 171 | 0.000 % |
51.34/51.44 c | 87311 | 9767 41732 126613 | 2147483647 87311 171 | 0.000 % |
51.84/51.92 c | 87908 | 9767 41732 126613 | 2147483647 87908 171 | 0.000 % |
52.33/52.48 c | 88564 | 9767 41732 126613 | 2147483647 88564 171 | 0.000 % |
53.04/53.13 c | 89285 | 9767 41732 126613 | 2147483647 89285 171 | 0.000 % |
53.74/53.80 c | 90079 | 9767 41732 126613 | 2147483647 90079 171 | 0.000 % |
54.44/54.51 c | 90951 | 9767 41732 126613 | 2147483647 90951 172 | 0.000 % |
55.24/55.32 c | 91909 | 9767 41732 126613 | 2147483647 91909 172 | 0.000 % |
56.04/56.17 c | 92962 | 9767 41732 126613 | 2147483647 92962 173 | 0.000 % |
56.13/56.26 c | 93062 | 9767 41732 126613 | 2147483647 93062 173 | 0.000 % |
56.23/56.37 c | 93173 | 9767 41732 126613 | 2147483647 93173 173 | 0.000 % |
56.33/56.48 c | 93295 | 9767 41732 126613 | 2147483647 93295 173 | 0.000 % |
56.53/56.61 c | 93429 | 9767 41732 126613 | 2147483647 93429 173 | 0.000 % |
56.63/56.75 c | 93575 | 9767 41732 126613 | 2147483647 93575 173 | 0.000 % |
56.83/56.93 c | 93735 | 9767 41732 126613 | 2147483647 93735 173 | 0.000 % |
56.93/57.09 c | 93912 | 9767 41732 126613 | 2147483647 93912 173 | 0.000 % |
57.14/57.27 c | 94106 | 9767 41732 126613 | 2147483647 94106 172 | 0.000 % |
57.33/57.45 c | 94318 | 9767 41732 126613 | 2147483647 94318 173 | 0.000 % |
57.53/57.68 c | 94552 | 9767 41732 126613 | 2147483647 94552 172 | 0.000 % |
57.83/57.90 c | 94808 | 9767 41732 126613 | 2147483647 94808 172 | 0.000 % |
58.03/58.15 c | 95089 | 9767 41732 126613 | 2147483647 95089 172 | 0.000 % |
58.33/58.45 c | 95398 | 9767 41732 126613 | 2147483647 95398 172 | 0.000 % |
58.64/58.76 c | 95738 | 9767 41732 126613 | 2147483647 95738 173 | 0.000 % |
58.94/59.08 c | 96111 | 9767 41732 126613 | 2147483647 96111 173 | 0.000 % |
59.34/59.44 c | 96520 | 9767 41732 126613 | 2147483647 96520 172 | 0.000 % |
59.74/59.86 c | 96972 | 9767 41732 126613 | 2147483647 96972 172 | 0.000 % |
60.23/60.31 c | 97466 | 9767 41732 126613 | 2147483647 97466 172 | 0.000 % |
60.63/60.79 c | 98008 | 9767 41732 126613 | 2147483647 98008 172 | 0.000 % |
61.23/61.34 c | 98605 | 9767 41732 126613 | 2147483647 98605 172 | 0.000 % |
61.83/61.93 c | 99261 | 9767 41732 126613 | 2147483647 99261 172 | 0.000 % |
62.43/62.58 c | 99983 | 9767 41732 126613 | 2147483647 99983 172 | 0.000 % |
63.13/63.29 c | 100775 | 9767 41732 126613 | 2147483647 100775 173 | 0.000 % |
64.03/64.12 c | 101646 | 9767 41732 126613 | 2147483647 101646 173 | 0.000 % |
64.83/65.00 c | 102605 | 9767 41732 126613 | 2147483647 102605 173 | 0.000 % |
65.83/65.94 c | 103661 | 9767 41732 126613 | 2147483647 103661 174 | 0.000 % |
66.83/66.97 c | 104820 | 9767 41732 126613 | 2147483647 104820 174 | 0.000 % |
66.94/67.07 c | 104922 | 9767 41732 126613 | 2147483647 104922 174 | 0.000 % |
67.04/67.19 c | 105033 | 9767 41732 126613 | 2147483647 105033 174 | 0.000 % |
67.23/67.34 c | 105155 | 9767 41732 126613 | 2147483647 105155 174 | 0.000 % |
67.33/67.49 c | 105291 | 9767 41732 126613 | 2147483647 105291 174 | 0.000 % |
67.53/67.64 c | 105439 | 9767 41732 126613 | 2147483647 105439 174 | 0.000 % |
67.73/67.80 c | 105600 | 9767 41732 126613 | 2147483647 105600 174 | 0.000 % |
67.83/67.98 c | 105777 | 9767 41732 126613 | 2147483647 105777 174 | 0.000 % |
68.03/68.18 c | 105970 | 9767 41732 126613 | 2147483647 105970 174 | 0.000 % |
68.33/68.41 c | 106182 | 9767 41732 126613 | 2147483647 106182 174 | 0.000 % |
68.53/68.64 c | 106415 | 9767 41732 126613 | 2147483647 106415 174 | 0.000 % |
68.73/68.89 c | 106671 | 9767 41732 126613 | 2147483647 106671 174 | 0.000 % |
69.03/69.17 c | 106952 | 9767 41732 126613 | 2147483647 106952 174 | 0.000 % |
69.42/69.51 c | 107261 | 9767 41732 126613 | 2147483647 107261 174 | 0.000 % |
69.72/69.85 c | 107604 | 9767 41732 126613 | 2147483647 107604 174 | 0.000 % |
70.02/70.19 c | 107978 | 9767 41732 126613 | 2147483647 107978 174 | 0.000 % |
70.43/70.57 c | 108389 | 9767 41732 126613 | 2147483647 108389 174 | 0.000 % |
70.93/71.01 c | 108838 | 9767 41732 126613 | 2147483647 108838 174 | 0.000 % |
71.33/71.48 c | 109332 | 9767 41732 126613 | 2147483647 109332 174 | 0.000 % |
71.83/71.99 c | 109874 | 9767 41732 126613 | 2147483647 109874 174 | 0.000 % |
72.43/72.55 c | 110473 | 9767 41732 126613 | 2147483647 110473 174 | 0.000 % |
73.02/73.18 c | 111130 | 9767 41732 126613 | 2147483647 111130 174 | 0.000 % |
73.72/73.83 c | 111850 | 9767 41732 126613 | 2147483647 111850 174 | 0.000 % |
74.53/74.65 c | 112642 | 9767 41732 126613 | 2147483647 112642 174 | 0.000 % |
75.43/75.51 c | 113513 | 9767 41732 126613 | 2147483647 113513 174 | 0.000 % |
76.33/76.46 c | 114471 | 9767 41732 126613 | 2147483647 114471 174 | 0.000 % |
77.32/77.47 c | 115524 | 9767 41732 126613 | 2147483647 115524 174 | 0.000 % |
78.52/78.62 c | 116685 | 9767 41732 126613 | 2147483647 116685 174 | 0.000 % |
79.73/79.86 c | 117958 | 9767 41732 126613 | 2147483647 117958 175 | 0.000 % |
79.83/79.98 c | 118059 | 9767 41732 126613 | 2147483647 118059 175 | 0.000 % |
80.03/80.12 c | 118170 | 9767 41732 126613 | 2147483647 118170 175 | 0.000 % |
80.13/80.27 c | 118293 | 9767 41732 126613 | 2147483647 118293 175 | 0.000 % |
80.33/80.41 c | 118426 | 9767 41732 126613 | 2147483647 118426 175 | 0.000 % |
80.43/80.58 c | 118572 | 9767 41732 126613 | 2147483647 118572 175 | 0.000 % |
80.62/80.78 c | 118734 | 9767 41732 126613 | 2147483647 118734 175 | 0.000 % |
80.82/80.97 c | 118910 | 9767 41732 126613 | 2147483647 118910 175 | 0.000 % |
81.12/81.20 c | 119103 | 9767 41732 126613 | 2147483647 119103 175 | 0.000 % |
81.33/81.44 c | 119315 | 9767 41732 126613 | 2147483647 119315 175 | 0.000 % |
81.52/81.68 c | 119549 | 9767 41732 126613 | 2147483647 119549 175 | 0.000 % |
81.82/81.98 c | 119806 | 9767 41732 126613 | 2147483647 119806 175 | 0.000 % |
82.22/82.31 c | 120088 | 9767 41732 126613 | 2147483647 120088 175 | 0.000 % |
82.52/82.66 c | 120397 | 9767 41732 126613 | 2147483647 120397 175 | 0.000 % |
82.92/83.01 c | 120736 | 9767 41732 126613 | 2147483647 120736 175 | 0.000 % |
83.22/83.38 c | 121108 | 9767 41732 126613 | 2147483647 121108 175 | 0.000 % |
83.72/83.81 c | 121518 | 9767 41732 126613 | 2147483647 121518 175 | 0.000 % |
84.12/84.26 c | 121967 | 9767 41732 126613 | 2147483647 121967 175 | 0.000 % |
84.72/84.82 c | 122462 | 9767 41732 126613 | 2147483647 122462 175 | 0.000 % |
85.32/85.42 c | 123004 | 9767 41732 126613 | 2147483647 123004 175 | 0.000 % |
85.92/86.03 c | 123600 | 9767 41732 126613 | 2147483647 123600 175 | 0.000 % |
86.52/86.68 c | 124255 | 9767 41732 126613 | 2147483647 124255 175 | 0.000 % |
87.32/87.41 c | 124976 | 9767 41732 126613 | 2147483647 124976 175 | 0.000 % |
88.02/88.19 c | 125771 | 9767 41732 126613 | 2147483647 125771 175 | 0.000 % |
89.02/89.15 c | 126642 | 9767 41732 126613 | 2147483647 126642 176 | 0.000 % |
90.02/90.15 c | 127601 | 9767 41732 126613 | 2147483647 127601 176 | 0.000 % |
91.12/91.26 c | 128654 | 9767 41732 126613 | 2147483647 128654 176 | 0.000 % |
92.32/92.45 c | 129812 | 9767 41732 126613 | 2147483647 129812 176 | 0.000 % |
93.62/93.79 c | 131086 | 9767 41732 126613 | 2147483647 131086 176 | 0.000 % |
95.22/95.33 c | 132486 | 9767 41732 126613 | 2147483647 132486 177 | 0.000 % |
95.32/95.43 c | 132588 | 9767 41732 126613 | 2147483647 132588 177 | 0.000 % |
95.42/95.59 c | 132699 | 9767 41732 126613 | 2147483647 132699 177 | 0.000 % |
95.62/95.75 c | 132821 | 9767 41732 126613 | 2147483647 132821 177 | 0.000 % |
95.81/95.90 c | 132954 | 9767 41732 126613 | 2147483647 132954 177 | 0.000 % |
95.91/96.06 c | 133101 | 9767 41732 126613 | 2147483647 133101 177 | 0.000 % |
96.11/96.24 c | 133261 | 9767 41732 126613 | 2147483647 133261 176 | 0.000 % |
96.31/96.45 c | 133438 | 9767 41732 126613 | 2147483647 133438 176 | 0.000 % |
96.62/96.71 c | 133632 | 9767 41732 126613 | 2147483647 133632 176 | 0.000 % |
96.81/96.96 c | 133845 | 9767 41732 126613 | 2147483647 133845 176 | 0.000 % |
97.11/97.25 c | 134078 | 9767 41732 126613 | 2147483647 134078 176 | 0.000 % |
97.51/97.60 c | 134335 | 9767 41732 126613 | 2147483647 134335 176 | 0.000 % |
97.82/97.95 c | 134616 | 9767 41732 126613 | 2147483647 134616 176 | 0.000 % |
98.21/98.33 c | 134925 | 9767 41732 126613 | 2147483647 134925 176 | 0.000 % |
98.61/98.74 c | 135265 | 9767 41732 126613 | 2147483647 135265 176 | 0.000 % |
99.01/99.18 c | 135637 | 9767 41732 126613 | 2147483647 135637 176 | 0.000 % |
99.51/99.62 c | 136046 | 9767 41732 126613 | 2147483647 136046 176 | 0.000 % |
100.01/100.10 c | 136495 | 9767 41732 126613 | 2147483647 136495 176 | 0.000 % |
100.51/100.64 c | 136989 | 9767 41732 126613 | 2147483647 136989 176 | 0.000 % |
101.11/101.24 c | 137533 | 9767 41732 126613 | 2147483647 137533 176 | 0.000 % |
101.81/101.95 c | 138130 | 9767 41732 126613 | 2147483647 138130 176 | 0.000 % |
102.61/102.71 c | 138785 | 9767 41732 126613 | 2147483647 138785 176 | 0.000 % |
103.32/103.48 c | 139507 | 9767 41732 126613 | 2147483647 139507 176 | 0.000 % |
104.21/104.38 c | 140300 | 9767 41732 126613 | 2147483647 140300 177 | 0.000 % |
105.21/105.36 c | 141175 | 9767 41732 126613 | 2147483647 141175 177 | 0.000 % |
106.31/106.47 c | 142133 | 9767 41732 126613 | 2147483647 142133 177 | 0.000 % |
107.51/107.65 c | 143187 | 9767 41732 126613 | 2147483647 143187 177 | 0.000 % |
108.71/108.89 c | 144345 | 9767 41732 126613 | 2147483647 144345 177 | 0.000 % |
110.21/110.32 c | 145619 | 9767 41732 126613 | 2147483647 145619 178 | 0.000 % |
111.71/111.87 c | 147019 | 9767 41732 126613 | 2147483647 147019 178 | 0.000 % |
113.51/113.65 c | 148562 | 9767 41732 126613 | 2147483647 148562 178 | 0.000 % |
113.71/113.80 c | 148665 | 9767 41732 126613 | 2147483647 148665 178 | 0.000 % |
113.81/113.95 c | 148775 | 9767 41732 126613 | 2147483647 148775 178 | 0.000 % |
114.01/114.12 c | 148897 | 9767 41732 126613 | 2147483647 148897 178 | 0.000 % |
114.21/114.31 c | 149030 | 9767 41732 126613 | 2147483647 149030 178 | 0.000 % |
114.41/114.51 c | 149177 | 9767 41732 126613 | 2147483647 149177 178 | 0.000 % |
114.61/114.74 c | 149338 | 9767 41732 126613 | 2147483647 149338 178 | 0.000 % |
114.81/114.97 c | 149516 | 9767 41732 126613 | 2147483647 149516 178 | 0.000 % |
115.11/115.24 c | 149709 | 9767 41732 126613 | 2147483647 149709 178 | 0.000 % |
115.41/115.51 c | 149921 | 9767 41732 126613 | 2147483647 149921 178 | 0.000 % |
115.60/115.76 c | 150155 | 9767 41732 126613 | 2147483647 150155 178 | 0.000 % |
115.90/116.10 c | 150413 | 9767 41732 126613 | 2147483647 150413 178 | 0.000 % |
116.30/116.49 c | 150698 | 9767 41732 126613 | 2147483647 150698 177 | 0.000 % |
116.70/116.86 c | 151010 | 9767 41732 126613 | 2147483647 151010 177 | 0.000 % |
117.10/117.29 c | 151351 | 9767 41732 126613 | 2147483647 151351 177 | 0.000 % |
117.60/117.78 c | 151723 | 9767 41732 126613 | 2147483647 151723 177 | 0.000 % |
118.20/118.30 c | 152132 | 9767 41732 126613 | 2147483647 152132 177 | 0.000 % |
118.71/118.89 c | 152581 | 9767 41732 126613 | 2147483647 152581 177 | 0.000 % |
119.40/119.50 c | 153075 | 9767 41732 126613 | 2147483647 153075 177 | 0.000 % |
120.10/120.20 c | 153617 | 9767 41732 126613 | 2147483647 153617 177 | 0.000 % |
120.80/120.93 c | 154213 | 9767 41732 126613 | 2147483647 154213 177 | 0.000 % |
121.59/121.73 c | 154868 | 9767 41732 126613 | 2147483647 154868 177 | 0.000 % |
122.49/122.61 c | 155590 | 9767 41732 126613 | 2147483647 155590 177 | 0.000 % |
123.39/123.51 c | 156383 | 9767 41732 126613 | 2147483647 156383 177 | 0.000 % |
124.49/124.66 c | 157254 | 9767 41732 126613 | 2147483647 157254 177 | 0.000 % |
125.70/125.84 c | 158213 | 9767 41732 126613 | 2147483647 158213 177 | 0.000 % |
126.99/127.14 c | 159266 | 9767 41732 126613 | 2147483647 159266 177 | 0.000 % |
128.29/128.47 c | 160424 | 9767 41732 126613 | 2147483647 160424 178 | 0.000 % |
129.90/130.01 c | 161699 | 9767 41732 126613 | 2147483647 161699 178 | 0.000 % |
131.49/131.66 c | 163101 | 9767 41732 126613 | 2147483647 163101 178 | 0.000 % |
133.49/133.61 c | 164642 | 9767 41732 126613 | 2147483647 164642 178 | 0.000 % |
135.59/135.73 c | 166336 | 9767 41732 126613 | 2147483647 166336 179 | 0.000 % |
135.69/135.87 c | 166436 | 9767 41732 126613 | 2147483647 166436 179 | 0.000 % |
135.89/136.06 c | 166547 | 9767 41732 126613 | 2147483647 166547 179 | 0.000 % |
136.09/136.28 c | 166668 | 9767 41732 126613 | 2147483647 166668 179 | 0.000 % |
136.29/136.48 c | 166801 | 9767 41732 126613 | 2147483647 166801 179 | 0.000 % |
136.49/136.67 c | 166947 | 9767 41732 126613 | 2147483647 166947 179 | 0.000 % |
136.79/136.90 c | 167107 | 9767 41732 126613 | 2147483647 167107 178 | 0.000 % |
136.99/137.15 c | 167283 | 9767 41732 126613 | 2147483647 167283 178 | 0.000 % |
137.29/137.42 c | 167479 | 9767 41732 126613 | 2147483647 167479 178 | 0.000 % |
137.59/137.74 c | 167691 | 9767 41732 126613 | 2147483647 167691 178 | 0.000 % |
137.89/138.07 c | 167924 | 9767 41732 126613 | 2147483647 167924 178 | 0.000 % |
138.29/138.42 c | 168180 | 9767 41732 126613 | 2147483647 168180 178 | 0.000 % |
138.69/138.80 c | 168461 | 9767 41732 126613 | 2147483647 168461 178 | 0.000 % |
139.09/139.21 c | 168770 | 9767 41732 126613 | 2147483647 168770 178 | 0.000 % |
139.49/139.65 c | 169110 | 9767 41732 126613 | 2147483647 169110 178 | 0.000 % |
139.99/140.13 c | 169482 | 9767 41732 126613 | 2147483647 169482 178 | 0.000 % |
140.49/140.64 c | 169891 | 9767 41732 126613 | 2147483647 169891 178 | 0.000 % |
140.99/141.17 c | 170340 | 9767 41732 126613 | 2147483647 170340 178 | 0.000 % |
141.69/141.83 c | 170835 | 9767 41732 126613 | 2147483647 170835 178 | 0.000 % |
142.39/142.51 c | 171379 | 9767 41732 126613 | 2147483647 171379 178 | 0.000 % |
143.08/143.30 c | 171978 | 9767 41732 126613 | 2147483647 171978 178 | 0.000 % |
144.00/144.18 c | 172634 | 9767 41732 126613 | 2147483647 172634 178 | 0.000 % |
144.99/145.11 c | 173354 | 9767 41732 126613 | 2147483647 173354 178 | 0.000 % |
145.88/146.08 c | 174146 | 9767 41732 126613 | 2147483647 174146 179 | 0.000 % |
146.98/147.19 c | 175017 | 9767 41732 126613 | 2147483647 175017 179 | 0.000 % |
148.29/148.44 c | 175976 | 9767 41732 126613 | 2147483647 175976 179 | 0.000 % |
149.59/149.79 c | 177032 | 9767 41732 126613 | 2147483647 177032 179 | 0.000 % |
151.18/151.35 c | 178191 | 9767 41732 126613 | 2147483647 178191 179 | 0.000 % |
152.88/153.03 c | 179465 | 9767 41732 126613 | 2147483647 179465 179 | 0.000 % |
154.69/154.83 c | 180865 | 9767 41732 126613 | 2147483647 180865 179 | 0.000 % |
156.58/156.78 c | 182406 | 9767 41732 126613 | 2147483647 182406 179 | 0.000 % |
158.78/158.97 c | 184101 | 9767 41732 126613 | 2147483647 184101 179 | 0.000 % |
161.18/161.38 c | 185965 | 9767 41732 126613 | 2147483647 185965 180 | 0.000 % |
161.38/161.53 c | 186065 | 9767 41732 126613 | 2147483647 186065 180 | 0.000 % |
161.58/161.73 c | 186178 | 9767 41732 126613 | 2147483647 186178 180 | 0.000 % |
161.78/161.94 c | 186300 | 9767 41732 126613 | 2147483647 186300 180 | 0.000 % |
161.98/162.14 c | 186434 | 9767 41732 126613 | 2147483647 186434 180 | 0.000 % |
162.18/162.37 c | 186584 | 9767 41732 126613 | 2147483647 186584 180 | 0.000 % |
162.48/162.64 c | 186746 | 9767 41732 126613 | 2147483647 186746 180 | 0.000 % |
162.78/162.91 c | 186923 | 9767 41732 126613 | 2147483647 186923 180 | 0.000 % |
163.08/163.21 c | 187118 | 9767 41732 126613 | 2147483647 187118 179 | 0.000 % |
163.37/163.54 c | 187330 | 9767 41732 126613 | 2147483647 187330 179 | 0.000 % |
163.68/163.89 c | 187564 | 9767 41732 126613 | 2147483647 187564 179 | 0.000 % |
164.08/164.28 c | 187820 | 9767 41732 126613 | 2147483647 187820 179 | 0.000 % |
164.58/164.70 c | 188101 | 9767 41732 126613 | 2147483647 188101 179 | 0.000 % |
164.98/165.14 c | 188410 | 9767 41732 126613 | 2147483647 188410 179 | 0.000 % |
165.48/165.64 c | 188749 | 9767 41732 126613 | 2147483647 188749 179 | 0.000 % |
165.98/166.18 c | 189122 | 9767 41732 126613 | 2147483647 189122 179 | 0.000 % |
166.57/166.79 c | 189531 | 9767 41732 126613 | 2147483647 189531 179 | 0.000 % |
167.27/167.43 c | 189980 | 9767 41732 126613 | 2147483647 189980 179 | 0.000 % |
167.97/168.10 c | 190473 | 9767 41732 126613 | 2147483647 190473 179 | 0.000 % |
168.77/168.90 c | 191015 | 9767 41732 126613 | 2147483647 191015 179 | 0.000 % |
169.58/169.79 c | 191611 | 9767 41732 126613 | 2147483647 191611 179 | 0.000 % |
170.58/170.73 c | 192267 | 9767 41732 126613 | 2147483647 192267 179 | 0.000 % |
171.57/171.79 c | 192988 | 9767 41732 126613 | 2147483647 192988 179 | 0.000 % |
172.67/172.87 c | 193780 | 9767 41732 126613 | 2147483647 193780 179 | 0.000 % |
173.87/174.04 c | 194654 | 9767 41732 126613 | 2147483647 194654 179 | 0.000 % |
175.17/175.38 c | 195614 | 9767 41732 126613 | 2147483647 195614 180 | 0.000 % |
176.67/176.82 c | 196667 | 9767 41732 126613 | 2147483647 196667 180 | 0.000 % |
178.27/178.47 c | 197825 | 9767 41732 126613 | 2147483647 197825 180 | 0.000 % |
180.07/180.28 c | 199098 | 9767 41732 126613 | 2147483647 199098 180 | 0.000 % |
182.07/182.21 c | 200501 | 9767 41732 126613 | 2147483647 200501 180 | 0.000 % |
184.27/184.43 c | 202041 | 9767 41732 126613 | 2147483647 202041 180 | 0.000 % |
186.57/186.70 c | 203735 | 9767 41732 126613 | 2147483647 203735 181 | 0.000 % |
189.07/189.28 c | 205599 | 9767 41732 126613 | 2147483647 205599 181 | 0.000 % |
192.07/192.26 c | 207649 | 9767 41732 126613 | 2147483647 207649 181 | 0.000 % |
192.27/192.45 c | 207749 | 9767 41732 126613 | 2147483647 207749 181 | 0.000 % |
192.47/192.65 c | 207859 | 9767 41732 126613 | 2147483647 207859 181 | 0.000 % |
192.67/192.85 c | 207981 | 9767 41732 126613 | 2147483647 207981 181 | 0.000 % |
192.97/193.10 c | 208115 | 9767 41732 126613 | 2147483647 208115 181 | 0.000 % |
193.17/193.34 c | 208261 | 9767 41732 126613 | 2147483647 208261 181 | 0.000 % |
193.47/193.61 c | 208421 | 9767 41732 126613 | 2147483647 208421 181 | 0.000 % |
193.66/193.89 c | 208598 | 9767 41732 126613 | 2147483647 208598 181 | 0.000 % |
194.06/194.23 c | 208791 | 9767 41732 126613 | 2147483647 208791 181 | 0.000 % |
194.36/194.57 c | 209003 | 9767 41732 126613 | 2147483647 209003 181 | 0.000 % |
194.86/195.01 c | 209237 | 9767 41732 126613 | 2147483647 209237 181 | 0.000 % |
195.17/195.39 c | 209493 | 9767 41732 126613 | 2147483647 209493 181 | 0.000 % |
195.67/195.88 c | 209774 | 9767 41732 126613 | 2147483647 209774 181 | 0.000 % |
196.17/196.35 c | 210083 | 9767 41732 126613 | 2147483647 210083 180 | 0.000 % |
196.77/196.94 c | 210424 | 9767 41732 126613 | 2147483647 210424 180 | 0.000 % |
197.27/197.48 c | 210798 | 9767 41732 126613 | 2147483647 210798 180 | 0.000 % |
197.96/198.11 c | 211207 | 9767 41732 126613 | 2147483647 211207 180 | 0.000 % |
198.66/198.82 c | 211657 | 9767 41732 126613 | 2147483647 211657 180 | 0.000 % |
199.36/199.58 c | 212150 | 9767 41732 126613 | 2147483647 212150 181 | 0.000 % |
200.26/200.45 c | 212694 | 9767 41732 126613 | 2147483647 212694 181 | 0.000 % |
201.26/201.41 c | 213292 | 9767 41732 126613 | 2147483647 213292 181 | 0.000 % |
202.27/202.42 c | 213947 | 9767 41732 126613 | 2147483647 213947 181 | 0.000 % |
203.37/203.54 c | 214669 | 9767 41732 126613 | 2147483647 214669 181 | 0.000 % |
204.66/204.80 c | 215462 | 9767 41732 126613 | 2147483647 215462 181 | 0.000 % |
205.86/206.09 c | 216334 | 9767 41732 126613 | 2147483647 216334 181 | 0.000 % |
207.46/207.61 c | 217292 | 9767 41732 126613 | 2147483647 217292 181 | 0.000 % |
208.95/209.12 c | 218346 | 9767 41732 126613 | 2147483647 218346 181 | 0.000 % |
210.76/210.95 c | 219505 | 9767 41732 126613 | 2147483647 219505 181 | 0.000 % |
212.76/212.99 c | 220779 | 9767 41732 126613 | 2147483647 220779 181 | 0.000 % |
214.96/215.11 c | 222181 | 9767 41732 126613 | 2147483647 222181 181 | 0.000 % |
217.25/217.43 c | 223721 | 9767 41732 126613 | 2147483647 223721 181 | 0.000 % |
219.86/220.06 c | 225415 | 9767 41732 126613 | 2147483647 225415 181 | 0.000 % |
222.75/222.94 c | 227278 | 9767 41732 126613 | 2147483647 227278 181 | 0.000 % |
225.75/225.95 c | 229329 | 9767 41732 126613 | 2147483647 229329 182 | 0.000 % |
229.05/229.29 c | 231582 | 9767 41732 126613 | 2147483647 231582 182 | 0.000 % |
229.36/229.54 c | 231683 | 9767 41732 126613 | 2147483647 231683 182 | 0.000 % |
229.56/229.76 c | 231795 | 9767 41732 126613 | 2147483647 231795 182 | 0.000 % |
229.76/229.98 c | 231916 | 9767 41732 126613 | 2147483647 231916 182 | 0.000 % |
230.06/230.25 c | 232049 | 9767 41732 126613 | 2147483647 232049 182 | 0.000 % |
230.36/230.56 c | 232195 | 9767 41732 126613 | 2147483647 232195 182 | 0.000 % |
230.65/230.81 c | 232355 | 9767 41732 126613 | 2147483647 232355 182 | 0.000 % |
230.95/231.12 c | 232531 | 9767 41732 126613 | 2147483647 232531 182 | 0.000 % |
231.35/231.51 c | 232724 | 9767 41732 126613 | 2147483647 232724 182 | 0.000 % |
231.65/231.84 c | 232936 | 9767 41732 126613 | 2147483647 232936 182 | 0.000 % |
232.05/232.27 c | 233169 | 9767 41732 126613 | 2147483647 233169 182 | 0.000 % |
232.55/232.74 c | 233425 | 9767 41732 126613 | 2147483647 233425 182 | 0.000 % |
233.05/233.22 c | 233706 | 9767 41732 126613 | 2147483647 233706 182 | 0.000 % |
233.55/233.78 c | 234015 | 9767 41732 126613 | 2147483647 234015 182 | 0.000 % |
234.15/234.39 c | 234357 | 9767 41732 126613 | 2147483647 234357 182 | 0.000 % |
234.85/235.04 c | 234730 | 9767 41732 126613 | 2147483647 234730 182 | 0.000 % |
235.55/235.75 c | 235141 | 9767 41732 126613 | 2147483647 235141 182 | 0.000 % |
236.26/236.44 c | 235590 | 9767 41732 126613 | 2147483647 235590 182 | 0.000 % |
237.15/237.34 c | 236083 | 9767 41732 126613 | 2147483647 236083 182 | 0.000 % |
238.15/238.32 c | 236625 | 9767 41732 126613 | 2147483647 236625 182 | 0.000 % |
239.15/239.34 c | 237221 | 9767 41732 126613 | 2147483647 237221 182 | 0.000 % |
240.15/240.35 c | 237876 | 9767 41732 126613 | 2147483647 237876 182 | 0.000 % |
241.45/241.61 c | 238596 | 9767 41732 126613 | 2147483647 238596 182 | 0.000 % |
242.75/242.98 c | 239389 | 9767 41732 126613 | 2147483647 239389 182 | 0.000 % |
244.24/244.44 c | 240260 | 9767 41732 126613 | 2147483647 240260 182 | 0.000 % |
245.75/245.99 c | 241219 | 9767 41732 126613 | 2147483647 241219 182 | 0.000 % |
247.54/247.77 c | 242276 | 9767 41732 126613 | 2147483647 242276 182 | 0.000 % |
249.34/249.59 c | 243435 | 9767 41732 126613 | 2147483647 243435 182 | 0.000 % |
251.45/251.66 c | 244710 | 9767 41732 126613 | 2147483647 244710 182 | 0.000 % |
253.74/253.97 c | 246111 | 9767 41732 126613 | 2147483647 246111 182 | 0.000 % |
256.14/256.37 c | 247653 | 9767 41732 126613 | 2147483647 247653 183 | 0.000 % |
258.94/259.17 c | 249348 | 9767 41732 126613 | 2147483647 249348 183 | 0.000 % |
261.84/262.03 c | 251212 | 9767 41732 126613 | 2147483647 251212 183 | 0.000 % |
265.14/265.39 c | 253261 | 9767 41732 126613 | 2147483647 253261 183 | 0.000 % |
269.04/269.21 c | 255514 | 9767 41732 126613 | 2147483647 255514 184 | 0.000 % |
273.23/273.47 c | 257993 | 9767 41732 126613 | 2147483647 257993 184 | 0.000 % |
273.53/273.72 c | 258094 | 9767 41732 126613 | 2147483647 258094 184 | 0.000 % |
273.84/274.00 c | 258204 | 9767 41732 126613 | 2147483647 258204 184 | 0.000 % |
274.04/274.23 c | 258327 | 9767 41732 126613 | 2147483647 258327 184 | 0.000 % |
274.24/274.50 c | 258461 | 9767 41732 126613 | 2147483647 258461 184 | 0.000 % |
274.64/274.81 c | 258607 | 9767 41732 126613 | 2147483647 258607 184 | 0.000 % |
274.94/275.14 c | 258769 | 9767 41732 126613 | 2147483647 258769 184 | 0.000 % |
275.34/275.51 c | 258946 | 9767 41732 126613 | 2147483647 258946 184 | 0.000 % |
275.74/275.91 c | 259139 | 9767 41732 126613 | 2147483647 259139 184 | 0.000 % |
276.14/276.31 c | 259351 | 9767 41732 126613 | 2147483647 259351 184 | 0.000 % |
276.54/276.77 c | 259584 | 9767 41732 126613 | 2147483647 259584 184 | 0.000 % |
277.04/277.29 c | 259840 | 9767 41732 126613 | 2147483647 259840 184 | 0.000 % |
277.63/277.87 c | 260121 | 9767 41732 126613 | 2147483647 260121 184 | 0.000 % |
278.23/278.48 c | 260430 | 9767 41732 126613 | 2147483647 260430 184 | 0.000 % |
278.93/279.13 c | 260770 | 9767 41732 126613 | 2147483647 260770 184 | 0.000 % |
279.63/279.86 c | 261143 | 9767 41732 126613 | 2147483647 261143 184 | 0.000 % |
280.34/280.57 c | 261553 | 9767 41732 126613 | 2147483647 261553 184 | 0.000 % |
281.23/281.47 c | 262003 | 9767 41732 126613 | 2147483647 262003 184 | 0.000 % |
282.23/282.46 c | 262498 | 9767 41732 126613 | 2147483647 262498 184 | 0.000 % |
283.34/283.50 c | 263040 | 9767 41732 126613 | 2147483647 263040 184 | 0.000 % |
284.33/284.57 c | 263637 | 9767 41732 126613 | 2147483647 263637 184 | 0.000 % |
285.53/285.77 c | 264292 | 9767 41732 126613 | 2147483647 264292 184 | 0.000 % |
286.93/287.12 c | 265013 | 9767 41732 126613 | 2147483647 265013 184 | 0.000 % |
288.44/288.60 c | 265805 | 9767 41732 126613 | 2147483647 265805 184 | 0.000 % |
289.94/290.14 c | 266679 | 9767 41732 126613 | 2147483647 266679 184 | 0.000 % |
291.53/291.78 c | 267637 | 9767 41732 126613 | 2147483647 267637 184 | 0.000 % |
293.43/293.68 c | 268690 | 9767 41732 126613 | 2147483647 268690 184 | 0.000 % |
295.53/295.72 c | 269851 | 9767 41732 126613 | 2147483647 269851 184 | 0.000 % |
297.73/297.93 c | 271125 | 9767 41732 126613 | 2147483647 271125 184 | 0.000 % |
300.13/300.38 c | 272525 | 9767 41732 126613 | 2147483647 272525 184 | 0.000 % |
303.13/303.30 c | 274065 | 9767 41732 126613 | 2147483647 274065 184 | 0.000 % |
306.13/306.32 c | 275760 | 9767 41732 126613 | 2147483647 275760 184 | 0.000 % |
309.32/309.59 c | 277623 | 9767 41732 126613 | 2147483647 277623 185 | 0.000 % |
313.13/313.31 c | 279676 | 9767 41732 126613 | 2147483647 279676 185 | 0.000 % |
317.02/317.21 c | 281930 | 9767 41732 126613 | 2147483647 281930 185 | 0.000 % |
321.42/321.68 c | 284409 | 9767 41732 126613 | 2147483647 284409 185 | 0.000 % |
326.32/326.50 c | 287135 | 9767 41732 126613 | 2147483647 287135 186 | 0.000 % |
326.42/326.68 c | 287235 | 9767 41732 126613 | 2147483647 287235 186 | 0.000 % |
326.72/326.97 c | 287345 | 9767 41732 126613 | 2147483647 287345 186 | 0.000 % |
327.02/327.24 c | 287466 | 9767 41732 126613 | 2147483647 287466 186 | 0.000 % |
327.32/327.59 c | 287599 | 9767 41732 126613 | 2147483647 287599 186 | 0.000 % |
327.72/327.96 c | 287745 | 9767 41732 126613 | 2147483647 287745 186 | 0.000 % |
328.12/328.33 c | 287905 | 9767 41732 126613 | 2147483647 287905 186 | 0.000 % |
328.52/328.73 c | 288081 | 9767 41732 126613 | 2147483647 288081 186 | 0.000 % |
328.92/329.17 c | 288275 | 9767 41732 126613 | 2147483647 288275 186 | 0.000 % |
329.42/329.63 c | 288487 | 9767 41732 126613 | 2147483647 288487 186 | 0.000 % |
329.92/330.17 c | 288721 | 9767 41732 126613 | 2147483647 288721 186 | 0.000 % |
330.42/330.69 c | 288978 | 9767 41732 126613 | 2147483647 288978 186 | 0.000 % |
331.12/331.30 c | 289260 | 9767 41732 126613 | 2147483647 289260 186 | 0.000 % |
331.72/331.97 c | 289569 | 9767 41732 126613 | 2147483647 289569 185 | 0.000 % |
332.52/332.76 c | 289911 | 9767 41732 126613 | 2147483647 289911 185 | 0.000 % |
333.32/333.52 c | 290283 | 9767 41732 126613 | 2147483647 290283 185 | 0.000 % |
334.12/334.36 c | 290692 | 9767 41732 126613 | 2147483647 290692 185 | 0.000 % |
335.11/335.30 c | 291141 | 9767 41732 126613 | 2147483647 291141 185 | 0.000 % |
336.11/336.31 c | 291635 | 9767 41732 126613 | 2147483647 291635 185 | 0.000 % |
337.11/337.35 c | 292177 | 9767 41732 126613 | 2147483647 292177 186 | 0.000 % |
338.22/338.50 c | 292773 | 9767 41732 126613 | 2147483647 292773 185 | 0.000 % |
339.61/339.80 c | 293428 | 9767 41732 126613 | 2147483647 293428 185 | 0.000 % |
341.01/341.27 c | 294148 | 9767 41732 126613 | 2147483647 294148 186 | 0.000 % |
342.61/342.80 c | 294942 | 9767 41732 126613 | 2147483647 294942 186 | 0.000 % |
344.31/344.55 c | 295814 | 9767 41732 126613 | 2147483647 295814 186 | 0.000 % |
346.01/346.26 c | 296773 | 9767 41732 126613 | 2147483647 296773 186 | 0.000 % |
348.01/348.25 c | 297828 | 9767 41732 126613 | 2147483647 297828 186 | 0.000 % |
350.11/350.36 c | 298986 | 9767 41732 126613 | 2147483647 298986 186 | 0.000 % |
352.61/352.82 c | 300260 | 9767 41732 126613 | 2147483647 300260 186 | 0.000 % |
355.20/355.46 c | 301662 | 9767 41732 126613 | 2147483647 301662 186 | 0.000 % |
358.10/358.35 c | 303202 | 9767 41732 126613 | 2147483647 303202 186 | 0.000 % |
361.20/361.50 c | 304896 | 9767 41732 126613 | 2147483647 304896 186 | 0.000 % |
364.90/365.13 c | 306764 | 9767 41732 126613 | 2147483647 306764 187 | 0.000 % |
368.90/369.13 c | 308813 | 9767 41732 126613 | 2147483647 308813 187 | 0.000 % |
373.10/373.36 c | 311068 | 9767 41732 126613 | 2147483647 311068 187 | 0.000 % |
377.80/378.08 c | 313547 | 9767 41732 126613 | 2147483647 313547 188 | 0.000 % |
383.30/383.51 c | 316272 | 9767 41732 126613 | 2147483647 316272 188 | 0.000 % |
389.39/389.60 c | 319269 | 9767 41732 126613 | 2147483647 319269 188 | 0.000 % |
389.59/389.87 c | 319369 | 9767 41732 126613 | 2147483647 319369 188 | 0.000 % |
389.89/390.17 c | 319479 | 9767 41732 126613 | 2147483647 319479 188 | 0.000 % |
390.20/390.49 c | 319602 | 9767 41732 126613 | 2147483647 319602 188 | 0.000 % |
390.49/390.79 c | 319735 | 9767 41732 126613 | 2147483647 319735 188 | 0.000 % |
390.89/391.16 c | 319882 | 9767 41732 126613 | 2147483647 319882 188 | 0.000 % |
391.29/391.52 c | 320042 | 9767 41732 126613 | 2147483647 320042 188 | 0.000 % |
391.69/391.98 c | 320219 | 9767 41732 126613 | 2147483647 320219 188 | 0.000 % |
392.20/392.49 c | 320412 | 9767 41732 126613 | 2147483647 320412 188 | 0.000 % |
392.80/393.00 c | 320628 | 9767 41732 126613 | 2147483647 320628 188 | 0.000 % |
393.29/393.55 c | 320862 | 9767 41732 126613 | 2147483647 320862 188 | 0.000 % |
393.89/394.13 c | 321118 | 9767 41732 126613 | 2147483647 321118 188 | 0.000 % |
394.59/394.86 c | 321399 | 9767 41732 126613 | 2147483647 321399 188 | 0.000 % |
395.29/395.59 c | 321709 | 9767 41732 126613 | 2147483647 321709 188 | 0.000 % |
396.09/396.38 c | 322048 | 9767 41732 126613 | 2147483647 322048 188 | 0.000 % |
397.09/397.35 c | 322420 | 9767 41732 126613 | 2147483647 322420 188 | 0.000 % |
398.00/398.29 c | 322829 | 9767 41732 126613 | 2147483647 322829 188 | 0.000 % |
399.00/399.25 c | 323278 | 9767 41732 126613 | 2147483647 323278 188 | 0.000 % |
400.10/400.36 c | 323771 | 9767 41732 126613 | 2147483647 323771 188 | 0.000 % |
401.30/401.59 c | 324313 | 9767 41732 126613 | 2147483647 324313 188 | 0.000 % |
402.69/402.93 c | 324911 | 9767 41732 126613 | 2147483647 324911 188 | 0.000 % |
404.19/404.41 c | 325567 | 9767 41732 126613 | 2147483647 325567 188 | 0.000 % |
405.69/405.99 c | 326287 | 9767 41732 126613 | 2147483647 326287 188 | 0.000 % |
407.38/407.61 c | 327080 | 9767 41732 126613 | 2147483647 327080 188 | 0.000 % |
409.29/409.57 c | 327951 | 9767 41732 126613 | 2147483647 327951 188 | 0.000 % |
411.29/411.53 c | 328909 | 9767 41732 126613 | 2147483647 328909 188 | 0.000 % |
413.49/413.75 c | 329965 | 9767 41732 126613 | 2147483647 329965 188 | 0.000 % |
415.78/416.09 c | 331124 | 9767 41732 126613 | 2147483647 331124 188 | 0.000 % |
418.48/418.74 c | 332397 | 9767 41732 126613 | 2147483647 332397 188 | 0.000 % |
421.48/421.76 c | 333799 | 9767 41732 126613 | 2147483647 333799 188 | 0.000 % |
424.78/425.06 c | 335339 | 9767 41732 126613 | 2147483647 335339 188 | 0.000 % |
428.27/428.53 c | 337035 | 9767 41732 126613 | 2147483647 337035 188 | 0.000 % |
432.17/432.48 c | 338898 | 9767 41732 126613 | 2147483647 338898 189 | 0.000 % |
436.57/436.88 c | 340947 | 9767 41732 126613 | 2147483647 340947 189 | 0.000 % |
441.08/441.38 c | 343201 | 9767 41732 126613 | 2147483647 343201 189 | 0.000 % |
446.37/446.65 c | 345679 | 9767 41732 126613 | 2147483647 345679 189 | 0.000 % |
452.07/452.32 c | 348404 | 9767 41732 126613 | 2147483647 348404 189 | 0.000 % |
458.17/458.42 c | 351401 | 9767 41732 126613 | 2147483647 351401 189 | 0.000 % |
464.97/465.27 c | 354697 | 9767 41732 126613 | 2147483647 354697 189 | 0.000 % |
465.26/465.52 c | 354797 | 9767 41732 126613 | 2147483647 354797 189 | 0.000 % |
465.56/465.84 c | 354908 | 9767 41732 126613 | 2147483647 354908 189 | 0.000 % |
465.86/466.18 c | 355029 | 9767 41732 126613 | 2147483647 355029 189 | 0.000 % |
466.36/466.61 c | 355162 | 9767 41732 126613 | 2147483647 355162 189 | 0.000 % |
466.66/466.97 c | 355308 | 9767 41732 126613 | 2147483647 355308 189 | 0.000 % |
467.17/467.41 c | 355472 | 9767 41732 126613 | 2147483647 355472 189 | 0.000 % |
467.56/467.88 c | 355648 | 9767 41732 126613 | 2147483647 355648 189 | 0.000 % |
468.16/468.42 c | 355841 | 9767 41732 126613 | 2147483647 355841 189 | 0.000 % |
468.76/469.00 c | 356055 | 9767 41732 126613 | 2147483647 356055 189 | 0.000 % |
469.37/469.62 c | 356288 | 9767 41732 126613 | 2147483647 356288 189 | 0.000 % |
470.07/470.30 c | 356544 | 9767 41732 126613 | 2147483647 356544 189 | 0.000 % |
470.77/471.06 c | 356825 | 9767 41732 126613 | 2147483647 356825 189 | 0.000 % |
471.67/471.91 c | 357136 | 9767 41732 126613 | 2147483647 357136 189 | 0.000 % |
472.47/472.76 c | 357475 | 9767 41732 126613 | 2147483647 357475 189 | 0.000 % |
473.37/473.66 c | 357847 | 9767 41732 126613 | 2147483647 357847 189 | 0.000 % |
474.36/474.62 c | 358256 | 9767 41732 126613 | 2147483647 358256 189 | 0.000 % |
475.36/475.67 c | 358707 | 9767 41732 126613 | 2147483647 358707 189 | 0.000 % |
476.56/476.84 c | 359203 | 9767 41732 126613 | 2147483647 359203 189 | 0.000 % |
477.86/478.16 c | 359745 | 9767 41732 126613 | 2147483647 359745 189 | 0.000 % |
479.26/479.54 c | 360342 | 9767 41732 126613 | 2147483647 360342 189 | 0.000 % |
480.86/481.15 c | 360997 | 9767 41732 126613 | 2147483647 360997 189 | 0.000 % |
482.66/482.92 c | 361717 | 9767 41732 126613 | 2147483647 361717 189 | 0.000 % |
484.56/484.80 c | 362513 | 9767 41732 126613 | 2147483647 362513 189 | 0.000 % |
486.66/486.93 c | 363385 | 9767 41732 126613 | 2147483647 363385 189 | 0.000 % |
488.95/489.28 c | 364343 | 9767 41732 126613 | 2147483647 364343 189 | 0.000 % |
491.36/491.69 c | 365398 | 9767 41732 126613 | 2147483647 365398 189 | 0.000 % |
493.86/494.14 c | 366557 | 9767 41732 126613 | 2147483647 366557 189 | 0.000 % |
496.96/497.22 c | 367831 | 9767 41732 126613 | 2147483647 367831 189 | 0.000 % |
500.26/500.55 c | 369233 | 9767 41732 126613 | 2147483647 369233 189 | 0.000 % |
503.76/504.00 c | 370774 | 9767 41732 126613 | 2147483647 370774 189 | 0.000 % |
507.45/507.79 c | 372468 | 9767 41732 126613 | 2147483647 372468 190 | 0.000 % |
511.55/511.81 c | 374331 | 9767 41732 126613 | 2147483647 374331 190 | 0.000 % |
516.05/516.38 c | 376380 | 9767 41732 126613 | 2147483647 376380 190 | 0.000 % |
521.35/521.61 c | 378633 | 9767 41732 126613 | 2147483647 378633 190 | 0.000 % |
526.85/527.10 c | 381113 | 9767 41732 126613 | 2147483647 381113 190 | 0.000 % |
532.55/532.88 c | 383838 | 9767 41732 126613 | 2147483647 383838 190 | 0.000 % |
539.14/539.49 c | 386835 | 9767 41732 126613 | 2147483647 386835 191 | 0.000 % |
546.94/547.30 c | 390131 | 9767 41732 126613 | 2147483647 390131 191 | 0.000 % |
555.03/555.39 c | 393758 | 9767 41732 126613 | 2147483647 393758 191 | 0.000 % |
555.43/555.71 c | 393858 | 9767 41732 126613 | 2147483647 393858 191 | 0.000 % |
555.73/556.09 c | 393969 | 9767 41732 126613 | 2147483647 393969 191 | 0.000 % |
556.14/556.44 c | 394091 | 9767 41732 126613 | 2147483647 394091 191 | 0.000 % |
556.64/556.92 c | 394225 | 9767 41732 126613 | 2147483647 394225 191 | 0.000 % |
557.04/557.33 c | 394371 | 9767 41732 126613 | 2147483647 394371 191 | 0.000 % |
557.54/557.80 c | 394531 | 9767 41732 126613 | 2147483647 394531 191 | 0.000 % |
558.04/558.34 c | 394709 | 9767 41732 126613 | 2147483647 394709 191 | 0.000 % |
558.64/558.94 c | 394902 | 9767 41732 126613 | 2147483647 394902 191 | 0.000 % |
559.14/559.50 c | 395114 | 9767 41732 126613 | 2147483647 395114 191 | 0.000 % |
559.84/560.16 c | 395347 | 9767 41732 126613 | 2147483647 395347 191 | 0.000 % |
560.64/560.99 c | 395606 | 9767 41732 126613 | 2147483647 395606 191 | 0.000 % |
561.43/561.79 c | 395888 | 9767 41732 126613 | 2147483647 395888 191 | 0.000 % |
562.43/562.70 c | 396197 | 9767 41732 126613 | 2147483647 396197 191 | 0.000 % |
563.23/563.57 c | 396536 | 9767 41732 126613 | 2147483647 396536 191 | 0.000 % |
564.33/564.62 c | 396908 | 9767 41732 126613 | 2147483647 396908 191 | 0.000 % |
565.33/565.65 c | 397319 | 9767 41732 126613 | 2147483647 397319 191 | 0.000 % |
566.64/566.95 c | 397769 | 9767 41732 126613 | 2147483647 397769 191 | 0.000 % |
567.93/568.27 c | 398264 | 9767 41732 126613 | 2147483647 398264 191 | 0.000 % |
569.33/569.64 c | 398806 | 9767 41732 126613 | 2147483647 398806 191 | 0.000 % |
570.93/571.25 c | 399403 | 9767 41732 126613 | 2147483647 399403 191 | 0.000 % |
572.63/572.93 c | 400058 | 9767 41732 126613 | 2147483647 400058 191 | 0.000 % |
574.53/574.85 c | 400779 | 9767 41732 126613 | 2147483647 400779 191 | 0.000 % |
576.63/576.92 c | 401571 | 9767 41732 126613 | 2147483647 401571 191 | 0.000 % |
579.03/579.34 c | 402442 | 9767 41732 126613 | 2147483647 402442 191 | 0.000 % |
581.43/581.79 c | 403400 | 9767 41732 126613 | 2147483647 403400 191 | 0.000 % |
584.02/584.33 c | 404453 | 9767 41732 126613 | 2147483647 404453 191 | 0.000 % |
586.83/587.15 c | 405613 | 9767 41732 126613 | 2147483647 405613 191 | 0.000 % |
590.22/590.51 c | 406886 | 9767 41732 126613 | 2147483647 406886 191 | 0.000 % |
593.63/593.98 c | 408286 | 9767 41732 126613 | 2147483647 408286 191 | 0.000 % |
597.52/597.87 c | 409826 | 9767 41732 126613 | 2147483647 409826 191 | 0.000 % |
601.82/602.10 c | 411520 | 9767 41732 126613 | 2147483647 411520 191 | 0.000 % |
606.72/607.02 c | 413383 | 9767 41732 126613 | 2147483647 413383 191 | 0.000 % |
611.32/611.63 c | 415434 | 9767 41732 126613 | 2147483647 415434 191 | 0.000 % |
616.61/616.94 c | 417688 | 9767 41732 126613 | 2147483647 417688 192 | 0.000 % |
622.62/622.91 c | 420168 | 9767 41732 126613 | 2147483647 420168 192 | 0.000 % |
629.41/629.71 c | 422893 | 9767 41732 126613 | 2147483647 422893 192 | 0.000 % |
636.81/637.19 c | 425893 | 9767 41732 126613 | 2147483647 425893 192 | 0.000 % |
644.90/645.22 c | 429189 | 9767 41732 126613 | 2147483647 429189 192 | 0.000 % |
654.21/654.55 c | 432815 | 9767 41732 126613 | 2147483647 432815 193 | 0.000 % |
664.41/664.79 c | 436802 | 9767 41732 126613 | 2147483647 436802 193 | 0.000 % |
664.81/665.15 c | 436904 | 9767 41732 126613 | 2147483647 436904 193 | 0.000 % |
665.11/665.49 c | 437014 | 9767 41732 126613 | 2147483647 437014 193 | 0.000 % |
665.60/665.99 c | 437135 | 9767 41732 126613 | 2147483647 437135 193 | 0.000 % |
666.11/666.41 c | 437269 | 9767 41732 126613 | 2147483647 437269 193 | 0.000 % |
666.51/666.89 c | 437417 | 9767 41732 126613 | 2147483647 437417 193 | 0.000 % |
667.10/667.42 c | 437578 | 9767 41732 126613 | 2147483647 437578 193 | 0.000 % |
667.70/668.07 c | 437755 | 9767 41732 126613 | 2147483647 437755 193 | 0.000 % |
668.41/668.78 c | 437949 | 9767 41732 126613 | 2147483647 437949 193 | 0.000 % |
669.10/669.50 c | 438161 | 9767 41732 126613 | 2147483647 438161 193 | 0.000 % |
669.80/670.20 c | 438394 | 9767 41732 126613 | 2147483647 438394 193 | 0.000 % |
670.71/671.01 c | 438650 | 9767 41732 126613 | 2147483647 438650 193 | 0.000 % |
671.50/671.86 c | 438934 | 9767 41732 126613 | 2147483647 438934 193 | 0.000 % |
672.50/672.89 c | 439243 | 9767 41732 126613 | 2147483647 439243 193 | 0.000 % |
673.60/673.91 c | 439583 | 9767 41732 126613 | 2147483647 439583 193 | 0.000 % |
674.80/675.10 c | 439955 | 9767 41732 126613 | 2147483647 439955 193 | 0.000 % |
675.90/676.29 c | 440364 | 9767 41732 126613 | 2147483647 440364 193 | 0.000 % |
677.30/677.60 c | 440816 | 9767 41732 126613 | 2147483647 440816 193 | 0.000 % |
678.69/679.01 c | 441309 | 9767 41732 126613 | 2147483647 441309 193 | 0.000 % |
680.10/680.49 c | 441851 | 9767 41732 126613 | 2147483647 441851 193 | 0.000 % |
681.90/682.22 c | 442447 | 9767 41732 126613 | 2147483647 442447 193 | 0.000 % |
683.70/684.01 c | 443103 | 9767 41732 126613 | 2147483647 443103 193 | 0.000 % |
685.59/685.96 c | 443825 | 9767 41732 126613 | 2147483647 443825 193 | 0.000 % |
687.79/688.11 c | 444617 | 9767 41732 126613 | 2147483647 444617 193 | 0.000 % |
690.09/690.42 c | 445488 | 9767 41732 126613 | 2147483647 445488 193 | 0.000 % |
692.60/692.97 c | 446446 | 9767 41732 126613 | 2147483647 446446 193 | 0.000 % |
695.59/696.00 c | 447499 | 9767 41732 126613 | 2147483647 447499 193 | 0.000 % |
698.99/699.36 c | 448657 | 9767 41732 126613 | 2147483647 448657 193 | 0.000 % |
702.29/702.65 c | 449930 | 9767 41732 126613 | 2147483647 449930 193 | 0.000 % |
706.09/706.47 c | 451331 | 9767 41732 126613 | 2147483647 451331 193 | 0.000 % |
710.09/710.50 c | 452871 | 9767 41732 126613 | 2147483647 452871 193 | 0.000 % |
714.78/715.11 c | 454566 | 9767 41732 126613 | 2147483647 454566 193 | 0.000 % |
720.09/720.47 c | 456433 | 9767 41732 126613 | 2147483647 456433 194 | 0.000 % |
725.09/725.47 c | 458482 | 9767 41732 126613 | 2147483647 458482 194 | 0.000 % |
731.08/731.47 c | 460735 | 9767 41732 126613 | 2147483647 460735 194 | 0.000 % |
737.87/738.20 c | 463213 | 9767 41732 126613 | 2147483647 463213 194 | 0.000 % |
744.97/745.37 c | 465938 | 9767 41732 126613 | 2147483647 465938 194 | 0.000 % |
752.66/753.02 c | 468935 | 9767 41732 126613 | 2147483647 468935 194 | 0.000 % |
761.47/761.81 c | 472231 | 9767 41732 126613 | 2147483647 472231 194 | 0.000 % |
770.76/771.15 c | 475856 | 9767 41732 126613 | 2147483647 475856 195 | 0.000 % |
782.06/782.43 c | 479846 | 9767 41732 126613 | 2147483647 479846 195 | 0.000 % |
794.25/794.60 c | 484233 | 9767 41732 126613 | 2147483647 484233 195 | 0.000 % |
794.55/794.96 c | 484334 | 9767 41732 126613 | 2147483647 484334 195 | 0.000 % |
794.96/795.37 c | 484444 | 9767 41732 126613 | 2147483647 484444 195 | 0.000 % |
795.35/795.79 c | 484566 | 9767 41732 126613 | 2147483647 484566 195 | 0.000 % |
795.96/796.38 c | 484701 | 9767 41732 126613 | 2147483647 484701 195 | 0.000 % |
796.56/796.90 c | 484848 | 9767 41732 126613 | 2147483647 484848 195 | 0.000 % |
797.06/797.50 c | 485008 | 9767 41732 126613 | 2147483647 485008 195 | 0.000 % |
797.86/798.21 c | 485184 | 9767 41732 126613 | 2147483647 485184 195 | 0.000 % |
798.56/798.92 c | 485378 | 9767 41732 126613 | 2147483647 485378 195 | 0.000 % |
799.36/799.78 c | 485590 | 9767 41732 126613 | 2147483647 485590 195 | 0.000 % |
800.16/800.57 c | 485825 | 9767 41732 126613 | 2147483647 485825 195 | 0.000 % |
801.06/801.46 c | 486082 | 9767 41732 126613 | 2147483647 486082 195 | 0.000 % |
802.16/802.50 c | 486363 | 9767 41732 126613 | 2147483647 486363 195 | 0.000 % |
803.06/803.44 c | 486673 | 9767 41732 126613 | 2147483647 486673 195 | 0.000 % |
804.15/804.54 c | 487012 | 9767 41732 126613 | 2147483647 487012 195 | 0.000 % |
805.45/805.83 c | 487385 | 9767 41732 126613 | 2147483647 487385 195 | 0.000 % |
806.85/807.26 c | 487794 | 9767 41732 126613 | 2147483647 487794 195 | 0.000 % |
808.15/808.59 c | 488246 | 9767 41732 126613 | 2147483647 488246 195 | 0.000 % |
809.75/810.20 c | 488740 | 9767 41732 126613 | 2147483647 488740 195 | 0.000 % |
811.55/811.99 c | 489283 | 9767 41732 126613 | 2147483647 489283 195 | 0.000 % |
813.45/813.81 c | 489880 | 9767 41732 126613 | 2147483647 489880 195 | 0.000 % |
815.35/815.72 c | 490536 | 9767 41732 126613 | 2147483647 490536 195 | 0.000 % |
817.65/818.09 c | 491257 | 9767 41732 126613 | 2147483647 491257 195 | 0.000 % |
820.25/820.66 c | 492050 | 9767 41732 126613 | 2147483647 492050 195 | 0.000 % |
822.84/823.27 c | 492921 | 9767 41732 126613 | 2147483647 492921 195 | 0.000 % |
825.94/826.32 c | 493879 | 9767 41732 126613 | 2147483647 493879 195 | 0.000 % |
829.25/829.66 c | 494932 | 9767 41732 126613 | 2147483647 494932 195 | 0.000 % |
832.64/833.05 c | 496090 | 9767 41732 126613 | 2147483647 496090 195 | 0.000 % |
836.75/837.17 c | 497364 | 9767 41732 126613 | 2147483647 497364 195 | 0.000 % |
840.74/841.13 c | 498767 | 9767 41732 126613 | 2147483647 498767 195 | 0.000 % |
845.13/845.55 c | 500309 | 9767 41732 126613 | 2147483647 500309 195 | 0.000 % |
850.14/850.57 c | 502003 | 9767 41732 126613 | 2147483647 502003 195 | 0.000 % |
855.74/856.17 c | 503867 | 9767 41732 126613 | 2147483647 503867 195 | 0.000 % |
861.13/861.59 c | 505916 | 9767 41732 126613 | 2147483647 505916 195 | 0.000 % |
867.63/868.08 c | 508169 | 9767 41732 126613 | 2147483647 508169 195 | 0.000 % |
874.23/874.70 c | 510647 | 9767 41732 126613 | 2147483647 510647 196 | 0.000 % |
882.02/882.42 c | 513372 | 9767 41732 126613 | 2147483647 513372 196 | 0.000 % |
890.33/890.77 c | 516369 | 9767 41732 126613 | 2147483647 516369 196 | 0.000 % |
900.52/900.93 c | 519668 | 9767 41732 126613 | 2147483647 519668 196 | 0.000 % |
910.92/911.35 c | 523295 | 9767 41732 126613 | 2147483647 523295 196 | 0.000 % |
922.62/923.02 c | 527282 | 9767 41732 126613 | 2147483647 527282 197 | 0.000 % |
935.51/935.97 c | 531668 | 9767 41732 126613 | 2147483647 531668 197 | 0.000 % |
949.31/949.73 c | 536491 | 9767 41732 126613 | 2147483647 536491 197 | 0.000 % |
949.71/950.13 c | 536591 | 9767 41732 126613 | 2147483647 536591 197 | 0.000 % |
950.21/950.69 c | 536703 | 9767 41732 126613 | 2147483647 536703 197 | 0.000 % |
950.71/951.19 c | 536826 | 9767 41732 126613 | 2147483647 536826 197 | 0.000 % |
951.31/951.74 c | 536959 | 9767 41732 126613 | 2147483647 536959 197 | 0.000 % |
951.91/952.40 c | 537106 | 9767 41732 126613 | 2147483647 537106 197 | 0.000 % |
952.61/953.01 c | 537266 | 9767 41732 126613 | 2147483647 537266 197 | 0.000 % |
953.31/953.73 c | 537443 | 9767 41732 126613 | 2147483647 537443 197 | 0.000 % |
954.00/954.45 c | 537639 | 9767 41732 126613 | 2147483647 537639 197 | 0.000 % |
954.80/955.23 c | 537851 | 9767 41732 126613 | 2147483647 537851 197 | 0.000 % |
955.70/956.16 c | 538084 | 9767 41732 126613 | 2147483647 538084 197 | 0.000 % |
956.80/957.22 c | 538340 | 9767 41732 126613 | 2147483647 538340 197 | 0.000 % |
957.90/958.34 c | 538621 | 9767 41732 126613 | 2147483647 538621 197 | 0.000 % |
959.10/959.50 c | 538930 | 9767 41732 126613 | 2147483647 538930 197 | 0.000 % |
960.40/960.82 c | 539269 | 9767 41732 126613 | 2147483647 539269 197 | 0.000 % |
961.80/962.25 c | 539643 | 9767 41732 126613 | 2147483647 539643 197 | 0.000 % |
963.30/963.70 c | 540052 | 9767 41732 126613 | 2147483647 540052 197 | 0.000 % |
964.90/965.34 c | 540501 | 9767 41732 126613 | 2147483647 540501 197 | 0.000 % |
966.59/967.07 c | 540994 | 9767 41732 126613 | 2147483647 540994 197 | 0.000 % |
968.60/969.08 c | 541536 | 9767 41732 126613 | 2147483647 541536 197 | 0.000 % |
970.81/971.28 c | 542132 | 9767 41732 126613 | 2147483647 542132 197 | 0.000 % |
973.20/973.63 c | 542790 | 9767 41732 126613 | 2147483647 542790 197 | 0.000 % |
975.59/976.08 c | 543511 | 9767 41732 126613 | 2147483647 543511 197 | 0.000 % |
978.50/978.96 c | 544303 | 9767 41732 126613 | 2147483647 544303 197 | 0.000 % |
981.49/981.90 c | 545177 | 9767 41732 126613 | 2147483647 545177 197 | 0.000 % |
984.60/985.00 c | 546137 | 9767 41732 126613 | 2147483647 546137 197 | 0.000 % |
987.79/988.23 c | 547191 | 9767 41732 126613 | 2147483647 547191 197 | 0.000 % |
991.69/992.14 c | 548351 | 9767 41732 126613 | 2147483647 548351 197 | 0.000 % |
996.20/996.60 c | 549625 | 9767 41732 126613 | 2147483647 549625 197 | 0.000 % |
1000.29/1000.77 c | 551027 | 9767 41732 126613 | 2147483647 551027 197 | 0.000 % |
1005.59/1006.03 c | 552567 | 9767 41732 126613 | 2147483647 552567 197 | 0.000 % |
1010.88/1011.36 c | 554261 | 9767 41732 126613 | 2147483647 554261 197 | 0.000 % |
1016.88/1017.34 c | 556124 | 9767 41732 126613 | 2147483647 556124 197 | 0.000 % |
1023.08/1023.55 c | 558175 | 9767 41732 126613 | 2147483647 558175 197 | 0.000 % |
1030.58/1031.02 c | 560429 | 9767 41732 126613 | 2147483647 560429 197 | 0.000 % |
1038.28/1038.80 c | 562908 | 9767 41732 126613 | 2147483647 562908 197 | 0.000 % |
1047.08/1047.51 c | 565636 | 9767 41732 126613 | 2147483647 565636 197 | 0.000 % |
1056.68/1057.16 c | 568633 | 9767 41732 126613 | 2147483647 568633 197 | 0.000 % |
1067.47/1067.90 c | 571929 | 9767 41732 126613 | 2147483647 571929 197 | 0.000 % |
1078.76/1079.26 c | 575554 | 9767 41732 126613 | 2147483647 575554 197 | 0.000 % |
1091.76/1092.29 c | 579542 | 9767 41732 126613 | 2147483647 579542 198 | 0.000 % |
1105.35/1105.84 c | 583929 | 9767 41732 126613 | 2147483647 583929 198 | 0.000 % |
1119.06/1119.56 c | 588753 | 9767 41732 126613 | 2147483647 588753 199 | 0.000 % |
1135.75/1136.30 c | 594058 | 9767 41732 126613 | 2147483647 594058 199 | 0.000 % |
1136.35/1136.81 c | 594160 | 9767 41732 126613 | 2147483647 594160 199 | 0.000 % |
1136.85/1137.32 c | 594270 | 9767 41732 126613 | 2147483647 594270 199 | 0.000 % |
1137.45/1137.92 c | 594391 | 9767 41732 126613 | 2147483647 594391 199 | 0.000 % |
1138.05/1138.55 c | 594524 | 9767 41732 126613 | 2147483647 594524 199 | 0.000 % |
1138.75/1139.29 c | 594670 | 9767 41732 126613 | 2147483647 594670 199 | 0.000 % |
1139.55/1140.05 c | 594830 | 9767 41732 126613 | 2147483647 594830 199 | 0.000 % |
1140.34/1140.85 c | 595006 | 9767 41732 126613 | 2147483647 595006 199 | 0.000 % |
1141.35/1141.82 c | 595199 | 9767 41732 126613 | 2147483647 595199 199 | 0.000 % |
1142.24/1142.74 c | 595414 | 9767 41732 126613 | 2147483647 595414 199 | 0.000 % |
1143.24/1143.72 c | 595648 | 9767 41732 126613 | 2147483647 595648 199 | 0.000 % |
1144.24/1144.78 c | 595904 | 9767 41732 126613 | 2147483647 595904 199 | 0.000 % |
1145.34/1145.88 c | 596186 | 9767 41732 126613 | 2147483647 596186 199 | 0.000 % |
1146.55/1147.09 c | 596495 | 9767 41732 126613 | 2147483647 596495 199 | 0.000 % |
1147.85/1148.34 c | 596834 | 9767 41732 126613 | 2147483647 596834 199 | 0.000 % |
1149.25/1149.79 c | 597207 | 9767 41732 126613 | 2147483647 597207 199 | 0.000 % |
1150.84/1151.30 c | 597616 | 9767 41732 126613 | 2147483647 597616 199 | 0.000 % |
1152.54/1153.04 c | 598066 | 9767 41732 126613 | 2147483647 598066 199 | 0.000 % |
1154.54/1155.09 c | 598559 | 9767 41732 126613 | 2147483647 598559 199 | 0.000 % |
1156.74/1157.21 c | 599101 | 9767 41732 126613 | 2147483647 599101 199 | 0.000 % |
1158.84/1159.33 c | 599698 | 9767 41732 126613 | 2147483647 599698 199 | 0.000 % |
1161.43/1161.98 c | 600353 | 9767 41732 126613 | 600002 600353 199 | 0.000 % |
1164.53/1165.06 c | 601074 | 9767 41732 126613 | 600002 524265 198 | 0.000 % |
1167.13/1167.60 c | 601867 | 9767 41732 126613 | 600002 525058 198 | 0.000 % |
1169.83/1170.33 c | 602739 | 9767 41732 126613 | 600002 525930 198 | 0.000 % |
1173.03/1173.56 c | 603697 | 9767 41732 126613 | 600002 526888 198 | 0.000 % |
1176.43/1176.96 c | 604750 | 9767 41732 126613 | 600002 527941 198 | 0.000 % |
1180.03/1180.55 c | 605908 | 9767 41732 126613 | 600002 529099 198 | 0.000 % |
1184.03/1184.56 c | 607181 | 9767 41732 126613 | 600002 530372 198 | 0.000 % |
1188.33/1188.88 c | 608584 | 9767 41732 126613 | 600002 531775 198 | 0.000 % |
1193.33/1193.81 c | 610124 | 9767 41732 126613 | 2147483647 533315 198 | 0.000 % |
1198.53/1199.06 c | 611818 | 9767 41732 126613 | 2147483647 535009 198 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832669-1242786114/watcher-1832669-1242786114 -o /tmp/evaluation-result-1832669-1242786114/solver-1832669-1242786114 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832669-1242786114.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 3/64 12529
/proc/meminfo: memFree=1893632/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306639587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12529/statm: 1339 237 197 169 0 50 0
[startup+0.0769069 s]
/proc/loadavg: 0.92 1.00 0.99 3/64 12529
/proc/meminfo: memFree=1893632/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306639587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12529/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101906 s]
/proc/loadavg: 0.92 1.00 0.99 3/64 12529
/proc/meminfo: memFree=1893632/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306639587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12529/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301934 s]
/proc/loadavg: 0.92 1.00 0.99 3/64 12529
/proc/meminfo: memFree=1893632/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+0.70198 s]
/proc/loadavg: 0.92 1.00 0.99 3/64 12529
/proc/meminfo: memFree=1893632/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+1.50106 s]
/proc/loadavg: 0.92 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1887408/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=7176 CPUtime=1.29
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 1581 0 0 0 129 0 0 0 25 0 1 0 306639606 7348224 1567 1992294400 134512640 135215339 4294956240 18446744073709551615 134539375 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 1794 1567 77 171 0 1621 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12532
[startup+3.10123 s]
/proc/loadavg: 0.92 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1885104/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=10388 CPUtime=2.9
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 2368 0 0 0 288 2 0 0 25 0 1 0 306639606 10637312 2354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 2597 2354 77 171 0 2424 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15744
[startup+6.30159 s]
/proc/loadavg: 0.93 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1878960/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=15968 CPUtime=6.1
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 3759 0 0 0 607 3 0 0 25 0 1 0 306639606 16351232 3745 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 3992 3745 77 171 0 3819 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21324
[startup+12.7013 s]
/proc/loadavg: 0.93 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1869112/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=25204 CPUtime=12.49
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 6076 0 0 0 1244 5 0 0 25 0 1 0 306639606 25808896 6062 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 6301 6062 77 171 0 6128 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 30560
[startup+25.5027 s]
/proc/loadavg: 0.95 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1852856/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=40860 CPUtime=25.28
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 9978 0 0 0 2520 8 0 0 25 0 1 0 306639606 41840640 9964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 10215 9964 77 171 0 10042 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 46216
[startup+51.1025 s]
/proc/loadavg: 0.96 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1827448/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=66328 CPUtime=50.86
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 16344 0 0 0 5070 16 0 0 25 0 1 0 306639606 67919872 16330 1992294400 134512640 135215339 4294956240 18446744073709551615 134532732 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 16582 16330 77 171 0 16409 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 71684
[startup+102.306 s]
/proc/loadavg: 0.98 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1787576/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=105848 CPUtime=102.03
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 26174 0 0 0 10177 26 0 0 25 0 1 0 306639606 108388352 26160 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 26462 26160 77 171 0 26289 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 111204
[startup+162.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1750136/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=143072 CPUtime=162
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 35547 0 0 0 16163 37 0 0 25 0 1 0 306639606 146505728 35533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 35768 35533 77 171 0 35595 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 148428
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1718520/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=174760 CPUtime=221.98
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 43379 0 0 0 22150 48 0 0 25 0 1 0 306639606 178954240 43365 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 43690 43365 77 171 0 43517 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 180116
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1689400/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=203804 CPUtime=281.95
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 50682 0 0 0 28139 56 0 0 25 0 1 0 306639606 208695296 50668 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 50951 50668 77 171 0 50778 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 209160
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1662456/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=230216 CPUtime=341.93
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 57337 0 0 0 34130 63 0 0 25 0 1 0 306639606 235741184 57323 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 57554 57323 77 171 0 57381 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 235572
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1636472/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=256700 CPUtime=401.91
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 63821 0 0 0 40119 72 0 0 25 0 1 0 306639606 262860800 63807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 64175 63807 77 171 0 64002 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 262056
[startup+462.302 s]
################
# More data... #
################
/proc/12535/statm: 80543 80263 77 171 0 80370 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 327528
[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1548216/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=343820 CPUtime=641.83
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 85695 0 0 0 64086 97 0 0 25 0 1 0 306639606 352071680 85681 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 85955 85681 77 171 0 85782 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 349176
[startup+702.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1529592/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=362432 CPUtime=701.81
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 90366 0 0 0 70079 102 0 0 25 0 1 0 306639606 371130368 90352 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 90608 90352 77 171 0 90435 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 367788
[startup+762.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1509368/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=383144 CPUtime=761.79
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 95343 0 0 0 76070 109 0 0 25 0 1 0 306639606 392339456 95329 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 95786 95329 77 171 0 95613 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 388500
[startup+822.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1492408/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=400172 CPUtime=821.76
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 99613 0 0 0 82063 113 0 0 25 0 1 0 306639606 409776128 99599 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 100043 99599 77 171 0 99870 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 405528
[startup+882.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1473720/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=418392 CPUtime=881.74
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 104208 0 0 0 88056 118 0 0 25 0 1 0 306639606 428433408 104194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 104598 104194 77 171 0 104425 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 423748
[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1455224/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=436872 CPUtime=941.73
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 108852 0 0 0 94048 125 0 0 25 0 1 0 306639606 447356928 108838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 109218 108838 77 171 0 109045 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 442228
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1440184/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=451660 CPUtime=1001.71
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 112547 0 0 0 100042 129 0 0 25 0 1 0 306639606 462499840 112533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 112915 112533 77 171 0 112742 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 457016
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1424312/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=467372 CPUtime=1061.69
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 116505 0 0 0 106036 133 0 0 25 0 1 0 306639606 478588928 116491 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 116843 116491 77 171 0 116670 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 472728
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1404600/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=486908 CPUtime=1121.67
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 121389 0 0 0 112027 140 0 0 25 0 1 0 306639606 498593792 121375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 121727 121375 77 171 0 121554 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 492264
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1395320/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=495884 CPUtime=1181.65
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 123647 0 0 0 118023 142 0 0 25 0 1 0 306639606 507785216 123633 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 123971 123633 77 171 0 123798 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 501240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1395320/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=495884 CPUtime=1199.85
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 123647 0 0 0 119842 143 0 0 25 0 1 0 306639606 507785216 123633 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 123971 123633 77 171 0 123798 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 501240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 12535
/proc/meminfo: memFree=1395320/2055920 swapFree=4178740/4192956
[pid=12529] ppid=12527 vsize=5356 CPUtime=0.18
/proc/12529/stat : 12529 (SatELiteGTI) S 12527 12529 11746 0 -1 4194304 336 1606 0 0 0 0 17 1 16 0 1 0 306639587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12529/statm: 1339 239 197 169 0 50 0
[pid=12535] ppid=12529 vsize=495884 CPUtime=1199.85
/proc/12535/stat : 12535 (minisat_static) R 12529 12529 11746 0 -1 4194304 123647 0 0 0 119842 143 0 0 25 0 1 0 306639606 507785216 123633 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12535/statm: 123971 123633 77 171 0 123798 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 501240
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12529 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=173973
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=12998
# CPU time returned by wait4() is 0.186971
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.03
CPU user time (s): 1198.59
CPU system time (s): 1.44
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 501240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.173973
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1942
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= 13
involuntary context switches= 5
runsolver used 1.44078 second user time and 3.03154 second system time
The end
Begin job on node42 at 2009-05-20 04:21:54
IDJOB=1832669
IDBENCH=70298
IDSOLVER=671
FILE ID=node42/1832669-1242786114
PBS_JOBID= 9322338
Free space on /tmp= 66376 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832669-1242786114/watcher-1832669-1242786114 -o /tmp/evaluation-result-1832669-1242786114/solver-1832669-1242786114 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832669-1242786114.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0a19f92dcb720285a20d980734b7d718
RANDOM SEED=1753005043
node42.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1894112 kB
Buffers: 30448 kB
Cached: 83508 kB
SwapCached: 8852 kB
Active: 32576 kB
Inactive: 92008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1894112 kB
SwapTotal: 4192956 kB
SwapFree: 4178740 kB
Dirty: 2336 kB
Writeback: 0 kB
Mapped: 14580 kB
Slab: 23336 kB
Committed_AS: 1117660 kB
PageTables: 1396 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66372 MiB
End job on node42 at 2009-05-20 04:41:57