0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 50400 151200 | 15119 0 0 nan | 0.000 % |
0.00/0.17 c | 0 | 50088 152087 | -- 0 -- -- | -- | -312/887
0.00/0.17 c ==============================================================================
0.00/0.17 c Result : #vars: 11707 #clauses: 50088 #literals: 152087
0.00/0.17 c CPU time: 0.165974 s
0.00/0.17 c ==============================================================================
0.00/0.23 c This is MiniSat 2.0 beta
0.00/0.23 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.23 c ============================[ Problem Statistics ]=============================
0.00/0.23 c | |
0.00/0.23 c | Number of variables: 11707 |
0.00/0.23 c | Number of clauses: 50088 |
0.00/0.27 c | Parsing time: 0.03 s |
0.00/0.27 c ============================[ Search Statistics ]==============================
0.00/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.27 c ===============================================================================
0.00/0.27 c | 0 | 11707 50088 152087 | 16696 0 nan | 0.000 % |
0.22/0.31 c | 100 | 11707 50088 152087 | 16696 100 155 | 0.000 % |
0.22/0.34 c | 200 | 11707 50088 152087 | 16696 200 148 | 0.000 % |
0.22/0.39 c | 304 | 11707 50088 152087 | 16696 304 160 | 0.000 % |
0.22/0.43 c | 416 | 11707 50088 152087 | 16696 416 159 | 0.000 % |
0.22/0.46 c | 516 | 11707 50088 152087 | 16696 516 155 | 0.000 % |
0.22/0.50 c | 630 | 11707 50088 152087 | 16696 630 148 | 0.000 % |
0.22/0.55 c | 751 | 11707 50088 152087 | 16696 751 151 | 0.000 % |
0.22/0.59 c | 851 | 11707 50088 152087 | 16696 851 158 | 0.000 % |
0.22/0.63 c | 962 | 11707 50088 152087 | 16696 962 155 | 0.000 % |
0.22/0.67 c | 1087 | 11707 50088 152087 | 16696 1087 153 | 0.000 % |
0.22/0.73 c | 1220 | 11707 50088 152087 | 16696 1220 153 | 0.000 % |
0.22/0.76 c | 1322 | 11707 50088 152087 | 16696 1322 152 | 0.000 % |
0.22/0.80 c | 1434 | 11707 50088 152087 | 16696 1434 150 | 0.000 % |
0.22/0.85 c | 1555 | 11707 50088 152087 | 16696 1555 150 | 0.000 % |
0.22/0.91 c | 1688 | 11707 50088 152087 | 16696 1688 152 | 0.000 % |
0.22/0.97 c | 1834 | 11707 50088 152087 | 16696 1834 156 | 0.000 % |
0.97/1.01 c | 1934 | 11707 50088 152087 | 16696 1934 155 | 0.000 % |
0.97/1.05 c | 2044 | 11707 50088 152087 | 16696 2044 153 | 0.000 % |
1.07/1.11 c | 2170 | 11707 50088 152087 | 16696 2170 154 | 0.000 % |
1.07/1.16 c | 2303 | 11707 50088 152087 | 16696 2303 157 | 0.000 % |
1.17/1.22 c | 2450 | 11707 50088 152087 | 16696 2450 157 | 0.000 % |
1.17/1.27 c | 2610 | 11707 50088 152087 | 16696 2610 156 | 0.000 % |
1.27/1.31 c | 2710 | 11707 50088 152087 | 16696 2710 156 | 0.000 % |
1.27/1.36 c | 2820 | 11707 50088 152087 | 16696 2820 158 | 0.000 % |
1.38/1.41 c | 2941 | 11707 50088 152087 | 16696 2941 158 | 0.000 % |
1.38/1.46 c | 3074 | 11707 50088 152087 | 16696 3074 158 | 0.000 % |
1.47/1.52 c | 3222 | 11707 50088 152087 | 16696 3222 159 | 0.000 % |
1.47/1.58 c | 3384 | 11707 50088 152087 | 16696 3384 160 | 0.000 % |
1.57/1.65 c | 3560 | 11707 50088 152087 | 16696 3560 160 | 0.000 % |
1.67/1.70 c | 3660 | 11707 50088 152087 | 16696 3660 159 | 0.000 % |
1.67/1.75 c | 3771 | 11707 50088 152087 | 16696 3771 160 | 0.000 % |
1.77/1.80 c | 3892 | 11707 50088 152087 | 16696 3892 160 | 0.000 % |
1.77/1.86 c | 4025 | 11707 50088 152087 | 16696 4025 160 | 0.000 % |
1.87/1.92 c | 4171 | 11707 50088 152087 | 16696 4171 160 | 0.000 % |
1.87/1.99 c | 4331 | 11707 50088 152087 | 16696 4331 162 | 0.000 % |
1.97/2.06 c | 4510 | 11707 50088 152087 | 16696 4510 162 | 0.000 % |
2.08/2.14 c | 4703 | 11707 50088 152087 | 16696 4703 162 | 0.000 % |
2.08/2.18 c | 4804 | 11707 50088 152087 | 16696 4804 162 | 0.000 % |
2.18/2.22 c | 4914 | 11707 50088 152087 | 16696 4914 162 | 0.000 % |
2.18/2.27 c | 5035 | 11707 50088 152087 | 16696 5035 161 | 0.000 % |
2.27/2.33 c | 5169 | 11707 50088 152087 | 16696 5169 163 | 0.000 % |
2.27/2.38 c | 5315 | 11707 50088 152087 | 16696 5315 162 | 0.000 % |
2.37/2.46 c | 5475 | 11707 50088 152087 | 16696 5475 162 | 0.000 % |
2.47/2.53 c | 5651 | 11707 50088 152087 | 16696 5651 163 | 0.000 % |
2.57/2.61 c | 5845 | 11707 50088 152087 | 16696 5845 163 | 0.000 % |
2.67/2.70 c | 6058 | 11707 50088 152087 | 16696 6058 163 | 0.000 % |
2.67/2.74 c | 6159 | 11707 50088 152087 | 16696 6159 163 | 0.000 % |
2.67/2.79 c | 6270 | 11707 50088 152087 | 16696 6270 162 | 0.000 % |
2.78/2.85 c | 6391 | 11707 50088 152087 | 16696 6391 163 | 0.000 % |
2.88/2.90 c | 6526 | 11707 50088 152087 | 16696 6526 162 | 0.000 % |
2.88/2.96 c | 6672 | 11707 50088 152087 | 16696 6672 162 | 0.000 % |
2.98/3.02 c | 6833 | 11707 50088 152087 | 16696 6833 162 | 0.000 % |
2.98/3.10 c | 7009 | 11707 50088 152087 | 16696 7009 162 | 0.000 % |
3.08/3.18 c | 7206 | 11707 50088 152087 | 16696 7206 163 | 0.000 % |
3.18/3.27 c | 7419 | 11707 50088 152087 | 16696 7419 163 | 0.000 % |
3.28/3.38 c | 7653 | 11707 50088 152087 | 16696 7653 164 | 0.000 % |
3.38/3.43 c | 7753 | 11707 50088 152087 | 16696 7753 163 | 0.000 % |
3.38/3.48 c | 7863 | 11707 50088 152087 | 16696 7863 163 | 0.000 % |
3.48/3.54 c | 7988 | 11707 50088 152087 | 16696 7988 163 | 0.000 % |
3.48/3.59 c | 8122 | 11707 50088 152087 | 16696 8122 162 | 0.000 % |
3.58/3.66 c | 8269 | 11707 50088 152087 | 16696 8269 162 | 0.000 % |
3.68/3.72 c | 8430 | 11707 50088 152087 | 16696 8430 162 | 0.000 % |
3.77/3.81 c | 8607 | 11707 50088 152087 | 16696 8607 163 | 0.000 % |
3.77/3.89 c | 8800 | 11707 50088 152087 | 16696 8800 163 | 0.000 % |
3.87/3.98 c | 9013 | 11707 50088 152087 | 16696 9013 163 | 0.000 % |
3.97/4.08 c | 9246 | 11707 50088 152087 | 16696 9246 164 | 0.000 % |
4.07/4.19 c | 9502 | 11707 50088 152087 | 16696 9502 165 | 0.000 % |
4.17/4.24 c | 9603 | 11707 50088 152087 | 16696 9603 166 | 0.000 % |
4.17/4.29 c | 9713 | 11707 50088 152087 | 16696 9713 165 | 0.000 % |
4.28/4.35 c | 9838 | 11707 50088 152087 | 16696 9838 166 | 0.000 % |
4.38/4.41 c | 9972 | 11707 50088 152087 | 16696 9972 167 | 0.000 % |
4.38/4.48 c | 10120 | 11707 50088 152087 | 2147483647 10120 166 | 0.000 % |
4.47/4.55 c | 10281 | 11707 50088 152087 | 2147483647 10281 166 | 0.000 % |
4.57/4.63 c | 10457 | 11707 50088 152087 | 2147483647 10457 167 | 0.000 % |
4.67/4.72 c | 10651 | 11707 50088 152087 | 2147483647 10651 166 | 0.000 % |
4.77/4.82 c | 10863 | 11707 50088 152087 | 2147483647 10863 166 | 0.000 % |
4.87/4.93 c | 11097 | 11707 50088 152087 | 2147483647 11097 165 | 0.000 % |
4.97/5.05 c | 11353 | 11707 50088 152087 | 2147483647 11353 166 | 0.000 % |
5.07/5.18 c | 11637 | 11707 50088 152087 | 2147483647 11637 167 | 0.000 % |
5.17/5.22 c | 11738 | 11707 50088 152087 | 2147483647 11738 167 | 0.000 % |
5.17/5.27 c | 11848 | 11707 50088 152087 | 2147483647 11848 167 | 0.000 % |
5.27/5.33 c | 11970 | 11707 50088 152087 | 2147483647 11970 167 | 0.000 % |
5.27/5.39 c | 12103 | 11707 50088 152087 | 2147483647 12103 167 | 0.000 % |
5.37/5.46 c | 12249 | 11707 50088 152087 | 2147483647 12249 167 | 0.000 % |
5.48/5.54 c | 12410 | 11707 50088 152087 | 2147483647 12410 167 | 0.000 % |
5.57/5.62 c | 12586 | 11707 50088 152087 | 2147483647 12586 168 | 0.000 % |
5.67/5.71 c | 12779 | 11707 50088 152087 | 2147483647 12779 168 | 0.000 % |
5.77/5.81 c | 12991 | 11707 50088 152087 | 2147483647 12991 168 | 0.000 % |
5.87/5.91 c | 13225 | 11707 50088 152087 | 2147483647 13225 169 | 0.000 % |
5.97/6.02 c | 13481 | 11707 50088 152087 | 2147483647 13481 169 | 0.000 % |
6.07/6.17 c | 13764 | 11707 50088 152087 | 2147483647 13764 170 | 0.000 % |
6.17/6.29 c | 14075 | 11707 50088 152087 | 2147483647 14075 171 | 0.000 % |
6.27/6.34 c | 14176 | 11707 50088 152087 | 2147483647 14176 170 | 0.000 % |
6.27/6.39 c | 14286 | 11707 50088 152087 | 2147483647 14286 170 | 0.000 % |
6.37/6.46 c | 14408 | 11707 50088 152087 | 2147483647 14408 170 | 0.000 % |
6.47/6.53 c | 14542 | 11707 50088 152087 | 2147483647 14542 170 | 0.000 % |
6.57/6.61 c | 14688 | 11707 50088 152087 | 2147483647 14688 170 | 0.000 % |
6.57/6.69 c | 14849 | 11707 50088 152087 | 2147483647 14849 170 | 0.000 % |
6.67/6.78 c | 15025 | 11707 50088 152087 | 2147483647 15025 170 | 0.000 % |
6.77/6.88 c | 15218 | 11707 50088 152087 | 2147483647 15218 170 | 0.000 % |
6.87/6.97 c | 15432 | 11707 50088 152087 | 2147483647 15432 170 | 0.000 % |
6.97/7.08 c | 15665 | 11707 50088 152087 | 2147483647 15665 170 | 0.000 % |
7.17/7.21 c | 15921 | 11707 50088 152087 | 2147483647 15921 171 | 0.000 % |
7.27/7.33 c | 16202 | 11707 50088 152087 | 2147483647 16202 171 | 0.000 % |
7.37/7.49 c | 16512 | 11707 50088 152087 | 2147483647 16512 172 | 0.000 % |
7.57/7.65 c | 16852 | 11707 50088 152087 | 2147483647 16852 172 | 0.000 % |
7.67/7.70 c | 16952 | 11707 50088 152087 | 2147483647 16952 172 | 0.000 % |
7.67/7.77 c | 17062 | 11707 50088 152087 | 2147483647 17062 172 | 0.000 % |
7.77/7.84 c | 17183 | 11707 50088 152087 | 2147483647 17183 172 | 0.000 % |
7.87/7.90 c | 17316 | 11707 50088 152087 | 2147483647 17316 172 | 0.000 % |
7.87/7.98 c | 17463 | 11707 50088 152087 | 2147483647 17463 172 | 0.000 % |
7.97/8.07 c | 17623 | 11707 50088 152087 | 2147483647 17623 171 | 0.000 % |
8.07/8.16 c | 17800 | 11707 50088 152087 | 2147483647 17800 172 | 0.000 % |
8.17/8.25 c | 17995 | 11707 50088 152087 | 2147483647 17995 172 | 0.000 % |
8.27/8.37 c | 18207 | 11707 50088 152087 | 2147483647 18207 173 | 0.000 % |
8.37/8.49 c | 18444 | 11707 50088 152087 | 2147483647 18444 173 | 0.000 % |
8.57/8.63 c | 18700 | 11707 50088 152087 | 2147483647 18700 173 | 0.000 % |
8.67/8.78 c | 18981 | 11707 50088 152087 | 2147483647 18981 173 | 0.000 % |
8.87/8.95 c | 19291 | 11707 50088 152087 | 2147483647 19291 173 | 0.000 % |
9.07/9.13 c | 19633 | 11707 50088 152087 | 2147483647 19633 173 | 0.000 % |
9.27/9.33 c | 20005 | 11707 50088 152087 | 2147483647 20005 173 | 0.000 % |
9.27/9.39 c | 20105 | 11707 50088 152087 | 2147483647 20105 173 | 0.000 % |
9.37/9.45 c | 20216 | 11707 50088 152087 | 2147483647 20216 173 | 0.000 % |
9.47/9.52 c | 20337 | 11707 50088 152087 | 2147483647 20337 173 | 0.000 % |
9.47/9.59 c | 20474 | 11707 50088 152087 | 2147483647 20474 173 | 0.000 % |
9.57/9.66 c | 20620 | 11707 50088 152087 | 2147483647 20620 173 | 0.000 % |
9.67/9.75 c | 20782 | 11707 50088 152087 | 2147483647 20782 173 | 0.000 % |
9.77/9.85 c | 20958 | 11707 50088 152087 | 2147483647 20958 173 | 0.000 % |
9.87/9.95 c | 21152 | 11707 50088 152087 | 2147483647 21152 173 | 0.000 % |
9.97/10.07 c | 21364 | 11707 50088 152087 | 2147483647 21364 173 | 0.000 % |
10.07/10.19 c | 21597 | 11707 50088 152087 | 2147483647 21597 173 | 0.000 % |
10.27/10.32 c | 21854 | 11707 50088 152087 | 2147483647 21854 173 | 0.000 % |
10.37/10.47 c | 22139 | 11707 50088 152087 | 2147483647 22139 173 | 0.000 % |
10.57/10.64 c | 22449 | 11707 50088 152087 | 2147483647 22449 173 | 0.000 % |
10.77/10.81 c | 22789 | 11707 50088 152087 | 2147483647 22789 173 | 0.000 % |
10.98/11.01 c | 23161 | 11707 50088 152087 | 2147483647 23161 173 | 0.000 % |
11.17/11.23 c | 23570 | 11707 50088 152087 | 2147483647 23570 173 | 0.000 % |
11.17/11.29 c | 23671 | 11707 50088 152087 | 2147483647 23671 173 | 0.000 % |
11.27/11.36 c | 23783 | 11707 50088 152087 | 2147483647 23783 173 | 0.000 % |
11.37/11.42 c | 23905 | 11707 50088 152087 | 2147483647 23905 173 | 0.000 % |
11.47/11.50 c | 24039 | 11707 50088 152087 | 2147483647 24039 173 | 0.000 % |
11.47/11.59 c | 24185 | 11707 50088 152087 | 2147483647 24185 173 | 0.000 % |
11.57/11.68 c | 24348 | 11707 50088 152087 | 2147483647 24348 173 | 0.000 % |
11.67/11.78 c | 24526 | 11707 50088 152087 | 2147483647 24526 173 | 0.000 % |
11.77/11.88 c | 24719 | 11707 50088 152087 | 2147483647 24719 173 | 0.000 % |
11.98/12.01 c | 24935 | 11707 50088 152087 | 2147483647 24935 173 | 0.000 % |
12.07/12.14 c | 25168 | 11707 50088 152087 | 2147483647 25168 174 | 0.000 % |
12.17/12.29 c | 25424 | 11707 50088 152087 | 2147483647 25424 174 | 0.000 % |
12.37/12.44 c | 25706 | 11707 50088 152087 | 2147483647 25706 174 | 0.000 % |
12.57/12.61 c | 26016 | 11707 50088 152087 | 2147483647 26016 174 | 0.000 % |
12.77/12.81 c | 26357 | 11707 50088 152087 | 2147483647 26357 174 | 0.000 % |
12.97/13.02 c | 26729 | 11707 50088 152087 | 2147483647 26729 174 | 0.000 % |
13.17/13.24 c | 27138 | 11707 50088 152087 | 2147483647 27138 175 | 0.000 % |
13.37/13.48 c | 27587 | 11707 50088 152087 | 2147483647 27587 175 | 0.000 % |
13.46/13.54 c | 27687 | 11707 50088 152087 | 2147483647 27687 175 | 0.000 % |
13.56/13.61 c | 27798 | 11707 50088 152087 | 2147483647 27798 175 | 0.000 % |
13.56/13.68 c | 27920 | 11707 50088 152087 | 2147483647 27920 175 | 0.000 % |
13.66/13.75 c | 28053 | 11707 50088 152087 | 2147483647 28053 175 | 0.000 % |
13.76/13.84 c | 28201 | 11707 50088 152087 | 2147483647 28201 175 | 0.000 % |
13.87/13.95 c | 28364 | 11707 50088 152087 | 2147483647 28364 175 | 0.000 % |
13.97/14.06 c | 28542 | 11707 50088 152087 | 2147483647 28542 175 | 0.000 % |
14.07/14.18 c | 28735 | 11707 50088 152087 | 2147483647 28735 175 | 0.000 % |
14.18/14.30 c | 28948 | 11707 50088 152087 | 2147483647 28948 175 | 0.000 % |
14.37/14.44 c | 29181 | 11707 50088 152087 | 2147483647 29181 175 | 0.000 % |
14.47/14.59 c | 29439 | 11707 50088 152087 | 2147483647 29439 175 | 0.000 % |
14.67/14.75 c | 29721 | 11707 50088 152087 | 2147483647 29721 175 | 0.000 % |
14.87/14.94 c | 30030 | 11707 50088 152087 | 2147483647 30030 175 | 0.000 % |
15.07/15.14 c | 30370 | 11707 50088 152087 | 2147483647 30370 176 | 0.000 % |
15.27/15.37 c | 30743 | 11707 50088 152087 | 2147483647 30743 177 | 0.000 % |
15.56/15.61 c | 31154 | 11707 50088 152087 | 2147483647 31154 177 | 0.000 % |
15.76/15.88 c | 31604 | 11707 50088 152087 | 2147483647 31604 177 | 0.000 % |
16.07/16.18 c | 32097 | 11707 50088 152087 | 2147483647 32097 178 | 0.000 % |
16.17/16.25 c | 32198 | 11707 50088 152087 | 2147483647 32198 177 | 0.000 % |
16.27/16.32 c | 32308 | 11707 50088 152087 | 2147483647 32308 177 | 0.000 % |
16.27/16.39 c | 32430 | 11707 50088 152087 | 2147483647 32430 177 | 0.000 % |
16.38/16.48 c | 32563 | 11707 50088 152087 | 2147483647 32563 177 | 0.000 % |
16.48/16.58 c | 32710 | 11707 50088 152087 | 2147483647 32710 177 | 0.000 % |
16.57/16.68 c | 32870 | 11707 50088 152087 | 2147483647 32870 177 | 0.000 % |
16.67/16.78 c | 33046 | 11707 50088 152087 | 2147483647 33046 177 | 0.000 % |
16.87/16.91 c | 33239 | 11707 50088 152087 | 2147483647 33239 177 | 0.000 % |
16.97/17.03 c | 33451 | 11707 50088 152087 | 2147483647 33451 177 | 0.000 % |
17.07/17.18 c | 33685 | 11707 50088 152087 | 2147483647 33685 177 | 0.000 % |
17.27/17.33 c | 33941 | 11707 50088 152087 | 2147483647 33941 177 | 0.000 % |
17.47/17.51 c | 34222 | 11707 50088 152087 | 2147483647 34222 177 | 0.000 % |
17.57/17.69 c | 34532 | 11707 50088 152087 | 2147483647 34532 177 | 0.000 % |
17.87/17.91 c | 34871 | 11707 50088 152087 | 2147483647 34871 177 | 0.000 % |
18.07/18.15 c | 35243 | 11707 50088 152087 | 2147483647 35243 177 | 0.000 % |
18.27/18.39 c | 35652 | 11707 50088 152087 | 2147483647 35652 178 | 0.000 % |
18.57/18.65 c | 36102 | 11707 50088 152087 | 2147483647 36102 178 | 0.000 % |
18.86/18.97 c | 36599 | 11707 50088 152087 | 2147483647 36599 179 | 0.000 % |
19.16/19.30 c | 37142 | 11707 50088 152087 | 2147483647 37142 179 | 0.000 % |
19.26/19.35 c | 37242 | 11707 50088 152087 | 2147483647 37242 179 | 0.000 % |
19.36/19.44 c | 37353 | 11707 50088 152087 | 2147483647 37353 178 | 0.000 % |
19.46/19.52 c | 37474 | 11707 50088 152087 | 2147483647 37474 178 | 0.000 % |
19.57/19.61 c | 37607 | 11707 50088 152087 | 2147483647 37607 178 | 0.000 % |
19.68/19.71 c | 37753 | 11707 50088 152087 | 2147483647 37753 178 | 0.000 % |
19.78/19.82 c | 37916 | 11707 50088 152087 | 2147483647 37916 178 | 0.000 % |
19.87/19.93 c | 38094 | 11707 50088 152087 | 2147483647 38094 178 | 0.000 % |
19.97/20.06 c | 38287 | 11707 50088 152087 | 2147483647 38287 178 | 0.000 % |
20.17/20.21 c | 38500 | 11707 50088 152087 | 2147483647 38500 178 | 0.000 % |
20.27/20.36 c | 38734 | 11707 50088 152087 | 2147483647 38734 178 | 0.000 % |
20.47/20.53 c | 38990 | 11707 50088 152087 | 2147483647 38990 178 | 0.000 % |
20.67/20.72 c | 39271 | 11707 50088 152087 | 2147483647 39271 178 | 0.000 % |
20.87/20.91 c | 39581 | 11707 50088 152087 | 2147483647 39581 178 | 0.000 % |
21.07/21.13 c | 39921 | 11707 50088 152087 | 2147483647 39921 178 | 0.000 % |
21.27/21.37 c | 40293 | 11707 50088 152087 | 2147483647 40293 178 | 0.000 % |
21.57/21.64 c | 40702 | 11707 50088 152087 | 2147483647 40702 178 | 0.000 % |
21.87/21.92 c | 41151 | 11707 50088 152087 | 2147483647 41151 178 | 0.000 % |
22.17/22.23 c | 41645 | 11707 50088 152087 | 2147483647 41645 178 | 0.000 % |
22.47/22.59 c | 42188 | 11707 50088 152087 | 2147483647 42188 178 | 0.000 % |
22.86/22.95 c | 42786 | 11707 50088 152087 | 2147483647 42786 179 | 0.000 % |
22.98/23.02 c | 42888 | 11707 50088 152087 | 2147483647 42888 179 | 0.000 % |
23.08/23.10 c | 42998 | 11707 50088 152087 | 2147483647 42998 179 | 0.000 % |
23.08/23.19 c | 43124 | 11707 50088 152087 | 2147483647 43124 179 | 0.000 % |
23.17/23.28 c | 43258 | 11707 50088 152087 | 2147483647 43258 179 | 0.000 % |
23.27/23.37 c | 43405 | 11707 50088 152087 | 2147483647 43405 179 | 0.000 % |
23.37/23.49 c | 43566 | 11707 50088 152087 | 2147483647 43566 179 | 0.000 % |
23.57/23.62 c | 43743 | 11707 50088 152087 | 2147483647 43743 179 | 0.000 % |
23.67/23.76 c | 43936 | 11707 50088 152087 | 2147483647 43936 179 | 0.000 % |
23.87/23.90 c | 44148 | 11707 50088 152087 | 2147483647 44148 179 | 0.000 % |
23.97/24.06 c | 44383 | 11707 50088 152087 | 2147483647 44383 179 | 0.000 % |
24.17/24.23 c | 44639 | 11707 50088 152087 | 2147483647 44639 179 | 0.000 % |
24.37/24.42 c | 44921 | 11707 50088 152087 | 2147483647 44921 179 | 0.000 % |
24.57/24.62 c | 45230 | 11707 50088 152087 | 2147483647 45230 180 | 0.000 % |
24.76/24.83 c | 45569 | 11707 50088 152087 | 2147483647 45569 180 | 0.000 % |
24.96/25.06 c | 45941 | 11707 50088 152087 | 2147483647 45941 180 | 0.000 % |
25.27/25.34 c | 46351 | 11707 50088 152087 | 2147483647 46351 180 | 0.000 % |
25.56/25.65 c | 46800 | 11707 50088 152087 | 2147483647 46800 181 | 0.000 % |
25.87/25.98 c | 47294 | 11707 50088 152087 | 2147483647 47294 181 | 0.000 % |
26.27/26.35 c | 47836 | 11707 50088 152087 | 2147483647 47836 181 | 0.000 % |
26.67/26.76 c | 48433 | 11707 50088 152087 | 2147483647 48433 181 | 0.000 % |
27.07/27.19 c | 49089 | 11707 50088 152087 | 2147483647 49089 181 | 0.000 % |
27.16/27.27 c | 49189 | 11707 50088 152087 | 2147483647 49189 181 | 0.000 % |
27.26/27.36 c | 49300 | 11707 50088 152087 | 2147483647 49300 181 | 0.000 % |
27.37/27.45 c | 49421 | 11707 50088 152087 | 2147483647 49421 181 | 0.000 % |
27.47/27.55 c | 49556 | 11707 50088 152087 | 2147483647 49556 181 | 0.000 % |
27.56/27.65 c | 49703 | 11707 50088 152087 | 2147483647 49703 181 | 0.000 % |
27.66/27.77 c | 49864 | 11707 50088 152087 | 2147483647 49864 181 | 0.000 % |
27.86/27.91 c | 50041 | 11707 50088 152087 | 2147483647 50041 181 | 0.000 % |
27.96/28.05 c | 50234 | 11707 50088 152087 | 2147483647 50234 181 | 0.000 % |
28.16/28.20 c | 50447 | 11707 50088 152087 | 2147483647 50447 181 | 0.000 % |
28.26/28.37 c | 50680 | 11707 50088 152087 | 2147483647 50680 181 | 0.000 % |
28.47/28.53 c | 50936 | 11707 50088 152087 | 2147483647 50936 181 | 0.000 % |
28.66/28.73 c | 51218 | 11707 50088 152087 | 2147483647 51218 181 | 0.000 % |
28.86/28.95 c | 51527 | 11707 50088 152087 | 2147483647 51527 181 | 0.000 % |
29.17/29.22 c | 51868 | 11707 50088 152087 | 2147483647 51868 181 | 0.000 % |
29.37/29.48 c | 52240 | 11707 50088 152087 | 2147483647 52240 181 | 0.000 % |
29.67/29.77 c | 52649 | 11707 50088 152087 | 2147483647 52649 181 | 0.000 % |
30.06/30.10 c | 53099 | 11707 50088 152087 | 2147483647 53099 181 | 0.000 % |
30.36/30.47 c | 53592 | 11707 50088 152087 | 2147483647 53592 181 | 0.000 % |
30.77/30.86 c | 54134 | 11707 50088 152087 | 2147483647 54134 182 | 0.000 % |
31.17/31.27 c | 54731 | 11707 50088 152087 | 2147483647 54731 182 | 0.000 % |
31.67/31.77 c | 55388 | 11707 50088 152087 | 2147483647 55388 182 | 0.000 % |
32.16/32.28 c | 56110 | 11707 50088 152087 | 2147483647 56110 183 | 0.000 % |
32.26/32.36 c | 56212 | 11707 50088 152087 | 2147483647 56212 182 | 0.000 % |
32.36/32.44 c | 56322 | 11707 50088 152087 | 2147483647 56322 182 | 0.000 % |
32.46/32.54 c | 56445 | 11707 50088 152087 | 2147483647 56445 182 | 0.000 % |
32.56/32.65 c | 56580 | 11707 50088 152087 | 2147483647 56580 182 | 0.000 % |
32.66/32.77 c | 56726 | 11707 50088 152087 | 2147483647 56726 182 | 0.000 % |
32.87/32.90 c | 56887 | 11707 50088 152087 | 2147483647 56887 182 | 0.000 % |
32.97/33.03 c | 57064 | 11707 50088 152087 | 2147483647 57064 182 | 0.000 % |
33.06/33.19 c | 57259 | 11707 50088 152087 | 2147483647 57259 182 | 0.000 % |
33.26/33.36 c | 57473 | 11707 50088 152087 | 2147483647 57473 182 | 0.000 % |
33.46/33.54 c | 57706 | 11707 50088 152087 | 2147483647 57706 182 | 0.000 % |
33.66/33.74 c | 57962 | 11707 50088 152087 | 2147483647 57962 182 | 0.000 % |
33.87/33.95 c | 58244 | 11707 50088 152087 | 2147483647 58244 183 | 0.000 % |
34.07/34.16 c | 58553 | 11707 50088 152087 | 2147483647 58553 182 | 0.000 % |
34.37/34.42 c | 58894 | 11707 50088 152087 | 2147483647 58894 183 | 0.000 % |
34.67/34.71 c | 59266 | 11707 50088 152087 | 2147483647 59266 183 | 0.000 % |
34.97/35.04 c | 59675 | 11707 50088 152087 | 2147483647 59675 183 | 0.000 % |
35.26/35.39 c | 60127 | 11707 50088 152087 | 2147483647 60127 183 | 0.000 % |
35.66/35.77 c | 60620 | 11707 50088 152087 | 2147483647 60620 183 | 0.000 % |
36.06/36.18 c | 61162 | 11707 50088 152087 | 2147483647 61162 183 | 0.000 % |
36.57/36.61 c | 61760 | 11707 50088 152087 | 2147483647 61760 184 | 0.000 % |
37.07/37.11 c | 62415 | 11707 50088 152087 | 2147483647 62415 184 | 0.000 % |
37.56/37.65 c | 63135 | 11707 50088 152087 | 2147483647 63135 184 | 0.000 % |
38.16/38.28 c | 63927 | 11707 50088 152087 | 2147483647 63927 185 | 0.000 % |
38.26/38.37 c | 64030 | 11707 50088 152087 | 2147483647 64030 185 | 0.000 % |
38.37/38.48 c | 64141 | 11707 50088 152087 | 2147483647 64141 184 | 0.000 % |
38.47/38.58 c | 64262 | 11707 50088 152087 | 2147483647 64262 184 | 0.000 % |
38.56/38.69 c | 64395 | 11707 50088 152087 | 2147483647 64395 184 | 0.000 % |
38.76/38.81 c | 64541 | 11707 50088 152087 | 2147483647 64541 184 | 0.000 % |
38.86/38.96 c | 64701 | 11707 50088 152087 | 2147483647 64701 184 | 0.000 % |
39.06/39.11 c | 64879 | 11707 50088 152087 | 2147483647 64879 184 | 0.000 % |
39.16/39.27 c | 65072 | 11707 50088 152087 | 2147483647 65072 184 | 0.000 % |
39.36/39.44 c | 65285 | 11707 50088 152087 | 2147483647 65285 184 | 0.000 % |
39.56/39.62 c | 65519 | 11707 50088 152087 | 2147483647 65519 184 | 0.000 % |
39.76/39.84 c | 65776 | 11707 50088 152087 | 2147483647 65776 184 | 0.000 % |
39.97/40.07 c | 66059 | 11707 50088 152087 | 2147483647 66059 184 | 0.000 % |
40.27/40.33 c | 66368 | 11707 50088 152087 | 2147483647 66368 184 | 0.000 % |
40.57/40.61 c | 66709 | 11707 50088 152087 | 2147483647 66709 184 | 0.000 % |
40.86/40.93 c | 67081 | 11707 50088 152087 | 2147483647 67081 184 | 0.000 % |
41.16/41.28 c | 67490 | 11707 50088 152087 | 2147483647 67490 184 | 0.000 % |
41.56/41.64 c | 67939 | 11707 50088 152087 | 2147483647 67939 185 | 0.000 % |
41.96/42.04 c | 68433 | 11707 50088 152087 | 2147483647 68433 185 | 0.000 % |
42.36/42.45 c | 68975 | 11707 50088 152087 | 2147483647 68975 185 | 0.000 % |
42.76/42.90 c | 69571 | 11707 50088 152087 | 2147483647 69571 186 | 0.000 % |
43.36/43.45 c | 70227 | 11707 50088 152087 | 2147483647 70227 186 | 0.000 % |
43.97/44.07 c | 70949 | 11707 50088 152087 | 2147483647 70949 187 | 0.000 % |
44.66/44.74 c | 71741 | 11707 50088 152087 | 2147483647 71741 187 | 0.000 % |
45.36/45.45 c | 72612 | 11707 50088 152087 | 2147483647 72612 187 | 0.000 % |
45.47/45.54 c | 72713 | 11707 50088 152087 | 2147483647 72713 187 | 0.000 % |
45.57/45.65 c | 72826 | 11707 50088 152087 | 2147483647 72826 187 | 0.000 % |
45.67/45.75 c | 72947 | 11707 50088 152087 | 2147483647 72947 187 | 0.000 % |
45.77/45.87 c | 73080 | 11707 50088 152087 | 2147483647 73080 187 | 0.000 % |
45.97/46.01 c | 73226 | 11707 50088 152087 | 2147483647 73226 187 | 0.000 % |
46.07/46.16 c | 73387 | 11707 50088 152087 | 2147483647 73387 187 | 0.000 % |
46.27/46.33 c | 73564 | 11707 50088 152087 | 2147483647 73564 187 | 0.000 % |
46.37/46.49 c | 73757 | 11707 50088 152087 | 2147483647 73757 187 | 0.000 % |
46.56/46.69 c | 73969 | 11707 50088 152087 | 2147483647 73969 187 | 0.000 % |
46.86/46.90 c | 74203 | 11707 50088 152087 | 2147483647 74203 187 | 0.000 % |
47.06/47.11 c | 74461 | 11707 50088 152087 | 2147483647 74461 187 | 0.000 % |
47.27/47.37 c | 74744 | 11707 50088 152087 | 2147483647 74744 187 | 0.000 % |
47.56/47.64 c | 75054 | 11707 50088 152087 | 2147483647 75054 187 | 0.000 % |
47.86/47.94 c | 75394 | 11707 50088 152087 | 2147483647 75394 187 | 0.000 % |
48.16/48.27 c | 75766 | 11707 50088 152087 | 2147483647 75766 187 | 0.000 % |
48.46/48.59 c | 76175 | 11707 50088 152087 | 2147483647 76175 187 | 0.000 % |
48.86/48.99 c | 76624 | 11707 50088 152087 | 2147483647 76624 187 | 0.000 % |
49.26/49.39 c | 77118 | 11707 50088 152087 | 2147483647 77118 188 | 0.000 % |
49.76/49.86 c | 77660 | 11707 50088 152087 | 2147483647 77660 188 | 0.000 % |
50.26/50.37 c | 78258 | 11707 50088 152087 | 2147483647 78258 188 | 0.000 % |
50.86/50.94 c | 78913 | 11707 50088 152087 | 2147483647 78913 188 | 0.000 % |
51.46/51.55 c | 79634 | 11707 50088 152087 | 2147483647 79634 188 | 0.000 % |
52.16/52.24 c | 80427 | 11707 50088 152087 | 2147483647 80427 188 | 0.000 % |
52.86/52.99 c | 81298 | 11707 50088 152087 | 2147483647 81298 188 | 0.000 % |
53.77/53.82 c | 82259 | 11707 50088 152087 | 2147483647 82259 188 | 0.000 % |
53.87/53.92 c | 82359 | 11707 50088 152087 | 2147483647 82359 188 | 0.000 % |
53.96/54.02 c | 82469 | 11707 50088 152087 | 2147483647 82469 188 | 0.000 % |
54.06/54.15 c | 82592 | 11707 50088 152087 | 2147483647 82592 188 | 0.000 % |
54.16/54.29 c | 82725 | 11707 50088 152087 | 2147483647 82725 188 | 0.000 % |
54.36/54.43 c | 82872 | 11707 50088 152087 | 2147483647 82872 188 | 0.000 % |
54.46/54.59 c | 83033 | 11707 50088 152087 | 2147483647 83033 188 | 0.000 % |
54.66/54.77 c | 83209 | 11707 50088 152087 | 2147483647 83209 188 | 0.000 % |
54.87/54.94 c | 83404 | 11707 50088 152087 | 2147483647 83404 188 | 0.000 % |
55.06/55.15 c | 83616 | 11707 50088 152087 | 2147483647 83616 188 | 0.000 % |
55.26/55.37 c | 83850 | 11707 50088 152087 | 2147483647 83850 188 | 0.000 % |
55.56/55.63 c | 84106 | 11707 50088 152087 | 2147483647 84106 188 | 0.000 % |
55.76/55.88 c | 84388 | 11707 50088 152087 | 2147483647 84388 188 | 0.000 % |
56.06/56.17 c | 84697 | 11707 50088 152087 | 2147483647 84697 188 | 0.000 % |
56.36/56.47 c | 85036 | 11707 50088 152087 | 2147483647 85036 188 | 0.000 % |
56.76/56.83 c | 85410 | 11707 50088 152087 | 2147483647 85410 188 | 0.000 % |
57.16/57.22 c | 85820 | 11707 50088 152087 | 2147483647 85820 188 | 0.000 % |
57.56/57.61 c | 86270 | 11707 50088 152087 | 2147483647 86270 188 | 0.000 % |
57.95/58.06 c | 86764 | 11707 50088 152087 | 2147483647 86764 188 | 0.000 % |
58.46/58.56 c | 87306 | 11707 50088 152087 | 2147483647 87306 188 | 0.000 % |
59.06/59.10 c | 87903 | 11707 50088 152087 | 2147483647 87903 188 | 0.000 % |
59.56/59.69 c | 88560 | 11707 50088 152087 | 2147483647 88560 188 | 0.000 % |
60.26/60.40 c | 89280 | 11707 50088 152087 | 2147483647 89280 188 | 0.000 % |
61.05/61.10 c | 90073 | 11707 50088 152087 | 2147483647 90073 189 | 0.000 % |
61.86/61.90 c | 90945 | 11707 50088 152087 | 2147483647 90945 190 | 0.000 % |
62.66/62.74 c | 91906 | 11707 50088 152087 | 2147483647 91906 190 | 0.000 % |
63.66/63.70 c | 92961 | 11707 50088 152087 | 2147483647 92961 190 | 0.000 % |
63.76/63.81 c | 93063 | 11707 50088 152087 | 2147483647 93063 190 | 0.000 % |
63.85/63.94 c | 93173 | 11707 50088 152087 | 2147483647 93173 190 | 0.000 % |
63.95/64.07 c | 93294 | 11707 50088 152087 | 2147483647 93294 190 | 0.000 % |
64.16/64.21 c | 93427 | 11707 50088 152087 | 2147483647 93427 190 | 0.000 % |
64.26/64.39 c | 93573 | 11707 50088 152087 | 2147483647 93573 190 | 0.000 % |
64.46/64.57 c | 93734 | 11707 50088 152087 | 2147483647 93734 190 | 0.000 % |
64.66/64.75 c | 93910 | 11707 50088 152087 | 2147483647 93910 190 | 0.000 % |
64.86/64.95 c | 94104 | 11707 50088 152087 | 2147483647 94104 190 | 0.000 % |
65.06/65.15 c | 94316 | 11707 50088 152087 | 2147483647 94316 190 | 0.000 % |
65.26/65.39 c | 94549 | 11707 50088 152087 | 2147483647 94549 190 | 0.000 % |
65.56/65.66 c | 94808 | 11707 50088 152087 | 2147483647 94808 190 | 0.000 % |
65.86/65.96 c | 95093 | 11707 50088 152087 | 2147483647 95093 190 | 0.000 % |
66.16/66.24 c | 95403 | 11707 50088 152087 | 2147483647 95403 190 | 0.000 % |
66.46/66.57 c | 95742 | 11707 50088 152087 | 2147483647 95742 190 | 0.000 % |
66.86/66.93 c | 96114 | 11707 50088 152087 | 2147483647 96114 190 | 0.000 % |
67.25/67.30 c | 96524 | 11707 50088 152087 | 2147483647 96524 190 | 0.000 % |
67.65/67.78 c | 96974 | 11707 50088 152087 | 2147483647 96974 190 | 0.000 % |
68.16/68.21 c | 97467 | 11707 50088 152087 | 2147483647 97467 190 | 0.000 % |
68.65/68.71 c | 98010 | 11707 50088 152087 | 2147483647 98010 190 | 0.000 % |
69.26/69.31 c | 98607 | 11707 50088 152087 | 2147483647 98607 190 | 0.000 % |
69.85/69.99 c | 99262 | 11707 50088 152087 | 2147483647 99262 190 | 0.000 % |
70.66/70.70 c | 99982 | 11707 50088 152087 | 2147483647 99982 191 | 0.000 % |
71.36/71.49 c | 100774 | 11707 50088 152087 | 2147483647 100774 191 | 0.000 % |
72.25/72.35 c | 101647 | 11707 50088 152087 | 2147483647 101647 191 | 0.000 % |
73.15/73.24 c | 102605 | 11707 50088 152087 | 2147483647 102605 191 | 0.000 % |
74.15/74.24 c | 103659 | 11707 50088 152087 | 2147483647 103659 191 | 0.000 % |
75.25/75.38 c | 104820 | 11707 50088 152087 | 2147483647 104820 192 | 0.000 % |
75.35/75.48 c | 104920 | 11707 50088 152087 | 2147483647 104920 192 | 0.000 % |
75.55/75.61 c | 105031 | 11707 50088 152087 | 2147483647 105031 192 | 0.000 % |
75.65/75.75 c | 105153 | 11707 50088 152087 | 2147483647 105153 192 | 0.000 % |
75.86/75.91 c | 105288 | 11707 50088 152087 | 2147483647 105288 192 | 0.000 % |
75.95/76.09 c | 105435 | 11707 50088 152087 | 2147483647 105435 192 | 0.000 % |
76.15/76.29 c | 105598 | 11707 50088 152087 | 2147483647 105598 192 | 0.000 % |
76.45/76.52 c | 105775 | 11707 50088 152087 | 2147483647 105775 192 | 0.000 % |
76.65/76.74 c | 105973 | 11707 50088 152087 | 2147483647 105973 192 | 0.000 % |
76.86/76.96 c | 106185 | 11707 50088 152087 | 2147483647 106185 192 | 0.000 % |
77.16/77.21 c | 106418 | 11707 50088 152087 | 2147483647 106418 192 | 0.000 % |
77.36/77.49 c | 106674 | 11707 50088 152087 | 2147483647 106674 192 | 0.000 % |
77.66/77.77 c | 106956 | 11707 50088 152087 | 2147483647 106956 192 | 0.000 % |
77.96/78.10 c | 107265 | 11707 50088 152087 | 2147483647 107265 192 | 0.000 % |
78.36/78.47 c | 107604 | 11707 50088 152087 | 2147483647 107604 192 | 0.000 % |
78.76/78.82 c | 107976 | 11707 50088 152087 | 2147483647 107976 192 | 0.000 % |
79.16/79.25 c | 108386 | 11707 50088 152087 | 2147483647 108386 192 | 0.000 % |
79.66/79.73 c | 108835 | 11707 50088 152087 | 2147483647 108835 192 | 0.000 % |
80.16/80.25 c | 109328 | 11707 50088 152087 | 2147483647 109328 192 | 0.000 % |
80.65/80.75 c | 109870 | 11707 50088 152087 | 2147483647 109870 192 | 0.000 % |
81.26/81.34 c | 110466 | 11707 50088 152087 | 2147483647 110466 192 | 0.000 % |
81.85/82.00 c | 111123 | 11707 50088 152087 | 2147483647 111123 192 | 0.000 % |
82.66/82.77 c | 111844 | 11707 50088 152087 | 2147483647 111844 192 | 0.000 % |
83.46/83.57 c | 112636 | 11707 50088 152087 | 2147483647 112636 193 | 0.000 % |
84.35/84.44 c | 113507 | 11707 50088 152087 | 2147483647 113507 193 | 0.000 % |
85.25/85.37 c | 114465 | 11707 50088 152087 | 2147483647 114465 193 | 0.000 % |
86.36/86.46 c | 115519 | 11707 50088 152087 | 2147483647 115519 193 | 0.000 % |
87.55/87.70 c | 116679 | 11707 50088 152087 | 2147483647 116679 193 | 0.000 % |
89.06/89.13 c | 117952 | 11707 50088 152087 | 2147483647 117952 194 | 0.000 % |
89.16/89.25 c | 118052 | 11707 50088 152087 | 2147483647 118052 194 | 0.000 % |
89.25/89.39 c | 118163 | 11707 50088 152087 | 2147483647 118163 194 | 0.000 % |
89.45/89.54 c | 118284 | 11707 50088 152087 | 2147483647 118284 194 | 0.000 % |
89.65/89.70 c | 118421 | 11707 50088 152087 | 2147483647 118421 194 | 0.000 % |
89.75/89.88 c | 118568 | 11707 50088 152087 | 2147483647 118568 194 | 0.000 % |
89.95/90.08 c | 118729 | 11707 50088 152087 | 2147483647 118729 194 | 0.000 % |
90.25/90.32 c | 118907 | 11707 50088 152087 | 2147483647 118907 194 | 0.000 % |
90.45/90.54 c | 119100 | 11707 50088 152087 | 2147483647 119100 194 | 0.000 % |
90.65/90.76 c | 119312 | 11707 50088 152087 | 2147483647 119312 194 | 0.000 % |
90.95/91.04 c | 119545 | 11707 50088 152087 | 2147483647 119545 194 | 0.000 % |
91.26/91.36 c | 119803 | 11707 50088 152087 | 2147483647 119803 194 | 0.000 % |
91.55/91.69 c | 120084 | 11707 50088 152087 | 2147483647 120084 194 | 0.000 % |
91.95/92.06 c | 120393 | 11707 50088 152087 | 2147483647 120393 194 | 0.000 % |
92.35/92.42 c | 120732 | 11707 50088 152087 | 2147483647 120732 194 | 0.000 % |
92.75/92.84 c | 121106 | 11707 50088 152087 | 2147483647 121106 194 | 0.000 % |
93.15/93.26 c | 121516 | 11707 50088 152087 | 2147483647 121516 194 | 0.000 % |
93.65/93.76 c | 121967 | 11707 50088 152087 | 2147483647 121967 194 | 0.000 % |
94.25/94.33 c | 122463 | 11707 50088 152087 | 2147483647 122463 194 | 0.000 % |
94.85/94.95 c | 123006 | 11707 50088 152087 | 2147483647 123006 194 | 0.000 % |
95.56/95.66 c | 123602 | 11707 50088 152087 | 2147483647 123602 194 | 0.000 % |
96.25/96.37 c | 124262 | 11707 50088 152087 | 2147483647 124262 194 | 0.000 % |
97.15/97.21 c | 124982 | 11707 50088 152087 | 2147483647 124982 194 | 0.000 % |
98.05/98.14 c | 125775 | 11707 50088 152087 | 2147483647 125775 194 | 0.000 % |
99.05/99.10 c | 126646 | 11707 50088 152087 | 2147483647 126646 195 | 0.000 % |
100.06/100.17 c | 127604 | 11707 50088 152087 | 2147483647 127604 195 | 0.000 % |
101.25/101.31 c | 128657 | 11707 50088 152087 | 2147483647 128657 195 | 0.000 % |
102.44/102.57 c | 129815 | 11707 50088 152087 | 2147483647 129815 196 | 0.000 % |
103.85/103.91 c | 131088 | 11707 50088 152087 | 2147483647 131088 196 | 0.000 % |
105.34/105.50 c | 132488 | 11707 50088 152087 | 2147483647 132488 196 | 0.000 % |
105.55/105.63 c | 132588 | 11707 50088 152087 | 2147483647 132588 196 | 0.000 % |
105.75/105.80 c | 132699 | 11707 50088 152087 | 2147483647 132699 196 | 0.000 % |
105.85/105.97 c | 132821 | 11707 50088 152087 | 2147483647 132821 196 | 0.000 % |
106.05/106.15 c | 132954 | 11707 50088 152087 | 2147483647 132954 196 | 0.000 % |
106.25/106.35 c | 133100 | 11707 50088 152087 | 2147483647 133100 196 | 0.000 % |
106.45/106.56 c | 133260 | 11707 50088 152087 | 2147483647 133260 196 | 0.000 % |
106.75/106.80 c | 133436 | 11707 50088 152087 | 2147483647 133436 196 | 0.000 % |
106.95/107.07 c | 133630 | 11707 50088 152087 | 2147483647 133630 196 | 0.000 % |
107.25/107.33 c | 133842 | 11707 50088 152087 | 2147483647 133842 196 | 0.000 % |
107.55/107.62 c | 134075 | 11707 50088 152087 | 2147483647 134075 196 | 0.000 % |
107.84/107.93 c | 134334 | 11707 50088 152087 | 2147483647 134334 196 | 0.000 % |
108.14/108.28 c | 134616 | 11707 50088 152087 | 2147483647 134616 196 | 0.000 % |
108.54/108.62 c | 134925 | 11707 50088 152087 | 2147483647 134925 196 | 0.000 % |
108.85/108.99 c | 135264 | 11707 50088 152087 | 2147483647 135264 196 | 0.000 % |
109.34/109.45 c | 135636 | 11707 50088 152087 | 2147483647 135636 196 | 0.000 % |
109.84/109.96 c | 136045 | 11707 50088 152087 | 2147483647 136045 196 | 0.000 % |
110.34/110.45 c | 136497 | 11707 50088 152087 | 2147483647 136497 196 | 0.000 % |
110.94/111.03 c | 136992 | 11707 50088 152087 | 2147483647 136992 197 | 0.000 % |
111.54/111.66 c | 137535 | 11707 50088 152087 | 2147483647 137535 196 | 0.000 % |
112.24/112.39 c | 138131 | 11707 50088 152087 | 2147483647 138131 197 | 0.000 % |
113.03/113.15 c | 138787 | 11707 50088 152087 | 2147483647 138787 197 | 0.000 % |
113.83/113.99 c | 139510 | 11707 50088 152087 | 2147483647 139510 197 | 0.000 % |
114.84/114.92 c | 140303 | 11707 50088 152087 | 2147483647 140303 197 | 0.000 % |
115.84/115.98 c | 141174 | 11707 50088 152087 | 2147483647 141174 197 | 0.000 % |
117.04/117.11 c | 142132 | 11707 50088 152087 | 2147483647 142132 197 | 0.000 % |
118.13/118.28 c | 143186 | 11707 50088 152087 | 2147483647 143186 198 | 0.000 % |
119.53/119.64 c | 144346 | 11707 50088 152087 | 2147483647 144346 198 | 0.000 % |
121.04/121.17 c | 145620 | 11707 50088 152087 | 2147483647 145620 198 | 0.000 % |
122.64/122.77 c | 147021 | 11707 50088 152087 | 2147483647 147021 198 | 0.000 % |
124.43/124.59 c | 148563 | 11707 50088 152087 | 2147483647 148563 198 | 0.000 % |
124.63/124.74 c | 148663 | 11707 50088 152087 | 2147483647 148663 198 | 0.000 % |
124.83/124.90 c | 148773 | 11707 50088 152087 | 2147483647 148773 198 | 0.000 % |
124.93/125.08 c | 148895 | 11707 50088 152087 | 2147483647 148895 198 | 0.000 % |
125.13/125.28 c | 149028 | 11707 50088 152087 | 2147483647 149028 198 | 0.000 % |
125.43/125.52 c | 149175 | 11707 50088 152087 | 2147483647 149175 198 | 0.000 % |
125.63/125.75 c | 149335 | 11707 50088 152087 | 2147483647 149335 198 | 0.000 % |
125.93/126.01 c | 149511 | 11707 50088 152087 | 2147483647 149511 198 | 0.000 % |
126.23/126.31 c | 149704 | 11707 50088 152087 | 2147483647 149704 198 | 0.000 % |
126.54/126.61 c | 149917 | 11707 50088 152087 | 2147483647 149917 198 | 0.000 % |
126.84/126.91 c | 150150 | 11707 50088 152087 | 2147483647 150150 198 | 0.000 % |
127.14/127.27 c | 150406 | 11707 50088 152087 | 2147483647 150406 198 | 0.000 % |
127.54/127.66 c | 150688 | 11707 50088 152087 | 2147483647 150688 198 | 0.000 % |
127.94/128.07 c | 150998 | 11707 50088 152087 | 2147483647 150998 198 | 0.000 % |
128.43/128.51 c | 151338 | 11707 50088 152087 | 2147483647 151338 198 | 0.000 % |
128.83/128.99 c | 151710 | 11707 50088 152087 | 2147483647 151710 198 | 0.000 % |
129.43/129.54 c | 152119 | 11707 50088 152087 | 2147483647 152119 198 | 0.000 % |
130.03/130.11 c | 152569 | 11707 50088 152087 | 2147483647 152569 198 | 0.000 % |
130.63/130.77 c | 153062 | 11707 50088 152087 | 2147483647 153062 198 | 0.000 % |
131.33/131.48 c | 153604 | 11707 50088 152087 | 2147483647 153604 198 | 0.000 % |
132.13/132.25 c | 154203 | 11707 50088 152087 | 2147483647 154203 198 | 0.000 % |
133.03/133.11 c | 154858 | 11707 50088 152087 | 2147483647 154858 198 | 0.000 % |
133.94/134.07 c | 155579 | 11707 50088 152087 | 2147483647 155579 198 | 0.000 % |
135.03/135.13 c | 156371 | 11707 50088 152087 | 2147483647 156371 199 | 0.000 % |
136.13/136.26 c | 157242 | 11707 50088 152087 | 2147483647 157242 199 | 0.000 % |
137.33/137.43 c | 158200 | 11707 50088 152087 | 2147483647 158200 199 | 0.000 % |
138.54/138.68 c | 159253 | 11707 50088 152087 | 2147483647 159253 199 | 0.000 % |
140.03/140.16 c | 160411 | 11707 50088 152087 | 2147483647 160411 199 | 0.000 % |
141.63/141.77 c | 161684 | 11707 50088 152087 | 2147483647 161684 199 | 0.000 % |
143.33/143.44 c | 163085 | 11707 50088 152087 | 2147483647 163085 200 | 0.000 % |
145.33/145.48 c | 164628 | 11707 50088 152087 | 2147483647 164628 200 | 0.000 % |
147.43/147.55 c | 166322 | 11707 50088 152087 | 2147483647 166322 200 | 0.000 % |
147.63/147.71 c | 166422 | 11707 50088 152087 | 2147483647 166422 200 | 0.000 % |
147.73/147.89 c | 166533 | 11707 50088 152087 | 2147483647 166533 200 | 0.000 % |
147.93/148.09 c | 166656 | 11707 50088 152087 | 2147483647 166656 200 | 0.000 % |
148.13/148.29 c | 166790 | 11707 50088 152087 | 2147483647 166790 200 | 0.000 % |
148.44/148.51 c | 166937 | 11707 50088 152087 | 2147483647 166937 200 | 0.000 % |
148.63/148.78 c | 167098 | 11707 50088 152087 | 2147483647 167098 200 | 0.000 % |
148.93/149.05 c | 167274 | 11707 50088 152087 | 2147483647 167274 200 | 0.000 % |
149.23/149.31 c | 167467 | 11707 50088 152087 | 2147483647 167467 200 | 0.000 % |
149.53/149.64 c | 167680 | 11707 50088 152087 | 2147483647 167680 200 | 0.000 % |
149.83/150.00 c | 167915 | 11707 50088 152087 | 2147483647 167915 200 | 0.000 % |
150.23/150.36 c | 168175 | 11707 50088 152087 | 2147483647 168175 200 | 0.000 % |
150.63/150.77 c | 168457 | 11707 50088 152087 | 2147483647 168457 200 | 0.000 % |
151.13/151.22 c | 168767 | 11707 50088 152087 | 2147483647 168767 200 | 0.000 % |
151.64/151.71 c | 169112 | 11707 50088 152087 | 2147483647 169112 200 | 0.000 % |
152.13/152.21 c | 169486 | 11707 50088 152087 | 2147483647 169486 200 | 0.000 % |
152.63/152.75 c | 169895 | 11707 50088 152087 | 2147483647 169895 200 | 0.000 % |
153.23/153.37 c | 170344 | 11707 50088 152087 | 2147483647 170344 200 | 0.000 % |
153.93/154.06 c | 170837 | 11707 50088 152087 | 2147483647 170837 200 | 0.000 % |
154.72/154.81 c | 171380 | 11707 50088 152087 | 2147483647 171380 200 | 0.000 % |
155.42/155.57 c | 171976 | 11707 50088 152087 | 2147483647 171976 200 | 0.000 % |
156.32/156.45 c | 172631 | 11707 50088 152087 | 2147483647 172631 200 | 0.000 % |
157.33/157.45 c | 173351 | 11707 50088 152087 | 2147483647 173351 200 | 0.000 % |
158.43/158.54 c | 174144 | 11707 50088 152087 | 2147483647 174144 200 | 0.000 % |
159.72/159.80 c | 175015 | 11707 50088 152087 | 2147483647 175015 200 | 0.000 % |
161.03/161.18 c | 175974 | 11707 50088 152087 | 2147483647 175974 200 | 0.000 % |
162.53/162.60 c | 177028 | 11707 50088 152087 | 2147483647 177028 200 | 0.000 % |
164.12/164.29 c | 178188 | 11707 50088 152087 | 2147483647 178188 200 | 0.000 % |
165.82/165.98 c | 179463 | 11707 50088 152087 | 2147483647 179463 201 | 0.000 % |
167.83/167.94 c | 180863 | 11707 50088 152087 | 2147483647 180863 201 | 0.000 % |
169.82/169.97 c | 182403 | 11707 50088 152087 | 2147483647 182403 202 | 0.000 % |
172.12/172.21 c | 184097 | 11707 50088 152087 | 2147483647 184097 202 | 0.000 % |
174.62/174.77 c | 185960 | 11707 50088 152087 | 2147483647 185960 202 | 0.000 % |
174.83/174.95 c | 186060 | 11707 50088 152087 | 2147483647 186060 202 | 0.000 % |
175.02/175.17 c | 186170 | 11707 50088 152087 | 2147483647 186170 202 | 0.000 % |
175.22/175.37 c | 186292 | 11707 50088 152087 | 2147483647 186292 202 | 0.000 % |
175.42/175.57 c | 186425 | 11707 50088 152087 | 2147483647 186425 202 | 0.000 % |
175.72/175.84 c | 186573 | 11707 50088 152087 | 2147483647 186573 202 | 0.000 % |
176.02/176.16 c | 186733 | 11707 50088 152087 | 2147483647 186733 202 | 0.000 % |
176.32/176.43 c | 186910 | 11707 50088 152087 | 2147483647 186910 202 | 0.000 % |
176.62/176.74 c | 187103 | 11707 50088 152087 | 2147483647 187103 202 | 0.000 % |
176.92/177.07 c | 187316 | 11707 50088 152087 | 2147483647 187316 202 | 0.000 % |
177.32/177.46 c | 187551 | 11707 50088 152087 | 2147483647 187551 202 | 0.000 % |
177.72/177.90 c | 187807 | 11707 50088 152087 | 2147483647 187807 202 | 0.000 % |
178.22/178.37 c | 188088 | 11707 50088 152087 | 2147483647 188088 201 | 0.000 % |
178.72/178.88 c | 188397 | 11707 50088 152087 | 2147483647 188397 201 | 0.000 % |
179.32/179.40 c | 188739 | 11707 50088 152087 | 2147483647 188739 201 | 0.000 % |
179.82/179.98 c | 189113 | 11707 50088 152087 | 2147483647 189113 201 | 0.000 % |
180.42/180.56 c | 189522 | 11707 50088 152087 | 2147483647 189522 202 | 0.000 % |
181.12/181.26 c | 189971 | 11707 50088 152087 | 2147483647 189971 201 | 0.000 % |
181.82/181.97 c | 190465 | 11707 50088 152087 | 2147483647 190465 202 | 0.000 % |
182.63/182.77 c | 191007 | 11707 50088 152087 | 2147483647 191007 202 | 0.000 % |
183.53/183.65 c | 191603 | 11707 50088 152087 | 2147483647 191603 202 | 0.000 % |
184.52/184.65 c | 192260 | 11707 50088 152087 | 2147483647 192260 202 | 0.000 % |
185.52/185.65 c | 192981 | 11707 50088 152087 | 2147483647 192981 202 | 0.000 % |
186.72/186.83 c | 193776 | 11707 50088 152087 | 2147483647 193776 202 | 0.000 % |
187.93/188.06 c | 194647 | 11707 50088 152087 | 2147483647 194647 202 | 0.000 % |
189.32/189.42 c | 195605 | 11707 50088 152087 | 2147483647 195605 202 | 0.000 % |
190.82/190.91 c | 196658 | 11707 50088 152087 | 2147483647 196658 202 | 0.000 % |
192.43/192.53 c | 197817 | 11707 50088 152087 | 2147483647 197817 202 | 0.000 % |
194.32/194.48 c | 199090 | 11707 50088 152087 | 2147483647 199090 202 | 0.000 % |
196.32/196.46 c | 200490 | 11707 50088 152087 | 2147483647 200490 203 | 0.000 % |
198.62/198.75 c | 202030 | 11707 50088 152087 | 2147483647 202030 204 | 0.000 % |
201.22/201.40 c | 203724 | 11707 50088 152087 | 2147483647 203724 204 | 0.000 % |
204.12/204.22 c | 205587 | 11707 50088 152087 | 2147483647 205587 205 | 0.000 % |
207.11/207.22 c | 207636 | 11707 50088 152087 | 2147483647 207636 205 | 0.000 % |
207.32/207.41 c | 207738 | 11707 50088 152087 | 2147483647 207738 205 | 0.000 % |
207.52/207.62 c | 207848 | 11707 50088 152087 | 2147483647 207848 205 | 0.000 % |
207.72/207.85 c | 207970 | 11707 50088 152087 | 2147483647 207970 205 | 0.000 % |
207.92/208.09 c | 208103 | 11707 50088 152087 | 2147483647 208103 205 | 0.000 % |
208.22/208.34 c | 208250 | 11707 50088 152087 | 2147483647 208250 205 | 0.000 % |
208.52/208.61 c | 208411 | 11707 50088 152087 | 2147483647 208411 205 | 0.000 % |
208.82/208.94 c | 208587 | 11707 50088 152087 | 2147483647 208587 205 | 0.000 % |
209.12/209.30 c | 208780 | 11707 50088 152087 | 2147483647 208780 205 | 0.000 % |
209.52/209.69 c | 208992 | 11707 50088 152087 | 2147483647 208992 205 | 0.000 % |
210.02/210.16 c | 209227 | 11707 50088 152087 | 2147483647 209227 205 | 0.000 % |
210.42/210.59 c | 209483 | 11707 50088 152087 | 2147483647 209483 205 | 0.000 % |
211.02/211.15 c | 209766 | 11707 50088 152087 | 2147483647 209766 205 | 0.000 % |
211.51/211.66 c | 210075 | 11707 50088 152087 | 2147483647 210075 205 | 0.000 % |
212.12/212.24 c | 210414 | 11707 50088 152087 | 2147483647 210414 205 | 0.000 % |
212.71/212.83 c | 210786 | 11707 50088 152087 | 2147483647 210786 204 | 0.000 % |
213.41/213.51 c | 211195 | 11707 50088 152087 | 2147483647 211195 204 | 0.000 % |
214.11/214.29 c | 211644 | 11707 50088 152087 | 2147483647 211644 205 | 0.000 % |
215.01/215.13 c | 212137 | 11707 50088 152087 | 2147483647 212137 205 | 0.000 % |
215.92/216.03 c | 212680 | 11707 50088 152087 | 2147483647 212680 204 | 0.000 % |
216.82/217.00 c | 213276 | 11707 50088 152087 | 2147483647 213276 204 | 0.000 % |
217.92/218.02 c | 213932 | 11707 50088 152087 | 2147483647 213932 204 | 0.000 % |
219.02/219.12 c | 214652 | 11707 50088 152087 | 2147483647 214652 204 | 0.000 % |
220.21/220.36 c | 215446 | 11707 50088 152087 | 2147483647 215446 204 | 0.000 % |
221.61/221.70 c | 216317 | 11707 50088 152087 | 2147483647 216317 205 | 0.000 % |
223.01/223.13 c | 217276 | 11707 50088 152087 | 2147483647 217276 205 | 0.000 % |
224.61/224.74 c | 218329 | 11707 50088 152087 | 2147483647 218329 205 | 0.000 % |
226.52/226.62 c | 219487 | 11707 50088 152087 | 2147483647 219487 205 | 0.000 % |
228.41/228.50 c | 220761 | 11707 50088 152087 | 2147483647 220761 205 | 0.000 % |
230.51/230.66 c | 222162 | 11707 50088 152087 | 2147483647 222162 205 | 0.000 % |
232.91/233.08 c | 223704 | 11707 50088 152087 | 2147483647 223704 205 | 0.000 % |
235.61/235.78 c | 225401 | 11707 50088 152087 | 2147483647 225401 206 | 0.000 % |
238.61/238.77 c | 227265 | 11707 50088 152087 | 2147483647 227265 206 | 0.000 % |
241.81/241.92 c | 229314 | 11707 50088 152087 | 2147483647 229314 206 | 0.000 % |
245.21/245.37 c | 231567 | 11707 50088 152087 | 2147483647 231567 206 | 0.000 % |
245.41/245.59 c | 231667 | 11707 50088 152087 | 2147483647 231667 206 | 0.000 % |
245.71/245.83 c | 231780 | 11707 50088 152087 | 2147483647 231780 206 | 0.000 % |
245.90/246.07 c | 231902 | 11707 50088 152087 | 2147483647 231902 206 | 0.000 % |
246.21/246.30 c | 232035 | 11707 50088 152087 | 2147483647 232035 206 | 0.000 % |
246.50/246.65 c | 232181 | 11707 50088 152087 | 2147483647 232181 206 | 0.000 % |
246.80/246.97 c | 232343 | 11707 50088 152087 | 2147483647 232343 206 | 0.000 % |
247.20/247.30 c | 232521 | 11707 50088 152087 | 2147483647 232521 206 | 0.000 % |
247.50/247.68 c | 232716 | 11707 50088 152087 | 2147483647 232716 206 | 0.000 % |
248.00/248.11 c | 232930 | 11707 50088 152087 | 2147483647 232930 206 | 0.000 % |
248.41/248.55 c | 233163 | 11707 50088 152087 | 2147483647 233163 206 | 0.000 % |
248.91/249.08 c | 233419 | 11707 50088 152087 | 2147483647 233419 206 | 0.000 % |
249.41/249.58 c | 233702 | 11707 50088 152087 | 2147483647 233702 206 | 0.000 % |
250.01/250.14 c | 234011 | 11707 50088 152087 | 2147483647 234011 206 | 0.000 % |
250.61/250.79 c | 234351 | 11707 50088 152087 | 2147483647 234351 206 | 0.000 % |
251.31/251.46 c | 234725 | 11707 50088 152087 | 2147483647 234725 206 | 0.000 % |
252.11/252.21 c | 235135 | 11707 50088 152087 | 2147483647 235135 206 | 0.000 % |
252.81/252.98 c | 235584 | 11707 50088 152087 | 2147483647 235584 206 | 0.000 % |
253.70/253.86 c | 236078 | 11707 50088 152087 | 2147483647 236078 206 | 0.000 % |
254.70/254.82 c | 236623 | 11707 50088 152087 | 2147483647 236623 206 | 0.000 % |
255.70/255.82 c | 237219 | 11707 50088 152087 | 2147483647 237219 206 | 0.000 % |
256.90/257.00 c | 237875 | 11707 50088 152087 | 2147483647 237875 206 | 0.000 % |
258.10/258.21 c | 238595 | 11707 50088 152087 | 2147483647 238595 206 | 0.000 % |
259.41/259.59 c | 239387 | 11707 50088 152087 | 2147483647 239387 206 | 0.000 % |
261.00/261.12 c | 240258 | 11707 50088 152087 | 2147483647 240258 206 | 0.000 % |
262.60/262.72 c | 241217 | 11707 50088 152087 | 2147483647 241217 206 | 0.000 % |
264.31/264.43 c | 242270 | 11707 50088 152087 | 2147483647 242270 206 | 0.000 % |
266.20/266.37 c | 243429 | 11707 50088 152087 | 2147483647 243429 207 | 0.000 % |
268.30/268.47 c | 244704 | 11707 50088 152087 | 2147483647 244704 207 | 0.000 % |
270.60/270.73 c | 246104 | 11707 50088 152087 | 2147483647 246104 207 | 0.000 % |
273.20/273.34 c | 247645 | 11707 50088 152087 | 2147483647 247645 207 | 0.000 % |
276.10/276.21 c | 249341 | 11707 50088 152087 | 2147483647 249341 208 | 0.000 % |
279.21/279.31 c | 251205 | 11707 50088 152087 | 2147483647 251205 208 | 0.000 % |
282.50/282.67 c | 253256 | 11707 50088 152087 | 2147483647 253256 208 | 0.000 % |
286.09/286.25 c | 255511 | 11707 50088 152087 | 2147483647 255511 209 | 0.000 % |
290.39/290.55 c | 257991 | 11707 50088 152087 | 2147483647 257991 209 | 0.000 % |
290.59/290.78 c | 258094 | 11707 50088 152087 | 2147483647 258094 209 | 0.000 % |
290.90/291.04 c | 258206 | 11707 50088 152087 | 2147483647 258206 209 | 0.000 % |
291.20/291.32 c | 258327 | 11707 50088 152087 | 2147483647 258327 209 | 0.000 % |
291.50/291.60 c | 258464 | 11707 50088 152087 | 2147483647 258464 209 | 0.000 % |
291.80/291.90 c | 258610 | 11707 50088 152087 | 2147483647 258610 209 | 0.000 % |
292.10/292.24 c | 258770 | 11707 50088 152087 | 2147483647 258770 209 | 0.000 % |
292.40/292.60 c | 258947 | 11707 50088 152087 | 2147483647 258947 209 | 0.000 % |
292.89/293.03 c | 259142 | 11707 50088 152087 | 2147483647 259142 209 | 0.000 % |
293.29/293.42 c | 259355 | 11707 50088 152087 | 2147483647 259355 209 | 0.000 % |
293.79/293.90 c | 259590 | 11707 50088 152087 | 2147483647 259590 209 | 0.000 % |
294.29/294.47 c | 259847 | 11707 50088 152087 | 2147483647 259847 209 | 0.000 % |
294.89/295.01 c | 260128 | 11707 50088 152087 | 2147483647 260128 209 | 0.000 % |
295.39/295.57 c | 260437 | 11707 50088 152087 | 2147483647 260437 209 | 0.000 % |
296.19/296.32 c | 260776 | 11707 50088 152087 | 2147483647 260776 209 | 0.000 % |
296.89/297.04 c | 261152 | 11707 50088 152087 | 2147483647 261152 209 | 0.000 % |
297.70/297.82 c | 261561 | 11707 50088 152087 | 2147483647 261561 209 | 0.000 % |
298.49/298.69 c | 262010 | 11707 50088 152087 | 2147483647 262010 209 | 0.000 % |
299.59/299.76 c | 262503 | 11707 50088 152087 | 2147483647 262503 209 | 0.000 % |
300.69/300.85 c | 263046 | 11707 50088 152087 | 2147483647 263046 208 | 0.000 % |
301.90/302.04 c | 263642 | 11707 50088 152087 | 2147483647 263642 208 | 0.000 % |
303.19/303.32 c | 264298 | 11707 50088 152087 | 2147483647 264298 208 | 0.000 % |
304.50/304.62 c | 265018 | 11707 50088 152087 | 2147483647 265018 208 | 0.000 % |
305.99/306.12 c | 265811 | 11707 50088 152087 | 2147483647 265811 209 | 0.000 % |
307.39/307.54 c | 266686 | 11707 50088 152087 | 2147483647 266686 209 | 0.000 % |
309.00/309.18 c | 267644 | 11707 50088 152087 | 2147483647 267644 209 | 0.000 % |
310.89/311.02 c | 268697 | 11707 50088 152087 | 2147483647 268697 209 | 0.000 % |
312.89/313.04 c | 269855 | 11707 50088 152087 | 2147483647 269855 209 | 0.000 % |
315.08/315.29 c | 271129 | 11707 50088 152087 | 2147483647 271129 209 | 0.000 % |
317.59/317.80 c | 272530 | 11707 50088 152087 | 2147483647 272530 210 | 0.000 % |
320.59/320.73 c | 274070 | 11707 50088 152087 | 2147483647 274070 210 | 0.000 % |
323.79/323.96 c | 275764 | 11707 50088 152087 | 2147483647 275764 210 | 0.000 % |
327.28/327.46 c | 277627 | 11707 50088 152087 | 2147483647 277627 210 | 0.000 % |
331.19/331.32 c | 279677 | 11707 50088 152087 | 2147483647 279677 211 | 0.000 % |
335.19/335.38 c | 281932 | 11707 50088 152087 | 2147483647 281932 211 | 0.000 % |
339.69/339.82 c | 284411 | 11707 50088 152087 | 2147483647 284411 212 | 0.000 % |
344.39/344.57 c | 287136 | 11707 50088 152087 | 2147483647 287136 212 | 0.000 % |
344.68/344.81 c | 287237 | 11707 50088 152087 | 2147483647 287237 212 | 0.000 % |
344.88/345.05 c | 287347 | 11707 50088 152087 | 2147483647 287347 212 | 0.000 % |
345.19/345.37 c | 287468 | 11707 50088 152087 | 2147483647 287468 212 | 0.000 % |
345.58/345.73 c | 287603 | 11707 50088 152087 | 2147483647 287603 212 | 0.000 % |
345.98/346.11 c | 287751 | 11707 50088 152087 | 2147483647 287751 212 | 0.000 % |
346.29/346.50 c | 287911 | 11707 50088 152087 | 2147483647 287911 212 | 0.000 % |
346.78/346.91 c | 288089 | 11707 50088 152087 | 2147483647 288089 212 | 0.000 % |
347.18/347.35 c | 288284 | 11707 50088 152087 | 2147483647 288284 212 | 0.000 % |
347.68/347.81 c | 288496 | 11707 50088 152087 | 2147483647 288496 212 | 0.000 % |
348.18/348.39 c | 288730 | 11707 50088 152087 | 2147483647 288730 212 | 0.000 % |
348.78/348.90 c | 288989 | 11707 50088 152087 | 2147483647 288989 212 | 0.000 % |
349.38/349.50 c | 289271 | 11707 50088 152087 | 2147483647 289271 212 | 0.000 % |
349.98/350.16 c | 289580 | 11707 50088 152087 | 2147483647 289580 212 | 0.000 % |
350.68/350.90 c | 289920 | 11707 50088 152087 | 2147483647 289920 212 | 0.000 % |
351.48/351.67 c | 290296 | 11707 50088 152087 | 2147483647 290296 212 | 0.000 % |
352.38/352.54 c | 290705 | 11707 50088 152087 | 2147483647 290705 212 | 0.000 % |
353.28/353.46 c | 291154 | 11707 50088 152087 | 2147483647 291154 212 | 0.000 % |
354.28/354.45 c | 291647 | 11707 50088 152087 | 2147483647 291647 212 | 0.000 % |
355.38/355.51 c | 292189 | 11707 50088 152087 | 2147483647 292189 212 | 0.000 % |
356.57/356.74 c | 292785 | 11707 50088 152087 | 2147483647 292785 212 | 0.000 % |
357.98/358.10 c | 293441 | 11707 50088 152087 | 2147483647 293441 212 | 0.000 % |
359.48/359.64 c | 294162 | 11707 50088 152087 | 2147483647 294162 212 | 0.000 % |
361.07/361.22 c | 294955 | 11707 50088 152087 | 2147483647 294955 212 | 0.000 % |
362.88/363.01 c | 295827 | 11707 50088 152087 | 2147483647 295827 212 | 0.000 % |
364.68/364.87 c | 296785 | 11707 50088 152087 | 2147483647 296785 212 | 0.000 % |
366.77/366.92 c | 297838 | 11707 50088 152087 | 2147483647 297838 212 | 0.000 % |
369.08/369.27 c | 298996 | 11707 50088 152087 | 2147483647 298996 212 | 0.000 % |
371.48/371.66 c | 300269 | 11707 50088 152087 | 2147483647 300269 212 | 0.000 % |
374.07/374.28 c | 301671 | 11707 50088 152087 | 2147483647 301671 212 | 0.000 % |
377.27/377.42 c | 303214 | 11707 50088 152087 | 2147483647 303214 212 | 0.000 % |
380.57/380.71 c | 304910 | 11707 50088 152087 | 2147483647 304910 212 | 0.000 % |
384.37/384.54 c | 306774 | 11707 50088 152087 | 2147483647 306774 212 | 0.000 % |
388.27/388.45 c | 308823 | 11707 50088 152087 | 2147483647 308823 212 | 0.000 % |
392.77/392.97 c | 311076 | 11707 50088 152087 | 2147483647 311076 212 | 0.000 % |
397.98/398.11 c | 313554 | 11707 50088 152087 | 2147483647 313554 212 | 0.000 % |
403.47/403.62 c | 316279 | 11707 50088 152087 | 2147483647 316279 212 | 0.000 % |
409.47/409.69 c | 319276 | 11707 50088 152087 | 2147483647 319276 213 | 0.000 % |
409.67/409.90 c | 319377 | 11707 50088 152087 | 2147483647 319377 213 | 0.000 % |
409.97/410.20 c | 319487 | 11707 50088 152087 | 2147483647 319487 213 | 0.000 % |
410.37/410.54 c | 319609 | 11707 50088 152087 | 2147483647 319609 212 | 0.000 % |
410.67/410.88 c | 319743 | 11707 50088 152087 | 2147483647 319743 212 | 0.000 % |
411.07/411.22 c | 319889 | 11707 50088 152087 | 2147483647 319889 212 | 0.000 % |
411.47/411.65 c | 320050 | 11707 50088 152087 | 2147483647 320050 212 | 0.000 % |
411.97/412.15 c | 320226 | 11707 50088 152087 | 2147483647 320226 212 | 0.000 % |
412.47/412.61 c | 320419 | 11707 50088 152087 | 2147483647 320419 212 | 0.000 % |
412.97/413.14 c | 320631 | 11707 50088 152087 | 2147483647 320631 212 | 0.000 % |
413.56/413.73 c | 320867 | 11707 50088 152087 | 2147483647 320867 212 | 0.000 % |
414.16/414.34 c | 321123 | 11707 50088 152087 | 2147483647 321123 212 | 0.000 % |
414.76/414.99 c | 321404 | 11707 50088 152087 | 2147483647 321404 212 | 0.000 % |
415.46/415.64 c | 321715 | 11707 50088 152087 | 2147483647 321715 212 | 0.000 % |
416.26/416.43 c | 322054 | 11707 50088 152087 | 2147483647 322054 212 | 0.000 % |
417.06/417.26 c | 322428 | 11707 50088 152087 | 2147483647 322428 212 | 0.000 % |
418.07/418.20 c | 322838 | 11707 50088 152087 | 2147483647 322838 212 | 0.000 % |
418.97/419.17 c | 323288 | 11707 50088 152087 | 2147483647 323288 212 | 0.000 % |
420.06/420.28 c | 323781 | 11707 50088 152087 | 2147483647 323781 212 | 0.000 % |
421.26/421.40 c | 324325 | 11707 50088 152087 | 2147483647 324325 212 | 0.000 % |
422.56/422.73 c | 324922 | 11707 50088 152087 | 2147483647 324922 212 | 0.000 % |
423.96/424.12 c | 325578 | 11707 50088 152087 | 2147483647 325578 212 | 0.000 % |
425.66/425.80 c | 326298 | 11707 50088 152087 | 2147483647 326298 212 | 0.000 % |
427.36/427.53 c | 327090 | 11707 50088 152087 | 2147483647 327090 212 | 0.000 % |
429.26/429.49 c | 327961 | 11707 50088 152087 | 2147483647 327961 212 | 0.000 % |
431.26/431.48 c | 328920 | 11707 50088 152087 | 2147483647 328920 212 | 0.000 % |
433.55/433.75 c | 329974 | 11707 50088 152087 | 2147483647 329974 212 | 0.000 % |
436.06/436.20 c | 331134 | 11707 50088 152087 | 2147483647 331134 212 | 0.000 % |
438.66/438.83 c | 332407 | 11707 50088 152087 | 2147483647 332407 212 | 0.000 % |
441.55/441.76 c | 333807 | 11707 50088 152087 | 2147483647 333807 213 | 0.000 % |
444.76/444.98 c | 335348 | 11707 50088 152087 | 2147483647 335348 213 | 0.000 % |
448.36/448.51 c | 337042 | 11707 50088 152087 | 2147483647 337042 212 | 0.000 % |
452.55/452.78 c | 338905 | 11707 50088 152087 | 2147483647 338905 213 | 0.000 % |
457.06/457.29 c | 340955 | 11707 50088 152087 | 2147483647 340955 213 | 0.000 % |
462.05/462.22 c | 343209 | 11707 50088 152087 | 2147483647 343209 213 | 0.000 % |
467.25/467.42 c | 345688 | 11707 50088 152087 | 2147483647 345688 214 | 0.000 % |
472.95/473.15 c | 348413 | 11707 50088 152087 | 2147483647 348413 214 | 0.000 % |
479.24/479.45 c | 351410 | 11707 50088 152087 | 2147483647 351410 214 | 0.000 % |
486.15/486.33 c | 354707 | 11707 50088 152087 | 2147483647 354707 214 | 0.000 % |
486.45/486.62 c | 354808 | 11707 50088 152087 | 2147483647 354808 214 | 0.000 % |
486.75/486.94 c | 354923 | 11707 50088 152087 | 2147483647 354923 214 | 0.000 % |
487.05/487.27 c | 355044 | 11707 50088 152087 | 2147483647 355044 214 | 0.000 % |
487.44/487.66 c | 355177 | 11707 50088 152087 | 2147483647 355177 214 | 0.000 % |
487.84/488.08 c | 355323 | 11707 50088 152087 | 2147483647 355323 214 | 0.000 % |
488.34/488.57 c | 355484 | 11707 50088 152087 | 2147483647 355484 214 | 0.000 % |
488.84/489.06 c | 355660 | 11707 50088 152087 | 2147483647 355660 214 | 0.000 % |
489.35/489.57 c | 355853 | 11707 50088 152087 | 2147483647 355853 214 | 0.000 % |
489.94/490.12 c | 356067 | 11707 50088 152087 | 2147483647 356067 214 | 0.000 % |
490.64/490.80 c | 356300 | 11707 50088 152087 | 2147483647 356300 214 | 0.000 % |
491.24/491.49 c | 356557 | 11707 50088 152087 | 2147483647 356557 214 | 0.000 % |
492.04/492.25 c | 356839 | 11707 50088 152087 | 2147483647 356839 214 | 0.000 % |
492.84/493.00 c | 357149 | 11707 50088 152087 | 2147483647 357149 214 | 0.000 % |
493.65/493.89 c | 357488 | 11707 50088 152087 | 2147483647 357488 214 | 0.000 % |
494.65/494.87 c | 357860 | 11707 50088 152087 | 2147483647 357860 214 | 0.000 % |
495.65/495.84 c | 358270 | 11707 50088 152087 | 2147483647 358270 214 | 0.000 % |
496.75/496.96 c | 358719 | 11707 50088 152087 | 2147483647 358719 214 | 0.000 % |
498.05/498.22 c | 359212 | 11707 50088 152087 | 2147483647 359212 214 | 0.000 % |
499.44/499.60 c | 359754 | 11707 50088 152087 | 2147483647 359754 214 | 0.000 % |
500.74/500.99 c | 360350 | 11707 50088 152087 | 2147483647 360350 214 | 0.000 % |
502.34/502.56 c | 361005 | 11707 50088 152087 | 2147483647 361005 214 | 0.000 % |
504.14/504.36 c | 361726 | 11707 50088 152087 | 2147483647 361726 214 | 0.000 % |
506.14/506.30 c | 362518 | 11707 50088 152087 | 2147483647 362518 214 | 0.000 % |
508.34/508.53 c | 363389 | 11707 50088 152087 | 2147483647 363389 214 | 0.000 % |
510.54/510.78 c | 364347 | 11707 50088 152087 | 2147483647 364347 214 | 0.000 % |
513.03/513.29 c | 365401 | 11707 50088 152087 | 2147483647 365401 214 | 0.000 % |
515.74/516.00 c | 366560 | 11707 50088 152087 | 2147483647 366560 214 | 0.000 % |
518.94/519.12 c | 367833 | 11707 50088 152087 | 2147483647 367833 214 | 0.000 % |
522.34/522.51 c | 369234 | 11707 50088 152087 | 2147483647 369234 214 | 0.000 % |
525.74/525.93 c | 370775 | 11707 50088 152087 | 2147483647 370775 214 | 0.000 % |
529.23/529.42 c | 372470 | 11707 50088 152087 | 2147483647 372470 214 | 0.000 % |
533.24/533.46 c | 374333 | 11707 50088 152087 | 2147483647 374333 215 | 0.000 % |
537.83/538.03 c | 376383 | 11707 50088 152087 | 2147483647 376383 215 | 0.000 % |
542.93/543.11 c | 378637 | 11707 50088 152087 | 2147483647 378637 215 | 0.000 % |
548.63/548.89 c | 381116 | 11707 50088 152087 | 2147483647 381116 215 | 0.000 % |
554.53/554.78 c | 383841 | 11707 50088 152087 | 2147483647 383841 216 | 0.000 % |
561.13/561.31 c | 386839 | 11707 50088 152087 | 2147483647 386839 216 | 0.000 % |
568.72/568.97 c | 390135 | 11707 50088 152087 | 2147483647 390135 216 | 0.000 % |
577.12/577.40 c | 393760 | 11707 50088 152087 | 2147483647 393760 217 | 0.000 % |
577.52/577.72 c | 393860 | 11707 50088 152087 | 2147483647 393860 217 | 0.000 % |
577.82/578.07 c | 393971 | 11707 50088 152087 | 2147483647 393971 217 | 0.000 % |
578.22/578.50 c | 394092 | 11707 50088 152087 | 2147483647 394092 217 | 0.000 % |
578.72/578.95 c | 394227 | 11707 50088 152087 | 2147483647 394227 217 | 0.000 % |
579.22/579.43 c | 394373 | 11707 50088 152087 | 2147483647 394373 217 | 0.000 % |
579.72/579.94 c | 394534 | 11707 50088 152087 | 2147483647 394534 216 | 0.000 % |
580.32/580.57 c | 394710 | 11707 50088 152087 | 2147483647 394710 216 | 0.000 % |
580.92/581.17 c | 394906 | 11707 50088 152087 | 2147483647 394906 216 | 0.000 % |
581.62/581.81 c | 395122 | 11707 50088 152087 | 2147483647 395122 216 | 0.000 % |
582.32/582.51 c | 395355 | 11707 50088 152087 | 2147483647 395355 216 | 0.000 % |
583.02/583.27 c | 395612 | 11707 50088 152087 | 2147483647 395612 216 | 0.000 % |
583.92/584.15 c | 395894 | 11707 50088 152087 | 2147483647 395894 216 | 0.000 % |
584.72/584.99 c | 396204 | 11707 50088 152087 | 2147483647 396204 216 | 0.000 % |
585.72/585.92 c | 396544 | 11707 50088 152087 | 2147483647 396544 216 | 0.000 % |
586.62/586.86 c | 396916 | 11707 50088 152087 | 2147483647 396916 216 | 0.000 % |
587.72/587.90 c | 397326 | 11707 50088 152087 | 2147483647 397326 216 | 0.000 % |
588.92/589.14 c | 397777 | 11707 50088 152087 | 2147483647 397777 216 | 0.000 % |
590.32/590.52 c | 398271 | 11707 50088 152087 | 2147483647 398271 216 | 0.000 % |
591.72/591.98 c | 398814 | 11707 50088 152087 | 2147483647 398814 216 | 0.000 % |
593.41/593.63 c | 399410 | 11707 50088 152087 | 2147483647 399410 216 | 0.000 % |
595.12/595.37 c | 400065 | 11707 50088 152087 | 2147483647 400065 216 | 0.000 % |
597.22/597.42 c | 400785 | 11707 50088 152087 | 2147483647 400785 216 | 0.000 % |
599.22/599.50 c | 401579 | 11707 50088 152087 | 2147483647 401579 216 | 0.000 % |
601.42/601.67 c | 402450 | 11707 50088 152087 | 2147483647 402450 216 | 0.000 % |
604.01/604.23 c | 403409 | 11707 50088 152087 | 2147483647 403409 216 | 0.000 % |
606.42/606.70 c | 404462 | 11707 50088 152087 | 2147483647 404462 216 | 0.000 % |
609.22/609.47 c | 405621 | 11707 50088 152087 | 2147483647 405621 216 | 0.000 % |
612.51/612.78 c | 406895 | 11707 50088 152087 | 2147483647 406895 216 | 0.000 % |
616.21/616.48 c | 408295 | 11707 50088 152087 | 2147483647 408295 216 | 0.000 % |
620.01/620.25 c | 409838 | 11707 50088 152087 | 2147483647 409838 217 | 0.000 % |
624.11/624.31 c | 411533 | 11707 50088 152087 | 2147483647 411533 217 | 0.000 % |
629.10/629.34 c | 413398 | 11707 50088 152087 | 2147483647 413398 217 | 0.000 % |
633.90/634.10 c | 415448 | 11707 50088 152087 | 2147483647 415448 217 | 0.000 % |
639.50/639.72 c | 417702 | 11707 50088 152087 | 2147483647 417702 217 | 0.000 % |
645.60/645.85 c | 420181 | 11707 50088 152087 | 2147483647 420181 217 | 0.000 % |
652.50/652.74 c | 422907 | 11707 50088 152087 | 2147483647 422907 217 | 0.000 % |
659.70/659.98 c | 425904 | 11707 50088 152087 | 2147483647 425904 218 | 0.000 % |
668.19/668.45 c | 429202 | 11707 50088 152087 | 2147483647 429202 218 | 0.000 % |
677.49/677.72 c | 432827 | 11707 50088 152087 | 2147483647 432827 218 | 0.000 % |
687.60/687.82 c | 436815 | 11707 50088 152087 | 2147483647 436815 218 | 0.000 % |
687.89/688.20 c | 436917 | 11707 50088 152087 | 2147483647 436917 218 | 0.000 % |
688.30/688.58 c | 437027 | 11707 50088 152087 | 2147483647 437027 218 | 0.000 % |
688.79/689.05 c | 437148 | 11707 50088 152087 | 2147483647 437148 218 | 0.000 % |
689.19/689.46 c | 437284 | 11707 50088 152087 | 2147483647 437284 218 | 0.000 % |
689.69/689.92 c | 437430 | 11707 50088 152087 | 2147483647 437430 218 | 0.000 % |
690.19/690.44 c | 437590 | 11707 50088 152087 | 2147483647 437590 218 | 0.000 % |
690.79/691.09 c | 437766 | 11707 50088 152087 | 2147483647 437766 218 | 0.000 % |
691.49/691.73 c | 437960 | 11707 50088 152087 | 2147483647 437960 218 | 0.000 % |
692.19/692.44 c | 438174 | 11707 50088 152087 | 2147483647 438174 218 | 0.000 % |
692.99/693.22 c | 438408 | 11707 50088 152087 | 2147483647 438408 218 | 0.000 % |
693.69/693.90 c | 438664 | 11707 50088 152087 | 2147483647 438664 218 | 0.000 % |
694.49/694.78 c | 438946 | 11707 50088 152087 | 2147483647 438946 218 | 0.000 % |
695.59/695.81 c | 439256 | 11707 50088 152087 | 2147483647 439256 218 | 0.000 % |
696.59/696.83 c | 439595 | 11707 50088 152087 | 2147483647 439595 218 | 0.000 % |
697.69/697.94 c | 439969 | 11707 50088 152087 | 2147483647 439969 218 | 0.000 % |
698.99/699.25 c | 440378 | 11707 50088 152087 | 2147483647 440378 218 | 0.000 % |
700.39/700.61 c | 440829 | 11707 50088 152087 | 2147483647 440829 218 | 0.000 % |
701.79/702.03 c | 441323 | 11707 50088 152087 | 2147483647 441323 218 | 0.000 % |
703.29/703.56 c | 441868 | 11707 50088 152087 | 2147483647 441868 218 | 0.000 % |
704.99/705.26 c | 442464 | 11707 50088 152087 | 2147483647 442464 218 | 0.000 % |
706.99/707.20 c | 443122 | 11707 50088 152087 | 2147483647 443122 218 | 0.000 % |
708.99/709.24 c | 443842 | 11707 50088 152087 | 2147483647 443842 218 | 0.000 % |
711.28/711.58 c | 444636 | 11707 50088 152087 | 2147483647 444636 218 | 0.000 % |
713.78/714.00 c | 445508 | 11707 50088 152087 | 2147483647 445508 218 | 0.000 % |
716.59/716.83 c | 446467 | 11707 50088 152087 | 2147483647 446467 218 | 0.000 % |
719.49/719.71 c | 447522 | 11707 50088 152087 | 2147483647 447522 218 | 0.000 % |
722.98/723.23 c | 448682 | 11707 50088 152087 | 2147483647 448682 218 | 0.000 % |
726.38/726.70 c | 449955 | 11707 50088 152087 | 2147483647 449955 218 | 0.000 % |
730.28/730.51 c | 451355 | 11707 50088 152087 | 2147483647 451355 218 | 0.000 % |
734.38/734.68 c | 452895 | 11707 50088 152087 | 2147483647 452895 218 | 0.000 % |
738.88/739.16 c | 454589 | 11707 50088 152087 | 2147483647 454589 218 | 0.000 % |
743.97/744.26 c | 456452 | 11707 50088 152087 | 2147483647 456452 218 | 0.000 % |
749.38/749.69 c | 458502 | 11707 50088 152087 | 2147483647 458502 219 | 0.000 % |
755.67/755.91 c | 460755 | 11707 50088 152087 | 2147483647 460755 219 | 0.000 % |
761.97/762.28 c | 463235 | 11707 50088 152087 | 2147483647 463235 218 | 0.000 % |
769.07/769.33 c | 465960 | 11707 50088 152087 | 2147483647 465960 219 | 0.000 % |
776.96/777.26 c | 468957 | 11707 50088 152087 | 2147483647 468957 219 | 0.000 % |
785.36/785.70 c | 472253 | 11707 50088 152087 | 2147483647 472253 219 | 0.000 % |
795.16/795.42 c | 475878 | 11707 50088 152087 | 2147483647 475878 219 | 0.000 % |
806.46/806.73 c | 479865 | 11707 50088 152087 | 2147483647 479865 219 | 0.000 % |
817.95/818.21 c | 484250 | 11707 50088 152087 | 2147483647 484250 220 | 0.000 % |
818.25/818.55 c | 484350 | 11707 50088 152087 | 2147483647 484350 220 | 0.000 % |
818.65/818.98 c | 484462 | 11707 50088 152087 | 2147483647 484462 220 | 0.000 % |
819.16/819.49 c | 484584 | 11707 50088 152087 | 2147483647 484584 220 | 0.000 % |
819.75/820.08 c | 484717 | 11707 50088 152087 | 2147483647 484717 220 | 0.000 % |
820.45/820.73 c | 484866 | 11707 50088 152087 | 2147483647 484866 220 | 0.000 % |
820.95/821.24 c | 485027 | 11707 50088 152087 | 2147483647 485027 220 | 0.000 % |
821.65/821.93 c | 485204 | 11707 50088 152087 | 2147483647 485204 220 | 0.000 % |
822.36/822.64 c | 485397 | 11707 50088 152087 | 2147483647 485397 220 | 0.000 % |
823.16/823.41 c | 485609 | 11707 50088 152087 | 2147483647 485609 220 | 0.000 % |
823.86/824.19 c | 485842 | 11707 50088 152087 | 2147483647 485842 220 | 0.000 % |
824.76/825.04 c | 486098 | 11707 50088 152087 | 2147483647 486098 220 | 0.000 % |
825.76/826.07 c | 486379 | 11707 50088 152087 | 2147483647 486379 220 | 0.000 % |
826.86/827.17 c | 486688 | 11707 50088 152087 | 2147483647 486688 220 | 0.000 % |
828.06/828.34 c | 487027 | 11707 50088 152087 | 2147483647 487027 220 | 0.000 % |
829.35/829.66 c | 487400 | 11707 50088 152087 | 2147483647 487400 220 | 0.000 % |
830.85/831.15 c | 487809 | 11707 50088 152087 | 2147483647 487809 220 | 0.000 % |
832.25/832.54 c | 488258 | 11707 50088 152087 | 2147483647 488258 220 | 0.000 % |
833.75/834.08 c | 488751 | 11707 50088 152087 | 2147483647 488751 220 | 0.000 % |
835.56/835.88 c | 489295 | 11707 50088 152087 | 2147483647 489295 220 | 0.000 % |
837.55/837.88 c | 489891 | 11707 50088 152087 | 2147483647 489891 220 | 0.000 % |
839.75/840.01 c | 490546 | 11707 50088 152087 | 2147483647 490546 220 | 0.000 % |
842.15/842.41 c | 491266 | 11707 50088 152087 | 2147483647 491266 220 | 0.000 % |
844.35/844.67 c | 492058 | 11707 50088 152087 | 2147483647 492058 220 | 0.000 % |
847.24/847.55 c | 492931 | 11707 50088 152087 | 2147483647 492931 220 | 0.000 % |
850.25/850.52 c | 493892 | 11707 50088 152087 | 2147483647 493892 220 | 0.000 % |
853.35/853.63 c | 494947 | 11707 50088 152087 | 2147483647 494947 220 | 0.000 % |
857.05/857.34 c | 496107 | 11707 50088 152087 | 2147483647 496107 220 | 0.000 % |
860.95/861.26 c | 497381 | 11707 50088 152087 | 2147483647 497381 220 | 0.000 % |
865.15/865.42 c | 498782 | 11707 50088 152087 | 2147483647 498782 220 | 0.000 % |
869.65/869.93 c | 500324 | 11707 50088 152087 | 2147483647 500324 220 | 0.000 % |
874.34/874.69 c | 502018 | 11707 50088 152087 | 2147483647 502018 220 | 0.000 % |
880.24/880.53 c | 503881 | 11707 50088 152087 | 2147483647 503881 220 | 0.000 % |
885.84/886.18 c | 505930 | 11707 50088 152087 | 2147483647 505930 220 | 0.000 % |
892.44/892.70 c | 508187 | 11707 50088 152087 | 2147483647 508187 220 | 0.000 % |
899.54/899.86 c | 510665 | 11707 50088 152087 | 2147483647 510665 220 | 0.000 % |
907.64/907.90 c | 513390 | 11707 50088 152087 | 2147483647 513390 220 | 0.000 % |
916.63/916.97 c | 516388 | 11707 50088 152087 | 2147483647 516388 220 | 0.000 % |
926.52/926.89 c | 519684 | 11707 50088 152087 | 2147483647 519684 221 | 0.000 % |
937.13/937.48 c | 523309 | 11707 50088 152087 | 2147483647 523309 221 | 0.000 % |
948.32/948.66 c | 527296 | 11707 50088 152087 | 2147483647 527296 221 | 0.000 % |
961.82/962.16 c | 531681 | 11707 50088 152087 | 2147483647 531681 221 | 0.000 % |
976.22/976.54 c | 536504 | 11707 50088 152087 | 2147483647 536504 222 | 0.000 % |
976.72/977.04 c | 536605 | 11707 50088 152087 | 2147483647 536605 222 | 0.000 % |
977.22/977.58 c | 536716 | 11707 50088 152087 | 2147483647 536716 222 | 0.000 % |
977.72/978.07 c | 536837 | 11707 50088 152087 | 2147483647 536837 222 | 0.000 % |
978.32/978.65 c | 536970 | 11707 50088 152087 | 2147483647 536970 222 | 0.000 % |
978.92/979.28 c | 537116 | 11707 50088 152087 | 2147483647 537116 222 | 0.000 % |
979.62/979.95 c | 537278 | 11707 50088 152087 | 2147483647 537278 222 | 0.000 % |
980.32/980.67 c | 537455 | 11707 50088 152087 | 2147483647 537455 222 | 0.000 % |
981.22/981.50 c | 537648 | 11707 50088 152087 | 2147483647 537648 222 | 0.000 % |
981.92/982.28 c | 537860 | 11707 50088 152087 | 2147483647 537860 222 | 0.000 % |
982.91/983.23 c | 538093 | 11707 50088 152087 | 2147483647 538093 222 | 0.000 % |
983.91/984.28 c | 538349 | 11707 50088 152087 | 2147483647 538349 222 | 0.000 % |
985.01/985.34 c | 538632 | 11707 50088 152087 | 2147483647 538632 221 | 0.000 % |
986.22/986.50 c | 538942 | 11707 50088 152087 | 2147483647 538942 221 | 0.000 % |
987.42/987.79 c | 539281 | 11707 50088 152087 | 2147483647 539281 221 | 0.000 % |
988.91/989.24 c | 539655 | 11707 50088 152087 | 2147483647 539655 221 | 0.000 % |
990.41/990.72 c | 540065 | 11707 50088 152087 | 2147483647 540065 221 | 0.000 % |
992.12/992.48 c | 540515 | 11707 50088 152087 | 2147483647 540515 221 | 0.000 % |
994.02/994.31 c | 541008 | 11707 50088 152087 | 2147483647 541008 221 | 0.000 % |
995.91/996.20 c | 541550 | 11707 50088 152087 | 2147483647 541550 221 | 0.000 % |
998.01/998.37 c | 542147 | 11707 50088 152087 | 2147483647 542147 221 | 0.000 % |
1000.31/1000.65 c | 542804 | 11707 50088 152087 | 2147483647 542804 221 | 0.000 % |
1002.91/1003.29 c | 543525 | 11707 50088 152087 | 2147483647 543525 221 | 0.000 % |
1005.90/1006.28 c | 544317 | 11707 50088 152087 | 2147483647 544317 221 | 0.000 % |
1008.91/1009.22 c | 545190 | 11707 50088 152087 | 2147483647 545190 221 | 0.000 % |
1012.11/1012.47 c | 546150 | 11707 50088 152087 | 2147483647 546150 221 | 0.000 % |
1015.70/1016.00 c | 547203 | 11707 50088 152087 | 2147483647 547203 221 | 0.000 % |
1019.20/1019.57 c | 548361 | 11707 50088 152087 | 2147483647 548361 221 | 0.000 % |
1023.10/1023.43 c | 549636 | 11707 50088 152087 | 2147483647 549636 221 | 0.000 % |
1027.60/1027.91 c | 551036 | 11707 50088 152087 | 2147483647 551036 221 | 0.000 % |
1033.00/1033.34 c | 552577 | 11707 50088 152087 | 2147483647 552577 221 | 0.000 % |
1038.50/1038.90 c | 554271 | 11707 50088 152087 | 2147483647 554271 221 | 0.000 % |
1044.60/1044.93 c | 556135 | 11707 50088 152087 | 2147483647 556135 221 | 0.000 % |
1051.20/1051.55 c | 558186 | 11707 50088 152087 | 2147483647 558186 221 | 0.000 % |
1058.70/1059.00 c | 560439 | 11707 50088 152087 | 2147483647 560439 221 | 0.000 % |
1065.99/1066.37 c | 562917 | 11707 50088 152087 | 2147483647 562917 221 | 0.000 % |
1074.30/1074.68 c | 565643 | 11707 50088 152087 | 2147483647 565643 221 | 0.000 % |
1084.09/1084.45 c | 568640 | 11707 50088 152087 | 2147483647 568640 221 | 0.000 % |
1093.99/1094.38 c | 571941 | 11707 50088 152087 | 2147483647 571941 222 | 0.000 % |
1104.98/1105.38 c | 575566 | 11707 50088 152087 | 2147483647 575566 222 | 0.000 % |
1118.47/1118.83 c | 579553 | 11707 50088 152087 | 2147483647 579553 223 | 0.000 % |
1133.17/1133.53 c | 583938 | 11707 50088 152087 | 2147483647 583938 223 | 0.000 % |
1147.77/1148.11 c | 588761 | 11707 50088 152087 | 2147483647 588761 223 | 0.000 % |
1164.86/1165.25 c | 594066 | 11707 50088 152087 | 2147483647 594066 223 | 0.000 % |
1165.46/1165.80 c | 594166 | 11707 50088 152087 | 2147483647 594166 223 | 0.000 % |
1165.96/1166.33 c | 594279 | 11707 50088 152087 | 2147483647 594279 223 | 0.000 % |
1166.46/1166.87 c | 594401 | 11707 50088 152087 | 2147483647 594401 223 | 0.000 % |
1167.06/1167.47 c | 594534 | 11707 50088 152087 | 2147483647 594534 223 | 0.000 % |
1167.77/1168.14 c | 594681 | 11707 50088 152087 | 2147483647 594681 223 | 0.000 % |
1168.46/1168.87 c | 594841 | 11707 50088 152087 | 2147483647 594841 223 | 0.000 % |
1169.16/1169.57 c | 595018 | 11707 50088 152087 | 2147483647 595018 223 | 0.000 % |
1170.06/1170.48 c | 595212 | 11707 50088 152087 | 2147483647 595212 223 | 0.000 % |
1170.96/1171.32 c | 595426 | 11707 50088 152087 | 2147483647 595426 223 | 0.000 % |
1171.97/1172.36 c | 595660 | 11707 50088 152087 | 2147483647 595660 223 | 0.000 % |
1173.06/1173.44 c | 595917 | 11707 50088 152087 | 2147483647 595917 223 | 0.000 % |
1174.26/1174.64 c | 596198 | 11707 50088 152087 | 2147483647 596198 223 | 0.000 % |
1175.47/1175.82 c | 596507 | 11707 50088 152087 | 2147483647 596507 223 | 0.000 % |
1176.86/1177.28 c | 596847 | 11707 50088 152087 | 2147483647 596847 223 | 0.000 % |
1178.36/1178.71 c | 597219 | 11707 50088 152087 | 2147483647 597219 223 | 0.000 % |
1179.96/1180.34 c | 597628 | 11707 50088 152087 | 2147483647 597628 223 | 0.000 % |
1181.66/1182.05 c | 598077 | 11707 50088 152087 | 2147483647 598077 223 | 0.000 % |
1183.76/1184.17 c | 598573 | 11707 50088 152087 | 2147483647 598573 223 | 0.000 % |
1185.86/1186.23 c | 599115 | 11707 50088 152087 | 2147483647 599115 223 | 0.000 % |
1187.86/1188.26 c | 599711 | 11707 50088 152087 | 2147483647 599711 223 | 0.000 % |
1190.26/1190.67 c | 600367 | 11707 50088 152087 | 2147483647 600367 223 | 0.000 % |
1193.06/1193.44 c | 601089 | 11707 50088 152087 | 2147483647 601089 223 | 0.000 % |
1196.16/1196.60 c | 601881 | 11707 50088 152087 | 2147483647 601881 223 | 0.000 % |
1199.25/1199.62 c | 602753 | 11707 50088 152087 | 2147483647 602753 223 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832819-1242788352/watcher-1832819-1242788352 -o /tmp/evaluation-result-1832819-1242788352/solver-1832819-1242788352 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832819-1242788352.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.99 0.98 0.99 3/64 12330
/proc/meminfo: memFree=1899392/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0
/proc/12330/stat : 12330 (SatELiteGTI) R 12328 12330 11637 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306868376 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225611803123 0 0 4100 65536 0 0 0 17 0 0 0
/proc/12330/statm: 1339 237 197 169 0 50 0
[startup+0.0408769 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12330
/proc/meminfo: memFree=1899392/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306868376 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12330/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101881 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12330
/proc/meminfo: memFree=1899392/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306868376 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12330/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301925 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12330
/proc/meminfo: memFree=1899392/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356
[startup+0.701943 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 12330
/proc/meminfo: memFree=1899392/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356
[startup+1.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12336
/proc/meminfo: memFree=1892720/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=7060 CPUtime=1.25
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 1626 0 0 0 124 1 0 0 25 0 1 0 306868399 7229440 1612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 1765 1612 77 171 0 1592 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12416
[startup+3.10214 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12336
/proc/meminfo: memFree=1890736/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=9840 CPUtime=2.86
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 2298 0 0 0 284 2 0 0 25 0 1 0 306868399 10076160 2284 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 2460 2284 77 171 0 2287 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15196
[startup+6.30142 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12336
/proc/meminfo: memFree=1885232/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=15120 CPUtime=6.05
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 3620 0 0 0 602 3 0 0 25 0 1 0 306868399 15482880 3606 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 3780 3606 77 171 0 3607 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20476
[startup+12.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12336
/proc/meminfo: memFree=1875576/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=24012 CPUtime=12.45
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 5847 0 0 0 1240 5 0 0 25 0 1 0 306868399 24588288 5833 1992294400 134512640 135215339 4294956240 18446744073709551615 134527372 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 6003 5833 77 171 0 5830 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29368
[startup+25.5011 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12336
/proc/meminfo: memFree=1859064/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=39968 CPUtime=25.24
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 9827 0 0 0 2515 9 0 0 25 0 1 0 306868399 40927232 9813 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 9992 9813 77 171 0 9819 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45324
[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12336
/proc/meminfo: memFree=1832696/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=66488 CPUtime=50.84
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 16457 0 0 0 5066 18 0 0 25 0 1 0 306868399 68083712 16443 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 16622 16443 77 171 0 16449 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 71844
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12336
/proc/meminfo: memFree=1789176/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=109304 CPUtime=102.03
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 27174 0 0 0 10172 31 0 0 25 0 1 0 306868399 111927296 27160 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 27326 27160 77 171 0 27153 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 114660
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1748144/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=150632 CPUtime=162.01
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 37479 0 0 0 16157 44 0 0 25 0 1 0 306868399 154247168 37465 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 37658 37465 77 171 0 37485 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 155988
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1710896/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=187604 CPUtime=221.99
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 46654 0 0 0 22145 54 0 0 25 0 1 0 306868399 192106496 46640 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 46901 46640 77 171 0 46728 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 192960
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1677296/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=221396 CPUtime=281.98
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 55141 0 0 0 28133 65 0 0 25 0 1 0 306868399 226709504 55127 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 55349 55127 77 171 0 55176 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 226752
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1644720/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=253208 CPUtime=341.96
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 63144 0 0 0 34121 75 0 0 25 0 1 0 306868399 259284992 63130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 63302 63130 77 171 0 63129 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 258564
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1618416/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=280220 CPUtime=401.95
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 69760 0 0 0 40112 83 0 0 25 0 1 0 306868399 286945280 69746 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 70055 69746 77 171 0 69882 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 285576
[startup+462.302 s]
################
# More data... #
################
/proc/12336/statm: 82201 81943 77 171 0 82028 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 334160
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1542008/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=355468 CPUtime=581.9
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 88661 0 0 0 58084 106 0 0 25 0 1 0 306868399 363999232 88647 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 88867 88647 77 171 0 88694 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 360824
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1520312/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=376984 CPUtime=641.89
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 94036 0 0 0 64076 113 0 0 25 0 1 0 306868399 386031616 94022 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 94246 94022 77 171 0 94073 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 382340
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1498168/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=399028 CPUtime=701.87
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 99572 0 0 0 70067 120 0 0 25 0 1 0 306868399 408604672 99558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 99757 99558 77 171 0 99584 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 404384
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1477624/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=419224 CPUtime=761.85
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 104643 0 0 0 76059 126 0 0 25 0 1 0 306868399 429285376 104629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 104806 104629 77 171 0 104633 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 424580
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1455096/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=442576 CPUtime=821.83
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 110288 0 0 0 82051 132 0 0 25 0 1 0 306868399 453197824 110274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 110644 110274 77 171 0 110471 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 447932
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1437432/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=460000 CPUtime=881.82
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 114652 0 0 0 88044 138 0 0 25 0 1 0 306868399 471040000 114638 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 115000 114638 77 171 0 114827 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 465356
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1417016/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=480460 CPUtime=941.8
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 119781 0 0 0 94035 145 0 0 25 0 1 0 306868399 491991040 119767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 120115 119767 77 171 0 119942 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 485816
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1399608/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=497488 CPUtime=1001.79
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 124086 0 0 0 100028 151 0 0 25 0 1 0 306868399 509427712 124072 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 124372 124072 77 171 0 124199 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 502844
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1383160/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=513992 CPUtime=1061.77
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 128203 0 0 0 106021 156 0 0 25 0 1 0 306868399 526327808 128189 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 128498 128189 77 171 0 128325 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 519348
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1363064/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=533660 CPUtime=1121.76
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 133163 0 0 0 112016 160 0 0 25 0 1 0 306868399 546467840 133149 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 133415 133149 77 171 0 133242 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 539016
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1345592/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=551084 CPUtime=1181.74
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 137528 0 0 0 118009 165 0 0 25 0 1 0 306868399 564310016 137514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 137771 137514 77 171 0 137598 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 556440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 12342
/proc/meminfo: memFree=1341112/2055920 swapFree=4179340/4192956
[pid=12330] ppid=12328 vsize=5356 CPUtime=0.22
/proc/12330/stat : 12330 (SatELiteGTI) S 12328 12330 11637 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306868376 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12330/statm: 1339 239 197 169 0 50 0
[pid=12336] ppid=12330 vsize=555308 CPUtime=1199.84
/proc/12336/stat : 12336 (minisat_static) R 12330 12330 11637 0 -1 4194304 138582 0 0 0 119818 166 0 0 25 0 1 0 306868399 568635392 138568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528726 0 0 4096 3 0 0 0 17 1 0 0
/proc/12336/statm: 138827 138568 77 171 0 138654 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 560664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12330 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=216967
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 0.233964
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.06
CPU user time (s): 1198.39
CPU system time (s): 1.67
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 560664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.216967
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2174
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= 12
involuntary context switches= 8
runsolver used 1.42178 second user time and 3.00954 second system time
The end
Begin job on node31 at 2009-05-20 04:59:12
IDJOB=1832819
IDBENCH=70373
IDSOLVER=671
FILE ID=node31/1832819-1242788352
PBS_JOBID= 9322302
Free space on /tmp= 66232 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832819-1242788352/watcher-1832819-1242788352 -o /tmp/evaluation-result-1832819-1242788352/solver-1832819-1242788352 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832819-1242788352.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 65bb593760651b10c127c4b3276e73fc
RANDOM SEED=1739430857
node31.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.213
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.213
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: 1899872 kB
Buffers: 29668 kB
Cached: 78752 kB
SwapCached: 7180 kB
Active: 34656 kB
Inactive: 83452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1899872 kB
SwapTotal: 4192956 kB
SwapFree: 4179340 kB
Dirty: 2504 kB
Writeback: 0 kB
Mapped: 14312 kB
Slab: 23736 kB
Committed_AS: 1002272 kB
PageTables: 1468 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66228 MiB
End job on node31 at 2009-05-20 05:19:14