0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 50400 151200 | 15119 0 0 nan | 0.000 % |
0.00/0.17 c | 0 | 50099 151980 | -- 0 -- -- | -- | -301/780
0.00/0.17 c ==============================================================================
0.00/0.17 c Result : #vars: 11714 #clauses: 50099 #literals: 151980
0.00/0.17 c CPU time: 0.163975 s
0.00/0.17 c ==============================================================================
0.00/0.23 c This is MiniSat 2.0 beta
0.00/0.23 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.23 c ============================[ Problem Statistics ]=============================
0.00/0.23 c | |
0.00/0.23 c | Number of variables: 11714 |
0.00/0.23 c | Number of clauses: 50099 |
0.00/0.26 c | Parsing time: 0.03 s |
0.00/0.27 c ============================[ Search Statistics ]==============================
0.00/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.27 c ===============================================================================
0.00/0.27 c | 0 | 11714 50099 151980 | 16699 0 nan | 0.000 % |
0.22/0.30 c | 102 | 11714 50099 151980 | 16699 102 125 | 0.000 % |
0.22/0.35 c | 208 | 11714 50099 151980 | 16699 208 163 | 0.000 % |
0.22/0.39 c | 308 | 11714 50099 151980 | 16699 308 153 | 0.000 % |
0.22/0.43 c | 418 | 11714 50099 151980 | 16699 418 163 | 0.000 % |
0.22/0.47 c | 519 | 11714 50099 151980 | 16699 519 168 | 0.000 % |
0.22/0.51 c | 631 | 11714 50099 151980 | 16699 631 165 | 0.000 % |
0.22/0.56 c | 753 | 11714 50099 151980 | 16699 753 167 | 0.000 % |
0.22/0.60 c | 853 | 11714 50099 151980 | 16699 853 161 | 0.000 % |
0.22/0.63 c | 963 | 11714 50099 151980 | 16699 963 155 | 0.000 % |
0.22/0.68 c | 1084 | 11714 50099 151980 | 16699 1084 156 | 0.000 % |
0.22/0.72 c | 1217 | 11714 50099 151980 | 16699 1217 155 | 0.000 % |
0.22/0.76 c | 1317 | 11714 50099 151980 | 16699 1317 155 | 0.000 % |
0.22/0.80 c | 1428 | 11714 50099 151980 | 16699 1428 154 | 0.000 % |
0.22/0.85 c | 1550 | 11714 50099 151980 | 16699 1550 153 | 0.000 % |
0.22/0.90 c | 1683 | 11714 50099 151980 | 16699 1683 153 | 0.000 % |
0.22/0.95 c | 1830 | 11714 50099 151980 | 16699 1830 156 | 0.000 % |
0.22/0.99 c | 1930 | 11714 50099 151980 | 16699 1930 156 | 0.000 % |
0.98/1.04 c | 2040 | 11714 50099 151980 | 16699 2040 156 | 0.000 % |
0.98/1.09 c | 2162 | 11714 50099 151980 | 16699 2162 157 | 0.000 % |
1.08/1.14 c | 2295 | 11714 50099 151980 | 16699 2295 159 | 0.000 % |
1.18/1.20 c | 2441 | 11714 50099 151980 | 16699 2441 160 | 0.000 % |
1.18/1.27 c | 2601 | 11714 50099 151980 | 16699 2601 160 | 0.000 % |
1.28/1.31 c | 2704 | 11714 50099 151980 | 16699 2704 164 | 0.000 % |
1.28/1.36 c | 2814 | 11714 50099 151980 | 16699 2814 166 | 0.000 % |
1.38/1.40 c | 2935 | 11714 50099 151980 | 16699 2935 164 | 0.000 % |
1.38/1.46 c | 3069 | 11714 50099 151980 | 16699 3069 164 | 0.000 % |
1.48/1.52 c | 3215 | 11714 50099 151980 | 16699 3215 166 | 0.000 % |
1.48/1.58 c | 3375 | 11714 50099 151980 | 16699 3375 165 | 0.000 % |
1.58/1.65 c | 3551 | 11714 50099 151980 | 16699 3551 164 | 0.000 % |
1.58/1.69 c | 3651 | 11714 50099 151980 | 16699 3651 165 | 0.000 % |
1.68/1.74 c | 3764 | 11714 50099 151980 | 16699 3764 165 | 0.000 % |
1.68/1.79 c | 3885 | 11714 50099 151980 | 16699 3885 167 | 0.000 % |
1.78/1.85 c | 4018 | 11714 50099 151980 | 16699 4018 167 | 0.000 % |
1.88/1.91 c | 4164 | 11714 50099 151980 | 16699 4164 166 | 0.000 % |
1.88/1.98 c | 4326 | 11714 50099 151980 | 16699 4326 166 | 0.000 % |
1.98/2.05 c | 4504 | 11714 50099 151980 | 16699 4504 165 | 0.000 % |
2.08/2.13 c | 4697 | 11714 50099 151980 | 16699 4697 165 | 0.000 % |
2.08/2.17 c | 4798 | 11714 50099 151980 | 16699 4798 164 | 0.000 % |
2.18/2.22 c | 4911 | 11714 50099 151980 | 16699 4911 164 | 0.000 % |
2.18/2.26 c | 5032 | 11714 50099 151980 | 16699 5032 164 | 0.000 % |
2.27/2.32 c | 5166 | 11714 50099 151980 | 16699 5166 164 | 0.000 % |
2.27/2.38 c | 5312 | 11714 50099 151980 | 16699 5312 165 | 0.000 % |
2.37/2.45 c | 5473 | 11714 50099 151980 | 16699 5473 164 | 0.000 % |
2.47/2.52 c | 5649 | 11714 50099 151980 | 16699 5649 164 | 0.000 % |
2.47/2.60 c | 5842 | 11714 50099 151980 | 16699 5842 165 | 0.000 % |
2.57/2.68 c | 6055 | 11714 50099 151980 | 16699 6055 164 | 0.000 % |
2.68/2.73 c | 6156 | 11714 50099 151980 | 16699 6156 164 | 0.000 % |
2.68/2.78 c | 6268 | 11714 50099 151980 | 16699 6268 164 | 0.000 % |
2.78/2.83 c | 6392 | 11714 50099 151980 | 16699 6392 164 | 0.000 % |
2.78/2.89 c | 6526 | 11714 50099 151980 | 16699 6526 164 | 0.000 % |
2.88/2.95 c | 6675 | 11714 50099 151980 | 16699 6675 164 | 0.000 % |
2.98/3.02 c | 6835 | 11714 50099 151980 | 16699 6835 164 | 0.000 % |
3.08/3.10 c | 7013 | 11714 50099 151980 | 16699 7013 164 | 0.000 % |
3.08/3.19 c | 7206 | 11714 50099 151980 | 16699 7206 164 | 0.000 % |
3.18/3.28 c | 7419 | 11714 50099 151980 | 16699 7419 165 | 0.000 % |
3.28/3.38 c | 7653 | 11714 50099 151980 | 16699 7653 164 | 0.000 % |
3.38/3.43 c | 7754 | 11714 50099 151980 | 16699 7754 165 | 0.000 % |
3.38/3.48 c | 7865 | 11714 50099 151980 | 16699 7865 165 | 0.000 % |
3.48/3.53 c | 7986 | 11714 50099 151980 | 16699 7986 165 | 0.000 % |
3.48/3.59 c | 8119 | 11714 50099 151980 | 16699 8119 165 | 0.000 % |
3.58/3.65 c | 8265 | 11714 50099 151980 | 16699 8265 165 | 0.000 % |
3.68/3.72 c | 8425 | 11714 50099 151980 | 16699 8425 166 | 0.000 % |
3.78/3.80 c | 8601 | 11714 50099 151980 | 16699 8601 166 | 0.000 % |
3.78/3.89 c | 8796 | 11714 50099 151980 | 16699 8796 168 | 0.000 % |
3.88/3.99 c | 9008 | 11714 50099 151980 | 16699 9008 169 | 0.000 % |
3.98/4.09 c | 9244 | 11714 50099 151980 | 16699 9244 170 | 0.000 % |
4.18/4.21 c | 9500 | 11714 50099 151980 | 16699 9500 170 | 0.000 % |
4.18/4.26 c | 9601 | 11714 50099 151980 | 16699 9601 170 | 0.000 % |
4.28/4.31 c | 9712 | 11714 50099 151980 | 16699 9712 170 | 0.000 % |
4.28/4.37 c | 9833 | 11714 50099 151980 | 16699 9833 170 | 0.000 % |
4.38/4.42 c | 9966 | 11714 50099 151980 | 16699 9966 169 | 0.000 % |
4.38/4.50 c | 10113 | 11714 50099 151980 | 2147483647 10113 169 | 0.000 % |
4.48/4.57 c | 10273 | 11714 50099 151980 | 2147483647 10273 169 | 0.000 % |
4.58/4.65 c | 10449 | 11714 50099 151980 | 2147483647 10449 169 | 0.000 % |
4.68/4.73 c | 10642 | 11714 50099 151980 | 2147483647 10642 169 | 0.000 % |
4.77/4.82 c | 10854 | 11714 50099 151980 | 2147483647 10854 168 | 0.000 % |
4.88/4.93 c | 11087 | 11714 50099 151980 | 2147483647 11087 169 | 0.000 % |
4.98/5.05 c | 11343 | 11714 50099 151980 | 2147483647 11343 170 | 0.000 % |
5.08/5.18 c | 11624 | 11714 50099 151980 | 2147483647 11624 170 | 0.000 % |
5.18/5.23 c | 11725 | 11714 50099 151980 | 2147483647 11725 170 | 0.000 % |
5.18/5.29 c | 11836 | 11714 50099 151980 | 2147483647 11836 170 | 0.000 % |
5.28/5.35 c | 11958 | 11714 50099 151980 | 2147483647 11958 170 | 0.000 % |
5.38/5.41 c | 12091 | 11714 50099 151980 | 2147483647 12091 170 | 0.000 % |
5.38/5.48 c | 12237 | 11714 50099 151980 | 2147483647 12237 169 | 0.000 % |
5.48/5.56 c | 12398 | 11714 50099 151980 | 2147483647 12398 170 | 0.000 % |
5.57/5.65 c | 12575 | 11714 50099 151980 | 2147483647 12575 170 | 0.000 % |
5.67/5.75 c | 12769 | 11714 50099 151980 | 2147483647 12769 171 | 0.000 % |
5.77/5.85 c | 12987 | 11714 50099 151980 | 2147483647 12987 170 | 0.000 % |
5.87/5.96 c | 13220 | 11714 50099 151980 | 2147483647 13220 171 | 0.000 % |
5.97/6.08 c | 13477 | 11714 50099 151980 | 2147483647 13477 171 | 0.000 % |
6.17/6.22 c | 13759 | 11714 50099 151980 | 2147483647 13759 172 | 0.000 % |
6.27/6.36 c | 14069 | 11714 50099 151980 | 2147483647 14069 172 | 0.000 % |
6.37/6.42 c | 14170 | 11714 50099 151980 | 2147483647 14170 171 | 0.000 % |
6.37/6.47 c | 14280 | 11714 50099 151980 | 2147483647 14280 171 | 0.000 % |
6.48/6.54 c | 14401 | 11714 50099 151980 | 2147483647 14401 171 | 0.000 % |
6.58/6.60 c | 14535 | 11714 50099 151980 | 2147483647 14535 171 | 0.000 % |
6.58/6.67 c | 14682 | 11714 50099 151980 | 2147483647 14682 171 | 0.000 % |
6.68/6.76 c | 14844 | 11714 50099 151980 | 2147483647 14844 171 | 0.000 % |
6.78/6.84 c | 15020 | 11714 50099 151980 | 2147483647 15020 171 | 0.000 % |
6.88/6.95 c | 15215 | 11714 50099 151980 | 2147483647 15215 172 | 0.000 % |
6.98/7.05 c | 15429 | 11714 50099 151980 | 2147483647 15429 172 | 0.000 % |
7.08/7.16 c | 15662 | 11714 50099 151980 | 2147483647 15662 172 | 0.000 % |
7.18/7.29 c | 15919 | 11714 50099 151980 | 2147483647 15919 172 | 0.000 % |
7.38/7.44 c | 16202 | 11714 50099 151980 | 2147483647 16202 172 | 0.000 % |
7.48/7.60 c | 16511 | 11714 50099 151980 | 2147483647 16511 173 | 0.000 % |
7.68/7.78 c | 16851 | 11714 50099 151980 | 2147483647 16851 173 | 0.000 % |
7.78/7.83 c | 16951 | 11714 50099 151980 | 2147483647 16951 173 | 0.000 % |
7.78/7.89 c | 17061 | 11714 50099 151980 | 2147483647 17061 173 | 0.000 % |
7.88/7.96 c | 17185 | 11714 50099 151980 | 2147483647 17185 173 | 0.000 % |
7.98/8.03 c | 17318 | 11714 50099 151980 | 2147483647 17318 173 | 0.000 % |
8.08/8.10 c | 17464 | 11714 50099 151980 | 2147483647 17464 172 | 0.000 % |
8.08/8.18 c | 17624 | 11714 50099 151980 | 2147483647 17624 172 | 0.000 % |
8.18/8.27 c | 17802 | 11714 50099 151980 | 2147483647 17802 172 | 0.000 % |
8.28/8.37 c | 17996 | 11714 50099 151980 | 2147483647 17996 172 | 0.000 % |
8.38/8.48 c | 18209 | 11714 50099 151980 | 2147483647 18209 172 | 0.000 % |
8.58/8.60 c | 18443 | 11714 50099 151980 | 2147483647 18443 172 | 0.000 % |
8.68/8.74 c | 18700 | 11714 50099 151980 | 2147483647 18700 172 | 0.000 % |
8.78/8.89 c | 18983 | 11714 50099 151980 | 2147483647 18983 172 | 0.000 % |
8.98/9.05 c | 19292 | 11714 50099 151980 | 2147483647 19292 172 | 0.000 % |
9.17/9.21 c | 19632 | 11714 50099 151980 | 2147483647 19632 173 | 0.000 % |
9.37/9.40 c | 20004 | 11714 50099 151980 | 2147483647 20004 173 | 0.000 % |
9.37/9.46 c | 20104 | 11714 50099 151980 | 2147483647 20104 172 | 0.000 % |
9.47/9.52 c | 20214 | 11714 50099 151980 | 2147483647 20214 172 | 0.000 % |
9.47/9.59 c | 20335 | 11714 50099 151980 | 2147483647 20335 172 | 0.000 % |
9.57/9.66 c | 20471 | 11714 50099 151980 | 2147483647 20471 172 | 0.000 % |
9.67/9.73 c | 20617 | 11714 50099 151980 | 2147483647 20617 172 | 0.000 % |
9.78/9.82 c | 20781 | 11714 50099 151980 | 2147483647 20781 172 | 0.000 % |
9.88/9.92 c | 20957 | 11714 50099 151980 | 2147483647 20957 172 | 0.000 % |
9.97/10.03 c | 21150 | 11714 50099 151980 | 2147483647 21150 172 | 0.000 % |
10.07/10.14 c | 21362 | 11714 50099 151980 | 2147483647 21362 172 | 0.000 % |
10.17/10.26 c | 21595 | 11714 50099 151980 | 2147483647 21595 172 | 0.000 % |
10.37/10.40 c | 21854 | 11714 50099 151980 | 2147483647 21854 172 | 0.000 % |
10.47/10.56 c | 22135 | 11714 50099 151980 | 2147483647 22135 173 | 0.000 % |
10.68/10.72 c | 22446 | 11714 50099 151980 | 2147483647 22446 173 | 0.000 % |
10.88/10.90 c | 22785 | 11714 50099 151980 | 2147483647 22785 174 | 0.000 % |
11.08/11.11 c | 23158 | 11714 50099 151980 | 2147483647 23158 174 | 0.000 % |
11.28/11.33 c | 23567 | 11714 50099 151980 | 2147483647 23567 174 | 0.000 % |
11.28/11.39 c | 23669 | 11714 50099 151980 | 2147483647 23669 174 | 0.000 % |
11.38/11.45 c | 23780 | 11714 50099 151980 | 2147483647 23780 174 | 0.000 % |
11.48/11.53 c | 23902 | 11714 50099 151980 | 2147483647 23902 174 | 0.000 % |
11.58/11.60 c | 24036 | 11714 50099 151980 | 2147483647 24036 174 | 0.000 % |
11.58/11.68 c | 24182 | 11714 50099 151980 | 2147483647 24182 174 | 0.000 % |
11.68/11.76 c | 24344 | 11714 50099 151980 | 2147483647 24344 174 | 0.000 % |
11.78/11.86 c | 24523 | 11714 50099 151980 | 2147483647 24523 174 | 0.000 % |
11.88/11.97 c | 24719 | 11714 50099 151980 | 2147483647 24719 174 | 0.000 % |
11.98/12.09 c | 24933 | 11714 50099 151980 | 2147483647 24933 173 | 0.000 % |
12.18/12.22 c | 25166 | 11714 50099 151980 | 2147483647 25166 173 | 0.000 % |
12.28/12.36 c | 25424 | 11714 50099 151980 | 2147483647 25424 174 | 0.000 % |
12.48/12.51 c | 25707 | 11714 50099 151980 | 2147483647 25707 174 | 0.000 % |
12.58/12.69 c | 26016 | 11714 50099 151980 | 2147483647 26016 174 | 0.000 % |
12.78/12.88 c | 26355 | 11714 50099 151980 | 2147483647 26355 175 | 0.000 % |
12.97/13.07 c | 26727 | 11714 50099 151980 | 2147483647 26727 174 | 0.000 % |
13.27/13.30 c | 27137 | 11714 50099 151980 | 2147483647 27137 175 | 0.000 % |
13.47/13.56 c | 27586 | 11714 50099 151980 | 2147483647 27586 175 | 0.000 % |
13.57/13.63 c | 27686 | 11714 50099 151980 | 2147483647 27686 175 | 0.000 % |
13.57/13.69 c | 27796 | 11714 50099 151980 | 2147483647 27796 175 | 0.000 % |
13.67/13.78 c | 27917 | 11714 50099 151980 | 2147483647 27917 175 | 0.000 % |
13.77/13.87 c | 28051 | 11714 50099 151980 | 2147483647 28051 175 | 0.000 % |
13.87/13.96 c | 28199 | 11714 50099 151980 | 2147483647 28199 175 | 0.000 % |
13.98/14.06 c | 28361 | 11714 50099 151980 | 2147483647 28361 175 | 0.000 % |
14.08/14.16 c | 28538 | 11714 50099 151980 | 2147483647 28538 175 | 0.000 % |
14.18/14.28 c | 28731 | 11714 50099 151980 | 2147483647 28731 175 | 0.000 % |
14.38/14.40 c | 28944 | 11714 50099 151980 | 2147483647 28944 175 | 0.000 % |
14.48/14.53 c | 29177 | 11714 50099 151980 | 2147483647 29177 175 | 0.000 % |
14.58/14.67 c | 29433 | 11714 50099 151980 | 2147483647 29433 175 | 0.000 % |
14.78/14.83 c | 29714 | 11714 50099 151980 | 2147483647 29714 176 | 0.000 % |
14.98/15.00 c | 30024 | 11714 50099 151980 | 2147483647 30024 176 | 0.000 % |
15.07/15.19 c | 30363 | 11714 50099 151980 | 2147483647 30363 175 | 0.000 % |
15.28/15.40 c | 30735 | 11714 50099 151980 | 2147483647 30735 175 | 0.000 % |
15.57/15.63 c | 31145 | 11714 50099 151980 | 2147483647 31145 176 | 0.000 % |
15.77/15.88 c | 31595 | 11714 50099 151980 | 2147483647 31595 177 | 0.000 % |
16.07/16.15 c | 32089 | 11714 50099 151980 | 2147483647 32089 177 | 0.000 % |
16.17/16.22 c | 32192 | 11714 50099 151980 | 2147483647 32192 177 | 0.000 % |
16.17/16.28 c | 32302 | 11714 50099 151980 | 2147483647 32302 177 | 0.000 % |
16.27/16.35 c | 32424 | 11714 50099 151980 | 2147483647 32424 177 | 0.000 % |
16.37/16.44 c | 32558 | 11714 50099 151980 | 2147483647 32558 177 | 0.000 % |
16.47/16.54 c | 32705 | 11714 50099 151980 | 2147483647 32705 177 | 0.000 % |
16.57/16.63 c | 32867 | 11714 50099 151980 | 2147483647 32867 177 | 0.000 % |
16.67/16.75 c | 33045 | 11714 50099 151980 | 2147483647 33045 176 | 0.000 % |
16.77/16.87 c | 33241 | 11714 50099 151980 | 2147483647 33241 176 | 0.000 % |
16.97/17.00 c | 33453 | 11714 50099 151980 | 2147483647 33453 176 | 0.000 % |
17.07/17.13 c | 33686 | 11714 50099 151980 | 2147483647 33686 176 | 0.000 % |
17.17/17.29 c | 33942 | 11714 50099 151980 | 2147483647 33942 177 | 0.000 % |
17.37/17.46 c | 34224 | 11714 50099 151980 | 2147483647 34224 177 | 0.000 % |
17.57/17.64 c | 34533 | 11714 50099 151980 | 2147483647 34533 177 | 0.000 % |
17.77/17.84 c | 34872 | 11714 50099 151980 | 2147483647 34872 177 | 0.000 % |
17.97/18.07 c | 35245 | 11714 50099 151980 | 2147483647 35245 178 | 0.000 % |
18.28/18.32 c | 35654 | 11714 50099 151980 | 2147483647 35654 178 | 0.000 % |
18.48/18.58 c | 36103 | 11714 50099 151980 | 2147483647 36103 178 | 0.000 % |
18.78/18.88 c | 36597 | 11714 50099 151980 | 2147483647 36597 179 | 0.000 % |
19.17/19.20 c | 37141 | 11714 50099 151980 | 2147483647 37141 179 | 0.000 % |
19.17/19.28 c | 37243 | 11714 50099 151980 | 2147483647 37243 179 | 0.000 % |
19.27/19.34 c | 37353 | 11714 50099 151980 | 2147483647 37353 179 | 0.000 % |
19.37/19.43 c | 37474 | 11714 50099 151980 | 2147483647 37474 179 | 0.000 % |
19.47/19.51 c | 37609 | 11714 50099 151980 | 2147483647 37609 178 | 0.000 % |
19.57/19.60 c | 37756 | 11714 50099 151980 | 2147483647 37756 178 | 0.000 % |
19.68/19.70 c | 37916 | 11714 50099 151980 | 2147483647 37916 178 | 0.000 % |
19.78/19.82 c | 38095 | 11714 50099 151980 | 2147483647 38095 178 | 0.000 % |
19.87/19.95 c | 38290 | 11714 50099 151980 | 2147483647 38290 178 | 0.000 % |
19.97/20.07 c | 38502 | 11714 50099 151980 | 2147483647 38502 178 | 0.000 % |
20.17/20.22 c | 38736 | 11714 50099 151980 | 2147483647 38736 178 | 0.000 % |
20.27/20.39 c | 38993 | 11714 50099 151980 | 2147483647 38993 178 | 0.000 % |
20.47/20.56 c | 39275 | 11714 50099 151980 | 2147483647 39275 178 | 0.000 % |
20.67/20.76 c | 39584 | 11714 50099 151980 | 2147483647 39584 178 | 0.000 % |
20.97/21.00 c | 39923 | 11714 50099 151980 | 2147483647 39923 178 | 0.000 % |
21.17/21.24 c | 40295 | 11714 50099 151980 | 2147483647 40295 178 | 0.000 % |
21.47/21.51 c | 40705 | 11714 50099 151980 | 2147483647 40705 178 | 0.000 % |
21.76/21.80 c | 41154 | 11714 50099 151980 | 2147483647 41154 178 | 0.000 % |
22.06/22.12 c | 41649 | 11714 50099 151980 | 2147483647 41649 179 | 0.000 % |
22.36/22.45 c | 42191 | 11714 50099 151980 | 2147483647 42191 179 | 0.000 % |
22.77/22.84 c | 42789 | 11714 50099 151980 | 2147483647 42789 180 | 0.000 % |
22.87/22.90 c | 42890 | 11714 50099 151980 | 2147483647 42890 180 | 0.000 % |
22.87/22.98 c | 43000 | 11714 50099 151980 | 2147483647 43000 180 | 0.000 % |
22.97/23.08 c | 43121 | 11714 50099 151980 | 2147483647 43121 180 | 0.000 % |
23.07/23.17 c | 43255 | 11714 50099 151980 | 2147483647 43255 180 | 0.000 % |
23.17/23.28 c | 43404 | 11714 50099 151980 | 2147483647 43404 179 | 0.000 % |
23.37/23.40 c | 43564 | 11714 50099 151980 | 2147483647 43564 179 | 0.000 % |
23.47/23.53 c | 43740 | 11714 50099 151980 | 2147483647 43740 180 | 0.000 % |
23.57/23.68 c | 43933 | 11714 50099 151980 | 2147483647 43933 180 | 0.000 % |
23.77/23.82 c | 44148 | 11714 50099 151980 | 2147483647 44148 180 | 0.000 % |
23.87/23.98 c | 44381 | 11714 50099 151980 | 2147483647 44381 180 | 0.000 % |
24.07/24.16 c | 44638 | 11714 50099 151980 | 2147483647 44638 180 | 0.000 % |
24.27/24.34 c | 44919 | 11714 50099 151980 | 2147483647 44919 180 | 0.000 % |
24.47/24.54 c | 45230 | 11714 50099 151980 | 2147483647 45230 180 | 0.000 % |
24.67/24.76 c | 45570 | 11714 50099 151980 | 2147483647 45570 180 | 0.000 % |
24.97/25.02 c | 45942 | 11714 50099 151980 | 2147483647 45942 180 | 0.000 % |
25.27/25.32 c | 46351 | 11714 50099 151980 | 2147483647 46351 180 | 0.000 % |
25.57/25.62 c | 46802 | 11714 50099 151980 | 2147483647 46802 180 | 0.000 % |
25.86/25.95 c | 47296 | 11714 50099 151980 | 2147483647 47296 180 | 0.000 % |
26.27/26.33 c | 47838 | 11714 50099 151980 | 2147483647 47838 181 | 0.000 % |
26.66/26.74 c | 48434 | 11714 50099 151980 | 2147483647 48434 181 | 0.000 % |
27.07/27.18 c | 49092 | 11714 50099 151980 | 2147483647 49092 181 | 0.000 % |
27.17/27.27 c | 49192 | 11714 50099 151980 | 2147483647 49192 181 | 0.000 % |
27.27/27.36 c | 49304 | 11714 50099 151980 | 2147483647 49304 181 | 0.000 % |
27.37/27.45 c | 49425 | 11714 50099 151980 | 2147483647 49425 181 | 0.000 % |
27.47/27.56 c | 49558 | 11714 50099 151980 | 2147483647 49558 181 | 0.000 % |
27.57/27.67 c | 49708 | 11714 50099 151980 | 2147483647 49708 181 | 0.000 % |
27.67/27.78 c | 49868 | 11714 50099 151980 | 2147483647 49868 182 | 0.000 % |
27.87/27.90 c | 50044 | 11714 50099 151980 | 2147483647 50044 181 | 0.000 % |
27.97/28.05 c | 50237 | 11714 50099 151980 | 2147483647 50237 181 | 0.000 % |
28.07/28.19 c | 50449 | 11714 50099 151980 | 2147483647 50449 181 | 0.000 % |
28.27/28.37 c | 50682 | 11714 50099 151980 | 2147483647 50682 181 | 0.000 % |
28.47/28.54 c | 50939 | 11714 50099 151980 | 2147483647 50939 181 | 0.000 % |
28.67/28.75 c | 51221 | 11714 50099 151980 | 2147483647 51221 181 | 0.000 % |
28.87/28.99 c | 51531 | 11714 50099 151980 | 2147483647 51531 181 | 0.000 % |
29.16/29.24 c | 51870 | 11714 50099 151980 | 2147483647 51870 181 | 0.000 % |
29.36/29.49 c | 52242 | 11714 50099 151980 | 2147483647 52242 181 | 0.000 % |
29.76/29.81 c | 52651 | 11714 50099 151980 | 2147483647 52651 181 | 0.000 % |
30.07/30.14 c | 53100 | 11714 50099 151980 | 2147483647 53100 181 | 0.000 % |
30.37/30.50 c | 53593 | 11714 50099 151980 | 2147483647 53593 182 | 0.000 % |
30.77/30.87 c | 54136 | 11714 50099 151980 | 2147483647 54136 183 | 0.000 % |
31.27/31.31 c | 54733 | 11714 50099 151980 | 2147483647 54733 183 | 0.000 % |
31.67/31.79 c | 55388 | 11714 50099 151980 | 2147483647 55388 183 | 0.000 % |
32.26/32.31 c | 56110 | 11714 50099 151980 | 2147483647 56110 184 | 0.000 % |
32.36/32.40 c | 56211 | 11714 50099 151980 | 2147483647 56211 184 | 0.000 % |
32.36/32.49 c | 56321 | 11714 50099 151980 | 2147483647 56321 184 | 0.000 % |
32.46/32.58 c | 56442 | 11714 50099 151980 | 2147483647 56442 184 | 0.000 % |
32.56/32.67 c | 56576 | 11714 50099 151980 | 2147483647 56576 184 | 0.000 % |
32.76/32.80 c | 56723 | 11714 50099 151980 | 2147483647 56723 183 | 0.000 % |
32.87/32.93 c | 56883 | 11714 50099 151980 | 2147483647 56883 184 | 0.000 % |
32.97/33.06 c | 57062 | 11714 50099 151980 | 2147483647 57062 184 | 0.000 % |
33.16/33.22 c | 57255 | 11714 50099 151980 | 2147483647 57255 184 | 0.000 % |
33.26/33.38 c | 57467 | 11714 50099 151980 | 2147483647 57467 184 | 0.000 % |
33.46/33.55 c | 57701 | 11714 50099 151980 | 2147483647 57701 184 | 0.000 % |
33.66/33.75 c | 57957 | 11714 50099 151980 | 2147483647 57957 184 | 0.000 % |
33.87/33.95 c | 58239 | 11714 50099 151980 | 2147483647 58239 184 | 0.000 % |
34.17/34.20 c | 58549 | 11714 50099 151980 | 2147483647 58549 184 | 0.000 % |
34.37/34.47 c | 58888 | 11714 50099 151980 | 2147483647 58888 184 | 0.000 % |
34.67/34.74 c | 59261 | 11714 50099 151980 | 2147483647 59261 184 | 0.000 % |
34.97/35.08 c | 59670 | 11714 50099 151980 | 2147483647 59670 184 | 0.000 % |
35.37/35.42 c | 60121 | 11714 50099 151980 | 2147483647 60121 184 | 0.000 % |
35.66/35.80 c | 60617 | 11714 50099 151980 | 2147483647 60617 185 | 0.000 % |
36.07/36.18 c | 61159 | 11714 50099 151980 | 2147483647 61159 185 | 0.000 % |
36.57/36.67 c | 61756 | 11714 50099 151980 | 2147483647 61756 185 | 0.000 % |
37.07/37.18 c | 62411 | 11714 50099 151980 | 2147483647 62411 185 | 0.000 % |
37.66/37.72 c | 63132 | 11714 50099 151980 | 2147483647 63132 185 | 0.000 % |
38.27/38.33 c | 63924 | 11714 50099 151980 | 2147483647 63924 185 | 0.000 % |
38.37/38.41 c | 64025 | 11714 50099 151980 | 2147483647 64025 185 | 0.000 % |
38.47/38.52 c | 64136 | 11714 50099 151980 | 2147483647 64136 185 | 0.000 % |
38.57/38.63 c | 64257 | 11714 50099 151980 | 2147483647 64257 185 | 0.000 % |
38.66/38.74 c | 64390 | 11714 50099 151980 | 2147483647 64390 185 | 0.000 % |
38.76/38.87 c | 64539 | 11714 50099 151980 | 2147483647 64539 185 | 0.000 % |
38.96/39.02 c | 64701 | 11714 50099 151980 | 2147483647 64701 185 | 0.000 % |
39.06/39.18 c | 64877 | 11714 50099 151980 | 2147483647 64877 185 | 0.000 % |
39.26/39.33 c | 65071 | 11714 50099 151980 | 2147483647 65071 185 | 0.000 % |
39.47/39.51 c | 65284 | 11714 50099 151980 | 2147483647 65284 185 | 0.000 % |
39.57/39.69 c | 65518 | 11714 50099 151980 | 2147483647 65518 185 | 0.000 % |
39.86/39.92 c | 65777 | 11714 50099 151980 | 2147483647 65777 184 | 0.000 % |
40.06/40.16 c | 66059 | 11714 50099 151980 | 2147483647 66059 185 | 0.000 % |
40.36/40.41 c | 66368 | 11714 50099 151980 | 2147483647 66368 184 | 0.000 % |
40.56/40.68 c | 66707 | 11714 50099 151980 | 2147483647 66707 184 | 0.000 % |
40.87/40.99 c | 67081 | 11714 50099 151980 | 2147483647 67081 185 | 0.000 % |
41.26/41.31 c | 67491 | 11714 50099 151980 | 2147483647 67491 185 | 0.000 % |
41.56/41.69 c | 67941 | 11714 50099 151980 | 2147483647 67941 185 | 0.000 % |
41.96/42.08 c | 68437 | 11714 50099 151980 | 2147483647 68437 185 | 0.000 % |
42.47/42.51 c | 68979 | 11714 50099 151980 | 2147483647 68979 185 | 0.000 % |
42.87/42.97 c | 69580 | 11714 50099 151980 | 2147483647 69580 186 | 0.000 % |
43.46/43.51 c | 70235 | 11714 50099 151980 | 2147483647 70235 186 | 0.000 % |
43.96/44.09 c | 70958 | 11714 50099 151980 | 2147483647 70958 187 | 0.000 % |
44.67/44.73 c | 71750 | 11714 50099 151980 | 2147483647 71750 187 | 0.000 % |
45.36/45.42 c | 72621 | 11714 50099 151980 | 2147483647 72621 188 | 0.000 % |
45.46/45.51 c | 72721 | 11714 50099 151980 | 2147483647 72721 188 | 0.000 % |
45.56/45.61 c | 72831 | 11714 50099 151980 | 2147483647 72831 188 | 0.000 % |
45.66/45.72 c | 72952 | 11714 50099 151980 | 2147483647 72952 188 | 0.000 % |
45.76/45.84 c | 73085 | 11714 50099 151980 | 2147483647 73085 188 | 0.000 % |
45.86/45.97 c | 73231 | 11714 50099 151980 | 2147483647 73231 187 | 0.000 % |
46.07/46.12 c | 73391 | 11714 50099 151980 | 2147483647 73391 187 | 0.000 % |
46.17/46.27 c | 73567 | 11714 50099 151980 | 2147483647 73567 187 | 0.000 % |
46.36/46.45 c | 73760 | 11714 50099 151980 | 2147483647 73760 187 | 0.000 % |
46.56/46.64 c | 73972 | 11714 50099 151980 | 2147483647 73972 187 | 0.000 % |
46.76/46.84 c | 74205 | 11714 50099 151980 | 2147483647 74205 187 | 0.000 % |
46.96/47.04 c | 74461 | 11714 50099 151980 | 2147483647 74461 187 | 0.000 % |
47.26/47.30 c | 74742 | 11714 50099 151980 | 2147483647 74742 187 | 0.000 % |
47.46/47.56 c | 75051 | 11714 50099 151980 | 2147483647 75051 187 | 0.000 % |
47.76/47.86 c | 75394 | 11714 50099 151980 | 2147483647 75394 187 | 0.000 % |
48.06/48.17 c | 75767 | 11714 50099 151980 | 2147483647 75767 187 | 0.000 % |
48.46/48.54 c | 76178 | 11714 50099 151980 | 2147483647 76178 188 | 0.000 % |
48.86/48.93 c | 76627 | 11714 50099 151980 | 2147483647 76627 188 | 0.000 % |
49.26/49.37 c | 77122 | 11714 50099 151980 | 2147483647 77122 188 | 0.000 % |
49.76/49.80 c | 77664 | 11714 50099 151980 | 2147483647 77664 188 | 0.000 % |
50.16/50.28 c | 78260 | 11714 50099 151980 | 2147483647 78260 188 | 0.000 % |
50.77/50.86 c | 78915 | 11714 50099 151980 | 2147483647 78915 188 | 0.000 % |
51.36/51.49 c | 79635 | 11714 50099 151980 | 2147483647 79635 188 | 0.000 % |
52.06/52.11 c | 80427 | 11714 50099 151980 | 2147483647 80427 189 | 0.000 % |
52.77/52.87 c | 81299 | 11714 50099 151980 | 2147483647 81299 189 | 0.000 % |
53.56/53.69 c | 82259 | 11714 50099 151980 | 2147483647 82259 189 | 0.000 % |
53.66/53.80 c | 82359 | 11714 50099 151980 | 2147483647 82359 189 | 0.000 % |
53.86/53.91 c | 82470 | 11714 50099 151980 | 2147483647 82470 189 | 0.000 % |
53.96/54.04 c | 82592 | 11714 50099 151980 | 2147483647 82592 189 | 0.000 % |
54.06/54.19 c | 82725 | 11714 50099 151980 | 2147483647 82725 189 | 0.000 % |
54.25/54.33 c | 82871 | 11714 50099 151980 | 2147483647 82871 189 | 0.000 % |
54.36/54.48 c | 83031 | 11714 50099 151980 | 2147483647 83031 189 | 0.000 % |
54.56/54.64 c | 83207 | 11714 50099 151980 | 2147483647 83207 188 | 0.000 % |
54.76/54.82 c | 83400 | 11714 50099 151980 | 2147483647 83400 188 | 0.000 % |
54.97/55.01 c | 83612 | 11714 50099 151980 | 2147483647 83612 188 | 0.000 % |
55.16/55.22 c | 83847 | 11714 50099 151980 | 2147483647 83847 189 | 0.000 % |
55.36/55.44 c | 84103 | 11714 50099 151980 | 2147483647 84103 189 | 0.000 % |
55.56/55.67 c | 84385 | 11714 50099 151980 | 2147483647 84385 188 | 0.000 % |
55.86/55.95 c | 84695 | 11714 50099 151980 | 2147483647 84695 189 | 0.000 % |
56.16/56.25 c | 85036 | 11714 50099 151980 | 2147483647 85036 189 | 0.000 % |
56.46/56.58 c | 85408 | 11714 50099 151980 | 2147483647 85408 189 | 0.000 % |
56.86/56.96 c | 85819 | 11714 50099 151980 | 2147483647 85819 189 | 0.000 % |
57.26/57.36 c | 86270 | 11714 50099 151980 | 2147483647 86270 189 | 0.000 % |
57.75/57.82 c | 86764 | 11714 50099 151980 | 2147483647 86764 189 | 0.000 % |
58.26/58.31 c | 87306 | 11714 50099 151980 | 2147483647 87306 189 | 0.000 % |
58.75/58.86 c | 87903 | 11714 50099 151980 | 2147483647 87903 189 | 0.000 % |
59.36/59.41 c | 88558 | 11714 50099 151980 | 2147483647 88558 189 | 0.000 % |
59.96/60.07 c | 89279 | 11714 50099 151980 | 2147483647 89279 190 | 0.000 % |
60.66/60.79 c | 90073 | 11714 50099 151980 | 2147483647 90073 190 | 0.000 % |
61.46/61.55 c | 90945 | 11714 50099 151980 | 2147483647 90945 190 | 0.000 % |
62.35/62.40 c | 91903 | 11714 50099 151980 | 2147483647 91903 190 | 0.000 % |
63.26/63.34 c | 92957 | 11714 50099 151980 | 2147483647 92957 191 | 0.000 % |
63.36/63.45 c | 93057 | 11714 50099 151980 | 2147483647 93057 191 | 0.000 % |
63.46/63.57 c | 93167 | 11714 50099 151980 | 2147483647 93167 191 | 0.000 % |
63.56/63.69 c | 93288 | 11714 50099 151980 | 2147483647 93288 191 | 0.000 % |
63.76/63.83 c | 93421 | 11714 50099 151980 | 2147483647 93421 191 | 0.000 % |
63.86/63.99 c | 93568 | 11714 50099 151980 | 2147483647 93568 191 | 0.000 % |
64.06/64.16 c | 93728 | 11714 50099 151980 | 2147483647 93728 191 | 0.000 % |
64.26/64.35 c | 93904 | 11714 50099 151980 | 2147483647 93904 191 | 0.000 % |
64.46/64.54 c | 94097 | 11714 50099 151980 | 2147483647 94097 191 | 0.000 % |
64.66/64.78 c | 94311 | 11714 50099 151980 | 2147483647 94311 191 | 0.000 % |
64.95/65.01 c | 94545 | 11714 50099 151980 | 2147483647 94545 191 | 0.000 % |
65.15/65.27 c | 94801 | 11714 50099 151980 | 2147483647 94801 191 | 0.000 % |
65.45/65.55 c | 95084 | 11714 50099 151980 | 2147483647 95084 191 | 0.000 % |
65.75/65.86 c | 95394 | 11714 50099 151980 | 2147483647 95394 191 | 0.000 % |
66.05/66.19 c | 95734 | 11714 50099 151980 | 2147483647 95734 191 | 0.000 % |
66.45/66.56 c | 96106 | 11714 50099 151980 | 2147483647 96106 190 | 0.000 % |
66.85/66.94 c | 96515 | 11714 50099 151980 | 2147483647 96515 190 | 0.000 % |
67.36/67.40 c | 96964 | 11714 50099 151980 | 2147483647 96964 191 | 0.000 % |
67.76/67.89 c | 97457 | 11714 50099 151980 | 2147483647 97457 191 | 0.000 % |
68.25/68.37 c | 97999 | 11714 50099 151980 | 2147483647 97999 191 | 0.000 % |
68.85/68.95 c | 98595 | 11714 50099 151980 | 2147483647 98595 191 | 0.000 % |
69.45/69.57 c | 99252 | 11714 50099 151980 | 2147483647 99252 191 | 0.000 % |
70.15/70.29 c | 99973 | 11714 50099 151980 | 2147483647 99973 191 | 0.000 % |
70.95/71.06 c | 100766 | 11714 50099 151980 | 2147483647 100766 191 | 0.000 % |
71.75/71.88 c | 101638 | 11714 50099 151980 | 2147483647 101638 191 | 0.000 % |
72.65/72.74 c | 102596 | 11714 50099 151980 | 2147483647 102596 191 | 0.000 % |
73.66/73.77 c | 103650 | 11714 50099 151980 | 2147483647 103650 192 | 0.000 % |
74.75/74.83 c | 104808 | 11714 50099 151980 | 2147483647 104808 193 | 0.000 % |
74.85/74.93 c | 104908 | 11714 50099 151980 | 2147483647 104908 193 | 0.000 % |
74.95/75.05 c | 105018 | 11714 50099 151980 | 2147483647 105018 193 | 0.000 % |
75.15/75.21 c | 105144 | 11714 50099 151980 | 2147483647 105144 193 | 0.000 % |
75.25/75.35 c | 105277 | 11714 50099 151980 | 2147483647 105277 192 | 0.000 % |
75.45/75.52 c | 105423 | 11714 50099 151980 | 2147483647 105423 192 | 0.000 % |
75.55/75.69 c | 105583 | 11714 50099 151980 | 2147483647 105583 192 | 0.000 % |
75.85/75.93 c | 105759 | 11714 50099 151980 | 2147483647 105759 192 | 0.000 % |
76.05/76.13 c | 105952 | 11714 50099 151980 | 2147483647 105952 192 | 0.000 % |
76.25/76.38 c | 106164 | 11714 50099 151980 | 2147483647 106164 192 | 0.000 % |
76.55/76.62 c | 106397 | 11714 50099 151980 | 2147483647 106397 192 | 0.000 % |
76.76/76.89 c | 106655 | 11714 50099 151980 | 2147483647 106655 192 | 0.000 % |
77.15/77.22 c | 106937 | 11714 50099 151980 | 2147483647 106937 192 | 0.000 % |
77.45/77.53 c | 107246 | 11714 50099 151980 | 2147483647 107246 192 | 0.000 % |
77.85/77.91 c | 107585 | 11714 50099 151980 | 2147483647 107585 192 | 0.000 % |
78.25/78.31 c | 107957 | 11714 50099 151980 | 2147483647 107957 192 | 0.000 % |
78.65/78.78 c | 108366 | 11714 50099 151980 | 2147483647 108366 192 | 0.000 % |
79.15/79.24 c | 108815 | 11714 50099 151980 | 2147483647 108815 192 | 0.000 % |
79.65/79.75 c | 109308 | 11714 50099 151980 | 2147483647 109308 192 | 0.000 % |
80.25/80.32 c | 109852 | 11714 50099 151980 | 2147483647 109852 193 | 0.000 % |
80.85/80.90 c | 110450 | 11714 50099 151980 | 2147483647 110450 193 | 0.000 % |
81.45/81.57 c | 111107 | 11714 50099 151980 | 2147483647 111107 193 | 0.000 % |
82.25/82.33 c | 111827 | 11714 50099 151980 | 2147483647 111827 193 | 0.000 % |
83.05/83.18 c | 112622 | 11714 50099 151980 | 2147483647 112622 193 | 0.000 % |
84.05/84.10 c | 113494 | 11714 50099 151980 | 2147483647 113494 193 | 0.000 % |
85.05/85.11 c | 114453 | 11714 50099 151980 | 2147483647 114453 193 | 0.000 % |
86.05/86.16 c | 115506 | 11714 50099 151980 | 2147483647 115506 194 | 0.000 % |
87.24/87.32 c | 116665 | 11714 50099 151980 | 2147483647 116665 194 | 0.000 % |
88.55/88.65 c | 117939 | 11714 50099 151980 | 2147483647 117939 194 | 0.000 % |
88.65/88.79 c | 118040 | 11714 50099 151980 | 2147483647 118040 194 | 0.000 % |
88.85/88.94 c | 118151 | 11714 50099 151980 | 2147483647 118151 194 | 0.000 % |
89.05/89.11 c | 118272 | 11714 50099 151980 | 2147483647 118272 194 | 0.000 % |
89.15/89.27 c | 118405 | 11714 50099 151980 | 2147483647 118405 194 | 0.000 % |
89.35/89.46 c | 118554 | 11714 50099 151980 | 2147483647 118554 194 | 0.000 % |
89.54/89.66 c | 118714 | 11714 50099 151980 | 2147483647 118714 194 | 0.000 % |
89.75/89.86 c | 118890 | 11714 50099 151980 | 2147483647 118890 194 | 0.000 % |
90.05/90.11 c | 119086 | 11714 50099 151980 | 2147483647 119086 194 | 0.000 % |
90.25/90.37 c | 119299 | 11714 50099 151980 | 2147483647 119299 194 | 0.000 % |
90.55/90.62 c | 119533 | 11714 50099 151980 | 2147483647 119533 194 | 0.000 % |
90.85/90.92 c | 119789 | 11714 50099 151980 | 2147483647 119789 194 | 0.000 % |
91.15/91.23 c | 120070 | 11714 50099 151980 | 2147483647 120070 194 | 0.000 % |
91.55/91.62 c | 120379 | 11714 50099 151980 | 2147483647 120379 194 | 0.000 % |
91.94/92.02 c | 120718 | 11714 50099 151980 | 2147483647 120718 194 | 0.000 % |
92.35/92.45 c | 121091 | 11714 50099 151980 | 2147483647 121091 194 | 0.000 % |
92.84/92.93 c | 121500 | 11714 50099 151980 | 2147483647 121500 194 | 0.000 % |
93.35/93.43 c | 121949 | 11714 50099 151980 | 2147483647 121949 194 | 0.000 % |
93.85/93.93 c | 122443 | 11714 50099 151980 | 2147483647 122443 194 | 0.000 % |
94.35/94.50 c | 122986 | 11714 50099 151980 | 2147483647 122986 194 | 0.000 % |
95.05/95.14 c | 123582 | 11714 50099 151980 | 2147483647 123582 194 | 0.000 % |
95.74/95.84 c | 124238 | 11714 50099 151980 | 2147483647 124238 194 | 0.000 % |
96.44/96.55 c | 124960 | 11714 50099 151980 | 2147483647 124960 194 | 0.000 % |
97.34/97.41 c | 125752 | 11714 50099 151980 | 2147483647 125752 195 | 0.000 % |
98.25/98.34 c | 126623 | 11714 50099 151980 | 2147483647 126623 195 | 0.000 % |
99.24/99.37 c | 127581 | 11714 50099 151980 | 2147483647 127581 195 | 0.000 % |
100.44/100.54 c | 128635 | 11714 50099 151980 | 2147483647 128635 195 | 0.000 % |
101.74/101.85 c | 129793 | 11714 50099 151980 | 2147483647 129793 196 | 0.000 % |
103.14/103.27 c | 131067 | 11714 50099 151980 | 2147483647 131067 196 | 0.000 % |
104.84/104.95 c | 132467 | 11714 50099 151980 | 2147483647 132467 197 | 0.000 % |
104.94/105.08 c | 132568 | 11714 50099 151980 | 2147483647 132568 197 | 0.000 % |
105.14/105.24 c | 132678 | 11714 50099 151980 | 2147483647 132678 197 | 0.000 % |
105.24/105.39 c | 132799 | 11714 50099 151980 | 2147483647 132799 197 | 0.000 % |
105.45/105.58 c | 132934 | 11714 50099 151980 | 2147483647 132934 196 | 0.000 % |
105.64/105.79 c | 133081 | 11714 50099 151980 | 2147483647 133081 196 | 0.000 % |
105.94/106.02 c | 133242 | 11714 50099 151980 | 2147483647 133242 196 | 0.000 % |
106.14/106.24 c | 133418 | 11714 50099 151980 | 2147483647 133418 196 | 0.000 % |
106.34/106.48 c | 133611 | 11714 50099 151980 | 2147483647 133611 196 | 0.000 % |
106.64/106.73 c | 133825 | 11714 50099 151980 | 2147483647 133825 196 | 0.000 % |
106.84/106.96 c | 134060 | 11714 50099 151980 | 2147483647 134060 196 | 0.000 % |
107.24/107.30 c | 134316 | 11714 50099 151980 | 2147483647 134316 196 | 0.000 % |
107.54/107.66 c | 134597 | 11714 50099 151980 | 2147483647 134597 196 | 0.000 % |
107.94/108.03 c | 134908 | 11714 50099 151980 | 2147483647 134908 196 | 0.000 % |
108.34/108.46 c | 135247 | 11714 50099 151980 | 2147483647 135247 196 | 0.000 % |
108.84/108.92 c | 135619 | 11714 50099 151980 | 2147483647 135619 196 | 0.000 % |
109.24/109.39 c | 136028 | 11714 50099 151980 | 2147483647 136028 196 | 0.000 % |
109.84/109.95 c | 136478 | 11714 50099 151980 | 2147483647 136478 196 | 0.000 % |
110.44/110.54 c | 136972 | 11714 50099 151980 | 2147483647 136972 196 | 0.000 % |
111.04/111.18 c | 137515 | 11714 50099 151980 | 2147483647 137515 196 | 0.000 % |
111.74/111.82 c | 138112 | 11714 50099 151980 | 2147483647 138112 197 | 0.000 % |
112.43/112.57 c | 138767 | 11714 50099 151980 | 2147483647 138767 197 | 0.000 % |
113.34/113.40 c | 139487 | 11714 50099 151980 | 2147483647 139487 197 | 0.000 % |
114.24/114.34 c | 140279 | 11714 50099 151980 | 2147483647 140279 197 | 0.000 % |
115.24/115.36 c | 141150 | 11714 50099 151980 | 2147483647 141150 197 | 0.000 % |
116.34/116.50 c | 142108 | 11714 50099 151980 | 2147483647 142108 197 | 0.000 % |
117.64/117.74 c | 143164 | 11714 50099 151980 | 2147483647 143164 197 | 0.000 % |
119.03/119.11 c | 144322 | 11714 50099 151980 | 2147483647 144322 198 | 0.000 % |
120.43/120.54 c | 145597 | 11714 50099 151980 | 2147483647 145597 198 | 0.000 % |
121.94/122.09 c | 147000 | 11714 50099 151980 | 2147483647 147000 199 | 0.000 % |
123.73/123.86 c | 148541 | 11714 50099 151980 | 2147483647 148541 199 | 0.000 % |
123.93/124.02 c | 148643 | 11714 50099 151980 | 2147483647 148643 199 | 0.000 % |
124.03/124.19 c | 148754 | 11714 50099 151980 | 2147483647 148754 199 | 0.000 % |
124.24/124.37 c | 148875 | 11714 50099 151980 | 2147483647 148875 199 | 0.000 % |
124.43/124.57 c | 149008 | 11714 50099 151980 | 2147483647 149008 199 | 0.000 % |
124.63/124.79 c | 149155 | 11714 50099 151980 | 2147483647 149155 199 | 0.000 % |
124.83/125.00 c | 149315 | 11714 50099 151980 | 2147483647 149315 199 | 0.000 % |
125.13/125.26 c | 149491 | 11714 50099 151980 | 2147483647 149491 199 | 0.000 % |
125.43/125.52 c | 149686 | 11714 50099 151980 | 2147483647 149686 199 | 0.000 % |
125.73/125.81 c | 149898 | 11714 50099 151980 | 2147483647 149898 199 | 0.000 % |
126.03/126.12 c | 150132 | 11714 50099 151980 | 2147483647 150132 199 | 0.000 % |
126.33/126.44 c | 150391 | 11714 50099 151980 | 2147483647 150391 199 | 0.000 % |
126.73/126.81 c | 150673 | 11714 50099 151980 | 2147483647 150673 199 | 0.000 % |
127.12/127.22 c | 150982 | 11714 50099 151980 | 2147483647 150982 199 | 0.000 % |
127.53/127.66 c | 151323 | 11714 50099 151980 | 2147483647 151323 199 | 0.000 % |
128.02/128.17 c | 151695 | 11714 50099 151980 | 2147483647 151695 199 | 0.000 % |
128.63/128.72 c | 152104 | 11714 50099 151980 | 2147483647 152104 199 | 0.000 % |
129.23/129.31 c | 152553 | 11714 50099 151980 | 2147483647 152553 199 | 0.000 % |
129.83/129.96 c | 153046 | 11714 50099 151980 | 2147483647 153046 199 | 0.000 % |
130.52/130.63 c | 153591 | 11714 50099 151980 | 2147483647 153591 199 | 0.000 % |
131.32/131.44 c | 154187 | 11714 50099 151980 | 2147483647 154187 199 | 0.000 % |
132.12/132.28 c | 154842 | 11714 50099 151980 | 2147483647 154842 199 | 0.000 % |
133.12/133.24 c | 155563 | 11714 50099 151980 | 2147483647 155563 199 | 0.000 % |
134.13/134.24 c | 156358 | 11714 50099 151980 | 2147483647 156358 199 | 0.000 % |
135.33/135.40 c | 157230 | 11714 50099 151980 | 2147483647 157230 199 | 0.000 % |
136.52/136.61 c | 158188 | 11714 50099 151980 | 2147483647 158188 199 | 0.000 % |
137.72/137.88 c | 159241 | 11714 50099 151980 | 2147483647 159241 199 | 0.000 % |
139.22/139.31 c | 160401 | 11714 50099 151980 | 2147483647 160401 200 | 0.000 % |
140.92/141.00 c | 161674 | 11714 50099 151980 | 2147483647 161674 200 | 0.000 % |
142.72/142.80 c | 163076 | 11714 50099 151980 | 2147483647 163076 200 | 0.000 % |
144.62/144.74 c | 164618 | 11714 50099 151980 | 2147483647 164618 200 | 0.000 % |
146.81/146.90 c | 166312 | 11714 50099 151980 | 2147483647 166312 200 | 0.000 % |
146.92/147.05 c | 166416 | 11714 50099 151980 | 2147483647 166416 200 | 0.000 % |
147.12/147.21 c | 166526 | 11714 50099 151980 | 2147483647 166526 200 | 0.000 % |
147.33/147.44 c | 166647 | 11714 50099 151980 | 2147483647 166647 200 | 0.000 % |
147.52/147.62 c | 166781 | 11714 50099 151980 | 2147483647 166781 200 | 0.000 % |
147.72/147.83 c | 166927 | 11714 50099 151980 | 2147483647 166927 200 | 0.000 % |
148.02/148.11 c | 167089 | 11714 50099 151980 | 2147483647 167089 200 | 0.000 % |
148.22/148.39 c | 167267 | 11714 50099 151980 | 2147483647 167267 200 | 0.000 % |
148.52/148.67 c | 167461 | 11714 50099 151980 | 2147483647 167461 200 | 0.000 % |
148.92/149.01 c | 167673 | 11714 50099 151980 | 2147483647 167673 200 | 0.000 % |
149.22/149.35 c | 167906 | 11714 50099 151980 | 2147483647 167906 200 | 0.000 % |
149.62/149.72 c | 168169 | 11714 50099 151980 | 2147483647 168169 200 | 0.000 % |
150.02/150.12 c | 168450 | 11714 50099 151980 | 2147483647 168450 200 | 0.000 % |
150.42/150.57 c | 168761 | 11714 50099 151980 | 2147483647 168761 200 | 0.000 % |
150.92/151.04 c | 169100 | 11714 50099 151980 | 2147483647 169100 200 | 0.000 % |
151.42/151.55 c | 169472 | 11714 50099 151980 | 2147483647 169472 200 | 0.000 % |
152.02/152.20 c | 169883 | 11714 50099 151980 | 2147483647 169883 200 | 0.000 % |
152.72/152.81 c | 170333 | 11714 50099 151980 | 2147483647 170333 200 | 0.000 % |
153.31/153.48 c | 170826 | 11714 50099 151980 | 2147483647 170826 200 | 0.000 % |
154.01/154.17 c | 171369 | 11714 50099 151980 | 2147483647 171369 200 | 0.000 % |
154.92/155.02 c | 171965 | 11714 50099 151980 | 2147483647 171965 200 | 0.000 % |
155.81/155.90 c | 172622 | 11714 50099 151980 | 2147483647 172622 200 | 0.000 % |
156.81/156.91 c | 173342 | 11714 50099 151980 | 2147483647 173342 200 | 0.000 % |
157.81/157.95 c | 174137 | 11714 50099 151980 | 2147483647 174137 201 | 0.000 % |
158.91/159.06 c | 175008 | 11714 50099 151980 | 2147483647 175008 201 | 0.000 % |
160.31/160.46 c | 175967 | 11714 50099 151980 | 2147483647 175967 201 | 0.000 % |
161.71/161.88 c | 177020 | 11714 50099 151980 | 2147483647 177020 201 | 0.000 % |
163.41/163.54 c | 178178 | 11714 50099 151980 | 2147483647 178178 201 | 0.000 % |
165.01/165.19 c | 179452 | 11714 50099 151980 | 2147483647 179452 201 | 0.000 % |
167.02/167.12 c | 180852 | 11714 50099 151980 | 2147483647 180852 201 | 0.000 % |
169.21/169.32 c | 182393 | 11714 50099 151980 | 2147483647 182393 201 | 0.000 % |
171.51/171.60 c | 184087 | 11714 50099 151980 | 2147483647 184087 201 | 0.000 % |
174.01/174.18 c | 185950 | 11714 50099 151980 | 2147483647 185950 201 | 0.000 % |
174.21/174.36 c | 186050 | 11714 50099 151980 | 2147483647 186050 201 | 0.000 % |
174.41/174.59 c | 186161 | 11714 50099 151980 | 2147483647 186161 201 | 0.000 % |
174.71/174.80 c | 186283 | 11714 50099 151980 | 2147483647 186283 201 | 0.000 % |
174.91/175.05 c | 186417 | 11714 50099 151980 | 2147483647 186417 201 | 0.000 % |
175.21/175.30 c | 186565 | 11714 50099 151980 | 2147483647 186565 201 | 0.000 % |
175.41/175.58 c | 186725 | 11714 50099 151980 | 2147483647 186725 201 | 0.000 % |
175.71/175.86 c | 186902 | 11714 50099 151980 | 2147483647 186902 201 | 0.000 % |
176.00/176.17 c | 187095 | 11714 50099 151980 | 2147483647 187095 201 | 0.000 % |
176.40/176.54 c | 187307 | 11714 50099 151980 | 2147483647 187307 201 | 0.000 % |
176.70/176.89 c | 187541 | 11714 50099 151980 | 2147483647 187541 201 | 0.000 % |
177.20/177.30 c | 187797 | 11714 50099 151980 | 2147483647 187797 201 | 0.000 % |
177.61/177.75 c | 188078 | 11714 50099 151980 | 2147483647 188078 201 | 0.000 % |
178.11/178.22 c | 188388 | 11714 50099 151980 | 2147483647 188388 201 | 0.000 % |
178.60/178.79 c | 188730 | 11714 50099 151980 | 2147483647 188730 201 | 0.000 % |
179.20/179.37 c | 189104 | 11714 50099 151980 | 2147483647 189104 201 | 0.000 % |
179.80/179.98 c | 189513 | 11714 50099 151980 | 2147483647 189513 201 | 0.000 % |
180.50/180.66 c | 189962 | 11714 50099 151980 | 2147483647 189962 201 | 0.000 % |
181.20/181.36 c | 190455 | 11714 50099 151980 | 2147483647 190455 201 | 0.000 % |
182.10/182.20 c | 190997 | 11714 50099 151980 | 2147483647 190997 201 | 0.000 % |
182.90/183.09 c | 191593 | 11714 50099 151980 | 2147483647 191593 201 | 0.000 % |
184.00/184.16 c | 192248 | 11714 50099 151980 | 2147483647 192248 201 | 0.000 % |
185.00/185.13 c | 192971 | 11714 50099 151980 | 2147483647 192971 202 | 0.000 % |
186.10/186.21 c | 193764 | 11714 50099 151980 | 2147483647 193764 202 | 0.000 % |
187.40/187.51 c | 194636 | 11714 50099 151980 | 2147483647 194636 202 | 0.000 % |
188.70/188.90 c | 195594 | 11714 50099 151980 | 2147483647 195594 202 | 0.000 % |
190.30/190.47 c | 196648 | 11714 50099 151980 | 2147483647 196648 202 | 0.000 % |
191.99/192.14 c | 197806 | 11714 50099 151980 | 2147483647 197806 202 | 0.000 % |
193.80/193.91 c | 199080 | 11714 50099 151980 | 2147483647 199080 202 | 0.000 % |
195.90/196.02 c | 200480 | 11714 50099 151980 | 2147483647 200480 202 | 0.000 % |
197.99/198.13 c | 202022 | 11714 50099 151980 | 2147483647 202022 203 | 0.000 % |
200.59/200.72 c | 203720 | 11714 50099 151980 | 2147483647 203720 203 | 0.000 % |
203.39/203.58 c | 205584 | 11714 50099 151980 | 2147483647 205584 203 | 0.000 % |
206.49/206.67 c | 207633 | 11714 50099 151980 | 2147483647 207633 203 | 0.000 % |
206.69/206.85 c | 207733 | 11714 50099 151980 | 2147483647 207733 203 | 0.000 % |
206.89/207.06 c | 207844 | 11714 50099 151980 | 2147483647 207844 203 | 0.000 % |
207.19/207.30 c | 207965 | 11714 50099 151980 | 2147483647 207965 203 | 0.000 % |
207.39/207.57 c | 208099 | 11714 50099 151980 | 2147483647 208099 203 | 0.000 % |
207.69/207.87 c | 208245 | 11714 50099 151980 | 2147483647 208245 203 | 0.000 % |
207.98/208.18 c | 208406 | 11714 50099 151980 | 2147483647 208406 203 | 0.000 % |
208.38/208.53 c | 208584 | 11714 50099 151980 | 2147483647 208584 203 | 0.000 % |
208.79/208.92 c | 208777 | 11714 50099 151980 | 2147483647 208777 203 | 0.000 % |
209.08/209.29 c | 208989 | 11714 50099 151980 | 2147483647 208989 203 | 0.000 % |
209.58/209.71 c | 209222 | 11714 50099 151980 | 2147483647 209222 203 | 0.000 % |
209.98/210.15 c | 209478 | 11714 50099 151980 | 2147483647 209478 203 | 0.000 % |
210.38/210.59 c | 209760 | 11714 50099 151980 | 2147483647 209760 203 | 0.000 % |
210.88/211.07 c | 210071 | 11714 50099 151980 | 2147483647 210071 203 | 0.000 % |
211.48/211.66 c | 210411 | 11714 50099 151980 | 2147483647 210411 203 | 0.000 % |
211.98/212.19 c | 210784 | 11714 50099 151980 | 2147483647 210784 203 | 0.000 % |
212.78/212.91 c | 211193 | 11714 50099 151980 | 2147483647 211193 203 | 0.000 % |
213.48/213.66 c | 211642 | 11714 50099 151980 | 2147483647 211642 203 | 0.000 % |
214.29/214.45 c | 212135 | 11714 50099 151980 | 2147483647 212135 203 | 0.000 % |
215.18/215.31 c | 212679 | 11714 50099 151980 | 2147483647 212679 203 | 0.000 % |
216.08/216.27 c | 213276 | 11714 50099 151980 | 2147483647 213276 203 | 0.000 % |
217.08/217.24 c | 213931 | 11714 50099 151980 | 2147483647 213931 203 | 0.000 % |
218.19/218.36 c | 214652 | 11714 50099 151980 | 2147483647 214652 203 | 0.000 % |
219.38/219.57 c | 215446 | 11714 50099 151980 | 2147483647 215446 203 | 0.000 % |
220.78/220.94 c | 216317 | 11714 50099 151980 | 2147483647 216317 203 | 0.000 % |
222.28/222.46 c | 217275 | 11714 50099 151980 | 2147483647 217275 203 | 0.000 % |
223.98/224.19 c | 218328 | 11714 50099 151980 | 2147483647 218328 203 | 0.000 % |
225.78/225.97 c | 219487 | 11714 50099 151980 | 2147483647 219487 203 | 0.000 % |
227.78/227.92 c | 220760 | 11714 50099 151980 | 2147483647 220760 203 | 0.000 % |
229.97/230.15 c | 222162 | 11714 50099 151980 | 2147483647 222162 203 | 0.000 % |
232.17/232.33 c | 223702 | 11714 50099 151980 | 2147483647 223702 204 | 0.000 % |
234.87/235.02 c | 225398 | 11714 50099 151980 | 2147483647 225398 204 | 0.000 % |
237.67/237.86 c | 227261 | 11714 50099 151980 | 2147483647 227261 204 | 0.000 % |
240.87/241.04 c | 229310 | 11714 50099 151980 | 2147483647 229310 204 | 0.000 % |
244.37/244.57 c | 231564 | 11714 50099 151980 | 2147483647 231564 204 | 0.000 % |
244.67/244.83 c | 231666 | 11714 50099 151980 | 2147483647 231666 204 | 0.000 % |
244.87/245.06 c | 231777 | 11714 50099 151980 | 2147483647 231777 204 | 0.000 % |
245.08/245.28 c | 231899 | 11714 50099 151980 | 2147483647 231899 204 | 0.000 % |
245.37/245.53 c | 232032 | 11714 50099 151980 | 2147483647 232032 204 | 0.000 % |
245.67/245.87 c | 232180 | 11714 50099 151980 | 2147483647 232180 204 | 0.000 % |
245.97/246.19 c | 232341 | 11714 50099 151980 | 2147483647 232341 204 | 0.000 % |
246.37/246.53 c | 232518 | 11714 50099 151980 | 2147483647 232518 204 | 0.000 % |
246.77/246.96 c | 232714 | 11714 50099 151980 | 2147483647 232714 204 | 0.000 % |
247.27/247.43 c | 232926 | 11714 50099 151980 | 2147483647 232926 204 | 0.000 % |
247.67/247.85 c | 233160 | 11714 50099 151980 | 2147483647 233160 204 | 0.000 % |
248.17/248.33 c | 233416 | 11714 50099 151980 | 2147483647 233416 204 | 0.000 % |
248.66/248.88 c | 233697 | 11714 50099 151980 | 2147483647 233697 204 | 0.000 % |
249.27/249.47 c | 234009 | 11714 50099 151980 | 2147483647 234009 204 | 0.000 % |
249.87/250.05 c | 234349 | 11714 50099 151980 | 2147483647 234349 204 | 0.000 % |
250.57/250.75 c | 234721 | 11714 50099 151980 | 2147483647 234721 204 | 0.000 % |
251.26/251.42 c | 235131 | 11714 50099 151980 | 2147483647 235131 204 | 0.000 % |
252.06/252.22 c | 235581 | 11714 50099 151980 | 2147483647 235581 204 | 0.000 % |
252.96/253.15 c | 236076 | 11714 50099 151980 | 2147483647 236076 204 | 0.000 % |
253.97/254.12 c | 236619 | 11714 50099 151980 | 2147483647 236619 204 | 0.000 % |
254.97/255.16 c | 237219 | 11714 50099 151980 | 2147483647 237219 204 | 0.000 % |
256.06/256.27 c | 237875 | 11714 50099 151980 | 2147483647 237875 204 | 0.000 % |
257.36/257.57 c | 238595 | 11714 50099 151980 | 2147483647 238595 204 | 0.000 % |
258.76/258.93 c | 239388 | 11714 50099 151980 | 2147483647 239388 204 | 0.000 % |
260.36/260.52 c | 240259 | 11714 50099 151980 | 2147483647 240259 204 | 0.000 % |
261.96/262.10 c | 241218 | 11714 50099 151980 | 2147483647 241218 204 | 0.000 % |
263.66/263.85 c | 242271 | 11714 50099 151980 | 2147483647 242271 204 | 0.000 % |
265.66/265.87 c | 243429 | 11714 50099 151980 | 2147483647 243429 204 | 0.000 % |
267.76/267.99 c | 244702 | 11714 50099 151980 | 2147483647 244702 204 | 0.000 % |
270.15/270.38 c | 246103 | 11714 50099 151980 | 2147483647 246103 205 | 0.000 % |
272.76/272.99 c | 247644 | 11714 50099 151980 | 2147483647 247644 205 | 0.000 % |
275.65/275.86 c | 249338 | 11714 50099 151980 | 2147483647 249338 205 | 0.000 % |
278.66/278.87 c | 251202 | 11714 50099 151980 | 2147483647 251202 206 | 0.000 % |
281.95/282.18 c | 253251 | 11714 50099 151980 | 2147483647 253251 206 | 0.000 % |
285.85/286.07 c | 255504 | 11714 50099 151980 | 2147483647 255504 206 | 0.000 % |
290.16/290.37 c | 257984 | 11714 50099 151980 | 2147483647 257984 207 | 0.000 % |
290.35/290.59 c | 258084 | 11714 50099 151980 | 2147483647 258084 207 | 0.000 % |
290.65/290.85 c | 258195 | 11714 50099 151980 | 2147483647 258195 207 | 0.000 % |
290.95/291.16 c | 258319 | 11714 50099 151980 | 2147483647 258319 207 | 0.000 % |
291.26/291.43 c | 258453 | 11714 50099 151980 | 2147483647 258453 207 | 0.000 % |
291.55/291.72 c | 258599 | 11714 50099 151980 | 2147483647 258599 206 | 0.000 % |
291.85/292.05 c | 258761 | 11714 50099 151980 | 2147483647 258761 206 | 0.000 % |
292.25/292.46 c | 258941 | 11714 50099 151980 | 2147483647 258941 206 | 0.000 % |
292.65/292.81 c | 259134 | 11714 50099 151980 | 2147483647 259134 206 | 0.000 % |
293.05/293.20 c | 259346 | 11714 50099 151980 | 2147483647 259346 206 | 0.000 % |
293.35/293.60 c | 259579 | 11714 50099 151980 | 2147483647 259579 206 | 0.000 % |
293.95/294.18 c | 259836 | 11714 50099 151980 | 2147483647 259836 206 | 0.000 % |
294.55/294.78 c | 260120 | 11714 50099 151980 | 2147483647 260120 206 | 0.000 % |
295.14/295.37 c | 260429 | 11714 50099 151980 | 2147483647 260429 206 | 0.000 % |
295.84/296.00 c | 260768 | 11714 50099 151980 | 2147483647 260768 206 | 0.000 % |
296.54/296.70 c | 261140 | 11714 50099 151980 | 2147483647 261140 206 | 0.000 % |
297.34/297.51 c | 261549 | 11714 50099 151980 | 2147483647 261549 206 | 0.000 % |
298.24/298.42 c | 261998 | 11714 50099 151980 | 2147483647 261998 206 | 0.000 % |
299.05/299.27 c | 262491 | 11714 50099 151980 | 2147483647 262491 206 | 0.000 % |
300.04/300.25 c | 263034 | 11714 50099 151980 | 2147483647 263034 206 | 0.000 % |
301.34/301.52 c | 263630 | 11714 50099 151980 | 2147483647 263630 206 | 0.000 % |
302.64/302.82 c | 264287 | 11714 50099 151980 | 2147483647 264287 207 | 0.000 % |
303.84/304.09 c | 265010 | 11714 50099 151980 | 2147483647 265010 207 | 0.000 % |
305.44/305.60 c | 265804 | 11714 50099 151980 | 2147483647 265804 207 | 0.000 % |
306.84/307.08 c | 266675 | 11714 50099 151980 | 2147483647 266675 207 | 0.000 % |
308.64/308.86 c | 267634 | 11714 50099 151980 | 2147483647 267634 207 | 0.000 % |
310.44/310.68 c | 268690 | 11714 50099 151980 | 2147483647 268690 207 | 0.000 % |
312.43/312.65 c | 269848 | 11714 50099 151980 | 2147483647 269848 207 | 0.000 % |
314.84/315.03 c | 271123 | 11714 50099 151980 | 2147483647 271123 207 | 0.000 % |
317.43/317.60 c | 272523 | 11714 50099 151980 | 2147483647 272523 207 | 0.000 % |
320.34/320.53 c | 274063 | 11714 50099 151980 | 2147483647 274063 207 | 0.000 % |
323.44/323.60 c | 275758 | 11714 50099 151980 | 2147483647 275758 208 | 0.000 % |
326.83/327.04 c | 277622 | 11714 50099 151980 | 2147483647 277622 208 | 0.000 % |
330.53/330.73 c | 279672 | 11714 50099 151980 | 2147483647 279672 208 | 0.000 % |
334.43/334.68 c | 281926 | 11714 50099 151980 | 2147483647 281926 209 | 0.000 % |
339.03/339.22 c | 284404 | 11714 50099 151980 | 2147483647 284404 209 | 0.000 % |
343.92/344.20 c | 287129 | 11714 50099 151980 | 2147483647 287129 209 | 0.000 % |
344.23/344.43 c | 287229 | 11714 50099 151980 | 2147483647 287229 209 | 0.000 % |
344.43/344.69 c | 287342 | 11714 50099 151980 | 2147483647 287342 209 | 0.000 % |
344.73/344.98 c | 287464 | 11714 50099 151980 | 2147483647 287464 209 | 0.000 % |
345.13/345.35 c | 287599 | 11714 50099 151980 | 2147483647 287599 209 | 0.000 % |
345.52/345.73 c | 287746 | 11714 50099 151980 | 2147483647 287746 209 | 0.000 % |
345.92/346.11 c | 287906 | 11714 50099 151980 | 2147483647 287906 209 | 0.000 % |
346.33/346.55 c | 288083 | 11714 50099 151980 | 2147483647 288083 209 | 0.000 % |
346.82/347.00 c | 288277 | 11714 50099 151980 | 2147483647 288277 209 | 0.000 % |
347.22/347.48 c | 288489 | 11714 50099 151980 | 2147483647 288489 209 | 0.000 % |
347.82/348.02 c | 288722 | 11714 50099 151980 | 2147483647 288722 209 | 0.000 % |
348.42/348.60 c | 288979 | 11714 50099 151980 | 2147483647 288979 209 | 0.000 % |
349.02/349.29 c | 289260 | 11714 50099 151980 | 2147483647 289260 209 | 0.000 % |
349.72/349.97 c | 289570 | 11714 50099 151980 | 2147483647 289570 209 | 0.000 % |
350.42/350.67 c | 289910 | 11714 50099 151980 | 2147483647 289910 209 | 0.000 % |
351.22/351.47 c | 290287 | 11714 50099 151980 | 2147483647 290287 209 | 0.000 % |
352.11/352.34 c | 290696 | 11714 50099 151980 | 2147483647 290696 209 | 0.000 % |
353.01/353.28 c | 291145 | 11714 50099 151980 | 2147483647 291145 209 | 0.000 % |
354.11/354.32 c | 291639 | 11714 50099 151980 | 2147483647 291639 209 | 0.000 % |
355.12/355.39 c | 292182 | 11714 50099 151980 | 2147483647 292182 209 | 0.000 % |
356.32/356.57 c | 292778 | 11714 50099 151980 | 2147483647 292778 209 | 0.000 % |
357.62/357.89 c | 293433 | 11714 50099 151980 | 2147483647 293433 209 | 0.000 % |
359.12/359.33 c | 294156 | 11714 50099 151980 | 2147483647 294156 209 | 0.000 % |
360.71/360.92 c | 294949 | 11714 50099 151980 | 2147483647 294949 209 | 0.000 % |
362.42/362.62 c | 295823 | 11714 50099 151980 | 2147483647 295823 209 | 0.000 % |
364.22/364.48 c | 296782 | 11714 50099 151980 | 2147483647 296782 209 | 0.000 % |
366.41/366.67 c | 297835 | 11714 50099 151980 | 2147483647 297835 209 | 0.000 % |
368.82/369.04 c | 298998 | 11714 50099 151980 | 2147483647 298998 209 | 0.000 % |
371.11/371.37 c | 300272 | 11714 50099 151980 | 2147483647 300272 209 | 0.000 % |
373.81/374.02 c | 301675 | 11714 50099 151980 | 2147483647 301675 209 | 0.000 % |
376.71/376.96 c | 303218 | 11714 50099 151980 | 2147483647 303218 209 | 0.000 % |
380.11/380.39 c | 304912 | 11714 50099 151980 | 2147483647 304912 209 | 0.000 % |
383.91/384.14 c | 306777 | 11714 50099 151980 | 2147483647 306777 210 | 0.000 % |
387.80/388.09 c | 308828 | 11714 50099 151980 | 2147483647 308828 210 | 0.000 % |
392.30/392.54 c | 311081 | 11714 50099 151980 | 2147483647 311081 210 | 0.000 % |
397.40/397.61 c | 313561 | 11714 50099 151980 | 2147483647 313561 210 | 0.000 % |
402.70/402.93 c | 316287 | 11714 50099 151980 | 2147483647 316287 211 | 0.000 % |
408.80/409.07 c | 319289 | 11714 50099 151980 | 2147483647 319289 211 | 0.000 % |
409.10/409.31 c | 319389 | 11714 50099 151980 | 2147483647 319389 211 | 0.000 % |
409.30/409.57 c | 319501 | 11714 50099 151980 | 2147483647 319501 211 | 0.000 % |
409.70/409.94 c | 319622 | 11714 50099 151980 | 2147483647 319622 211 | 0.000 % |
410.00/410.30 c | 319756 | 11714 50099 151980 | 2147483647 319756 211 | 0.000 % |
410.40/410.67 c | 319902 | 11714 50099 151980 | 2147483647 319902 211 | 0.000 % |
410.80/411.03 c | 320062 | 11714 50099 151980 | 2147483647 320062 211 | 0.000 % |
411.30/411.55 c | 320238 | 11714 50099 151980 | 2147483647 320238 211 | 0.000 % |
411.70/411.99 c | 320431 | 11714 50099 151980 | 2147483647 320431 211 | 0.000 % |
412.30/412.57 c | 320644 | 11714 50099 151980 | 2147483647 320644 210 | 0.000 % |
412.89/413.11 c | 320882 | 11714 50099 151980 | 2147483647 320882 210 | 0.000 % |
413.49/413.73 c | 321138 | 11714 50099 151980 | 2147483647 321138 210 | 0.000 % |
414.19/414.43 c | 321419 | 11714 50099 151980 | 2147483647 321419 210 | 0.000 % |
414.89/415.14 c | 321728 | 11714 50099 151980 | 2147483647 321728 210 | 0.000 % |
415.59/415.89 c | 322068 | 11714 50099 151980 | 2147483647 322068 210 | 0.000 % |
416.60/416.82 c | 322442 | 11714 50099 151980 | 2147483647 322442 210 | 0.000 % |
417.59/417.81 c | 322851 | 11714 50099 151980 | 2147483647 322851 210 | 0.000 % |
418.59/418.81 c | 323300 | 11714 50099 151980 | 2147483647 323300 210 | 0.000 % |
419.69/419.91 c | 323794 | 11714 50099 151980 | 2147483647 323794 210 | 0.000 % |
420.79/421.08 c | 324336 | 11714 50099 151980 | 2147483647 324336 210 | 0.000 % |
422.20/422.41 c | 324933 | 11714 50099 151980 | 2147483647 324933 210 | 0.000 % |
423.49/423.78 c | 325589 | 11714 50099 151980 | 2147483647 325589 210 | 0.000 % |
425.19/425.48 c | 326311 | 11714 50099 151980 | 2147483647 326311 210 | 0.000 % |
426.99/427.27 c | 327104 | 11714 50099 151980 | 2147483647 327104 210 | 0.000 % |
428.88/429.15 c | 327975 | 11714 50099 151980 | 2147483647 327975 210 | 0.000 % |
430.79/431.06 c | 328934 | 11714 50099 151980 | 2147483647 328934 210 | 0.000 % |
432.99/433.26 c | 329987 | 11714 50099 151980 | 2147483647 329987 210 | 0.000 % |
435.29/435.57 c | 331147 | 11714 50099 151980 | 2147483647 331147 211 | 0.000 % |
437.78/438.09 c | 332420 | 11714 50099 151980 | 2147483647 332420 211 | 0.000 % |
440.69/440.98 c | 333820 | 11714 50099 151980 | 2147483647 333820 211 | 0.000 % |
443.98/444.22 c | 335362 | 11714 50099 151980 | 2147483647 335362 211 | 0.000 % |
447.39/447.60 c | 337056 | 11714 50099 151980 | 2147483647 337056 211 | 0.000 % |
451.38/451.67 c | 338922 | 11714 50099 151980 | 2147483647 338922 211 | 0.000 % |
455.78/456.01 c | 340971 | 11714 50099 151980 | 2147483647 340971 211 | 0.000 % |
460.58/460.86 c | 343225 | 11714 50099 151980 | 2147483647 343225 212 | 0.000 % |
465.57/465.86 c | 345704 | 11714 50099 151980 | 2147483647 345704 212 | 0.000 % |
471.07/471.30 c | 348431 | 11714 50099 151980 | 2147483647 348431 212 | 0.000 % |
477.47/477.77 c | 351428 | 11714 50099 151980 | 2147483647 351428 212 | 0.000 % |
484.47/484.79 c | 354726 | 11714 50099 151980 | 2147483647 354726 213 | 0.000 % |
484.77/485.08 c | 354827 | 11714 50099 151980 | 2147483647 354827 213 | 0.000 % |
485.17/485.43 c | 354941 | 11714 50099 151980 | 2147483647 354941 213 | 0.000 % |
485.47/485.76 c | 355062 | 11714 50099 151980 | 2147483647 355062 213 | 0.000 % |
485.87/486.17 c | 355198 | 11714 50099 151980 | 2147483647 355198 213 | 0.000 % |
486.37/486.60 c | 355344 | 11714 50099 151980 | 2147483647 355344 213 | 0.000 % |
486.77/487.05 c | 355505 | 11714 50099 151980 | 2147483647 355505 213 | 0.000 % |
487.27/487.57 c | 355681 | 11714 50099 151980 | 2147483647 355681 213 | 0.000 % |
487.87/488.10 c | 355874 | 11714 50099 151980 | 2147483647 355874 213 | 0.000 % |
488.47/488.74 c | 356086 | 11714 50099 151980 | 2147483647 356086 213 | 0.000 % |
489.07/489.39 c | 356320 | 11714 50099 151980 | 2147483647 356320 213 | 0.000 % |
489.77/490.09 c | 356576 | 11714 50099 151980 | 2147483647 356576 213 | 0.000 % |
490.57/490.88 c | 356858 | 11714 50099 151980 | 2147483647 356858 213 | 0.000 % |
491.37/491.63 c | 357167 | 11714 50099 151980 | 2147483647 357167 213 | 0.000 % |
492.27/492.52 c | 357506 | 11714 50099 151980 | 2147483647 357506 213 | 0.000 % |
493.26/493.58 c | 357878 | 11714 50099 151980 | 2147483647 357878 213 | 0.000 % |
494.26/494.58 c | 358287 | 11714 50099 151980 | 2147483647 358287 213 | 0.000 % |
495.46/495.70 c | 358736 | 11714 50099 151980 | 2147483647 358736 213 | 0.000 % |
496.57/496.86 c | 359230 | 11714 50099 151980 | 2147483647 359230 213 | 0.000 % |
497.86/498.16 c | 359778 | 11714 50099 151980 | 2147483647 359778 213 | 0.000 % |
499.17/499.42 c | 360377 | 11714 50099 151980 | 2147483647 360377 213 | 0.000 % |
500.76/501.01 c | 361033 | 11714 50099 151980 | 2147483647 361033 213 | 0.000 % |
502.66/502.93 c | 361754 | 11714 50099 151980 | 2147483647 361754 213 | 0.000 % |
504.66/504.93 c | 362546 | 11714 50099 151980 | 2147483647 362546 213 | 0.000 % |
506.86/507.13 c | 363417 | 11714 50099 151980 | 2147483647 363417 213 | 0.000 % |
509.15/509.43 c | 364377 | 11714 50099 151980 | 2147483647 364377 213 | 0.000 % |
511.56/511.87 c | 365430 | 11714 50099 151980 | 2147483647 365430 213 | 0.000 % |
514.26/514.53 c | 366589 | 11714 50099 151980 | 2147483647 366589 213 | 0.000 % |
517.16/517.50 c | 367864 | 11714 50099 151980 | 2147483647 367864 213 | 0.000 % |
520.25/520.55 c | 369265 | 11714 50099 151980 | 2147483647 369265 213 | 0.000 % |
523.75/524.02 c | 370805 | 11714 50099 151980 | 2147483647 370805 213 | 0.000 % |
527.76/528.06 c | 372501 | 11714 50099 151980 | 2147483647 372501 213 | 0.000 % |
532.05/532.37 c | 374365 | 11714 50099 151980 | 2147483647 374365 213 | 0.000 % |
536.65/536.98 c | 376415 | 11714 50099 151980 | 2147483647 376415 213 | 0.000 % |
541.95/542.27 c | 378668 | 11714 50099 151980 | 2147483647 378668 213 | 0.000 % |
547.34/547.65 c | 381146 | 11714 50099 151980 | 2147483647 381146 213 | 0.000 % |
553.64/553.95 c | 383872 | 11714 50099 151980 | 2147483647 383872 213 | 0.000 % |
560.53/560.89 c | 386869 | 11714 50099 151980 | 2147483647 386869 214 | 0.000 % |
568.34/568.65 c | 390168 | 11714 50099 151980 | 2147483647 390168 214 | 0.000 % |
576.63/576.99 c | 393793 | 11714 50099 151980 | 2147483647 393793 214 | 0.000 % |
577.03/577.31 c | 393893 | 11714 50099 151980 | 2147483647 393893 214 | 0.000 % |
577.33/577.63 c | 394003 | 11714 50099 151980 | 2147483647 394003 214 | 0.000 % |
577.74/578.06 c | 394125 | 11714 50099 151980 | 2147483647 394125 214 | 0.000 % |
578.14/578.47 c | 394258 | 11714 50099 151980 | 2147483647 394258 214 | 0.000 % |
578.64/578.92 c | 394406 | 11714 50099 151980 | 2147483647 394406 214 | 0.000 % |
579.14/579.41 c | 394566 | 11714 50099 151980 | 2147483647 394566 214 | 0.000 % |
579.64/579.94 c | 394744 | 11714 50099 151980 | 2147483647 394744 214 | 0.000 % |
580.23/580.58 c | 394939 | 11714 50099 151980 | 2147483647 394939 214 | 0.000 % |
580.93/581.24 c | 395151 | 11714 50099 151980 | 2147483647 395151 214 | 0.000 % |
581.64/581.91 c | 395384 | 11714 50099 151980 | 2147483647 395384 214 | 0.000 % |
582.33/582.60 c | 395640 | 11714 50099 151980 | 2147483647 395640 214 | 0.000 % |
583.03/583.37 c | 395921 | 11714 50099 151980 | 2147483647 395921 214 | 0.000 % |
583.93/584.24 c | 396230 | 11714 50099 151980 | 2147483647 396230 214 | 0.000 % |
584.83/585.19 c | 396570 | 11714 50099 151980 | 2147483647 396570 214 | 0.000 % |
586.03/586.34 c | 396942 | 11714 50099 151980 | 2147483647 396942 214 | 0.000 % |
587.23/587.51 c | 397352 | 11714 50099 151980 | 2147483647 397352 214 | 0.000 % |
588.42/588.72 c | 397801 | 11714 50099 151980 | 2147483647 397801 214 | 0.000 % |
589.82/590.12 c | 398296 | 11714 50099 151980 | 2147483647 398296 214 | 0.000 % |
591.13/591.45 c | 398838 | 11714 50099 151980 | 2147483647 398838 214 | 0.000 % |
592.73/593.02 c | 399435 | 11714 50099 151980 | 2147483647 399435 214 | 0.000 % |
594.42/594.77 c | 400091 | 11714 50099 151980 | 2147483647 400091 214 | 0.000 % |
596.32/596.68 c | 400812 | 11714 50099 151980 | 2147483647 400812 214 | 0.000 % |
598.52/598.81 c | 401604 | 11714 50099 151980 | 2147483647 401604 214 | 0.000 % |
600.72/601.05 c | 402476 | 11714 50099 151980 | 2147483647 402476 214 | 0.000 % |
603.22/603.54 c | 403434 | 11714 50099 151980 | 2147483647 403434 214 | 0.000 % |
605.93/606.26 c | 404489 | 11714 50099 151980 | 2147483647 404489 214 | 0.000 % |
608.72/609.06 c | 405647 | 11714 50099 151980 | 2147483647 405647 214 | 0.000 % |
611.82/612.14 c | 406925 | 11714 50099 151980 | 2147483647 406925 214 | 0.000 % |
615.22/615.59 c | 408325 | 11714 50099 151980 | 2147483647 408325 214 | 0.000 % |
618.92/619.23 c | 409865 | 11714 50099 151980 | 2147483647 409865 214 | 0.000 % |
623.02/623.31 c | 411559 | 11714 50099 151980 | 2147483647 411559 214 | 0.000 % |
627.61/627.94 c | 413422 | 11714 50099 151980 | 2147483647 413422 214 | 0.000 % |
632.41/632.73 c | 415472 | 11714 50099 151980 | 2147483647 415472 214 | 0.000 % |
637.91/638.27 c | 417725 | 11714 50099 151980 | 2147483647 417725 214 | 0.000 % |
644.21/644.50 c | 420203 | 11714 50099 151980 | 2147483647 420203 215 | 0.000 % |
651.00/651.36 c | 422928 | 11714 50099 151980 | 2147483647 422928 215 | 0.000 % |
658.20/658.56 c | 425926 | 11714 50099 151980 | 2147483647 425926 215 | 0.000 % |
666.99/667.32 c | 429222 | 11714 50099 151980 | 2147483647 429222 215 | 0.000 % |
676.10/676.43 c | 432847 | 11714 50099 151980 | 2147483647 432847 215 | 0.000 % |
686.19/686.50 c | 436834 | 11714 50099 151980 | 2147483647 436834 215 | 0.000 % |
686.49/686.83 c | 436937 | 11714 50099 151980 | 2147483647 436937 215 | 0.000 % |
686.89/687.20 c | 437048 | 11714 50099 151980 | 2147483647 437048 215 | 0.000 % |
687.38/687.70 c | 437169 | 11714 50099 151980 | 2147483647 437169 215 | 0.000 % |
687.78/688.16 c | 437302 | 11714 50099 151980 | 2147483647 437302 215 | 0.000 % |
688.30/688.64 c | 437449 | 11714 50099 151980 | 2147483647 437449 215 | 0.000 % |
688.79/689.18 c | 437612 | 11714 50099 151980 | 2147483647 437612 215 | 0.000 % |
689.40/689.79 c | 437790 | 11714 50099 151980 | 2147483647 437790 215 | 0.000 % |
690.09/690.43 c | 437983 | 11714 50099 151980 | 2147483647 437983 215 | 0.000 % |
690.79/691.14 c | 438195 | 11714 50099 151980 | 2147483647 438195 215 | 0.000 % |
691.59/692.00 c | 438432 | 11714 50099 151980 | 2147483647 438432 215 | 0.000 % |
692.49/692.83 c | 438688 | 11714 50099 151980 | 2147483647 438688 215 | 0.000 % |
693.39/693.72 c | 438970 | 11714 50099 151980 | 2147483647 438970 215 | 0.000 % |
694.29/694.66 c | 439279 | 11714 50099 151980 | 2147483647 439279 215 | 0.000 % |
695.49/695.81 c | 439619 | 11714 50099 151980 | 2147483647 439619 215 | 0.000 % |
696.49/696.83 c | 439991 | 11714 50099 151980 | 2147483647 439991 215 | 0.000 % |
697.69/698.09 c | 440401 | 11714 50099 151980 | 2147483647 440401 215 | 0.000 % |
698.98/699.32 c | 440851 | 11714 50099 151980 | 2147483647 440851 215 | 0.000 % |
700.39/700.75 c | 441344 | 11714 50099 151980 | 2147483647 441344 215 | 0.000 % |
702.08/702.44 c | 441887 | 11714 50099 151980 | 2147483647 441887 215 | 0.000 % |
703.89/704.20 c | 442485 | 11714 50099 151980 | 2147483647 442485 215 | 0.000 % |
705.68/706.09 c | 443140 | 11714 50099 151980 | 2147483647 443140 215 | 0.000 % |
707.68/708.00 c | 443862 | 11714 50099 151980 | 2147483647 443862 215 | 0.000 % |
709.78/710.16 c | 444654 | 11714 50099 151980 | 2147483647 444654 215 | 0.000 % |
712.17/712.51 c | 445525 | 11714 50099 151980 | 2147483647 445525 215 | 0.000 % |
714.87/715.27 c | 446483 | 11714 50099 151980 | 2147483647 446483 215 | 0.000 % |
717.98/718.31 c | 447536 | 11714 50099 151980 | 2147483647 447536 215 | 0.000 % |
721.18/721.57 c | 448696 | 11714 50099 151980 | 2147483647 448696 215 | 0.000 % |
724.77/725.14 c | 449970 | 11714 50099 151980 | 2147483647 449970 215 | 0.000 % |
728.48/728.80 c | 451371 | 11714 50099 151980 | 2147483647 451371 215 | 0.000 % |
731.97/732.37 c | 452915 | 11714 50099 151980 | 2147483647 452915 215 | 0.000 % |
736.77/737.19 c | 454611 | 11714 50099 151980 | 2147483647 454611 215 | 0.000 % |
741.77/742.12 c | 456474 | 11714 50099 151980 | 2147483647 456474 215 | 0.000 % |
747.36/747.77 c | 458523 | 11714 50099 151980 | 2147483647 458523 216 | 0.000 % |
753.67/754.07 c | 460776 | 11714 50099 151980 | 2147483647 460776 216 | 0.000 % |
760.66/761.03 c | 463254 | 11714 50099 151980 | 2147483647 463254 216 | 0.000 % |
767.65/768.07 c | 465979 | 11714 50099 151980 | 2147483647 465979 216 | 0.000 % |
775.66/776.04 c | 468976 | 11714 50099 151980 | 2147483647 468976 216 | 0.000 % |
784.45/784.87 c | 472273 | 11714 50099 151980 | 2147483647 472273 216 | 0.000 % |
794.44/794.80 c | 475898 | 11714 50099 151980 | 2147483647 475898 216 | 0.000 % |
805.55/805.98 c | 479886 | 11714 50099 151980 | 2147483647 479886 217 | 0.000 % |
817.64/818.06 c | 484272 | 11714 50099 151980 | 2147483647 484272 217 | 0.000 % |
818.05/818.42 c | 484373 | 11714 50099 151980 | 2147483647 484373 217 | 0.000 % |
818.44/818.85 c | 484483 | 11714 50099 151980 | 2147483647 484483 217 | 0.000 % |
818.94/819.31 c | 484604 | 11714 50099 151980 | 2147483647 484604 217 | 0.000 % |
819.44/819.86 c | 484738 | 11714 50099 151980 | 2147483647 484738 217 | 0.000 % |
820.04/820.45 c | 484884 | 11714 50099 151980 | 2147483647 484884 217 | 0.000 % |
820.64/821.06 c | 485044 | 11714 50099 151980 | 2147483647 485044 217 | 0.000 % |
821.44/821.82 c | 485220 | 11714 50099 151980 | 2147483647 485220 217 | 0.000 % |
822.04/822.50 c | 485413 | 11714 50099 151980 | 2147483647 485413 217 | 0.000 % |
822.84/823.28 c | 485627 | 11714 50099 151980 | 2147483647 485627 217 | 0.000 % |
823.64/824.01 c | 485860 | 11714 50099 151980 | 2147483647 485860 217 | 0.000 % |
824.54/824.93 c | 486116 | 11714 50099 151980 | 2147483647 486116 217 | 0.000 % |
825.33/825.77 c | 486398 | 11714 50099 151980 | 2147483647 486398 217 | 0.000 % |
826.43/826.82 c | 486708 | 11714 50099 151980 | 2147483647 486708 217 | 0.000 % |
827.54/827.99 c | 487047 | 11714 50099 151980 | 2147483647 487047 217 | 0.000 % |
828.94/829.40 c | 487419 | 11714 50099 151980 | 2147483647 487419 217 | 0.000 % |
830.34/830.77 c | 487828 | 11714 50099 151980 | 2147483647 487828 217 | 0.000 % |
831.73/832.13 c | 488277 | 11714 50099 151980 | 2147483647 488277 217 | 0.000 % |
833.23/833.63 c | 488771 | 11714 50099 151980 | 2147483647 488771 217 | 0.000 % |
834.93/835.33 c | 489313 | 11714 50099 151980 | 2147483647 489313 217 | 0.000 % |
836.93/837.32 c | 489910 | 11714 50099 151980 | 2147483647 489910 217 | 0.000 % |
838.84/839.23 c | 490565 | 11714 50099 151980 | 2147483647 490565 217 | 0.000 % |
841.23/841.65 c | 491285 | 11714 50099 151980 | 2147483647 491285 217 | 0.000 % |
843.53/843.97 c | 492080 | 11714 50099 151980 | 2147483647 492080 217 | 0.000 % |
846.53/846.94 c | 492956 | 11714 50099 151980 | 2147483647 492956 217 | 0.000 % |
849.23/849.69 c | 493914 | 11714 50099 151980 | 2147483647 493914 217 | 0.000 % |
852.23/852.67 c | 494967 | 11714 50099 151980 | 2147483647 494967 217 | 0.000 % |
855.63/856.10 c | 496128 | 11714 50099 151980 | 2147483647 496128 217 | 0.000 % |
859.33/859.79 c | 497401 | 11714 50099 151980 | 2147483647 497401 217 | 0.000 % |
863.52/863.96 c | 498801 | 11714 50099 151980 | 2147483647 498801 217 | 0.000 % |
868.12/868.59 c | 500341 | 11714 50099 151980 | 2147483647 500341 217 | 0.000 % |
873.12/873.54 c | 502035 | 11714 50099 151980 | 2147483647 502035 217 | 0.000 % |
879.01/879.44 c | 503899 | 11714 50099 151980 | 2147483647 503899 217 | 0.000 % |
885.12/885.58 c | 505950 | 11714 50099 151980 | 2147483647 505950 217 | 0.000 % |
892.02/892.47 c | 508203 | 11714 50099 151980 | 2147483647 508203 217 | 0.000 % |
899.21/899.68 c | 510682 | 11714 50099 151980 | 2147483647 510682 217 | 0.000 % |
907.31/907.70 c | 513407 | 11714 50099 151980 | 2147483647 513407 217 | 0.000 % |
915.21/915.63 c | 516404 | 11714 50099 151980 | 2147483647 516404 218 | 0.000 % |
924.40/924.80 c | 519701 | 11714 50099 151980 | 2147483647 519701 218 | 0.000 % |
935.20/935.69 c | 523328 | 11714 50099 151980 | 2147483647 523328 219 | 0.000 % |
946.29/946.72 c | 527315 | 11714 50099 151980 | 2147483647 527315 219 | 0.000 % |
959.59/960.02 c | 531701 | 11714 50099 151980 | 2147483647 531701 219 | 0.000 % |
974.18/974.65 c | 536524 | 11714 50099 151980 | 2147483647 536524 219 | 0.000 % |
974.68/975.19 c | 536625 | 11714 50099 151980 | 2147483647 536625 219 | 0.000 % |
975.18/975.62 c | 536735 | 11714 50099 151980 | 2147483647 536735 219 | 0.000 % |
975.68/976.12 c | 536857 | 11714 50099 151980 | 2147483647 536857 219 | 0.000 % |
976.28/976.72 c | 536991 | 11714 50099 151980 | 2147483647 536991 219 | 0.000 % |
976.88/977.33 c | 537138 | 11714 50099 151980 | 2147483647 537138 219 | 0.000 % |
977.58/978.01 c | 537298 | 11714 50099 151980 | 2147483647 537298 219 | 0.000 % |
978.28/978.77 c | 537474 | 11714 50099 151980 | 2147483647 537474 219 | 0.000 % |
979.09/979.51 c | 537668 | 11714 50099 151980 | 2147483647 537668 219 | 0.000 % |
979.89/980.36 c | 537882 | 11714 50099 151980 | 2147483647 537882 219 | 0.000 % |
980.88/981.31 c | 538116 | 11714 50099 151980 | 2147483647 538116 219 | 0.000 % |
981.79/982.30 c | 538374 | 11714 50099 151980 | 2147483647 538374 219 | 0.000 % |
982.88/983.39 c | 538655 | 11714 50099 151980 | 2147483647 538655 219 | 0.000 % |
984.08/984.59 c | 538964 | 11714 50099 151980 | 2147483647 538964 219 | 0.000 % |
985.28/985.79 c | 539306 | 11714 50099 151980 | 2147483647 539306 219 | 0.000 % |
986.78/987.20 c | 539678 | 11714 50099 151980 | 2147483647 539678 219 | 0.000 % |
988.18/988.60 c | 540087 | 11714 50099 151980 | 2147483647 540087 219 | 0.000 % |
989.78/990.27 c | 540537 | 11714 50099 151980 | 2147483647 540537 219 | 0.000 % |
991.68/992.10 c | 541031 | 11714 50099 151980 | 2147483647 541031 219 | 0.000 % |
993.48/993.99 c | 541574 | 11714 50099 151980 | 2147483647 541574 219 | 0.000 % |
995.68/996.11 c | 542172 | 11714 50099 151980 | 2147483647 542172 219 | 0.000 % |
997.88/998.37 c | 542828 | 11714 50099 151980 | 2147483647 542828 219 | 0.000 % |
1000.28/1000.75 c | 543550 | 11714 50099 151980 | 2147483647 543550 219 | 0.000 % |
1003.17/1003.65 c | 544344 | 11714 50099 151980 | 2147483647 544344 219 | 0.000 % |
1006.08/1006.55 c | 545216 | 11714 50099 151980 | 2147483647 545216 219 | 0.000 % |
1009.28/1009.73 c | 546174 | 11714 50099 151980 | 2147483647 546174 219 | 0.000 % |
1012.77/1013.26 c | 547230 | 11714 50099 151980 | 2147483647 547230 219 | 0.000 % |
1016.37/1016.89 c | 548391 | 11714 50099 151980 | 2147483647 548391 219 | 0.000 % |
1020.56/1021.04 c | 549666 | 11714 50099 151980 | 2147483647 549666 219 | 0.000 % |
1025.07/1025.59 c | 551066 | 11714 50099 151980 | 2147483647 551066 219 | 0.000 % |
1030.36/1030.89 c | 552607 | 11714 50099 151980 | 2147483647 552607 219 | 0.000 % |
1035.86/1036.36 c | 554301 | 11714 50099 151980 | 2147483647 554301 219 | 0.000 % |
1041.96/1042.49 c | 556165 | 11714 50099 151980 | 2147483647 556165 219 | 0.000 % |
1048.75/1049.25 c | 558214 | 11714 50099 151980 | 2147483647 558214 219 | 0.000 % |
1055.76/1056.29 c | 560472 | 11714 50099 151980 | 2147483647 560472 219 | 0.000 % |
1063.95/1064.44 c | 562950 | 11714 50099 151980 | 2147483647 562950 219 | 0.000 % |
1072.55/1073.04 c | 565675 | 11714 50099 151980 | 2147483647 565675 219 | 0.000 % |
1081.65/1082.11 c | 568672 | 11714 50099 151980 | 2147483647 568672 219 | 0.000 % |
1092.04/1092.51 c | 571968 | 11714 50099 151980 | 2147483647 571968 220 | 0.000 % |
1103.64/1104.14 c | 575593 | 11714 50099 151980 | 2147483647 575593 220 | 0.000 % |
1116.83/1117.36 c | 579580 | 11714 50099 151980 | 2147483647 579580 220 | 0.000 % |
1131.23/1131.76 c | 583965 | 11714 50099 151980 | 2147483647 583965 220 | 0.000 % |
1146.52/1147.01 c | 588788 | 11714 50099 151980 | 2147483647 588788 221 | 0.000 % |
1163.22/1163.75 c | 594093 | 11714 50099 151980 | 2147483647 594093 221 | 0.000 % |
1163.82/1164.31 c | 594195 | 11714 50099 151980 | 2147483647 594195 221 | 0.000 % |
1164.32/1164.82 c | 594306 | 11714 50099 151980 | 2147483647 594306 221 | 0.000 % |
1164.92/1165.40 c | 594428 | 11714 50099 151980 | 2147483647 594428 221 | 0.000 % |
1165.42/1165.96 c | 594561 | 11714 50099 151980 | 2147483647 594561 221 | 0.000 % |
1166.21/1166.72 c | 594707 | 11714 50099 151980 | 2147483647 594707 221 | 0.000 % |
1166.81/1167.37 c | 594868 | 11714 50099 151980 | 2147483647 594868 221 | 0.000 % |
1167.72/1168.21 c | 595045 | 11714 50099 151980 | 2147483647 595045 221 | 0.000 % |
1168.72/1169.25 c | 595239 | 11714 50099 151980 | 2147483647 595239 221 | 0.000 % |
1169.51/1170.03 c | 595451 | 11714 50099 151980 | 2147483647 595451 221 | 0.000 % |
1170.51/1171.03 c | 595686 | 11714 50099 151980 | 2147483647 595686 221 | 0.000 % |
1171.51/1172.03 c | 595943 | 11714 50099 151980 | 2147483647 595943 221 | 0.000 % |
1172.61/1173.14 c | 596225 | 11714 50099 151980 | 2147483647 596225 221 | 0.000 % |
1173.82/1174.34 c | 596534 | 11714 50099 151980 | 2147483647 596534 221 | 0.000 % |
1175.32/1175.84 c | 596874 | 11714 50099 151980 | 2147483647 596874 221 | 0.000 % |
1176.61/1177.18 c | 597246 | 11714 50099 151980 | 2147483647 597246 221 | 0.000 % |
1178.31/1178.86 c | 597655 | 11714 50099 151980 | 2147483647 597655 221 | 0.000 % |
1180.11/1180.64 c | 598105 | 11714 50099 151980 | 2147483647 598105 221 | 0.000 % |
1182.01/1182.59 c | 598599 | 11714 50099 151980 | 2147483647 598599 221 | 0.000 % |
1184.31/1184.82 c | 599142 | 11714 50099 151980 | 2147483647 599142 221 | 0.000 % |
1186.71/1187.22 c | 599738 | 11714 50099 151980 | 2147483647 599738 221 | 0.000 % |
1189.21/1189.77 c | 600394 | 11714 50099 151980 | 2147483647 600394 221 | 0.000 % |
1191.91/1192.50 c | 601117 | 11714 50099 151980 | 2147483647 601117 221 | 0.000 % |
1195.00/1195.52 c | 601909 | 11714 50099 151980 | 2147483647 601909 221 | 0.000 % |
1198.21/1198.70 c | 602782 | 11714 50099 151980 | 2147483647 602782 221 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832811-1242788260/watcher-1832811-1242788260 -o /tmp/evaluation-result-1832811-1242788260/solver-1832811-1242788260 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832811-1242788260.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.91 0.97 0.99 3/64 15101
/proc/meminfo: memFree=1828248/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0
/proc/15101/stat : 15101 (SatELiteGTI) R 15099 15101 14402 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306859089 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253306792435 0 0 4100 65536 0 0 0 17 0 0 0
/proc/15101/statm: 1339 237 197 169 0 50 0
[startup+0.04355 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 15101
/proc/meminfo: memFree=1828248/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306859089 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15101/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102559 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 15101
/proc/meminfo: memFree=1828248/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306859089 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15101/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302606 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 15101
/proc/meminfo: memFree=1828248/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356
[startup+0.701674 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 15101
/proc/meminfo: memFree=1828248/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356
[startup+1.5018 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 15107
/proc/meminfo: memFree=1821512/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=7204 CPUtime=1.26
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 1648 0 0 0 126 0 0 0 25 0 1 0 306859112 7376896 1634 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 1801 1634 77 171 0 1628 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12560
[startup+3.10107 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 15107
/proc/meminfo: memFree=1819464/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=9844 CPUtime=2.86
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 2311 0 0 0 285 1 0 0 25 0 1 0 306859112 10080256 2297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 2461 2297 77 171 0 2288 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15200
[startup+6.30162 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 15107
/proc/meminfo: memFree=1813960/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=15004 CPUtime=6.05
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 3604 0 0 0 604 1 0 0 25 0 1 0 306859112 15364096 3590 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 3751 3590 77 171 0 3578 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20360
[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 15107
/proc/meminfo: memFree=1804552/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=23984 CPUtime=12.46
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 5833 0 0 0 1243 3 0 0 25 0 1 0 306859112 24559616 5819 1992294400 134512640 135215339 4294956240 18446744073709551615 134527237 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 5996 5819 77 171 0 5823 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29340
[startup+25.5029 s]
/proc/loadavg: 0.94 0.97 0.99 2/66 15107
/proc/meminfo: memFree=1787848/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=39940 CPUtime=25.25
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 9830 0 0 0 2519 6 0 0 25 0 1 0 306859112 40898560 9816 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 9985 9816 77 171 0 9812 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45296
[startup+51.1023 s]
/proc/loadavg: 0.96 0.97 0.99 2/66 15107
/proc/meminfo: memFree=1761352/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=66592 CPUtime=50.84
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 16495 0 0 0 5068 16 0 0 25 0 1 0 306859112 68190208 16481 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 16648 16481 77 171 0 16475 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 71948
[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 15107
/proc/meminfo: memFree=1717384/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=109940 CPUtime=102.02
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 27337 0 0 0 10174 28 0 0 25 0 1 0 306859112 112578560 27323 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 27485 27323 77 171 0 27312 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 115296
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15107
/proc/meminfo: memFree=1676104/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=151536 CPUtime=161.99
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 37696 0 0 0 16161 38 0 0 25 0 1 0 306859112 155172864 37682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 37884 37682 77 171 0 37711 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 156892
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1640840/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=186528 CPUtime=221.96
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 46388 0 0 0 22148 48 0 0 25 0 1 0 306859112 191004672 46374 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 46632 46374 77 171 0 46459 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 191884
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1607944/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=219528 CPUtime=281.93
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 54676 0 0 0 28134 59 0 0 25 0 1 0 306859112 224796672 54663 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 54882 54663 77 171 0 54709 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 224884
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1576072/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=250680 CPUtime=341.9
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 62487 0 0 0 34121 69 0 0 25 0 1 0 306859112 256696320 62473 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 62670 62473 77 171 0 62497 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 256036
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1549512/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=278352 CPUtime=401.88
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 69282 0 0 0 40111 77 0 0 25 0 1 0 306859112 285032448 69268 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 69588 69268 77 171 0 69415 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 283708
[startup+462.303 s]
################
# More data... #
################
/proc/15107/statm: 88035 87803 77 171 0 87862 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 357496
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1452616/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=373396 CPUtime=641.79
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 93155 0 0 0 64074 105 0 0 25 0 1 0 306859112 382357504 93141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 93349 93141 77 171 0 93176 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 378752
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1431880/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=393988 CPUtime=701.76
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 98332 0 0 0 70066 110 0 0 25 0 1 0 306859112 403443712 98318 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 98497 98318 77 171 0 98324 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 399344
[startup+762.307 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1411080/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=414580 CPUtime=761.75
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 103479 0 0 0 76058 117 0 0 25 0 1 0 306859112 424529920 103465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 103645 103465 77 171 0 103472 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 419936
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1389768/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=436612 CPUtime=821.72
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 108794 0 0 0 82048 124 0 0 25 0 1 0 306859112 447090688 108780 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 109153 108780 77 171 0 108980 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 441968
[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1372296/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=453776 CPUtime=881.7
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 113118 0 0 0 88041 129 0 0 25 0 1 0 306859112 464666624 113104 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 113444 113104 77 171 0 113271 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 459132
[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1349640/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=476480 CPUtime=941.67
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 118801 0 0 0 94032 135 0 0 25 0 1 0 306859112 487915520 118787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 119120 118787 77 171 0 118947 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 481836
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1332744/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=492980 CPUtime=1001.65
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 122954 0 0 0 100025 140 0 0 25 0 1 0 306859112 504811520 122940 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 123245 122940 77 171 0 123072 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 498336
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1315848/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=509876 CPUtime=1061.63
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 127185 0 0 0 106019 144 0 0 25 0 1 0 306859112 522113024 127171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 127469 127171 77 171 0 127296 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 515232
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1296904/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=528488 CPUtime=1121.61
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 131849 0 0 0 112013 148 0 0 25 0 1 0 306859112 541171712 131835 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 132122 131835 77 171 0 131949 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 533844
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1279112/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=546176 CPUtime=1181.58
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 136304 0 0 0 118005 153 0 0 25 0 1 0 306859112 559284224 136290 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 136544 136290 77 171 0 136371 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 551532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1274504/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=550532 CPUtime=1199.78
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 137395 0 0 0 119823 155 0 0 25 0 1 0 306859112 563744768 137381 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 137633 137381 77 171 0 137460 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 555888
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15113
/proc/meminfo: memFree=1274504/2055920 swapFree=4179684/4192956
[pid=15101] ppid=15099 vsize=5356 CPUtime=0.22
/proc/15101/stat : 15101 (SatELiteGTI) S 15099 15101 14402 0 -1 4194304 336 1837 0 0 0 0 21 1 16 0 1 0 306859089 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15101/statm: 1339 239 197 169 0 50 0
[pid=15107] ppid=15101 vsize=550532 CPUtime=1199.78
/proc/15107/stat : 15107 (minisat_static) R 15101 15101 14402 0 -1 4194304 137395 0 0 0 119823 155 0 0 25 0 1 0 306859112 563744768 137381 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15107/statm: 137633 137381 77 171 0 137460 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 555888
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15101 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=211967
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=17997
# CPU time returned by wait4() is 0.229964
# while last known CPU time is 1200
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200
CPU user time (s): 1198.44
CPU system time (s): 1.56
CPU usage (%): 99.9574
Max. virtual memory (cumulated for all children) (KiB): 555888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.211967
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 8
runsolver used 1.42578 second user time and 2.99154 second system time
The end
Begin job on node25 at 2009-05-20 04:57:41
IDJOB=1832811
IDBENCH=70369
IDSOLVER=671
FILE ID=node25/1832811-1242788260
PBS_JOBID= 9322306
Free space on /tmp= 66392 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832811-1242788260/watcher-1832811-1242788260 -o /tmp/evaluation-result-1832811-1242788260/solver-1832811-1242788260 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832811-1242788260.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8d7f64a35c0c8e6b970d380bfdb49f2a
RANDOM SEED=1977499478
node25.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.259
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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1828792 kB
Buffers: 32780 kB
Cached: 125672 kB
SwapCached: 7944 kB
Active: 57156 kB
Inactive: 110588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1828792 kB
SwapTotal: 4192956 kB
SwapFree: 4179684 kB
Dirty: 2512 kB
Writeback: 0 kB
Mapped: 14056 kB
Slab: 45448 kB
Committed_AS: 1001928 kB
PageTables: 1464 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= 66388 MiB
End job on node25 at 2009-05-20 05:17:43