0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 75600 226800 | 22679 0 0 nan | 0.000 % |
0.00/0.26 c | 0 | 75070 228025 | -- 0 -- -- | -- | -530/1225
0.00/0.26 c ==============================================================================
0.00/0.26 c Result : #vars: 17537 #clauses: 75070 #literals: 228025
0.00/0.26 c CPU time: 0.245962 s
0.00/0.26 c ==============================================================================
0.00/0.34 c This is MiniSat 2.0 beta
0.00/0.34 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.34 c ============================[ Problem Statistics ]=============================
0.00/0.34 c | |
0.00/0.34 c | Number of variables: 17537 |
0.00/0.34 c | Number of clauses: 75070 |
0.33/0.40 c | Parsing time: 0.05 s |
0.33/0.41 c ============================[ Search Statistics ]==============================
0.33/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.33/0.41 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.33/0.41 c ===============================================================================
0.33/0.41 c | 0 | 17537 75070 228025 | 25023 0 nan | 0.000 % |
0.33/0.47 c | 101 | 17537 75070 228025 | 25023 101 190 | 0.000 % |
0.33/0.54 c | 202 | 17537 75070 228025 | 25023 202 203 | 0.000 % |
0.33/0.60 c | 302 | 17537 75070 228025 | 25023 302 202 | 0.000 % |
0.33/0.67 c | 412 | 17537 75070 228025 | 25023 412 200 | 0.000 % |
0.33/0.73 c | 512 | 17537 75070 228025 | 25023 512 197 | 0.000 % |
0.33/0.79 c | 622 | 17537 75070 228025 | 25023 622 204 | 0.000 % |
0.33/0.86 c | 747 | 17537 75070 228025 | 25023 747 197 | 0.000 % |
0.33/0.93 c | 848 | 17537 75070 228025 | 25023 848 202 | 0.000 % |
0.33/0.99 c | 960 | 17537 75070 228025 | 25023 960 202 | 0.000 % |
0.97/1.07 c | 1081 | 17537 75070 228025 | 25023 1081 196 | 0.000 % |
1.07/1.14 c | 1214 | 17537 75070 228025 | 25023 1214 193 | 0.000 % |
1.17/1.21 c | 1315 | 17537 75070 228025 | 25023 1315 192 | 0.000 % |
1.17/1.27 c | 1425 | 17537 75070 228025 | 25023 1425 193 | 0.000 % |
1.27/1.34 c | 1549 | 17537 75070 228025 | 25023 1549 189 | 0.000 % |
1.37/1.43 c | 1685 | 17537 75070 228025 | 25023 1685 188 | 0.000 % |
1.48/1.51 c | 1831 | 17537 75070 228025 | 25023 1831 191 | 0.000 % |
1.48/1.58 c | 1931 | 17537 75070 228025 | 25023 1931 193 | 0.000 % |
1.58/1.64 c | 2041 | 17537 75070 228025 | 25023 2041 195 | 0.000 % |
1.67/1.72 c | 2164 | 17537 75070 228025 | 25023 2164 196 | 0.000 % |
1.77/1.80 c | 2298 | 17537 75070 228025 | 25023 2298 195 | 0.000 % |
1.77/1.89 c | 2446 | 17537 75070 228025 | 25023 2446 195 | 0.000 % |
1.87/2.00 c | 2606 | 17537 75070 228025 | 25023 2606 194 | 0.000 % |
1.97/2.06 c | 2706 | 17537 75070 228025 | 25023 2706 193 | 0.000 % |
2.08/2.13 c | 2816 | 17537 75070 228025 | 25023 2816 193 | 0.000 % |
2.18/2.21 c | 2938 | 17537 75070 228025 | 25023 2938 193 | 0.000 % |
2.27/2.30 c | 3074 | 17537 75070 228025 | 25023 3074 191 | 0.000 % |
2.27/2.39 c | 3220 | 17537 75070 228025 | 25023 3220 193 | 0.000 % |
2.37/2.49 c | 3381 | 17537 75070 228025 | 25023 3381 192 | 0.000 % |
2.57/2.60 c | 3557 | 17537 75070 228025 | 25023 3557 193 | 0.000 % |
2.57/2.67 c | 3657 | 17537 75070 228025 | 25023 3657 193 | 0.000 % |
2.67/2.74 c | 3768 | 17537 75070 228025 | 25023 3768 193 | 0.000 % |
2.77/2.81 c | 3889 | 17537 75070 228025 | 25023 3889 191 | 0.000 % |
2.77/2.89 c | 4022 | 17537 75070 228025 | 25023 4022 190 | 0.000 % |
2.87/2.98 c | 4168 | 17537 75070 228025 | 25023 4168 192 | 0.000 % |
2.97/3.09 c | 4328 | 17537 75070 228025 | 25023 4328 195 | 0.000 % |
3.07/3.20 c | 4504 | 17537 75070 228025 | 25023 4504 195 | 0.000 % |
3.27/3.33 c | 4697 | 17537 75070 228025 | 25023 4697 195 | 0.000 % |
3.27/3.39 c | 4797 | 17537 75070 228025 | 25023 4797 195 | 0.000 % |
3.37/3.46 c | 4907 | 17537 75070 228025 | 25023 4907 195 | 0.000 % |
3.47/3.54 c | 5028 | 17537 75070 228025 | 25023 5028 194 | 0.000 % |
3.57/3.63 c | 5161 | 17537 75070 228025 | 25023 5161 194 | 0.000 % |
3.67/3.73 c | 5307 | 17537 75070 228025 | 25023 5307 194 | 0.000 % |
3.77/3.83 c | 5468 | 17537 75070 228025 | 25023 5468 194 | 0.000 % |
3.86/3.94 c | 5644 | 17537 75070 228025 | 25023 5644 193 | 0.000 % |
3.97/4.06 c | 5837 | 17537 75070 228025 | 25023 5837 193 | 0.000 % |
4.07/4.18 c | 6049 | 17537 75070 228025 | 25023 6049 193 | 0.000 % |
4.17/4.25 c | 6150 | 17537 75070 228025 | 25023 6150 193 | 0.000 % |
4.27/4.33 c | 6262 | 17537 75070 228025 | 25023 6262 192 | 0.000 % |
4.37/4.41 c | 6384 | 17537 75070 228025 | 25023 6384 192 | 0.000 % |
4.47/4.50 c | 6517 | 17537 75070 228025 | 25023 6517 191 | 0.000 % |
4.57/4.60 c | 6663 | 17537 75070 228025 | 25023 6663 192 | 0.000 % |
4.67/4.71 c | 6823 | 17537 75070 228025 | 25023 6823 191 | 0.000 % |
4.77/4.82 c | 7000 | 17537 75070 228025 | 25023 7000 192 | 0.000 % |
4.87/4.96 c | 7194 | 17537 75070 228025 | 25023 7194 192 | 0.000 % |
4.96/5.08 c | 7407 | 17537 75070 228025 | 25023 7407 192 | 0.000 % |
5.17/5.22 c | 7642 | 17537 75070 228025 | 25023 7642 192 | 0.000 % |
5.17/5.28 c | 7743 | 17537 75070 228025 | 25023 7743 192 | 0.000 % |
5.27/5.36 c | 7853 | 17537 75070 228025 | 25023 7853 193 | 0.000 % |
5.38/5.43 c | 7977 | 17537 75070 228025 | 25023 7977 192 | 0.000 % |
5.48/5.52 c | 8112 | 17537 75070 228025 | 25023 8112 192 | 0.000 % |
5.57/5.62 c | 8259 | 17537 75070 228025 | 25023 8259 192 | 0.000 % |
5.67/5.73 c | 8420 | 17537 75070 228025 | 25023 8420 194 | 0.000 % |
5.77/5.86 c | 8597 | 17537 75070 228025 | 25023 8597 194 | 0.000 % |
5.87/5.99 c | 8790 | 17537 75070 228025 | 25023 8790 194 | 0.000 % |
6.07/6.13 c | 9002 | 17537 75070 228025 | 25023 9002 193 | 0.000 % |
6.17/6.28 c | 9236 | 17537 75070 228025 | 25023 9236 192 | 0.000 % |
6.37/6.44 c | 9492 | 17537 75070 228025 | 25023 9492 192 | 0.000 % |
6.47/6.52 c | 9595 | 17537 75070 228025 | 25023 9595 192 | 0.000 % |
6.47/6.59 c | 9706 | 17537 75070 228025 | 25023 9706 192 | 0.000 % |
6.57/6.68 c | 9830 | 17537 75070 228025 | 25023 9830 192 | 0.000 % |
6.66/6.77 c | 9964 | 17537 75070 228025 | 25023 9964 192 | 0.000 % |
6.76/6.86 c | 10113 | 17537 75070 228025 | 2147483647 10113 192 | 0.000 % |
6.87/6.98 c | 10273 | 17537 75070 228025 | 2147483647 10273 192 | 0.000 % |
6.97/7.09 c | 10449 | 17537 75070 228025 | 2147483647 10449 193 | 0.000 % |
7.17/7.22 c | 10642 | 17537 75070 228025 | 2147483647 10642 193 | 0.000 % |
7.27/7.36 c | 10854 | 17537 75070 228025 | 2147483647 10854 193 | 0.000 % |
7.47/7.51 c | 11088 | 17537 75070 228025 | 2147483647 11088 194 | 0.000 % |
7.57/7.69 c | 11346 | 17537 75070 228025 | 2147483647 11346 195 | 0.000 % |
7.77/7.87 c | 11627 | 17537 75070 228025 | 2147483647 11627 196 | 0.000 % |
7.87/7.95 c | 11728 | 17537 75070 228025 | 2147483647 11728 196 | 0.000 % |
7.97/8.02 c | 11839 | 17537 75070 228025 | 2147483647 11839 195 | 0.000 % |
8.07/8.11 c | 11960 | 17537 75070 228025 | 2147483647 11960 195 | 0.000 % |
8.07/8.19 c | 12097 | 17537 75070 228025 | 2147483647 12097 195 | 0.000 % |
8.17/8.29 c | 12243 | 17537 75070 228025 | 2147483647 12243 195 | 0.000 % |
8.37/8.40 c | 12405 | 17537 75070 228025 | 2147483647 12405 196 | 0.000 % |
8.47/8.53 c | 12581 | 17537 75070 228025 | 2147483647 12581 196 | 0.000 % |
8.57/8.66 c | 12774 | 17537 75070 228025 | 2147483647 12774 196 | 0.000 % |
8.77/8.80 c | 12986 | 17537 75070 228025 | 2147483647 12986 197 | 0.000 % |
8.87/8.96 c | 13220 | 17537 75070 228025 | 2147483647 13220 198 | 0.000 % |
9.06/9.14 c | 13476 | 17537 75070 228025 | 2147483647 13476 198 | 0.000 % |
9.26/9.33 c | 13758 | 17537 75070 228025 | 2147483647 13758 197 | 0.000 % |
9.47/9.55 c | 14067 | 17537 75070 228025 | 2147483647 14067 198 | 0.000 % |
9.57/9.62 c | 14167 | 17537 75070 228025 | 2147483647 14167 198 | 0.000 % |
9.67/9.70 c | 14277 | 17537 75070 228025 | 2147483647 14277 198 | 0.000 % |
9.67/9.79 c | 14399 | 17537 75070 228025 | 2147483647 14399 198 | 0.000 % |
9.77/9.89 c | 14533 | 17537 75070 228025 | 2147483647 14533 198 | 0.000 % |
9.87/9.99 c | 14681 | 17537 75070 228025 | 2147483647 14681 198 | 0.000 % |
10.07/10.11 c | 14841 | 17537 75070 228025 | 2147483647 14841 198 | 0.000 % |
10.17/10.24 c | 15017 | 17537 75070 228025 | 2147483647 15017 198 | 0.000 % |
10.26/10.39 c | 15211 | 17537 75070 228025 | 2147483647 15211 198 | 0.000 % |
10.46/10.54 c | 15428 | 17537 75070 228025 | 2147483647 15428 199 | 0.000 % |
10.66/10.70 c | 15661 | 17537 75070 228025 | 2147483647 15661 199 | 0.000 % |
10.76/10.89 c | 15919 | 17537 75070 228025 | 2147483647 15919 199 | 0.000 % |
10.96/11.08 c | 16200 | 17537 75070 228025 | 2147483647 16200 200 | 0.000 % |
11.16/11.30 c | 16509 | 17537 75070 228025 | 2147483647 16509 200 | 0.000 % |
11.46/11.54 c | 16850 | 17537 75070 228025 | 2147483647 16850 202 | 0.000 % |
11.56/11.61 c | 16952 | 17537 75070 228025 | 2147483647 16952 202 | 0.000 % |
11.56/11.69 c | 17063 | 17537 75070 228025 | 2147483647 17063 202 | 0.000 % |
11.66/11.78 c | 17184 | 17537 75070 228025 | 2147483647 17184 202 | 0.000 % |
11.76/11.87 c | 17318 | 17537 75070 228025 | 2147483647 17318 203 | 0.000 % |
11.87/11.99 c | 17468 | 17537 75070 228025 | 2147483647 17468 202 | 0.000 % |
12.07/12.11 c | 17628 | 17537 75070 228025 | 2147483647 17628 202 | 0.000 % |
12.16/12.23 c | 17805 | 17537 75070 228025 | 2147483647 17805 202 | 0.000 % |
12.26/12.37 c | 17998 | 17537 75070 228025 | 2147483647 17998 203 | 0.000 % |
12.46/12.52 c | 18210 | 17537 75070 228025 | 2147483647 18210 203 | 0.000 % |
12.56/12.70 c | 18444 | 17537 75070 228025 | 2147483647 18444 203 | 0.000 % |
12.76/12.88 c | 18701 | 17537 75070 228025 | 2147483647 18701 203 | 0.000 % |
12.96/13.06 c | 18983 | 17537 75070 228025 | 2147483647 18983 203 | 0.000 % |
13.16/13.27 c | 19294 | 17537 75070 228025 | 2147483647 19294 204 | 0.000 % |
13.46/13.50 c | 19637 | 17537 75070 228025 | 2147483647 19637 205 | 0.000 % |
13.66/13.77 c | 20009 | 17537 75070 228025 | 2147483647 20009 206 | 0.000 % |
13.76/13.85 c | 20110 | 17537 75070 228025 | 2147483647 20110 206 | 0.000 % |
13.86/13.94 c | 20220 | 17537 75070 228025 | 2147483647 20220 206 | 0.000 % |
13.96/14.04 c | 20341 | 17537 75070 228025 | 2147483647 20341 207 | 0.000 % |
14.06/14.13 c | 20474 | 17537 75070 228025 | 2147483647 20474 207 | 0.000 % |
14.16/14.24 c | 20621 | 17537 75070 228025 | 2147483647 20621 207 | 0.000 % |
14.26/14.36 c | 20783 | 17537 75070 228025 | 2147483647 20783 207 | 0.000 % |
14.36/14.48 c | 20959 | 17537 75070 228025 | 2147483647 20959 207 | 0.000 % |
14.56/14.62 c | 21153 | 17537 75070 228025 | 2147483647 21153 207 | 0.000 % |
14.66/14.78 c | 21365 | 17537 75070 228025 | 2147483647 21365 207 | 0.000 % |
14.86/14.96 c | 21598 | 17537 75070 228025 | 2147483647 21598 207 | 0.000 % |
15.06/15.14 c | 21855 | 17537 75070 228025 | 2147483647 21855 207 | 0.000 % |
15.26/15.35 c | 22137 | 17537 75070 228025 | 2147483647 22137 207 | 0.000 % |
15.45/15.58 c | 22446 | 17537 75070 228025 | 2147483647 22446 207 | 0.000 % |
15.75/15.83 c | 22786 | 17537 75070 228025 | 2147483647 22786 207 | 0.000 % |
16.05/16.12 c | 23159 | 17537 75070 228025 | 2147483647 23159 207 | 0.000 % |
16.36/16.41 c | 23569 | 17537 75070 228025 | 2147483647 23569 208 | 0.000 % |
16.36/16.49 c | 23669 | 17537 75070 228025 | 2147483647 23669 208 | 0.000 % |
16.46/16.57 c | 23780 | 17537 75070 228025 | 2147483647 23780 208 | 0.000 % |
16.55/16.66 c | 23903 | 17537 75070 228025 | 2147483647 23903 208 | 0.000 % |
16.66/16.76 c | 24036 | 17537 75070 228025 | 2147483647 24036 208 | 0.000 % |
16.76/16.89 c | 24183 | 17537 75070 228025 | 2147483647 24183 207 | 0.000 % |
16.96/17.02 c | 24344 | 17537 75070 228025 | 2147483647 24344 208 | 0.000 % |
17.06/17.16 c | 24522 | 17537 75070 228025 | 2147483647 24522 208 | 0.000 % |
17.26/17.31 c | 24716 | 17537 75070 228025 | 2147483647 24716 208 | 0.000 % |
17.36/17.47 c | 24928 | 17537 75070 228025 | 2147483647 24928 207 | 0.000 % |
17.56/17.64 c | 25161 | 17537 75070 228025 | 2147483647 25161 208 | 0.000 % |
17.76/17.83 c | 25418 | 17537 75070 228025 | 2147483647 25418 208 | 0.000 % |
17.96/18.04 c | 25700 | 17537 75070 228025 | 2147483647 25700 208 | 0.000 % |
18.16/18.26 c | 26009 | 17537 75070 228025 | 2147483647 26009 208 | 0.000 % |
18.46/18.54 c | 26348 | 17537 75070 228025 | 2147483647 26348 208 | 0.000 % |
18.76/18.81 c | 26720 | 17537 75070 228025 | 2147483647 26720 208 | 0.000 % |
19.05/19.14 c | 27130 | 17537 75070 228025 | 2147483647 27130 209 | 0.000 % |
19.35/19.48 c | 27579 | 17537 75070 228025 | 2147483647 27579 210 | 0.000 % |
19.46/19.57 c | 27680 | 17537 75070 228025 | 2147483647 27680 210 | 0.000 % |
19.56/19.66 c | 27790 | 17537 75070 228025 | 2147483647 27790 210 | 0.000 % |
19.67/19.76 c | 27911 | 17537 75070 228025 | 2147483647 27911 210 | 0.000 % |
19.77/19.86 c | 28045 | 17537 75070 228025 | 2147483647 28045 209 | 0.000 % |
19.86/19.98 c | 28192 | 17537 75070 228025 | 2147483647 28192 209 | 0.000 % |
20.06/20.11 c | 28352 | 17537 75070 228025 | 2147483647 28352 209 | 0.000 % |
20.16/20.26 c | 28528 | 17537 75070 228025 | 2147483647 28528 209 | 0.000 % |
20.36/20.42 c | 28724 | 17537 75070 228025 | 2147483647 28724 210 | 0.000 % |
20.46/20.56 c | 28937 | 17537 75070 228025 | 2147483647 28937 210 | 0.000 % |
20.66/20.77 c | 29171 | 17537 75070 228025 | 2147483647 29171 210 | 0.000 % |
20.86/20.97 c | 29427 | 17537 75070 228025 | 2147483647 29427 210 | 0.000 % |
21.16/21.20 c | 29708 | 17537 75070 228025 | 2147483647 29708 210 | 0.000 % |
21.36/21.42 c | 30018 | 17537 75070 228025 | 2147483647 30018 210 | 0.000 % |
21.66/21.70 c | 30357 | 17537 75070 228025 | 2147483647 30357 210 | 0.000 % |
21.86/21.98 c | 30729 | 17537 75070 228025 | 2147483647 30729 210 | 0.000 % |
22.26/22.32 c | 31142 | 17537 75070 228025 | 2147483647 31142 211 | 0.000 % |
22.55/22.69 c | 31591 | 17537 75070 228025 | 2147483647 31591 211 | 0.000 % |
22.96/23.08 c | 32084 | 17537 75070 228025 | 2147483647 32084 211 | 0.000 % |
23.06/23.17 c | 32186 | 17537 75070 228025 | 2147483647 32186 211 | 0.000 % |
23.16/23.27 c | 32297 | 17537 75070 228025 | 2147483647 32297 211 | 0.000 % |
23.26/23.38 c | 32418 | 17537 75070 228025 | 2147483647 32418 211 | 0.000 % |
23.46/23.50 c | 32552 | 17537 75070 228025 | 2147483647 32552 211 | 0.000 % |
23.56/23.63 c | 32699 | 17537 75070 228025 | 2147483647 32699 211 | 0.000 % |
23.66/23.75 c | 32861 | 17537 75070 228025 | 2147483647 32861 211 | 0.000 % |
23.76/23.89 c | 33037 | 17537 75070 228025 | 2147483647 33037 211 | 0.000 % |
23.96/24.05 c | 33231 | 17537 75070 228025 | 2147483647 33231 211 | 0.000 % |
24.16/24.23 c | 33443 | 17537 75070 228025 | 2147483647 33443 211 | 0.000 % |
24.36/24.42 c | 33676 | 17537 75070 228025 | 2147483647 33676 211 | 0.000 % |
24.56/24.65 c | 33932 | 17537 75070 228025 | 2147483647 33932 211 | 0.000 % |
24.76/24.87 c | 34215 | 17537 75070 228025 | 2147483647 34215 211 | 0.000 % |
25.06/25.10 c | 34524 | 17537 75070 228025 | 2147483647 34524 212 | 0.000 % |
25.26/25.38 c | 34865 | 17537 75070 228025 | 2147483647 34865 212 | 0.000 % |
25.66/25.70 c | 35238 | 17537 75070 228025 | 2147483647 35238 212 | 0.000 % |
25.95/26.03 c | 35647 | 17537 75070 228025 | 2147483647 35647 213 | 0.000 % |
26.26/26.40 c | 36097 | 17537 75070 228025 | 2147483647 36097 215 | 0.000 % |
26.66/26.79 c | 36590 | 17537 75070 228025 | 2147483647 36590 215 | 0.000 % |
27.16/27.22 c | 37132 | 17537 75070 228025 | 2147483647 37132 215 | 0.000 % |
27.26/27.32 c | 37234 | 17537 75070 228025 | 2147483647 37234 215 | 0.000 % |
27.36/27.42 c | 37344 | 17537 75070 228025 | 2147483647 37344 215 | 0.000 % |
27.46/27.53 c | 37468 | 17537 75070 228025 | 2147483647 37468 215 | 0.000 % |
27.56/27.65 c | 37601 | 17537 75070 228025 | 2147483647 37601 215 | 0.000 % |
27.66/27.77 c | 37747 | 17537 75070 228025 | 2147483647 37747 215 | 0.000 % |
27.86/27.91 c | 37907 | 17537 75070 228025 | 2147483647 37907 215 | 0.000 % |
27.96/28.06 c | 38083 | 17537 75070 228025 | 2147483647 38083 215 | 0.000 % |
28.16/28.23 c | 38277 | 17537 75070 228025 | 2147483647 38277 214 | 0.000 % |
28.36/28.40 c | 38489 | 17537 75070 228025 | 2147483647 38489 214 | 0.000 % |
28.46/28.59 c | 38722 | 17537 75070 228025 | 2147483647 38722 214 | 0.000 % |
28.76/28.80 c | 38978 | 17537 75070 228025 | 2147483647 38978 215 | 0.000 % |
28.96/29.02 c | 39261 | 17537 75070 228025 | 2147483647 39261 214 | 0.000 % |
29.16/29.29 c | 39571 | 17537 75070 228025 | 2147483647 39571 214 | 0.000 % |
29.46/29.58 c | 39910 | 17537 75070 228025 | 2147483647 39910 214 | 0.000 % |
29.75/29.89 c | 40283 | 17537 75070 228025 | 2147483647 40283 214 | 0.000 % |
30.15/30.26 c | 40693 | 17537 75070 228025 | 2147483647 40693 215 | 0.000 % |
30.55/30.62 c | 41142 | 17537 75070 228025 | 2147483647 41142 215 | 0.000 % |
30.95/31.05 c | 41635 | 17537 75070 228025 | 2147483647 41635 215 | 0.000 % |
31.35/31.49 c | 42177 | 17537 75070 228025 | 2147483647 42177 214 | 0.000 % |
31.86/31.97 c | 42775 | 17537 75070 228025 | 2147483647 42775 215 | 0.000 % |
31.96/32.07 c | 42876 | 17537 75070 228025 | 2147483647 42876 215 | 0.000 % |
32.06/32.17 c | 42986 | 17537 75070 228025 | 2147483647 42986 215 | 0.000 % |
32.16/32.30 c | 43109 | 17537 75070 228025 | 2147483647 43109 215 | 0.000 % |
32.36/32.41 c | 43242 | 17537 75070 228025 | 2147483647 43242 215 | 0.000 % |
32.46/32.54 c | 43392 | 17537 75070 228025 | 2147483647 43392 215 | 0.000 % |
32.56/32.69 c | 43553 | 17537 75070 228025 | 2147483647 43553 214 | 0.000 % |
32.76/32.85 c | 43729 | 17537 75070 228025 | 2147483647 43729 214 | 0.000 % |
32.96/33.03 c | 43922 | 17537 75070 228025 | 2147483647 43922 214 | 0.000 % |
33.16/33.20 c | 44134 | 17537 75070 228025 | 2147483647 44134 214 | 0.000 % |
33.36/33.41 c | 44368 | 17537 75070 228025 | 2147483647 44368 214 | 0.000 % |
33.55/33.64 c | 44625 | 17537 75070 228025 | 2147483647 44625 215 | 0.000 % |
33.75/33.88 c | 44906 | 17537 75070 228025 | 2147483647 44906 215 | 0.000 % |
34.05/34.14 c | 45215 | 17537 75070 228025 | 2147483647 45215 215 | 0.000 % |
34.35/34.43 c | 45556 | 17537 75070 228025 | 2147483647 45556 215 | 0.000 % |
34.65/34.76 c | 45928 | 17537 75070 228025 | 2147483647 45928 216 | 0.000 % |
35.05/35.12 c | 46339 | 17537 75070 228025 | 2147483647 46339 216 | 0.000 % |
35.45/35.54 c | 46790 | 17537 75070 228025 | 2147483647 46790 216 | 0.000 % |
35.86/35.95 c | 47284 | 17537 75070 228025 | 2147483647 47284 216 | 0.000 % |
36.36/36.43 c | 47827 | 17537 75070 228025 | 2147483647 47827 217 | 0.000 % |
36.85/36.92 c | 48424 | 17537 75070 228025 | 2147483647 48424 218 | 0.000 % |
37.36/37.48 c | 49080 | 17537 75070 228025 | 2147483647 49080 218 | 0.000 % |
37.45/37.58 c | 49180 | 17537 75070 228025 | 2147483647 49180 218 | 0.000 % |
37.55/37.69 c | 49291 | 17537 75070 228025 | 2147483647 49291 218 | 0.000 % |
37.75/37.82 c | 49414 | 17537 75070 228025 | 2147483647 49414 218 | 0.000 % |
37.85/37.94 c | 49549 | 17537 75070 228025 | 2147483647 49549 218 | 0.000 % |
38.05/38.10 c | 49695 | 17537 75070 228025 | 2147483647 49695 218 | 0.000 % |
38.15/38.25 c | 49856 | 17537 75070 228025 | 2147483647 49856 218 | 0.000 % |
38.36/38.42 c | 50032 | 17537 75070 228025 | 2147483647 50032 218 | 0.000 % |
38.55/38.60 c | 50226 | 17537 75070 228025 | 2147483647 50226 218 | 0.000 % |
38.65/38.79 c | 50439 | 17537 75070 228025 | 2147483647 50439 218 | 0.000 % |
38.96/39.01 c | 50673 | 17537 75070 228025 | 2147483647 50673 218 | 0.000 % |
39.16/39.25 c | 50930 | 17537 75070 228025 | 2147483647 50930 218 | 0.000 % |
39.46/39.52 c | 51212 | 17537 75070 228025 | 2147483647 51212 218 | 0.000 % |
39.75/39.81 c | 51522 | 17537 75070 228025 | 2147483647 51522 218 | 0.000 % |
40.05/40.12 c | 51861 | 17537 75070 228025 | 2147483647 51861 219 | 0.000 % |
40.35/40.47 c | 52235 | 17537 75070 228025 | 2147483647 52235 219 | 0.000 % |
40.85/40.90 c | 52645 | 17537 75070 228025 | 2147483647 52645 219 | 0.000 % |
41.15/41.30 c | 53095 | 17537 75070 228025 | 2147483647 53095 220 | 0.000 % |
41.65/41.72 c | 53589 | 17537 75070 228025 | 2147483647 53589 220 | 0.000 % |
42.15/42.24 c | 54131 | 17537 75070 228025 | 2147483647 54131 220 | 0.000 % |
42.76/42.84 c | 54727 | 17537 75070 228025 | 2147483647 54727 222 | 0.000 % |
43.35/43.46 c | 55382 | 17537 75070 228025 | 2147483647 55382 222 | 0.000 % |
43.95/44.10 c | 56102 | 17537 75070 228025 | 2147483647 56102 223 | 0.000 % |
44.15/44.20 c | 56202 | 17537 75070 228025 | 2147483647 56202 223 | 0.000 % |
44.25/44.30 c | 56312 | 17537 75070 228025 | 2147483647 56312 223 | 0.000 % |
44.36/44.41 c | 56434 | 17537 75070 228025 | 2147483647 56434 222 | 0.000 % |
44.46/44.54 c | 56567 | 17537 75070 228025 | 2147483647 56567 222 | 0.000 % |
44.66/44.70 c | 56715 | 17537 75070 228025 | 2147483647 56715 222 | 0.000 % |
44.76/44.88 c | 56877 | 17537 75070 228025 | 2147483647 56877 222 | 0.000 % |
44.96/45.04 c | 57056 | 17537 75070 228025 | 2147483647 57056 222 | 0.000 % |
45.15/45.22 c | 57249 | 17537 75070 228025 | 2147483647 57249 222 | 0.000 % |
45.35/45.42 c | 57462 | 17537 75070 228025 | 2147483647 57462 222 | 0.000 % |
45.55/45.66 c | 57695 | 17537 75070 228025 | 2147483647 57695 222 | 0.000 % |
45.85/45.90 c | 57951 | 17537 75070 228025 | 2147483647 57951 222 | 0.000 % |
46.06/46.16 c | 58232 | 17537 75070 228025 | 2147483647 58232 222 | 0.000 % |
46.35/46.46 c | 58541 | 17537 75070 228025 | 2147483647 58541 222 | 0.000 % |
46.65/46.79 c | 58880 | 17537 75070 228025 | 2147483647 58880 222 | 0.000 % |
47.05/47.15 c | 59252 | 17537 75070 228025 | 2147483647 59252 222 | 0.000 % |
47.45/47.53 c | 59665 | 17537 75070 228025 | 2147483647 59665 222 | 0.000 % |
47.85/47.94 c | 60114 | 17537 75070 228025 | 2147483647 60114 222 | 0.000 % |
48.36/48.44 c | 60607 | 17537 75070 228025 | 2147483647 60607 223 | 0.000 % |
48.85/48.96 c | 61150 | 17537 75070 228025 | 2147483647 61150 223 | 0.000 % |
49.36/49.48 c | 61746 | 17537 75070 228025 | 2147483647 61746 223 | 0.000 % |
50.05/50.13 c | 62401 | 17537 75070 228025 | 2147483647 62401 224 | 0.000 % |
50.75/50.81 c | 63122 | 17537 75070 228025 | 2147483647 63122 225 | 0.000 % |
51.45/51.57 c | 63916 | 17537 75070 228025 | 2147483647 63916 225 | 0.000 % |
51.55/51.67 c | 64017 | 17537 75070 228025 | 2147483647 64017 225 | 0.000 % |
51.65/51.79 c | 64127 | 17537 75070 228025 | 2147483647 64127 225 | 0.000 % |
51.85/51.93 c | 64248 | 17537 75070 228025 | 2147483647 64248 225 | 0.000 % |
51.95/52.07 c | 64383 | 17537 75070 228025 | 2147483647 64383 225 | 0.000 % |
52.15/52.23 c | 64531 | 17537 75070 228025 | 2147483647 64531 225 | 0.000 % |
52.35/52.40 c | 64691 | 17537 75070 228025 | 2147483647 64691 225 | 0.000 % |
52.45/52.59 c | 64867 | 17537 75070 228025 | 2147483647 64867 225 | 0.000 % |
52.66/52.80 c | 65060 | 17537 75070 228025 | 2147483647 65060 225 | 0.000 % |
52.95/53.03 c | 65275 | 17537 75070 228025 | 2147483647 65275 225 | 0.000 % |
53.15/53.28 c | 65508 | 17537 75070 228025 | 2147483647 65508 225 | 0.000 % |
53.45/53.52 c | 65764 | 17537 75070 228025 | 2147483647 65764 225 | 0.000 % |
53.76/53.80 c | 66046 | 17537 75070 228025 | 2147483647 66046 225 | 0.000 % |
54.05/54.14 c | 66355 | 17537 75070 228025 | 2147483647 66355 225 | 0.000 % |
54.35/54.48 c | 66695 | 17537 75070 228025 | 2147483647 66695 225 | 0.000 % |
54.75/54.84 c | 67067 | 17537 75070 228025 | 2147483647 67067 225 | 0.000 % |
55.15/55.26 c | 67480 | 17537 75070 228025 | 2147483647 67480 225 | 0.000 % |
55.64/55.73 c | 67931 | 17537 75070 228025 | 2147483647 67931 226 | 0.000 % |
56.15/56.22 c | 68426 | 17537 75070 228025 | 2147483647 68426 226 | 0.000 % |
56.65/56.76 c | 68968 | 17537 75070 228025 | 2147483647 68968 226 | 0.000 % |
57.25/57.39 c | 69564 | 17537 75070 228025 | 2147483647 69564 227 | 0.000 % |
57.95/58.05 c | 70219 | 17537 75070 228025 | 2147483647 70219 227 | 0.000 % |
58.75/58.81 c | 70942 | 17537 75070 228025 | 2147483647 70942 227 | 0.000 % |
59.54/59.61 c | 71734 | 17537 75070 228025 | 2147483647 71734 228 | 0.000 % |
60.35/60.46 c | 72607 | 17537 75070 228025 | 2147483647 72607 228 | 0.000 % |
60.45/60.56 c | 72708 | 17537 75070 228025 | 2147483647 72708 228 | 0.000 % |
60.55/60.68 c | 72818 | 17537 75070 228025 | 2147483647 72818 228 | 0.000 % |
60.75/60.82 c | 72940 | 17537 75070 228025 | 2147483647 72940 228 | 0.000 % |
60.85/60.96 c | 73074 | 17537 75070 228025 | 2147483647 73074 228 | 0.000 % |
61.05/61.13 c | 73220 | 17537 75070 228025 | 2147483647 73220 228 | 0.000 % |
61.25/61.30 c | 73382 | 17537 75070 228025 | 2147483647 73382 228 | 0.000 % |
61.35/61.49 c | 73559 | 17537 75070 228025 | 2147483647 73559 228 | 0.000 % |
61.55/61.68 c | 73753 | 17537 75070 228025 | 2147483647 73753 228 | 0.000 % |
61.85/61.90 c | 73965 | 17537 75070 228025 | 2147483647 73965 228 | 0.000 % |
62.05/62.17 c | 74198 | 17537 75070 228025 | 2147483647 74198 228 | 0.000 % |
62.35/62.44 c | 74455 | 17537 75070 228025 | 2147483647 74455 228 | 0.000 % |
62.65/62.70 c | 74736 | 17537 75070 228025 | 2147483647 74736 228 | 0.000 % |
62.95/63.07 c | 75048 | 17537 75070 228025 | 2147483647 75048 227 | 0.000 % |
63.34/63.43 c | 75387 | 17537 75070 228025 | 2147483647 75387 228 | 0.000 % |
63.66/63.79 c | 75759 | 17537 75070 228025 | 2147483647 75759 228 | 0.000 % |
64.05/64.19 c | 76169 | 17537 75070 228025 | 2147483647 76169 227 | 0.000 % |
64.55/64.66 c | 76619 | 17537 75070 228025 | 2147483647 76619 228 | 0.000 % |
65.05/65.16 c | 77114 | 17537 75070 228025 | 2147483647 77114 228 | 0.000 % |
65.65/65.76 c | 77656 | 17537 75070 228025 | 2147483647 77656 228 | 0.000 % |
66.25/66.39 c | 78252 | 17537 75070 228025 | 2147483647 78252 229 | 0.000 % |
66.95/67.05 c | 78907 | 17537 75070 228025 | 2147483647 78907 228 | 0.000 % |
67.75/67.84 c | 79628 | 17537 75070 228025 | 2147483647 79628 229 | 0.000 % |
68.55/68.69 c | 80422 | 17537 75070 228025 | 2147483647 80422 230 | 0.000 % |
69.54/69.63 c | 81293 | 17537 75070 228025 | 2147483647 81293 230 | 0.000 % |
70.54/70.63 c | 82252 | 17537 75070 228025 | 2147483647 82252 231 | 0.000 % |
70.64/70.75 c | 82353 | 17537 75070 228025 | 2147483647 82353 231 | 0.000 % |
70.74/70.90 c | 82465 | 17537 75070 228025 | 2147483647 82465 231 | 0.000 % |
70.94/71.05 c | 82586 | 17537 75070 228025 | 2147483647 82586 231 | 0.000 % |
71.14/71.23 c | 82719 | 17537 75070 228025 | 2147483647 82719 231 | 0.000 % |
71.24/71.40 c | 82865 | 17537 75070 228025 | 2147483647 82865 231 | 0.000 % |
71.45/71.59 c | 83025 | 17537 75070 228025 | 2147483647 83025 231 | 0.000 % |
71.74/71.80 c | 83202 | 17537 75070 228025 | 2147483647 83202 231 | 0.000 % |
71.94/72.01 c | 83397 | 17537 75070 228025 | 2147483647 83397 231 | 0.000 % |
72.14/72.27 c | 83610 | 17537 75070 228025 | 2147483647 83610 231 | 0.000 % |
72.45/72.53 c | 83843 | 17537 75070 228025 | 2147483647 83843 231 | 0.000 % |
72.74/72.84 c | 84099 | 17537 75070 228025 | 2147483647 84099 231 | 0.000 % |
73.05/73.15 c | 84380 | 17537 75070 228025 | 2147483647 84380 231 | 0.000 % |
73.35/73.49 c | 84689 | 17537 75070 228025 | 2147483647 84689 231 | 0.000 % |
73.75/73.86 c | 85028 | 17537 75070 228025 | 2147483647 85028 231 | 0.000 % |
74.25/74.30 c | 85400 | 17537 75070 228025 | 2147483647 85400 231 | 0.000 % |
74.65/74.75 c | 85810 | 17537 75070 228025 | 2147483647 85810 231 | 0.000 % |
75.14/75.23 c | 86259 | 17537 75070 228025 | 2147483647 86259 231 | 0.000 % |
75.74/75.81 c | 86755 | 17537 75070 228025 | 2147483647 86755 232 | 0.000 % |
76.34/76.42 c | 87297 | 17537 75070 228025 | 2147483647 87297 232 | 0.000 % |
76.94/77.08 c | 87893 | 17537 75070 228025 | 2147483647 87893 232 | 0.000 % |
77.75/77.84 c | 88549 | 17537 75070 228025 | 2147483647 88549 232 | 0.000 % |
78.55/78.64 c | 89269 | 17537 75070 228025 | 2147483647 89269 233 | 0.000 % |
79.44/79.55 c | 90061 | 17537 75070 228025 | 2147483647 90061 233 | 0.000 % |
80.34/80.48 c | 90933 | 17537 75070 228025 | 2147483647 90933 233 | 0.000 % |
81.44/81.58 c | 91891 | 17537 75070 228025 | 2147483647 91891 233 | 0.000 % |
82.63/82.71 c | 92946 | 17537 75070 228025 | 2147483647 92946 236 | 0.000 % |
82.73/82.85 c | 93047 | 17537 75070 228025 | 2147483647 93047 236 | 0.000 % |
82.94/83.00 c | 93158 | 17537 75070 228025 | 2147483647 93158 236 | 0.000 % |
83.04/83.18 c | 93280 | 17537 75070 228025 | 2147483647 93280 236 | 0.000 % |
83.24/83.34 c | 93416 | 17537 75070 228025 | 2147483647 93416 236 | 0.000 % |
83.44/83.51 c | 93562 | 17537 75070 228025 | 2147483647 93562 236 | 0.000 % |
83.64/83.72 c | 93724 | 17537 75070 228025 | 2147483647 93724 236 | 0.000 % |
83.84/83.94 c | 93903 | 17537 75070 228025 | 2147483647 93903 235 | 0.000 % |
84.14/84.21 c | 94096 | 17537 75070 228025 | 2147483647 94096 235 | 0.000 % |
84.34/84.45 c | 94309 | 17537 75070 228025 | 2147483647 94309 235 | 0.000 % |
84.64/84.72 c | 94542 | 17537 75070 228025 | 2147483647 94542 235 | 0.000 % |
84.94/85.01 c | 94799 | 17537 75070 228025 | 2147483647 94799 235 | 0.000 % |
85.24/85.34 c | 95080 | 17537 75070 228025 | 2147483647 95080 235 | 0.000 % |
85.53/85.69 c | 95389 | 17537 75070 228025 | 2147483647 95389 236 | 0.000 % |
85.93/86.09 c | 95728 | 17537 75070 228025 | 2147483647 95728 236 | 0.000 % |
86.43/86.52 c | 96103 | 17537 75070 228025 | 2147483647 96103 236 | 0.000 % |
86.94/87.01 c | 96513 | 17537 75070 228025 | 2147483647 96513 236 | 0.000 % |
87.44/87.53 c | 96962 | 17537 75070 228025 | 2147483647 96962 236 | 0.000 % |
88.04/88.11 c | 97455 | 17537 75070 228025 | 2147483647 97455 236 | 0.000 % |
88.64/88.73 c | 97999 | 17537 75070 228025 | 2147483647 97999 236 | 0.000 % |
89.23/89.39 c | 98597 | 17537 75070 228025 | 2147483647 98597 236 | 0.000 % |
90.04/90.19 c | 99252 | 17537 75070 228025 | 2147483647 99252 237 | 0.000 % |
90.94/91.00 c | 99973 | 17537 75070 228025 | 2147483647 99973 237 | 0.000 % |
91.73/91.85 c | 100766 | 17537 75070 228025 | 2147483647 100766 237 | 0.000 % |
92.73/92.86 c | 101639 | 17537 75070 228025 | 2147483647 101639 238 | 0.000 % |
93.83/93.97 c | 102601 | 17537 75070 228025 | 2147483647 102601 238 | 0.000 % |
95.03/95.18 c | 103654 | 17537 75070 228025 | 2147483647 103654 238 | 0.000 % |
96.43/96.55 c | 104812 | 17537 75070 228025 | 2147483647 104812 238 | 0.000 % |
96.53/96.70 c | 104913 | 17537 75070 228025 | 2147483647 104913 238 | 0.000 % |
96.74/96.85 c | 105024 | 17537 75070 228025 | 2147483647 105024 238 | 0.000 % |
96.94/97.05 c | 105147 | 17537 75070 228025 | 2147483647 105147 238 | 0.000 % |
97.14/97.22 c | 105281 | 17537 75070 228025 | 2147483647 105281 238 | 0.000 % |
97.34/97.41 c | 105428 | 17537 75070 228025 | 2147483647 105428 238 | 0.000 % |
97.54/97.62 c | 105588 | 17537 75070 228025 | 2147483647 105588 238 | 0.000 % |
97.74/97.86 c | 105766 | 17537 75070 228025 | 2147483647 105766 238 | 0.000 % |
98.03/98.13 c | 105961 | 17537 75070 228025 | 2147483647 105961 238 | 0.000 % |
98.33/98.40 c | 106173 | 17537 75070 228025 | 2147483647 106173 238 | 0.000 % |
98.63/98.71 c | 106408 | 17537 75070 228025 | 2147483647 106408 237 | 0.000 % |
98.94/99.02 c | 106665 | 17537 75070 228025 | 2147483647 106665 237 | 0.000 % |
99.23/99.39 c | 106946 | 17537 75070 228025 | 2147483647 106946 237 | 0.000 % |
99.63/99.77 c | 107255 | 17537 75070 228025 | 2147483647 107255 237 | 0.000 % |
100.03/100.19 c | 107594 | 17537 75070 228025 | 2147483647 107594 238 | 0.000 % |
100.62/100.71 c | 107966 | 17537 75070 228025 | 2147483647 107966 238 | 0.000 % |
101.14/101.26 c | 108376 | 17537 75070 228025 | 2147483647 108376 238 | 0.000 % |
101.63/101.77 c | 108828 | 17537 75070 228025 | 2147483647 108828 237 | 0.000 % |
102.24/102.36 c | 109321 | 17537 75070 228025 | 2147483647 109321 237 | 0.000 % |
102.93/103.04 c | 109863 | 17537 75070 228025 | 2147483647 109863 237 | 0.000 % |
103.63/103.77 c | 110460 | 17537 75070 228025 | 2147483647 110460 237 | 0.000 % |
104.53/104.63 c | 111115 | 17537 75070 228025 | 2147483647 111115 237 | 0.000 % |
105.33/105.49 c | 111837 | 17537 75070 228025 | 2147483647 111837 238 | 0.000 % |
106.33/106.45 c | 112632 | 17537 75070 228025 | 2147483647 112632 238 | 0.000 % |
107.33/107.49 c | 113503 | 17537 75070 228025 | 2147483647 113503 238 | 0.000 % |
108.63/108.74 c | 114465 | 17537 75070 228025 | 2147483647 114465 239 | 0.000 % |
109.83/109.98 c | 115519 | 17537 75070 228025 | 2147483647 115519 239 | 0.000 % |
111.23/111.37 c | 116677 | 17537 75070 228025 | 2147483647 116677 240 | 0.000 % |
112.72/112.80 c | 117951 | 17537 75070 228025 | 2147483647 117951 240 | 0.000 % |
112.82/112.95 c | 118051 | 17537 75070 228025 | 2147483647 118051 240 | 0.000 % |
113.02/113.11 c | 118161 | 17537 75070 228025 | 2147483647 118161 240 | 0.000 % |
113.13/113.28 c | 118282 | 17537 75070 228025 | 2147483647 118282 240 | 0.000 % |
113.32/113.48 c | 118415 | 17537 75070 228025 | 2147483647 118415 240 | 0.000 % |
113.53/113.69 c | 118562 | 17537 75070 228025 | 2147483647 118562 240 | 0.000 % |
113.83/113.94 c | 118722 | 17537 75070 228025 | 2147483647 118722 240 | 0.000 % |
114.03/114.18 c | 118898 | 17537 75070 228025 | 2147483647 118898 240 | 0.000 % |
114.33/114.44 c | 119092 | 17537 75070 228025 | 2147483647 119092 240 | 0.000 % |
114.63/114.75 c | 119305 | 17537 75070 228025 | 2147483647 119305 239 | 0.000 % |
114.92/115.05 c | 119538 | 17537 75070 228025 | 2147483647 119538 239 | 0.000 % |
115.33/115.42 c | 119794 | 17537 75070 228025 | 2147483647 119794 239 | 0.000 % |
115.62/115.77 c | 120075 | 17537 75070 228025 | 2147483647 120075 239 | 0.000 % |
116.02/116.19 c | 120386 | 17537 75070 228025 | 2147483647 120386 239 | 0.000 % |
116.52/116.64 c | 120725 | 17537 75070 228025 | 2147483647 120725 239 | 0.000 % |
117.02/117.11 c | 121099 | 17537 75070 228025 | 2147483647 121099 239 | 0.000 % |
117.52/117.66 c | 121510 | 17537 75070 228025 | 2147483647 121510 239 | 0.000 % |
118.12/118.26 c | 121959 | 17537 75070 228025 | 2147483647 121959 239 | 0.000 % |
118.72/118.85 c | 122452 | 17537 75070 228025 | 2147483647 122452 239 | 0.000 % |
119.42/119.51 c | 122995 | 17537 75070 228025 | 2147483647 122995 239 | 0.000 % |
120.12/120.28 c | 123591 | 17537 75070 228025 | 2147483647 123591 239 | 0.000 % |
121.02/121.17 c | 124246 | 17537 75070 228025 | 2147483647 124246 239 | 0.000 % |
121.92/122.02 c | 124966 | 17537 75070 228025 | 2147483647 124966 240 | 0.000 % |
122.83/122.99 c | 125759 | 17537 75070 228025 | 2147483647 125759 240 | 0.000 % |
123.93/124.07 c | 126632 | 17537 75070 228025 | 2147483647 126632 240 | 0.000 % |
125.12/125.29 c | 127592 | 17537 75070 228025 | 2147483647 127592 240 | 0.000 % |
126.62/126.71 c | 128645 | 17537 75070 228025 | 2147483647 128645 240 | 0.000 % |
128.02/128.20 c | 129803 | 17537 75070 228025 | 2147483647 129803 241 | 0.000 % |
129.82/129.90 c | 131078 | 17537 75070 228025 | 2147483647 131078 241 | 0.000 % |
131.62/131.79 c | 132478 | 17537 75070 228025 | 2147483647 132478 242 | 0.000 % |
131.82/131.95 c | 132579 | 17537 75070 228025 | 2147483647 132579 242 | 0.000 % |
132.02/132.13 c | 132689 | 17537 75070 228025 | 2147483647 132689 242 | 0.000 % |
132.22/132.34 c | 132810 | 17537 75070 228025 | 2147483647 132810 242 | 0.000 % |
132.42/132.54 c | 132946 | 17537 75070 228025 | 2147483647 132946 242 | 0.000 % |
132.61/132.74 c | 133092 | 17537 75070 228025 | 2147483647 133092 242 | 0.000 % |
132.92/133.03 c | 133253 | 17537 75070 228025 | 2147483647 133253 241 | 0.000 % |
133.22/133.32 c | 133429 | 17537 75070 228025 | 2147483647 133429 241 | 0.000 % |
133.42/133.58 c | 133622 | 17537 75070 228025 | 2147483647 133622 241 | 0.000 % |
133.72/133.89 c | 133835 | 17537 75070 228025 | 2147483647 133835 241 | 0.000 % |
134.12/134.24 c | 134070 | 17537 75070 228025 | 2147483647 134070 241 | 0.000 % |
134.52/134.61 c | 134326 | 17537 75070 228025 | 2147483647 134326 241 | 0.000 % |
134.92/135.02 c | 134607 | 17537 75070 228025 | 2147483647 134607 241 | 0.000 % |
135.32/135.49 c | 134916 | 17537 75070 228025 | 2147483647 134916 241 | 0.000 % |
135.82/135.97 c | 135257 | 17537 75070 228025 | 2147483647 135257 241 | 0.000 % |
136.32/136.46 c | 135630 | 17537 75070 228025 | 2147483647 135630 241 | 0.000 % |
136.92/137.03 c | 136041 | 17537 75070 228025 | 2147483647 136041 241 | 0.000 % |
137.61/137.72 c | 136490 | 17537 75070 228025 | 2147483647 136490 241 | 0.000 % |
138.21/138.36 c | 136983 | 17537 75070 228025 | 2147483647 136983 242 | 0.000 % |
139.02/139.12 c | 137528 | 17537 75070 228025 | 2147483647 137528 241 | 0.000 % |
139.82/139.96 c | 138124 | 17537 75070 228025 | 2147483647 138124 242 | 0.000 % |
140.72/140.84 c | 138779 | 17537 75070 228025 | 2147483647 138779 242 | 0.000 % |
141.61/141.78 c | 139500 | 17537 75070 228025 | 2147483647 139500 242 | 0.000 % |
142.72/142.88 c | 140292 | 17537 75070 228025 | 2147483647 140292 242 | 0.000 % |
143.92/144.07 c | 141164 | 17537 75070 228025 | 2147483647 141164 242 | 0.000 % |
145.22/145.32 c | 142122 | 17537 75070 228025 | 2147483647 142122 242 | 0.000 % |
146.61/146.75 c | 143175 | 17537 75070 228025 | 2147483647 143175 242 | 0.000 % |
148.12/148.26 c | 144335 | 17537 75070 228025 | 2147483647 144335 243 | 0.000 % |
149.91/150.01 c | 145608 | 17537 75070 228025 | 2147483647 145608 243 | 0.000 % |
151.81/151.92 c | 147008 | 17537 75070 228025 | 2147483647 147008 243 | 0.000 % |
153.82/153.99 c | 148552 | 17537 75070 228025 | 2147483647 148552 244 | 0.000 % |
154.02/154.17 c | 148652 | 17537 75070 228025 | 2147483647 148652 244 | 0.000 % |
154.22/154.38 c | 148762 | 17537 75070 228025 | 2147483647 148762 244 | 0.000 % |
154.42/154.56 c | 148883 | 17537 75070 228025 | 2147483647 148883 244 | 0.000 % |
154.62/154.78 c | 149018 | 17537 75070 228025 | 2147483647 149018 244 | 0.000 % |
154.92/155.05 c | 149164 | 17537 75070 228025 | 2147483647 149164 244 | 0.000 % |
155.21/155.31 c | 149326 | 17537 75070 228025 | 2147483647 149326 244 | 0.000 % |
155.51/155.61 c | 149503 | 17537 75070 228025 | 2147483647 149503 244 | 0.000 % |
155.71/155.90 c | 149696 | 17537 75070 228025 | 2147483647 149696 244 | 0.000 % |
156.12/156.22 c | 149908 | 17537 75070 228025 | 2147483647 149908 244 | 0.000 % |
156.41/156.59 c | 150141 | 17537 75070 228025 | 2147483647 150141 244 | 0.000 % |
156.81/156.99 c | 150398 | 17537 75070 228025 | 2147483647 150398 243 | 0.000 % |
157.31/157.46 c | 150679 | 17537 75070 228025 | 2147483647 150679 243 | 0.000 % |
157.81/157.95 c | 150989 | 17537 75070 228025 | 2147483647 150989 243 | 0.000 % |
158.31/158.42 c | 151330 | 17537 75070 228025 | 2147483647 151330 243 | 0.000 % |
158.81/158.97 c | 151702 | 17537 75070 228025 | 2147483647 151702 243 | 0.000 % |
159.51/159.62 c | 152111 | 17537 75070 228025 | 2147483647 152111 243 | 0.000 % |
160.11/160.27 c | 152560 | 17537 75070 228025 | 2147483647 152560 243 | 0.000 % |
160.91/161.03 c | 153054 | 17537 75070 228025 | 2147483647 153054 243 | 0.000 % |
161.71/161.83 c | 153596 | 17537 75070 228025 | 2147483647 153596 243 | 0.000 % |
162.50/162.66 c | 154192 | 17537 75070 228025 | 2147483647 154192 243 | 0.000 % |
163.40/163.58 c | 154849 | 17537 75070 228025 | 2147483647 154849 244 | 0.000 % |
164.51/164.63 c | 155572 | 17537 75070 228025 | 2147483647 155572 244 | 0.000 % |
165.71/165.84 c | 156366 | 17537 75070 228025 | 2147483647 156366 244 | 0.000 % |
166.90/167.08 c | 157237 | 17537 75070 228025 | 2147483647 157237 244 | 0.000 % |
168.30/168.47 c | 158196 | 17537 75070 228025 | 2147483647 158196 244 | 0.000 % |
169.81/169.98 c | 159251 | 17537 75070 228025 | 2147483647 159251 244 | 0.000 % |
171.41/171.60 c | 160409 | 17537 75070 228025 | 2147483647 160409 245 | 0.000 % |
173.31/173.41 c | 161684 | 17537 75070 228025 | 2147483647 161684 245 | 0.000 % |
175.11/175.23 c | 163086 | 17537 75070 228025 | 2147483647 163086 245 | 0.000 % |
177.30/177.49 c | 164628 | 17537 75070 228025 | 2147483647 164628 245 | 0.000 % |
179.90/180.07 c | 166324 | 17537 75070 228025 | 2147483647 166324 246 | 0.000 % |
180.10/180.25 c | 166424 | 17537 75070 228025 | 2147483647 166424 246 | 0.000 % |
180.30/180.45 c | 166536 | 17537 75070 228025 | 2147483647 166536 246 | 0.000 % |
180.50/180.69 c | 166658 | 17537 75070 228025 | 2147483647 166658 246 | 0.000 % |
180.81/180.91 c | 166791 | 17537 75070 228025 | 2147483647 166791 246 | 0.000 % |
181.01/181.16 c | 166937 | 17537 75070 228025 | 2147483647 166937 246 | 0.000 % |
181.31/181.43 c | 167097 | 17537 75070 228025 | 2147483647 167097 246 | 0.000 % |
181.61/181.72 c | 167275 | 17537 75070 228025 | 2147483647 167275 246 | 0.000 % |
181.91/182.06 c | 167470 | 17537 75070 228025 | 2147483647 167470 246 | 0.000 % |
182.31/182.41 c | 167684 | 17537 75070 228025 | 2147483647 167684 246 | 0.000 % |
182.61/182.79 c | 167917 | 17537 75070 228025 | 2147483647 167917 246 | 0.000 % |
183.11/183.21 c | 168175 | 17537 75070 228025 | 2147483647 168175 246 | 0.000 % |
183.51/183.63 c | 168456 | 17537 75070 228025 | 2147483647 168456 246 | 0.000 % |
184.00/184.11 c | 168765 | 17537 75070 228025 | 2147483647 168765 246 | 0.000 % |
184.50/184.66 c | 169105 | 17537 75070 228025 | 2147483647 169105 246 | 0.000 % |
185.10/185.24 c | 169477 | 17537 75070 228025 | 2147483647 169477 245 | 0.000 % |
185.70/185.90 c | 169887 | 17537 75070 228025 | 2147483647 169887 245 | 0.000 % |
186.39/186.58 c | 170336 | 17537 75070 228025 | 2147483647 170336 245 | 0.000 % |
187.19/187.33 c | 170830 | 17537 75070 228025 | 2147483647 170830 245 | 0.000 % |
188.00/188.12 c | 171374 | 17537 75070 228025 | 2147483647 171374 245 | 0.000 % |
188.90/189.06 c | 171971 | 17537 75070 228025 | 2147483647 171971 245 | 0.000 % |
190.00/190.13 c | 172627 | 17537 75070 228025 | 2147483647 172627 246 | 0.000 % |
191.10/191.21 c | 173347 | 17537 75070 228025 | 2147483647 173347 246 | 0.000 % |
192.30/192.45 c | 174139 | 17537 75070 228025 | 2147483647 174139 246 | 0.000 % |
193.70/193.82 c | 175011 | 17537 75070 228025 | 2147483647 175011 246 | 0.000 % |
195.20/195.30 c | 175969 | 17537 75070 228025 | 2147483647 175969 246 | 0.000 % |
196.80/196.95 c | 177023 | 17537 75070 228025 | 2147483647 177023 246 | 0.000 % |
198.69/198.81 c | 178182 | 17537 75070 228025 | 2147483647 178182 246 | 0.000 % |
200.60/200.79 c | 179457 | 17537 75070 228025 | 2147483647 179457 247 | 0.000 % |
202.79/202.94 c | 180857 | 17537 75070 228025 | 2147483647 180857 247 | 0.000 % |
205.19/205.30 c | 182397 | 17537 75070 228025 | 2147483647 182397 247 | 0.000 % |
207.70/207.87 c | 184091 | 17537 75070 228025 | 2147483647 184091 247 | 0.000 % |
210.59/210.74 c | 185955 | 17537 75070 228025 | 2147483647 185955 248 | 0.000 % |
210.79/210.93 c | 186055 | 17537 75070 228025 | 2147483647 186055 247 | 0.000 % |
211.00/211.16 c | 186165 | 17537 75070 228025 | 2147483647 186165 247 | 0.000 % |
211.20/211.38 c | 186288 | 17537 75070 228025 | 2147483647 186288 247 | 0.000 % |
211.49/211.61 c | 186421 | 17537 75070 228025 | 2147483647 186421 247 | 0.000 % |
211.69/211.89 c | 186567 | 17537 75070 228025 | 2147483647 186567 247 | 0.000 % |
211.99/212.19 c | 186727 | 17537 75070 228025 | 2147483647 186727 247 | 0.000 % |
212.39/212.51 c | 186903 | 17537 75070 228025 | 2147483647 186903 247 | 0.000 % |
212.69/212.85 c | 187099 | 17537 75070 228025 | 2147483647 187099 247 | 0.000 % |
213.09/213.27 c | 187315 | 17537 75070 228025 | 2147483647 187315 247 | 0.000 % |
213.49/213.67 c | 187548 | 17537 75070 228025 | 2147483647 187548 247 | 0.000 % |
213.99/214.11 c | 187805 | 17537 75070 228025 | 2147483647 187805 247 | 0.000 % |
214.40/214.57 c | 188087 | 17537 75070 228025 | 2147483647 188087 247 | 0.000 % |
214.89/215.08 c | 188397 | 17537 75070 228025 | 2147483647 188397 247 | 0.000 % |
215.49/215.63 c | 188736 | 17537 75070 228025 | 2147483647 188736 247 | 0.000 % |
216.09/216.27 c | 189108 | 17537 75070 228025 | 2147483647 189108 247 | 0.000 % |
216.79/216.95 c | 189517 | 17537 75070 228025 | 2147483647 189517 247 | 0.000 % |
217.49/217.69 c | 189966 | 17537 75070 228025 | 2147483647 189966 247 | 0.000 % |
218.38/218.50 c | 190461 | 17537 75070 228025 | 2147483647 190461 247 | 0.000 % |
219.29/219.45 c | 191003 | 17537 75070 228025 | 2147483647 191003 247 | 0.000 % |
220.29/220.50 c | 191599 | 17537 75070 228025 | 2147483647 191599 247 | 0.000 % |
221.49/221.64 c | 192254 | 17537 75070 228025 | 2147483647 192254 247 | 0.000 % |
222.79/222.93 c | 192977 | 17537 75070 228025 | 2147483647 192977 247 | 0.000 % |
224.08/224.22 c | 193769 | 17537 75070 228025 | 2147483647 193769 247 | 0.000 % |
225.49/225.64 c | 194641 | 17537 75070 228025 | 2147483647 194641 247 | 0.000 % |
226.99/227.14 c | 195600 | 17537 75070 228025 | 2147483647 195600 247 | 0.000 % |
228.69/228.83 c | 196653 | 17537 75070 228025 | 2147483647 196653 247 | 0.000 % |
230.48/230.67 c | 197811 | 17537 75070 228025 | 2147483647 197811 248 | 0.000 % |
232.59/232.77 c | 199086 | 17537 75070 228025 | 2147483647 199086 248 | 0.000 % |
234.88/235.02 c | 200488 | 17537 75070 228025 | 2147483647 200488 248 | 0.000 % |
237.18/237.38 c | 202028 | 17537 75070 228025 | 2147483647 202028 248 | 0.000 % |
240.08/240.24 c | 203722 | 17537 75070 228025 | 2147483647 203722 249 | 0.000 % |
243.08/243.25 c | 205585 | 17537 75070 228025 | 2147483647 205585 250 | 0.000 % |
246.38/246.57 c | 207634 | 17537 75070 228025 | 2147483647 207634 251 | 0.000 % |
246.58/246.78 c | 207734 | 17537 75070 228025 | 2147483647 207734 251 | 0.000 % |
246.78/246.98 c | 207844 | 17537 75070 228025 | 2147483647 207844 251 | 0.000 % |
247.08/247.20 c | 207965 | 17537 75070 228025 | 2147483647 207965 250 | 0.000 % |
247.29/247.47 c | 208098 | 17537 75070 228025 | 2147483647 208098 250 | 0.000 % |
247.58/247.77 c | 208244 | 17537 75070 228025 | 2147483647 208244 250 | 0.000 % |
247.88/248.07 c | 208404 | 17537 75070 228025 | 2147483647 208404 250 | 0.000 % |
248.28/248.42 c | 208581 | 17537 75070 228025 | 2147483647 208581 250 | 0.000 % |
248.68/248.82 c | 208775 | 17537 75070 228025 | 2147483647 208775 250 | 0.000 % |
248.98/249.19 c | 208989 | 17537 75070 228025 | 2147483647 208989 250 | 0.000 % |
249.38/249.58 c | 209222 | 17537 75070 228025 | 2147483647 209222 250 | 0.000 % |
249.88/250.04 c | 209478 | 17537 75070 228025 | 2147483647 209478 250 | 0.000 % |
250.38/250.56 c | 209760 | 17537 75070 228025 | 2147483647 209760 250 | 0.000 % |
250.98/251.11 c | 210069 | 17537 75070 228025 | 2147483647 210069 250 | 0.000 % |
251.58/251.77 c | 210409 | 17537 75070 228025 | 2147483647 210409 250 | 0.000 % |
252.28/252.44 c | 210781 | 17537 75070 228025 | 2147483647 210781 250 | 0.000 % |
252.97/253.19 c | 211190 | 17537 75070 228025 | 2147483647 211190 250 | 0.000 % |
253.78/253.99 c | 211639 | 17537 75070 228025 | 2147483647 211639 250 | 0.000 % |
254.68/254.82 c | 212132 | 17537 75070 228025 | 2147483647 212132 250 | 0.000 % |
255.58/255.77 c | 212675 | 17537 75070 228025 | 2147483647 212675 250 | 0.000 % |
256.68/256.81 c | 213271 | 17537 75070 228025 | 2147483647 213271 250 | 0.000 % |
257.77/257.93 c | 213926 | 17537 75070 228025 | 2147483647 213926 250 | 0.000 % |
259.07/259.25 c | 214646 | 17537 75070 228025 | 2147483647 214646 250 | 0.000 % |
260.58/260.72 c | 215440 | 17537 75070 228025 | 2147483647 215440 251 | 0.000 % |
262.07/262.29 c | 216314 | 17537 75070 228025 | 2147483647 216314 251 | 0.000 % |
263.78/264.00 c | 217273 | 17537 75070 228025 | 2147483647 217273 251 | 0.000 % |
265.47/265.69 c | 218326 | 17537 75070 228025 | 2147483647 218326 251 | 0.000 % |
267.37/267.53 c | 219484 | 17537 75070 228025 | 2147483647 219484 252 | 0.000 % |
269.18/269.34 c | 220758 | 17537 75070 228025 | 2147483647 220758 252 | 0.000 % |
271.47/271.69 c | 222158 | 17537 75070 228025 | 2147483647 222158 252 | 0.000 % |
274.17/274.40 c | 223700 | 17537 75070 228025 | 2147483647 223700 252 | 0.000 % |
277.37/277.56 c | 225396 | 17537 75070 228025 | 2147483647 225396 253 | 0.000 % |
280.57/280.79 c | 227261 | 17537 75070 228025 | 2147483647 227261 253 | 0.000 % |
284.07/284.30 c | 229310 | 17537 75070 228025 | 2147483647 229310 254 | 0.000 % |
288.17/288.30 c | 231566 | 17537 75070 228025 | 2147483647 231566 254 | 0.000 % |
288.37/288.55 c | 231668 | 17537 75070 228025 | 2147483647 231668 254 | 0.000 % |
288.57/288.78 c | 231778 | 17537 75070 228025 | 2147483647 231778 254 | 0.000 % |
288.87/289.06 c | 231899 | 17537 75070 228025 | 2147483647 231899 254 | 0.000 % |
289.17/289.34 c | 232033 | 17537 75070 228025 | 2147483647 232033 254 | 0.000 % |
289.56/289.71 c | 232181 | 17537 75070 228025 | 2147483647 232181 254 | 0.000 % |
289.87/290.02 c | 232341 | 17537 75070 228025 | 2147483647 232341 254 | 0.000 % |
290.27/290.42 c | 232517 | 17537 75070 228025 | 2147483647 232517 254 | 0.000 % |
290.67/290.85 c | 232712 | 17537 75070 228025 | 2147483647 232712 254 | 0.000 % |
291.07/291.27 c | 232926 | 17537 75070 228025 | 2147483647 232926 254 | 0.000 % |
291.47/291.69 c | 233160 | 17537 75070 228025 | 2147483647 233160 254 | 0.000 % |
292.07/292.21 c | 233416 | 17537 75070 228025 | 2147483647 233416 254 | 0.000 % |
292.57/292.76 c | 233698 | 17537 75070 228025 | 2147483647 233698 254 | 0.000 % |
293.17/293.33 c | 234007 | 17537 75070 228025 | 2147483647 234007 254 | 0.000 % |
293.87/294.03 c | 234349 | 17537 75070 228025 | 2147483647 234349 254 | 0.000 % |
294.57/294.75 c | 234722 | 17537 75070 228025 | 2147483647 234722 254 | 0.000 % |
295.36/295.51 c | 235131 | 17537 75070 228025 | 2147483647 235131 254 | 0.000 % |
296.26/296.41 c | 235580 | 17537 75070 228025 | 2147483647 235580 254 | 0.000 % |
297.16/297.33 c | 236073 | 17537 75070 228025 | 2147483647 236073 254 | 0.000 % |
298.26/298.40 c | 236616 | 17537 75070 228025 | 2147483647 236616 254 | 0.000 % |
299.36/299.57 c | 237212 | 17537 75070 228025 | 2147483647 237212 254 | 0.000 % |
300.56/300.76 c | 237867 | 17537 75070 228025 | 2147483647 237867 254 | 0.000 % |
301.86/302.07 c | 238588 | 17537 75070 228025 | 2147483647 238588 254 | 0.000 % |
303.46/303.64 c | 239383 | 17537 75070 228025 | 2147483647 239383 254 | 0.000 % |
304.95/305.17 c | 240257 | 17537 75070 228025 | 2147483647 240257 254 | 0.000 % |
306.66/306.89 c | 241216 | 17537 75070 228025 | 2147483647 241216 254 | 0.000 % |
308.65/308.88 c | 242269 | 17537 75070 228025 | 2147483647 242269 254 | 0.000 % |
310.85/311.01 c | 243427 | 17537 75070 228025 | 2147483647 243427 254 | 0.000 % |
312.85/313.09 c | 244700 | 17537 75070 228025 | 2147483647 244700 254 | 0.000 % |
315.56/315.70 c | 246100 | 17537 75070 228025 | 2147483647 246100 254 | 0.000 % |
318.25/318.42 c | 247640 | 17537 75070 228025 | 2147483647 247640 254 | 0.000 % |
321.35/321.57 c | 249334 | 17537 75070 228025 | 2147483647 249334 255 | 0.000 % |
324.85/325.08 c | 251198 | 17537 75070 228025 | 2147483647 251198 256 | 0.000 % |
328.76/328.95 c | 253248 | 17537 75070 228025 | 2147483647 253248 256 | 0.000 % |
332.75/332.97 c | 255501 | 17537 75070 228025 | 2147483647 255501 256 | 0.000 % |
337.55/337.80 c | 257980 | 17537 75070 228025 | 2147483647 257980 256 | 0.000 % |
337.85/338.07 c | 258083 | 17537 75070 228025 | 2147483647 258083 256 | 0.000 % |
338.15/338.35 c | 258194 | 17537 75070 228025 | 2147483647 258194 256 | 0.000 % |
338.45/338.67 c | 258316 | 17537 75070 228025 | 2147483647 258316 256 | 0.000 % |
338.75/338.96 c | 258449 | 17537 75070 228025 | 2147483647 258449 256 | 0.000 % |
339.14/339.32 c | 258596 | 17537 75070 228025 | 2147483647 258596 256 | 0.000 % |
339.44/339.67 c | 258756 | 17537 75070 228025 | 2147483647 258756 256 | 0.000 % |
339.84/340.08 c | 258935 | 17537 75070 228025 | 2147483647 258935 256 | 0.000 % |
340.24/340.47 c | 259129 | 17537 75070 228025 | 2147483647 259129 256 | 0.000 % |
340.75/340.95 c | 259341 | 17537 75070 228025 | 2147483647 259341 256 | 0.000 % |
341.25/341.46 c | 259574 | 17537 75070 228025 | 2147483647 259574 256 | 0.000 % |
341.85/342.08 c | 259831 | 17537 75070 228025 | 2147483647 259831 256 | 0.000 % |
342.45/342.70 c | 260113 | 17537 75070 228025 | 2147483647 260113 256 | 0.000 % |
343.14/343.39 c | 260422 | 17537 75070 228025 | 2147483647 260422 256 | 0.000 % |
343.84/344.09 c | 260763 | 17537 75070 228025 | 2147483647 260763 256 | 0.000 % |
344.64/344.84 c | 261135 | 17537 75070 228025 | 2147483647 261135 256 | 0.000 % |
345.44/345.62 c | 261545 | 17537 75070 228025 | 2147483647 261545 256 | 0.000 % |
346.35/346.54 c | 261995 | 17537 75070 228025 | 2147483647 261995 256 | 0.000 % |
347.45/347.63 c | 262490 | 17537 75070 228025 | 2147483647 262490 256 | 0.000 % |
348.55/348.75 c | 263032 | 17537 75070 228025 | 2147483647 263032 256 | 0.000 % |
349.65/349.89 c | 263628 | 17537 75070 228025 | 2147483647 263628 256 | 0.000 % |
350.94/351.11 c | 264283 | 17537 75070 228025 | 2147483647 264283 256 | 0.000 % |
352.34/352.53 c | 265004 | 17537 75070 228025 | 2147483647 265004 256 | 0.000 % |
353.94/354.19 c | 265797 | 17537 75070 228025 | 2147483647 265797 256 | 0.000 % |
355.84/356.06 c | 266671 | 17537 75070 228025 | 2147483647 266671 256 | 0.000 % |
357.84/358.04 c | 267629 | 17537 75070 228025 | 2147483647 267629 256 | 0.000 % |
359.94/360.15 c | 268682 | 17537 75070 228025 | 2147483647 268682 256 | 0.000 % |
362.24/362.49 c | 269840 | 17537 75070 228025 | 2147483647 269840 256 | 0.000 % |
364.74/364.91 c | 271113 | 17537 75070 228025 | 2147483647 271113 256 | 0.000 % |
367.44/367.65 c | 272513 | 17537 75070 228025 | 2147483647 272513 256 | 0.000 % |
370.64/370.83 c | 274053 | 17537 75070 228025 | 2147483647 274053 256 | 0.000 % |
373.84/374.09 c | 275747 | 17537 75070 228025 | 2147483647 275747 256 | 0.000 % |
377.53/377.77 c | 277610 | 17537 75070 228025 | 2147483647 277610 256 | 0.000 % |
381.64/381.85 c | 279659 | 17537 75070 228025 | 2147483647 279659 256 | 0.000 % |
386.14/386.34 c | 281912 | 17537 75070 228025 | 2147483647 281912 257 | 0.000 % |
391.13/391.33 c | 284390 | 17537 75070 228025 | 2147483647 284390 257 | 0.000 % |
396.53/396.75 c | 287115 | 17537 75070 228025 | 2147483647 287115 258 | 0.000 % |
396.73/396.97 c | 287215 | 17537 75070 228025 | 2147483647 287215 258 | 0.000 % |
397.03/397.27 c | 287325 | 17537 75070 228025 | 2147483647 287325 258 | 0.000 % |
397.43/397.62 c | 287448 | 17537 75070 228025 | 2147483647 287448 258 | 0.000 % |
397.73/397.94 c | 287584 | 17537 75070 228025 | 2147483647 287584 257 | 0.000 % |
398.13/398.31 c | 287731 | 17537 75070 228025 | 2147483647 287731 257 | 0.000 % |
398.42/398.69 c | 287892 | 17537 75070 228025 | 2147483647 287892 257 | 0.000 % |
398.92/399.11 c | 288068 | 17537 75070 228025 | 2147483647 288068 257 | 0.000 % |
399.32/399.59 c | 288261 | 17537 75070 228025 | 2147483647 288261 257 | 0.000 % |
399.83/400.08 c | 288473 | 17537 75070 228025 | 2147483647 288473 257 | 0.000 % |
400.43/400.63 c | 288706 | 17537 75070 228025 | 2147483647 288706 257 | 0.000 % |
400.93/401.18 c | 288962 | 17537 75070 228025 | 2147483647 288962 257 | 0.000 % |
401.63/401.88 c | 289243 | 17537 75070 228025 | 2147483647 289243 257 | 0.000 % |
402.43/402.61 c | 289553 | 17537 75070 228025 | 2147483647 289553 257 | 0.000 % |
403.23/403.46 c | 289893 | 17537 75070 228025 | 2147483647 289893 257 | 0.000 % |
404.03/404.29 c | 290266 | 17537 75070 228025 | 2147483647 290266 257 | 0.000 % |
405.03/405.27 c | 290678 | 17537 75070 228025 | 2147483647 290678 257 | 0.000 % |
405.93/406.18 c | 291128 | 17537 75070 228025 | 2147483647 291128 257 | 0.000 % |
407.13/407.35 c | 291621 | 17537 75070 228025 | 2147483647 291621 257 | 0.000 % |
408.23/408.47 c | 292164 | 17537 75070 228025 | 2147483647 292164 257 | 0.000 % |
409.62/409.80 c | 292760 | 17537 75070 228025 | 2147483647 292760 257 | 0.000 % |
411.02/411.23 c | 293416 | 17537 75070 228025 | 2147483647 293416 257 | 0.000 % |
412.42/412.67 c | 294136 | 17537 75070 228025 | 2147483647 294136 257 | 0.000 % |
414.12/414.34 c | 294929 | 17537 75070 228025 | 2147483647 294929 258 | 0.000 % |
415.82/416.05 c | 295800 | 17537 75070 228025 | 2147483647 295800 258 | 0.000 % |
417.92/418.16 c | 296758 | 17537 75070 228025 | 2147483647 296758 258 | 0.000 % |
420.12/420.35 c | 297811 | 17537 75070 228025 | 2147483647 297811 258 | 0.000 % |
422.63/422.88 c | 298969 | 17537 75070 228025 | 2147483647 298969 258 | 0.000 % |
425.32/425.54 c | 300243 | 17537 75070 228025 | 2147483647 300243 258 | 0.000 % |
428.12/428.39 c | 301643 | 17537 75070 228025 | 2147483647 301643 258 | 0.000 % |
431.22/431.49 c | 303184 | 17537 75070 228025 | 2147483647 303184 259 | 0.000 % |
434.72/434.96 c | 304880 | 17537 75070 228025 | 2147483647 304880 259 | 0.000 % |
438.52/438.73 c | 306743 | 17537 75070 228025 | 2147483647 306743 259 | 0.000 % |
442.92/443.11 c | 308793 | 17537 75070 228025 | 2147483647 308793 260 | 0.000 % |
447.42/447.66 c | 311047 | 17537 75070 228025 | 2147483647 311047 260 | 0.000 % |
452.51/452.78 c | 313525 | 17537 75070 228025 | 2147483647 313525 261 | 0.000 % |
458.21/458.47 c | 316251 | 17537 75070 228025 | 2147483647 316251 261 | 0.000 % |
464.81/465.04 c | 319251 | 17537 75070 228025 | 2147483647 319251 261 | 0.000 % |
465.02/465.26 c | 319351 | 17537 75070 228025 | 2147483647 319351 261 | 0.000 % |
465.31/465.57 c | 319461 | 17537 75070 228025 | 2147483647 319461 261 | 0.000 % |
465.71/465.91 c | 319583 | 17537 75070 228025 | 2147483647 319583 261 | 0.000 % |
466.11/466.34 c | 319716 | 17537 75070 228025 | 2147483647 319716 261 | 0.000 % |
466.51/466.73 c | 319862 | 17537 75070 228025 | 2147483647 319862 261 | 0.000 % |
466.91/467.16 c | 320023 | 17537 75070 228025 | 2147483647 320023 261 | 0.000 % |
467.50/467.70 c | 320202 | 17537 75070 228025 | 2147483647 320202 261 | 0.000 % |
468.00/468.24 c | 320395 | 17537 75070 228025 | 2147483647 320395 261 | 0.000 % |
468.60/468.81 c | 320607 | 17537 75070 228025 | 2147483647 320607 261 | 0.000 % |
469.10/469.37 c | 320841 | 17537 75070 228025 | 2147483647 320841 261 | 0.000 % |
469.81/470.05 c | 321098 | 17537 75070 228025 | 2147483647 321098 261 | 0.000 % |
470.51/470.79 c | 321381 | 17537 75070 228025 | 2147483647 321381 260 | 0.000 % |
471.31/471.56 c | 321692 | 17537 75070 228025 | 2147483647 321692 260 | 0.000 % |
472.11/472.34 c | 322031 | 17537 75070 228025 | 2147483647 322031 260 | 0.000 % |
473.01/473.22 c | 322403 | 17537 75070 228025 | 2147483647 322403 260 | 0.000 % |
474.00/474.20 c | 322816 | 17537 75070 228025 | 2147483647 322816 260 | 0.000 % |
475.10/475.34 c | 323266 | 17537 75070 228025 | 2147483647 323266 260 | 0.000 % |
476.20/476.48 c | 323759 | 17537 75070 228025 | 2147483647 323759 260 | 0.000 % |
477.50/477.75 c | 324302 | 17537 75070 228025 | 2147483647 324302 260 | 0.000 % |
478.90/479.13 c | 324899 | 17537 75070 228025 | 2147483647 324899 260 | 0.000 % |
480.40/480.68 c | 325556 | 17537 75070 228025 | 2147483647 325556 260 | 0.000 % |
482.21/482.40 c | 326276 | 17537 75070 228025 | 2147483647 326276 261 | 0.000 % |
483.90/484.16 c | 327068 | 17537 75070 228025 | 2147483647 327068 261 | 0.000 % |
486.01/486.21 c | 327939 | 17537 75070 228025 | 2147483647 327939 261 | 0.000 % |
488.10/488.31 c | 328897 | 17537 75070 228025 | 2147483647 328897 260 | 0.000 % |
490.30/490.52 c | 329950 | 17537 75070 228025 | 2147483647 329950 261 | 0.000 % |
492.90/493.16 c | 331108 | 17537 75070 228025 | 2147483647 331108 261 | 0.000 % |
495.60/495.88 c | 332382 | 17537 75070 228025 | 2147483647 332382 261 | 0.000 % |
498.89/499.13 c | 333783 | 17537 75070 228025 | 2147483647 333783 261 | 0.000 % |
502.40/502.66 c | 335323 | 17537 75070 228025 | 2147483647 335323 261 | 0.000 % |
505.99/506.26 c | 337018 | 17537 75070 228025 | 2147483647 337018 262 | 0.000 % |
510.60/510.81 c | 338881 | 17537 75070 228025 | 2147483647 338881 262 | 0.000 % |
514.99/515.20 c | 340930 | 17537 75070 228025 | 2147483647 340930 262 | 0.000 % |
520.19/520.46 c | 343184 | 17537 75070 228025 | 2147483647 343184 262 | 0.000 % |
525.69/525.97 c | 345663 | 17537 75070 228025 | 2147483647 345663 262 | 0.000 % |
531.29/531.54 c | 348390 | 17537 75070 228025 | 2147483647 348390 263 | 0.000 % |
538.09/538.32 c | 351387 | 17537 75070 228025 | 2147483647 351387 263 | 0.000 % |
545.58/545.83 c | 354683 | 17537 75070 228025 | 2147483647 354683 263 | 0.000 % |
545.88/546.13 c | 354783 | 17537 75070 228025 | 2147483647 354783 263 | 0.000 % |
546.18/546.49 c | 354893 | 17537 75070 228025 | 2147483647 354893 263 | 0.000 % |
546.58/546.87 c | 355014 | 17537 75070 228025 | 2147483647 355014 263 | 0.000 % |
547.08/547.34 c | 355150 | 17537 75070 228025 | 2147483647 355150 263 | 0.000 % |
547.48/547.76 c | 355296 | 17537 75070 228025 | 2147483647 355296 263 | 0.000 % |
547.98/548.26 c | 355458 | 17537 75070 228025 | 2147483647 355458 263 | 0.000 % |
548.58/548.82 c | 355634 | 17537 75070 228025 | 2147483647 355634 263 | 0.000 % |
549.08/549.35 c | 355828 | 17537 75070 228025 | 2147483647 355828 263 | 0.000 % |
549.68/549.95 c | 356041 | 17537 75070 228025 | 2147483647 356041 263 | 0.000 % |
550.39/550.66 c | 356275 | 17537 75070 228025 | 2147483647 356275 263 | 0.000 % |
551.19/551.41 c | 356536 | 17537 75070 228025 | 2147483647 356536 263 | 0.000 % |
551.99/552.23 c | 356820 | 17537 75070 228025 | 2147483647 356820 263 | 0.000 % |
552.78/553.07 c | 357129 | 17537 75070 228025 | 2147483647 357129 263 | 0.000 % |
553.68/553.93 c | 357470 | 17537 75070 228025 | 2147483647 357470 263 | 0.000 % |
554.68/554.92 c | 357842 | 17537 75070 228025 | 2147483647 357842 263 | 0.000 % |
555.78/556.00 c | 358252 | 17537 75070 228025 | 2147483647 358252 263 | 0.000 % |
556.88/557.19 c | 358703 | 17537 75070 228025 | 2147483647 358703 263 | 0.000 % |
558.28/558.52 c | 359196 | 17537 75070 228025 | 2147483647 359196 263 | 0.000 % |
559.68/559.90 c | 359738 | 17537 75070 228025 | 2147483647 359738 263 | 0.000 % |
561.08/561.34 c | 360334 | 17537 75070 228025 | 2147483647 360334 263 | 0.000 % |
562.67/562.92 c | 360989 | 17537 75070 228025 | 2147483647 360989 263 | 0.000 % |
564.57/564.82 c | 361709 | 17537 75070 228025 | 2147483647 361709 263 | 0.000 % |
566.58/566.80 c | 362501 | 17537 75070 228025 | 2147483647 362501 263 | 0.000 % |
568.78/569.03 c | 363372 | 17537 75070 228025 | 2147483647 363372 263 | 0.000 % |
571.17/571.44 c | 364330 | 17537 75070 228025 | 2147483647 364330 263 | 0.000 % |
573.77/574.03 c | 365383 | 17537 75070 228025 | 2147483647 365383 263 | 0.000 % |
576.58/576.89 c | 366542 | 17537 75070 228025 | 2147483647 366542 263 | 0.000 % |
579.78/580.01 c | 367818 | 17537 75070 228025 | 2147483647 367818 264 | 0.000 % |
582.97/583.26 c | 369219 | 17537 75070 228025 | 2147483647 369219 264 | 0.000 % |
586.68/586.97 c | 370759 | 17537 75070 228025 | 2147483647 370759 264 | 0.000 % |
590.77/591.06 c | 372453 | 17537 75070 228025 | 2147483647 372453 264 | 0.000 % |
595.57/595.81 c | 374320 | 17537 75070 228025 | 2147483647 374320 264 | 0.000 % |
600.27/600.53 c | 376369 | 17537 75070 228025 | 2147483647 376369 264 | 0.000 % |
605.66/605.92 c | 378623 | 17537 75070 228025 | 2147483647 378623 265 | 0.000 % |
611.67/611.96 c | 381102 | 17537 75070 228025 | 2147483647 381102 265 | 0.000 % |
618.17/618.40 c | 383827 | 17537 75070 228025 | 2147483647 383827 265 | 0.000 % |
625.16/625.49 c | 386825 | 17537 75070 228025 | 2147483647 386825 266 | 0.000 % |
632.86/633.17 c | 390121 | 17537 75070 228025 | 2147483647 390121 266 | 0.000 % |
641.86/642.14 c | 393748 | 17537 75070 228025 | 2147483647 393748 266 | 0.000 % |
642.16/642.46 c | 393848 | 17537 75070 228025 | 2147483647 393848 266 | 0.000 % |
642.56/642.82 c | 393959 | 17537 75070 228025 | 2147483647 393959 266 | 0.000 % |
642.85/643.19 c | 394080 | 17537 75070 228025 | 2147483647 394080 266 | 0.000 % |
643.35/643.64 c | 394213 | 17537 75070 228025 | 2147483647 394213 266 | 0.000 % |
643.85/644.16 c | 394359 | 17537 75070 228025 | 2147483647 394359 266 | 0.000 % |
644.36/644.67 c | 394520 | 17537 75070 228025 | 2147483647 394520 266 | 0.000 % |
644.95/645.23 c | 394696 | 17537 75070 228025 | 2147483647 394696 266 | 0.000 % |
645.55/645.86 c | 394892 | 17537 75070 228025 | 2147483647 394892 266 | 0.000 % |
646.25/646.53 c | 395104 | 17537 75070 228025 | 2147483647 395104 266 | 0.000 % |
646.85/647.16 c | 395338 | 17537 75070 228025 | 2147483647 395338 266 | 0.000 % |
647.55/647.86 c | 395597 | 17537 75070 228025 | 2147483647 395597 266 | 0.000 % |
648.45/648.77 c | 395878 | 17537 75070 228025 | 2147483647 395878 266 | 0.000 % |
649.35/649.61 c | 396188 | 17537 75070 228025 | 2147483647 396188 266 | 0.000 % |
650.35/650.64 c | 396528 | 17537 75070 228025 | 2147483647 396528 266 | 0.000 % |
651.45/651.79 c | 396900 | 17537 75070 228025 | 2147483647 396900 266 | 0.000 % |
652.75/653.00 c | 397311 | 17537 75070 228025 | 2147483647 397311 266 | 0.000 % |
653.95/654.23 c | 397760 | 17537 75070 228025 | 2147483647 397760 266 | 0.000 % |
655.26/655.54 c | 398253 | 17537 75070 228025 | 2147483647 398253 266 | 0.000 % |
656.75/657.00 c | 398798 | 17537 75070 228025 | 2147483647 398798 266 | 0.000 % |
658.35/658.64 c | 399396 | 17537 75070 228025 | 2147483647 399396 266 | 0.000 % |
660.04/660.40 c | 400052 | 17537 75070 228025 | 2147483647 400052 266 | 0.000 % |
662.15/662.44 c | 400772 | 17537 75070 228025 | 2147483647 400772 266 | 0.000 % |
664.35/664.66 c | 401564 | 17537 75070 228025 | 2147483647 401564 265 | 0.000 % |
666.65/666.92 c | 402435 | 17537 75070 228025 | 2147483647 402435 266 | 0.000 % |
668.95/669.26 c | 403393 | 17537 75070 228025 | 2147483647 403393 266 | 0.000 % |
671.65/671.97 c | 404447 | 17537 75070 228025 | 2147483647 404447 266 | 0.000 % |
674.64/674.91 c | 405605 | 17537 75070 228025 | 2147483647 405605 266 | 0.000 % |
677.75/678.09 c | 406878 | 17537 75070 228025 | 2147483647 406878 266 | 0.000 % |
681.14/681.46 c | 408281 | 17537 75070 228025 | 2147483647 408281 266 | 0.000 % |
685.05/685.38 c | 409822 | 17537 75070 228025 | 2147483647 409822 266 | 0.000 % |
689.54/689.82 c | 411517 | 17537 75070 228025 | 2147483647 411517 266 | 0.000 % |
694.34/694.61 c | 413384 | 17537 75070 228025 | 2147483647 413384 266 | 0.000 % |
699.44/699.78 c | 415434 | 17537 75070 228025 | 2147483647 415434 266 | 0.000 % |
705.34/705.63 c | 417692 | 17537 75070 228025 | 2147483647 417692 267 | 0.000 % |
711.84/712.14 c | 420171 | 17537 75070 228025 | 2147483647 420171 267 | 0.000 % |
718.73/719.02 c | 422897 | 17537 75070 228025 | 2147483647 422897 267 | 0.000 % |
726.63/726.97 c | 425896 | 17537 75070 228025 | 2147483647 425896 268 | 0.000 % |
735.13/735.50 c | 429193 | 17537 75070 228025 | 2147483647 429193 268 | 0.000 % |
744.52/744.82 c | 432821 | 17537 75070 228025 | 2147483647 432821 269 | 0.000 % |
755.12/755.44 c | 436809 | 17537 75070 228025 | 2147483647 436809 269 | 0.000 % |
755.52/755.80 c | 436909 | 17537 75070 228025 | 2147483647 436909 269 | 0.000 % |
755.92/756.24 c | 437021 | 17537 75070 228025 | 2147483647 437021 269 | 0.000 % |
756.43/756.74 c | 437142 | 17537 75070 228025 | 2147483647 437142 269 | 0.000 % |
756.92/757.24 c | 437276 | 17537 75070 228025 | 2147483647 437276 269 | 0.000 % |
757.42/757.76 c | 437422 | 17537 75070 228025 | 2147483647 437422 269 | 0.000 % |
758.02/758.35 c | 437582 | 17537 75070 228025 | 2147483647 437582 269 | 0.000 % |
758.72/759.04 c | 437759 | 17537 75070 228025 | 2147483647 437759 269 | 0.000 % |
759.32/759.65 c | 437954 | 17537 75070 228025 | 2147483647 437954 269 | 0.000 % |
760.02/760.39 c | 438168 | 17537 75070 228025 | 2147483647 438168 269 | 0.000 % |
760.82/761.15 c | 438402 | 17537 75070 228025 | 2147483647 438402 269 | 0.000 % |
761.72/762.09 c | 438658 | 17537 75070 228025 | 2147483647 438658 269 | 0.000 % |
762.62/762.99 c | 438939 | 17537 75070 228025 | 2147483647 438939 269 | 0.000 % |
763.62/763.95 c | 439248 | 17537 75070 228025 | 2147483647 439248 269 | 0.000 % |
764.62/764.93 c | 439589 | 17537 75070 228025 | 2147483647 439589 269 | 0.000 % |
765.82/766.10 c | 439961 | 17537 75070 228025 | 2147483647 439961 269 | 0.000 % |
767.02/767.32 c | 440371 | 17537 75070 228025 | 2147483647 440371 269 | 0.000 % |
768.32/768.61 c | 440820 | 17537 75070 228025 | 2147483647 440820 269 | 0.000 % |
769.62/769.93 c | 441314 | 17537 75070 228025 | 2147483647 441314 269 | 0.000 % |
771.32/771.60 c | 441856 | 17537 75070 228025 | 2147483647 441856 269 | 0.000 % |
773.02/773.37 c | 442452 | 17537 75070 228025 | 2147483647 442452 268 | 0.000 % |
775.01/775.35 c | 443109 | 17537 75070 228025 | 2147483647 443109 268 | 0.000 % |
777.02/777.38 c | 443831 | 17537 75070 228025 | 2147483647 443831 268 | 0.000 % |
779.42/779.71 c | 444625 | 17537 75070 228025 | 2147483647 444625 268 | 0.000 % |
781.82/782.16 c | 445499 | 17537 75070 228025 | 2147483647 445499 268 | 0.000 % |
784.61/784.94 c | 446459 | 17537 75070 228025 | 2147483647 446459 268 | 0.000 % |
787.52/787.82 c | 447512 | 17537 75070 228025 | 2147483647 447512 268 | 0.000 % |
791.01/791.33 c | 448672 | 17537 75070 228025 | 2147483647 448672 268 | 0.000 % |
794.62/794.99 c | 449946 | 17537 75070 228025 | 2147483647 449946 269 | 0.000 % |
798.51/798.84 c | 451348 | 17537 75070 228025 | 2147483647 451348 269 | 0.000 % |
802.91/803.27 c | 452889 | 17537 75070 228025 | 2147483647 452889 269 | 0.000 % |
807.42/807.79 c | 454583 | 17537 75070 228025 | 2147483647 454583 269 | 0.000 % |
812.71/813.04 c | 456448 | 17537 75070 228025 | 2147483647 456448 269 | 0.000 % |
818.41/818.72 c | 458497 | 17537 75070 228025 | 2147483647 458497 269 | 0.000 % |
824.91/825.25 c | 460751 | 17537 75070 228025 | 2147483647 460751 270 | 0.000 % |
831.81/832.15 c | 463230 | 17537 75070 228025 | 2147483647 463230 270 | 0.000 % |
839.11/839.43 c | 465955 | 17537 75070 228025 | 2147483647 465955 270 | 0.000 % |
847.20/847.56 c | 468952 | 17537 75070 228025 | 2147483647 468952 270 | 0.000 % |
855.99/856.38 c | 472248 | 17537 75070 228025 | 2147483647 472248 271 | 0.000 % |
866.60/866.93 c | 475873 | 17537 75070 228025 | 2147483647 475873 271 | 0.000 % |
877.40/877.76 c | 479860 | 17537 75070 228025 | 2147483647 479860 272 | 0.000 % |
889.29/889.61 c | 484246 | 17537 75070 228025 | 2147483647 484246 273 | 0.000 % |
889.59/889.97 c | 484346 | 17537 75070 228025 | 2147483647 484346 273 | 0.000 % |
890.09/890.41 c | 484457 | 17537 75070 228025 | 2147483647 484457 273 | 0.000 % |
890.49/890.83 c | 484579 | 17537 75070 228025 | 2147483647 484579 273 | 0.000 % |
891.09/891.44 c | 484712 | 17537 75070 228025 | 2147483647 484712 273 | 0.000 % |
891.58/891.97 c | 484858 | 17537 75070 228025 | 2147483647 484858 273 | 0.000 % |
892.18/892.54 c | 485019 | 17537 75070 228025 | 2147483647 485019 273 | 0.000 % |
892.79/893.19 c | 485195 | 17537 75070 228025 | 2147483647 485195 273 | 0.000 % |
893.58/893.91 c | 485392 | 17537 75070 228025 | 2147483647 485392 273 | 0.000 % |
894.38/894.74 c | 485605 | 17537 75070 228025 | 2147483647 485605 273 | 0.000 % |
895.18/895.59 c | 485839 | 17537 75070 228025 | 2147483647 485839 273 | 0.000 % |
896.19/896.52 c | 486096 | 17537 75070 228025 | 2147483647 486096 273 | 0.000 % |
897.19/897.57 c | 486378 | 17537 75070 228025 | 2147483647 486378 273 | 0.000 % |
898.39/898.79 c | 486687 | 17537 75070 228025 | 2147483647 486687 273 | 0.000 % |
899.39/899.80 c | 487026 | 17537 75070 228025 | 2147483647 487026 273 | 0.000 % |
900.78/901.19 c | 487399 | 17537 75070 228025 | 2147483647 487399 273 | 0.000 % |
902.18/902.57 c | 487809 | 17537 75070 228025 | 2147483647 487809 273 | 0.000 % |
903.78/904.10 c | 488258 | 17537 75070 228025 | 2147483647 488258 273 | 0.000 % |
905.28/905.67 c | 488751 | 17537 75070 228025 | 2147483647 488751 273 | 0.000 % |
906.98/907.37 c | 489293 | 17537 75070 228025 | 2147483647 489293 273 | 0.000 % |
908.88/909.20 c | 489891 | 17537 75070 228025 | 2147483647 489891 273 | 0.000 % |
910.98/911.36 c | 490547 | 17537 75070 228025 | 2147483647 490547 272 | 0.000 % |
913.38/913.71 c | 491270 | 17537 75070 228025 | 2147483647 491270 272 | 0.000 % |
915.88/916.22 c | 492063 | 17537 75070 228025 | 2147483647 492063 272 | 0.000 % |
918.58/918.92 c | 492934 | 17537 75070 228025 | 2147483647 492934 272 | 0.000 % |
921.68/922.00 c | 493892 | 17537 75070 228025 | 2147483647 493892 272 | 0.000 % |
924.78/925.13 c | 494945 | 17537 75070 228025 | 2147483647 494945 272 | 0.000 % |
928.48/928.88 c | 496104 | 17537 75070 228025 | 2147483647 496104 272 | 0.000 % |
932.38/932.73 c | 497378 | 17537 75070 228025 | 2147483647 497378 272 | 0.000 % |
936.57/936.97 c | 498778 | 17537 75070 228025 | 2147483647 498778 273 | 0.000 % |
941.18/941.58 c | 500318 | 17537 75070 228025 | 2147483647 500318 273 | 0.000 % |
946.17/946.55 c | 502014 | 17537 75070 228025 | 2147483647 502014 273 | 0.000 % |
951.87/952.26 c | 503877 | 17537 75070 228025 | 2147483647 503877 273 | 0.000 % |
957.78/958.14 c | 505928 | 17537 75070 228025 | 2147483647 505928 273 | 0.000 % |
964.27/964.64 c | 508182 | 17537 75070 228025 | 2147483647 508182 274 | 0.000 % |
972.07/972.42 c | 510662 | 17537 75070 228025 | 2147483647 510662 274 | 0.000 % |
980.17/980.55 c | 513387 | 17537 75070 228025 | 2147483647 513387 274 | 0.000 % |
989.46/989.81 c | 516386 | 17537 75070 228025 | 2147483647 516386 274 | 0.000 % |
998.36/998.71 c | 519683 | 17537 75070 228025 | 2147483647 519683 275 | 0.000 % |
1008.55/1008.94 c | 523309 | 17537 75070 228025 | 2147483647 523309 275 | 0.000 % |
1020.55/1020.97 c | 527297 | 17537 75070 228025 | 2147483647 527297 275 | 0.000 % |
1033.45/1033.84 c | 531683 | 17537 75070 228025 | 2147483647 531683 276 | 0.000 % |
1047.85/1048.24 c | 536510 | 17537 75070 228025 | 2147483647 536510 276 | 0.000 % |
1048.44/1048.80 c | 536610 | 17537 75070 228025 | 2147483647 536610 276 | 0.000 % |
1048.95/1049.32 c | 536722 | 17537 75070 228025 | 2147483647 536722 276 | 0.000 % |
1049.44/1049.89 c | 536843 | 17537 75070 228025 | 2147483647 536843 276 | 0.000 % |
1050.05/1050.43 c | 536976 | 17537 75070 228025 | 2147483647 536976 276 | 0.000 % |
1050.64/1051.09 c | 537125 | 17537 75070 228025 | 2147483647 537125 276 | 0.000 % |
1051.25/1051.69 c | 537285 | 17537 75070 228025 | 2147483647 537285 276 | 0.000 % |
1052.04/1052.43 c | 537463 | 17537 75070 228025 | 2147483647 537463 276 | 0.000 % |
1052.74/1053.19 c | 537656 | 17537 75070 228025 | 2147483647 537656 276 | 0.000 % |
1053.64/1054.04 c | 537868 | 17537 75070 228025 | 2147483647 537868 276 | 0.000 % |
1054.44/1054.84 c | 538101 | 17537 75070 228025 | 2147483647 538101 276 | 0.000 % |
1055.44/1055.84 c | 538358 | 17537 75070 228025 | 2147483647 538358 276 | 0.000 % |
1056.55/1056.97 c | 538641 | 17537 75070 228025 | 2147483647 538641 276 | 0.000 % |
1057.75/1058.13 c | 538950 | 17537 75070 228025 | 2147483647 538950 276 | 0.000 % |
1058.95/1059.37 c | 539291 | 17537 75070 228025 | 2147483647 539291 276 | 0.000 % |
1060.34/1060.79 c | 539663 | 17537 75070 228025 | 2147483647 539663 276 | 0.000 % |
1061.84/1062.27 c | 540073 | 17537 75070 228025 | 2147483647 540073 276 | 0.000 % |
1063.54/1063.99 c | 540522 | 17537 75070 228025 | 2147483647 540522 276 | 0.000 % |
1065.44/1065.81 c | 541015 | 17537 75070 228025 | 2147483647 541015 276 | 0.000 % |
1067.34/1067.76 c | 541557 | 17537 75070 228025 | 2147483647 541557 276 | 0.000 % |
1069.44/1069.86 c | 542153 | 17537 75070 228025 | 2147483647 542153 276 | 0.000 % |
1071.64/1072.01 c | 542808 | 17537 75070 228025 | 2147483647 542808 276 | 0.000 % |
1074.04/1074.46 c | 543528 | 17537 75070 228025 | 2147483647 543528 276 | 0.000 % |
1076.94/1077.30 c | 544320 | 17537 75070 228025 | 2147483647 544320 276 | 0.000 % |
1079.94/1080.38 c | 545191 | 17537 75070 228025 | 2147483647 545191 276 | 0.000 % |
1083.04/1083.49 c | 546149 | 17537 75070 228025 | 2147483647 546149 276 | 0.000 % |
1086.64/1087.06 c | 547203 | 17537 75070 228025 | 2147483647 547203 276 | 0.000 % |
1090.43/1090.80 c | 548361 | 17537 75070 228025 | 2147483647 548361 276 | 0.000 % |
1094.63/1095.01 c | 549634 | 17537 75070 228025 | 2147483647 549634 276 | 0.000 % |
1098.93/1099.31 c | 551034 | 17537 75070 228025 | 2147483647 551034 276 | 0.000 % |
1103.94/1104.33 c | 552575 | 17537 75070 228025 | 2147483647 552575 276 | 0.000 % |
1109.43/1109.87 c | 554269 | 17537 75070 228025 | 2147483647 554269 276 | 0.000 % |
1115.43/1115.83 c | 556133 | 17537 75070 228025 | 2147483647 556133 276 | 0.000 % |
1122.22/1122.62 c | 558182 | 17537 75070 228025 | 2147483647 558182 276 | 0.000 % |
1129.33/1129.79 c | 560437 | 17537 75070 228025 | 2147483647 560437 276 | 0.000 % |
1137.02/1137.45 c | 562915 | 17537 75070 228025 | 2147483647 562915 276 | 0.000 % |
1145.73/1146.14 c | 565640 | 17537 75070 228025 | 2147483647 565640 276 | 0.000 % |
1155.42/1155.89 c | 568637 | 17537 75070 228025 | 2147483647 568637 277 | 0.000 % |
1165.62/1166.01 c | 571934 | 17537 75070 228025 | 2147483647 571934 277 | 0.000 % |
1176.91/1177.34 c | 575559 | 17537 75070 228025 | 2147483647 575559 278 | 0.000 % |
1190.01/1190.47 c | 579548 | 17537 75070 228025 | 2147483647 579548 278 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832781-1242787569/watcher-1832781-1242787569 -o /tmp/evaluation-result-1832781-1242787569/solver-1832781-1242787569 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832781-1242787569.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 7382
/proc/meminfo: memFree=1805024/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0
/proc/7382/stat : 7382 (SatELiteGTI) R 7380 7382 6722 0 -1 4194304 278 249 0 0 0 0 0 0 18 0 1 0 306786200 5484544 236 1992294400 4194304 4889804 548682068832 18446744073709551615 4408712 0 65536 4100 65538 0 0 0 17 0 0 0
/proc/7382/statm: 1339 236 196 169 0 50 0
[startup+0.0396331 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 7382
/proc/meminfo: memFree=1805024/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306786200 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7382/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101637 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 7382
/proc/meminfo: memFree=1805024/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306786200 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7382/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301657 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 7382
/proc/meminfo: memFree=1805024/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306786200 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7382/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701712 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 7382
/proc/meminfo: memFree=1805024/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 5356
[startup+1.50178 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 7388
/proc/meminfo: memFree=1796560/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=7980 CPUtime=1.15
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 1855 0 0 0 114 1 0 0 25 0 1 0 306786234 8171520 1841 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 1995 1841 77 171 0 1822 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13336
[startup+3.10295 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 7388
/proc/meminfo: memFree=1795024/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=10092 CPUtime=2.74
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 2385 0 0 0 273 1 0 0 25 0 1 0 306786234 10334208 2371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 2523 2371 77 171 0 2350 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15448
[startup+6.30128 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1790672/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=13976 CPUtime=5.94
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 3367 0 0 0 591 3 0 0 25 0 1 0 306786234 14311424 3353 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 3494 3353 77 171 0 3321 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19332
[startup+12.702 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1782224/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=22232 CPUtime=12.33
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 5407 0 0 0 1227 6 0 0 25 0 1 0 306786234 22765568 5393 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 5558 5393 77 171 0 5385 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27588
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1766608/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=37188 CPUtime=25.13
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 9169 0 0 0 2504 9 0 0 25 0 1 0 306786234 38080512 9155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528740 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 9297 9155 77 171 0 9124 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 42544
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1739024/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=65260 CPUtime=50.72
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 16147 0 0 0 5056 16 0 0 25 0 1 0 306786234 66826240 16133 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 16315 16133 77 171 0 16142 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 70616
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1690704/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=112736 CPUtime=101.91
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 28028 0 0 0 10162 29 0 0 25 0 1 0 306786234 115441664 28014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 28184 28014 77 171 0 28011 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 118092
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1644048/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=159776 CPUtime=161.87
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 39770 0 0 0 16145 42 0 0 25 0 1 0 306786234 163610624 39756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 39944 39756 77 171 0 39771 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 165132
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1602576/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=200576 CPUtime=221.86
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 49978 0 0 0 22132 54 0 0 25 0 1 0 306786234 205389824 49964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 50144 49964 77 171 0 49971 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 205932
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1561744/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=241856 CPUtime=281.84
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 60255 0 0 0 28120 64 0 0 25 0 1 0 306786234 247660544 60241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 60464 60241 77 171 0 60291 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 247212
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1525136/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=277668 CPUtime=341.82
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 69240 0 0 0 34107 75 0 0 25 0 1 0 306786234 284332032 69226 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 69417 69226 77 171 0 69244 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 283024
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1493136/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=309640 CPUtime=401.8
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 77263 0 0 0 40097 83 0 0 25 0 1 0 306786234 317071360 77249 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 77410 77249 77 171 0 77237 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 314996
[startup+462.302 s]
################
# More data... #
################
/proc/7388/statm: 93256 92979 77 171 0 93083 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 378380
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1400464/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=402092 CPUtime=581.74
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 100288 0 0 0 58065 109 0 0 25 0 1 0 306786234 411742208 100274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 100523 100274 77 171 0 100350 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 407448
[startup+642.302 s]
/proc/loadavg: 1.08 1.02 1.01 2/67 7388
/proc/meminfo: memFree=1369808/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=432224 CPUtime=641.73
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 107842 0 0 0 64056 117 0 0 25 0 1 0 306786234 442597376 107828 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 108056 107828 77 171 0 107883 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 437580
[startup+702.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/67 7388
/proc/meminfo: memFree=1344848/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=457208 CPUtime=701.71
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 114110 0 0 0 70047 124 0 0 25 0 1 0 306786234 468180992 114096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 114302 114096 77 171 0 114129 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 462564
[startup+762.305 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1316496/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=485100 CPUtime=761.69
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 121109 0 0 0 76040 129 0 0 25 0 1 0 306786234 496742400 121095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 121275 121095 77 171 0 121102 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 490456
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1292944/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=508632 CPUtime=821.67
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 127028 0 0 0 82031 136 0 0 25 0 1 0 306786234 520839168 127014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 127158 127014 77 171 0 126985 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 513988
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7388
/proc/meminfo: memFree=1263312/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=538776 CPUtime=881.66
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 134352 0 0 0 88022 144 0 0 25 0 1 0 306786234 551706624 134338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 134694 134338 77 171 0 134521 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 544132
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7394
/proc/meminfo: memFree=1240528/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=561408 CPUtime=941.64
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 140012 0 0 0 94013 151 0 0 25 0 1 0 306786234 574881792 139998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 140352 139998 77 171 0 140179 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 566764
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7394
/proc/meminfo: memFree=1213712/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=587968 CPUtime=1001.62
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 146681 0 0 0 100004 158 0 0 25 0 1 0 306786234 602079232 146667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 146992 146667 77 171 0 146819 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 593324
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7394
/proc/meminfo: memFree=1189776/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=611872 CPUtime=1061.61
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 152668 0 0 0 105997 164 0 0 25 0 1 0 306786234 626556928 152654 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 152968 152654 77 171 0 152795 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 617228
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7394
/proc/meminfo: memFree=1168720/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=632620 CPUtime=1121.59
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 157889 0 0 0 111989 170 0 0 25 0 1 0 306786234 647802880 157875 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 158155 157875 77 171 0 157982 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 637976
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7394
/proc/meminfo: memFree=1144720/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=656680 CPUtime=1181.58
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 163912 0 0 0 117981 177 0 0 25 0 1 0 306786234 672440320 163898 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 164170 163898 77 171 0 163997 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 662036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 7394
/proc/meminfo: memFree=1137488/2055924 swapFree=4157848/4192956
[pid=7382] ppid=7380 vsize=5356 CPUtime=0.33
/proc/7382/stat : 7382 (SatELiteGTI) S 7380 7382 6722 0 -1 4194304 336 2601 0 0 0 0 31 2 15 0 1 0 306786200 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7382/statm: 1339 239 197 169 0 50 0
[pid=7388] ppid=7382 vsize=663420 CPUtime=1199.68
/proc/7388/stat : 7388 (minisat_static) R 7382 7382 6722 0 -1 4194304 165614 0 0 0 119790 178 0 0 25 0 1 0 306786234 679342080 165600 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7388/statm: 165855 165600 77 171 0 165682 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 668776
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 7382 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=317951
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=26995
# CPU time returned by wait4() is 0.344946
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.01
CPU user time (s): 1198.21
CPU system time (s): 1.8
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 668776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.317951
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2937
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 10
runsolver used 1.16082 second user time and 3.2945 second system time
The end
Begin job on node83 at 2009-05-20 04:46:09
IDJOB=1832781
IDBENCH=70354
IDSOLVER=671
FILE ID=node83/1832781-1242787569
PBS_JOBID= 9322363
Free space on /tmp= 66228 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/18000/unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832781-1242787569/watcher-1832781-1242787569 -o /tmp/evaluation-result-1832781-1242787569/solver-1832781-1242787569 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832781-1242787569.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 829e6759ca030227d67c86b92c3743be
RANDOM SEED=432061400
node83.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.222
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.222
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1805568 kB
Buffers: 24508 kB
Cached: 156168 kB
SwapCached: 29512 kB
Active: 57232 kB
Inactive: 155004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1805568 kB
SwapTotal: 4192956 kB
SwapFree: 4157848 kB
Dirty: 3036 kB
Writeback: 0 kB
Mapped: 15564 kB
Slab: 24184 kB
Committed_AS: 1046092 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66224 MiB
End job on node83 at 2009-05-20 05:06:12