0.00/0.00 c Parsing...
0.00/0.09 c ==============================================================================
0.00/0.09 c | | ORIGINAL | LEARNT | |
0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.09 c ==============================================================================
0.00/0.09 c | 0 | 75600 226800 | 22679 0 0 nan | 0.000 % |
0.00/0.28 c | 0 | 75064 228039 | -- 0 -- -- | -- | -536/1239
0.00/0.28 c ==============================================================================
0.00/0.28 c Result : #vars: 17535 #clauses: 75064 #literals: 228039
0.00/0.28 c CPU time: 0.264959 s
0.00/0.28 c ==============================================================================
0.00/0.37 c This is MiniSat 2.0 beta
0.00/0.37 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.37 c ============================[ Problem Statistics ]=============================
0.00/0.37 c | |
0.00/0.37 c | Number of variables: 17535 |
0.00/0.37 c | Number of clauses: 75064 |
0.36/0.42 c | Parsing time: 0.05 s |
0.36/0.43 c ============================[ Search Statistics ]==============================
0.36/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.36/0.43 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.36/0.43 c ===============================================================================
0.36/0.43 c | 0 | 17535 75064 228039 | 25021 0 nan | 0.000 % |
0.36/0.49 c | 100 | 17535 75064 228039 | 25021 100 159 | 0.000 % |
0.36/0.55 c | 201 | 17535 75064 228039 | 25021 201 158 | 0.000 % |
0.36/0.61 c | 301 | 17535 75064 228039 | 25021 301 172 | 0.000 % |
0.36/0.68 c | 411 | 17535 75064 228039 | 25021 411 171 | 0.000 % |
0.36/0.75 c | 512 | 17535 75064 228039 | 25021 512 164 | 0.000 % |
0.36/0.82 c | 625 | 17535 75064 228039 | 25021 625 176 | 0.000 % |
0.36/0.91 c | 747 | 17535 75064 228039 | 25021 747 177 | 0.000 % |
0.36/0.97 c | 847 | 17535 75064 228039 | 25021 847 173 | 0.000 % |
0.99/1.03 c | 959 | 17535 75064 228039 | 25021 959 173 | 0.000 % |
1.09/1.12 c | 1080 | 17535 75064 228039 | 25021 1080 177 | 0.000 % |
1.18/1.21 c | 1213 | 17535 75064 228039 | 25021 1213 181 | 0.000 % |
1.18/1.28 c | 1316 | 17535 75064 228039 | 25021 1316 181 | 0.000 % |
1.28/1.34 c | 1426 | 17535 75064 228039 | 25021 1426 180 | 0.000 % |
1.38/1.41 c | 1547 | 17535 75064 228039 | 25021 1547 179 | 0.000 % |
1.48/1.51 c | 1681 | 17535 75064 228039 | 25021 1681 181 | 0.000 % |
1.48/1.60 c | 1827 | 17535 75064 228039 | 25021 1827 183 | 0.000 % |
1.58/1.66 c | 1930 | 17535 75064 228039 | 25021 1930 181 | 0.000 % |
1.68/1.73 c | 2041 | 17535 75064 228039 | 25021 2041 179 | 0.000 % |
1.78/1.81 c | 2163 | 17535 75064 228039 | 25021 2163 178 | 0.000 % |
1.88/1.90 c | 2297 | 17535 75064 228039 | 25021 2297 177 | 0.000 % |
1.88/1.99 c | 2444 | 17535 75064 228039 | 25021 2444 176 | 0.000 % |
1.98/2.10 c | 2604 | 17535 75064 228039 | 25021 2604 178 | 0.000 % |
2.08/2.16 c | 2704 | 17535 75064 228039 | 25021 2704 177 | 0.000 % |
2.18/2.24 c | 2814 | 17535 75064 228039 | 25021 2814 181 | 0.000 % |
2.28/2.32 c | 2935 | 17535 75064 228039 | 25021 2935 182 | 0.000 % |
2.38/2.40 c | 3070 | 17535 75064 228039 | 25021 3070 180 | 0.000 % |
2.38/2.49 c | 3217 | 17535 75064 228039 | 25021 3217 182 | 0.000 % |
2.48/2.58 c | 3379 | 17535 75064 228039 | 25021 3379 185 | 0.000 % |
2.57/2.69 c | 3555 | 17535 75064 228039 | 25021 3555 185 | 0.000 % |
2.67/2.76 c | 3655 | 17535 75064 228039 | 25021 3655 185 | 0.000 % |
2.77/2.84 c | 3767 | 17535 75064 228039 | 25021 3767 186 | 0.000 % |
2.88/2.92 c | 3888 | 17535 75064 228039 | 25021 3888 187 | 0.000 % |
2.98/3.01 c | 4021 | 17535 75064 228039 | 25021 4021 188 | 0.000 % |
2.98/3.09 c | 4167 | 17535 75064 228039 | 25021 4167 189 | 0.000 % |
3.08/3.19 c | 4327 | 17535 75064 228039 | 25021 4327 188 | 0.000 % |
3.28/3.31 c | 4503 | 17535 75064 228039 | 25021 4503 189 | 0.000 % |
3.38/3.43 c | 4696 | 17535 75064 228039 | 25021 4696 189 | 0.000 % |
3.48/3.50 c | 4796 | 17535 75064 228039 | 25021 4796 190 | 0.000 % |
3.48/3.58 c | 4906 | 17535 75064 228039 | 25021 4906 189 | 0.000 % |
3.57/3.66 c | 5028 | 17535 75064 228039 | 25021 5028 190 | 0.000 % |
3.67/3.75 c | 5161 | 17535 75064 228039 | 25021 5161 190 | 0.000 % |
3.77/3.86 c | 5308 | 17535 75064 228039 | 25021 5308 190 | 0.000 % |
3.87/3.97 c | 5473 | 17535 75064 228039 | 25021 5473 191 | 0.000 % |
3.97/4.10 c | 5652 | 17535 75064 228039 | 25021 5652 192 | 0.000 % |
4.17/4.22 c | 5845 | 17535 75064 228039 | 25021 5845 193 | 0.000 % |
4.27/4.35 c | 6057 | 17535 75064 228039 | 25021 6057 194 | 0.000 % |
4.37/4.43 c | 6161 | 17535 75064 228039 | 25021 6161 194 | 0.000 % |
4.47/4.51 c | 6271 | 17535 75064 228039 | 25021 6271 194 | 0.000 % |
4.47/4.59 c | 6392 | 17535 75064 228039 | 25021 6392 195 | 0.000 % |
4.57/4.69 c | 6526 | 17535 75064 228039 | 25021 6526 196 | 0.000 % |
4.67/4.79 c | 6672 | 17535 75064 228039 | 25021 6672 196 | 0.000 % |
4.87/4.91 c | 6833 | 17535 75064 228039 | 25021 6833 197 | 0.000 % |
4.97/5.03 c | 7009 | 17535 75064 228039 | 25021 7009 197 | 0.000 % |
5.08/5.16 c | 7203 | 17535 75064 228039 | 25021 7203 196 | 0.000 % |
5.28/5.30 c | 7417 | 17535 75064 228039 | 25021 7417 195 | 0.000 % |
5.38/5.46 c | 7651 | 17535 75064 228039 | 25021 7651 195 | 0.000 % |
5.48/5.53 c | 7754 | 17535 75064 228039 | 25021 7754 194 | 0.000 % |
5.58/5.60 c | 7865 | 17535 75064 228039 | 25021 7865 193 | 0.000 % |
5.58/5.68 c | 7987 | 17535 75064 228039 | 25021 7987 193 | 0.000 % |
5.68/5.77 c | 8120 | 17535 75064 228039 | 25021 8120 193 | 0.000 % |
5.77/5.87 c | 8266 | 17535 75064 228039 | 25021 8266 193 | 0.000 % |
5.87/5.97 c | 8427 | 17535 75064 228039 | 25021 8427 192 | 0.000 % |
5.97/6.09 c | 8603 | 17535 75064 228039 | 25021 8603 192 | 0.000 % |
6.17/6.21 c | 8796 | 17535 75064 228039 | 25021 8796 191 | 0.000 % |
6.27/6.36 c | 9008 | 17535 75064 228039 | 25021 9008 192 | 0.000 % |
6.47/6.51 c | 9243 | 17535 75064 228039 | 25021 9243 192 | 0.000 % |
6.57/6.70 c | 9499 | 17535 75064 228039 | 25021 9499 193 | 0.000 % |
6.67/6.76 c | 9599 | 17535 75064 228039 | 25021 9599 193 | 0.000 % |
6.77/6.84 c | 9709 | 17535 75064 228039 | 25021 9709 193 | 0.000 % |
6.87/6.92 c | 9831 | 17535 75064 228039 | 25021 9831 192 | 0.000 % |
6.97/7.02 c | 9970 | 17535 75064 228039 | 25021 9970 192 | 0.000 % |
7.07/7.11 c | 10117 | 17535 75064 228039 | 2147483647 10117 192 | 0.000 % |
7.17/7.21 c | 10277 | 17535 75064 228039 | 2147483647 10277 192 | 0.000 % |
7.26/7.34 c | 10453 | 17535 75064 228039 | 2147483647 10453 192 | 0.000 % |
7.36/7.49 c | 10647 | 17535 75064 228039 | 2147483647 10647 192 | 0.000 % |
7.57/7.63 c | 10859 | 17535 75064 228039 | 2147483647 10859 194 | 0.000 % |
7.67/7.79 c | 11092 | 17535 75064 228039 | 2147483647 11092 194 | 0.000 % |
7.86/7.97 c | 11348 | 17535 75064 228039 | 2147483647 11348 196 | 0.000 % |
8.06/8.17 c | 11629 | 17535 75064 228039 | 2147483647 11629 199 | 0.000 % |
8.16/8.24 c | 11730 | 17535 75064 228039 | 2147483647 11730 199 | 0.000 % |
8.27/8.32 c | 11841 | 17535 75064 228039 | 2147483647 11841 200 | 0.000 % |
8.37/8.41 c | 11962 | 17535 75064 228039 | 2147483647 11962 200 | 0.000 % |
8.47/8.52 c | 12096 | 17535 75064 228039 | 2147483647 12096 200 | 0.000 % |
8.57/8.62 c | 12243 | 17535 75064 228039 | 2147483647 12243 201 | 0.000 % |
8.67/8.74 c | 12403 | 17535 75064 228039 | 2147483647 12403 201 | 0.000 % |
8.77/8.88 c | 12579 | 17535 75064 228039 | 2147483647 12579 200 | 0.000 % |
8.97/9.03 c | 12772 | 17535 75064 228039 | 2147483647 12772 200 | 0.000 % |
9.17/9.20 c | 12984 | 17535 75064 228039 | 2147483647 12984 202 | 0.000 % |
9.27/9.37 c | 13218 | 17535 75064 228039 | 2147483647 13218 202 | 0.000 % |
9.47/9.56 c | 13474 | 17535 75064 228039 | 2147483647 13474 203 | 0.000 % |
9.67/9.74 c | 13755 | 17535 75064 228039 | 2147483647 13755 203 | 0.000 % |
9.87/9.96 c | 14064 | 17535 75064 228039 | 2147483647 14064 204 | 0.000 % |
9.96/10.04 c | 14164 | 17535 75064 228039 | 2147483647 14164 204 | 0.000 % |
10.06/10.12 c | 14275 | 17535 75064 228039 | 2147483647 14275 204 | 0.000 % |
10.16/10.21 c | 14397 | 17535 75064 228039 | 2147483647 14397 204 | 0.000 % |
10.26/10.30 c | 14531 | 17535 75064 228039 | 2147483647 14531 203 | 0.000 % |
10.36/10.41 c | 14678 | 17535 75064 228039 | 2147483647 14678 204 | 0.000 % |
10.46/10.52 c | 14838 | 17535 75064 228039 | 2147483647 14838 203 | 0.000 % |
10.56/10.64 c | 15014 | 17535 75064 228039 | 2147483647 15014 203 | 0.000 % |
10.66/10.78 c | 15210 | 17535 75064 228039 | 2147483647 15210 203 | 0.000 % |
10.87/10.92 c | 15422 | 17535 75064 228039 | 2147483647 15422 203 | 0.000 % |
10.97/11.09 c | 15657 | 17535 75064 228039 | 2147483647 15657 204 | 0.000 % |
11.16/11.27 c | 15913 | 17535 75064 228039 | 2147483647 15913 203 | 0.000 % |
11.36/11.46 c | 16195 | 17535 75064 228039 | 2147483647 16195 204 | 0.000 % |
11.56/11.68 c | 16506 | 17535 75064 228039 | 2147483647 16506 205 | 0.000 % |
11.86/11.93 c | 16845 | 17535 75064 228039 | 2147483647 16845 206 | 0.000 % |
11.96/12.01 c | 16945 | 17535 75064 228039 | 2147483647 16945 206 | 0.000 % |
11.96/12.09 c | 17055 | 17535 75064 228039 | 2147483647 17055 206 | 0.000 % |
12.06/12.18 c | 17176 | 17535 75064 228039 | 2147483647 17176 206 | 0.000 % |
12.16/12.27 c | 17309 | 17535 75064 228039 | 2147483647 17309 206 | 0.000 % |
12.37/12.40 c | 17456 | 17535 75064 228039 | 2147483647 17456 206 | 0.000 % |
12.47/12.51 c | 17616 | 17535 75064 228039 | 2147483647 17616 205 | 0.000 % |
12.57/12.64 c | 17794 | 17535 75064 228039 | 2147483647 17794 205 | 0.000 % |
12.67/12.79 c | 17987 | 17535 75064 228039 | 2147483647 17987 205 | 0.000 % |
12.87/12.96 c | 18199 | 17535 75064 228039 | 2147483647 18199 205 | 0.000 % |
13.07/13.15 c | 18432 | 17535 75064 228039 | 2147483647 18432 206 | 0.000 % |
13.26/13.35 c | 18690 | 17535 75064 228039 | 2147483647 18690 205 | 0.000 % |
13.46/13.58 c | 18972 | 17535 75064 228039 | 2147483647 18972 206 | 0.000 % |
13.76/13.82 c | 19283 | 17535 75064 228039 | 2147483647 19283 208 | 0.000 % |
13.96/14.07 c | 19622 | 17535 75064 228039 | 2147483647 19622 207 | 0.000 % |
14.26/14.35 c | 19994 | 17535 75064 228039 | 2147483647 19994 208 | 0.000 % |
14.36/14.43 c | 20094 | 17535 75064 228039 | 2147483647 20094 208 | 0.000 % |
14.46/14.52 c | 20210 | 17535 75064 228039 | 2147483647 20210 208 | 0.000 % |
14.56/14.61 c | 20331 | 17535 75064 228039 | 2147483647 20331 207 | 0.000 % |
14.66/14.72 c | 20464 | 17535 75064 228039 | 2147483647 20464 207 | 0.000 % |
14.76/14.84 c | 20610 | 17535 75064 228039 | 2147483647 20610 206 | 0.000 % |
14.86/14.97 c | 20771 | 17535 75064 228039 | 2147483647 20771 206 | 0.000 % |
14.96/15.09 c | 20947 | 17535 75064 228039 | 2147483647 20947 206 | 0.000 % |
15.16/15.23 c | 21141 | 17535 75064 228039 | 2147483647 21141 206 | 0.000 % |
15.26/15.39 c | 21353 | 17535 75064 228039 | 2147483647 21353 206 | 0.000 % |
15.46/15.57 c | 21586 | 17535 75064 228039 | 2147483647 21586 206 | 0.000 % |
15.65/15.77 c | 21843 | 17535 75064 228039 | 2147483647 21843 206 | 0.000 % |
15.96/16.00 c | 22124 | 17535 75064 228039 | 2147483647 22124 207 | 0.000 % |
16.16/16.25 c | 22435 | 17535 75064 228039 | 2147483647 22435 207 | 0.000 % |
16.47/16.52 c | 22774 | 17535 75064 228039 | 2147483647 22774 207 | 0.000 % |
16.76/16.82 c | 23149 | 17535 75064 228039 | 2147483647 23149 208 | 0.000 % |
17.06/17.17 c | 23558 | 17535 75064 228039 | 2147483647 23558 210 | 0.000 % |
17.16/17.25 c | 23658 | 17535 75064 228039 | 2147483647 23658 210 | 0.000 % |
17.26/17.35 c | 23768 | 17535 75064 228039 | 2147483647 23768 210 | 0.000 % |
17.36/17.44 c | 23890 | 17535 75064 228039 | 2147483647 23890 209 | 0.000 % |
17.46/17.55 c | 24025 | 17535 75064 228039 | 2147483647 24025 210 | 0.000 % |
17.56/17.68 c | 24171 | 17535 75064 228039 | 2147483647 24171 210 | 0.000 % |
17.76/17.81 c | 24331 | 17535 75064 228039 | 2147483647 24331 210 | 0.000 % |
17.86/17.94 c | 24508 | 17535 75064 228039 | 2147483647 24508 209 | 0.000 % |
18.06/18.10 c | 24702 | 17535 75064 228039 | 2147483647 24702 209 | 0.000 % |
18.16/18.26 c | 24915 | 17535 75064 228039 | 2147483647 24915 209 | 0.000 % |
18.36/18.44 c | 25148 | 17535 75064 228039 | 2147483647 25148 209 | 0.000 % |
18.56/18.66 c | 25404 | 17535 75064 228039 | 2147483647 25404 209 | 0.000 % |
18.76/18.89 c | 25685 | 17535 75064 228039 | 2147483647 25685 210 | 0.000 % |
19.05/19.14 c | 25997 | 17535 75064 228039 | 2147483647 25997 211 | 0.000 % |
19.35/19.42 c | 26337 | 17535 75064 228039 | 2147483647 26337 211 | 0.000 % |
19.66/19.72 c | 26709 | 17535 75064 228039 | 2147483647 26709 211 | 0.000 % |
19.95/20.06 c | 27119 | 17535 75064 228039 | 2147483647 27119 212 | 0.000 % |
20.36/20.42 c | 27568 | 17535 75064 228039 | 2147483647 27568 212 | 0.000 % |
20.46/20.52 c | 27668 | 17535 75064 228039 | 2147483647 27668 213 | 0.000 % |
20.56/20.62 c | 27778 | 17535 75064 228039 | 2147483647 27778 213 | 0.000 % |
20.66/20.72 c | 27900 | 17535 75064 228039 | 2147483647 27900 213 | 0.000 % |
20.76/20.84 c | 28034 | 17535 75064 228039 | 2147483647 28034 213 | 0.000 % |
20.86/20.96 c | 28180 | 17535 75064 228039 | 2147483647 28180 213 | 0.000 % |
21.06/21.11 c | 28340 | 17535 75064 228039 | 2147483647 28340 213 | 0.000 % |
21.16/21.27 c | 28516 | 17535 75064 228039 | 2147483647 28516 213 | 0.000 % |
21.35/21.41 c | 28709 | 17535 75064 228039 | 2147483647 28709 212 | 0.000 % |
21.45/21.58 c | 28923 | 17535 75064 228039 | 2147483647 28923 212 | 0.000 % |
21.65/21.77 c | 29156 | 17535 75064 228039 | 2147483647 29156 212 | 0.000 % |
21.86/21.98 c | 29413 | 17535 75064 228039 | 2147483647 29413 212 | 0.000 % |
22.16/22.23 c | 29694 | 17535 75064 228039 | 2147483647 29694 212 | 0.000 % |
22.36/22.47 c | 30004 | 17535 75064 228039 | 2147483647 30004 213 | 0.000 % |
22.66/22.74 c | 30344 | 17535 75064 228039 | 2147483647 30344 213 | 0.000 % |
22.96/23.03 c | 30717 | 17535 75064 228039 | 2147483647 30717 213 | 0.000 % |
23.26/23.35 c | 31127 | 17535 75064 228039 | 2147483647 31127 213 | 0.000 % |
23.65/23.74 c | 31579 | 17535 75064 228039 | 2147483647 31579 214 | 0.000 % |
24.06/24.14 c | 32073 | 17535 75064 228039 | 2147483647 32073 214 | 0.000 % |
24.16/24.23 c | 32175 | 17535 75064 228039 | 2147483647 32175 214 | 0.000 % |
24.25/24.32 c | 32286 | 17535 75064 228039 | 2147483647 32286 214 | 0.000 % |
24.35/24.42 c | 32408 | 17535 75064 228039 | 2147483647 32408 214 | 0.000 % |
24.45/24.53 c | 32542 | 17535 75064 228039 | 2147483647 32542 214 | 0.000 % |
24.55/24.66 c | 32688 | 17535 75064 228039 | 2147483647 32688 214 | 0.000 % |
24.75/24.80 c | 32848 | 17535 75064 228039 | 2147483647 32848 214 | 0.000 % |
24.85/24.94 c | 33025 | 17535 75064 228039 | 2147483647 33025 214 | 0.000 % |
25.05/25.10 c | 33218 | 17535 75064 228039 | 2147483647 33218 213 | 0.000 % |
25.15/25.29 c | 33431 | 17535 75064 228039 | 2147483647 33431 213 | 0.000 % |
25.35/25.49 c | 33664 | 17535 75064 228039 | 2147483647 33664 213 | 0.000 % |
25.55/25.70 c | 33923 | 17535 75064 228039 | 2147483647 33923 213 | 0.000 % |
25.86/25.93 c | 34205 | 17535 75064 228039 | 2147483647 34205 214 | 0.000 % |
26.05/26.19 c | 34515 | 17535 75064 228039 | 2147483647 34515 214 | 0.000 % |
26.36/26.46 c | 34854 | 17535 75064 228039 | 2147483647 34854 214 | 0.000 % |
26.75/26.81 c | 35226 | 17535 75064 228039 | 2147483647 35226 214 | 0.000 % |
27.05/27.15 c | 35635 | 17535 75064 228039 | 2147483647 35635 214 | 0.000 % |
27.45/27.53 c | 36087 | 17535 75064 228039 | 2147483647 36087 214 | 0.000 % |
27.85/27.96 c | 36580 | 17535 75064 228039 | 2147483647 36580 215 | 0.000 % |
28.35/28.43 c | 37127 | 17535 75064 228039 | 2147483647 37127 216 | 0.000 % |
28.45/28.52 c | 37229 | 17535 75064 228039 | 2147483647 37229 215 | 0.000 % |
28.55/28.63 c | 37339 | 17535 75064 228039 | 2147483647 37339 215 | 0.000 % |
28.65/28.74 c | 37462 | 17535 75064 228039 | 2147483647 37462 215 | 0.000 % |
28.75/28.85 c | 37598 | 17535 75064 228039 | 2147483647 37598 215 | 0.000 % |
28.85/28.99 c | 37745 | 17535 75064 228039 | 2147483647 37745 215 | 0.000 % |
29.05/29.15 c | 37906 | 17535 75064 228039 | 2147483647 37906 215 | 0.000 % |
29.25/29.31 c | 38084 | 17535 75064 228039 | 2147483647 38084 215 | 0.000 % |
29.35/29.48 c | 38278 | 17535 75064 228039 | 2147483647 38278 215 | 0.000 % |
29.55/29.68 c | 38493 | 17535 75064 228039 | 2147483647 38493 215 | 0.000 % |
29.75/29.88 c | 38728 | 17535 75064 228039 | 2147483647 38728 216 | 0.000 % |
30.05/30.10 c | 38985 | 17535 75064 228039 | 2147483647 38985 216 | 0.000 % |
30.25/30.37 c | 39266 | 17535 75064 228039 | 2147483647 39266 216 | 0.000 % |
30.55/30.65 c | 39575 | 17535 75064 228039 | 2147483647 39575 217 | 0.000 % |
30.85/30.95 c | 39915 | 17535 75064 228039 | 2147483647 39915 217 | 0.000 % |
31.15/31.29 c | 40287 | 17535 75064 228039 | 2147483647 40287 216 | 0.000 % |
31.55/31.66 c | 40696 | 17535 75064 228039 | 2147483647 40696 216 | 0.000 % |
31.95/32.07 c | 41146 | 17535 75064 228039 | 2147483647 41146 217 | 0.000 % |
32.45/32.50 c | 41639 | 17535 75064 228039 | 2147483647 41639 217 | 0.000 % |
32.85/33.00 c | 42182 | 17535 75064 228039 | 2147483647 42182 218 | 0.000 % |
33.44/33.53 c | 42780 | 17535 75064 228039 | 2147483647 42780 219 | 0.000 % |
33.54/33.63 c | 42880 | 17535 75064 228039 | 2147483647 42880 219 | 0.000 % |
33.64/33.75 c | 42990 | 17535 75064 228039 | 2147483647 42990 219 | 0.000 % |
33.74/33.85 c | 43111 | 17535 75064 228039 | 2147483647 43111 219 | 0.000 % |
33.84/33.98 c | 43244 | 17535 75064 228039 | 2147483647 43244 218 | 0.000 % |
34.05/34.11 c | 43392 | 17535 75064 228039 | 2147483647 43392 218 | 0.000 % |
34.14/34.27 c | 43552 | 17535 75064 228039 | 2147483647 43552 218 | 0.000 % |
34.34/34.44 c | 43729 | 17535 75064 228039 | 2147483647 43729 218 | 0.000 % |
34.54/34.61 c | 43923 | 17535 75064 228039 | 2147483647 43923 218 | 0.000 % |
34.75/34.81 c | 44138 | 17535 75064 228039 | 2147483647 44138 218 | 0.000 % |
34.95/35.00 c | 44371 | 17535 75064 228039 | 2147483647 44371 218 | 0.000 % |
35.15/35.22 c | 44628 | 17535 75064 228039 | 2147483647 44628 218 | 0.000 % |
35.34/35.47 c | 44912 | 17535 75064 228039 | 2147483647 44912 218 | 0.000 % |
35.64/35.78 c | 45223 | 17535 75064 228039 | 2147483647 45223 218 | 0.000 % |
35.94/36.09 c | 45562 | 17535 75064 228039 | 2147483647 45562 218 | 0.000 % |
36.34/36.41 c | 45936 | 17535 75064 228039 | 2147483647 45936 218 | 0.000 % |
36.64/36.79 c | 46346 | 17535 75064 228039 | 2147483647 46346 219 | 0.000 % |
37.14/37.20 c | 46795 | 17535 75064 228039 | 2147483647 46795 219 | 0.000 % |
37.54/37.66 c | 47290 | 17535 75064 228039 | 2147483647 47290 219 | 0.000 % |
38.05/38.15 c | 47832 | 17535 75064 228039 | 2147483647 47832 219 | 0.000 % |
38.65/38.70 c | 48429 | 17535 75064 228039 | 2147483647 48429 219 | 0.000 % |
39.24/39.35 c | 49085 | 17535 75064 228039 | 2147483647 49085 220 | 0.000 % |
39.34/39.45 c | 49185 | 17535 75064 228039 | 2147483647 49185 220 | 0.000 % |
39.44/39.56 c | 49298 | 17535 75064 228039 | 2147483647 49298 220 | 0.000 % |
39.54/39.69 c | 49420 | 17535 75064 228039 | 2147483647 49420 220 | 0.000 % |
39.74/39.83 c | 49554 | 17535 75064 228039 | 2147483647 49554 219 | 0.000 % |
39.84/39.98 c | 49700 | 17535 75064 228039 | 2147483647 49700 219 | 0.000 % |
40.04/40.15 c | 49860 | 17535 75064 228039 | 2147483647 49860 219 | 0.000 % |
40.24/40.34 c | 50039 | 17535 75064 228039 | 2147483647 50039 219 | 0.000 % |
40.44/40.54 c | 50232 | 17535 75064 228039 | 2147483647 50232 219 | 0.000 % |
40.64/40.74 c | 50445 | 17535 75064 228039 | 2147483647 50445 219 | 0.000 % |
40.84/40.98 c | 50678 | 17535 75064 228039 | 2147483647 50678 219 | 0.000 % |
41.14/41.21 c | 50934 | 17535 75064 228039 | 2147483647 50934 219 | 0.000 % |
41.34/41.47 c | 51215 | 17535 75064 228039 | 2147483647 51215 219 | 0.000 % |
41.64/41.76 c | 51524 | 17535 75064 228039 | 2147483647 51524 219 | 0.000 % |
41.94/42.09 c | 51867 | 17535 75064 228039 | 2147483647 51867 220 | 0.000 % |
42.34/42.45 c | 52241 | 17535 75064 228039 | 2147483647 52241 220 | 0.000 % |
42.74/42.85 c | 52651 | 17535 75064 228039 | 2147483647 52651 220 | 0.000 % |
43.14/43.28 c | 53100 | 17535 75064 228039 | 2147483647 53100 220 | 0.000 % |
43.63/43.72 c | 53593 | 17535 75064 228039 | 2147483647 53593 220 | 0.000 % |
44.13/44.26 c | 54135 | 17535 75064 228039 | 2147483647 54135 221 | 0.000 % |
44.74/44.81 c | 54731 | 17535 75064 228039 | 2147483647 54731 221 | 0.000 % |
45.34/45.43 c | 55386 | 17535 75064 228039 | 2147483647 55386 223 | 0.000 % |
46.04/46.15 c | 56106 | 17535 75064 228039 | 2147483647 56106 223 | 0.000 % |
46.14/46.26 c | 56206 | 17535 75064 228039 | 2147483647 56206 223 | 0.000 % |
46.24/46.38 c | 56316 | 17535 75064 228039 | 2147483647 56316 223 | 0.000 % |
46.44/46.51 c | 56438 | 17535 75064 228039 | 2147483647 56438 223 | 0.000 % |
46.54/46.65 c | 56574 | 17535 75064 228039 | 2147483647 56574 223 | 0.000 % |
46.74/46.80 c | 56721 | 17535 75064 228039 | 2147483647 56721 223 | 0.000 % |
46.83/46.95 c | 56881 | 17535 75064 228039 | 2147483647 56881 223 | 0.000 % |
47.03/47.15 c | 57058 | 17535 75064 228039 | 2147483647 57058 223 | 0.000 % |
47.24/47.36 c | 57251 | 17535 75064 228039 | 2147483647 57251 223 | 0.000 % |
47.43/47.57 c | 57465 | 17535 75064 228039 | 2147483647 57465 223 | 0.000 % |
47.73/47.81 c | 57698 | 17535 75064 228039 | 2147483647 57698 223 | 0.000 % |
47.93/48.07 c | 57954 | 17535 75064 228039 | 2147483647 57954 223 | 0.000 % |
48.24/48.38 c | 58235 | 17535 75064 228039 | 2147483647 58235 223 | 0.000 % |
48.53/48.70 c | 58544 | 17535 75064 228039 | 2147483647 58544 222 | 0.000 % |
48.94/49.02 c | 58884 | 17535 75064 228039 | 2147483647 58884 222 | 0.000 % |
49.24/49.38 c | 59260 | 17535 75064 228039 | 2147483647 59260 222 | 0.000 % |
49.74/49.80 c | 59669 | 17535 75064 228039 | 2147483647 59669 223 | 0.000 % |
50.14/50.23 c | 60118 | 17535 75064 228039 | 2147483647 60118 223 | 0.000 % |
50.64/50.71 c | 60611 | 17535 75064 228039 | 2147483647 60611 223 | 0.000 % |
51.14/51.24 c | 61154 | 17535 75064 228039 | 2147483647 61154 223 | 0.000 % |
51.73/51.83 c | 61751 | 17535 75064 228039 | 2147483647 61751 224 | 0.000 % |
52.33/52.44 c | 62406 | 17535 75064 228039 | 2147483647 62406 224 | 0.000 % |
53.03/53.12 c | 63127 | 17535 75064 228039 | 2147483647 63127 225 | 0.000 % |
53.83/53.95 c | 63920 | 17535 75064 228039 | 2147483647 63920 225 | 0.000 % |
53.93/54.06 c | 64020 | 17535 75064 228039 | 2147483647 64020 225 | 0.000 % |
54.04/54.19 c | 64130 | 17535 75064 228039 | 2147483647 64130 225 | 0.000 % |
54.24/54.32 c | 64252 | 17535 75064 228039 | 2147483647 64252 225 | 0.000 % |
54.34/54.48 c | 64385 | 17535 75064 228039 | 2147483647 64385 225 | 0.000 % |
54.54/54.65 c | 64532 | 17535 75064 228039 | 2147483647 64532 225 | 0.000 % |
54.73/54.83 c | 64692 | 17535 75064 228039 | 2147483647 64692 224 | 0.000 % |
54.94/55.03 c | 64868 | 17535 75064 228039 | 2147483647 64868 224 | 0.000 % |
55.13/55.24 c | 65062 | 17535 75064 228039 | 2147483647 65062 224 | 0.000 % |
55.33/55.47 c | 65277 | 17535 75064 228039 | 2147483647 65277 224 | 0.000 % |
55.63/55.73 c | 65510 | 17535 75064 228039 | 2147483647 65510 224 | 0.000 % |
55.94/56.01 c | 65769 | 17535 75064 228039 | 2147483647 65769 224 | 0.000 % |
56.13/56.28 c | 66051 | 17535 75064 228039 | 2147483647 66051 224 | 0.000 % |
56.53/56.63 c | 66363 | 17535 75064 228039 | 2147483647 66363 225 | 0.000 % |
56.83/56.97 c | 66702 | 17535 75064 228039 | 2147483647 66702 225 | 0.000 % |
57.23/57.38 c | 67074 | 17535 75064 228039 | 2147483647 67074 225 | 0.000 % |
57.74/57.82 c | 67484 | 17535 75064 228039 | 2147483647 67484 225 | 0.000 % |
58.14/58.28 c | 67933 | 17535 75064 228039 | 2147483647 67933 225 | 0.000 % |
58.64/58.77 c | 68427 | 17535 75064 228039 | 2147483647 68427 225 | 0.000 % |
59.24/59.35 c | 68969 | 17535 75064 228039 | 2147483647 68969 225 | 0.000 % |
59.83/59.93 c | 69565 | 17535 75064 228039 | 2147483647 69565 225 | 0.000 % |
60.53/60.61 c | 70221 | 17535 75064 228039 | 2147483647 70221 226 | 0.000 % |
61.23/61.33 c | 70941 | 17535 75064 228039 | 2147483647 70941 226 | 0.000 % |
62.03/62.11 c | 71733 | 17535 75064 228039 | 2147483647 71733 227 | 0.000 % |
62.93/63.04 c | 72606 | 17535 75064 228039 | 2147483647 72606 227 | 0.000 % |
63.03/63.17 c | 72709 | 17535 75064 228039 | 2147483647 72709 227 | 0.000 % |
63.23/63.30 c | 72819 | 17535 75064 228039 | 2147483647 72819 227 | 0.000 % |
63.33/63.46 c | 72943 | 17535 75064 228039 | 2147483647 72943 227 | 0.000 % |
63.53/63.62 c | 73076 | 17535 75064 228039 | 2147483647 73076 227 | 0.000 % |
63.63/63.76 c | 73223 | 17535 75064 228039 | 2147483647 73223 227 | 0.000 % |
63.83/63.95 c | 73386 | 17535 75064 228039 | 2147483647 73386 227 | 0.000 % |
64.03/64.13 c | 73563 | 17535 75064 228039 | 2147483647 73563 227 | 0.000 % |
64.23/64.35 c | 73756 | 17535 75064 228039 | 2147483647 73756 227 | 0.000 % |
64.43/64.57 c | 73973 | 17535 75064 228039 | 2147483647 73973 227 | 0.000 % |
64.73/64.83 c | 74208 | 17535 75064 228039 | 2147483647 74208 227 | 0.000 % |
65.03/65.11 c | 74464 | 17535 75064 228039 | 2147483647 74464 227 | 0.000 % |
65.33/65.42 c | 74746 | 17535 75064 228039 | 2147483647 74746 227 | 0.000 % |
65.62/65.77 c | 75055 | 17535 75064 228039 | 2147483647 75055 227 | 0.000 % |
66.02/66.17 c | 75394 | 17535 75064 228039 | 2147483647 75394 227 | 0.000 % |
66.42/66.59 c | 75766 | 17535 75064 228039 | 2147483647 75766 227 | 0.000 % |
66.93/67.02 c | 76175 | 17535 75064 228039 | 2147483647 76175 227 | 0.000 % |
67.42/67.53 c | 76624 | 17535 75064 228039 | 2147483647 76624 228 | 0.000 % |
67.92/68.02 c | 77117 | 17535 75064 228039 | 2147483647 77117 228 | 0.000 % |
68.42/68.60 c | 77660 | 17535 75064 228039 | 2147483647 77660 228 | 0.000 % |
69.12/69.20 c | 78257 | 17535 75064 228039 | 2147483647 78257 229 | 0.000 % |
69.73/69.89 c | 78913 | 17535 75064 228039 | 2147483647 78913 230 | 0.000 % |
70.52/70.66 c | 79633 | 17535 75064 228039 | 2147483647 79633 229 | 0.000 % |
71.32/71.48 c | 80425 | 17535 75064 228039 | 2147483647 80425 230 | 0.000 % |
72.33/72.44 c | 81296 | 17535 75064 228039 | 2147483647 81296 230 | 0.000 % |
73.32/73.47 c | 82257 | 17535 75064 228039 | 2147483647 82257 230 | 0.000 % |
73.53/73.60 c | 82357 | 17535 75064 228039 | 2147483647 82357 230 | 0.000 % |
73.63/73.74 c | 82467 | 17535 75064 228039 | 2147483647 82467 230 | 0.000 % |
73.82/73.92 c | 82589 | 17535 75064 228039 | 2147483647 82589 230 | 0.000 % |
73.92/74.09 c | 82723 | 17535 75064 228039 | 2147483647 82723 230 | 0.000 % |
74.12/74.28 c | 82869 | 17535 75064 228039 | 2147483647 82869 230 | 0.000 % |
74.32/74.48 c | 83029 | 17535 75064 228039 | 2147483647 83029 230 | 0.000 % |
74.62/74.72 c | 83207 | 17535 75064 228039 | 2147483647 83207 230 | 0.000 % |
74.82/74.95 c | 83400 | 17535 75064 228039 | 2147483647 83400 230 | 0.000 % |
75.12/75.20 c | 83612 | 17535 75064 228039 | 2147483647 83612 230 | 0.000 % |
75.32/75.48 c | 83846 | 17535 75064 228039 | 2147483647 83846 230 | 0.000 % |
75.62/75.79 c | 84105 | 17535 75064 228039 | 2147483647 84105 230 | 0.000 % |
76.02/76.10 c | 84386 | 17535 75064 228039 | 2147483647 84386 230 | 0.000 % |
76.31/76.45 c | 84696 | 17535 75064 228039 | 2147483647 84696 230 | 0.000 % |
76.72/76.85 c | 85036 | 17535 75064 228039 | 2147483647 85036 230 | 0.000 % |
77.22/77.31 c | 85408 | 17535 75064 228039 | 2147483647 85408 230 | 0.000 % |
77.62/77.76 c | 85817 | 17535 75064 228039 | 2147483647 85817 230 | 0.000 % |
78.12/78.25 c | 86268 | 17535 75064 228039 | 2147483647 86268 230 | 0.000 % |
78.72/78.85 c | 86761 | 17535 75064 228039 | 2147483647 86761 230 | 0.000 % |
79.31/79.49 c | 87305 | 17535 75064 228039 | 2147483647 87305 230 | 0.000 % |
80.02/80.20 c | 87901 | 17535 75064 228039 | 2147483647 87901 231 | 0.000 % |
80.82/80.98 c | 88556 | 17535 75064 228039 | 2147483647 88556 231 | 0.000 % |
81.61/81.79 c | 89276 | 17535 75064 228039 | 2147483647 89276 231 | 0.000 % |
82.62/82.71 c | 90068 | 17535 75064 228039 | 2147483647 90068 231 | 0.000 % |
83.61/83.70 c | 90940 | 17535 75064 228039 | 2147483647 90940 231 | 0.000 % |
84.62/84.79 c | 91898 | 17535 75064 228039 | 2147483647 91898 232 | 0.000 % |
85.91/86.01 c | 92951 | 17535 75064 228039 | 2147483647 92951 232 | 0.000 % |
86.01/86.13 c | 93056 | 17535 75064 228039 | 2147483647 93056 232 | 0.000 % |
86.11/86.30 c | 93168 | 17535 75064 228039 | 2147483647 93168 232 | 0.000 % |
86.31/86.46 c | 93290 | 17535 75064 228039 | 2147483647 93290 232 | 0.000 % |
86.51/86.64 c | 93424 | 17535 75064 228039 | 2147483647 93424 232 | 0.000 % |
86.72/86.83 c | 93571 | 17535 75064 228039 | 2147483647 93571 232 | 0.000 % |
86.91/87.06 c | 93731 | 17535 75064 228039 | 2147483647 93731 232 | 0.000 % |
87.11/87.27 c | 93907 | 17535 75064 228039 | 2147483647 93907 232 | 0.000 % |
87.41/87.52 c | 94102 | 17535 75064 228039 | 2147483647 94102 232 | 0.000 % |
87.62/87.79 c | 94316 | 17535 75064 228039 | 2147483647 94316 232 | 0.000 % |
87.92/88.09 c | 94549 | 17535 75064 228039 | 2147483647 94549 232 | 0.000 % |
88.32/88.42 c | 94807 | 17535 75064 228039 | 2147483647 94807 232 | 0.000 % |
88.62/88.75 c | 95088 | 17535 75064 228039 | 2147483647 95088 232 | 0.000 % |
89.02/89.15 c | 95399 | 17535 75064 228039 | 2147483647 95399 232 | 0.000 % |
89.41/89.57 c | 95740 | 17535 75064 228039 | 2147483647 95740 232 | 0.000 % |
89.81/89.99 c | 96112 | 17535 75064 228039 | 2147483647 96112 232 | 0.000 % |
90.31/90.47 c | 96522 | 17535 75064 228039 | 2147483647 96522 232 | 0.000 % |
90.91/91.04 c | 96971 | 17535 75064 228039 | 2147483647 96971 232 | 0.000 % |
91.52/91.63 c | 97464 | 17535 75064 228039 | 2147483647 97464 232 | 0.000 % |
92.11/92.28 c | 98008 | 17535 75064 228039 | 2147483647 98008 232 | 0.000 % |
92.91/93.01 c | 98604 | 17535 75064 228039 | 2147483647 98604 232 | 0.000 % |
93.61/93.80 c | 99259 | 17535 75064 228039 | 2147483647 99259 233 | 0.000 % |
94.51/94.69 c | 99979 | 17535 75064 228039 | 2147483647 99979 232 | 0.000 % |
95.51/95.63 c | 100771 | 17535 75064 228039 | 2147483647 100771 233 | 0.000 % |
96.50/96.69 c | 101644 | 17535 75064 228039 | 2147483647 101644 233 | 0.000 % |
97.72/97.85 c | 102602 | 17535 75064 228039 | 2147483647 102602 233 | 0.000 % |
99.01/99.16 c | 103657 | 17535 75064 228039 | 2147483647 103657 233 | 0.000 % |
100.40/100.53 c | 104817 | 17535 75064 228039 | 2147483647 104817 234 | 0.000 % |
100.51/100.66 c | 104918 | 17535 75064 228039 | 2147483647 104918 234 | 0.000 % |
100.71/100.80 c | 105028 | 17535 75064 228039 | 2147483647 105028 234 | 0.000 % |
100.91/101.00 c | 105151 | 17535 75064 228039 | 2147483647 105151 234 | 0.000 % |
101.11/101.21 c | 105284 | 17535 75064 228039 | 2147483647 105284 234 | 0.000 % |
101.31/101.40 c | 105430 | 17535 75064 228039 | 2147483647 105430 234 | 0.000 % |
101.51/101.61 c | 105593 | 17535 75064 228039 | 2147483647 105593 234 | 0.000 % |
101.71/101.86 c | 105770 | 17535 75064 228039 | 2147483647 105770 234 | 0.000 % |
102.01/102.12 c | 105964 | 17535 75064 228039 | 2147483647 105964 234 | 0.000 % |
102.31/102.42 c | 106178 | 17535 75064 228039 | 2147483647 106178 234 | 0.000 % |
102.61/102.71 c | 106411 | 17535 75064 228039 | 2147483647 106411 234 | 0.000 % |
102.91/103.05 c | 106667 | 17535 75064 228039 | 2147483647 106667 234 | 0.000 % |
103.21/103.39 c | 106948 | 17535 75064 228039 | 2147483647 106948 234 | 0.000 % |
103.61/103.77 c | 107257 | 17535 75064 228039 | 2147483647 107257 234 | 0.000 % |
104.11/104.21 c | 107596 | 17535 75064 228039 | 2147483647 107596 234 | 0.000 % |
104.51/104.68 c | 107970 | 17535 75064 228039 | 2147483647 107970 234 | 0.000 % |
105.10/105.20 c | 108379 | 17535 75064 228039 | 2147483647 108379 234 | 0.000 % |
105.60/105.75 c | 108828 | 17535 75064 228039 | 2147483647 108828 234 | 0.000 % |
106.20/106.36 c | 109322 | 17535 75064 228039 | 2147483647 109322 234 | 0.000 % |
106.90/107.08 c | 109864 | 17535 75064 228039 | 2147483647 109864 234 | 0.000 % |
107.71/107.83 c | 110461 | 17535 75064 228039 | 2147483647 110461 235 | 0.000 % |
108.51/108.68 c | 111116 | 17535 75064 228039 | 2147483647 111116 235 | 0.000 % |
109.40/109.58 c | 111836 | 17535 75064 228039 | 2147483647 111836 235 | 0.000 % |
110.50/110.62 c | 112628 | 17535 75064 228039 | 2147483647 112628 235 | 0.000 % |
111.60/111.70 c | 113499 | 17535 75064 228039 | 2147483647 113499 236 | 0.000 % |
112.80/112.92 c | 114457 | 17535 75064 228039 | 2147483647 114457 236 | 0.000 % |
114.10/114.23 c | 115511 | 17535 75064 228039 | 2147483647 115511 236 | 0.000 % |
115.60/115.71 c | 116669 | 17535 75064 228039 | 2147483647 116669 236 | 0.000 % |
117.20/117.33 c | 117944 | 17535 75064 228039 | 2147483647 117944 237 | 0.000 % |
117.30/117.49 c | 118045 | 17535 75064 228039 | 2147483647 118045 237 | 0.000 % |
117.50/117.65 c | 118155 | 17535 75064 228039 | 2147483647 118155 237 | 0.000 % |
117.70/117.85 c | 118277 | 17535 75064 228039 | 2147483647 118277 237 | 0.000 % |
117.90/118.05 c | 118410 | 17535 75064 228039 | 2147483647 118410 237 | 0.000 % |
118.10/118.25 c | 118559 | 17535 75064 228039 | 2147483647 118559 237 | 0.000 % |
118.40/118.50 c | 118720 | 17535 75064 228039 | 2147483647 118720 237 | 0.000 % |
118.60/118.75 c | 118896 | 17535 75064 228039 | 2147483647 118896 237 | 0.000 % |
118.90/119.01 c | 119089 | 17535 75064 228039 | 2147483647 119089 237 | 0.000 % |
119.19/119.31 c | 119302 | 17535 75064 228039 | 2147483647 119302 237 | 0.000 % |
119.49/119.61 c | 119535 | 17535 75064 228039 | 2147483647 119535 237 | 0.000 % |
119.80/119.99 c | 119793 | 17535 75064 228039 | 2147483647 119793 237 | 0.000 % |
120.20/120.38 c | 120076 | 17535 75064 228039 | 2147483647 120076 237 | 0.000 % |
120.70/120.82 c | 120386 | 17535 75064 228039 | 2147483647 120386 237 | 0.000 % |
121.10/121.26 c | 120725 | 17535 75064 228039 | 2147483647 120725 237 | 0.000 % |
121.60/121.77 c | 121097 | 17535 75064 228039 | 2147483647 121097 237 | 0.000 % |
122.20/122.31 c | 121509 | 17535 75064 228039 | 2147483647 121509 237 | 0.000 % |
122.80/122.90 c | 121959 | 17535 75064 228039 | 2147483647 121959 237 | 0.000 % |
123.39/123.57 c | 122454 | 17535 75064 228039 | 2147483647 122454 237 | 0.000 % |
124.10/124.29 c | 122996 | 17535 75064 228039 | 2147483647 122996 237 | 0.000 % |
125.00/125.12 c | 123594 | 17535 75064 228039 | 2147483647 123594 237 | 0.000 % |
125.80/125.96 c | 124252 | 17535 75064 228039 | 2147483647 124252 237 | 0.000 % |
126.80/126.90 c | 124974 | 17535 75064 228039 | 2147483647 124974 237 | 0.000 % |
127.80/127.96 c | 125767 | 17535 75064 228039 | 2147483647 125767 237 | 0.000 % |
128.99/129.13 c | 126640 | 17535 75064 228039 | 2147483647 126640 238 | 0.000 % |
130.29/130.41 c | 127598 | 17535 75064 228039 | 2147483647 127598 238 | 0.000 % |
131.80/131.90 c | 128651 | 17535 75064 228039 | 2147483647 128651 238 | 0.000 % |
133.29/133.44 c | 129813 | 17535 75064 228039 | 2147483647 129813 238 | 0.000 % |
134.89/135.09 c | 131086 | 17535 75064 228039 | 2147483647 131086 238 | 0.000 % |
136.89/137.02 c | 132488 | 17535 75064 228039 | 2147483647 132488 239 | 0.000 % |
136.99/137.19 c | 132589 | 17535 75064 228039 | 2147483647 132589 239 | 0.000 % |
137.19/137.37 c | 132701 | 17535 75064 228039 | 2147483647 132701 239 | 0.000 % |
137.39/137.55 c | 132822 | 17535 75064 228039 | 2147483647 132822 239 | 0.000 % |
137.59/137.76 c | 132956 | 17535 75064 228039 | 2147483647 132956 239 | 0.000 % |
137.89/138.01 c | 133103 | 17535 75064 228039 | 2147483647 133103 239 | 0.000 % |
138.09/138.25 c | 133263 | 17535 75064 228039 | 2147483647 133263 239 | 0.000 % |
138.39/138.51 c | 133439 | 17535 75064 228039 | 2147483647 133439 239 | 0.000 % |
138.59/138.78 c | 133634 | 17535 75064 228039 | 2147483647 133634 239 | 0.000 % |
138.89/139.05 c | 133846 | 17535 75064 228039 | 2147483647 133846 239 | 0.000 % |
139.20/139.38 c | 134079 | 17535 75064 228039 | 2147483647 134079 239 | 0.000 % |
139.60/139.76 c | 134336 | 17535 75064 228039 | 2147483647 134336 239 | 0.000 % |
139.99/140.19 c | 134618 | 17535 75064 228039 | 2147483647 134618 239 | 0.000 % |
140.49/140.67 c | 134927 | 17535 75064 228039 | 2147483647 134927 239 | 0.000 % |
140.99/141.18 c | 135266 | 17535 75064 228039 | 2147483647 135266 239 | 0.000 % |
141.59/141.72 c | 135638 | 17535 75064 228039 | 2147483647 135638 239 | 0.000 % |
142.09/142.29 c | 136048 | 17535 75064 228039 | 2147483647 136048 239 | 0.000 % |
142.79/142.94 c | 136498 | 17535 75064 228039 | 2147483647 136498 239 | 0.000 % |
143.49/143.61 c | 136992 | 17535 75064 228039 | 2147483647 136992 239 | 0.000 % |
144.19/144.35 c | 137534 | 17535 75064 228039 | 2147483647 137534 239 | 0.000 % |
145.09/145.21 c | 138131 | 17535 75064 228039 | 2147483647 138131 239 | 0.000 % |
145.89/146.08 c | 138786 | 17535 75064 228039 | 2147483647 138786 239 | 0.000 % |
146.99/147.11 c | 139507 | 17535 75064 228039 | 2147483647 139507 240 | 0.000 % |
148.09/148.27 c | 140299 | 17535 75064 228039 | 2147483647 140299 240 | 0.000 % |
149.29/149.48 c | 141172 | 17535 75064 228039 | 2147483647 141172 240 | 0.000 % |
150.69/150.82 c | 142130 | 17535 75064 228039 | 2147483647 142130 240 | 0.000 % |
152.08/152.28 c | 143183 | 17535 75064 228039 | 2147483647 143183 240 | 0.000 % |
153.79/153.94 c | 144341 | 17535 75064 228039 | 2147483647 144341 240 | 0.000 % |
155.58/155.72 c | 145616 | 17535 75064 228039 | 2147483647 145616 240 | 0.000 % |
157.49/157.62 c | 147019 | 17535 75064 228039 | 2147483647 147019 240 | 0.000 % |
159.48/159.65 c | 148559 | 17535 75064 228039 | 2147483647 148559 240 | 0.000 % |
159.68/159.84 c | 148660 | 17535 75064 228039 | 2147483647 148660 240 | 0.000 % |
159.88/160.03 c | 148770 | 17535 75064 228039 | 2147483647 148770 240 | 0.000 % |
160.08/160.24 c | 148892 | 17535 75064 228039 | 2147483647 148892 240 | 0.000 % |
160.28/160.45 c | 149026 | 17535 75064 228039 | 2147483647 149026 240 | 0.000 % |
160.58/160.73 c | 149174 | 17535 75064 228039 | 2147483647 149174 240 | 0.000 % |
160.78/160.98 c | 149336 | 17535 75064 228039 | 2147483647 149336 240 | 0.000 % |
161.08/161.25 c | 149513 | 17535 75064 228039 | 2147483647 149513 240 | 0.000 % |
161.38/161.58 c | 149707 | 17535 75064 228039 | 2147483647 149707 240 | 0.000 % |
161.78/161.93 c | 149920 | 17535 75064 228039 | 2147483647 149920 240 | 0.000 % |
162.08/162.24 c | 150153 | 17535 75064 228039 | 2147483647 150153 240 | 0.000 % |
162.48/162.63 c | 150409 | 17535 75064 228039 | 2147483647 150409 240 | 0.000 % |
162.88/163.08 c | 150691 | 17535 75064 228039 | 2147483647 150691 240 | 0.000 % |
163.38/163.54 c | 151001 | 17535 75064 228039 | 2147483647 151001 240 | 0.000 % |
163.88/164.07 c | 151341 | 17535 75064 228039 | 2147483647 151341 240 | 0.000 % |
164.48/164.65 c | 151714 | 17535 75064 228039 | 2147483647 151714 240 | 0.000 % |
165.08/165.26 c | 152124 | 17535 75064 228039 | 2147483647 152124 240 | 0.000 % |
165.78/165.95 c | 152573 | 17535 75064 228039 | 2147483647 152573 240 | 0.000 % |
166.58/166.71 c | 153067 | 17535 75064 228039 | 2147483647 153067 240 | 0.000 % |
167.38/167.52 c | 153609 | 17535 75064 228039 | 2147483647 153609 240 | 0.000 % |
168.18/168.37 c | 154205 | 17535 75064 228039 | 2147483647 154205 240 | 0.000 % |
169.07/169.27 c | 154862 | 17535 75064 228039 | 2147483647 154862 240 | 0.000 % |
170.08/170.27 c | 155582 | 17535 75064 228039 | 2147483647 155582 240 | 0.000 % |
171.38/171.51 c | 156374 | 17535 75064 228039 | 2147483647 156374 240 | 0.000 % |
172.58/172.72 c | 157246 | 17535 75064 228039 | 2147483647 157246 240 | 0.000 % |
173.98/174.18 c | 158205 | 17535 75064 228039 | 2147483647 158205 240 | 0.000 % |
175.58/175.72 c | 159258 | 17535 75064 228039 | 2147483647 159258 241 | 0.000 % |
177.17/177.36 c | 160416 | 17535 75064 228039 | 2147483647 160416 241 | 0.000 % |
179.18/179.34 c | 161689 | 17535 75064 228039 | 2147483647 161689 241 | 0.000 % |
181.17/181.35 c | 163089 | 17535 75064 228039 | 2147483647 163089 242 | 0.000 % |
183.47/183.62 c | 164630 | 17535 75064 228039 | 2147483647 164630 242 | 0.000 % |
185.78/185.99 c | 166327 | 17535 75064 228039 | 2147483647 166327 244 | 0.000 % |
185.97/186.15 c | 166429 | 17535 75064 228039 | 2147483647 166429 244 | 0.000 % |
186.17/186.37 c | 166540 | 17535 75064 228039 | 2147483647 166540 244 | 0.000 % |
186.47/186.62 c | 166664 | 17535 75064 228039 | 2147483647 166664 243 | 0.000 % |
186.67/186.83 c | 166798 | 17535 75064 228039 | 2147483647 166798 243 | 0.000 % |
186.88/187.09 c | 166946 | 17535 75064 228039 | 2147483647 166946 243 | 0.000 % |
187.17/187.35 c | 167108 | 17535 75064 228039 | 2147483647 167108 243 | 0.000 % |
187.47/187.66 c | 167285 | 17535 75064 228039 | 2147483647 167285 243 | 0.000 % |
187.77/187.95 c | 167478 | 17535 75064 228039 | 2147483647 167478 243 | 0.000 % |
188.07/188.29 c | 167690 | 17535 75064 228039 | 2147483647 167690 243 | 0.000 % |
188.47/188.68 c | 167923 | 17535 75064 228039 | 2147483647 167923 243 | 0.000 % |
188.97/189.14 c | 168179 | 17535 75064 228039 | 2147483647 168179 243 | 0.000 % |
189.47/189.60 c | 168461 | 17535 75064 228039 | 2147483647 168461 243 | 0.000 % |
189.97/190.13 c | 168770 | 17535 75064 228039 | 2147483647 168770 243 | 0.000 % |
190.47/190.65 c | 169109 | 17535 75064 228039 | 2147483647 169109 243 | 0.000 % |
191.07/191.24 c | 169481 | 17535 75064 228039 | 2147483647 169481 243 | 0.000 % |
191.77/191.92 c | 169890 | 17535 75064 228039 | 2147483647 169890 243 | 0.000 % |
192.47/192.63 c | 170339 | 17535 75064 228039 | 2147483647 170339 243 | 0.000 % |
193.27/193.47 c | 170832 | 17535 75064 228039 | 2147483647 170832 243 | 0.000 % |
194.17/194.30 c | 171374 | 17535 75064 228039 | 2147483647 171374 243 | 0.000 % |
195.17/195.31 c | 171972 | 17535 75064 228039 | 2147483647 171972 243 | 0.000 % |
196.16/196.36 c | 172627 | 17535 75064 228039 | 2147483647 172627 243 | 0.000 % |
197.27/197.49 c | 173347 | 17535 75064 228039 | 2147483647 173347 244 | 0.000 % |
198.57/198.77 c | 174141 | 17535 75064 228039 | 2147483647 174141 244 | 0.000 % |
199.97/200.16 c | 175012 | 17535 75064 228039 | 2147483647 175012 244 | 0.000 % |
201.66/201.80 c | 175970 | 17535 75064 228039 | 2147483647 175970 244 | 0.000 % |
203.26/203.47 c | 177026 | 17535 75064 228039 | 2147483647 177026 245 | 0.000 % |
205.06/205.22 c | 178184 | 17535 75064 228039 | 2147483647 178184 245 | 0.000 % |
207.06/207.27 c | 179457 | 17535 75064 228039 | 2147483647 179457 245 | 0.000 % |
209.36/209.52 c | 180857 | 17535 75064 228039 | 2147483647 180857 246 | 0.000 % |
211.76/211.90 c | 182397 | 17535 75064 228039 | 2147483647 182397 246 | 0.000 % |
214.46/214.62 c | 184091 | 17535 75064 228039 | 2147483647 184091 247 | 0.000 % |
217.36/217.58 c | 185954 | 17535 75064 228039 | 2147483647 185954 247 | 0.000 % |
217.57/217.77 c | 186054 | 17535 75064 228039 | 2147483647 186054 247 | 0.000 % |
217.86/218.01 c | 186164 | 17535 75064 228039 | 2147483647 186164 247 | 0.000 % |
218.06/218.28 c | 186285 | 17535 75064 228039 | 2147483647 186285 247 | 0.000 % |
218.36/218.55 c | 186418 | 17535 75064 228039 | 2147483647 186418 247 | 0.000 % |
218.66/218.85 c | 186564 | 17535 75064 228039 | 2147483647 186564 247 | 0.000 % |
218.96/219.19 c | 186724 | 17535 75064 228039 | 2147483647 186724 247 | 0.000 % |
219.36/219.53 c | 186903 | 17535 75064 228039 | 2147483647 186903 247 | 0.000 % |
219.66/219.88 c | 187096 | 17535 75064 228039 | 2147483647 187096 247 | 0.000 % |
220.06/220.30 c | 187311 | 17535 75064 228039 | 2147483647 187311 247 | 0.000 % |
220.56/220.73 c | 187545 | 17535 75064 228039 | 2147483647 187545 247 | 0.000 % |
221.06/221.22 c | 187803 | 17535 75064 228039 | 2147483647 187803 247 | 0.000 % |
221.56/221.74 c | 188086 | 17535 75064 228039 | 2147483647 188086 247 | 0.000 % |
222.16/222.30 c | 188397 | 17535 75064 228039 | 2147483647 188397 247 | 0.000 % |
222.76/222.91 c | 188738 | 17535 75064 228039 | 2147483647 188738 247 | 0.000 % |
223.36/223.56 c | 189110 | 17535 75064 228039 | 2147483647 189110 247 | 0.000 % |
224.16/224.30 c | 189519 | 17535 75064 228039 | 2147483647 189519 247 | 0.000 % |
224.86/225.09 c | 189969 | 17535 75064 228039 | 2147483647 189969 247 | 0.000 % |
225.85/226.00 c | 190462 | 17535 75064 228039 | 2147483647 190462 247 | 0.000 % |
226.75/226.92 c | 191004 | 17535 75064 228039 | 2147483647 191004 247 | 0.000 % |
227.76/227.97 c | 191600 | 17535 75064 228039 | 2147483647 191600 247 | 0.000 % |
228.85/229.07 c | 192257 | 17535 75064 228039 | 2147483647 192257 247 | 0.000 % |
230.06/230.25 c | 192977 | 17535 75064 228039 | 2147483647 192977 247 | 0.000 % |
231.35/231.56 c | 193769 | 17535 75064 228039 | 2147483647 193769 247 | 0.000 % |
232.75/232.95 c | 194640 | 17535 75064 228039 | 2147483647 194640 247 | 0.000 % |
234.35/234.52 c | 195598 | 17535 75064 228039 | 2147483647 195598 247 | 0.000 % |
236.15/236.32 c | 196653 | 17535 75064 228039 | 2147483647 196653 247 | 0.000 % |
238.15/238.36 c | 197812 | 17535 75064 228039 | 2147483647 197812 247 | 0.000 % |
240.25/240.40 c | 199086 | 17535 75064 228039 | 2147483647 199086 247 | 0.000 % |
242.35/242.57 c | 200486 | 17535 75064 228039 | 2147483647 200486 248 | 0.000 % |
244.85/245.10 c | 202026 | 17535 75064 228039 | 2147483647 202026 248 | 0.000 % |
247.85/248.04 c | 203725 | 17535 75064 228039 | 2147483647 203725 248 | 0.000 % |
251.04/251.23 c | 205588 | 17535 75064 228039 | 2147483647 205588 249 | 0.000 % |
254.44/254.63 c | 207639 | 17535 75064 228039 | 2147483647 207639 249 | 0.000 % |
254.64/254.83 c | 207739 | 17535 75064 228039 | 2147483647 207739 249 | 0.000 % |
254.84/255.08 c | 207850 | 17535 75064 228039 | 2147483647 207850 249 | 0.000 % |
255.14/255.33 c | 207971 | 17535 75064 228039 | 2147483647 207971 249 | 0.000 % |
255.34/255.59 c | 208104 | 17535 75064 228039 | 2147483647 208104 249 | 0.000 % |
255.74/255.93 c | 208252 | 17535 75064 228039 | 2147483647 208252 249 | 0.000 % |
256.05/256.27 c | 208412 | 17535 75064 228039 | 2147483647 208412 249 | 0.000 % |
256.44/256.62 c | 208589 | 17535 75064 228039 | 2147483647 208589 249 | 0.000 % |
256.84/257.01 c | 208783 | 17535 75064 228039 | 2147483647 208783 249 | 0.000 % |
257.24/257.45 c | 208995 | 17535 75064 228039 | 2147483647 208995 249 | 0.000 % |
257.74/257.91 c | 209228 | 17535 75064 228039 | 2147483647 209228 249 | 0.000 % |
258.24/258.42 c | 209485 | 17535 75064 228039 | 2147483647 209485 249 | 0.000 % |
258.74/258.98 c | 209768 | 17535 75064 228039 | 2147483647 209768 249 | 0.000 % |
259.34/259.58 c | 210078 | 17535 75064 228039 | 2147483647 210078 249 | 0.000 % |
260.04/260.26 c | 210418 | 17535 75064 228039 | 2147483647 210418 249 | 0.000 % |
260.74/260.99 c | 210791 | 17535 75064 228039 | 2147483647 210791 248 | 0.000 % |
261.54/261.73 c | 211201 | 17535 75064 228039 | 2147483647 211201 248 | 0.000 % |
262.34/262.51 c | 211652 | 17535 75064 228039 | 2147483647 211652 248 | 0.000 % |
263.14/263.35 c | 212146 | 17535 75064 228039 | 2147483647 212146 248 | 0.000 % |
264.14/264.30 c | 212689 | 17535 75064 228039 | 2147483647 212689 249 | 0.000 % |
265.13/265.40 c | 213289 | 17535 75064 228039 | 2147483647 213289 248 | 0.000 % |
266.34/266.57 c | 213944 | 17535 75064 228039 | 2147483647 213944 248 | 0.000 % |
267.54/267.80 c | 214664 | 17535 75064 228039 | 2147483647 214664 248 | 0.000 % |
268.93/269.17 c | 215458 | 17535 75064 228039 | 2147483647 215458 249 | 0.000 % |
270.63/270.80 c | 216329 | 17535 75064 228039 | 2147483647 216329 249 | 0.000 % |
272.24/272.46 c | 217287 | 17535 75064 228039 | 2147483647 217287 249 | 0.000 % |
274.23/274.40 c | 218341 | 17535 75064 228039 | 2147483647 218341 249 | 0.000 % |
276.24/276.43 c | 219499 | 17535 75064 228039 | 2147483647 219499 249 | 0.000 % |
278.43/278.68 c | 220772 | 17535 75064 228039 | 2147483647 220772 249 | 0.000 % |
280.84/281.06 c | 222172 | 17535 75064 228039 | 2147483647 222172 250 | 0.000 % |
283.54/283.70 c | 223714 | 17535 75064 228039 | 2147483647 223714 250 | 0.000 % |
286.33/286.57 c | 225408 | 17535 75064 228039 | 2147483647 225408 250 | 0.000 % |
289.53/289.75 c | 227272 | 17535 75064 228039 | 2147483647 227272 251 | 0.000 % |
293.32/293.54 c | 229325 | 17535 75064 228039 | 2147483647 229325 252 | 0.000 % |
297.33/297.54 c | 231579 | 17535 75064 228039 | 2147483647 231579 252 | 0.000 % |
297.63/297.84 c | 231679 | 17535 75064 228039 | 2147483647 231679 252 | 0.000 % |
297.93/298.12 c | 231790 | 17535 75064 228039 | 2147483647 231790 252 | 0.000 % |
298.23/298.41 c | 231911 | 17535 75064 228039 | 2147483647 231911 252 | 0.000 % |
298.53/298.72 c | 232044 | 17535 75064 228039 | 2147483647 232044 252 | 0.000 % |
298.83/299.05 c | 232191 | 17535 75064 228039 | 2147483647 232191 252 | 0.000 % |
299.23/299.40 c | 232352 | 17535 75064 228039 | 2147483647 232352 252 | 0.000 % |
299.63/299.81 c | 232529 | 17535 75064 228039 | 2147483647 232529 252 | 0.000 % |
300.13/300.31 c | 232722 | 17535 75064 228039 | 2147483647 232722 252 | 0.000 % |
300.52/300.73 c | 232934 | 17535 75064 228039 | 2147483647 232934 252 | 0.000 % |
301.02/301.23 c | 233168 | 17535 75064 228039 | 2147483647 233168 252 | 0.000 % |
301.52/301.72 c | 233424 | 17535 75064 228039 | 2147483647 233424 252 | 0.000 % |
302.03/302.29 c | 233706 | 17535 75064 228039 | 2147483647 233706 252 | 0.000 % |
302.73/302.93 c | 234015 | 17535 75064 228039 | 2147483647 234015 252 | 0.000 % |
303.43/303.63 c | 234354 | 17535 75064 228039 | 2147483647 234354 252 | 0.000 % |
304.12/304.35 c | 234726 | 17535 75064 228039 | 2147483647 234726 252 | 0.000 % |
304.92/305.18 c | 235137 | 17535 75064 228039 | 2147483647 235137 252 | 0.000 % |
305.83/306.03 c | 235587 | 17535 75064 228039 | 2147483647 235587 252 | 0.000 % |
306.83/307.06 c | 236080 | 17535 75064 228039 | 2147483647 236080 252 | 0.000 % |
307.83/308.10 c | 236622 | 17535 75064 228039 | 2147483647 236622 252 | 0.000 % |
308.93/309.20 c | 237220 | 17535 75064 228039 | 2147483647 237220 252 | 0.000 % |
310.12/310.39 c | 237875 | 17535 75064 228039 | 2147483647 237875 252 | 0.000 % |
311.52/311.77 c | 238595 | 17535 75064 228039 | 2147483647 238595 252 | 0.000 % |
313.12/313.33 c | 239387 | 17535 75064 228039 | 2147483647 239387 252 | 0.000 % |
314.82/315.01 c | 240259 | 17535 75064 228039 | 2147483647 240259 252 | 0.000 % |
316.62/316.84 c | 241217 | 17535 75064 228039 | 2147483647 241217 252 | 0.000 % |
318.72/318.93 c | 242270 | 17535 75064 228039 | 2147483647 242270 252 | 0.000 % |
320.92/321.18 c | 243430 | 17535 75064 228039 | 2147483647 243430 252 | 0.000 % |
323.42/323.62 c | 244707 | 17535 75064 228039 | 2147483647 244707 252 | 0.000 % |
326.01/326.27 c | 246107 | 17535 75064 228039 | 2147483647 246107 253 | 0.000 % |
328.91/329.10 c | 247647 | 17535 75064 228039 | 2147483647 247647 253 | 0.000 % |
332.11/332.37 c | 249345 | 17535 75064 228039 | 2147483647 249345 253 | 0.000 % |
335.62/335.89 c | 251208 | 17535 75064 228039 | 2147483647 251208 253 | 0.000 % |
339.41/339.68 c | 253257 | 17535 75064 228039 | 2147483647 253257 254 | 0.000 % |
343.71/343.90 c | 255512 | 17535 75064 228039 | 2147483647 255512 254 | 0.000 % |
348.11/348.32 c | 257991 | 17535 75064 228039 | 2147483647 257991 255 | 0.000 % |
348.31/348.57 c | 258092 | 17535 75064 228039 | 2147483647 258092 255 | 0.000 % |
348.61/348.86 c | 258203 | 17535 75064 228039 | 2147483647 258203 255 | 0.000 % |
348.90/349.14 c | 258325 | 17535 75064 228039 | 2147483647 258325 255 | 0.000 % |
349.21/349.47 c | 258460 | 17535 75064 228039 | 2147483647 258460 255 | 0.000 % |
349.61/349.83 c | 258606 | 17535 75064 228039 | 2147483647 258606 255 | 0.000 % |
350.01/350.20 c | 258766 | 17535 75064 228039 | 2147483647 258766 254 | 0.000 % |
350.41/350.64 c | 258942 | 17535 75064 228039 | 2147483647 258942 254 | 0.000 % |
350.81/351.06 c | 259135 | 17535 75064 228039 | 2147483647 259135 254 | 0.000 % |
351.31/351.52 c | 259347 | 17535 75064 228039 | 2147483647 259347 254 | 0.000 % |
351.81/352.08 c | 259582 | 17535 75064 228039 | 2147483647 259582 254 | 0.000 % |
352.41/352.63 c | 259838 | 17535 75064 228039 | 2147483647 259838 254 | 0.000 % |
353.01/353.26 c | 260119 | 17535 75064 228039 | 2147483647 260119 254 | 0.000 % |
353.71/353.93 c | 260428 | 17535 75064 228039 | 2147483647 260428 254 | 0.000 % |
354.40/354.68 c | 260768 | 17535 75064 228039 | 2147483647 260768 254 | 0.000 % |
355.20/355.49 c | 261140 | 17535 75064 228039 | 2147483647 261140 254 | 0.000 % |
356.00/356.29 c | 261549 | 17535 75064 228039 | 2147483647 261549 254 | 0.000 % |
357.11/357.36 c | 261999 | 17535 75064 228039 | 2147483647 261999 254 | 0.000 % |
358.11/358.37 c | 262492 | 17535 75064 228039 | 2147483647 262492 254 | 0.000 % |
359.30/359.53 c | 263034 | 17535 75064 228039 | 2147483647 263034 254 | 0.000 % |
360.61/360.81 c | 263630 | 17535 75064 228039 | 2147483647 263630 254 | 0.000 % |
361.90/362.13 c | 264289 | 17535 75064 228039 | 2147483647 264289 254 | 0.000 % |
363.29/363.52 c | 265009 | 17535 75064 228039 | 2147483647 265009 254 | 0.000 % |
364.91/365.17 c | 265803 | 17535 75064 228039 | 2147483647 265803 255 | 0.000 % |
366.70/366.90 c | 266675 | 17535 75064 228039 | 2147483647 266675 255 | 0.000 % |
368.60/368.81 c | 267636 | 17535 75064 228039 | 2147483647 267636 255 | 0.000 % |
370.79/371.02 c | 268689 | 17535 75064 228039 | 2147483647 268689 255 | 0.000 % |
373.10/373.32 c | 269847 | 17535 75064 228039 | 2147483647 269847 255 | 0.000 % |
375.70/375.96 c | 271121 | 17535 75064 228039 | 2147483647 271121 255 | 0.000 % |
378.49/378.75 c | 272521 | 17535 75064 228039 | 2147483647 272521 255 | 0.000 % |
381.70/381.93 c | 274062 | 17535 75064 228039 | 2147483647 274062 255 | 0.000 % |
384.99/385.26 c | 275756 | 17535 75064 228039 | 2147483647 275756 256 | 0.000 % |
388.79/389.08 c | 277619 | 17535 75064 228039 | 2147483647 277619 256 | 0.000 % |
392.99/393.26 c | 279668 | 17535 75064 228039 | 2147483647 279668 256 | 0.000 % |
397.48/397.77 c | 281922 | 17535 75064 228039 | 2147483647 281922 256 | 0.000 % |
402.48/402.78 c | 284400 | 17535 75064 228039 | 2147483647 284400 257 | 0.000 % |
408.08/408.34 c | 287125 | 17535 75064 228039 | 2147483647 287125 258 | 0.000 % |
408.38/408.62 c | 287225 | 17535 75064 228039 | 2147483647 287225 258 | 0.000 % |
408.58/408.89 c | 287335 | 17535 75064 228039 | 2147483647 287335 258 | 0.000 % |
408.99/409.24 c | 287456 | 17535 75064 228039 | 2147483647 287456 258 | 0.000 % |
409.28/409.55 c | 287593 | 17535 75064 228039 | 2147483647 287593 258 | 0.000 % |
409.68/409.98 c | 287739 | 17535 75064 228039 | 2147483647 287739 258 | 0.000 % |
410.08/410.35 c | 287899 | 17535 75064 228039 | 2147483647 287899 258 | 0.000 % |
410.58/410.80 c | 288076 | 17535 75064 228039 | 2147483647 288076 258 | 0.000 % |
411.08/411.30 c | 288269 | 17535 75064 228039 | 2147483647 288269 258 | 0.000 % |
411.58/411.84 c | 288482 | 17535 75064 228039 | 2147483647 288482 258 | 0.000 % |
412.08/412.39 c | 288715 | 17535 75064 228039 | 2147483647 288715 258 | 0.000 % |
412.78/413.03 c | 288971 | 17535 75064 228039 | 2147483647 288971 258 | 0.000 % |
413.39/413.69 c | 289255 | 17535 75064 228039 | 2147483647 289255 258 | 0.000 % |
414.18/414.42 c | 289565 | 17535 75064 228039 | 2147483647 289565 258 | 0.000 % |
414.98/415.24 c | 289904 | 17535 75064 228039 | 2147483647 289904 258 | 0.000 % |
415.78/416.07 c | 290276 | 17535 75064 228039 | 2147483647 290276 258 | 0.000 % |
416.69/416.93 c | 290685 | 17535 75064 228039 | 2147483647 290685 258 | 0.000 % |
417.79/418.01 c | 291135 | 17535 75064 228039 | 2147483647 291135 258 | 0.000 % |
418.79/419.06 c | 291628 | 17535 75064 228039 | 2147483647 291628 258 | 0.000 % |
420.08/420.33 c | 292171 | 17535 75064 228039 | 2147483647 292171 258 | 0.000 % |
421.38/421.69 c | 292767 | 17535 75064 228039 | 2147483647 292767 258 | 0.000 % |
422.78/423.05 c | 293422 | 17535 75064 228039 | 2147483647 293422 258 | 0.000 % |
424.38/424.61 c | 294142 | 17535 75064 228039 | 2147483647 294142 258 | 0.000 % |
426.08/426.32 c | 294934 | 17535 75064 228039 | 2147483647 294934 258 | 0.000 % |
427.98/428.24 c | 295806 | 17535 75064 228039 | 2147483647 295806 258 | 0.000 % |
429.98/430.29 c | 296765 | 17535 75064 228039 | 2147483647 296765 258 | 0.000 % |
432.28/432.58 c | 297822 | 17535 75064 228039 | 2147483647 297822 258 | 0.000 % |
434.97/435.20 c | 298981 | 17535 75064 228039 | 2147483647 298981 258 | 0.000 % |
437.67/437.91 c | 300255 | 17535 75064 228039 | 2147483647 300255 258 | 0.000 % |
440.57/440.87 c | 301656 | 17535 75064 228039 | 2147483647 301656 258 | 0.000 % |
443.97/444.28 c | 303196 | 17535 75064 228039 | 2147483647 303196 258 | 0.000 % |
447.67/447.92 c | 304890 | 17535 75064 228039 | 2147483647 304890 259 | 0.000 % |
451.56/451.89 c | 306754 | 17535 75064 228039 | 2147483647 306754 259 | 0.000 % |
455.97/456.22 c | 308803 | 17535 75064 228039 | 2147483647 308803 259 | 0.000 % |
460.76/461.01 c | 311056 | 17535 75064 228039 | 2147483647 311056 260 | 0.000 % |
465.96/466.25 c | 313534 | 17535 75064 228039 | 2147483647 313534 260 | 0.000 % |
471.76/472.08 c | 316259 | 17535 75064 228039 | 2147483647 316259 260 | 0.000 % |
478.35/478.66 c | 319258 | 17535 75064 228039 | 2147483647 319258 261 | 0.000 % |
478.65/478.92 c | 319358 | 17535 75064 228039 | 2147483647 319358 261 | 0.000 % |
478.95/479.23 c | 319468 | 17535 75064 228039 | 2147483647 319468 261 | 0.000 % |
479.36/479.62 c | 319589 | 17535 75064 228039 | 2147483647 319589 261 | 0.000 % |
479.75/480.09 c | 319722 | 17535 75064 228039 | 2147483647 319722 261 | 0.000 % |
480.25/480.54 c | 319869 | 17535 75064 228039 | 2147483647 319869 261 | 0.000 % |
480.66/480.94 c | 320029 | 17535 75064 228039 | 2147483647 320029 261 | 0.000 % |
481.26/481.53 c | 320205 | 17535 75064 228039 | 2147483647 320205 261 | 0.000 % |
481.76/482.02 c | 320398 | 17535 75064 228039 | 2147483647 320398 261 | 0.000 % |
482.36/482.60 c | 320610 | 17535 75064 228039 | 2147483647 320610 261 | 0.000 % |
482.86/483.16 c | 320844 | 17535 75064 228039 | 2147483647 320844 261 | 0.000 % |
483.56/483.87 c | 321101 | 17535 75064 228039 | 2147483647 321101 261 | 0.000 % |
484.25/484.53 c | 321382 | 17535 75064 228039 | 2147483647 321382 261 | 0.000 % |
484.95/485.29 c | 321692 | 17535 75064 228039 | 2147483647 321692 261 | 0.000 % |
485.75/486.05 c | 322032 | 17535 75064 228039 | 2147483647 322032 261 | 0.000 % |
486.75/487.07 c | 322405 | 17535 75064 228039 | 2147483647 322405 261 | 0.000 % |
487.76/488.05 c | 322815 | 17535 75064 228039 | 2147483647 322815 261 | 0.000 % |
488.86/489.15 c | 323264 | 17535 75064 228039 | 2147483647 323264 261 | 0.000 % |
490.06/490.37 c | 323758 | 17535 75064 228039 | 2147483647 323758 261 | 0.000 % |
491.36/491.68 c | 324300 | 17535 75064 228039 | 2147483647 324300 261 | 0.000 % |
492.85/493.13 c | 324900 | 17535 75064 228039 | 2147483647 324900 261 | 0.000 % |
494.45/494.72 c | 325556 | 17535 75064 228039 | 2147483647 325556 261 | 0.000 % |
496.06/496.39 c | 326277 | 17535 75064 228039 | 2147483647 326277 261 | 0.000 % |
497.85/498.19 c | 327069 | 17535 75064 228039 | 2147483647 327069 261 | 0.000 % |
499.95/500.22 c | 327941 | 17535 75064 228039 | 2147483647 327941 261 | 0.000 % |
502.15/502.47 c | 328900 | 17535 75064 228039 | 2147483647 328900 261 | 0.000 % |
504.65/504.99 c | 329953 | 17535 75064 228039 | 2147483647 329953 261 | 0.000 % |
507.34/507.65 c | 331111 | 17535 75064 228039 | 2147483647 331111 261 | 0.000 % |
510.25/510.51 c | 332387 | 17535 75064 228039 | 2147483647 332387 261 | 0.000 % |
513.55/513.82 c | 333790 | 17535 75064 228039 | 2147483647 333790 261 | 0.000 % |
517.25/517.50 c | 335330 | 17535 75064 228039 | 2147483647 335330 261 | 0.000 % |
521.24/521.54 c | 337024 | 17535 75064 228039 | 2147483647 337024 262 | 0.000 % |
525.55/525.86 c | 338889 | 17535 75064 228039 | 2147483647 338889 262 | 0.000 % |
530.34/530.62 c | 340940 | 17535 75064 228039 | 2147483647 340940 262 | 0.000 % |
535.64/535.99 c | 343193 | 17535 75064 228039 | 2147483647 343193 262 | 0.000 % |
541.44/541.76 c | 345671 | 17535 75064 228039 | 2147483647 345671 262 | 0.000 % |
547.74/548.02 c | 348396 | 17535 75064 228039 | 2147483647 348396 263 | 0.000 % |
554.73/555.06 c | 351394 | 17535 75064 228039 | 2147483647 351394 263 | 0.000 % |
562.53/562.88 c | 354690 | 17535 75064 228039 | 2147483647 354690 264 | 0.000 % |
562.83/563.18 c | 354790 | 17535 75064 228039 | 2147483647 354790 264 | 0.000 % |
563.23/563.56 c | 354902 | 17535 75064 228039 | 2147483647 354902 264 | 0.000 % |
563.73/564.00 c | 355024 | 17535 75064 228039 | 2147483647 355024 264 | 0.000 % |
564.13/564.45 c | 355157 | 17535 75064 228039 | 2147483647 355157 264 | 0.000 % |
564.53/564.87 c | 355303 | 17535 75064 228039 | 2147483647 355303 264 | 0.000 % |
565.03/565.32 c | 355463 | 17535 75064 228039 | 2147483647 355463 264 | 0.000 % |
565.53/565.84 c | 355639 | 17535 75064 228039 | 2147483647 355639 264 | 0.000 % |
566.03/566.38 c | 355834 | 17535 75064 228039 | 2147483647 355834 264 | 0.000 % |
566.73/567.00 c | 356046 | 17535 75064 228039 | 2147483647 356046 264 | 0.000 % |
567.42/567.75 c | 356282 | 17535 75064 228039 | 2147483647 356282 264 | 0.000 % |
568.12/568.46 c | 356539 | 17535 75064 228039 | 2147483647 356539 264 | 0.000 % |
568.93/569.29 c | 356820 | 17535 75064 228039 | 2147483647 356820 264 | 0.000 % |
569.83/570.16 c | 357130 | 17535 75064 228039 | 2147483647 357130 264 | 0.000 % |
570.73/571.05 c | 357470 | 17535 75064 228039 | 2147483647 357470 264 | 0.000 % |
571.83/572.16 c | 357843 | 17535 75064 228039 | 2147483647 357843 264 | 0.000 % |
572.93/573.26 c | 358253 | 17535 75064 228039 | 2147483647 358253 264 | 0.000 % |
574.13/574.47 c | 358703 | 17535 75064 228039 | 2147483647 358703 264 | 0.000 % |
575.42/575.77 c | 359198 | 17535 75064 228039 | 2147483647 359198 264 | 0.000 % |
576.92/577.22 c | 359740 | 17535 75064 228039 | 2147483647 359740 264 | 0.000 % |
578.52/578.82 c | 360336 | 17535 75064 228039 | 2147483647 360336 263 | 0.000 % |
580.33/580.60 c | 360994 | 17535 75064 228039 | 2147483647 360994 263 | 0.000 % |
581.92/582.23 c | 361714 | 17535 75064 228039 | 2147483647 361714 263 | 0.000 % |
583.92/584.21 c | 362506 | 17535 75064 228039 | 2147483647 362506 264 | 0.000 % |
586.03/586.32 c | 363377 | 17535 75064 228039 | 2147483647 363377 264 | 0.000 % |
588.32/588.70 c | 364336 | 17535 75064 228039 | 2147483647 364336 264 | 0.000 % |
591.02/591.36 c | 365393 | 17535 75064 228039 | 2147483647 365393 264 | 0.000 % |
593.82/594.16 c | 366551 | 17535 75064 228039 | 2147483647 366551 264 | 0.000 % |
597.02/597.32 c | 367824 | 17535 75064 228039 | 2147483647 367824 264 | 0.000 % |
600.52/600.83 c | 369226 | 17535 75064 228039 | 2147483647 369226 264 | 0.000 % |
604.21/604.52 c | 370766 | 17535 75064 228039 | 2147483647 370766 264 | 0.000 % |
608.41/608.72 c | 372461 | 17535 75064 228039 | 2147483647 372461 265 | 0.000 % |
613.21/613.52 c | 374324 | 17535 75064 228039 | 2147483647 374324 265 | 0.000 % |
617.81/618.15 c | 376374 | 17535 75064 228039 | 2147483647 376374 265 | 0.000 % |
623.21/623.51 c | 378628 | 17535 75064 228039 | 2147483647 378628 266 | 0.000 % |
629.40/629.78 c | 381106 | 17535 75064 228039 | 2147483647 381106 266 | 0.000 % |
636.10/636.46 c | 383831 | 17535 75064 228039 | 2147483647 383831 266 | 0.000 % |
643.70/644.01 c | 386829 | 17535 75064 228039 | 2147483647 386829 267 | 0.000 % |
651.40/651.76 c | 390126 | 17535 75064 228039 | 2147483647 390126 268 | 0.000 % |
660.00/660.33 c | 393751 | 17535 75064 228039 | 2147483647 393751 269 | 0.000 % |
660.30/660.62 c | 393852 | 17535 75064 228039 | 2147483647 393852 269 | 0.000 % |
660.60/660.95 c | 393962 | 17535 75064 228039 | 2147483647 393962 269 | 0.000 % |
661.00/661.37 c | 394083 | 17535 75064 228039 | 2147483647 394083 269 | 0.000 % |
661.50/661.85 c | 394219 | 17535 75064 228039 | 2147483647 394219 269 | 0.000 % |
662.00/662.34 c | 394367 | 17535 75064 228039 | 2147483647 394367 269 | 0.000 % |
662.50/662.82 c | 394527 | 17535 75064 228039 | 2147483647 394527 269 | 0.000 % |
663.10/663.40 c | 394703 | 17535 75064 228039 | 2147483647 394703 269 | 0.000 % |
663.69/664.09 c | 394898 | 17535 75064 228039 | 2147483647 394898 269 | 0.000 % |
664.40/664.73 c | 395110 | 17535 75064 228039 | 2147483647 395110 269 | 0.000 % |
665.10/665.43 c | 395343 | 17535 75064 228039 | 2147483647 395343 268 | 0.000 % |
665.89/666.29 c | 395599 | 17535 75064 228039 | 2147483647 395599 268 | 0.000 % |
666.89/667.20 c | 395881 | 17535 75064 228039 | 2147483647 395881 268 | 0.000 % |
667.69/668.08 c | 396190 | 17535 75064 228039 | 2147483647 396190 268 | 0.000 % |
668.70/669.05 c | 396529 | 17535 75064 228039 | 2147483647 396529 268 | 0.000 % |
669.89/670.25 c | 396901 | 17535 75064 228039 | 2147483647 396901 268 | 0.000 % |
671.09/671.46 c | 397310 | 17535 75064 228039 | 2147483647 397310 268 | 0.000 % |
672.49/672.82 c | 397760 | 17535 75064 228039 | 2147483647 397760 268 | 0.000 % |
673.89/674.29 c | 398253 | 17535 75064 228039 | 2147483647 398253 268 | 0.000 % |
675.49/675.84 c | 398795 | 17535 75064 228039 | 2147483647 398795 268 | 0.000 % |
677.19/677.55 c | 399391 | 17535 75064 228039 | 2147483647 399391 268 | 0.000 % |
678.99/679.39 c | 400047 | 17535 75064 228039 | 2147483647 400047 268 | 0.000 % |
681.19/681.53 c | 400767 | 17535 75064 228039 | 2147483647 400767 268 | 0.000 % |
683.29/683.66 c | 401560 | 17535 75064 228039 | 2147483647 401560 268 | 0.000 % |
685.69/686.09 c | 402434 | 17535 75064 228039 | 2147483647 402434 268 | 0.000 % |
688.29/688.69 c | 403393 | 17535 75064 228039 | 2147483647 403393 268 | 0.000 % |
690.99/691.39 c | 404447 | 17535 75064 228039 | 2147483647 404447 268 | 0.000 % |
694.38/694.70 c | 405605 | 17535 75064 228039 | 2147483647 405605 268 | 0.000 % |
697.68/698.07 c | 406878 | 17535 75064 228039 | 2147483647 406878 268 | 0.000 % |
701.38/701.76 c | 408281 | 17535 75064 228039 | 2147483647 408281 268 | 0.000 % |
705.68/706.04 c | 409823 | 17535 75064 228039 | 2147483647 409823 268 | 0.000 % |
710.28/710.60 c | 411517 | 17535 75064 228039 | 2147483647 411517 269 | 0.000 % |
715.48/715.82 c | 413380 | 17535 75064 228039 | 2147483647 413380 269 | 0.000 % |
720.97/721.38 c | 415429 | 17535 75064 228039 | 2147483647 415429 269 | 0.000 % |
726.77/727.17 c | 417682 | 17535 75064 228039 | 2147483647 417682 269 | 0.000 % |
733.37/733.71 c | 420160 | 17535 75064 228039 | 2147483647 420160 269 | 0.000 % |
740.67/741.00 c | 422886 | 17535 75064 228039 | 2147483647 422886 269 | 0.000 % |
748.67/749.06 c | 425883 | 17535 75064 228039 | 2147483647 425883 270 | 0.000 % |
757.57/757.90 c | 429180 | 17535 75064 228039 | 2147483647 429180 270 | 0.000 % |
767.15/767.54 c | 432805 | 17535 75064 228039 | 2147483647 432805 270 | 0.000 % |
777.95/778.38 c | 436793 | 17535 75064 228039 | 2147483647 436793 271 | 0.000 % |
778.45/778.83 c | 436897 | 17535 75064 228039 | 2147483647 436897 271 | 0.000 % |
778.75/779.18 c | 437009 | 17535 75064 228039 | 2147483647 437009 271 | 0.000 % |
779.34/779.77 c | 437130 | 17535 75064 228039 | 2147483647 437130 271 | 0.000 % |
779.84/780.28 c | 437264 | 17535 75064 228039 | 2147483647 437264 271 | 0.000 % |
780.44/780.83 c | 437411 | 17535 75064 228039 | 2147483647 437411 271 | 0.000 % |
780.94/781.35 c | 437571 | 17535 75064 228039 | 2147483647 437571 271 | 0.000 % |
781.54/781.96 c | 437747 | 17535 75064 228039 | 2147483647 437747 271 | 0.000 % |
782.24/782.67 c | 437940 | 17535 75064 228039 | 2147483647 437940 271 | 0.000 % |
782.94/783.39 c | 438154 | 17535 75064 228039 | 2147483647 438154 271 | 0.000 % |
783.74/784.10 c | 438389 | 17535 75064 228039 | 2147483647 438389 271 | 0.000 % |
784.65/785.09 c | 438645 | 17535 75064 228039 | 2147483647 438645 271 | 0.000 % |
785.65/786.02 c | 438926 | 17535 75064 228039 | 2147483647 438926 271 | 0.000 % |
786.65/787.00 c | 439235 | 17535 75064 228039 | 2147483647 439235 271 | 0.000 % |
787.84/788.23 c | 439574 | 17535 75064 228039 | 2147483647 439574 271 | 0.000 % |
789.14/789.52 c | 439947 | 17535 75064 228039 | 2147483647 439947 271 | 0.000 % |
790.45/790.87 c | 440358 | 17535 75064 228039 | 2147483647 440358 271 | 0.000 % |
791.74/792.19 c | 440808 | 17535 75064 228039 | 2147483647 440808 270 | 0.000 % |
793.24/793.66 c | 441301 | 17535 75064 228039 | 2147483647 441301 270 | 0.000 % |
794.85/795.20 c | 441843 | 17535 75064 228039 | 2147483647 441843 270 | 0.000 % |
796.44/796.81 c | 442439 | 17535 75064 228039 | 2147483647 442439 270 | 0.000 % |
798.34/798.79 c | 443095 | 17535 75064 228039 | 2147483647 443095 270 | 0.000 % |
800.84/801.26 c | 443815 | 17535 75064 228039 | 2147483647 443815 270 | 0.000 % |
803.24/803.62 c | 444607 | 17535 75064 228039 | 2147483647 444607 270 | 0.000 % |
805.74/806.17 c | 445478 | 17535 75064 228039 | 2147483647 445478 270 | 0.000 % |
808.53/808.99 c | 446437 | 17535 75064 228039 | 2147483647 446437 270 | 0.000 % |
811.63/812.07 c | 447491 | 17535 75064 228039 | 2147483647 447491 270 | 0.000 % |
814.74/815.17 c | 448649 | 17535 75064 228039 | 2147483647 448649 270 | 0.000 % |
818.53/818.98 c | 449923 | 17535 75064 228039 | 2147483647 449923 270 | 0.000 % |
822.53/822.93 c | 451324 | 17535 75064 228039 | 2147483647 451324 270 | 0.000 % |
826.93/827.35 c | 452864 | 17535 75064 228039 | 2147483647 452864 270 | 0.000 % |
831.83/832.20 c | 454558 | 17535 75064 228039 | 2147483647 454558 271 | 0.000 % |
837.23/837.60 c | 456421 | 17535 75064 228039 | 2147483647 456421 271 | 0.000 % |
843.13/843.52 c | 458471 | 17535 75064 228039 | 2147483647 458471 271 | 0.000 % |
849.32/849.75 c | 460726 | 17535 75064 228039 | 2147483647 460726 272 | 0.000 % |
856.43/856.80 c | 463205 | 17535 75064 228039 | 2147483647 463205 272 | 0.000 % |
863.92/864.31 c | 465933 | 17535 75064 228039 | 2147483647 465933 273 | 0.000 % |
872.51/872.99 c | 468931 | 17535 75064 228039 | 2147483647 468931 273 | 0.000 % |
882.02/882.41 c | 472227 | 17535 75064 228039 | 2147483647 472227 273 | 0.000 % |
891.71/892.19 c | 475852 | 17535 75064 228039 | 2147483647 475852 274 | 0.000 % |
902.90/903.32 c | 479839 | 17535 75064 228039 | 2147483647 479839 275 | 0.000 % |
914.90/915.36 c | 484225 | 17535 75064 228039 | 2147483647 484225 275 | 0.000 % |
915.30/915.73 c | 484325 | 17535 75064 228039 | 2147483647 484325 275 | 0.000 % |
915.81/916.21 c | 484440 | 17535 75064 228039 | 2147483647 484440 275 | 0.000 % |
916.30/916.70 c | 484562 | 17535 75064 228039 | 2147483647 484562 275 | 0.000 % |
916.80/917.28 c | 484696 | 17535 75064 228039 | 2147483647 484696 275 | 0.000 % |
917.40/917.86 c | 484842 | 17535 75064 228039 | 2147483647 484842 275 | 0.000 % |
918.11/918.50 c | 485002 | 17535 75064 228039 | 2147483647 485002 275 | 0.000 % |
918.70/919.18 c | 485180 | 17535 75064 228039 | 2147483647 485180 275 | 0.000 % |
919.50/919.90 c | 485374 | 17535 75064 228039 | 2147483647 485374 275 | 0.000 % |
920.30/920.73 c | 485586 | 17535 75064 228039 | 2147483647 485586 275 | 0.000 % |
921.20/921.65 c | 485819 | 17535 75064 228039 | 2147483647 485819 275 | 0.000 % |
922.10/922.59 c | 486077 | 17535 75064 228039 | 2147483647 486077 275 | 0.000 % |
923.30/923.73 c | 486358 | 17535 75064 228039 | 2147483647 486358 275 | 0.000 % |
924.29/924.76 c | 486668 | 17535 75064 228039 | 2147483647 486668 275 | 0.000 % |
925.49/925.99 c | 487008 | 17535 75064 228039 | 2147483647 487008 275 | 0.000 % |
926.79/927.30 c | 487380 | 17535 75064 228039 | 2147483647 487380 275 | 0.000 % |
928.19/928.68 c | 487789 | 17535 75064 228039 | 2147483647 487789 275 | 0.000 % |
929.79/930.22 c | 488238 | 17535 75064 228039 | 2147483647 488238 275 | 0.000 % |
931.40/931.82 c | 488733 | 17535 75064 228039 | 2147483647 488733 275 | 0.000 % |
933.29/933.72 c | 489276 | 17535 75064 228039 | 2147483647 489276 275 | 0.000 % |
935.29/935.79 c | 489872 | 17535 75064 228039 | 2147483647 489872 275 | 0.000 % |
937.49/937.98 c | 490529 | 17535 75064 228039 | 2147483647 490529 275 | 0.000 % |
940.18/940.61 c | 491249 | 17535 75064 228039 | 2147483647 491249 275 | 0.000 % |
942.69/943.14 c | 492042 | 17535 75064 228039 | 2147483647 492042 275 | 0.000 % |
945.29/945.79 c | 492913 | 17535 75064 228039 | 2147483647 492913 275 | 0.000 % |
948.29/948.75 c | 493871 | 17535 75064 228039 | 2147483647 493871 275 | 0.000 % |
951.48/951.95 c | 494925 | 17535 75064 228039 | 2147483647 494925 275 | 0.000 % |
954.89/955.36 c | 496083 | 17535 75064 228039 | 2147483647 496083 275 | 0.000 % |
959.08/959.55 c | 497356 | 17535 75064 228039 | 2147483647 497356 275 | 0.000 % |
963.19/963.62 c | 498756 | 17535 75064 228039 | 2147483647 498756 275 | 0.000 % |
967.68/968.16 c | 500298 | 17535 75064 228039 | 2147483647 500298 275 | 0.000 % |
972.88/973.38 c | 501994 | 17535 75064 228039 | 2147483647 501994 275 | 0.000 % |
978.67/979.11 c | 503859 | 17535 75064 228039 | 2147483647 503859 275 | 0.000 % |
985.08/985.55 c | 505908 | 17535 75064 228039 | 2147483647 505908 275 | 0.000 % |
991.97/992.48 c | 508162 | 17535 75064 228039 | 2147483647 508162 275 | 0.000 % |
999.66/1000.18 c | 510640 | 17535 75064 228039 | 2147483647 510640 275 | 0.000 % |
1007.27/1007.72 c | 513367 | 17535 75064 228039 | 2147483647 513367 275 | 0.000 % |
1016.67/1017.15 c | 516366 | 17535 75064 228039 | 2147483647 516366 275 | 0.000 % |
1026.56/1027.05 c | 519662 | 17535 75064 228039 | 2147483647 519662 276 | 0.000 % |
1037.65/1038.18 c | 523292 | 17535 75064 228039 | 2147483647 523292 276 | 0.000 % |
1049.55/1050.03 c | 527279 | 17535 75064 228039 | 2147483647 527279 276 | 0.000 % |
1062.94/1063.49 c | 531667 | 17535 75064 228039 | 2147483647 531667 276 | 0.000 % |
1078.04/1078.54 c | 536490 | 17535 75064 228039 | 2147483647 536490 277 | 0.000 % |
1078.44/1078.93 c | 536590 | 17535 75064 228039 | 2147483647 536590 277 | 0.000 % |
1079.04/1079.55 c | 536702 | 17535 75064 228039 | 2147483647 536702 277 | 0.000 % |
1079.54/1080.08 c | 536823 | 17535 75064 228039 | 2147483647 536823 277 | 0.000 % |
1080.14/1080.61 c | 536956 | 17535 75064 228039 | 2147483647 536956 277 | 0.000 % |
1080.74/1081.25 c | 537103 | 17535 75064 228039 | 2147483647 537103 277 | 0.000 % |
1081.43/1081.94 c | 537264 | 17535 75064 228039 | 2147483647 537264 277 | 0.000 % |
1082.13/1082.65 c | 537442 | 17535 75064 228039 | 2147483647 537442 277 | 0.000 % |
1083.13/1083.61 c | 537635 | 17535 75064 228039 | 2147483647 537635 277 | 0.000 % |
1083.94/1084.44 c | 537847 | 17535 75064 228039 | 2147483647 537847 277 | 0.000 % |
1084.74/1085.28 c | 538080 | 17535 75064 228039 | 2147483647 538080 277 | 0.000 % |
1085.84/1086.33 c | 538336 | 17535 75064 228039 | 2147483647 538336 277 | 0.000 % |
1086.84/1087.38 c | 538623 | 17535 75064 228039 | 2147483647 538623 277 | 0.000 % |
1088.04/1088.53 c | 538932 | 17535 75064 228039 | 2147483647 538932 277 | 0.000 % |
1089.24/1089.76 c | 539273 | 17535 75064 228039 | 2147483647 539273 276 | 0.000 % |
1090.64/1091.18 c | 539645 | 17535 75064 228039 | 2147483647 539645 276 | 0.000 % |
1092.14/1092.60 c | 540055 | 17535 75064 228039 | 2147483647 540055 276 | 0.000 % |
1094.04/1094.53 c | 540505 | 17535 75064 228039 | 2147483647 540505 276 | 0.000 % |
1095.83/1096.33 c | 540998 | 17535 75064 228039 | 2147483647 540998 276 | 0.000 % |
1097.94/1098.40 c | 541542 | 17535 75064 228039 | 2147483647 541542 276 | 0.000 % |
1099.94/1100.44 c | 542139 | 17535 75064 228039 | 2147483647 542139 276 | 0.000 % |
1102.33/1102.81 c | 542795 | 17535 75064 228039 | 2147483647 542795 276 | 0.000 % |
1104.93/1105.47 c | 543516 | 17535 75064 228039 | 2147483647 543516 276 | 0.000 % |
1107.74/1108.26 c | 544308 | 17535 75064 228039 | 2147483647 544308 276 | 0.000 % |
1110.63/1111.18 c | 545179 | 17535 75064 228039 | 2147483647 545179 276 | 0.000 % |
1113.73/1114.26 c | 546138 | 17535 75064 228039 | 2147483647 546138 276 | 0.000 % |
1117.73/1118.25 c | 547193 | 17535 75064 228039 | 2147483647 547193 276 | 0.000 % |
1121.43/1121.91 c | 548351 | 17535 75064 228039 | 2147483647 548351 276 | 0.000 % |
1125.53/1126.09 c | 549624 | 17535 75064 228039 | 2147483647 549624 276 | 0.000 % |
1130.22/1130.73 c | 551024 | 17535 75064 228039 | 2147483647 551024 276 | 0.000 % |
1135.12/1135.64 c | 552566 | 17535 75064 228039 | 2147483647 552566 277 | 0.000 % |
1140.82/1141.37 c | 554261 | 17535 75064 228039 | 2147483647 554261 277 | 0.000 % |
1147.12/1147.61 c | 556124 | 17535 75064 228039 | 2147483647 556124 277 | 0.000 % |
1153.71/1154.22 c | 558174 | 17535 75064 228039 | 2147483647 558174 277 | 0.000 % |
1160.91/1161.46 c | 560427 | 17535 75064 228039 | 2147483647 560427 277 | 0.000 % |
1168.81/1169.34 c | 562905 | 17535 75064 228039 | 2147483647 562905 277 | 0.000 % |
1177.81/1178.36 c | 565631 | 17535 75064 228039 | 2147483647 565631 277 | 0.000 % |
1187.70/1188.21 c | 568629 | 17535 75064 228039 | 2147483647 568629 277 | 0.000 % |
1198.70/1199.26 c | 571925 | 17535 75064 228039 | 2147483647 571925 277 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832791-1242787700/watcher-1832791-1242787700 -o /tmp/evaluation-result-1832791-1242787700/solver-1832791-1242787700 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832791-1242787700.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 3586
/proc/meminfo: memFree=1657104/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306794386 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 224627753042 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3586/statm: 1339 235 195 169 0 50 0
[pid=3587] ppid=3586 vsize=5356 CPUtime=0
/proc/3587/stat : 3587 (SatELiteGTI) S 3586 3586 1299 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306794386 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/3587/statm: 1339 238 198 169 0 50 0
[pid=3589] ppid=3587 vsize=2600 CPUtime=0
/proc/3589/stat : 3589 (sed) R 3587 3586 1299 0 -1 4194304 139 0 0 0 0 0 0 0 18 0 1 0 306794386 2662400 113 1992294400 4194304 4240196 548682069056 18446744073709551615 224627407968 0 0 4096 0 0 0 0 17 0 0 0
/proc/3589/statm: 652 126 102 11 0 56 0
[startup+0.023468 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3586
/proc/meminfo: memFree=1657104/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306794386 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3586/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101476 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3586
/proc/meminfo: memFree=1657104/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306794386 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3586/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301504 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3586
/proc/meminfo: memFree=1657104/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306794386 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3586/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701573 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3586
/proc/meminfo: memFree=1657104/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 5356
[startup+1.50168 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1648760/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=7848 CPUtime=1.12
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 1815 0 0 0 111 1 0 0 25 0 1 0 306794423 8036352 1801 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 1962 1801 77 171 0 1789 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13204
[startup+3.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1647352/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=9828 CPUtime=2.72
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 2326 0 0 0 270 2 0 0 25 0 1 0 306794423 10063872 2312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 2457 2312 77 171 0 2284 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15184
[startup+6.30236 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1643000/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=13656 CPUtime=5.91
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 3285 0 0 0 588 3 0 0 25 0 1 0 306794423 13983744 3271 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 3414 3272 77 171 0 3241 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19012
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1634624/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=21856 CPUtime=12.31
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 5314 0 0 0 1226 5 0 0 25 0 1 0 306794423 22380544 5300 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 5464 5300 77 171 0 5291 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 27212
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1619648/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=36172 CPUtime=25.09
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 8913 0 0 0 2501 8 0 0 25 0 1 0 306794423 37040128 8899 1992294400 134512640 135215339 4294956240 18446744073709551615 134527353 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 9043 8899 77 171 0 8870 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 41528
[startup+51.1017 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 3592
/proc/meminfo: memFree=1593536/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=62664 CPUtime=50.68
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 15519 0 0 0 5053 15 0 0 25 0 1 0 306794423 64167936 15505 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 15666 15505 77 171 0 15493 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 68020
[startup+102.306 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 3592
/proc/meminfo: memFree=1547264/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=108292 CPUtime=101.85
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 26919 0 0 0 10158 27 0 0 25 0 1 0 306794423 110891008 26905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 27073 26905 77 171 0 26900 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 113648
[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1501824/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=154000 CPUtime=161.82
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 38317 0 0 0 16143 39 0 0 25 0 1 0 306794423 157696000 38303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 38500 38303 77 171 0 38327 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 159356
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1458944/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=196280 CPUtime=221.8
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 48926 0 0 0 22130 50 0 0 25 0 1 0 306794423 200990720 48912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 49070 48912 77 171 0 48897 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 201636
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1422144/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=233672 CPUtime=281.77
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 58208 0 0 0 28117 60 0 0 25 0 1 0 306794423 239280128 58194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 58418 58194 77 171 0 58245 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 239028
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1385344/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=269876 CPUtime=341.75
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 67281 0 0 0 34104 71 0 0 25 0 1 0 306794423 276353024 67267 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 67469 67267 77 171 0 67296 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 275232
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1351616/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=303980 CPUtime=401.72
################
# More data... #
################
/proc/3592/statm: 91605 91316 77 171 0 91432 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 371776
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1260544/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=394300 CPUtime=581.66
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 98326 0 0 0 58059 107 0 0 25 0 1 0 306794423 403763200 98312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 98575 98312 77 171 0 98402 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 399656
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1229376/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=424960 CPUtime=641.65
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 106021 0 0 0 64050 115 0 0 25 0 1 0 306794423 435159040 106007 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 106240 106007 77 171 0 106067 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 430316
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3592
/proc/meminfo: memFree=1202688/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=451528 CPUtime=701.62
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 112672 0 0 0 70039 123 0 0 25 0 1 0 306794423 462364672 112658 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 112882 112659 77 171 0 112709 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 456884
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3598
/proc/meminfo: memFree=1175104/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=478736 CPUtime=761.59
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 119497 0 0 0 76029 130 0 0 25 0 1 0 306794423 490225664 119483 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 119684 119483 77 171 0 119511 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 484092
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3598
/proc/meminfo: memFree=1152192/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=501728 CPUtime=821.57
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 125286 0 0 0 82021 136 0 0 25 0 1 0 306794423 513769472 125272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 125432 125272 77 171 0 125259 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 507084
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3598
/proc/meminfo: memFree=1123456/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=530964 CPUtime=881.56
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 132380 0 0 0 88011 145 0 0 25 0 1 0 306794423 543707136 132366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 132741 132366 77 171 0 132568 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 536320
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3598
/proc/meminfo: memFree=1099264/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=555144 CPUtime=941.53
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 138442 0 0 0 94001 152 0 0 25 0 1 0 306794423 568467456 138428 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 138786 138428 77 171 0 138613 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 560500
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3598
/proc/meminfo: memFree=1076928/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=577072 CPUtime=1001.51
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 143962 0 0 0 99992 159 0 0 25 0 1 0 306794423 590921728 143948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 144268 143948 77 171 0 144095 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 582428
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3598
/proc/meminfo: memFree=1052480/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=601520 CPUtime=1061.48
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 150076 0 0 0 105982 166 0 0 25 0 1 0 306794423 615956480 150062 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 150380 150062 77 171 0 150207 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 606876
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3598
/proc/meminfo: memFree=1032448/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=621084 CPUtime=1121.46
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 154993 0 0 0 111974 172 0 0 25 0 1 0 306794423 635990016 154979 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 155271 154979 77 171 0 155098 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 626440
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3598
/proc/meminfo: memFree=1009344/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=644200 CPUtime=1181.45
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 160799 0 0 0 117965 180 0 0 25 0 1 0 306794423 659660800 160785 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 161050 160785 77 171 0 160877 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 649556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3598
/proc/meminfo: memFree=1002752/2055920 swapFree=4068296/4192956
[pid=3586] ppid=3584 vsize=5356 CPUtime=0.36
/proc/3586/stat : 3586 (SatELiteGTI) S 3584 3586 1299 0 -1 4194304 336 2599 0 0 0 0 34 2 16 0 1 0 306794386 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3586/statm: 1339 239 197 169 0 50 0
[pid=3592] ppid=3586 vsize=650404 CPUtime=1199.74
/proc/3592/stat : 3592 (minisat_static) R 3586 3586 1299 0 -1 4194304 162341 0 0 0 119793 181 0 0 25 0 1 0 306794423 666013696 162327 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/3592/statm: 162601 162327 77 171 0 162428 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 655760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3586 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=343947
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 0.369943
# while last known CPU time is 1200.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.1
CPU user time (s): 1198.27
CPU system time (s): 1.83
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 655760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.343947
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= 2935
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= 14
involuntary context switches= 7
runsolver used 1.45978 second user time and 3.00454 second system time
The end
Begin job on node49 at 2009-05-20 04:48:20
IDJOB=1832791
IDBENCH=70359
IDSOLVER=671
FILE ID=node49/1832791-1242787700
PBS_JOBID= 9322369
Free space on /tmp= 66188 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832791-1242787700/watcher-1832791-1242787700 -o /tmp/evaluation-result-1832791-1242787700/solver-1832791-1242787700 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832791-1242787700.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= eb6bf34a1ded0d6ac9d6c9b7ba628c09
RANDOM SEED=737558276
node49.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.241
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.241
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: 1657648 kB
Buffers: 33236 kB
Cached: 179604 kB
SwapCached: 118184 kB
Active: 152060 kB
Inactive: 180732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1657648 kB
SwapTotal: 4192956 kB
SwapFree: 4068296 kB
Dirty: 3036 kB
Writeback: 0 kB
Mapped: 13788 kB
Slab: 51436 kB
Committed_AS: 1055692 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66184 MiB
End job on node49 at 2009-05-20 05:08:23