0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 67200 201600 | 20159 0 0 nan | 0.000 % |
0.00/0.24 c | 0 | 66779 202710 | -- 0 -- -- | -- | -421/1110
0.00/0.24 c ==============================================================================
0.00/0.24 c Result : #vars: 15605 #clauses: 66779 #literals: 202710
0.00/0.24 c CPU time: 0.225965 s
0.00/0.24 c ==============================================================================
0.00/0.31 c This is MiniSat 2.0 beta
0.00/0.31 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.31 c ============================[ Problem Statistics ]=============================
0.00/0.31 c | |
0.00/0.31 c | Number of variables: 15605 |
0.00/0.31 c | Number of clauses: 66779 |
0.00/0.36 c | Parsing time: 0.05 s |
0.00/0.37 c ============================[ Search Statistics ]==============================
0.00/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.37 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.37 c ===============================================================================
0.00/0.37 c | 0 | 15605 66779 202710 | 22259 0 nan | 0.000 % |
0.30/0.42 c | 100 | 15605 66779 202710 | 22259 100 205 | 0.000 % |
0.30/0.48 c | 200 | 15605 66779 202710 | 22259 200 198 | 0.000 % |
0.30/0.53 c | 301 | 15605 66779 202710 | 22259 301 178 | 0.000 % |
0.30/0.59 c | 411 | 15605 66779 202710 | 22259 411 193 | 0.000 % |
0.30/0.65 c | 512 | 15605 66779 202710 | 22259 512 182 | 0.000 % |
0.30/0.71 c | 622 | 15605 66779 202710 | 22259 622 179 | 0.000 % |
0.30/0.78 c | 743 | 15605 66779 202710 | 22259 743 177 | 0.000 % |
0.30/0.84 c | 843 | 15605 66779 202710 | 22259 843 177 | 0.000 % |
0.30/0.90 c | 954 | 15605 66779 202710 | 22259 954 178 | 0.000 % |
0.30/0.96 c | 1075 | 15605 66779 202710 | 22259 1075 175 | 0.000 % |
0.98/1.04 c | 1208 | 15605 66779 202710 | 22259 1208 172 | 0.000 % |
0.98/1.09 c | 1308 | 15605 66779 202710 | 22259 1308 172 | 0.000 % |
1.08/1.15 c | 1418 | 15605 66779 202710 | 22259 1418 174 | 0.000 % |
1.17/1.22 c | 1539 | 15605 66779 202710 | 22259 1539 173 | 0.000 % |
1.17/1.29 c | 1676 | 15605 66779 202710 | 22259 1676 170 | 0.000 % |
1.27/1.37 c | 1822 | 15605 66779 202710 | 22259 1822 171 | 0.000 % |
1.37/1.43 c | 1922 | 15605 66779 202710 | 22259 1922 173 | 0.000 % |
1.47/1.50 c | 2032 | 15605 66779 202710 | 22259 2032 172 | 0.000 % |
1.47/1.57 c | 2156 | 15605 66779 202710 | 22259 2156 173 | 0.000 % |
1.57/1.64 c | 2289 | 15605 66779 202710 | 22259 2289 171 | 0.000 % |
1.67/1.72 c | 2435 | 15605 66779 202710 | 22259 2435 172 | 0.000 % |
1.78/1.81 c | 2597 | 15605 66779 202710 | 22259 2597 171 | 0.000 % |
1.78/1.88 c | 2698 | 15605 66779 202710 | 22259 2698 172 | 0.000 % |
1.88/1.93 c | 2809 | 15605 66779 202710 | 22259 2809 171 | 0.000 % |
1.98/2.00 c | 2930 | 15605 66779 202710 | 22259 2930 170 | 0.000 % |
1.98/2.07 c | 3063 | 15605 66779 202710 | 22259 3063 171 | 0.000 % |
2.08/2.15 c | 3209 | 15605 66779 202710 | 22259 3209 170 | 0.000 % |
2.18/2.24 c | 3369 | 15605 66779 202710 | 22259 3369 170 | 0.000 % |
2.27/2.35 c | 3546 | 15605 66779 202710 | 22259 3546 171 | 0.000 % |
2.37/2.41 c | 3646 | 15605 66779 202710 | 22259 3646 173 | 0.000 % |
2.37/2.47 c | 3758 | 15605 66779 202710 | 22259 3758 175 | 0.000 % |
2.47/2.54 c | 3882 | 15605 66779 202710 | 22259 3882 175 | 0.000 % |
2.57/2.62 c | 4015 | 15605 66779 202710 | 22259 4015 176 | 0.000 % |
2.67/2.70 c | 4163 | 15605 66779 202710 | 22259 4163 175 | 0.000 % |
2.77/2.80 c | 4326 | 15605 66779 202710 | 22259 4326 176 | 0.000 % |
2.77/2.88 c | 4502 | 15605 66779 202710 | 22259 4502 175 | 0.000 % |
2.87/2.99 c | 4696 | 15605 66779 202710 | 22259 4696 175 | 0.000 % |
2.97/3.05 c | 4796 | 15605 66779 202710 | 22259 4796 176 | 0.000 % |
3.07/3.12 c | 4907 | 15605 66779 202710 | 22259 4907 176 | 0.000 % |
3.07/3.19 c | 5029 | 15605 66779 202710 | 22259 5029 176 | 0.000 % |
3.18/3.28 c | 5167 | 15605 66779 202710 | 22259 5167 176 | 0.000 % |
3.28/3.35 c | 5313 | 15605 66779 202710 | 22259 5313 176 | 0.000 % |
3.37/3.45 c | 5474 | 15605 66779 202710 | 22259 5474 177 | 0.000 % |
3.47/3.54 c | 5650 | 15605 66779 202710 | 22259 5650 176 | 0.000 % |
3.57/3.67 c | 5846 | 15605 66779 202710 | 22259 5846 177 | 0.000 % |
3.67/3.78 c | 6061 | 15605 66779 202710 | 22259 6061 178 | 0.000 % |
3.77/3.85 c | 6161 | 15605 66779 202710 | 22259 6161 177 | 0.000 % |
3.87/3.91 c | 6272 | 15605 66779 202710 | 22259 6272 177 | 0.000 % |
3.87/3.98 c | 6394 | 15605 66779 202710 | 22259 6394 177 | 0.000 % |
3.97/4.06 c | 6530 | 15605 66779 202710 | 22259 6530 178 | 0.000 % |
4.08/4.14 c | 6676 | 15605 66779 202710 | 22259 6676 179 | 0.000 % |
4.18/4.23 c | 6836 | 15605 66779 202710 | 22259 6836 179 | 0.000 % |
4.28/4.33 c | 7014 | 15605 66779 202710 | 22259 7014 180 | 0.000 % |
4.38/4.44 c | 7207 | 15605 66779 202710 | 22259 7207 179 | 0.000 % |
4.48/4.56 c | 7419 | 15605 66779 202710 | 22259 7419 181 | 0.000 % |
4.57/4.69 c | 7652 | 15605 66779 202710 | 22259 7652 182 | 0.000 % |
4.67/4.76 c | 7752 | 15605 66779 202710 | 22259 7752 182 | 0.000 % |
4.77/4.83 c | 7863 | 15605 66779 202710 | 22259 7863 181 | 0.000 % |
4.87/4.91 c | 7985 | 15605 66779 202710 | 22259 7985 181 | 0.000 % |
4.87/4.99 c | 8118 | 15605 66779 202710 | 22259 8118 181 | 0.000 % |
4.97/5.08 c | 8264 | 15605 66779 202710 | 22259 8264 182 | 0.000 % |
5.07/5.17 c | 8424 | 15605 66779 202710 | 22259 8424 182 | 0.000 % |
5.17/5.28 c | 8602 | 15605 66779 202710 | 22259 8602 183 | 0.000 % |
5.37/5.41 c | 8795 | 15605 66779 202710 | 22259 8795 184 | 0.000 % |
5.47/5.53 c | 9007 | 15605 66779 202710 | 22259 9007 185 | 0.000 % |
5.57/5.67 c | 9241 | 15605 66779 202710 | 22259 9241 184 | 0.000 % |
5.78/5.82 c | 9497 | 15605 66779 202710 | 22259 9497 185 | 0.000 % |
5.78/5.89 c | 9597 | 15605 66779 202710 | 22259 9597 185 | 0.000 % |
5.88/5.96 c | 9709 | 15605 66779 202710 | 22259 9709 185 | 0.000 % |
5.98/6.04 c | 9832 | 15605 66779 202710 | 22259 9832 184 | 0.000 % |
6.08/6.12 c | 9966 | 15605 66779 202710 | 22259 9966 185 | 0.000 % |
6.17/6.21 c | 10112 | 15605 66779 202710 | 2147483647 10112 185 | 0.000 % |
6.27/6.32 c | 10272 | 15605 66779 202710 | 2147483647 10272 185 | 0.000 % |
6.37/6.42 c | 10449 | 15605 66779 202710 | 2147483647 10449 184 | 0.000 % |
6.48/6.57 c | 10644 | 15605 66779 202710 | 2147483647 10644 185 | 0.000 % |
6.58/6.69 c | 10857 | 15605 66779 202710 | 2147483647 10857 186 | 0.000 % |
6.77/6.84 c | 11090 | 15605 66779 202710 | 2147483647 11090 186 | 0.000 % |
6.97/7.00 c | 11350 | 15605 66779 202710 | 2147483647 11350 187 | 0.000 % |
7.07/7.18 c | 11632 | 15605 66779 202710 | 2147483647 11632 189 | 0.000 % |
7.17/7.25 c | 11733 | 15605 66779 202710 | 2147483647 11733 189 | 0.000 % |
7.27/7.32 c | 11843 | 15605 66779 202710 | 2147483647 11843 189 | 0.000 % |
7.27/7.39 c | 11964 | 15605 66779 202710 | 2147483647 11964 190 | 0.000 % |
7.37/7.47 c | 12097 | 15605 66779 202710 | 2147483647 12097 189 | 0.000 % |
7.47/7.56 c | 12244 | 15605 66779 202710 | 2147483647 12244 190 | 0.000 % |
7.57/7.67 c | 12405 | 15605 66779 202710 | 2147483647 12405 190 | 0.000 % |
7.67/7.78 c | 12581 | 15605 66779 202710 | 2147483647 12581 190 | 0.000 % |
7.87/7.90 c | 12775 | 15605 66779 202710 | 2147483647 12775 191 | 0.000 % |
7.97/8.03 c | 12987 | 15605 66779 202710 | 2147483647 12987 190 | 0.000 % |
8.07/8.18 c | 13220 | 15605 66779 202710 | 2147483647 13220 191 | 0.000 % |
8.27/8.35 c | 13477 | 15605 66779 202710 | 2147483647 13477 191 | 0.000 % |
8.47/8.52 c | 13758 | 15605 66779 202710 | 2147483647 13758 191 | 0.000 % |
8.67/8.73 c | 14068 | 15605 66779 202710 | 2147483647 14068 193 | 0.000 % |
8.77/8.80 c | 14169 | 15605 66779 202710 | 2147483647 14169 193 | 0.000 % |
8.77/8.88 c | 14279 | 15605 66779 202710 | 2147483647 14279 193 | 0.000 % |
8.87/8.96 c | 14400 | 15605 66779 202710 | 2147483647 14400 192 | 0.000 % |
8.97/9.06 c | 14534 | 15605 66779 202710 | 2147483647 14534 192 | 0.000 % |
9.07/9.16 c | 14680 | 15605 66779 202710 | 2147483647 14680 192 | 0.000 % |
9.17/9.26 c | 14840 | 15605 66779 202710 | 2147483647 14840 192 | 0.000 % |
9.27/9.37 c | 15016 | 15605 66779 202710 | 2147483647 15016 192 | 0.000 % |
9.47/9.50 c | 15210 | 15605 66779 202710 | 2147483647 15210 192 | 0.000 % |
9.57/9.64 c | 15423 | 15605 66779 202710 | 2147483647 15423 192 | 0.000 % |
9.67/9.80 c | 15656 | 15605 66779 202710 | 2147483647 15656 193 | 0.000 % |
9.87/9.96 c | 15913 | 15605 66779 202710 | 2147483647 15913 193 | 0.000 % |
10.07/10.14 c | 16194 | 15605 66779 202710 | 2147483647 16194 194 | 0.000 % |
10.27/10.34 c | 16505 | 15605 66779 202710 | 2147483647 16505 194 | 0.000 % |
10.47/10.56 c | 16844 | 15605 66779 202710 | 2147483647 16844 194 | 0.000 % |
10.57/10.63 c | 16946 | 15605 66779 202710 | 2147483647 16946 193 | 0.000 % |
10.67/10.71 c | 17056 | 15605 66779 202710 | 2147483647 17056 194 | 0.000 % |
10.67/10.79 c | 17180 | 15605 66779 202710 | 2147483647 17180 193 | 0.000 % |
10.88/10.90 c | 17313 | 15605 66779 202710 | 2147483647 17313 193 | 0.000 % |
10.88/11.00 c | 17459 | 15605 66779 202710 | 2147483647 17459 193 | 0.000 % |
11.07/11.11 c | 17621 | 15605 66779 202710 | 2147483647 17621 194 | 0.000 % |
11.17/11.23 c | 17797 | 15605 66779 202710 | 2147483647 17797 194 | 0.000 % |
11.27/11.37 c | 17994 | 15605 66779 202710 | 2147483647 17994 194 | 0.000 % |
11.47/11.50 c | 18206 | 15605 66779 202710 | 2147483647 18206 194 | 0.000 % |
11.57/11.66 c | 18439 | 15605 66779 202710 | 2147483647 18439 194 | 0.000 % |
11.77/11.82 c | 18695 | 15605 66779 202710 | 2147483647 18695 194 | 0.000 % |
11.97/12.00 c | 18976 | 15605 66779 202710 | 2147483647 18976 194 | 0.000 % |
12.17/12.20 c | 19286 | 15605 66779 202710 | 2147483647 19286 194 | 0.000 % |
12.36/12.43 c | 19626 | 15605 66779 202710 | 2147483647 19626 195 | 0.000 % |
12.56/12.68 c | 19998 | 15605 66779 202710 | 2147483647 19998 195 | 0.000 % |
12.66/12.75 c | 20099 | 15605 66779 202710 | 2147483647 20099 195 | 0.000 % |
12.76/12.83 c | 20209 | 15605 66779 202710 | 2147483647 20209 194 | 0.000 % |
12.86/12.91 c | 20331 | 15605 66779 202710 | 2147483647 20331 194 | 0.000 % |
12.96/13.02 c | 20464 | 15605 66779 202710 | 2147483647 20464 194 | 0.000 % |
13.07/13.13 c | 20610 | 15605 66779 202710 | 2147483647 20610 194 | 0.000 % |
13.17/13.26 c | 20772 | 15605 66779 202710 | 2147483647 20772 194 | 0.000 % |
13.26/13.38 c | 20948 | 15605 66779 202710 | 2147483647 20948 194 | 0.000 % |
13.47/13.50 c | 21144 | 15605 66779 202710 | 2147483647 21144 194 | 0.000 % |
13.57/13.64 c | 21356 | 15605 66779 202710 | 2147483647 21356 194 | 0.000 % |
13.77/13.80 c | 21590 | 15605 66779 202710 | 2147483647 21590 195 | 0.000 % |
13.87/13.97 c | 21846 | 15605 66779 202710 | 2147483647 21846 195 | 0.000 % |
14.07/14.17 c | 22128 | 15605 66779 202710 | 2147483647 22128 195 | 0.000 % |
14.27/14.40 c | 22438 | 15605 66779 202710 | 2147483647 22438 195 | 0.000 % |
14.57/14.64 c | 22777 | 15605 66779 202710 | 2147483647 22777 195 | 0.000 % |
14.87/14.90 c | 23151 | 15605 66779 202710 | 2147483647 23151 195 | 0.000 % |
15.07/15.18 c | 23560 | 15605 66779 202710 | 2147483647 23560 196 | 0.000 % |
15.16/15.26 c | 23660 | 15605 66779 202710 | 2147483647 23660 196 | 0.000 % |
15.27/15.34 c | 23771 | 15605 66779 202710 | 2147483647 23771 196 | 0.000 % |
15.37/15.43 c | 23892 | 15605 66779 202710 | 2147483647 23892 195 | 0.000 % |
15.46/15.53 c | 24026 | 15605 66779 202710 | 2147483647 24026 196 | 0.000 % |
15.56/15.65 c | 24172 | 15605 66779 202710 | 2147483647 24172 196 | 0.000 % |
15.66/15.75 c | 24332 | 15605 66779 202710 | 2147483647 24332 195 | 0.000 % |
15.76/15.89 c | 24508 | 15605 66779 202710 | 2147483647 24508 195 | 0.000 % |
15.97/16.03 c | 24701 | 15605 66779 202710 | 2147483647 24701 195 | 0.000 % |
16.07/16.18 c | 24913 | 15605 66779 202710 | 2147483647 24913 195 | 0.000 % |
16.26/16.36 c | 25147 | 15605 66779 202710 | 2147483647 25147 196 | 0.000 % |
16.47/16.54 c | 25406 | 15605 66779 202710 | 2147483647 25406 196 | 0.000 % |
16.66/16.73 c | 25687 | 15605 66779 202710 | 2147483647 25687 196 | 0.000 % |
16.86/16.94 c | 25996 | 15605 66779 202710 | 2147483647 25996 196 | 0.000 % |
17.16/17.20 c | 26335 | 15605 66779 202710 | 2147483647 26335 196 | 0.000 % |
17.36/17.46 c | 26708 | 15605 66779 202710 | 2147483647 26708 196 | 0.000 % |
17.66/17.75 c | 27117 | 15605 66779 202710 | 2147483647 27117 196 | 0.000 % |
17.96/18.10 c | 27567 | 15605 66779 202710 | 2147483647 27567 197 | 0.000 % |
18.06/18.18 c | 27672 | 15605 66779 202710 | 2147483647 27672 197 | 0.000 % |
18.16/18.26 c | 27782 | 15605 66779 202710 | 2147483647 27782 196 | 0.000 % |
18.26/18.36 c | 27904 | 15605 66779 202710 | 2147483647 27904 196 | 0.000 % |
18.36/18.46 c | 28039 | 15605 66779 202710 | 2147483647 28039 196 | 0.000 % |
18.46/18.58 c | 28185 | 15605 66779 202710 | 2147483647 28185 196 | 0.000 % |
18.56/18.70 c | 28345 | 15605 66779 202710 | 2147483647 28345 196 | 0.000 % |
18.76/18.81 c | 28523 | 15605 66779 202710 | 2147483647 28523 196 | 0.000 % |
18.86/18.96 c | 28719 | 15605 66779 202710 | 2147483647 28719 196 | 0.000 % |
19.06/19.11 c | 28933 | 15605 66779 202710 | 2147483647 28933 196 | 0.000 % |
19.16/19.28 c | 29166 | 15605 66779 202710 | 2147483647 29166 196 | 0.000 % |
19.36/19.48 c | 29422 | 15605 66779 202710 | 2147483647 29422 196 | 0.000 % |
19.56/19.69 c | 29703 | 15605 66779 202710 | 2147483647 29703 196 | 0.000 % |
19.86/19.90 c | 30014 | 15605 66779 202710 | 2147483647 30014 196 | 0.000 % |
20.06/20.14 c | 30353 | 15605 66779 202710 | 2147483647 30353 196 | 0.000 % |
20.36/20.43 c | 30725 | 15605 66779 202710 | 2147483647 30725 196 | 0.000 % |
20.66/20.72 c | 31135 | 15605 66779 202710 | 2147483647 31135 197 | 0.000 % |
20.96/21.02 c | 31584 | 15605 66779 202710 | 2147483647 31584 197 | 0.000 % |
21.26/21.37 c | 32079 | 15605 66779 202710 | 2147483647 32079 197 | 0.000 % |
21.36/21.46 c | 32180 | 15605 66779 202710 | 2147483647 32180 197 | 0.000 % |
21.46/21.54 c | 32291 | 15605 66779 202710 | 2147483647 32291 196 | 0.000 % |
21.56/21.64 c | 32414 | 15605 66779 202710 | 2147483647 32414 196 | 0.000 % |
21.66/21.75 c | 32549 | 15605 66779 202710 | 2147483647 32549 196 | 0.000 % |
21.76/21.87 c | 32695 | 15605 66779 202710 | 2147483647 32695 196 | 0.000 % |
21.86/21.97 c | 32855 | 15605 66779 202710 | 2147483647 32855 196 | 0.000 % |
22.06/22.11 c | 33031 | 15605 66779 202710 | 2147483647 33031 196 | 0.000 % |
22.16/22.26 c | 33225 | 15605 66779 202710 | 2147483647 33225 196 | 0.000 % |
22.35/22.41 c | 33439 | 15605 66779 202710 | 2147483647 33439 196 | 0.000 % |
22.45/22.59 c | 33673 | 15605 66779 202710 | 2147483647 33673 197 | 0.000 % |
22.65/22.78 c | 33930 | 15605 66779 202710 | 2147483647 33930 197 | 0.000 % |
22.96/23.02 c | 34212 | 15605 66779 202710 | 2147483647 34212 198 | 0.000 % |
23.15/23.25 c | 34522 | 15605 66779 202710 | 2147483647 34522 198 | 0.000 % |
23.45/23.52 c | 34862 | 15605 66779 202710 | 2147483647 34862 198 | 0.000 % |
23.65/23.79 c | 35236 | 15605 66779 202710 | 2147483647 35236 199 | 0.000 % |
24.06/24.12 c | 35646 | 15605 66779 202710 | 2147483647 35646 200 | 0.000 % |
24.35/24.44 c | 36096 | 15605 66779 202710 | 2147483647 36096 201 | 0.000 % |
24.76/24.82 c | 36590 | 15605 66779 202710 | 2147483647 36590 202 | 0.000 % |
25.16/25.23 c | 37132 | 15605 66779 202710 | 2147483647 37132 203 | 0.000 % |
25.26/25.31 c | 37232 | 15605 66779 202710 | 2147483647 37232 203 | 0.000 % |
25.26/25.39 c | 37342 | 15605 66779 202710 | 2147483647 37342 203 | 0.000 % |
25.36/25.48 c | 37463 | 15605 66779 202710 | 2147483647 37463 202 | 0.000 % |
25.56/25.60 c | 37596 | 15605 66779 202710 | 2147483647 37596 202 | 0.000 % |
25.66/25.74 c | 37742 | 15605 66779 202710 | 2147483647 37742 202 | 0.000 % |
25.76/25.86 c | 37902 | 15605 66779 202710 | 2147483647 37902 202 | 0.000 % |
25.96/26.00 c | 38079 | 15605 66779 202710 | 2147483647 38079 202 | 0.000 % |
26.06/26.18 c | 38272 | 15605 66779 202710 | 2147483647 38272 202 | 0.000 % |
26.26/26.36 c | 38484 | 15605 66779 202710 | 2147483647 38484 202 | 0.000 % |
26.46/26.53 c | 38718 | 15605 66779 202710 | 2147483647 38718 202 | 0.000 % |
26.66/26.73 c | 38975 | 15605 66779 202710 | 2147483647 38975 202 | 0.000 % |
26.85/26.95 c | 39257 | 15605 66779 202710 | 2147483647 39257 202 | 0.000 % |
27.15/27.20 c | 39567 | 15605 66779 202710 | 2147483647 39567 202 | 0.000 % |
27.36/27.47 c | 39906 | 15605 66779 202710 | 2147483647 39906 203 | 0.000 % |
27.65/27.76 c | 40278 | 15605 66779 202710 | 2147483647 40278 203 | 0.000 % |
27.95/28.08 c | 40690 | 15605 66779 202710 | 2147483647 40690 203 | 0.000 % |
28.35/28.44 c | 41139 | 15605 66779 202710 | 2147483647 41139 203 | 0.000 % |
28.75/28.82 c | 41632 | 15605 66779 202710 | 2147483647 41632 203 | 0.000 % |
29.16/29.22 c | 42175 | 15605 66779 202710 | 2147483647 42175 204 | 0.000 % |
29.56/29.70 c | 42773 | 15605 66779 202710 | 2147483647 42773 204 | 0.000 % |
29.66/29.78 c | 42874 | 15605 66779 202710 | 2147483647 42874 204 | 0.000 % |
29.75/29.87 c | 42984 | 15605 66779 202710 | 2147483647 42984 204 | 0.000 % |
29.85/29.99 c | 43106 | 15605 66779 202710 | 2147483647 43106 204 | 0.000 % |
30.05/30.11 c | 43240 | 15605 66779 202710 | 2147483647 43240 204 | 0.000 % |
30.15/30.23 c | 43388 | 15605 66779 202710 | 2147483647 43388 204 | 0.000 % |
30.25/30.38 c | 43550 | 15605 66779 202710 | 2147483647 43550 204 | 0.000 % |
30.45/30.55 c | 43726 | 15605 66779 202710 | 2147483647 43726 204 | 0.000 % |
30.66/30.71 c | 43921 | 15605 66779 202710 | 2147483647 43921 204 | 0.000 % |
30.76/30.89 c | 44133 | 15605 66779 202710 | 2147483647 44133 204 | 0.000 % |
30.95/31.07 c | 44366 | 15605 66779 202710 | 2147483647 44366 204 | 0.000 % |
31.15/31.29 c | 44625 | 15605 66779 202710 | 2147483647 44625 204 | 0.000 % |
31.45/31.53 c | 44906 | 15605 66779 202710 | 2147483647 44906 204 | 0.000 % |
31.75/31.81 c | 45216 | 15605 66779 202710 | 2147483647 45216 204 | 0.000 % |
32.05/32.11 c | 45555 | 15605 66779 202710 | 2147483647 45555 204 | 0.000 % |
32.35/32.43 c | 45927 | 15605 66779 202710 | 2147483647 45927 204 | 0.000 % |
32.65/32.77 c | 46339 | 15605 66779 202710 | 2147483647 46339 204 | 0.000 % |
33.05/33.16 c | 46788 | 15605 66779 202710 | 2147483647 46788 204 | 0.000 % |
33.45/33.57 c | 47283 | 15605 66779 202710 | 2147483647 47283 205 | 0.000 % |
33.96/34.03 c | 47827 | 15605 66779 202710 | 2147483647 47827 205 | 0.000 % |
34.35/34.49 c | 48425 | 15605 66779 202710 | 2147483647 48425 205 | 0.000 % |
34.95/35.06 c | 49081 | 15605 66779 202710 | 2147483647 49081 206 | 0.000 % |
35.05/35.18 c | 49182 | 15605 66779 202710 | 2147483647 49182 206 | 0.000 % |
35.15/35.28 c | 49293 | 15605 66779 202710 | 2147483647 49293 206 | 0.000 % |
35.25/35.37 c | 49414 | 15605 66779 202710 | 2147483647 49414 206 | 0.000 % |
35.44/35.50 c | 49548 | 15605 66779 202710 | 2147483647 49548 206 | 0.000 % |
35.54/35.66 c | 49695 | 15605 66779 202710 | 2147483647 49695 206 | 0.000 % |
35.75/35.81 c | 49855 | 15605 66779 202710 | 2147483647 49855 206 | 0.000 % |
35.85/35.97 c | 50031 | 15605 66779 202710 | 2147483647 50031 206 | 0.000 % |
36.05/36.16 c | 50224 | 15605 66779 202710 | 2147483647 50224 206 | 0.000 % |
36.25/36.36 c | 50437 | 15605 66779 202710 | 2147483647 50437 206 | 0.000 % |
36.45/36.56 c | 50670 | 15605 66779 202710 | 2147483647 50670 206 | 0.000 % |
36.65/36.78 c | 50928 | 15605 66779 202710 | 2147483647 50928 206 | 0.000 % |
36.95/37.03 c | 51209 | 15605 66779 202710 | 2147483647 51209 206 | 0.000 % |
37.15/37.29 c | 51520 | 15605 66779 202710 | 2147483647 51520 206 | 0.000 % |
37.45/37.58 c | 51862 | 15605 66779 202710 | 2147483647 51862 206 | 0.000 % |
37.84/37.91 c | 52235 | 15605 66779 202710 | 2147483647 52235 206 | 0.000 % |
38.14/38.27 c | 52646 | 15605 66779 202710 | 2147483647 52646 207 | 0.000 % |
38.54/38.65 c | 53095 | 15605 66779 202710 | 2147483647 53095 207 | 0.000 % |
38.94/39.07 c | 53588 | 15605 66779 202710 | 2147483647 53588 207 | 0.000 % |
39.44/39.56 c | 54130 | 15605 66779 202710 | 2147483647 54130 208 | 0.000 % |
39.94/40.05 c | 54726 | 15605 66779 202710 | 2147483647 54726 208 | 0.000 % |
40.44/40.59 c | 55381 | 15605 66779 202710 | 2147483647 55381 209 | 0.000 % |
41.14/41.20 c | 56104 | 15605 66779 202710 | 2147483647 56104 210 | 0.000 % |
41.14/41.29 c | 56205 | 15605 66779 202710 | 2147483647 56205 210 | 0.000 % |
41.34/41.40 c | 56315 | 15605 66779 202710 | 2147483647 56315 210 | 0.000 % |
41.44/41.52 c | 56436 | 15605 66779 202710 | 2147483647 56436 209 | 0.000 % |
41.54/41.64 c | 56569 | 15605 66779 202710 | 2147483647 56569 209 | 0.000 % |
41.65/41.79 c | 56716 | 15605 66779 202710 | 2147483647 56716 209 | 0.000 % |
41.84/41.94 c | 56877 | 15605 66779 202710 | 2147483647 56877 209 | 0.000 % |
42.04/42.11 c | 57056 | 15605 66779 202710 | 2147483647 57056 209 | 0.000 % |
42.14/42.29 c | 57249 | 15605 66779 202710 | 2147483647 57249 209 | 0.000 % |
42.44/42.50 c | 57461 | 15605 66779 202710 | 2147483647 57461 209 | 0.000 % |
42.64/42.72 c | 57695 | 15605 66779 202710 | 2147483647 57695 209 | 0.000 % |
42.84/42.95 c | 57953 | 15605 66779 202710 | 2147483647 57953 209 | 0.000 % |
43.14/43.21 c | 58234 | 15605 66779 202710 | 2147483647 58234 209 | 0.000 % |
43.34/43.47 c | 58545 | 15605 66779 202710 | 2147483647 58545 210 | 0.000 % |
43.63/43.78 c | 58886 | 15605 66779 202710 | 2147483647 58886 210 | 0.000 % |
44.03/44.13 c | 59261 | 15605 66779 202710 | 2147483647 59261 210 | 0.000 % |
44.44/44.51 c | 59670 | 15605 66779 202710 | 2147483647 59670 210 | 0.000 % |
44.84/44.94 c | 60122 | 15605 66779 202710 | 2147483647 60122 210 | 0.000 % |
45.34/45.42 c | 60615 | 15605 66779 202710 | 2147483647 60615 210 | 0.000 % |
45.84/45.91 c | 61158 | 15605 66779 202710 | 2147483647 61158 211 | 0.000 % |
46.33/46.44 c | 61754 | 15605 66779 202710 | 2147483647 61754 211 | 0.000 % |
46.93/47.02 c | 62410 | 15605 66779 202710 | 2147483647 62410 211 | 0.000 % |
47.53/47.66 c | 63130 | 15605 66779 202710 | 2147483647 63130 212 | 0.000 % |
48.34/48.41 c | 63922 | 15605 66779 202710 | 2147483647 63922 212 | 0.000 % |
48.44/48.52 c | 64023 | 15605 66779 202710 | 2147483647 64023 212 | 0.000 % |
48.54/48.64 c | 64134 | 15605 66779 202710 | 2147483647 64134 212 | 0.000 % |
48.64/48.76 c | 64255 | 15605 66779 202710 | 2147483647 64255 212 | 0.000 % |
48.74/48.89 c | 64388 | 15605 66779 202710 | 2147483647 64388 211 | 0.000 % |
48.94/49.03 c | 64536 | 15605 66779 202710 | 2147483647 64536 211 | 0.000 % |
49.14/49.22 c | 64698 | 15605 66779 202710 | 2147483647 64698 211 | 0.000 % |
49.24/49.39 c | 64875 | 15605 66779 202710 | 2147483647 64875 211 | 0.000 % |
49.44/49.59 c | 65068 | 15605 66779 202710 | 2147483647 65068 211 | 0.000 % |
49.74/49.82 c | 65281 | 15605 66779 202710 | 2147483647 65281 211 | 0.000 % |
49.94/50.04 c | 65515 | 15605 66779 202710 | 2147483647 65515 211 | 0.000 % |
50.14/50.29 c | 65772 | 15605 66779 202710 | 2147483647 65772 211 | 0.000 % |
50.44/50.56 c | 66053 | 15605 66779 202710 | 2147483647 66053 212 | 0.000 % |
50.73/50.89 c | 66362 | 15605 66779 202710 | 2147483647 66362 212 | 0.000 % |
51.13/51.23 c | 66702 | 15605 66779 202710 | 2147483647 66702 212 | 0.000 % |
51.43/51.58 c | 67076 | 15605 66779 202710 | 2147483647 67076 212 | 0.000 % |
51.83/51.97 c | 67486 | 15605 66779 202710 | 2147483647 67486 212 | 0.000 % |
52.33/52.42 c | 67935 | 15605 66779 202710 | 2147483647 67935 212 | 0.000 % |
52.83/52.91 c | 68428 | 15605 66779 202710 | 2147483647 68428 213 | 0.000 % |
53.34/53.44 c | 68971 | 15605 66779 202710 | 2147483647 68971 213 | 0.000 % |
53.94/54.03 c | 69570 | 15605 66779 202710 | 2147483647 69570 214 | 0.000 % |
54.64/54.71 c | 70226 | 15605 66779 202710 | 2147483647 70226 214 | 0.000 % |
55.23/55.38 c | 70946 | 15605 66779 202710 | 2147483647 70946 215 | 0.000 % |
56.04/56.16 c | 71738 | 15605 66779 202710 | 2147483647 71738 215 | 0.000 % |
56.93/57.03 c | 72610 | 15605 66779 202710 | 2147483647 72610 216 | 0.000 % |
57.04/57.14 c | 72710 | 15605 66779 202710 | 2147483647 72710 216 | 0.000 % |
57.14/57.27 c | 72820 | 15605 66779 202710 | 2147483647 72820 216 | 0.000 % |
57.23/57.39 c | 72941 | 15605 66779 202710 | 2147483647 72941 216 | 0.000 % |
57.43/57.54 c | 73074 | 15605 66779 202710 | 2147483647 73074 216 | 0.000 % |
57.63/57.72 c | 73220 | 15605 66779 202710 | 2147483647 73220 216 | 0.000 % |
57.73/57.89 c | 73380 | 15605 66779 202710 | 2147483647 73380 216 | 0.000 % |
57.93/58.06 c | 73556 | 15605 66779 202710 | 2147483647 73556 216 | 0.000 % |
58.14/58.26 c | 73749 | 15605 66779 202710 | 2147483647 73749 216 | 0.000 % |
58.33/58.48 c | 73961 | 15605 66779 202710 | 2147483647 73961 216 | 0.000 % |
58.63/58.73 c | 74195 | 15605 66779 202710 | 2147483647 74195 216 | 0.000 % |
58.93/59.00 c | 74451 | 15605 66779 202710 | 2147483647 74451 216 | 0.000 % |
59.13/59.28 c | 74734 | 15605 66779 202710 | 2147483647 74734 216 | 0.000 % |
59.43/59.59 c | 75043 | 15605 66779 202710 | 2147483647 75043 216 | 0.000 % |
59.83/59.96 c | 75382 | 15605 66779 202710 | 2147483647 75382 216 | 0.000 % |
60.23/60.38 c | 75754 | 15605 66779 202710 | 2147483647 75754 216 | 0.000 % |
60.63/60.76 c | 76163 | 15605 66779 202710 | 2147483647 76163 216 | 0.000 % |
61.13/61.20 c | 76614 | 15605 66779 202710 | 2147483647 76614 216 | 0.000 % |
61.63/61.70 c | 77107 | 15605 66779 202710 | 2147483647 77107 216 | 0.000 % |
62.13/62.29 c | 77649 | 15605 66779 202710 | 2147483647 77649 216 | 0.000 % |
62.73/62.85 c | 78245 | 15605 66779 202710 | 2147483647 78245 217 | 0.000 % |
63.43/63.51 c | 78901 | 15605 66779 202710 | 2147483647 78901 217 | 0.000 % |
64.03/64.19 c | 79621 | 15605 66779 202710 | 2147483647 79621 217 | 0.000 % |
64.83/64.99 c | 80413 | 15605 66779 202710 | 2147483647 80413 217 | 0.000 % |
65.72/65.87 c | 81285 | 15605 66779 202710 | 2147483647 81285 218 | 0.000 % |
66.73/66.87 c | 82243 | 15605 66779 202710 | 2147483647 82243 218 | 0.000 % |
66.83/66.99 c | 82343 | 15605 66779 202710 | 2147483647 82343 218 | 0.000 % |
67.03/67.12 c | 82455 | 15605 66779 202710 | 2147483647 82455 218 | 0.000 % |
67.13/67.26 c | 82577 | 15605 66779 202710 | 2147483647 82577 218 | 0.000 % |
67.33/67.42 c | 82710 | 15605 66779 202710 | 2147483647 82710 218 | 0.000 % |
67.43/67.59 c | 82859 | 15605 66779 202710 | 2147483647 82859 218 | 0.000 % |
67.63/67.79 c | 83020 | 15605 66779 202710 | 2147483647 83020 218 | 0.000 % |
67.83/67.98 c | 83196 | 15605 66779 202710 | 2147483647 83196 218 | 0.000 % |
68.03/68.19 c | 83390 | 15605 66779 202710 | 2147483647 83390 218 | 0.000 % |
68.32/68.43 c | 83604 | 15605 66779 202710 | 2147483647 83604 218 | 0.000 % |
68.52/68.67 c | 83837 | 15605 66779 202710 | 2147483647 83837 218 | 0.000 % |
68.82/68.93 c | 84094 | 15605 66779 202710 | 2147483647 84094 218 | 0.000 % |
69.13/69.23 c | 84376 | 15605 66779 202710 | 2147483647 84376 218 | 0.000 % |
69.42/69.59 c | 84687 | 15605 66779 202710 | 2147483647 84687 218 | 0.000 % |
69.83/69.97 c | 85026 | 15605 66779 202710 | 2147483647 85026 218 | 0.000 % |
70.23/70.35 c | 85399 | 15605 66779 202710 | 2147483647 85399 218 | 0.000 % |
70.63/70.79 c | 85810 | 15605 66779 202710 | 2147483647 85810 218 | 0.000 % |
71.13/71.24 c | 86260 | 15605 66779 202710 | 2147483647 86260 218 | 0.000 % |
71.63/71.77 c | 86753 | 15605 66779 202710 | 2147483647 86753 218 | 0.000 % |
72.23/72.35 c | 87296 | 15605 66779 202710 | 2147483647 87296 218 | 0.000 % |
72.83/72.97 c | 87893 | 15605 66779 202710 | 2147483647 87893 218 | 0.000 % |
73.53/73.69 c | 88548 | 15605 66779 202710 | 2147483647 88548 218 | 0.000 % |
74.32/74.47 c | 89268 | 15605 66779 202710 | 2147483647 89268 218 | 0.000 % |
75.23/75.30 c | 90063 | 15605 66779 202710 | 2147483647 90063 218 | 0.000 % |
76.13/76.25 c | 90935 | 15605 66779 202710 | 2147483647 90935 219 | 0.000 % |
77.13/77.22 c | 91895 | 15605 66779 202710 | 2147483647 91895 219 | 0.000 % |
78.22/78.34 c | 92948 | 15605 66779 202710 | 2147483647 92948 220 | 0.000 % |
78.32/78.47 c | 93048 | 15605 66779 202710 | 2147483647 93048 220 | 0.000 % |
78.52/78.62 c | 93160 | 15605 66779 202710 | 2147483647 93160 220 | 0.000 % |
78.62/78.76 c | 93281 | 15605 66779 202710 | 2147483647 93281 220 | 0.000 % |
78.82/78.91 c | 93414 | 15605 66779 202710 | 2147483647 93414 219 | 0.000 % |
78.92/79.09 c | 93561 | 15605 66779 202710 | 2147483647 93561 219 | 0.000 % |
79.12/79.29 c | 93723 | 15605 66779 202710 | 2147483647 93723 219 | 0.000 % |
79.43/79.51 c | 93899 | 15605 66779 202710 | 2147483647 93899 219 | 0.000 % |
79.62/79.77 c | 94094 | 15605 66779 202710 | 2147483647 94094 219 | 0.000 % |
79.92/80.02 c | 94307 | 15605 66779 202710 | 2147483647 94307 219 | 0.000 % |
80.13/80.28 c | 94543 | 15605 66779 202710 | 2147483647 94543 219 | 0.000 % |
80.42/80.58 c | 94803 | 15605 66779 202710 | 2147483647 94803 219 | 0.000 % |
80.82/80.90 c | 95086 | 15605 66779 202710 | 2147483647 95086 219 | 0.000 % |
81.12/81.24 c | 95397 | 15605 66779 202710 | 2147483647 95397 219 | 0.000 % |
81.52/81.60 c | 95736 | 15605 66779 202710 | 2147483647 95736 219 | 0.000 % |
81.92/82.06 c | 96109 | 15605 66779 202710 | 2147483647 96109 219 | 0.000 % |
82.43/82.51 c | 96519 | 15605 66779 202710 | 2147483647 96519 219 | 0.000 % |
82.82/82.99 c | 96968 | 15605 66779 202710 | 2147483647 96968 219 | 0.000 % |
83.32/83.50 c | 97461 | 15605 66779 202710 | 2147483647 97461 219 | 0.000 % |
84.03/84.10 c | 98006 | 15605 66779 202710 | 2147483647 98006 219 | 0.000 % |
84.63/84.77 c | 98602 | 15605 66779 202710 | 2147483647 98602 219 | 0.000 % |
85.32/85.49 c | 99257 | 15605 66779 202710 | 2147483647 99257 219 | 0.000 % |
86.12/86.26 c | 99978 | 15605 66779 202710 | 2147483647 99978 220 | 0.000 % |
86.92/87.08 c | 100770 | 15605 66779 202710 | 2147483647 100770 220 | 0.000 % |
87.93/88.05 c | 101641 | 15605 66779 202710 | 2147483647 101641 220 | 0.000 % |
89.02/89.13 c | 102599 | 15605 66779 202710 | 2147483647 102599 220 | 0.000 % |
90.21/90.32 c | 103653 | 15605 66779 202710 | 2147483647 103653 220 | 0.000 % |
91.42/91.58 c | 104812 | 15605 66779 202710 | 2147483647 104812 220 | 0.000 % |
91.62/91.71 c | 104912 | 15605 66779 202710 | 2147483647 104912 220 | 0.000 % |
91.72/91.86 c | 105023 | 15605 66779 202710 | 2147483647 105023 220 | 0.000 % |
91.92/92.03 c | 105144 | 15605 66779 202710 | 2147483647 105144 220 | 0.000 % |
92.12/92.22 c | 105279 | 15605 66779 202710 | 2147483647 105279 220 | 0.000 % |
92.33/92.41 c | 105425 | 15605 66779 202710 | 2147483647 105425 220 | 0.000 % |
92.52/92.61 c | 105585 | 15605 66779 202710 | 2147483647 105585 220 | 0.000 % |
92.72/92.85 c | 105761 | 15605 66779 202710 | 2147483647 105761 220 | 0.000 % |
92.92/93.08 c | 105954 | 15605 66779 202710 | 2147483647 105954 220 | 0.000 % |
93.22/93.38 c | 106167 | 15605 66779 202710 | 2147483647 106167 220 | 0.000 % |
93.62/93.70 c | 106401 | 15605 66779 202710 | 2147483647 106401 220 | 0.000 % |
93.82/93.98 c | 106658 | 15605 66779 202710 | 2147483647 106658 220 | 0.000 % |
94.22/94.33 c | 106939 | 15605 66779 202710 | 2147483647 106939 220 | 0.000 % |
94.62/94.74 c | 107250 | 15605 66779 202710 | 2147483647 107250 220 | 0.000 % |
95.01/95.14 c | 107589 | 15605 66779 202710 | 2147483647 107589 220 | 0.000 % |
95.41/95.58 c | 107962 | 15605 66779 202710 | 2147483647 107962 220 | 0.000 % |
95.91/96.08 c | 108371 | 15605 66779 202710 | 2147483647 108371 220 | 0.000 % |
96.41/96.59 c | 108820 | 15605 66779 202710 | 2147483647 108820 220 | 0.000 % |
97.01/97.19 c | 109315 | 15605 66779 202710 | 2147483647 109315 220 | 0.000 % |
97.62/97.79 c | 109857 | 15605 66779 202710 | 2147483647 109857 220 | 0.000 % |
98.42/98.52 c | 110453 | 15605 66779 202710 | 2147483647 110453 220 | 0.000 % |
99.22/99.32 c | 111109 | 15605 66779 202710 | 2147483647 111109 220 | 0.000 % |
100.02/100.16 c | 111829 | 15605 66779 202710 | 2147483647 111829 220 | 0.000 % |
100.91/101.08 c | 112623 | 15605 66779 202710 | 2147483647 112623 220 | 0.000 % |
102.02/102.10 c | 113494 | 15605 66779 202710 | 2147483647 113494 220 | 0.000 % |
103.02/103.19 c | 114452 | 15605 66779 202710 | 2147483647 114452 221 | 0.000 % |
104.32/104.48 c | 115508 | 15605 66779 202710 | 2147483647 115508 222 | 0.000 % |
105.72/105.88 c | 116668 | 15605 66779 202710 | 2147483647 116668 222 | 0.000 % |
107.21/107.35 c | 117946 | 15605 66779 202710 | 2147483647 117946 222 | 0.000 % |
107.41/107.50 c | 118047 | 15605 66779 202710 | 2147483647 118047 222 | 0.000 % |
107.51/107.68 c | 118157 | 15605 66779 202710 | 2147483647 118157 222 | 0.000 % |
107.72/107.82 c | 118278 | 15605 66779 202710 | 2147483647 118278 222 | 0.000 % |
107.91/108.02 c | 118411 | 15605 66779 202710 | 2147483647 118411 222 | 0.000 % |
108.11/108.23 c | 118557 | 15605 66779 202710 | 2147483647 118557 222 | 0.000 % |
108.31/108.46 c | 118717 | 15605 66779 202710 | 2147483647 118717 222 | 0.000 % |
108.61/108.71 c | 118893 | 15605 66779 202710 | 2147483647 118893 222 | 0.000 % |
108.81/108.99 c | 119088 | 15605 66779 202710 | 2147483647 119088 222 | 0.000 % |
109.11/109.28 c | 119302 | 15605 66779 202710 | 2147483647 119302 222 | 0.000 % |
109.51/109.60 c | 119537 | 15605 66779 202710 | 2147483647 119537 222 | 0.000 % |
109.81/109.96 c | 119793 | 15605 66779 202710 | 2147483647 119793 222 | 0.000 % |
110.21/110.36 c | 120075 | 15605 66779 202710 | 2147483647 120075 222 | 0.000 % |
110.61/110.75 c | 120387 | 15605 66779 202710 | 2147483647 120387 222 | 0.000 % |
111.02/111.17 c | 120726 | 15605 66779 202710 | 2147483647 120726 222 | 0.000 % |
111.51/111.66 c | 121098 | 15605 66779 202710 | 2147483647 121098 222 | 0.000 % |
112.12/112.20 c | 121507 | 15605 66779 202710 | 2147483647 121507 222 | 0.000 % |
112.61/112.77 c | 121956 | 15605 66779 202710 | 2147483647 121956 222 | 0.000 % |
113.21/113.39 c | 122449 | 15605 66779 202710 | 2147483647 122449 222 | 0.000 % |
113.91/114.09 c | 122991 | 15605 66779 202710 | 2147483647 122991 222 | 0.000 % |
114.70/114.83 c | 123587 | 15605 66779 202710 | 2147483647 123587 222 | 0.000 % |
115.51/115.60 c | 124242 | 15605 66779 202710 | 2147483647 124242 222 | 0.000 % |
116.42/116.56 c | 124963 | 15605 66779 202710 | 2147483647 124963 222 | 0.000 % |
117.41/117.57 c | 125755 | 15605 66779 202710 | 2147483647 125755 222 | 0.000 % |
118.51/118.65 c | 126626 | 15605 66779 202710 | 2147483647 126626 222 | 0.000 % |
119.72/119.82 c | 127584 | 15605 66779 202710 | 2147483647 127584 222 | 0.000 % |
121.01/121.15 c | 128638 | 15605 66779 202710 | 2147483647 128638 223 | 0.000 % |
122.50/122.63 c | 129798 | 15605 66779 202710 | 2147483647 129798 223 | 0.000 % |
124.11/124.29 c | 131072 | 15605 66779 202710 | 2147483647 131072 223 | 0.000 % |
126.01/126.11 c | 132472 | 15605 66779 202710 | 2147483647 132472 224 | 0.000 % |
126.11/126.27 c | 132572 | 15605 66779 202710 | 2147483647 132572 224 | 0.000 % |
126.31/126.41 c | 132682 | 15605 66779 202710 | 2147483647 132682 224 | 0.000 % |
126.41/126.60 c | 132804 | 15605 66779 202710 | 2147483647 132804 223 | 0.000 % |
126.71/126.81 c | 132937 | 15605 66779 202710 | 2147483647 132937 223 | 0.000 % |
126.91/127.03 c | 133084 | 15605 66779 202710 | 2147483647 133084 223 | 0.000 % |
127.11/127.28 c | 133244 | 15605 66779 202710 | 2147483647 133244 223 | 0.000 % |
127.41/127.54 c | 133422 | 15605 66779 202710 | 2147483647 133422 223 | 0.000 % |
127.60/127.78 c | 133616 | 15605 66779 202710 | 2147483647 133616 223 | 0.000 % |
127.90/128.06 c | 133831 | 15605 66779 202710 | 2147483647 133831 223 | 0.000 % |
128.30/128.40 c | 134066 | 15605 66779 202710 | 2147483647 134066 223 | 0.000 % |
128.61/128.76 c | 134322 | 15605 66779 202710 | 2147483647 134322 223 | 0.000 % |
129.00/129.19 c | 134604 | 15605 66779 202710 | 2147483647 134604 223 | 0.000 % |
129.50/129.60 c | 134914 | 15605 66779 202710 | 2147483647 134914 223 | 0.000 % |
129.90/130.05 c | 135253 | 15605 66779 202710 | 2147483647 135253 223 | 0.000 % |
130.40/130.55 c | 135625 | 15605 66779 202710 | 2147483647 135625 223 | 0.000 % |
130.90/131.09 c | 136034 | 15605 66779 202710 | 2147483647 136034 223 | 0.000 % |
131.60/131.74 c | 136483 | 15605 66779 202710 | 2147483647 136483 223 | 0.000 % |
132.31/132.44 c | 136976 | 15605 66779 202710 | 2147483647 136976 223 | 0.000 % |
133.01/133.20 c | 137518 | 15605 66779 202710 | 2147483647 137518 223 | 0.000 % |
133.90/134.05 c | 138115 | 15605 66779 202710 | 2147483647 138115 223 | 0.000 % |
134.80/134.92 c | 138770 | 15605 66779 202710 | 2147483647 138770 223 | 0.000 % |
135.60/135.79 c | 139491 | 15605 66779 202710 | 2147483647 139491 224 | 0.000 % |
136.60/136.77 c | 140283 | 15605 66779 202710 | 2147483647 140283 224 | 0.000 % |
137.80/137.91 c | 141154 | 15605 66779 202710 | 2147483647 141154 224 | 0.000 % |
139.01/139.11 c | 142112 | 15605 66779 202710 | 2147483647 142112 224 | 0.000 % |
140.30/140.49 c | 143169 | 15605 66779 202710 | 2147483647 143169 225 | 0.000 % |
141.90/142.04 c | 144328 | 15605 66779 202710 | 2147483647 144328 225 | 0.000 % |
143.50/143.66 c | 145602 | 15605 66779 202710 | 2147483647 145602 225 | 0.000 % |
145.39/145.55 c | 147002 | 15605 66779 202710 | 2147483647 147002 226 | 0.000 % |
147.50/147.64 c | 148542 | 15605 66779 202710 | 2147483647 148542 227 | 0.000 % |
147.70/147.80 c | 148645 | 15605 66779 202710 | 2147483647 148645 227 | 0.000 % |
147.80/147.97 c | 148756 | 15605 66779 202710 | 2147483647 148756 227 | 0.000 % |
148.00/148.14 c | 148879 | 15605 66779 202710 | 2147483647 148879 227 | 0.000 % |
148.20/148.35 c | 149013 | 15605 66779 202710 | 2147483647 149013 227 | 0.000 % |
148.40/148.60 c | 149159 | 15605 66779 202710 | 2147483647 149159 227 | 0.000 % |
148.70/148.84 c | 149320 | 15605 66779 202710 | 2147483647 149320 227 | 0.000 % |
149.00/149.12 c | 149496 | 15605 66779 202710 | 2147483647 149496 227 | 0.000 % |
149.30/149.40 c | 149690 | 15605 66779 202710 | 2147483647 149690 227 | 0.000 % |
149.60/149.73 c | 149905 | 15605 66779 202710 | 2147483647 149905 227 | 0.000 % |
149.89/150.09 c | 150138 | 15605 66779 202710 | 2147483647 150138 227 | 0.000 % |
150.29/150.46 c | 150395 | 15605 66779 202710 | 2147483647 150395 227 | 0.000 % |
150.69/150.89 c | 150676 | 15605 66779 202710 | 2147483647 150676 227 | 0.000 % |
151.20/151.31 c | 150986 | 15605 66779 202710 | 2147483647 150986 227 | 0.000 % |
151.70/151.85 c | 151327 | 15605 66779 202710 | 2147483647 151327 227 | 0.000 % |
152.20/152.39 c | 151699 | 15605 66779 202710 | 2147483647 151699 227 | 0.000 % |
152.89/153.03 c | 152108 | 15605 66779 202710 | 2147483647 152108 227 | 0.000 % |
153.49/153.69 c | 152557 | 15605 66779 202710 | 2147483647 152557 227 | 0.000 % |
154.29/154.42 c | 153050 | 15605 66779 202710 | 2147483647 153050 227 | 0.000 % |
155.10/155.24 c | 153593 | 15605 66779 202710 | 2147483647 153593 227 | 0.000 % |
156.00/156.17 c | 154192 | 15605 66779 202710 | 2147483647 154192 227 | 0.000 % |
156.90/157.09 c | 154848 | 15605 66779 202710 | 2147483647 154848 227 | 0.000 % |
157.99/158.12 c | 155568 | 15605 66779 202710 | 2147483647 155568 227 | 0.000 % |
159.09/159.20 c | 156360 | 15605 66779 202710 | 2147483647 156360 227 | 0.000 % |
160.39/160.51 c | 157232 | 15605 66779 202710 | 2147483647 157232 227 | 0.000 % |
161.80/161.90 c | 158191 | 15605 66779 202710 | 2147483647 158191 228 | 0.000 % |
163.19/163.33 c | 159244 | 15605 66779 202710 | 2147483647 159244 228 | 0.000 % |
164.80/164.98 c | 160406 | 15605 66779 202710 | 2147483647 160406 228 | 0.000 % |
166.69/166.82 c | 161680 | 15605 66779 202710 | 2147483647 161680 228 | 0.000 % |
168.59/168.79 c | 163081 | 15605 66779 202710 | 2147483647 163081 228 | 0.000 % |
170.79/170.96 c | 164624 | 15605 66779 202710 | 2147483647 164624 229 | 0.000 % |
173.39/173.57 c | 166319 | 15605 66779 202710 | 2147483647 166319 229 | 0.000 % |
173.49/173.70 c | 166421 | 15605 66779 202710 | 2147483647 166421 229 | 0.000 % |
173.69/173.88 c | 166531 | 15605 66779 202710 | 2147483647 166531 229 | 0.000 % |
173.99/174.11 c | 166654 | 15605 66779 202710 | 2147483647 166654 229 | 0.000 % |
174.19/174.35 c | 166787 | 15605 66779 202710 | 2147483647 166787 229 | 0.000 % |
174.49/174.61 c | 166934 | 15605 66779 202710 | 2147483647 166934 229 | 0.000 % |
174.70/174.87 c | 167094 | 15605 66779 202710 | 2147483647 167094 229 | 0.000 % |
174.99/175.18 c | 167272 | 15605 66779 202710 | 2147483647 167272 229 | 0.000 % |
175.39/175.50 c | 167465 | 15605 66779 202710 | 2147483647 167465 229 | 0.000 % |
175.69/175.82 c | 167678 | 15605 66779 202710 | 2147483647 167678 229 | 0.000 % |
176.09/176.20 c | 167911 | 15605 66779 202710 | 2147483647 167911 229 | 0.000 % |
176.49/176.61 c | 168167 | 15605 66779 202710 | 2147483647 168167 229 | 0.000 % |
176.89/177.02 c | 168448 | 15605 66779 202710 | 2147483647 168448 229 | 0.000 % |
177.28/177.49 c | 168757 | 15605 66779 202710 | 2147483647 168757 229 | 0.000 % |
177.78/177.98 c | 169096 | 15605 66779 202710 | 2147483647 169096 229 | 0.000 % |
178.39/178.57 c | 169471 | 15605 66779 202710 | 2147483647 169471 229 | 0.000 % |
178.99/179.18 c | 169881 | 15605 66779 202710 | 2147483647 169881 229 | 0.000 % |
179.69/179.88 c | 170330 | 15605 66779 202710 | 2147483647 170330 229 | 0.000 % |
180.48/180.66 c | 170824 | 15605 66779 202710 | 2147483647 170824 229 | 0.000 % |
181.28/181.49 c | 171367 | 15605 66779 202710 | 2147483647 171367 230 | 0.000 % |
182.28/182.42 c | 171963 | 15605 66779 202710 | 2147483647 171963 230 | 0.000 % |
183.29/183.43 c | 172618 | 15605 66779 202710 | 2147483647 172618 230 | 0.000 % |
184.38/184.53 c | 173339 | 15605 66779 202710 | 2147483647 173339 230 | 0.000 % |
185.58/185.74 c | 174132 | 15605 66779 202710 | 2147483647 174132 230 | 0.000 % |
186.88/187.05 c | 175003 | 15605 66779 202710 | 2147483647 175003 230 | 0.000 % |
188.38/188.51 c | 175961 | 15605 66779 202710 | 2147483647 175961 230 | 0.000 % |
189.98/190.14 c | 177014 | 15605 66779 202710 | 2147483647 177014 230 | 0.000 % |
191.68/191.88 c | 178174 | 15605 66779 202710 | 2147483647 178174 230 | 0.000 % |
193.68/193.85 c | 179447 | 15605 66779 202710 | 2147483647 179447 231 | 0.000 % |
195.78/195.97 c | 180847 | 15605 66779 202710 | 2147483647 180847 231 | 0.000 % |
198.07/198.29 c | 182388 | 15605 66779 202710 | 2147483647 182388 231 | 0.000 % |
200.58/200.77 c | 184083 | 15605 66779 202710 | 2147483647 184083 232 | 0.000 % |
203.28/203.50 c | 185946 | 15605 66779 202710 | 2147483647 185946 232 | 0.000 % |
203.57/203.70 c | 186046 | 15605 66779 202710 | 2147483647 186046 232 | 0.000 % |
203.78/203.91 c | 186157 | 15605 66779 202710 | 2147483647 186157 232 | 0.000 % |
203.98/204.14 c | 186282 | 15605 66779 202710 | 2147483647 186282 232 | 0.000 % |
204.28/204.41 c | 186415 | 15605 66779 202710 | 2147483647 186415 232 | 0.000 % |
204.49/204.69 c | 186564 | 15605 66779 202710 | 2147483647 186564 232 | 0.000 % |
204.88/205.02 c | 186727 | 15605 66779 202710 | 2147483647 186727 232 | 0.000 % |
205.18/205.34 c | 186904 | 15605 66779 202710 | 2147483647 186904 232 | 0.000 % |
205.48/205.67 c | 187100 | 15605 66779 202710 | 2147483647 187100 232 | 0.000 % |
205.88/206.07 c | 187312 | 15605 66779 202710 | 2147483647 187312 232 | 0.000 % |
206.38/206.50 c | 187546 | 15605 66779 202710 | 2147483647 187546 232 | 0.000 % |
206.77/206.95 c | 187803 | 15605 66779 202710 | 2147483647 187803 232 | 0.000 % |
207.27/207.44 c | 188086 | 15605 66779 202710 | 2147483647 188086 232 | 0.000 % |
207.87/208.03 c | 188396 | 15605 66779 202710 | 2147483647 188396 232 | 0.000 % |
208.47/208.64 c | 188736 | 15605 66779 202710 | 2147483647 188736 232 | 0.000 % |
209.07/209.26 c | 189108 | 15605 66779 202710 | 2147483647 189108 232 | 0.000 % |
209.78/209.90 c | 189517 | 15605 66779 202710 | 2147483647 189517 232 | 0.000 % |
210.47/210.67 c | 189967 | 15605 66779 202710 | 2147483647 189967 232 | 0.000 % |
211.37/211.57 c | 190461 | 15605 66779 202710 | 2147483647 190461 232 | 0.000 % |
212.37/212.52 c | 191003 | 15605 66779 202710 | 2147483647 191003 232 | 0.000 % |
213.38/213.51 c | 191599 | 15605 66779 202710 | 2147483647 191599 232 | 0.000 % |
214.48/214.61 c | 192257 | 15605 66779 202710 | 2147483647 192257 232 | 0.000 % |
215.57/215.73 c | 192977 | 15605 66779 202710 | 2147483647 192977 232 | 0.000 % |
216.77/216.96 c | 193770 | 15605 66779 202710 | 2147483647 193770 232 | 0.000 % |
218.17/218.31 c | 194641 | 15605 66779 202710 | 2147483647 194641 233 | 0.000 % |
219.67/219.82 c | 195599 | 15605 66779 202710 | 2147483647 195599 233 | 0.000 % |
221.37/221.53 c | 196654 | 15605 66779 202710 | 2147483647 196654 233 | 0.000 % |
223.17/223.34 c | 197814 | 15605 66779 202710 | 2147483647 197814 233 | 0.000 % |
225.17/225.39 c | 199088 | 15605 66779 202710 | 2147483647 199088 233 | 0.000 % |
227.47/227.69 c | 200490 | 15605 66779 202710 | 2147483647 200490 233 | 0.000 % |
229.97/230.18 c | 202031 | 15605 66779 202710 | 2147483647 202031 234 | 0.000 % |
232.77/232.98 c | 203726 | 15605 66779 202710 | 2147483647 203726 234 | 0.000 % |
235.87/236.06 c | 205589 | 15605 66779 202710 | 2147483647 205589 234 | 0.000 % |
239.16/239.34 c | 207638 | 15605 66779 202710 | 2147483647 207638 235 | 0.000 % |
239.36/239.53 c | 207738 | 15605 66779 202710 | 2147483647 207738 235 | 0.000 % |
239.57/239.77 c | 207850 | 15605 66779 202710 | 2147483647 207850 235 | 0.000 % |
239.86/240.00 c | 207971 | 15605 66779 202710 | 2147483647 207971 235 | 0.000 % |
240.06/240.25 c | 208105 | 15605 66779 202710 | 2147483647 208105 235 | 0.000 % |
240.36/240.53 c | 208251 | 15605 66779 202710 | 2147483647 208251 235 | 0.000 % |
240.67/240.84 c | 208413 | 15605 66779 202710 | 2147483647 208413 235 | 0.000 % |
241.06/241.20 c | 208589 | 15605 66779 202710 | 2147483647 208589 235 | 0.000 % |
241.36/241.58 c | 208782 | 15605 66779 202710 | 2147483647 208782 235 | 0.000 % |
241.87/242.00 c | 208994 | 15605 66779 202710 | 2147483647 208994 235 | 0.000 % |
242.36/242.52 c | 209228 | 15605 66779 202710 | 2147483647 209228 235 | 0.000 % |
242.87/243.04 c | 209484 | 15605 66779 202710 | 2147483647 209484 235 | 0.000 % |
243.37/243.50 c | 209766 | 15605 66779 202710 | 2147483647 209766 235 | 0.000 % |
243.87/244.00 c | 210075 | 15605 66779 202710 | 2147483647 210075 235 | 0.000 % |
244.47/244.63 c | 210415 | 15605 66779 202710 | 2147483647 210415 235 | 0.000 % |
245.07/245.28 c | 210787 | 15605 66779 202710 | 2147483647 210787 235 | 0.000 % |
245.86/246.01 c | 211197 | 15605 66779 202710 | 2147483647 211197 235 | 0.000 % |
246.56/246.78 c | 211647 | 15605 66779 202710 | 2147483647 211647 235 | 0.000 % |
247.46/247.67 c | 212142 | 15605 66779 202710 | 2147483647 212142 235 | 0.000 % |
248.37/248.51 c | 212684 | 15605 66779 202710 | 2147483647 212684 235 | 0.000 % |
249.36/249.51 c | 213280 | 15605 66779 202710 | 2147483647 213280 235 | 0.000 % |
250.56/250.71 c | 213937 | 15605 66779 202710 | 2147483647 213937 235 | 0.000 % |
251.77/251.92 c | 214658 | 15605 66779 202710 | 2147483647 214658 235 | 0.000 % |
253.07/253.24 c | 215451 | 15605 66779 202710 | 2147483647 215451 235 | 0.000 % |
254.56/254.78 c | 216322 | 15605 66779 202710 | 2147483647 216322 235 | 0.000 % |
256.26/256.43 c | 217282 | 15605 66779 202710 | 2147483647 217282 235 | 0.000 % |
257.96/258.17 c | 218338 | 15605 66779 202710 | 2147483647 218338 235 | 0.000 % |
259.86/260.08 c | 219497 | 15605 66779 202710 | 2147483647 219497 235 | 0.000 % |
262.16/262.37 c | 220772 | 15605 66779 202710 | 2147483647 220772 236 | 0.000 % |
264.65/264.88 c | 222172 | 15605 66779 202710 | 2147483647 222172 236 | 0.000 % |
267.26/267.42 c | 223712 | 15605 66779 202710 | 2147483647 223712 236 | 0.000 % |
270.25/270.45 c | 225407 | 15605 66779 202710 | 2147483647 225407 236 | 0.000 % |
273.46/273.63 c | 227271 | 15605 66779 202710 | 2147483647 227271 237 | 0.000 % |
277.15/277.34 c | 229321 | 15605 66779 202710 | 2147483647 229321 237 | 0.000 % |
280.85/281.07 c | 231575 | 15605 66779 202710 | 2147483647 231575 237 | 0.000 % |
281.15/281.32 c | 231675 | 15605 66779 202710 | 2147483647 231675 237 | 0.000 % |
281.36/281.55 c | 231786 | 15605 66779 202710 | 2147483647 231786 237 | 0.000 % |
281.56/281.77 c | 231907 | 15605 66779 202710 | 2147483647 231907 237 | 0.000 % |
281.86/282.09 c | 232042 | 15605 66779 202710 | 2147483647 232042 237 | 0.000 % |
282.26/282.44 c | 232188 | 15605 66779 202710 | 2147483647 232188 237 | 0.000 % |
282.66/282.83 c | 232350 | 15605 66779 202710 | 2147483647 232350 237 | 0.000 % |
282.96/283.18 c | 232527 | 15605 66779 202710 | 2147483647 232527 237 | 0.000 % |
283.46/283.62 c | 232720 | 15605 66779 202710 | 2147483647 232720 237 | 0.000 % |
283.85/284.01 c | 232933 | 15605 66779 202710 | 2147483647 232933 237 | 0.000 % |
284.25/284.49 c | 233166 | 15605 66779 202710 | 2147483647 233166 237 | 0.000 % |
284.76/284.97 c | 233422 | 15605 66779 202710 | 2147483647 233422 237 | 0.000 % |
285.25/285.49 c | 233703 | 15605 66779 202710 | 2147483647 233703 237 | 0.000 % |
285.86/286.05 c | 234012 | 15605 66779 202710 | 2147483647 234012 237 | 0.000 % |
286.55/286.75 c | 234351 | 15605 66779 202710 | 2147483647 234351 237 | 0.000 % |
287.25/287.45 c | 234723 | 15605 66779 202710 | 2147483647 234723 237 | 0.000 % |
288.15/288.31 c | 235135 | 15605 66779 202710 | 2147483647 235135 237 | 0.000 % |
288.95/289.11 c | 235584 | 15605 66779 202710 | 2147483647 235584 237 | 0.000 % |
289.86/290.05 c | 236077 | 15605 66779 202710 | 2147483647 236077 237 | 0.000 % |
290.95/291.12 c | 236620 | 15605 66779 202710 | 2147483647 236620 237 | 0.000 % |
292.05/292.25 c | 237217 | 15605 66779 202710 | 2147483647 237217 237 | 0.000 % |
293.25/293.47 c | 237872 | 15605 66779 202710 | 2147483647 237872 237 | 0.000 % |
294.66/294.86 c | 238592 | 15605 66779 202710 | 2147483647 238592 237 | 0.000 % |
296.05/296.30 c | 239387 | 15605 66779 202710 | 2147483647 239387 237 | 0.000 % |
297.75/297.92 c | 240259 | 15605 66779 202710 | 2147483647 240259 237 | 0.000 % |
299.35/299.59 c | 241217 | 15605 66779 202710 | 2147483647 241217 237 | 0.000 % |
301.34/301.51 c | 242273 | 15605 66779 202710 | 2147483647 242273 237 | 0.000 % |
303.35/303.58 c | 243434 | 15605 66779 202710 | 2147483647 243434 237 | 0.000 % |
305.65/305.88 c | 244707 | 15605 66779 202710 | 2147483647 244707 237 | 0.000 % |
308.14/308.38 c | 246107 | 15605 66779 202710 | 2147483647 246107 238 | 0.000 % |
310.84/311.07 c | 247647 | 15605 66779 202710 | 2147483647 247647 238 | 0.000 % |
313.94/314.16 c | 249341 | 15605 66779 202710 | 2147483647 249341 238 | 0.000 % |
317.44/317.70 c | 251204 | 15605 66779 202710 | 2147483647 251204 239 | 0.000 % |
321.35/321.59 c | 253255 | 15605 66779 202710 | 2147483647 253255 239 | 0.000 % |
325.54/325.72 c | 255508 | 15605 66779 202710 | 2147483647 255508 240 | 0.000 % |
330.24/330.41 c | 257986 | 15605 66779 202710 | 2147483647 257986 240 | 0.000 % |
330.44/330.65 c | 258086 | 15605 66779 202710 | 2147483647 258086 240 | 0.000 % |
330.74/330.96 c | 258196 | 15605 66779 202710 | 2147483647 258196 240 | 0.000 % |
331.04/331.23 c | 258318 | 15605 66779 202710 | 2147483647 258318 240 | 0.000 % |
331.34/331.58 c | 258451 | 15605 66779 202710 | 2147483647 258451 240 | 0.000 % |
331.73/331.93 c | 258600 | 15605 66779 202710 | 2147483647 258600 240 | 0.000 % |
332.14/332.31 c | 258760 | 15605 66779 202710 | 2147483647 258760 240 | 0.000 % |
332.54/332.71 c | 258936 | 15605 66779 202710 | 2147483647 258936 239 | 0.000 % |
332.94/333.14 c | 259130 | 15605 66779 202710 | 2147483647 259130 239 | 0.000 % |
333.44/333.61 c | 259345 | 15605 66779 202710 | 2147483647 259345 239 | 0.000 % |
333.94/334.17 c | 259579 | 15605 66779 202710 | 2147483647 259579 239 | 0.000 % |
334.64/334.82 c | 259835 | 15605 66779 202710 | 2147483647 259835 239 | 0.000 % |
335.14/335.40 c | 260116 | 15605 66779 202710 | 2147483647 260116 239 | 0.000 % |
335.84/336.00 c | 260426 | 15605 66779 202710 | 2147483647 260426 239 | 0.000 % |
336.44/336.68 c | 260765 | 15605 66779 202710 | 2147483647 260765 239 | 0.000 % |
337.33/337.50 c | 261137 | 15605 66779 202710 | 2147483647 261137 239 | 0.000 % |
338.13/338.32 c | 261547 | 15605 66779 202710 | 2147483647 261547 239 | 0.000 % |
339.03/339.28 c | 261996 | 15605 66779 202710 | 2147483647 261996 239 | 0.000 % |
340.03/340.28 c | 262490 | 15605 66779 202710 | 2147483647 262490 239 | 0.000 % |
341.13/341.35 c | 263032 | 15605 66779 202710 | 2147483647 263032 239 | 0.000 % |
342.34/342.55 c | 263628 | 15605 66779 202710 | 2147483647 263628 239 | 0.000 % |
343.63/343.89 c | 264283 | 15605 66779 202710 | 2147483647 264283 239 | 0.000 % |
345.03/345.29 c | 265006 | 15605 66779 202710 | 2147483647 265006 239 | 0.000 % |
346.74/346.99 c | 265798 | 15605 66779 202710 | 2147483647 265798 239 | 0.000 % |
348.54/348.78 c | 266670 | 15605 66779 202710 | 2147483647 266670 239 | 0.000 % |
350.33/350.60 c | 267628 | 15605 66779 202710 | 2147483647 267628 239 | 0.000 % |
352.43/352.64 c | 268682 | 15605 66779 202710 | 2147483647 268682 239 | 0.000 % |
354.63/354.88 c | 269840 | 15605 66779 202710 | 2147483647 269840 239 | 0.000 % |
357.24/357.44 c | 271114 | 15605 66779 202710 | 2147483647 271114 240 | 0.000 % |
359.83/360.08 c | 272514 | 15605 66779 202710 | 2147483647 272514 240 | 0.000 % |
362.93/363.16 c | 274056 | 15605 66779 202710 | 2147483647 274056 240 | 0.000 % |
366.23/366.48 c | 275752 | 15605 66779 202710 | 2147483647 275752 241 | 0.000 % |
370.02/370.25 c | 277615 | 15605 66779 202710 | 2147483647 277615 241 | 0.000 % |
374.12/374.30 c | 279665 | 15605 66779 202710 | 2147483647 279665 242 | 0.000 % |
378.23/378.45 c | 281919 | 15605 66779 202710 | 2147483647 281919 242 | 0.000 % |
383.12/383.35 c | 284397 | 15605 66779 202710 | 2147483647 284397 242 | 0.000 % |
388.62/388.84 c | 287122 | 15605 66779 202710 | 2147483647 287122 244 | 0.000 % |
388.82/389.08 c | 287223 | 15605 66779 202710 | 2147483647 287223 243 | 0.000 % |
389.13/389.37 c | 287333 | 15605 66779 202710 | 2147483647 287333 243 | 0.000 % |
389.52/389.70 c | 287454 | 15605 66779 202710 | 2147483647 287454 243 | 0.000 % |
389.92/390.10 c | 287587 | 15605 66779 202710 | 2147483647 287587 243 | 0.000 % |
390.22/390.49 c | 287735 | 15605 66779 202710 | 2147483647 287735 243 | 0.000 % |
390.72/390.91 c | 287896 | 15605 66779 202710 | 2147483647 287896 243 | 0.000 % |
391.12/391.36 c | 288074 | 15605 66779 202710 | 2147483647 288074 243 | 0.000 % |
391.62/391.88 c | 288268 | 15605 66779 202710 | 2147483647 288268 243 | 0.000 % |
392.12/392.37 c | 288480 | 15605 66779 202710 | 2147483647 288480 243 | 0.000 % |
392.71/392.92 c | 288713 | 15605 66779 202710 | 2147483647 288713 243 | 0.000 % |
393.21/393.46 c | 288970 | 15605 66779 202710 | 2147483647 288970 243 | 0.000 % |
393.82/394.09 c | 289251 | 15605 66779 202710 | 2147483647 289251 243 | 0.000 % |
394.63/394.83 c | 289561 | 15605 66779 202710 | 2147483647 289561 243 | 0.000 % |
395.42/395.62 c | 289901 | 15605 66779 202710 | 2147483647 289901 243 | 0.000 % |
396.22/396.46 c | 290277 | 15605 66779 202710 | 2147483647 290277 243 | 0.000 % |
397.12/397.36 c | 290686 | 15605 66779 202710 | 2147483647 290686 243 | 0.000 % |
398.11/398.35 c | 291135 | 15605 66779 202710 | 2147483647 291135 243 | 0.000 % |
399.12/399.39 c | 291629 | 15605 66779 202710 | 2147483647 291629 243 | 0.000 % |
400.31/400.57 c | 292173 | 15605 66779 202710 | 2147483647 292173 243 | 0.000 % |
401.52/401.78 c | 292769 | 15605 66779 202710 | 2147483647 292769 243 | 0.000 % |
402.92/403.13 c | 293425 | 15605 66779 202710 | 2147483647 293425 243 | 0.000 % |
404.42/404.63 c | 294145 | 15605 66779 202710 | 2147483647 294145 243 | 0.000 % |
406.11/406.37 c | 294937 | 15605 66779 202710 | 2147483647 294937 243 | 0.000 % |
407.91/408.13 c | 295808 | 15605 66779 202710 | 2147483647 295808 243 | 0.000 % |
409.91/410.19 c | 296768 | 15605 66779 202710 | 2147483647 296768 243 | 0.000 % |
412.11/412.31 c | 297822 | 15605 66779 202710 | 2147483647 297822 243 | 0.000 % |
414.51/414.75 c | 298980 | 15605 66779 202710 | 2147483647 298980 243 | 0.000 % |
417.21/417.43 c | 300256 | 15605 66779 202710 | 2147483647 300256 243 | 0.000 % |
420.21/420.43 c | 301656 | 15605 66779 202710 | 2147483647 301656 243 | 0.000 % |
423.41/423.62 c | 303197 | 15605 66779 202710 | 2147483647 303197 243 | 0.000 % |
426.80/427.08 c | 304891 | 15605 66779 202710 | 2147483647 304891 243 | 0.000 % |
430.80/431.10 c | 306754 | 15605 66779 202710 | 2147483647 306754 244 | 0.000 % |
435.00/435.27 c | 308803 | 15605 66779 202710 | 2147483647 308803 244 | 0.000 % |
439.71/439.91 c | 311056 | 15605 66779 202710 | 2147483647 311056 244 | 0.000 % |
445.40/445.60 c | 313534 | 15605 66779 202710 | 2147483647 313534 245 | 0.000 % |
451.20/451.41 c | 316259 | 15605 66779 202710 | 2147483647 316259 245 | 0.000 % |
457.30/457.59 c | 319256 | 15605 66779 202710 | 2147483647 319256 246 | 0.000 % |
457.60/457.83 c | 319360 | 15605 66779 202710 | 2147483647 319360 246 | 0.000 % |
457.90/458.12 c | 319470 | 15605 66779 202710 | 2147483647 319470 246 | 0.000 % |
458.20/458.45 c | 319591 | 15605 66779 202710 | 2147483647 319591 246 | 0.000 % |
458.60/458.88 c | 319725 | 15605 66779 202710 | 2147483647 319725 246 | 0.000 % |
459.00/459.26 c | 319872 | 15605 66779 202710 | 2147483647 319872 246 | 0.000 % |
459.40/459.64 c | 320033 | 15605 66779 202710 | 2147483647 320033 246 | 0.000 % |
459.90/460.11 c | 320209 | 15605 66779 202710 | 2147483647 320209 245 | 0.000 % |
460.30/460.58 c | 320402 | 15605 66779 202710 | 2147483647 320402 245 | 0.000 % |
460.90/461.14 c | 320615 | 15605 66779 202710 | 2147483647 320615 245 | 0.000 % |
461.40/461.69 c | 320848 | 15605 66779 202710 | 2147483647 320848 245 | 0.000 % |
462.00/462.29 c | 321104 | 15605 66779 202710 | 2147483647 321104 245 | 0.000 % |
462.70/462.94 c | 321385 | 15605 66779 202710 | 2147483647 321385 245 | 0.000 % |
463.39/463.64 c | 321694 | 15605 66779 202710 | 2147483647 321694 245 | 0.000 % |
464.19/464.42 c | 322033 | 15605 66779 202710 | 2147483647 322033 245 | 0.000 % |
465.20/465.40 c | 322406 | 15605 66779 202710 | 2147483647 322406 245 | 0.000 % |
466.10/466.31 c | 322815 | 15605 66779 202710 | 2147483647 322815 245 | 0.000 % |
467.10/467.38 c | 323266 | 15605 66779 202710 | 2147483647 323266 245 | 0.000 % |
468.10/468.39 c | 323760 | 15605 66779 202710 | 2147483647 323760 245 | 0.000 % |
469.50/469.72 c | 324302 | 15605 66779 202710 | 2147483647 324302 245 | 0.000 % |
470.79/471.05 c | 324898 | 15605 66779 202710 | 2147483647 324898 245 | 0.000 % |
472.19/472.46 c | 325554 | 15605 66779 202710 | 2147483647 325554 245 | 0.000 % |
474.00/474.29 c | 326277 | 15605 66779 202710 | 2147483647 326277 245 | 0.000 % |
475.90/476.12 c | 327069 | 15605 66779 202710 | 2147483647 327069 246 | 0.000 % |
477.69/477.95 c | 327941 | 15605 66779 202710 | 2147483647 327941 246 | 0.000 % |
479.89/480.14 c | 328901 | 15605 66779 202710 | 2147483647 328901 246 | 0.000 % |
482.39/482.67 c | 329954 | 15605 66779 202710 | 2147483647 329954 246 | 0.000 % |
484.99/485.21 c | 331112 | 15605 66779 202710 | 2147483647 331112 246 | 0.000 % |
487.89/488.12 c | 332387 | 15605 66779 202710 | 2147483647 332387 246 | 0.000 % |
491.09/491.39 c | 333788 | 15605 66779 202710 | 2147483647 333788 246 | 0.000 % |
494.39/494.62 c | 335329 | 15605 66779 202710 | 2147483647 335329 246 | 0.000 % |
498.09/498.33 c | 337023 | 15605 66779 202710 | 2147483647 337023 246 | 0.000 % |
502.29/502.51 c | 338887 | 15605 66779 202710 | 2147483647 338887 247 | 0.000 % |
506.99/507.23 c | 340936 | 15605 66779 202710 | 2147483647 340936 247 | 0.000 % |
512.19/512.42 c | 343191 | 15605 66779 202710 | 2147483647 343191 247 | 0.000 % |
517.48/517.73 c | 345670 | 15605 66779 202710 | 2147483647 345670 248 | 0.000 % |
523.58/523.80 c | 348395 | 15605 66779 202710 | 2147483647 348395 248 | 0.000 % |
530.18/530.49 c | 351392 | 15605 66779 202710 | 2147483647 351392 248 | 0.000 % |
537.58/537.88 c | 354690 | 15605 66779 202710 | 2147483647 354690 248 | 0.000 % |
537.88/538.16 c | 354790 | 15605 66779 202710 | 2147483647 354790 248 | 0.000 % |
538.17/538.50 c | 354900 | 15605 66779 202710 | 2147483647 354900 248 | 0.000 % |
538.57/538.86 c | 355021 | 15605 66779 202710 | 2147483647 355021 248 | 0.000 % |
539.07/539.31 c | 355155 | 15605 66779 202710 | 2147483647 355155 248 | 0.000 % |
539.47/539.74 c | 355301 | 15605 66779 202710 | 2147483647 355301 248 | 0.000 % |
539.97/540.24 c | 355461 | 15605 66779 202710 | 2147483647 355461 248 | 0.000 % |
540.47/540.74 c | 355637 | 15605 66779 202710 | 2147483647 355637 248 | 0.000 % |
541.08/541.30 c | 355830 | 15605 66779 202710 | 2147483647 355830 248 | 0.000 % |
541.58/541.85 c | 356042 | 15605 66779 202710 | 2147483647 356042 248 | 0.000 % |
542.28/542.59 c | 356275 | 15605 66779 202710 | 2147483647 356275 248 | 0.000 % |
542.98/543.29 c | 356532 | 15605 66779 202710 | 2147483647 356532 248 | 0.000 % |
543.78/544.02 c | 356813 | 15605 66779 202710 | 2147483647 356813 248 | 0.000 % |
544.57/544.84 c | 357122 | 15605 66779 202710 | 2147483647 357122 248 | 0.000 % |
545.47/545.76 c | 357461 | 15605 66779 202710 | 2147483647 357461 248 | 0.000 % |
546.57/546.82 c | 357834 | 15605 66779 202710 | 2147483647 357834 248 | 0.000 % |
547.57/547.82 c | 358243 | 15605 66779 202710 | 2147483647 358243 248 | 0.000 % |
548.58/548.85 c | 358692 | 15605 66779 202710 | 2147483647 358692 248 | 0.000 % |
549.78/550.04 c | 359187 | 15605 66779 202710 | 2147483647 359187 248 | 0.000 % |
551.17/551.43 c | 359730 | 15605 66779 202710 | 2147483647 359730 248 | 0.000 % |
552.77/553.01 c | 360326 | 15605 66779 202710 | 2147483647 360326 248 | 0.000 % |
554.37/554.64 c | 360981 | 15605 66779 202710 | 2147483647 360981 248 | 0.000 % |
555.97/556.21 c | 361702 | 15605 66779 202710 | 2147483647 361702 248 | 0.000 % |
557.77/558.01 c | 362495 | 15605 66779 202710 | 2147483647 362495 248 | 0.000 % |
559.87/560.17 c | 363366 | 15605 66779 202710 | 2147483647 363366 248 | 0.000 % |
562.27/562.55 c | 364324 | 15605 66779 202710 | 2147483647 364324 249 | 0.000 % |
564.86/565.10 c | 365378 | 15605 66779 202710 | 2147483647 365378 249 | 0.000 % |
567.76/568.00 c | 366536 | 15605 66779 202710 | 2147483647 366536 249 | 0.000 % |
570.77/571.01 c | 367809 | 15605 66779 202710 | 2147483647 367809 249 | 0.000 % |
574.16/574.42 c | 369211 | 15605 66779 202710 | 2147483647 369211 249 | 0.000 % |
577.87/578.10 c | 370752 | 15605 66779 202710 | 2147483647 370752 249 | 0.000 % |
581.76/582.08 c | 372446 | 15605 66779 202710 | 2147483647 372446 249 | 0.000 % |
586.26/586.51 c | 374309 | 15605 66779 202710 | 2147483647 374309 249 | 0.000 % |
591.26/591.52 c | 376359 | 15605 66779 202710 | 2147483647 376359 250 | 0.000 % |
596.86/597.12 c | 378612 | 15605 66779 202710 | 2147483647 378612 250 | 0.000 % |
602.75/603.03 c | 381093 | 15605 66779 202710 | 2147483647 381093 250 | 0.000 % |
609.35/609.65 c | 383819 | 15605 66779 202710 | 2147483647 383819 250 | 0.000 % |
616.35/616.66 c | 386817 | 15605 66779 202710 | 2147483647 386817 251 | 0.000 % |
624.25/624.60 c | 390114 | 15605 66779 202710 | 2147483647 390114 251 | 0.000 % |
633.25/633.56 c | 393739 | 15605 66779 202710 | 2147483647 393739 251 | 0.000 % |
633.55/633.86 c | 393840 | 15605 66779 202710 | 2147483647 393840 251 | 0.000 % |
633.85/634.18 c | 393950 | 15605 66779 202710 | 2147483647 393950 251 | 0.000 % |
634.25/634.55 c | 394071 | 15605 66779 202710 | 2147483647 394071 251 | 0.000 % |
634.75/635.08 c | 394204 | 15605 66779 202710 | 2147483647 394204 251 | 0.000 % |
635.35/635.61 c | 394351 | 15605 66779 202710 | 2147483647 394351 251 | 0.000 % |
635.85/636.12 c | 394511 | 15605 66779 202710 | 2147483647 394511 251 | 0.000 % |
636.35/636.68 c | 394688 | 15605 66779 202710 | 2147483647 394688 251 | 0.000 % |
636.94/637.27 c | 394881 | 15605 66779 202710 | 2147483647 394881 251 | 0.000 % |
637.65/637.97 c | 395094 | 15605 66779 202710 | 2147483647 395094 251 | 0.000 % |
638.44/638.78 c | 395327 | 15605 66779 202710 | 2147483647 395327 251 | 0.000 % |
639.24/639.56 c | 395584 | 15605 66779 202710 | 2147483647 395584 251 | 0.000 % |
640.15/640.43 c | 395867 | 15605 66779 202710 | 2147483647 395867 251 | 0.000 % |
641.05/641.32 c | 396178 | 15605 66779 202710 | 2147483647 396178 251 | 0.000 % |
641.95/642.28 c | 396517 | 15605 66779 202710 | 2147483647 396517 251 | 0.000 % |
643.15/643.42 c | 396889 | 15605 66779 202710 | 2147483647 396889 251 | 0.000 % |
644.25/644.53 c | 397298 | 15605 66779 202710 | 2147483647 397298 250 | 0.000 % |
645.54/645.80 c | 397748 | 15605 66779 202710 | 2147483647 397748 251 | 0.000 % |
646.84/647.18 c | 398244 | 15605 66779 202710 | 2147483647 398244 250 | 0.000 % |
648.44/648.70 c | 398786 | 15605 66779 202710 | 2147483647 398786 250 | 0.000 % |
650.04/650.30 c | 399383 | 15605 66779 202710 | 2147483647 399383 250 | 0.000 % |
651.84/652.13 c | 400038 | 15605 66779 202710 | 2147483647 400038 250 | 0.000 % |
653.84/654.19 c | 400758 | 15605 66779 202710 | 2147483647 400758 250 | 0.000 % |
655.94/656.27 c | 401551 | 15605 66779 202710 | 2147483647 401551 250 | 0.000 % |
658.34/658.63 c | 402422 | 15605 66779 202710 | 2147483647 402422 251 | 0.000 % |
660.84/661.19 c | 403380 | 15605 66779 202710 | 2147483647 403380 250 | 0.000 % |
663.54/663.80 c | 404433 | 15605 66779 202710 | 2147483647 404433 251 | 0.000 % |
666.43/666.74 c | 405592 | 15605 66779 202710 | 2147483647 405592 251 | 0.000 % |
669.84/670.10 c | 406865 | 15605 66779 202710 | 2147483647 406865 251 | 0.000 % |
673.63/673.98 c | 408265 | 15605 66779 202710 | 2147483647 408265 251 | 0.000 % |
677.84/678.14 c | 409805 | 15605 66779 202710 | 2147483647 409805 251 | 0.000 % |
682.13/682.45 c | 411500 | 15605 66779 202710 | 2147483647 411500 251 | 0.000 % |
687.13/687.48 c | 413363 | 15605 66779 202710 | 2147483647 413363 251 | 0.000 % |
692.64/692.95 c | 415413 | 15605 66779 202710 | 2147483647 415413 251 | 0.000 % |
698.53/698.85 c | 417667 | 15605 66779 202710 | 2147483647 417667 251 | 0.000 % |
704.82/705.11 c | 420146 | 15605 66779 202710 | 2147483647 420146 252 | 0.000 % |
711.62/711.94 c | 422872 | 15605 66779 202710 | 2147483647 422872 252 | 0.000 % |
718.92/719.29 c | 425872 | 15605 66779 202710 | 2147483647 425872 252 | 0.000 % |
727.62/727.98 c | 429170 | 15605 66779 202710 | 2147483647 429170 252 | 0.000 % |
737.21/737.53 c | 432795 | 15605 66779 202710 | 2147483647 432795 253 | 0.000 % |
747.71/748.03 c | 436782 | 15605 66779 202710 | 2147483647 436782 254 | 0.000 % |
748.01/748.37 c | 436882 | 15605 66779 202710 | 2147483647 436882 254 | 0.000 % |
748.41/748.76 c | 436994 | 15605 66779 202710 | 2147483647 436994 254 | 0.000 % |
748.91/749.21 c | 437119 | 15605 66779 202710 | 2147483647 437119 254 | 0.000 % |
749.41/749.70 c | 437252 | 15605 66779 202710 | 2147483647 437252 254 | 0.000 % |
749.81/750.17 c | 437398 | 15605 66779 202710 | 2147483647 437398 253 | 0.000 % |
750.41/750.71 c | 437559 | 15605 66779 202710 | 2147483647 437559 253 | 0.000 % |
751.02/751.36 c | 437736 | 15605 66779 202710 | 2147483647 437736 253 | 0.000 % |
751.61/751.97 c | 437929 | 15605 66779 202710 | 2147483647 437929 253 | 0.000 % |
752.31/752.67 c | 438141 | 15605 66779 202710 | 2147483647 438141 253 | 0.000 % |
753.12/753.44 c | 438377 | 15605 66779 202710 | 2147483647 438377 253 | 0.000 % |
753.91/754.29 c | 438633 | 15605 66779 202710 | 2147483647 438633 253 | 0.000 % |
754.81/755.20 c | 438916 | 15605 66779 202710 | 2147483647 438916 253 | 0.000 % |
755.81/756.15 c | 439225 | 15605 66779 202710 | 2147483647 439225 253 | 0.000 % |
756.71/757.06 c | 439565 | 15605 66779 202710 | 2147483647 439565 253 | 0.000 % |
758.01/758.35 c | 439938 | 15605 66779 202710 | 2147483647 439938 253 | 0.000 % |
759.31/759.60 c | 440348 | 15605 66779 202710 | 2147483647 440348 253 | 0.000 % |
760.60/760.96 c | 440800 | 15605 66779 202710 | 2147483647 440800 253 | 0.000 % |
762.10/762.46 c | 441294 | 15605 66779 202710 | 2147483647 441294 253 | 0.000 % |
763.70/764.05 c | 441838 | 15605 66779 202710 | 2147483647 441838 253 | 0.000 % |
765.50/765.86 c | 442434 | 15605 66779 202710 | 2147483647 442434 253 | 0.000 % |
767.40/767.74 c | 443090 | 15605 66779 202710 | 2147483647 443090 253 | 0.000 % |
769.60/769.93 c | 443811 | 15605 66779 202710 | 2147483647 443811 253 | 0.000 % |
772.10/772.49 c | 444604 | 15605 66779 202710 | 2147483647 444604 253 | 0.000 % |
774.50/774.85 c | 445475 | 15605 66779 202710 | 2147483647 445475 253 | 0.000 % |
777.20/777.55 c | 446433 | 15605 66779 202710 | 2147483647 446433 253 | 0.000 % |
780.20/780.59 c | 447486 | 15605 66779 202710 | 2147483647 447486 253 | 0.000 % |
783.50/783.80 c | 448648 | 15605 66779 202710 | 2147483647 448648 253 | 0.000 % |
786.99/787.34 c | 449922 | 15605 66779 202710 | 2147483647 449922 253 | 0.000 % |
790.70/791.03 c | 451323 | 15605 66779 202710 | 2147483647 451323 253 | 0.000 % |
795.09/795.42 c | 452864 | 15605 66779 202710 | 2147483647 452864 253 | 0.000 % |
799.70/800.01 c | 454559 | 15605 66779 202710 | 2147483647 454559 254 | 0.000 % |
804.79/805.15 c | 456424 | 15605 66779 202710 | 2147483647 456424 254 | 0.000 % |
810.78/811.15 c | 458473 | 15605 66779 202710 | 2147483647 458473 254 | 0.000 % |
816.89/817.22 c | 460728 | 15605 66779 202710 | 2147483647 460728 254 | 0.000 % |
823.78/824.16 c | 463206 | 15605 66779 202710 | 2147483647 463206 254 | 0.000 % |
831.38/831.72 c | 465931 | 15605 66779 202710 | 2147483647 465931 254 | 0.000 % |
839.78/840.10 c | 468929 | 15605 66779 202710 | 2147483647 468929 254 | 0.000 % |
848.28/848.63 c | 472225 | 15605 66779 202710 | 2147483647 472225 255 | 0.000 % |
858.57/858.91 c | 475853 | 15605 66779 202710 | 2147483647 475853 255 | 0.000 % |
869.07/869.44 c | 479840 | 15605 66779 202710 | 2147483647 479840 255 | 0.000 % |
881.37/881.77 c | 484226 | 15605 66779 202710 | 2147483647 484226 256 | 0.000 % |
881.77/882.12 c | 484326 | 15605 66779 202710 | 2147483647 484326 256 | 0.000 % |
882.17/882.54 c | 484437 | 15605 66779 202710 | 2147483647 484437 256 | 0.000 % |
882.67/883.02 c | 484558 | 15605 66779 202710 | 2147483647 484558 255 | 0.000 % |
883.17/883.59 c | 484692 | 15605 66779 202710 | 2147483647 484692 255 | 0.000 % |
883.77/884.12 c | 484839 | 15605 66779 202710 | 2147483647 484839 255 | 0.000 % |
884.47/884.82 c | 484999 | 15605 66779 202710 | 2147483647 484999 255 | 0.000 % |
885.17/885.53 c | 485175 | 15605 66779 202710 | 2147483647 485175 255 | 0.000 % |
885.96/886.30 c | 485368 | 15605 66779 202710 | 2147483647 485368 255 | 0.000 % |
886.66/887.03 c | 485582 | 15605 66779 202710 | 2147483647 485582 255 | 0.000 % |
887.47/887.87 c | 485815 | 15605 66779 202710 | 2147483647 485815 255 | 0.000 % |
888.47/888.81 c | 486073 | 15605 66779 202710 | 2147483647 486073 255 | 0.000 % |
889.57/889.93 c | 486355 | 15605 66779 202710 | 2147483647 486355 255 | 0.000 % |
890.67/891.01 c | 486666 | 15605 66779 202710 | 2147483647 486666 255 | 0.000 % |
891.77/892.14 c | 487005 | 15605 66779 202710 | 2147483647 487005 255 | 0.000 % |
893.16/893.52 c | 487377 | 15605 66779 202710 | 2147483647 487377 255 | 0.000 % |
894.56/894.90 c | 487786 | 15605 66779 202710 | 2147483647 487786 255 | 0.000 % |
895.86/896.27 c | 488236 | 15605 66779 202710 | 2147483647 488236 255 | 0.000 % |
897.36/897.77 c | 488729 | 15605 66779 202710 | 2147483647 488729 255 | 0.000 % |
899.17/899.55 c | 489271 | 15605 66779 202710 | 2147483647 489271 255 | 0.000 % |
900.97/901.37 c | 489868 | 15605 66779 202710 | 2147483647 489868 255 | 0.000 % |
902.96/903.35 c | 490525 | 15605 66779 202710 | 2147483647 490525 255 | 0.000 % |
905.36/905.76 c | 491246 | 15605 66779 202710 | 2147483647 491246 255 | 0.000 % |
907.95/908.32 c | 492038 | 15605 66779 202710 | 2147483647 492038 255 | 0.000 % |
910.75/911.12 c | 492909 | 15605 66779 202710 | 2147483647 492909 255 | 0.000 % |
913.76/914.19 c | 493867 | 15605 66779 202710 | 2147483647 493867 255 | 0.000 % |
917.06/917.42 c | 494920 | 15605 66779 202710 | 2147483647 494920 255 | 0.000 % |
920.55/920.96 c | 496079 | 15605 66779 202710 | 2147483647 496079 255 | 0.000 % |
924.55/924.91 c | 497352 | 15605 66779 202710 | 2147483647 497352 255 | 0.000 % |
928.45/928.86 c | 498752 | 15605 66779 202710 | 2147483647 498752 255 | 0.000 % |
933.25/933.66 c | 500293 | 15605 66779 202710 | 2147483647 500293 255 | 0.000 % |
938.35/938.77 c | 501988 | 15605 66779 202710 | 2147483647 501988 255 | 0.000 % |
944.05/944.43 c | 503854 | 15605 66779 202710 | 2147483647 503854 255 | 0.000 % |
950.25/950.65 c | 505904 | 15605 66779 202710 | 2147483647 505904 255 | 0.000 % |
956.84/957.27 c | 508163 | 15605 66779 202710 | 2147483647 508163 256 | 0.000 % |
964.14/964.58 c | 510642 | 15605 66779 202710 | 2147483647 510642 256 | 0.000 % |
972.64/973.03 c | 513367 | 15605 66779 202710 | 2147483647 513367 256 | 0.000 % |
981.54/981.90 c | 516364 | 15605 66779 202710 | 2147483647 516364 256 | 0.000 % |
991.44/991.86 c | 519660 | 15605 66779 202710 | 2147483647 519660 256 | 0.000 % |
1002.33/1002.74 c | 523285 | 15605 66779 202710 | 2147483647 523285 257 | 0.000 % |
1014.43/1014.83 c | 527272 | 15605 66779 202710 | 2147483647 527272 257 | 0.000 % |
1027.52/1027.97 c | 531657 | 15605 66779 202710 | 2147483647 531657 258 | 0.000 % |
1042.02/1042.42 c | 536480 | 15605 66779 202710 | 2147483647 536480 258 | 0.000 % |
1042.42/1042.87 c | 536580 | 15605 66779 202710 | 2147483647 536580 258 | 0.000 % |
1043.02/1043.44 c | 536690 | 15605 66779 202710 | 2147483647 536690 258 | 0.000 % |
1043.62/1044.05 c | 536811 | 15605 66779 202710 | 2147483647 536811 258 | 0.000 % |
1044.22/1044.65 c | 536945 | 15605 66779 202710 | 2147483647 536945 258 | 0.000 % |
1044.72/1045.18 c | 537091 | 15605 66779 202710 | 2147483647 537091 258 | 0.000 % |
1045.42/1045.85 c | 537251 | 15605 66779 202710 | 2147483647 537251 258 | 0.000 % |
1046.12/1046.59 c | 537431 | 15605 66779 202710 | 2147483647 537431 258 | 0.000 % |
1047.01/1047.41 c | 537627 | 15605 66779 202710 | 2147483647 537627 258 | 0.000 % |
1047.82/1048.24 c | 537841 | 15605 66779 202710 | 2147483647 537841 258 | 0.000 % |
1048.81/1049.22 c | 538076 | 15605 66779 202710 | 2147483647 538076 258 | 0.000 % |
1049.91/1050.32 c | 538334 | 15605 66779 202710 | 2147483647 538334 258 | 0.000 % |
1051.12/1051.53 c | 538615 | 15605 66779 202710 | 2147483647 538615 258 | 0.000 % |
1052.11/1052.57 c | 538925 | 15605 66779 202710 | 2147483647 538925 258 | 0.000 % |
1053.51/1053.92 c | 539264 | 15605 66779 202710 | 2147483647 539264 258 | 0.000 % |
1054.91/1055.39 c | 539637 | 15605 66779 202710 | 2147483647 539637 258 | 0.000 % |
1056.41/1056.90 c | 540047 | 15605 66779 202710 | 2147483647 540047 258 | 0.000 % |
1058.22/1058.60 c | 540496 | 15605 66779 202710 | 2147483647 540496 258 | 0.000 % |
1060.02/1060.42 c | 540990 | 15605 66779 202710 | 2147483647 540990 258 | 0.000 % |
1061.91/1062.32 c | 541532 | 15605 66779 202710 | 2147483647 541532 258 | 0.000 % |
1064.21/1064.66 c | 542130 | 15605 66779 202710 | 2147483647 542130 258 | 0.000 % |
1066.51/1066.94 c | 542785 | 15605 66779 202710 | 2147483647 542785 257 | 0.000 % |
1068.91/1069.36 c | 543505 | 15605 66779 202710 | 2147483647 543505 257 | 0.000 % |
1071.90/1072.33 c | 544297 | 15605 66779 202710 | 2147483647 544297 257 | 0.000 % |
1075.01/1075.41 c | 545168 | 15605 66779 202710 | 2147483647 545168 257 | 0.000 % |
1078.01/1078.40 c | 546127 | 15605 66779 202710 | 2147483647 546127 257 | 0.000 % |
1081.60/1082.02 c | 547182 | 15605 66779 202710 | 2147483647 547182 257 | 0.000 % |
1085.70/1086.10 c | 548340 | 15605 66779 202710 | 2147483647 548340 257 | 0.000 % |
1089.71/1090.17 c | 549615 | 15605 66779 202710 | 2147483647 549615 257 | 0.000 % |
1094.20/1094.67 c | 551015 | 15605 66779 202710 | 2147483647 551015 257 | 0.000 % |
1099.30/1099.74 c | 552556 | 15605 66779 202710 | 2147483647 552556 257 | 0.000 % |
1105.00/1105.42 c | 554250 | 15605 66779 202710 | 2147483647 554250 258 | 0.000 % |
1110.90/1111.40 c | 556113 | 15605 66779 202710 | 2147483647 556113 258 | 0.000 % |
1117.90/1118.31 c | 558164 | 15605 66779 202710 | 2147483647 558164 258 | 0.000 % |
1125.40/1125.87 c | 560417 | 15605 66779 202710 | 2147483647 560417 258 | 0.000 % |
1133.00/1133.43 c | 562895 | 15605 66779 202710 | 2147483647 562895 258 | 0.000 % |
1141.79/1142.21 c | 565621 | 15605 66779 202710 | 2147483647 565621 258 | 0.000 % |
1151.79/1152.22 c | 568618 | 15605 66779 202710 | 2147483647 568618 258 | 0.000 % |
1162.08/1162.54 c | 571917 | 15605 66779 202710 | 2147483647 571917 258 | 0.000 % |
1173.78/1174.22 c | 575542 | 15605 66779 202710 | 2147483647 575542 259 | 0.000 % |
1186.98/1187.41 c | 579529 | 15605 66779 202710 | 2147483647 579529 259 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832761-1242787442/watcher-1832761-1242787442 -o /tmp/evaluation-result-1832761-1242787442/solver-1832761-1242787442 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832761-1242787442.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 9013
/proc/meminfo: memFree=1907736/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306777528 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9013/statm: 1339 237 197 169 0 50 0
[startup+0.0609941 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 9013
/proc/meminfo: memFree=1907736/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306777528 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9013/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101998 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 9013
/proc/meminfo: memFree=1907736/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306777528 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9013/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30202 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 9013
/proc/meminfo: memFree=1907736/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306777528 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9013/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701073 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 9013
/proc/meminfo: memFree=1907736/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 5356
[startup+1.50115 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1899976/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=7712 CPUtime=1.17
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 1750 0 0 0 117 0 0 0 25 0 1 0 306777560 7897088 1736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 1928 1736 77 171 0 1755 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13068
[startup+3.10132 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1898440/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=9828 CPUtime=2.77
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 2284 0 0 0 276 1 0 0 25 0 1 0 306777560 10063872 2270 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 2457 2271 77 171 0 2284 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15184
[startup+6.30166 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1893768/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=14176 CPUtime=5.97
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 3365 0 0 0 594 3 0 0 25 0 1 0 306777560 14516224 3351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528984 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 3544 3351 77 171 0 3371 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19532
[startup+12.7013 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1885128/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=22408 CPUtime=12.36
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 5442 0 0 0 1232 4 0 0 25 0 1 0 306777560 22945792 5428 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 5602 5428 77 171 0 5429 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27764
[startup+25.5017 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1869320/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=37620 CPUtime=25.16
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 9236 0 0 0 2508 8 0 0 25 0 1 0 306777560 38522880 9222 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 9405 9222 77 171 0 9232 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 42976
[startup+51.1015 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1842888/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=64360 CPUtime=50.73
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 15896 0 0 0 5059 14 0 0 25 0 1 0 306777560 65904640 15882 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 16090 15882 77 171 0 15917 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 69716
[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1797640/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=109040 CPUtime=101.92
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 27072 0 0 0 10167 25 0 0 25 0 1 0 306777560 111656960 27058 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 27260 27058 77 171 0 27087 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 114396
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1752968/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=153932 CPUtime=161.9
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 38280 0 0 0 16153 37 0 0 25 0 1 0 306777560 157626368 38266 1992294400 134512640 135215339 4294956240 18446744073709551615 134538070 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 38483 38266 77 171 0 38310 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 159288
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1712456/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=193812 CPUtime=221.87
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 48294 0 0 0 22139 48 0 0 25 0 1 0 306777560 198463488 48280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 48453 48280 77 171 0 48280 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 199168
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1675272/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=231320 CPUtime=281.86
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 57574 0 0 0 28127 59 0 0 25 0 1 0 306777560 236871680 57560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 57830 57560 77 171 0 57657 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 236676
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1642568/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=263532 CPUtime=341.84
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 65675 0 0 0 34115 69 0 0 25 0 1 0 306777560 269856768 65661 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 65883 65661 77 171 0 65710 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 268888
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1609672/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=296420 CPUtime=401.82
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 73928 0 0 0 40103 79 0 0 25 0 1 0 306777560 303534080 73914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 74105 73914 77 171 0 73932 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 301776
[startup+462.302 s]
################
# More data... #
################
/proc/9019/statm: 96074 95820 77 171 0 95901 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 389652
[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1494408/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=410836 CPUtime=641.75
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 102493 0 0 0 64065 110 0 0 25 0 1 0 306777560 420696064 102479 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 102709 102479 77 171 0 102536 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 416192
[startup+702.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1470152/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=435268 CPUtime=701.73
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 108604 0 0 0 70058 115 0 0 25 0 1 0 306777560 445714432 108590 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 108817 108590 77 171 0 108644 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 440624
[startup+762.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1443976/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=460880 CPUtime=761.7
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 115022 0 0 0 76047 123 0 0 25 0 1 0 306777560 471941120 115008 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 115220 115008 77 171 0 115047 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 466236
[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1420744/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=484132 CPUtime=821.68
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 120867 0 0 0 82038 130 0 0 25 0 1 0 306777560 495751168 120853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 121033 120854 77 171 0 120860 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 489488
[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1395144/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=510132 CPUtime=881.67
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 127172 0 0 0 88031 136 0 0 25 0 1 0 306777560 522375168 127158 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 127533 127158 77 171 0 127360 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 515488
[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1376136/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=529144 CPUtime=941.64
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 131945 0 0 0 94023 141 0 0 25 0 1 0 306777560 541843456 131931 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 132286 131931 77 171 0 132113 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 534500
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9019
/proc/meminfo: memFree=1352584/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=552532 CPUtime=1001.63
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 137786 0 0 0 100016 147 0 0 25 0 1 0 306777560 565792768 137772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 138133 137772 77 171 0 137960 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 557888
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9025
/proc/meminfo: memFree=1330952/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=573920 CPUtime=1061.61
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 143159 0 0 0 106008 153 0 0 25 0 1 0 306777560 587694080 143145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 143480 143145 77 171 0 143307 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 579276
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9025
/proc/meminfo: memFree=1311880/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=592676 CPUtime=1121.59
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 147880 0 0 0 112001 158 0 0 25 0 1 0 306777560 606900224 147866 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 148169 147866 77 171 0 147996 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 598032
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9025
/proc/meminfo: memFree=1290504/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=614212 CPUtime=1181.58
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 153255 0 0 0 117993 165 0 0 25 0 1 0 306777560 628953088 153241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 153553 153241 77 171 0 153380 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 619568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 9025
/proc/meminfo: memFree=1282824/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=621484 CPUtime=1199.77
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 155088 0 0 0 119810 167 0 0 25 0 1 0 306777560 636399616 155074 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 155371 155074 77 171 0 155198 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 626840
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 1.00 1.00 2/66 9025
/proc/meminfo: memFree=1282824/2055920 swapFree=4180172/4192956
[pid=9013] ppid=9011 vsize=5356 CPUtime=0.3
/proc/9013/stat : 9013 (SatELiteGTI) S 9011 9013 8380 0 -1 4194304 336 2292 0 0 0 0 29 1 16 0 1 0 306777528 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9013/statm: 1339 239 197 169 0 50 0
[pid=9019] ppid=9013 vsize=621484 CPUtime=1199.77
/proc/9019/stat : 9019 (minisat_static) R 9013 9013 8380 0 -1 4194304 155088 0 0 0 119810 167 0 0 25 0 1 0 306777560 636399616 155074 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9019/statm: 155371 155074 77 171 0 155198 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 626840
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9013 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=293955
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=20996
# CPU time returned by wait4() is 0.314951
# while last known CPU time is 1200.07
#
# 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.07
CPU user time (s): 1198.39
CPU system time (s): 1.68
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 626840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.293955
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2628
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= 15
involuntary context switches= 7
runsolver used 1.41478 second user time and 3.03854 second system time
The end
Begin job on node19 at 2009-05-20 04:44:03
IDJOB=1832761
IDBENCH=70344
IDSOLVER=671
FILE ID=node19/1832761-1242787442
PBS_JOBID= 9322345
Free space on /tmp= 66268 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832761-1242787442/watcher-1832761-1242787442 -o /tmp/evaluation-result-1832761-1242787442/solver-1832761-1242787442 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832761-1242787442.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b6948329f00787361710da473154a8ea
RANDOM SEED=1731198621
node19.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.236
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.236
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: 1908280 kB
Buffers: 27028 kB
Cached: 74980 kB
SwapCached: 7132 kB
Active: 42900 kB
Inactive: 67552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1908280 kB
SwapTotal: 4192956 kB
SwapFree: 4180172 kB
Dirty: 2936 kB
Writeback: 0 kB
Mapped: 13516 kB
Slab: 23220 kB
Committed_AS: 1037112 kB
PageTables: 1456 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= 66264 MiB
End job on node19 at 2009-05-20 05:04:05