0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 67200 201600 | 20159 0 0 nan | 0.000 % |
0.00/0.23 c | 0 | 66714 202780 | -- 0 -- -- | -- | -486/1180
0.00/0.23 c ==============================================================================
0.00/0.23 c Result : #vars: 15564 #clauses: 66714 #literals: 202780
0.00/0.23 c CPU time: 0.209968 s
0.00/0.23 c ==============================================================================
0.00/0.30 c This is MiniSat 2.0 beta
0.00/0.30 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.30 c ============================[ Problem Statistics ]=============================
0.00/0.30 c | |
0.00/0.30 c | Number of variables: 15564 |
0.00/0.30 c | Number of clauses: 66714 |
0.00/0.35 c | Parsing time: 0.05 s |
0.00/0.36 c ============================[ Search Statistics ]==============================
0.00/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.36 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.36 c ===============================================================================
0.00/0.36 c | 0 | 15564 66714 202780 | 22238 0 nan | 0.000 % |
0.29/0.42 c | 101 | 15564 66714 202780 | 22238 101 176 | 0.000 % |
0.29/0.47 c | 201 | 15564 66714 202780 | 22238 201 169 | 0.000 % |
0.29/0.53 c | 301 | 15564 66714 202780 | 22238 301 171 | 0.000 % |
0.29/0.59 c | 412 | 15564 66714 202780 | 22238 412 185 | 0.000 % |
0.29/0.65 c | 513 | 15564 66714 202780 | 22238 513 178 | 0.000 % |
0.29/0.71 c | 624 | 15564 66714 202780 | 22238 624 186 | 0.000 % |
0.29/0.78 c | 745 | 15564 66714 202780 | 22238 745 183 | 0.000 % |
0.29/0.83 c | 845 | 15564 66714 202780 | 22238 845 183 | 0.000 % |
0.29/0.89 c | 955 | 15564 66714 202780 | 22238 955 181 | 0.000 % |
0.29/0.96 c | 1078 | 15564 66714 202780 | 22238 1078 187 | 0.000 % |
0.98/1.04 c | 1212 | 15564 66714 202780 | 22238 1212 186 | 0.000 % |
0.98/1.09 c | 1313 | 15564 66714 202780 | 22238 1313 187 | 0.000 % |
1.08/1.15 c | 1423 | 15564 66714 202780 | 22238 1423 189 | 0.000 % |
1.18/1.22 c | 1544 | 15564 66714 202780 | 22238 1544 191 | 0.000 % |
1.18/1.29 c | 1677 | 15564 66714 202780 | 22238 1677 195 | 0.000 % |
1.27/1.37 c | 1823 | 15564 66714 202780 | 22238 1823 194 | 0.000 % |
1.37/1.42 c | 1925 | 15564 66714 202780 | 22238 1925 194 | 0.000 % |
1.37/1.48 c | 2035 | 15564 66714 202780 | 22238 2035 191 | 0.000 % |
1.47/1.55 c | 2156 | 15564 66714 202780 | 22238 2156 188 | 0.000 % |
1.57/1.62 c | 2291 | 15564 66714 202780 | 22238 2291 188 | 0.000 % |
1.57/1.69 c | 2438 | 15564 66714 202780 | 22238 2438 189 | 0.000 % |
1.67/1.78 c | 2598 | 15564 66714 202780 | 22238 2598 188 | 0.000 % |
1.77/1.84 c | 2698 | 15564 66714 202780 | 22238 2698 188 | 0.000 % |
1.87/1.91 c | 2809 | 15564 66714 202780 | 22238 2809 188 | 0.000 % |
1.87/1.98 c | 2933 | 15564 66714 202780 | 22238 2933 187 | 0.000 % |
1.97/2.05 c | 3067 | 15564 66714 202780 | 22238 3067 188 | 0.000 % |
2.07/2.13 c | 3214 | 15564 66714 202780 | 22238 3214 188 | 0.000 % |
2.18/2.21 c | 3375 | 15564 66714 202780 | 22238 3375 187 | 0.000 % |
2.27/2.30 c | 3551 | 15564 66714 202780 | 22238 3551 186 | 0.000 % |
2.27/2.36 c | 3651 | 15564 66714 202780 | 22238 3651 186 | 0.000 % |
2.37/2.42 c | 3765 | 15564 66714 202780 | 22238 3765 185 | 0.000 % |
2.37/2.49 c | 3886 | 15564 66714 202780 | 22238 3886 185 | 0.000 % |
2.47/2.57 c | 4020 | 15564 66714 202780 | 22238 4020 185 | 0.000 % |
2.57/2.65 c | 4168 | 15564 66714 202780 | 22238 4168 185 | 0.000 % |
2.67/2.74 c | 4330 | 15564 66714 202780 | 22238 4330 189 | 0.000 % |
2.77/2.84 c | 4506 | 15564 66714 202780 | 22238 4506 189 | 0.000 % |
2.87/2.95 c | 4701 | 15564 66714 202780 | 22238 4701 189 | 0.000 % |
2.97/3.00 c | 4801 | 15564 66714 202780 | 22238 4801 188 | 0.000 % |
2.97/3.07 c | 4913 | 15564 66714 202780 | 22238 4913 189 | 0.000 % |
3.08/3.15 c | 5036 | 15564 66714 202780 | 22238 5036 189 | 0.000 % |
3.18/3.22 c | 5169 | 15564 66714 202780 | 22238 5169 189 | 0.000 % |
3.28/3.31 c | 5317 | 15564 66714 202780 | 22238 5317 189 | 0.000 % |
3.37/3.40 c | 5477 | 15564 66714 202780 | 22238 5477 189 | 0.000 % |
3.37/3.49 c | 5653 | 15564 66714 202780 | 22238 5653 188 | 0.000 % |
3.47/3.60 c | 5846 | 15564 66714 202780 | 22238 5846 187 | 0.000 % |
3.67/3.72 c | 6059 | 15564 66714 202780 | 22238 6059 187 | 0.000 % |
3.67/3.77 c | 6160 | 15564 66714 202780 | 22238 6160 187 | 0.000 % |
3.77/3.84 c | 6271 | 15564 66714 202780 | 22238 6271 186 | 0.000 % |
3.87/3.91 c | 6392 | 15564 66714 202780 | 22238 6392 186 | 0.000 % |
3.87/3.99 c | 6525 | 15564 66714 202780 | 22238 6525 187 | 0.000 % |
3.97/4.08 c | 6671 | 15564 66714 202780 | 22238 6671 187 | 0.000 % |
4.07/4.17 c | 6832 | 15564 66714 202780 | 22238 6832 188 | 0.000 % |
4.17/4.27 c | 7008 | 15564 66714 202780 | 22238 7008 189 | 0.000 % |
4.27/4.37 c | 7204 | 15564 66714 202780 | 22238 7204 189 | 0.000 % |
4.47/4.50 c | 7418 | 15564 66714 202780 | 22238 7418 191 | 0.000 % |
4.57/4.64 c | 7651 | 15564 66714 202780 | 22238 7651 192 | 0.000 % |
4.57/4.69 c | 7752 | 15564 66714 202780 | 22238 7752 192 | 0.000 % |
4.67/4.76 c | 7865 | 15564 66714 202780 | 22238 7865 191 | 0.000 % |
4.77/4.83 c | 7988 | 15564 66714 202780 | 22238 7988 191 | 0.000 % |
4.87/4.91 c | 8121 | 15564 66714 202780 | 22238 8121 192 | 0.000 % |
4.97/5.00 c | 8267 | 15564 66714 202780 | 22238 8267 192 | 0.000 % |
4.97/5.09 c | 8427 | 15564 66714 202780 | 22238 8427 191 | 0.000 % |
5.07/5.19 c | 8603 | 15564 66714 202780 | 22238 8603 191 | 0.000 % |
5.17/5.29 c | 8797 | 15564 66714 202780 | 22238 8797 191 | 0.000 % |
5.37/5.41 c | 9009 | 15564 66714 202780 | 22238 9009 190 | 0.000 % |
5.47/5.54 c | 9242 | 15564 66714 202780 | 22238 9242 191 | 0.000 % |
5.57/5.70 c | 9498 | 15564 66714 202780 | 22238 9498 191 | 0.000 % |
5.67/5.76 c | 9598 | 15564 66714 202780 | 22238 9598 191 | 0.000 % |
5.77/5.83 c | 9709 | 15564 66714 202780 | 22238 9709 191 | 0.000 % |
5.87/5.90 c | 9830 | 15564 66714 202780 | 22238 9830 191 | 0.000 % |
5.87/5.98 c | 9963 | 15564 66714 202780 | 22238 9963 191 | 0.000 % |
5.97/6.06 c | 10110 | 15564 66714 202780 | 2147483647 10110 192 | 0.000 % |
6.07/6.16 c | 10270 | 15564 66714 202780 | 2147483647 10270 192 | 0.000 % |
6.17/6.27 c | 10447 | 15564 66714 202780 | 2147483647 10447 193 | 0.000 % |
6.27/6.37 c | 10640 | 15564 66714 202780 | 2147483647 10640 193 | 0.000 % |
6.37/6.49 c | 10853 | 15564 66714 202780 | 2147483647 10853 194 | 0.000 % |
6.57/6.63 c | 11088 | 15564 66714 202780 | 2147483647 11088 194 | 0.000 % |
6.67/6.78 c | 11346 | 15564 66714 202780 | 2147483647 11346 194 | 0.000 % |
6.87/6.95 c | 11629 | 15564 66714 202780 | 2147483647 11629 195 | 0.000 % |
6.97/7.01 c | 11729 | 15564 66714 202780 | 2147483647 11729 195 | 0.000 % |
6.97/7.08 c | 11839 | 15564 66714 202780 | 2147483647 11839 195 | 0.000 % |
7.07/7.14 c | 11961 | 15564 66714 202780 | 2147483647 11961 194 | 0.000 % |
7.17/7.23 c | 12094 | 15564 66714 202780 | 2147483647 12094 194 | 0.000 % |
7.27/7.33 c | 12243 | 15564 66714 202780 | 2147483647 12243 194 | 0.000 % |
7.37/7.43 c | 12403 | 15564 66714 202780 | 2147483647 12403 195 | 0.000 % |
7.47/7.54 c | 12579 | 15564 66714 202780 | 2147483647 12579 194 | 0.000 % |
7.57/7.65 c | 12772 | 15564 66714 202780 | 2147483647 12772 194 | 0.000 % |
7.67/7.78 c | 12986 | 15564 66714 202780 | 2147483647 12986 195 | 0.000 % |
7.87/7.94 c | 13220 | 15564 66714 202780 | 2147483647 13220 196 | 0.000 % |
7.97/8.08 c | 13476 | 15564 66714 202780 | 2147483647 13476 196 | 0.000 % |
8.17/8.26 c | 13757 | 15564 66714 202780 | 2147483647 13757 196 | 0.000 % |
8.37/8.43 c | 14068 | 15564 66714 202780 | 2147483647 14068 197 | 0.000 % |
8.47/8.50 c | 14169 | 15564 66714 202780 | 2147483647 14169 197 | 0.000 % |
8.47/8.58 c | 14279 | 15564 66714 202780 | 2147483647 14279 197 | 0.000 % |
8.57/8.66 c | 14403 | 15564 66714 202780 | 2147483647 14403 197 | 0.000 % |
8.67/8.74 c | 14536 | 15564 66714 202780 | 2147483647 14536 197 | 0.000 % |
8.77/8.83 c | 14683 | 15564 66714 202780 | 2147483647 14683 196 | 0.000 % |
8.87/8.93 c | 14845 | 15564 66714 202780 | 2147483647 14845 196 | 0.000 % |
8.97/9.03 c | 15021 | 15564 66714 202780 | 2147483647 15021 196 | 0.000 % |
9.07/9.17 c | 15215 | 15564 66714 202780 | 2147483647 15215 195 | 0.000 % |
9.27/9.31 c | 15427 | 15564 66714 202780 | 2147483647 15427 195 | 0.000 % |
9.37/9.46 c | 15662 | 15564 66714 202780 | 2147483647 15662 196 | 0.000 % |
9.56/9.62 c | 15918 | 15564 66714 202780 | 2147483647 15918 198 | 0.000 % |
9.67/9.79 c | 16199 | 15564 66714 202780 | 2147483647 16199 199 | 0.000 % |
9.88/9.97 c | 16508 | 15564 66714 202780 | 2147483647 16508 199 | 0.000 % |
10.07/10.18 c | 16848 | 15564 66714 202780 | 2147483647 16848 199 | 0.000 % |
10.17/10.24 c | 16949 | 15564 66714 202780 | 2147483647 16949 199 | 0.000 % |
10.27/10.31 c | 17059 | 15564 66714 202780 | 2147483647 17059 198 | 0.000 % |
10.27/10.39 c | 17181 | 15564 66714 202780 | 2147483647 17181 198 | 0.000 % |
10.37/10.47 c | 17314 | 15564 66714 202780 | 2147483647 17314 198 | 0.000 % |
10.47/10.56 c | 17461 | 15564 66714 202780 | 2147483647 17461 198 | 0.000 % |
10.57/10.66 c | 17621 | 15564 66714 202780 | 2147483647 17621 198 | 0.000 % |
10.67/10.78 c | 17801 | 15564 66714 202780 | 2147483647 17801 198 | 0.000 % |
10.87/10.92 c | 17996 | 15564 66714 202780 | 2147483647 17996 199 | 0.000 % |
10.97/11.07 c | 18208 | 15564 66714 202780 | 2147483647 18208 199 | 0.000 % |
11.16/11.22 c | 18441 | 15564 66714 202780 | 2147483647 18441 199 | 0.000 % |
11.26/11.38 c | 18699 | 15564 66714 202780 | 2147483647 18699 199 | 0.000 % |
11.46/11.57 c | 18981 | 15564 66714 202780 | 2147483647 18981 199 | 0.000 % |
11.66/11.78 c | 19290 | 15564 66714 202780 | 2147483647 19290 198 | 0.000 % |
11.96/12.01 c | 19629 | 15564 66714 202780 | 2147483647 19629 198 | 0.000 % |
12.15/12.25 c | 20002 | 15564 66714 202780 | 2147483647 20002 199 | 0.000 % |
12.25/12.32 c | 20103 | 15564 66714 202780 | 2147483647 20103 199 | 0.000 % |
12.35/12.41 c | 20213 | 15564 66714 202780 | 2147483647 20213 199 | 0.000 % |
12.45/12.50 c | 20335 | 15564 66714 202780 | 2147483647 20335 199 | 0.000 % |
12.56/12.60 c | 20468 | 15564 66714 202780 | 2147483647 20468 199 | 0.000 % |
12.66/12.70 c | 20616 | 15564 66714 202780 | 2147483647 20616 198 | 0.000 % |
12.76/12.82 c | 20776 | 15564 66714 202780 | 2147483647 20776 199 | 0.000 % |
12.86/12.95 c | 20952 | 15564 66714 202780 | 2147483647 20952 199 | 0.000 % |
12.96/13.07 c | 21146 | 15564 66714 202780 | 2147483647 21146 198 | 0.000 % |
13.16/13.23 c | 21360 | 15564 66714 202780 | 2147483647 21360 198 | 0.000 % |
13.25/13.39 c | 21594 | 15564 66714 202780 | 2147483647 21594 199 | 0.000 % |
13.45/13.57 c | 21850 | 15564 66714 202780 | 2147483647 21850 198 | 0.000 % |
13.65/13.78 c | 22131 | 15564 66714 202780 | 2147483647 22131 199 | 0.000 % |
13.85/13.99 c | 22440 | 15564 66714 202780 | 2147483647 22440 199 | 0.000 % |
14.15/14.23 c | 22781 | 15564 66714 202780 | 2147483647 22781 200 | 0.000 % |
14.35/14.48 c | 23155 | 15564 66714 202780 | 2147483647 23155 200 | 0.000 % |
14.65/14.77 c | 23565 | 15564 66714 202780 | 2147483647 23565 201 | 0.000 % |
14.75/14.85 c | 23668 | 15564 66714 202780 | 2147483647 23668 201 | 0.000 % |
14.85/14.92 c | 23778 | 15564 66714 202780 | 2147483647 23778 201 | 0.000 % |
14.95/15.00 c | 23900 | 15564 66714 202780 | 2147483647 23900 200 | 0.000 % |
15.05/15.10 c | 24033 | 15564 66714 202780 | 2147483647 24033 201 | 0.000 % |
15.15/15.21 c | 24182 | 15564 66714 202780 | 2147483647 24182 200 | 0.000 % |
15.25/15.32 c | 24342 | 15564 66714 202780 | 2147483647 24342 201 | 0.000 % |
15.36/15.43 c | 24518 | 15564 66714 202780 | 2147483647 24518 201 | 0.000 % |
15.45/15.55 c | 24715 | 15564 66714 202780 | 2147483647 24715 201 | 0.000 % |
15.65/15.70 c | 24928 | 15564 66714 202780 | 2147483647 24928 201 | 0.000 % |
15.75/15.86 c | 25161 | 15564 66714 202780 | 2147483647 25161 200 | 0.000 % |
15.95/16.02 c | 25417 | 15564 66714 202780 | 2147483647 25417 201 | 0.000 % |
16.15/16.20 c | 25698 | 15564 66714 202780 | 2147483647 25698 200 | 0.000 % |
16.35/16.41 c | 26009 | 15564 66714 202780 | 2147483647 26009 202 | 0.000 % |
16.55/16.63 c | 26349 | 15564 66714 202780 | 2147483647 26349 201 | 0.000 % |
16.75/16.88 c | 26721 | 15564 66714 202780 | 2147483647 26721 202 | 0.000 % |
17.05/17.18 c | 27131 | 15564 66714 202780 | 2147483647 27131 203 | 0.000 % |
17.45/17.52 c | 27581 | 15564 66714 202780 | 2147483647 27581 205 | 0.000 % |
17.55/17.61 c | 27682 | 15564 66714 202780 | 2147483647 27682 204 | 0.000 % |
17.55/17.69 c | 27793 | 15564 66714 202780 | 2147483647 27793 204 | 0.000 % |
17.65/17.78 c | 27915 | 15564 66714 202780 | 2147483647 27915 204 | 0.000 % |
17.75/17.89 c | 28048 | 15564 66714 202780 | 2147483647 28048 204 | 0.000 % |
17.95/18.01 c | 28195 | 15564 66714 202780 | 2147483647 28195 204 | 0.000 % |
18.05/18.12 c | 28355 | 15564 66714 202780 | 2147483647 28355 204 | 0.000 % |
18.15/18.25 c | 28531 | 15564 66714 202780 | 2147483647 28531 204 | 0.000 % |
18.25/18.39 c | 28724 | 15564 66714 202780 | 2147483647 28724 204 | 0.000 % |
18.45/18.54 c | 28937 | 15564 66714 202780 | 2147483647 28937 204 | 0.000 % |
18.65/18.71 c | 29170 | 15564 66714 202780 | 2147483647 29170 204 | 0.000 % |
18.75/18.89 c | 29427 | 15564 66714 202780 | 2147483647 29427 205 | 0.000 % |
19.04/19.12 c | 29708 | 15564 66714 202780 | 2147483647 29708 205 | 0.000 % |
19.24/19.33 c | 30017 | 15564 66714 202780 | 2147483647 30017 205 | 0.000 % |
19.44/19.57 c | 30356 | 15564 66714 202780 | 2147483647 30356 205 | 0.000 % |
19.75/19.82 c | 30729 | 15564 66714 202780 | 2147483647 30729 206 | 0.000 % |
20.05/20.11 c | 31138 | 15564 66714 202780 | 2147483647 31138 206 | 0.000 % |
20.35/20.44 c | 31587 | 15564 66714 202780 | 2147483647 31587 207 | 0.000 % |
20.65/20.78 c | 32080 | 15564 66714 202780 | 2147483647 32080 207 | 0.000 % |
20.76/20.86 c | 32180 | 15564 66714 202780 | 2147483647 32180 207 | 0.000 % |
20.85/20.95 c | 32290 | 15564 66714 202780 | 2147483647 32290 208 | 0.000 % |
20.95/21.04 c | 32412 | 15564 66714 202780 | 2147483647 32412 207 | 0.000 % |
21.05/21.15 c | 32548 | 15564 66714 202780 | 2147483647 32548 207 | 0.000 % |
21.15/21.27 c | 32694 | 15564 66714 202780 | 2147483647 32694 207 | 0.000 % |
21.25/21.39 c | 32854 | 15564 66714 202780 | 2147483647 32854 207 | 0.000 % |
21.45/21.52 c | 33032 | 15564 66714 202780 | 2147483647 33032 207 | 0.000 % |
21.55/21.65 c | 33227 | 15564 66714 202780 | 2147483647 33227 207 | 0.000 % |
21.75/21.81 c | 33439 | 15564 66714 202780 | 2147483647 33439 207 | 0.000 % |
21.85/21.98 c | 33675 | 15564 66714 202780 | 2147483647 33675 207 | 0.000 % |
22.04/22.18 c | 33932 | 15564 66714 202780 | 2147483647 33932 207 | 0.000 % |
22.34/22.41 c | 34213 | 15564 66714 202780 | 2147483647 34213 208 | 0.000 % |
22.54/22.65 c | 34523 | 15564 66714 202780 | 2147483647 34523 208 | 0.000 % |
22.85/22.90 c | 34863 | 15564 66714 202780 | 2147483647 34863 209 | 0.000 % |
23.05/23.14 c | 35240 | 15564 66714 202780 | 2147483647 35240 209 | 0.000 % |
23.35/23.44 c | 35649 | 15564 66714 202780 | 2147483647 35649 209 | 0.000 % |
23.65/23.76 c | 36098 | 15564 66714 202780 | 2147483647 36098 209 | 0.000 % |
24.05/24.13 c | 36591 | 15564 66714 202780 | 2147483647 36591 210 | 0.000 % |
24.44/24.53 c | 37134 | 15564 66714 202780 | 2147483647 37134 210 | 0.000 % |
24.54/24.61 c | 37234 | 15564 66714 202780 | 2147483647 37234 210 | 0.000 % |
24.54/24.69 c | 37344 | 15564 66714 202780 | 2147483647 37344 210 | 0.000 % |
24.64/24.79 c | 37465 | 15564 66714 202780 | 2147483647 37465 210 | 0.000 % |
24.74/24.89 c | 37598 | 15564 66714 202780 | 2147483647 37598 210 | 0.000 % |
24.95/25.02 c | 37744 | 15564 66714 202780 | 2147483647 37744 210 | 0.000 % |
25.05/25.14 c | 37905 | 15564 66714 202780 | 2147483647 37905 210 | 0.000 % |
25.15/25.27 c | 38084 | 15564 66714 202780 | 2147483647 38084 210 | 0.000 % |
25.35/25.42 c | 38279 | 15564 66714 202780 | 2147483647 38279 209 | 0.000 % |
25.45/25.58 c | 38492 | 15564 66714 202780 | 2147483647 38492 210 | 0.000 % |
25.65/25.76 c | 38726 | 15564 66714 202780 | 2147483647 38726 210 | 0.000 % |
25.84/25.97 c | 38983 | 15564 66714 202780 | 2147483647 38983 210 | 0.000 % |
26.04/26.17 c | 39264 | 15564 66714 202780 | 2147483647 39264 210 | 0.000 % |
26.35/26.42 c | 39573 | 15564 66714 202780 | 2147483647 39573 210 | 0.000 % |
26.54/26.66 c | 39913 | 15564 66714 202780 | 2147483647 39913 211 | 0.000 % |
26.85/26.95 c | 40286 | 15564 66714 202780 | 2147483647 40286 211 | 0.000 % |
27.15/27.26 c | 40695 | 15564 66714 202780 | 2147483647 40695 212 | 0.000 % |
27.55/27.61 c | 41145 | 15564 66714 202780 | 2147483647 41145 211 | 0.000 % |
27.85/27.99 c | 41638 | 15564 66714 202780 | 2147483647 41638 212 | 0.000 % |
28.35/28.41 c | 42183 | 15564 66714 202780 | 2147483647 42183 212 | 0.000 % |
28.75/28.87 c | 42780 | 15564 66714 202780 | 2147483647 42780 212 | 0.000 % |
28.85/28.96 c | 42881 | 15564 66714 202780 | 2147483647 42881 212 | 0.000 % |
28.95/29.05 c | 42993 | 15564 66714 202780 | 2147483647 42993 212 | 0.000 % |
29.04/29.15 c | 43114 | 15564 66714 202780 | 2147483647 43114 212 | 0.000 % |
29.14/29.28 c | 43250 | 15564 66714 202780 | 2147483647 43250 212 | 0.000 % |
29.24/29.39 c | 43396 | 15564 66714 202780 | 2147483647 43396 212 | 0.000 % |
29.44/29.53 c | 43559 | 15564 66714 202780 | 2147483647 43559 212 | 0.000 % |
29.55/29.69 c | 43735 | 15564 66714 202780 | 2147483647 43735 211 | 0.000 % |
29.74/29.85 c | 43928 | 15564 66714 202780 | 2147483647 43928 211 | 0.000 % |
29.94/30.01 c | 44143 | 15564 66714 202780 | 2147483647 44143 211 | 0.000 % |
30.14/30.21 c | 44376 | 15564 66714 202780 | 2147483647 44376 211 | 0.000 % |
30.34/30.42 c | 44632 | 15564 66714 202780 | 2147483647 44632 211 | 0.000 % |
30.54/30.67 c | 44915 | 15564 66714 202780 | 2147483647 44915 211 | 0.000 % |
30.75/30.90 c | 45224 | 15564 66714 202780 | 2147483647 45224 212 | 0.000 % |
31.05/31.15 c | 45563 | 15564 66714 202780 | 2147483647 45563 211 | 0.000 % |
31.35/31.45 c | 45935 | 15564 66714 202780 | 2147483647 45935 211 | 0.000 % |
31.65/31.75 c | 46344 | 15564 66714 202780 | 2147483647 46344 211 | 0.000 % |
32.04/32.13 c | 46793 | 15564 66714 202780 | 2147483647 46793 211 | 0.000 % |
32.44/32.57 c | 47288 | 15564 66714 202780 | 2147483647 47288 211 | 0.000 % |
32.94/33.03 c | 47832 | 15564 66714 202780 | 2147483647 47832 212 | 0.000 % |
33.44/33.52 c | 48429 | 15564 66714 202780 | 2147483647 48429 212 | 0.000 % |
33.94/34.05 c | 49084 | 15564 66714 202780 | 2147483647 49084 213 | 0.000 % |
34.04/34.16 c | 49185 | 15564 66714 202780 | 2147483647 49185 213 | 0.000 % |
34.14/34.26 c | 49297 | 15564 66714 202780 | 2147483647 49297 213 | 0.000 % |
34.24/34.36 c | 49418 | 15564 66714 202780 | 2147483647 49418 212 | 0.000 % |
34.43/34.50 c | 49551 | 15564 66714 202780 | 2147483647 49551 212 | 0.000 % |
34.53/34.62 c | 49697 | 15564 66714 202780 | 2147483647 49697 212 | 0.000 % |
34.63/34.77 c | 49859 | 15564 66714 202780 | 2147483647 49859 212 | 0.000 % |
34.83/34.91 c | 50035 | 15564 66714 202780 | 2147483647 50035 212 | 0.000 % |
34.93/35.09 c | 50229 | 15564 66714 202780 | 2147483647 50229 212 | 0.000 % |
35.14/35.26 c | 50444 | 15564 66714 202780 | 2147483647 50444 212 | 0.000 % |
35.33/35.47 c | 50677 | 15564 66714 202780 | 2147483647 50677 212 | 0.000 % |
35.53/35.69 c | 50933 | 15564 66714 202780 | 2147483647 50933 212 | 0.000 % |
35.84/35.92 c | 51215 | 15564 66714 202780 | 2147483647 51215 212 | 0.000 % |
36.04/36.18 c | 51525 | 15564 66714 202780 | 2147483647 51525 212 | 0.000 % |
36.34/36.46 c | 51866 | 15564 66714 202780 | 2147483647 51866 212 | 0.000 % |
36.64/36.75 c | 52238 | 15564 66714 202780 | 2147483647 52238 212 | 0.000 % |
36.94/37.09 c | 52648 | 15564 66714 202780 | 2147483647 52648 212 | 0.000 % |
37.34/37.47 c | 53097 | 15564 66714 202780 | 2147483647 53097 212 | 0.000 % |
37.84/37.91 c | 53590 | 15564 66714 202780 | 2147483647 53590 213 | 0.000 % |
38.24/38.38 c | 54134 | 15564 66714 202780 | 2147483647 54134 213 | 0.000 % |
38.73/38.88 c | 54731 | 15564 66714 202780 | 2147483647 54731 213 | 0.000 % |
39.34/39.44 c | 55386 | 15564 66714 202780 | 2147483647 55386 213 | 0.000 % |
39.94/40.04 c | 56107 | 15564 66714 202780 | 2147483647 56107 213 | 0.000 % |
40.04/40.13 c | 56207 | 15564 66714 202780 | 2147483647 56207 213 | 0.000 % |
40.14/40.25 c | 56318 | 15564 66714 202780 | 2147483647 56318 213 | 0.000 % |
40.24/40.36 c | 56439 | 15564 66714 202780 | 2147483647 56439 213 | 0.000 % |
40.34/40.48 c | 56573 | 15564 66714 202780 | 2147483647 56573 213 | 0.000 % |
40.54/40.61 c | 56720 | 15564 66714 202780 | 2147483647 56720 213 | 0.000 % |
40.64/40.74 c | 56882 | 15564 66714 202780 | 2147483647 56882 213 | 0.000 % |
40.74/40.89 c | 57059 | 15564 66714 202780 | 2147483647 57059 213 | 0.000 % |
40.94/41.07 c | 57254 | 15564 66714 202780 | 2147483647 57254 213 | 0.000 % |
41.14/41.27 c | 57467 | 15564 66714 202780 | 2147483647 57467 213 | 0.000 % |
41.34/41.49 c | 57700 | 15564 66714 202780 | 2147483647 57700 213 | 0.000 % |
41.64/41.73 c | 57957 | 15564 66714 202780 | 2147483647 57957 213 | 0.000 % |
41.84/41.98 c | 58238 | 15564 66714 202780 | 2147483647 58238 213 | 0.000 % |
42.13/42.23 c | 58547 | 15564 66714 202780 | 2147483647 58547 213 | 0.000 % |
42.43/42.55 c | 58887 | 15564 66714 202780 | 2147483647 58887 213 | 0.000 % |
42.74/42.87 c | 59259 | 15564 66714 202780 | 2147483647 59259 213 | 0.000 % |
43.13/43.21 c | 59668 | 15564 66714 202780 | 2147483647 59668 213 | 0.000 % |
43.43/43.56 c | 60117 | 15564 66714 202780 | 2147483647 60117 213 | 0.000 % |
43.84/43.99 c | 60610 | 15564 66714 202780 | 2147483647 60610 213 | 0.000 % |
44.33/44.46 c | 61153 | 15564 66714 202780 | 2147483647 61153 213 | 0.000 % |
44.84/44.97 c | 61749 | 15564 66714 202780 | 2147483647 61749 213 | 0.000 % |
45.44/45.55 c | 62404 | 15564 66714 202780 | 2147483647 62404 214 | 0.000 % |
46.04/46.18 c | 63125 | 15564 66714 202780 | 2147483647 63125 214 | 0.000 % |
46.73/46.90 c | 63917 | 15564 66714 202780 | 2147483647 63917 215 | 0.000 % |
46.83/46.99 c | 64017 | 15564 66714 202780 | 2147483647 64017 215 | 0.000 % |
47.03/47.11 c | 64127 | 15564 66714 202780 | 2147483647 64127 214 | 0.000 % |
47.14/47.22 c | 64249 | 15564 66714 202780 | 2147483647 64249 214 | 0.000 % |
47.24/47.34 c | 64382 | 15564 66714 202780 | 2147483647 64382 214 | 0.000 % |
47.33/47.48 c | 64528 | 15564 66714 202780 | 2147483647 64528 214 | 0.000 % |
47.53/47.63 c | 64688 | 15564 66714 202780 | 2147483647 64688 214 | 0.000 % |
47.73/47.80 c | 64867 | 15564 66714 202780 | 2147483647 64867 214 | 0.000 % |
47.83/47.97 c | 65060 | 15564 66714 202780 | 2147483647 65060 214 | 0.000 % |
48.03/48.19 c | 65272 | 15564 66714 202780 | 2147483647 65272 214 | 0.000 % |
48.34/48.42 c | 65508 | 15564 66714 202780 | 2147483647 65508 214 | 0.000 % |
48.53/48.67 c | 65765 | 15564 66714 202780 | 2147483647 65765 214 | 0.000 % |
48.83/48.92 c | 66047 | 15564 66714 202780 | 2147483647 66047 214 | 0.000 % |
49.03/49.19 c | 66356 | 15564 66714 202780 | 2147483647 66356 214 | 0.000 % |
49.33/49.49 c | 66696 | 15564 66714 202780 | 2147483647 66696 214 | 0.000 % |
49.74/49.82 c | 67069 | 15564 66714 202780 | 2147483647 67069 214 | 0.000 % |
50.03/50.19 c | 67478 | 15564 66714 202780 | 2147483647 67478 213 | 0.000 % |
50.44/50.59 c | 67927 | 15564 66714 202780 | 2147483647 67927 214 | 0.000 % |
50.93/51.06 c | 68421 | 15564 66714 202780 | 2147483647 68421 214 | 0.000 % |
51.43/51.58 c | 68963 | 15564 66714 202780 | 2147483647 68963 215 | 0.000 % |
52.03/52.14 c | 69560 | 15564 66714 202780 | 2147483647 69560 215 | 0.000 % |
52.63/52.78 c | 70216 | 15564 66714 202780 | 2147483647 70216 216 | 0.000 % |
53.33/53.46 c | 70940 | 15564 66714 202780 | 2147483647 70940 216 | 0.000 % |
54.14/54.25 c | 71732 | 15564 66714 202780 | 2147483647 71732 217 | 0.000 % |
54.94/55.10 c | 72603 | 15564 66714 202780 | 2147483647 72603 217 | 0.000 % |
55.13/55.21 c | 72703 | 15564 66714 202780 | 2147483647 72703 217 | 0.000 % |
55.23/55.33 c | 72814 | 15564 66714 202780 | 2147483647 72814 217 | 0.000 % |
55.33/55.47 c | 72935 | 15564 66714 202780 | 2147483647 72935 217 | 0.000 % |
55.53/55.61 c | 73069 | 15564 66714 202780 | 2147483647 73069 217 | 0.000 % |
55.63/55.76 c | 73215 | 15564 66714 202780 | 2147483647 73215 217 | 0.000 % |
55.83/55.94 c | 73375 | 15564 66714 202780 | 2147483647 73375 217 | 0.000 % |
56.03/56.12 c | 73552 | 15564 66714 202780 | 2147483647 73552 217 | 0.000 % |
56.22/56.31 c | 73745 | 15564 66714 202780 | 2147483647 73745 217 | 0.000 % |
56.42/56.52 c | 73958 | 15564 66714 202780 | 2147483647 73958 217 | 0.000 % |
56.63/56.76 c | 74191 | 15564 66714 202780 | 2147483647 74191 217 | 0.000 % |
56.93/57.01 c | 74447 | 15564 66714 202780 | 2147483647 74447 217 | 0.000 % |
57.23/57.30 c | 74729 | 15564 66714 202780 | 2147483647 74729 217 | 0.000 % |
57.43/57.59 c | 75038 | 15564 66714 202780 | 2147483647 75038 217 | 0.000 % |
57.83/57.94 c | 75378 | 15564 66714 202780 | 2147483647 75378 217 | 0.000 % |
58.13/58.30 c | 75750 | 15564 66714 202780 | 2147483647 75750 217 | 0.000 % |
58.63/58.72 c | 76160 | 15564 66714 202780 | 2147483647 76160 217 | 0.000 % |
59.03/59.15 c | 76609 | 15564 66714 202780 | 2147483647 76609 217 | 0.000 % |
59.53/59.62 c | 77104 | 15564 66714 202780 | 2147483647 77104 217 | 0.000 % |
60.02/60.12 c | 77646 | 15564 66714 202780 | 2147483647 77646 217 | 0.000 % |
60.62/60.70 c | 78242 | 15564 66714 202780 | 2147483647 78242 218 | 0.000 % |
61.22/61.33 c | 78897 | 15564 66714 202780 | 2147483647 78897 218 | 0.000 % |
61.92/62.01 c | 79617 | 15564 66714 202780 | 2147483647 79617 218 | 0.000 % |
62.62/62.75 c | 80409 | 15564 66714 202780 | 2147483647 80409 219 | 0.000 % |
63.42/63.58 c | 81282 | 15564 66714 202780 | 2147483647 81282 219 | 0.000 % |
64.42/64.51 c | 82241 | 15564 66714 202780 | 2147483647 82241 219 | 0.000 % |
64.52/64.62 c | 82341 | 15564 66714 202780 | 2147483647 82341 219 | 0.000 % |
64.62/64.75 c | 82451 | 15564 66714 202780 | 2147483647 82451 219 | 0.000 % |
64.72/64.88 c | 82572 | 15564 66714 202780 | 2147483647 82572 219 | 0.000 % |
64.92/65.02 c | 82706 | 15564 66714 202780 | 2147483647 82706 219 | 0.000 % |
65.02/65.19 c | 82853 | 15564 66714 202780 | 2147483647 82853 219 | 0.000 % |
65.22/65.37 c | 83014 | 15564 66714 202780 | 2147483647 83014 219 | 0.000 % |
65.42/65.56 c | 83190 | 15564 66714 202780 | 2147483647 83190 219 | 0.000 % |
65.62/65.77 c | 83384 | 15564 66714 202780 | 2147483647 83384 219 | 0.000 % |
65.82/66.00 c | 83598 | 15564 66714 202780 | 2147483647 83598 219 | 0.000 % |
66.12/66.24 c | 83831 | 15564 66714 202780 | 2147483647 83831 219 | 0.000 % |
66.42/66.55 c | 84087 | 15564 66714 202780 | 2147483647 84087 219 | 0.000 % |
66.72/66.88 c | 84371 | 15564 66714 202780 | 2147483647 84371 219 | 0.000 % |
67.12/67.20 c | 84680 | 15564 66714 202780 | 2147483647 84680 219 | 0.000 % |
67.42/67.58 c | 85021 | 15564 66714 202780 | 2147483647 85021 219 | 0.000 % |
67.82/67.97 c | 85393 | 15564 66714 202780 | 2147483647 85393 219 | 0.000 % |
68.22/68.39 c | 85803 | 15564 66714 202780 | 2147483647 85803 219 | 0.000 % |
68.71/68.82 c | 86253 | 15564 66714 202780 | 2147483647 86253 220 | 0.000 % |
69.12/69.30 c | 86746 | 15564 66714 202780 | 2147483647 86746 219 | 0.000 % |
69.71/69.87 c | 87290 | 15564 66714 202780 | 2147483647 87290 219 | 0.000 % |
70.33/70.48 c | 87890 | 15564 66714 202780 | 2147483647 87890 220 | 0.000 % |
71.02/71.18 c | 88545 | 15564 66714 202780 | 2147483647 88545 220 | 0.000 % |
71.82/71.91 c | 89266 | 15564 66714 202780 | 2147483647 89266 220 | 0.000 % |
72.52/72.68 c | 90058 | 15564 66714 202780 | 2147483647 90058 220 | 0.000 % |
73.51/73.61 c | 90929 | 15564 66714 202780 | 2147483647 90929 221 | 0.000 % |
74.42/74.56 c | 91887 | 15564 66714 202780 | 2147483647 91887 221 | 0.000 % |
75.52/75.63 c | 92941 | 15564 66714 202780 | 2147483647 92941 222 | 0.000 % |
75.62/75.76 c | 93041 | 15564 66714 202780 | 2147483647 93041 222 | 0.000 % |
75.82/75.90 c | 93151 | 15564 66714 202780 | 2147483647 93151 222 | 0.000 % |
75.92/76.05 c | 93273 | 15564 66714 202780 | 2147483647 93273 222 | 0.000 % |
76.12/76.22 c | 93406 | 15564 66714 202780 | 2147483647 93406 222 | 0.000 % |
76.22/76.38 c | 93553 | 15564 66714 202780 | 2147483647 93553 222 | 0.000 % |
76.42/76.59 c | 93715 | 15564 66714 202780 | 2147483647 93715 221 | 0.000 % |
76.62/76.79 c | 93892 | 15564 66714 202780 | 2147483647 93892 221 | 0.000 % |
76.92/77.02 c | 94085 | 15564 66714 202780 | 2147483647 94085 221 | 0.000 % |
77.11/77.27 c | 94298 | 15564 66714 202780 | 2147483647 94298 221 | 0.000 % |
77.41/77.55 c | 94532 | 15564 66714 202780 | 2147483647 94532 221 | 0.000 % |
77.71/77.81 c | 94788 | 15564 66714 202780 | 2147483647 94788 221 | 0.000 % |
78.02/78.14 c | 95069 | 15564 66714 202780 | 2147483647 95069 221 | 0.000 % |
78.41/78.50 c | 95378 | 15564 66714 202780 | 2147483647 95378 221 | 0.000 % |
78.71/78.87 c | 95717 | 15564 66714 202780 | 2147483647 95717 221 | 0.000 % |
79.12/79.28 c | 96089 | 15564 66714 202780 | 2147483647 96089 221 | 0.000 % |
79.62/79.77 c | 96498 | 15564 66714 202780 | 2147483647 96498 221 | 0.000 % |
80.12/80.27 c | 96947 | 15564 66714 202780 | 2147483647 96947 221 | 0.000 % |
80.72/80.80 c | 97440 | 15564 66714 202780 | 2147483647 97440 221 | 0.000 % |
81.22/81.39 c | 97982 | 15564 66714 202780 | 2147483647 97982 221 | 0.000 % |
81.91/82.02 c | 98578 | 15564 66714 202780 | 2147483647 98578 221 | 0.000 % |
82.61/82.72 c | 99235 | 15564 66714 202780 | 2147483647 99235 221 | 0.000 % |
83.42/83.50 c | 99955 | 15564 66714 202780 | 2147483647 99955 222 | 0.000 % |
84.21/84.32 c | 100749 | 15564 66714 202780 | 2147483647 100749 222 | 0.000 % |
85.11/85.28 c | 101621 | 15564 66714 202780 | 2147483647 101621 222 | 0.000 % |
86.21/86.33 c | 102581 | 15564 66714 202780 | 2147483647 102581 222 | 0.000 % |
87.41/87.53 c | 103637 | 15564 66714 202780 | 2147483647 103637 223 | 0.000 % |
88.61/88.77 c | 104795 | 15564 66714 202780 | 2147483647 104795 224 | 0.000 % |
88.81/88.90 c | 104895 | 15564 66714 202780 | 2147483647 104895 224 | 0.000 % |
88.91/89.05 c | 105007 | 15564 66714 202780 | 2147483647 105007 223 | 0.000 % |
89.11/89.22 c | 105130 | 15564 66714 202780 | 2147483647 105130 223 | 0.000 % |
89.21/89.39 c | 105264 | 15564 66714 202780 | 2147483647 105264 223 | 0.000 % |
89.41/89.58 c | 105410 | 15564 66714 202780 | 2147483647 105410 223 | 0.000 % |
89.62/89.77 c | 105570 | 15564 66714 202780 | 2147483647 105570 223 | 0.000 % |
89.81/90.00 c | 105746 | 15564 66714 202780 | 2147483647 105746 223 | 0.000 % |
90.12/90.24 c | 105940 | 15564 66714 202780 | 2147483647 105940 223 | 0.000 % |
90.41/90.51 c | 106153 | 15564 66714 202780 | 2147483647 106153 223 | 0.000 % |
90.71/90.83 c | 106386 | 15564 66714 202780 | 2147483647 106386 223 | 0.000 % |
91.01/91.16 c | 106646 | 15564 66714 202780 | 2147483647 106646 223 | 0.000 % |
91.31/91.47 c | 106928 | 15564 66714 202780 | 2147483647 106928 223 | 0.000 % |
91.71/91.86 c | 107238 | 15564 66714 202780 | 2147483647 107238 223 | 0.000 % |
92.11/92.23 c | 107578 | 15564 66714 202780 | 2147483647 107578 223 | 0.000 % |
92.61/92.71 c | 107950 | 15564 66714 202780 | 2147483647 107950 223 | 0.000 % |
93.01/93.19 c | 108359 | 15564 66714 202780 | 2147483647 108359 223 | 0.000 % |
93.60/93.73 c | 108809 | 15564 66714 202780 | 2147483647 108809 223 | 0.000 % |
94.11/94.26 c | 109302 | 15564 66714 202780 | 2147483647 109302 223 | 0.000 % |
94.71/94.89 c | 109844 | 15564 66714 202780 | 2147483647 109844 224 | 0.000 % |
95.41/95.59 c | 110442 | 15564 66714 202780 | 2147483647 110442 224 | 0.000 % |
96.21/96.38 c | 111099 | 15564 66714 202780 | 2147483647 111099 224 | 0.000 % |
97.10/97.24 c | 111819 | 15564 66714 202780 | 2147483647 111819 224 | 0.000 % |
98.11/98.21 c | 112612 | 15564 66714 202780 | 2147483647 112612 224 | 0.000 % |
99.10/99.24 c | 113483 | 15564 66714 202780 | 2147483647 113483 225 | 0.000 % |
100.21/100.35 c | 114443 | 15564 66714 202780 | 2147483647 114443 225 | 0.000 % |
101.40/101.58 c | 115497 | 15564 66714 202780 | 2147483647 115497 225 | 0.000 % |
102.80/102.92 c | 116655 | 15564 66714 202780 | 2147483647 116655 225 | 0.000 % |
104.19/104.32 c | 117928 | 15564 66714 202780 | 2147483647 117928 226 | 0.000 % |
104.30/104.45 c | 118028 | 15564 66714 202780 | 2147483647 118028 226 | 0.000 % |
104.50/104.62 c | 118138 | 15564 66714 202780 | 2147483647 118138 226 | 0.000 % |
104.60/104.77 c | 118260 | 15564 66714 202780 | 2147483647 118260 226 | 0.000 % |
104.80/104.96 c | 118394 | 15564 66714 202780 | 2147483647 118394 226 | 0.000 % |
105.00/105.15 c | 118540 | 15564 66714 202780 | 2147483647 118540 226 | 0.000 % |
105.20/105.37 c | 118703 | 15564 66714 202780 | 2147483647 118703 226 | 0.000 % |
105.40/105.59 c | 118882 | 15564 66714 202780 | 2147483647 118882 226 | 0.000 % |
105.70/105.82 c | 119077 | 15564 66714 202780 | 2147483647 119077 226 | 0.000 % |
106.00/106.10 c | 119290 | 15564 66714 202780 | 2147483647 119290 226 | 0.000 % |
106.20/106.38 c | 119524 | 15564 66714 202780 | 2147483647 119524 226 | 0.000 % |
106.60/106.73 c | 119781 | 15564 66714 202780 | 2147483647 119781 225 | 0.000 % |
107.00/107.12 c | 120062 | 15564 66714 202780 | 2147483647 120062 225 | 0.000 % |
107.40/107.52 c | 120373 | 15564 66714 202780 | 2147483647 120373 225 | 0.000 % |
107.80/107.95 c | 120712 | 15564 66714 202780 | 2147483647 120712 225 | 0.000 % |
108.30/108.43 c | 121084 | 15564 66714 202780 | 2147483647 121084 225 | 0.000 % |
108.80/108.95 c | 121493 | 15564 66714 202780 | 2147483647 121493 225 | 0.000 % |
109.30/109.49 c | 121943 | 15564 66714 202780 | 2147483647 121943 226 | 0.000 % |
109.90/110.05 c | 122436 | 15564 66714 202780 | 2147483647 122436 225 | 0.000 % |
110.59/110.73 c | 122979 | 15564 66714 202780 | 2147483647 122979 225 | 0.000 % |
111.30/111.42 c | 123580 | 15564 66714 202780 | 2147483647 123580 226 | 0.000 % |
112.10/112.29 c | 124235 | 15564 66714 202780 | 2147483647 124235 226 | 0.000 % |
113.00/113.15 c | 124955 | 15564 66714 202780 | 2147483647 124955 226 | 0.000 % |
113.99/114.14 c | 125748 | 15564 66714 202780 | 2147483647 125748 226 | 0.000 % |
115.10/115.24 c | 126620 | 15564 66714 202780 | 2147483647 126620 227 | 0.000 % |
116.29/116.41 c | 127579 | 15564 66714 202780 | 2147483647 127579 227 | 0.000 % |
117.50/117.69 c | 128632 | 15564 66714 202780 | 2147483647 128632 227 | 0.000 % |
118.89/119.08 c | 129790 | 15564 66714 202780 | 2147483647 129790 228 | 0.000 % |
120.49/120.65 c | 131063 | 15564 66714 202780 | 2147483647 131063 228 | 0.000 % |
122.30/122.44 c | 132464 | 15564 66714 202780 | 2147483647 132464 229 | 0.000 % |
122.40/122.57 c | 132564 | 15564 66714 202780 | 2147483647 132564 229 | 0.000 % |
122.60/122.74 c | 132675 | 15564 66714 202780 | 2147483647 132675 229 | 0.000 % |
122.80/122.93 c | 132798 | 15564 66714 202780 | 2147483647 132798 229 | 0.000 % |
123.00/123.13 c | 132932 | 15564 66714 202780 | 2147483647 132932 228 | 0.000 % |
123.19/123.36 c | 133078 | 15564 66714 202780 | 2147483647 133078 228 | 0.000 % |
123.49/123.60 c | 133240 | 15564 66714 202780 | 2147483647 133240 228 | 0.000 % |
123.69/123.84 c | 133416 | 15564 66714 202780 | 2147483647 133416 228 | 0.000 % |
123.89/124.09 c | 133609 | 15564 66714 202780 | 2147483647 133609 228 | 0.000 % |
124.20/124.38 c | 133821 | 15564 66714 202780 | 2147483647 133821 228 | 0.000 % |
124.59/124.70 c | 134054 | 15564 66714 202780 | 2147483647 134054 228 | 0.000 % |
124.89/125.07 c | 134310 | 15564 66714 202780 | 2147483647 134310 228 | 0.000 % |
125.30/125.50 c | 134591 | 15564 66714 202780 | 2147483647 134591 228 | 0.000 % |
125.79/125.92 c | 134900 | 15564 66714 202780 | 2147483647 134900 228 | 0.000 % |
126.19/126.37 c | 135239 | 15564 66714 202780 | 2147483647 135239 228 | 0.000 % |
126.69/126.87 c | 135613 | 15564 66714 202780 | 2147483647 135613 228 | 0.000 % |
127.29/127.43 c | 136022 | 15564 66714 202780 | 2147483647 136022 229 | 0.000 % |
127.89/128.01 c | 136471 | 15564 66714 202780 | 2147483647 136471 229 | 0.000 % |
128.49/128.64 c | 136964 | 15564 66714 202780 | 2147483647 136964 229 | 0.000 % |
129.19/129.32 c | 137507 | 15564 66714 202780 | 2147483647 137507 229 | 0.000 % |
129.89/130.09 c | 138103 | 15564 66714 202780 | 2147483647 138103 229 | 0.000 % |
130.80/130.95 c | 138758 | 15564 66714 202780 | 2147483647 138758 229 | 0.000 % |
131.69/131.82 c | 139478 | 15564 66714 202780 | 2147483647 139478 229 | 0.000 % |
132.68/132.86 c | 140271 | 15564 66714 202780 | 2147483647 140271 229 | 0.000 % |
133.79/133.96 c | 141146 | 15564 66714 202780 | 2147483647 141146 230 | 0.000 % |
135.09/135.20 c | 142105 | 15564 66714 202780 | 2147483647 142105 230 | 0.000 % |
136.39/136.54 c | 143159 | 15564 66714 202780 | 2147483647 143159 230 | 0.000 % |
137.88/138.01 c | 144317 | 15564 66714 202780 | 2147483647 144317 230 | 0.000 % |
139.58/139.72 c | 145590 | 15564 66714 202780 | 2147483647 145590 231 | 0.000 % |
141.29/141.48 c | 146992 | 15564 66714 202780 | 2147483647 146992 232 | 0.000 % |
143.29/143.49 c | 148532 | 15564 66714 202780 | 2147483647 148532 232 | 0.000 % |
143.49/143.68 c | 148633 | 15564 66714 202780 | 2147483647 148633 232 | 0.000 % |
143.69/143.85 c | 148745 | 15564 66714 202780 | 2147483647 148745 232 | 0.000 % |
143.89/144.02 c | 148866 | 15564 66714 202780 | 2147483647 148866 232 | 0.000 % |
144.09/144.22 c | 149002 | 15564 66714 202780 | 2147483647 149002 232 | 0.000 % |
144.29/144.46 c | 149150 | 15564 66714 202780 | 2147483647 149150 231 | 0.000 % |
144.59/144.70 c | 149310 | 15564 66714 202780 | 2147483647 149310 231 | 0.000 % |
144.79/144.97 c | 149486 | 15564 66714 202780 | 2147483647 149486 232 | 0.000 % |
145.09/145.24 c | 149680 | 15564 66714 202780 | 2147483647 149680 232 | 0.000 % |
145.39/145.57 c | 149893 | 15564 66714 202780 | 2147483647 149893 232 | 0.000 % |
145.78/145.97 c | 150128 | 15564 66714 202780 | 2147483647 150128 231 | 0.000 % |
146.18/146.35 c | 150384 | 15564 66714 202780 | 2147483647 150384 231 | 0.000 % |
146.58/146.72 c | 150665 | 15564 66714 202780 | 2147483647 150665 231 | 0.000 % |
146.97/147.15 c | 150974 | 15564 66714 202780 | 2147483647 150974 232 | 0.000 % |
147.47/147.61 c | 151314 | 15564 66714 202780 | 2147483647 151314 232 | 0.000 % |
147.97/148.19 c | 151687 | 15564 66714 202780 | 2147483647 151687 232 | 0.000 % |
148.58/148.74 c | 152096 | 15564 66714 202780 | 2147483647 152096 232 | 0.000 % |
149.18/149.39 c | 152545 | 15564 66714 202780 | 2147483647 152545 232 | 0.000 % |
149.98/150.10 c | 153038 | 15564 66714 202780 | 2147483647 153038 231 | 0.000 % |
150.68/150.85 c | 153582 | 15564 66714 202780 | 2147483647 153582 231 | 0.000 % |
151.47/151.68 c | 154179 | 15564 66714 202780 | 2147483647 154179 232 | 0.000 % |
152.37/152.54 c | 154834 | 15564 66714 202780 | 2147483647 154834 232 | 0.000 % |
153.37/153.54 c | 155554 | 15564 66714 202780 | 2147483647 155554 232 | 0.000 % |
154.48/154.64 c | 156346 | 15564 66714 202780 | 2147483647 156346 232 | 0.000 % |
155.78/155.90 c | 157218 | 15564 66714 202780 | 2147483647 157218 232 | 0.000 % |
157.08/157.21 c | 158179 | 15564 66714 202780 | 2147483647 158179 232 | 0.000 % |
158.57/158.71 c | 159232 | 15564 66714 202780 | 2147483647 159232 233 | 0.000 % |
160.17/160.37 c | 160392 | 15564 66714 202780 | 2147483647 160392 233 | 0.000 % |
161.87/162.08 c | 161665 | 15564 66714 202780 | 2147483647 161665 233 | 0.000 % |
163.77/163.95 c | 163066 | 15564 66714 202780 | 2147483647 163066 233 | 0.000 % |
165.98/166.15 c | 164608 | 15564 66714 202780 | 2147483647 164608 234 | 0.000 % |
168.36/168.53 c | 166302 | 15564 66714 202780 | 2147483647 166302 234 | 0.000 % |
168.56/168.70 c | 166404 | 15564 66714 202780 | 2147483647 166404 234 | 0.000 % |
168.66/168.87 c | 166514 | 15564 66714 202780 | 2147483647 166514 234 | 0.000 % |
168.86/169.09 c | 166638 | 15564 66714 202780 | 2147483647 166638 234 | 0.000 % |
169.18/169.31 c | 166771 | 15564 66714 202780 | 2147483647 166771 234 | 0.000 % |
169.37/169.56 c | 166917 | 15564 66714 202780 | 2147483647 166917 234 | 0.000 % |
169.67/169.83 c | 167077 | 15564 66714 202780 | 2147483647 167077 234 | 0.000 % |
169.97/170.10 c | 167256 | 15564 66714 202780 | 2147483647 167256 234 | 0.000 % |
170.17/170.39 c | 167450 | 15564 66714 202780 | 2147483647 167450 234 | 0.000 % |
170.57/170.78 c | 167662 | 15564 66714 202780 | 2147483647 167662 234 | 0.000 % |
170.97/171.18 c | 167896 | 15564 66714 202780 | 2147483647 167896 233 | 0.000 % |
171.37/171.60 c | 168152 | 15564 66714 202780 | 2147483647 168152 233 | 0.000 % |
171.87/172.01 c | 168433 | 15564 66714 202780 | 2147483647 168433 233 | 0.000 % |
172.27/172.49 c | 168743 | 15564 66714 202780 | 2147483647 168743 233 | 0.000 % |
172.77/172.98 c | 169082 | 15564 66714 202780 | 2147483647 169082 233 | 0.000 % |
173.36/173.59 c | 169458 | 15564 66714 202780 | 2147483647 169458 233 | 0.000 % |
174.06/174.21 c | 169867 | 15564 66714 202780 | 2147483647 169867 233 | 0.000 % |
174.67/174.88 c | 170316 | 15564 66714 202780 | 2147483647 170316 233 | 0.000 % |
175.47/175.69 c | 170810 | 15564 66714 202780 | 2147483647 170810 233 | 0.000 % |
176.27/176.49 c | 171352 | 15564 66714 202780 | 2147483647 171352 233 | 0.000 % |
177.16/177.38 c | 171949 | 15564 66714 202780 | 2147483647 171949 233 | 0.000 % |
178.06/178.22 c | 172604 | 15564 66714 202780 | 2147483647 172604 234 | 0.000 % |
179.07/179.23 c | 173324 | 15564 66714 202780 | 2147483647 173324 234 | 0.000 % |
180.27/180.40 c | 174117 | 15564 66714 202780 | 2147483647 174117 234 | 0.000 % |
181.46/181.65 c | 174988 | 15564 66714 202780 | 2147483647 174988 234 | 0.000 % |
182.97/183.11 c | 175946 | 15564 66714 202780 | 2147483647 175946 234 | 0.000 % |
184.47/184.65 c | 177002 | 15564 66714 202780 | 2147483647 177002 234 | 0.000 % |
186.16/186.32 c | 178160 | 15564 66714 202780 | 2147483647 178160 234 | 0.000 % |
187.97/188.16 c | 179435 | 15564 66714 202780 | 2147483647 179435 235 | 0.000 % |
190.06/190.21 c | 180835 | 15564 66714 202780 | 2147483647 180835 235 | 0.000 % |
192.36/192.54 c | 182375 | 15564 66714 202780 | 2147483647 182375 235 | 0.000 % |
194.75/194.96 c | 184069 | 15564 66714 202780 | 2147483647 184069 235 | 0.000 % |
197.65/197.80 c | 185933 | 15564 66714 202780 | 2147483647 185933 236 | 0.000 % |
197.76/197.97 c | 186033 | 15564 66714 202780 | 2147483647 186033 236 | 0.000 % |
197.95/198.19 c | 186144 | 15564 66714 202780 | 2147483647 186144 236 | 0.000 % |
198.25/198.40 c | 186265 | 15564 66714 202780 | 2147483647 186265 236 | 0.000 % |
198.45/198.64 c | 186398 | 15564 66714 202780 | 2147483647 186398 236 | 0.000 % |
198.75/198.91 c | 186544 | 15564 66714 202780 | 2147483647 186544 236 | 0.000 % |
199.05/199.22 c | 186706 | 15564 66714 202780 | 2147483647 186706 236 | 0.000 % |
199.35/199.54 c | 186882 | 15564 66714 202780 | 2147483647 186882 236 | 0.000 % |
199.65/199.83 c | 187076 | 15564 66714 202780 | 2147483647 187076 236 | 0.000 % |
200.06/200.21 c | 187291 | 15564 66714 202780 | 2147483647 187291 235 | 0.000 % |
200.45/200.60 c | 187524 | 15564 66714 202780 | 2147483647 187524 235 | 0.000 % |
200.95/201.10 c | 187780 | 15564 66714 202780 | 2147483647 187780 235 | 0.000 % |
201.35/201.57 c | 188062 | 15564 66714 202780 | 2147483647 188062 235 | 0.000 % |
201.95/202.10 c | 188372 | 15564 66714 202780 | 2147483647 188372 235 | 0.000 % |
202.45/202.64 c | 188713 | 15564 66714 202780 | 2147483647 188713 235 | 0.000 % |
203.05/203.22 c | 189085 | 15564 66714 202780 | 2147483647 189085 235 | 0.000 % |
203.65/203.86 c | 189497 | 15564 66714 202780 | 2147483647 189497 235 | 0.000 % |
204.35/204.54 c | 189946 | 15564 66714 202780 | 2147483647 189946 235 | 0.000 % |
205.15/205.35 c | 190439 | 15564 66714 202780 | 2147483647 190439 235 | 0.000 % |
205.95/206.20 c | 190981 | 15564 66714 202780 | 2147483647 190981 235 | 0.000 % |
206.95/207.11 c | 191579 | 15564 66714 202780 | 2147483647 191579 235 | 0.000 % |
207.95/208.14 c | 192234 | 15564 66714 202780 | 2147483647 192234 235 | 0.000 % |
209.15/209.32 c | 192954 | 15564 66714 202780 | 2147483647 192954 235 | 0.000 % |
210.15/210.39 c | 193747 | 15564 66714 202780 | 2147483647 193747 235 | 0.000 % |
211.44/211.70 c | 194619 | 15564 66714 202780 | 2147483647 194619 235 | 0.000 % |
213.05/213.26 c | 195579 | 15564 66714 202780 | 2147483647 195579 235 | 0.000 % |
214.65/214.89 c | 196633 | 15564 66714 202780 | 2147483647 196633 235 | 0.000 % |
216.45/216.61 c | 197792 | 15564 66714 202780 | 2147483647 197792 236 | 0.000 % |
218.34/218.58 c | 199065 | 15564 66714 202780 | 2147483647 199065 236 | 0.000 % |
220.65/220.80 c | 200466 | 15564 66714 202780 | 2147483647 200466 236 | 0.000 % |
223.15/223.35 c | 202009 | 15564 66714 202780 | 2147483647 202009 236 | 0.000 % |
225.94/226.15 c | 203703 | 15564 66714 202780 | 2147483647 203703 236 | 0.000 % |
228.94/229.12 c | 205568 | 15564 66714 202780 | 2147483647 205568 237 | 0.000 % |
232.24/232.48 c | 207618 | 15564 66714 202780 | 2147483647 207618 237 | 0.000 % |
232.44/232.68 c | 207718 | 15564 66714 202780 | 2147483647 207718 237 | 0.000 % |
232.74/232.93 c | 207830 | 15564 66714 202780 | 2147483647 207830 237 | 0.000 % |
232.94/233.17 c | 207951 | 15564 66714 202780 | 2147483647 207951 237 | 0.000 % |
233.24/233.42 c | 208086 | 15564 66714 202780 | 2147483647 208086 237 | 0.000 % |
233.54/233.73 c | 208232 | 15564 66714 202780 | 2147483647 208232 237 | 0.000 % |
233.84/234.07 c | 208393 | 15564 66714 202780 | 2147483647 208393 237 | 0.000 % |
234.14/234.38 c | 208569 | 15564 66714 202780 | 2147483647 208569 237 | 0.000 % |
234.54/234.72 c | 208762 | 15564 66714 202780 | 2147483647 208762 237 | 0.000 % |
234.94/235.13 c | 208974 | 15564 66714 202780 | 2147483647 208974 237 | 0.000 % |
235.34/235.52 c | 209208 | 15564 66714 202780 | 2147483647 209208 237 | 0.000 % |
235.73/235.97 c | 209464 | 15564 66714 202780 | 2147483647 209464 237 | 0.000 % |
236.24/236.49 c | 209745 | 15564 66714 202780 | 2147483647 209745 237 | 0.000 % |
236.83/237.02 c | 210056 | 15564 66714 202780 | 2147483647 210056 237 | 0.000 % |
237.43/237.66 c | 210395 | 15564 66714 202780 | 2147483647 210395 237 | 0.000 % |
238.13/238.34 c | 210769 | 15564 66714 202780 | 2147483647 210769 237 | 0.000 % |
238.82/239.04 c | 211180 | 15564 66714 202780 | 2147483647 211180 237 | 0.000 % |
239.64/239.81 c | 211630 | 15564 66714 202780 | 2147483647 211630 237 | 0.000 % |
240.43/240.66 c | 212124 | 15564 66714 202780 | 2147483647 212124 237 | 0.000 % |
241.33/241.53 c | 212667 | 15564 66714 202780 | 2147483647 212667 237 | 0.000 % |
242.33/242.50 c | 213264 | 15564 66714 202780 | 2147483647 213264 237 | 0.000 % |
243.33/243.58 c | 213922 | 15564 66714 202780 | 2147483647 213922 237 | 0.000 % |
244.53/244.77 c | 214642 | 15564 66714 202780 | 2147483647 214642 237 | 0.000 % |
245.83/246.06 c | 215435 | 15564 66714 202780 | 2147483647 215435 237 | 0.000 % |
247.33/247.53 c | 216307 | 15564 66714 202780 | 2147483647 216307 237 | 0.000 % |
248.83/249.07 c | 217265 | 15564 66714 202780 | 2147483647 217265 237 | 0.000 % |
250.63/250.84 c | 218318 | 15564 66714 202780 | 2147483647 218318 237 | 0.000 % |
252.42/252.65 c | 219476 | 15564 66714 202780 | 2147483647 219476 237 | 0.000 % |
254.52/254.79 c | 220751 | 15564 66714 202780 | 2147483647 220751 237 | 0.000 % |
256.83/257.07 c | 222153 | 15564 66714 202780 | 2147483647 222153 238 | 0.000 % |
259.42/259.62 c | 223693 | 15564 66714 202780 | 2147483647 223693 238 | 0.000 % |
262.32/262.50 c | 225387 | 15564 66714 202780 | 2147483647 225387 238 | 0.000 % |
265.32/265.59 c | 227250 | 15564 66714 202780 | 2147483647 227250 238 | 0.000 % |
268.72/268.99 c | 229299 | 15564 66714 202780 | 2147483647 229299 238 | 0.000 % |
272.63/272.89 c | 231552 | 15564 66714 202780 | 2147483647 231552 239 | 0.000 % |
272.92/273.13 c | 231655 | 15564 66714 202780 | 2147483647 231655 239 | 0.000 % |
273.22/273.40 c | 231766 | 15564 66714 202780 | 2147483647 231766 239 | 0.000 % |
273.42/273.66 c | 231888 | 15564 66714 202780 | 2147483647 231888 239 | 0.000 % |
273.72/273.93 c | 232021 | 15564 66714 202780 | 2147483647 232021 239 | 0.000 % |
274.12/274.30 c | 232169 | 15564 66714 202780 | 2147483647 232169 239 | 0.000 % |
274.42/274.62 c | 232329 | 15564 66714 202780 | 2147483647 232329 239 | 0.000 % |
274.72/274.97 c | 232507 | 15564 66714 202780 | 2147483647 232507 239 | 0.000 % |
275.12/275.40 c | 232701 | 15564 66714 202780 | 2147483647 232701 239 | 0.000 % |
275.62/275.84 c | 232913 | 15564 66714 202780 | 2147483647 232913 239 | 0.000 % |
276.12/276.31 c | 233147 | 15564 66714 202780 | 2147483647 233147 239 | 0.000 % |
276.52/276.78 c | 233404 | 15564 66714 202780 | 2147483647 233404 239 | 0.000 % |
277.11/277.34 c | 233687 | 15564 66714 202780 | 2147483647 233687 239 | 0.000 % |
277.71/277.96 c | 234000 | 15564 66714 202780 | 2147483647 234000 239 | 0.000 % |
278.42/278.62 c | 234339 | 15564 66714 202780 | 2147483647 234339 239 | 0.000 % |
279.02/279.30 c | 234711 | 15564 66714 202780 | 2147483647 234711 239 | 0.000 % |
279.92/280.12 c | 235121 | 15564 66714 202780 | 2147483647 235121 238 | 0.000 % |
280.81/281.01 c | 235570 | 15564 66714 202780 | 2147483647 235570 238 | 0.000 % |
281.81/282.02 c | 236064 | 15564 66714 202780 | 2147483647 236064 238 | 0.000 % |
282.90/283.12 c | 236606 | 15564 66714 202780 | 2147483647 236606 238 | 0.000 % |
283.91/284.14 c | 237203 | 15564 66714 202780 | 2147483647 237203 238 | 0.000 % |
285.11/285.32 c | 237859 | 15564 66714 202780 | 2147483647 237859 238 | 0.000 % |
286.31/286.59 c | 238579 | 15564 66714 202780 | 2147483647 238579 238 | 0.000 % |
287.71/287.98 c | 239371 | 15564 66714 202780 | 2147483647 239371 238 | 0.000 % |
289.30/289.53 c | 240242 | 15564 66714 202780 | 2147483647 240242 238 | 0.000 % |
290.90/291.16 c | 241203 | 15564 66714 202780 | 2147483647 241203 238 | 0.000 % |
292.80/293.07 c | 242256 | 15564 66714 202780 | 2147483647 242256 239 | 0.000 % |
294.90/295.15 c | 243415 | 15564 66714 202780 | 2147483647 243415 239 | 0.000 % |
297.10/297.38 c | 244689 | 15564 66714 202780 | 2147483647 244689 239 | 0.000 % |
299.70/299.95 c | 246090 | 15564 66714 202780 | 2147483647 246090 239 | 0.000 % |
302.50/302.75 c | 247630 | 15564 66714 202780 | 2147483647 247630 239 | 0.000 % |
305.50/305.75 c | 249324 | 15564 66714 202780 | 2147483647 249324 240 | 0.000 % |
308.80/309.02 c | 251187 | 15564 66714 202780 | 2147483647 251187 240 | 0.000 % |
312.50/312.78 c | 253237 | 15564 66714 202780 | 2147483647 253237 240 | 0.000 % |
316.50/316.77 c | 255490 | 15564 66714 202780 | 2147483647 255490 241 | 0.000 % |
320.79/321.07 c | 257969 | 15564 66714 202780 | 2147483647 257969 241 | 0.000 % |
321.00/321.27 c | 258070 | 15564 66714 202780 | 2147483647 258070 241 | 0.000 % |
321.29/321.57 c | 258181 | 15564 66714 202780 | 2147483647 258181 241 | 0.000 % |
321.59/321.83 c | 258303 | 15564 66714 202780 | 2147483647 258303 241 | 0.000 % |
321.89/322.11 c | 258436 | 15564 66714 202780 | 2147483647 258436 241 | 0.000 % |
322.19/322.48 c | 258583 | 15564 66714 202780 | 2147483647 258583 241 | 0.000 % |
322.59/322.86 c | 258743 | 15564 66714 202780 | 2147483647 258743 241 | 0.000 % |
322.99/323.23 c | 258919 | 15564 66714 202780 | 2147483647 258919 241 | 0.000 % |
323.29/323.59 c | 259112 | 15564 66714 202780 | 2147483647 259112 241 | 0.000 % |
323.79/324.04 c | 259324 | 15564 66714 202780 | 2147483647 259324 241 | 0.000 % |
324.30/324.58 c | 259557 | 15564 66714 202780 | 2147483647 259557 241 | 0.000 % |
324.89/325.17 c | 259816 | 15564 66714 202780 | 2147483647 259816 241 | 0.000 % |
325.49/325.76 c | 260097 | 15564 66714 202780 | 2147483647 260097 241 | 0.000 % |
326.19/326.43 c | 260407 | 15564 66714 202780 | 2147483647 260407 241 | 0.000 % |
326.78/327.08 c | 260746 | 15564 66714 202780 | 2147483647 260746 241 | 0.000 % |
327.59/327.87 c | 261119 | 15564 66714 202780 | 2147483647 261119 241 | 0.000 % |
328.38/328.67 c | 261528 | 15564 66714 202780 | 2147483647 261528 241 | 0.000 % |
329.38/329.60 c | 261977 | 15564 66714 202780 | 2147483647 261977 241 | 0.000 % |
330.38/330.60 c | 262473 | 15564 66714 202780 | 2147483647 262473 241 | 0.000 % |
331.48/331.70 c | 263015 | 15564 66714 202780 | 2147483647 263015 241 | 0.000 % |
332.58/332.86 c | 263611 | 15564 66714 202780 | 2147483647 263611 241 | 0.000 % |
333.88/334.18 c | 264267 | 15564 66714 202780 | 2147483647 264267 241 | 0.000 % |
335.37/335.61 c | 264989 | 15564 66714 202780 | 2147483647 264989 241 | 0.000 % |
336.87/337.10 c | 265781 | 15564 66714 202780 | 2147483647 265781 241 | 0.000 % |
338.48/338.79 c | 266652 | 15564 66714 202780 | 2147483647 266652 241 | 0.000 % |
340.38/340.65 c | 267610 | 15564 66714 202780 | 2147483647 267610 241 | 0.000 % |
342.37/342.65 c | 268663 | 15564 66714 202780 | 2147483647 268663 241 | 0.000 % |
344.57/344.89 c | 269823 | 15564 66714 202780 | 2147483647 269823 242 | 0.000 % |
346.97/347.23 c | 271096 | 15564 66714 202780 | 2147483647 271096 242 | 0.000 % |
349.68/349.92 c | 272496 | 15564 66714 202780 | 2147483647 272496 242 | 0.000 % |
352.47/352.78 c | 274036 | 15564 66714 202780 | 2147483647 274036 242 | 0.000 % |
355.76/356.01 c | 275730 | 15564 66714 202780 | 2147483647 275730 242 | 0.000 % |
359.27/359.56 c | 277593 | 15564 66714 202780 | 2147483647 277593 243 | 0.000 % |
363.26/363.55 c | 279642 | 15564 66714 202780 | 2147483647 279642 243 | 0.000 % |
367.47/367.70 c | 281895 | 15564 66714 202780 | 2147483647 281895 244 | 0.000 % |
372.06/372.37 c | 284373 | 15564 66714 202780 | 2147483647 284373 244 | 0.000 % |
377.25/377.50 c | 287098 | 15564 66714 202780 | 2147483647 287098 244 | 0.000 % |
377.45/377.79 c | 287199 | 15564 66714 202780 | 2147483647 287199 244 | 0.000 % |
377.75/378.08 c | 287309 | 15564 66714 202780 | 2147483647 287309 244 | 0.000 % |
378.05/378.36 c | 287431 | 15564 66714 202780 | 2147483647 287431 244 | 0.000 % |
378.35/378.66 c | 287565 | 15564 66714 202780 | 2147483647 287565 244 | 0.000 % |
378.75/379.08 c | 287712 | 15564 66714 202780 | 2147483647 287712 244 | 0.000 % |
379.26/379.51 c | 287872 | 15564 66714 202780 | 2147483647 287872 244 | 0.000 % |
379.65/379.92 c | 288048 | 15564 66714 202780 | 2147483647 288048 244 | 0.000 % |
380.16/380.40 c | 288241 | 15564 66714 202780 | 2147483647 288241 244 | 0.000 % |
380.66/380.90 c | 288455 | 15564 66714 202780 | 2147483647 288455 244 | 0.000 % |
381.15/381.49 c | 288691 | 15564 66714 202780 | 2147483647 288691 244 | 0.000 % |
381.75/382.08 c | 288949 | 15564 66714 202780 | 2147483647 288949 244 | 0.000 % |
382.56/382.81 c | 289232 | 15564 66714 202780 | 2147483647 289232 244 | 0.000 % |
383.15/383.47 c | 289542 | 15564 66714 202780 | 2147483647 289542 244 | 0.000 % |
383.95/384.20 c | 289883 | 15564 66714 202780 | 2147483647 289883 244 | 0.000 % |
384.75/385.07 c | 290255 | 15564 66714 202780 | 2147483647 290255 244 | 0.000 % |
385.55/385.87 c | 290665 | 15564 66714 202780 | 2147483647 290665 244 | 0.000 % |
386.55/386.82 c | 291114 | 15564 66714 202780 | 2147483647 291114 244 | 0.000 % |
387.55/387.88 c | 291607 | 15564 66714 202780 | 2147483647 291607 244 | 0.000 % |
388.65/388.94 c | 292150 | 15564 66714 202780 | 2147483647 292150 244 | 0.000 % |
389.85/390.17 c | 292746 | 15564 66714 202780 | 2147483647 292746 244 | 0.000 % |
391.25/391.56 c | 293401 | 15564 66714 202780 | 2147483647 293401 244 | 0.000 % |
392.75/393.08 c | 294122 | 15564 66714 202780 | 2147483647 294122 244 | 0.000 % |
394.34/394.69 c | 294915 | 15564 66714 202780 | 2147483647 294915 244 | 0.000 % |
396.24/396.56 c | 295786 | 15564 66714 202780 | 2147483647 295786 244 | 0.000 % |
398.24/398.56 c | 296744 | 15564 66714 202780 | 2147483647 296744 244 | 0.000 % |
400.35/400.67 c | 297797 | 15564 66714 202780 | 2147483647 297797 244 | 0.000 % |
402.64/402.95 c | 298956 | 15564 66714 202780 | 2147483647 298956 244 | 0.000 % |
405.05/405.32 c | 300230 | 15564 66714 202780 | 2147483647 300230 244 | 0.000 % |
407.84/408.17 c | 301630 | 15564 66714 202780 | 2147483647 301630 245 | 0.000 % |
411.05/411.33 c | 303171 | 15564 66714 202780 | 2147483647 303171 245 | 0.000 % |
414.54/414.88 c | 304866 | 15564 66714 202780 | 2147483647 304866 245 | 0.000 % |
418.63/418.94 c | 306729 | 15564 66714 202780 | 2147483647 306729 245 | 0.000 % |
422.53/422.87 c | 308779 | 15564 66714 202780 | 2147483647 308779 246 | 0.000 % |
427.12/427.45 c | 311032 | 15564 66714 202780 | 2147483647 311032 246 | 0.000 % |
432.22/432.55 c | 313511 | 15564 66714 202780 | 2147483647 313511 246 | 0.000 % |
437.92/438.28 c | 316236 | 15564 66714 202780 | 2147483647 316236 246 | 0.000 % |
444.32/444.64 c | 319234 | 15564 66714 202780 | 2147483647 319234 246 | 0.000 % |
444.52/444.89 c | 319334 | 15564 66714 202780 | 2147483647 319334 246 | 0.000 % |
444.82/445.17 c | 319444 | 15564 66714 202780 | 2147483647 319444 246 | 0.000 % |
445.22/445.51 c | 319565 | 15564 66714 202780 | 2147483647 319565 246 | 0.000 % |
445.52/445.89 c | 319699 | 15564 66714 202780 | 2147483647 319699 246 | 0.000 % |
445.92/446.26 c | 319846 | 15564 66714 202780 | 2147483647 319846 246 | 0.000 % |
446.32/446.68 c | 320007 | 15564 66714 202780 | 2147483647 320007 246 | 0.000 % |
446.82/447.13 c | 320183 | 15564 66714 202780 | 2147483647 320183 246 | 0.000 % |
447.32/447.65 c | 320376 | 15564 66714 202780 | 2147483647 320376 246 | 0.000 % |
447.81/448.15 c | 320589 | 15564 66714 202780 | 2147483647 320589 246 | 0.000 % |
448.31/448.69 c | 320823 | 15564 66714 202780 | 2147483647 320823 246 | 0.000 % |
449.01/449.33 c | 321079 | 15564 66714 202780 | 2147483647 321079 246 | 0.000 % |
449.71/450.05 c | 321360 | 15564 66714 202780 | 2147483647 321360 246 | 0.000 % |
450.51/450.81 c | 321669 | 15564 66714 202780 | 2147483647 321669 246 | 0.000 % |
451.31/451.60 c | 322008 | 15564 66714 202780 | 2147483647 322008 246 | 0.000 % |
452.21/452.53 c | 322380 | 15564 66714 202780 | 2147483647 322380 246 | 0.000 % |
453.11/453.47 c | 322790 | 15564 66714 202780 | 2147483647 322790 246 | 0.000 % |
454.20/454.55 c | 323240 | 15564 66714 202780 | 2147483647 323240 246 | 0.000 % |
455.31/455.68 c | 323733 | 15564 66714 202780 | 2147483647 323733 246 | 0.000 % |
456.61/456.94 c | 324275 | 15564 66714 202780 | 2147483647 324275 246 | 0.000 % |
457.91/458.26 c | 324874 | 15564 66714 202780 | 2147483647 324874 246 | 0.000 % |
459.30/459.68 c | 325529 | 15564 66714 202780 | 2147483647 325529 246 | 0.000 % |
460.91/461.28 c | 326249 | 15564 66714 202780 | 2147483647 326249 246 | 0.000 % |
462.71/463.03 c | 327044 | 15564 66714 202780 | 2147483647 327044 246 | 0.000 % |
464.70/465.07 c | 327915 | 15564 66714 202780 | 2147483647 327915 246 | 0.000 % |
466.80/467.10 c | 328873 | 15564 66714 202780 | 2147483647 328873 246 | 0.000 % |
469.00/469.39 c | 329926 | 15564 66714 202780 | 2147483647 329926 246 | 0.000 % |
471.60/471.94 c | 331085 | 15564 66714 202780 | 2147483647 331085 246 | 0.000 % |
474.49/474.86 c | 332360 | 15564 66714 202780 | 2147483647 332360 246 | 0.000 % |
477.50/477.90 c | 333763 | 15564 66714 202780 | 2147483647 333763 246 | 0.000 % |
481.00/481.30 c | 335305 | 15564 66714 202780 | 2147483647 335305 247 | 0.000 % |
484.59/484.90 c | 337001 | 15564 66714 202780 | 2147483647 337001 247 | 0.000 % |
488.69/489.01 c | 338864 | 15564 66714 202780 | 2147483647 338864 247 | 0.000 % |
493.09/493.40 c | 340914 | 15564 66714 202780 | 2147483647 340914 247 | 0.000 % |
498.29/498.63 c | 343170 | 15564 66714 202780 | 2147483647 343170 247 | 0.000 % |
503.69/504.01 c | 345648 | 15564 66714 202780 | 2147483647 345648 247 | 0.000 % |
509.58/509.91 c | 348373 | 15564 66714 202780 | 2147483647 348373 248 | 0.000 % |
516.17/516.59 c | 351371 | 15564 66714 202780 | 2147483647 351371 248 | 0.000 % |
523.58/523.92 c | 354669 | 15564 66714 202780 | 2147483647 354669 248 | 0.000 % |
523.88/524.24 c | 354769 | 15564 66714 202780 | 2147483647 354769 248 | 0.000 % |
524.17/524.58 c | 354880 | 15564 66714 202780 | 2147483647 354880 248 | 0.000 % |
524.57/524.94 c | 355001 | 15564 66714 202780 | 2147483647 355001 248 | 0.000 % |
524.97/525.37 c | 355134 | 15564 66714 202780 | 2147483647 355134 248 | 0.000 % |
525.38/525.78 c | 355282 | 15564 66714 202780 | 2147483647 355282 248 | 0.000 % |
525.88/526.25 c | 355442 | 15564 66714 202780 | 2147483647 355442 248 | 0.000 % |
526.38/526.76 c | 355619 | 15564 66714 202780 | 2147483647 355619 248 | 0.000 % |
526.97/527.30 c | 355813 | 15564 66714 202780 | 2147483647 355813 248 | 0.000 % |
527.47/527.85 c | 356026 | 15564 66714 202780 | 2147483647 356026 248 | 0.000 % |
528.17/528.56 c | 356260 | 15564 66714 202780 | 2147483647 356260 248 | 0.000 % |
528.87/529.22 c | 356518 | 15564 66714 202780 | 2147483647 356518 248 | 0.000 % |
529.57/529.97 c | 356800 | 15564 66714 202780 | 2147483647 356800 248 | 0.000 % |
530.37/530.79 c | 357110 | 15564 66714 202780 | 2147483647 357110 248 | 0.000 % |
531.27/531.61 c | 357450 | 15564 66714 202780 | 2147483647 357450 248 | 0.000 % |
532.27/532.62 c | 357824 | 15564 66714 202780 | 2147483647 357824 248 | 0.000 % |
533.27/533.66 c | 358233 | 15564 66714 202780 | 2147483647 358233 248 | 0.000 % |
534.47/534.82 c | 358683 | 15564 66714 202780 | 2147483647 358683 248 | 0.000 % |
535.67/536.06 c | 359176 | 15564 66714 202780 | 2147483647 359176 248 | 0.000 % |
537.07/537.43 c | 359718 | 15564 66714 202780 | 2147483647 359718 248 | 0.000 % |
538.47/538.88 c | 360315 | 15564 66714 202780 | 2147483647 360315 248 | 0.000 % |
540.06/540.42 c | 360972 | 15564 66714 202780 | 2147483647 360972 248 | 0.000 % |
541.66/542.06 c | 361694 | 15564 66714 202780 | 2147483647 361694 248 | 0.000 % |
543.57/543.97 c | 362486 | 15564 66714 202780 | 2147483647 362486 248 | 0.000 % |
545.56/545.90 c | 363358 | 15564 66714 202780 | 2147483647 363358 248 | 0.000 % |
547.66/548.08 c | 364318 | 15564 66714 202780 | 2147483647 364318 248 | 0.000 % |
550.17/550.57 c | 365372 | 15564 66714 202780 | 2147483647 365372 248 | 0.000 % |
552.75/553.11 c | 366530 | 15564 66714 202780 | 2147483647 366530 248 | 0.000 % |
555.85/556.26 c | 367804 | 15564 66714 202780 | 2147483647 367804 248 | 0.000 % |
558.85/559.22 c | 369205 | 15564 66714 202780 | 2147483647 369205 248 | 0.000 % |
562.35/562.73 c | 370745 | 15564 66714 202780 | 2147483647 370745 249 | 0.000 % |
566.45/566.80 c | 372440 | 15564 66714 202780 | 2147483647 372440 249 | 0.000 % |
570.94/571.32 c | 374304 | 15564 66714 202780 | 2147483647 374304 249 | 0.000 % |
575.75/576.15 c | 376356 | 15564 66714 202780 | 2147483647 376356 249 | 0.000 % |
581.24/581.61 c | 378610 | 15564 66714 202780 | 2147483647 378610 249 | 0.000 % |
586.94/587.39 c | 381088 | 15564 66714 202780 | 2147483647 381088 250 | 0.000 % |
593.34/593.70 c | 383817 | 15564 66714 202780 | 2147483647 383817 250 | 0.000 % |
600.03/600.47 c | 386817 | 15564 66714 202780 | 2147483647 386817 250 | 0.000 % |
608.12/608.57 c | 390113 | 15564 66714 202780 | 2147483647 390113 251 | 0.000 % |
616.82/617.20 c | 393738 | 15564 66714 202780 | 2147483647 393738 251 | 0.000 % |
617.12/617.50 c | 393838 | 15564 66714 202780 | 2147483647 393838 251 | 0.000 % |
617.52/617.92 c | 393951 | 15564 66714 202780 | 2147483647 393951 251 | 0.000 % |
617.92/618.37 c | 394072 | 15564 66714 202780 | 2147483647 394072 251 | 0.000 % |
618.42/618.86 c | 394205 | 15564 66714 202780 | 2147483647 394205 251 | 0.000 % |
618.93/619.31 c | 394351 | 15564 66714 202780 | 2147483647 394351 251 | 0.000 % |
619.42/619.81 c | 394512 | 15564 66714 202780 | 2147483647 394512 251 | 0.000 % |
620.02/620.44 c | 394692 | 15564 66714 202780 | 2147483647 394692 251 | 0.000 % |
620.52/620.95 c | 394886 | 15564 66714 202780 | 2147483647 394886 251 | 0.000 % |
621.22/621.61 c | 395102 | 15564 66714 202780 | 2147483647 395102 251 | 0.000 % |
621.82/622.26 c | 395336 | 15564 66714 202780 | 2147483647 395336 251 | 0.000 % |
622.52/622.97 c | 395593 | 15564 66714 202780 | 2147483647 395593 251 | 0.000 % |
623.42/623.88 c | 395874 | 15564 66714 202780 | 2147483647 395874 251 | 0.000 % |
624.22/624.69 c | 396183 | 15564 66714 202780 | 2147483647 396183 251 | 0.000 % |
625.21/625.61 c | 396523 | 15564 66714 202780 | 2147483647 396523 251 | 0.000 % |
626.21/626.65 c | 396895 | 15564 66714 202780 | 2147483647 396895 251 | 0.000 % |
627.41/627.83 c | 397309 | 15564 66714 202780 | 2147483647 397309 251 | 0.000 % |
628.52/629.00 c | 397759 | 15564 66714 202780 | 2147483647 397759 251 | 0.000 % |
629.82/630.26 c | 398252 | 15564 66714 202780 | 2147483647 398252 251 | 0.000 % |
631.32/631.75 c | 398794 | 15564 66714 202780 | 2147483647 398794 251 | 0.000 % |
632.91/633.37 c | 399390 | 15564 66714 202780 | 2147483647 399390 251 | 0.000 % |
634.81/635.20 c | 400046 | 15564 66714 202780 | 2147483647 400046 251 | 0.000 % |
636.71/637.13 c | 400767 | 15564 66714 202780 | 2147483647 400767 251 | 0.000 % |
638.62/639.09 c | 401561 | 15564 66714 202780 | 2147483647 401561 251 | 0.000 % |
641.10/641.51 c | 402432 | 15564 66714 202780 | 2147483647 402432 251 | 0.000 % |
643.40/643.87 c | 403390 | 15564 66714 202780 | 2147483647 403390 251 | 0.000 % |
646.30/646.80 c | 404443 | 15564 66714 202780 | 2147483647 404443 251 | 0.000 % |
649.40/649.86 c | 405601 | 15564 66714 202780 | 2147483647 405601 251 | 0.000 % |
652.50/652.97 c | 406875 | 15564 66714 202780 | 2147483647 406875 251 | 0.000 % |
656.09/656.55 c | 408277 | 15564 66714 202780 | 2147483647 408277 251 | 0.000 % |
659.99/660.40 c | 409817 | 15564 66714 202780 | 2147483647 409817 251 | 0.000 % |
664.29/664.79 c | 411512 | 15564 66714 202780 | 2147483647 411512 251 | 0.000 % |
669.29/669.72 c | 413377 | 15564 66714 202780 | 2147483647 413377 251 | 0.000 % |
674.29/674.78 c | 415426 | 15564 66714 202780 | 2147483647 415426 252 | 0.000 % |
679.89/680.32 c | 417679 | 15564 66714 202780 | 2147483647 417679 252 | 0.000 % |
685.98/686.46 c | 420157 | 15564 66714 202780 | 2147483647 420157 252 | 0.000 % |
692.48/692.97 c | 422882 | 15564 66714 202780 | 2147483647 422882 252 | 0.000 % |
700.18/700.63 c | 425879 | 15564 66714 202780 | 2147483647 425879 252 | 0.000 % |
708.37/708.82 c | 429175 | 15564 66714 202780 | 2147483647 429175 253 | 0.000 % |
717.36/717.85 c | 432800 | 15564 66714 202780 | 2147483647 432800 253 | 0.000 % |
726.86/727.39 c | 436787 | 15564 66714 202780 | 2147483647 436787 255 | 0.000 % |
727.26/727.73 c | 436888 | 15564 66714 202780 | 2147483647 436888 255 | 0.000 % |
727.67/728.12 c | 436998 | 15564 66714 202780 | 2147483647 436998 255 | 0.000 % |
728.06/728.57 c | 437119 | 15564 66714 202780 | 2147483647 437119 255 | 0.000 % |
728.56/729.03 c | 437256 | 15564 66714 202780 | 2147483647 437256 255 | 0.000 % |
729.06/729.53 c | 437402 | 15564 66714 202780 | 2147483647 437402 254 | 0.000 % |
729.66/730.11 c | 437562 | 15564 66714 202780 | 2147483647 437562 254 | 0.000 % |
730.36/730.81 c | 437738 | 15564 66714 202780 | 2147483647 437738 254 | 0.000 % |
730.96/731.43 c | 437931 | 15564 66714 202780 | 2147483647 437931 254 | 0.000 % |
731.65/732.13 c | 438143 | 15564 66714 202780 | 2147483647 438143 254 | 0.000 % |
732.45/732.91 c | 438378 | 15564 66714 202780 | 2147483647 438378 254 | 0.000 % |
733.15/733.62 c | 438635 | 15564 66714 202780 | 2147483647 438635 254 | 0.000 % |
734.05/734.52 c | 438917 | 15564 66714 202780 | 2147483647 438917 254 | 0.000 % |
735.05/735.55 c | 439226 | 15564 66714 202780 | 2147483647 439226 254 | 0.000 % |
736.15/736.60 c | 439567 | 15564 66714 202780 | 2147483647 439567 254 | 0.000 % |
737.25/737.70 c | 439940 | 15564 66714 202780 | 2147483647 439940 254 | 0.000 % |
738.45/738.95 c | 440350 | 15564 66714 202780 | 2147483647 440350 254 | 0.000 % |
739.75/740.29 c | 440800 | 15564 66714 202780 | 2147483647 440800 254 | 0.000 % |
741.25/741.72 c | 441293 | 15564 66714 202780 | 2147483647 441293 254 | 0.000 % |
742.85/743.31 c | 441836 | 15564 66714 202780 | 2147483647 441836 254 | 0.000 % |
744.44/744.94 c | 442432 | 15564 66714 202780 | 2147483647 442432 254 | 0.000 % |
746.25/746.78 c | 443088 | 15564 66714 202780 | 2147483647 443088 254 | 0.000 % |
748.35/748.88 c | 443810 | 15564 66714 202780 | 2147483647 443810 254 | 0.000 % |
750.75/751.24 c | 444602 | 15564 66714 202780 | 2147483647 444602 254 | 0.000 % |
753.34/753.84 c | 445473 | 15564 66714 202780 | 2147483647 445473 254 | 0.000 % |
756.04/756.54 c | 446434 | 15564 66714 202780 | 2147483647 446434 254 | 0.000 % |
759.04/759.53 c | 447488 | 15564 66714 202780 | 2147483647 447488 254 | 0.000 % |
762.24/762.80 c | 448649 | 15564 66714 202780 | 2147483647 448649 254 | 0.000 % |
765.64/766.14 c | 449922 | 15564 66714 202780 | 2147483647 449922 254 | 0.000 % |
769.23/769.76 c | 451323 | 15564 66714 202780 | 2147483647 451323 254 | 0.000 % |
773.43/773.92 c | 452865 | 15564 66714 202780 | 2147483647 452865 255 | 0.000 % |
778.13/778.60 c | 454559 | 15564 66714 202780 | 2147483647 454559 255 | 0.000 % |
783.12/783.69 c | 456425 | 15564 66714 202780 | 2147483647 456425 255 | 0.000 % |
788.53/789.00 c | 458474 | 15564 66714 202780 | 2147483647 458474 255 | 0.000 % |
794.73/795.22 c | 460727 | 15564 66714 202780 | 2147483647 460727 255 | 0.000 % |
801.52/802.01 c | 463205 | 15564 66714 202780 | 2147483647 463205 255 | 0.000 % |
808.92/809.47 c | 465930 | 15564 66714 202780 | 2147483647 465930 255 | 0.000 % |
817.21/817.70 c | 468928 | 15564 66714 202780 | 2147483647 468928 255 | 0.000 % |
825.91/826.48 c | 472224 | 15564 66714 202780 | 2147483647 472224 255 | 0.000 % |
836.10/836.69 c | 475850 | 15564 66714 202780 | 2147483647 475850 255 | 0.000 % |
846.60/847.15 c | 479838 | 15564 66714 202780 | 2147483647 479838 256 | 0.000 % |
858.39/858.99 c | 484224 | 15564 66714 202780 | 2147483647 484224 257 | 0.000 % |
858.79/859.35 c | 484324 | 15564 66714 202780 | 2147483647 484324 257 | 0.000 % |
859.19/859.75 c | 484434 | 15564 66714 202780 | 2147483647 484434 257 | 0.000 % |
859.70/860.25 c | 484556 | 15564 66714 202780 | 2147483647 484556 257 | 0.000 % |
860.29/860.84 c | 484690 | 15564 66714 202780 | 2147483647 484690 257 | 0.000 % |
860.89/861.40 c | 484836 | 15564 66714 202780 | 2147483647 484836 257 | 0.000 % |
861.39/861.99 c | 484997 | 15564 66714 202780 | 2147483647 484997 257 | 0.000 % |
862.09/862.64 c | 485175 | 15564 66714 202780 | 2147483647 485175 257 | 0.000 % |
862.89/863.41 c | 485369 | 15564 66714 202780 | 2147483647 485369 256 | 0.000 % |
863.59/864.14 c | 485583 | 15564 66714 202780 | 2147483647 485583 256 | 0.000 % |
864.49/865.05 c | 485816 | 15564 66714 202780 | 2147483647 485816 256 | 0.000 % |
865.38/865.95 c | 486072 | 15564 66714 202780 | 2147483647 486072 256 | 0.000 % |
866.48/867.04 c | 486354 | 15564 66714 202780 | 2147483647 486354 256 | 0.000 % |
867.58/868.11 c | 486665 | 15564 66714 202780 | 2147483647 486665 256 | 0.000 % |
868.68/869.29 c | 487004 | 15564 66714 202780 | 2147483647 487004 256 | 0.000 % |
870.07/870.60 c | 487376 | 15564 66714 202780 | 2147483647 487376 256 | 0.000 % |
871.28/871.84 c | 487786 | 15564 66714 202780 | 2147483647 487786 256 | 0.000 % |
872.88/873.40 c | 488235 | 15564 66714 202780 | 2147483647 488235 256 | 0.000 % |
874.48/875.03 c | 488728 | 15564 66714 202780 | 2147483647 488728 256 | 0.000 % |
876.08/876.67 c | 489270 | 15564 66714 202780 | 2147483647 489270 256 | 0.000 % |
877.97/878.55 c | 489866 | 15564 66714 202780 | 2147483647 489866 256 | 0.000 % |
879.97/880.53 c | 490521 | 15564 66714 202780 | 2147483647 490521 256 | 0.000 % |
882.48/883.05 c | 491241 | 15564 66714 202780 | 2147483647 491241 256 | 0.000 % |
884.98/885.54 c | 492034 | 15564 66714 202780 | 2147483647 492034 256 | 0.000 % |
887.67/888.25 c | 492905 | 15564 66714 202780 | 2147483647 492905 256 | 0.000 % |
890.76/891.38 c | 493863 | 15564 66714 202780 | 2147483647 493863 256 | 0.000 % |
893.97/894.54 c | 494916 | 15564 66714 202780 | 2147483647 494916 256 | 0.000 % |
897.37/897.97 c | 496075 | 15564 66714 202780 | 2147483647 496075 256 | 0.000 % |
901.26/901.82 c | 497348 | 15564 66714 202780 | 2147483647 497348 256 | 0.000 % |
905.37/905.99 c | 498748 | 15564 66714 202780 | 2147483647 498748 256 | 0.000 % |
909.86/910.45 c | 500288 | 15564 66714 202780 | 2147483647 500288 256 | 0.000 % |
914.95/915.53 c | 501984 | 15564 66714 202780 | 2147483647 501984 256 | 0.000 % |
920.35/920.92 c | 503848 | 15564 66714 202780 | 2147483647 503848 256 | 0.000 % |
926.65/927.26 c | 505899 | 15564 66714 202780 | 2147483647 505899 256 | 0.000 % |
933.14/933.70 c | 508152 | 15564 66714 202780 | 2147483647 508152 256 | 0.000 % |
940.14/940.78 c | 510631 | 15564 66714 202780 | 2147483647 510631 256 | 0.000 % |
947.24/947.89 c | 513357 | 15564 66714 202780 | 2147483647 513357 256 | 0.000 % |
956.13/956.72 c | 516354 | 15564 66714 202780 | 2147483647 516354 256 | 0.000 % |
965.93/966.50 c | 519650 | 15564 66714 202780 | 2147483647 519650 257 | 0.000 % |
976.62/977.21 c | 523275 | 15564 66714 202780 | 2147483647 523275 257 | 0.000 % |
988.42/989.03 c | 527263 | 15564 66714 202780 | 2147483647 527263 257 | 0.000 % |
1001.41/1002.06 c | 531648 | 15564 66714 202780 | 2147483647 531648 258 | 0.000 % |
1015.40/1016.03 c | 536472 | 15564 66714 202780 | 2147483647 536472 258 | 0.000 % |
1015.80/1016.46 c | 536574 | 15564 66714 202780 | 2147483647 536574 258 | 0.000 % |
1016.30/1016.98 c | 536684 | 15564 66714 202780 | 2147483647 536684 258 | 0.000 % |
1016.90/1017.50 c | 536807 | 15564 66714 202780 | 2147483647 536807 258 | 0.000 % |
1017.40/1018.05 c | 536942 | 15564 66714 202780 | 2147483647 536942 258 | 0.000 % |
1017.90/1018.60 c | 537090 | 15564 66714 202780 | 2147483647 537090 258 | 0.000 % |
1018.60/1019.26 c | 537252 | 15564 66714 202780 | 2147483647 537252 258 | 0.000 % |
1019.39/1020.04 c | 537429 | 15564 66714 202780 | 2147483647 537429 258 | 0.000 % |
1020.20/1020.80 c | 537624 | 15564 66714 202780 | 2147483647 537624 258 | 0.000 % |
1021.09/1021.70 c | 537836 | 15564 66714 202780 | 2147483647 537836 258 | 0.000 % |
1022.00/1022.61 c | 538070 | 15564 66714 202780 | 2147483647 538070 258 | 0.000 % |
1023.10/1023.70 c | 538326 | 15564 66714 202780 | 2147483647 538326 258 | 0.000 % |
1024.10/1024.76 c | 538607 | 15564 66714 202780 | 2147483647 538607 258 | 0.000 % |
1025.30/1025.90 c | 538916 | 15564 66714 202780 | 2147483647 538916 258 | 0.000 % |
1026.50/1027.19 c | 539256 | 15564 66714 202780 | 2147483647 539256 258 | 0.000 % |
1027.69/1028.39 c | 539629 | 15564 66714 202780 | 2147483647 539629 258 | 0.000 % |
1029.19/1029.86 c | 540039 | 15564 66714 202780 | 2147483647 540039 258 | 0.000 % |
1030.89/1031.51 c | 540488 | 15564 66714 202780 | 2147483647 540488 258 | 0.000 % |
1032.70/1033.30 c | 540982 | 15564 66714 202780 | 2147483647 540982 258 | 0.000 % |
1034.59/1035.24 c | 541526 | 15564 66714 202780 | 2147483647 541526 258 | 0.000 % |
1036.70/1037.32 c | 542122 | 15564 66714 202780 | 2147483647 542122 258 | 0.000 % |
1038.79/1039.48 c | 542778 | 15564 66714 202780 | 2147483647 542778 258 | 0.000 % |
1041.19/1041.85 c | 543501 | 15564 66714 202780 | 2147483647 543501 258 | 0.000 % |
1043.69/1044.37 c | 544293 | 15564 66714 202780 | 2147483647 544293 258 | 0.000 % |
1046.59/1047.25 c | 545165 | 15564 66714 202780 | 2147483647 545165 258 | 0.000 % |
1049.79/1050.46 c | 546125 | 15564 66714 202780 | 2147483647 546125 258 | 0.000 % |
1053.38/1054.03 c | 547179 | 15564 66714 202780 | 2147483647 547179 258 | 0.000 % |
1057.38/1058.08 c | 548338 | 15564 66714 202780 | 2147483647 548338 258 | 0.000 % |
1061.48/1062.17 c | 549612 | 15564 66714 202780 | 2147483647 549612 258 | 0.000 % |
1065.98/1066.63 c | 551012 | 15564 66714 202780 | 2147483647 551012 258 | 0.000 % |
1071.08/1071.76 c | 552553 | 15564 66714 202780 | 2147483647 552553 259 | 0.000 % |
1076.57/1077.20 c | 554248 | 15564 66714 202780 | 2147483647 554248 259 | 0.000 % |
1082.17/1082.88 c | 556113 | 15564 66714 202780 | 2147483647 556113 259 | 0.000 % |
1089.06/1089.79 c | 558163 | 15564 66714 202780 | 2147483647 558163 259 | 0.000 % |
1096.26/1096.99 c | 560418 | 15564 66714 202780 | 2147483647 560418 259 | 0.000 % |
1103.86/1104.51 c | 562896 | 15564 66714 202780 | 2147483647 562896 259 | 0.000 % |
1112.46/1113.20 c | 565621 | 15564 66714 202780 | 2147483647 565621 259 | 0.000 % |
1122.15/1122.82 c | 568618 | 15564 66714 202780 | 2147483647 568618 259 | 0.000 % |
1131.75/1132.40 c | 571914 | 15564 66714 202780 | 2147483647 571914 260 | 0.000 % |
1143.34/1144.01 c | 575539 | 15564 66714 202780 | 2147483647 575539 260 | 0.000 % |
1156.13/1156.83 c | 579528 | 15564 66714 202780 | 2147483647 579528 260 | 0.000 % |
1170.32/1171.09 c | 583913 | 15564 66714 202780 | 2147483647 583913 260 | 0.000 % |
1185.22/1185.98 c | 588736 | 15564 66714 202780 | 2147483647 588736 260 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832765-1242787457/watcher-1832765-1242787457 -o /tmp/evaluation-result-1832765-1242787457/solver-1832765-1242787457 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832765-1242787457.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32653
/proc/meminfo: memFree=1724704/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0
/proc/32653/stat : 32653 (SatELiteGTI) R 32651 32653 32008 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306771907 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271637998067 0 0 4100 65536 0 0 0 17 0 0 0
/proc/32653/statm: 1339 237 197 169 0 50 0
[startup+0.042665 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32653
/proc/meminfo: memFree=1724704/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306771907 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101675 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32653
/proc/meminfo: memFree=1724704/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306771907 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301711 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32653
/proc/meminfo: memFree=1724704/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306771907 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701796 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32653
/proc/meminfo: memFree=1724704/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5356
[startup+1.50193 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1716880/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=7844 CPUtime=1.18
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 1789 0 0 0 117 1 0 0 25 0 1 0 306771937 8032256 1775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 1961 1775 77 171 0 1788 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13200
[startup+3.10222 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1715088/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=10088 CPUtime=2.79
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 2357 0 0 0 277 2 0 0 25 0 1 0 306771937 10330112 2343 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 2522 2343 77 171 0 2349 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15444
[startup+6.3018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1710288/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=14724 CPUtime=5.98
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 3499 0 0 0 595 3 0 0 25 0 1 0 306771937 15077376 3485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 3681 3485 77 171 0 3508 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20080
[startup+12.703 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1701144/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=23172 CPUtime=12.37
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 5633 0 0 0 1231 6 0 0 25 0 1 0 306771937 23728128 5619 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/32659/statm: 5793 5619 77 171 0 5620 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 28528
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1684568/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=39448 CPUtime=25.16
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 9691 0 0 0 2506 10 0 0 25 0 1 0 306771937 40394752 9677 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 9862 9677 77 171 0 9689 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 44804
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1657624/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=66592 CPUtime=50.74
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 16473 0 0 0 5058 16 0 0 25 0 1 0 306771937 68190208 16459 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 16648 16459 77 171 0 16475 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 71948
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1610264/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=113376 CPUtime=101.91
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 28149 0 0 0 10162 29 0 0 25 0 1 0 306771937 116097024 28135 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 28344 28135 77 171 0 28171 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 118732
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1563288/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=160392 CPUtime=161.88
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 39887 0 0 0 16146 42 0 0 25 0 1 0 306771937 164241408 39873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 40098 39873 77 171 0 39925 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 165748
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1522968/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=200272 CPUtime=221.85
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 49883 0 0 0 22132 53 0 0 25 0 1 0 306771937 205078528 49869 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 50068 49869 77 171 0 49895 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 205628
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1487192/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=236328 CPUtime=281.82
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 58848 0 0 0 28120 62 0 0 25 0 1 0 306771937 241999872 58834 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 59082 58834 77 171 0 58909 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 241684
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1452376/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=270656 CPUtime=341.78
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 67451 0 0 0 34105 73 0 0 25 0 1 0 306771937 277151744 67437 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 67664 67437 77 171 0 67491 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 276012
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1419608/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=303432 CPUtime=401.75
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 75688 0 0 0 40094 81 0 0 25 0 1 0 306771937 310714368 75674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 75858 75674 77 171 0 75685 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 308788
[startup+462.302 s]
################
# More data... #
################
/proc/32659/statm: 97829 97576 77 171 0 97656 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 396672
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1304600/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=417596 CPUtime=641.62
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 104160 0 0 0 64047 115 0 0 25 0 1 0 306771937 427618304 104146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 104399 104146 77 171 0 104226 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 422952
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1277912/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=444144 CPUtime=701.58
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 110820 0 0 0 70036 122 0 0 25 0 1 0 306771937 454803456 110806 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 111036 110806 77 171 0 110863 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 449500
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1251992/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=469632 CPUtime=761.55
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 117223 0 0 0 76026 129 0 0 25 0 1 0 306771937 480903168 117209 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 117408 117209 77 171 0 117235 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 474988
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1226840/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=495628 CPUtime=821.52
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 123519 0 0 0 82014 138 0 0 25 0 1 0 306771937 507523072 123505 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 123907 123505 77 171 0 123734 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 500984
[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1203864/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=518204 CPUtime=881.48
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 129198 0 0 0 88005 143 0 0 25 0 1 0 306771937 530640896 129184 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 129551 129184 77 171 0 129378 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 523560
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1182488/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=539596 CPUtime=941.45
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 134547 0 0 0 93995 150 0 0 25 0 1 0 306771937 552546304 134533 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 134899 134533 77 171 0 134726 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 544952
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32659
/proc/meminfo: memFree=1157592/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=564024 CPUtime=1001.41
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 140689 0 0 0 99984 157 0 0 25 0 1 0 306771937 577560576 140675 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 141006 140675 77 171 0 140833 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 569380
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32665
/proc/meminfo: memFree=1137368/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=584120 CPUtime=1061.39
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 145725 0 0 0 105976 163 0 0 25 0 1 0 306771937 598138880 145711 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 146030 145711 77 171 0 145857 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 589476
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32665
/proc/meminfo: memFree=1115608/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=605652 CPUtime=1121.36
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 151132 0 0 0 111967 169 0 0 25 0 1 0 306771937 620187648 151118 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 151413 151118 77 171 0 151240 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 611008
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32665
/proc/meminfo: memFree=1093400/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=627964 CPUtime=1181.33
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 156710 0 0 0 117957 176 0 0 25 0 1 0 306771937 643035136 156696 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 156991 156696 77 171 0 156818 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 633320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32665
/proc/meminfo: memFree=1085912/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=635092 CPUtime=1199.73
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 158489 0 0 0 119795 178 0 0 25 0 1 0 306771937 650334208 158475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 158773 158475 77 171 0 158600 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 640448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32665
/proc/meminfo: memFree=1085912/2055920 swapFree=4179888/4192956
[pid=32653] ppid=32651 vsize=5356 CPUtime=0.29
/proc/32653/stat : 32653 (SatELiteGTI) S 32651 32653 32008 0 -1 4194304 336 2299 0 0 0 0 27 2 15 0 1 0 306771907 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32653/statm: 1339 239 197 169 0 50 0
[pid=32659] ppid=32653 vsize=635092 CPUtime=1199.73
/proc/32659/stat : 32659 (minisat_static) R 32653 32653 32008 0 -1 4194304 158489 0 0 0 119795 178 0 0 25 0 1 0 306771937 650334208 158475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32659/statm: 158773 158475 77 171 0 158600 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 640448
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32653 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=276957
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 0.302953
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.02
CPU user time (s): 1198.22
CPU system time (s): 1.8
CPU usage (%): 99.9423
Max. virtual memory (cumulated for all children) (KiB): 640448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.276957
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2635
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= 11
involuntary context switches= 8
runsolver used 1.13883 second user time and 3.3105 second system time
The end
Begin job on node67 at 2009-05-20 04:44:17
IDJOB=1832765
IDBENCH=70346
IDSOLVER=671
FILE ID=node67/1832765-1242787457
PBS_JOBID= 9322349
Free space on /tmp= 66348 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832765-1242787457/watcher-1832765-1242787457 -o /tmp/evaluation-result-1832765-1242787457/solver-1832765-1242787457 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832765-1242787457.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0ec786bf459e33d21d020cc6c867d755
RANDOM SEED=1012462343
node67.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.277
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.277
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: 1725192 kB
Buffers: 37932 kB
Cached: 222640 kB
SwapCached: 7824 kB
Active: 42372 kB
Inactive: 227556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1725192 kB
SwapTotal: 4192956 kB
SwapFree: 4179888 kB
Dirty: 2856 kB
Writeback: 0 kB
Mapped: 14112 kB
Slab: 46752 kB
Committed_AS: 1057176 kB
PageTables: 1440 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66344 MiB
End job on node67 at 2009-05-20 05:04:20