0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 67200 201600 | 20159 0 0 nan | 0.000 % |
0.00/0.23 c | 0 | 66711 202610 | -- 0 -- -- | -- | -489/1010
0.00/0.23 c ==============================================================================
0.00/0.23 c Result : #vars: 15608 #clauses: 66711 #literals: 202610
0.00/0.23 c CPU time: 0.212967 s
0.00/0.23 c ==============================================================================
0.28/0.30 c This is MiniSat 2.0 beta
0.28/0.30 c WARNING: for repeatability, setting FPU to use double precision
0.28/0.30 c ============================[ Problem Statistics ]=============================
0.28/0.30 c | |
0.28/0.30 c | Number of variables: 15608 |
0.28/0.30 c | Number of clauses: 66711 |
0.28/0.35 c | Parsing time: 0.04 s |
0.28/0.35 c ============================[ Search Statistics ]==============================
0.28/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.28/0.35 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.28/0.35 c ===============================================================================
0.28/0.35 c | 0 | 15608 66711 202610 | 22237 0 nan | 0.000 % |
0.28/0.41 c | 101 | 15608 66711 202610 | 22237 101 145 | 0.000 % |
0.28/0.46 c | 203 | 15608 66711 202610 | 22237 203 162 | 0.000 % |
0.28/0.52 c | 304 | 15608 66711 202610 | 22237 304 153 | 0.000 % |
0.28/0.58 c | 414 | 15608 66711 202610 | 22237 414 150 | 0.000 % |
0.28/0.63 c | 514 | 15608 66711 202610 | 22237 514 153 | 0.000 % |
0.28/0.69 c | 624 | 15608 66711 202610 | 22237 624 165 | 0.000 % |
0.28/0.75 c | 745 | 15608 66711 202610 | 22237 745 166 | 0.000 % |
0.28/0.81 c | 845 | 15608 66711 202610 | 22237 845 174 | 0.000 % |
0.28/0.86 c | 956 | 15608 66711 202610 | 22237 956 178 | 0.000 % |
0.28/0.94 c | 1078 | 15608 66711 202610 | 22237 1078 175 | 0.000 % |
0.97/1.01 c | 1212 | 15608 66711 202610 | 22237 1212 175 | 0.000 % |
0.97/1.07 c | 1312 | 15608 66711 202610 | 22237 1312 177 | 0.000 % |
1.07/1.13 c | 1426 | 15608 66711 202610 | 22237 1426 179 | 0.000 % |
1.07/1.20 c | 1548 | 15608 66711 202610 | 22237 1548 179 | 0.000 % |
1.17/1.27 c | 1681 | 15608 66711 202610 | 22237 1681 179 | 0.000 % |
1.27/1.34 c | 1827 | 15608 66711 202610 | 22237 1827 179 | 0.000 % |
1.27/1.39 c | 1927 | 15608 66711 202610 | 22237 1927 181 | 0.000 % |
1.37/1.45 c | 2037 | 15608 66711 202610 | 22237 2037 179 | 0.000 % |
1.47/1.52 c | 2161 | 15608 66711 202610 | 22237 2161 179 | 0.000 % |
1.47/1.59 c | 2294 | 15608 66711 202610 | 22237 2294 180 | 0.000 % |
1.56/1.67 c | 2443 | 15608 66711 202610 | 22237 2443 184 | 0.000 % |
1.66/1.78 c | 2604 | 15608 66711 202610 | 22237 2604 189 | 0.000 % |
1.76/1.82 c | 2706 | 15608 66711 202610 | 22237 2706 187 | 0.000 % |
1.76/1.88 c | 2816 | 15608 66711 202610 | 22237 2816 185 | 0.000 % |
1.87/1.95 c | 2937 | 15608 66711 202610 | 22237 2937 186 | 0.000 % |
1.97/2.02 c | 3070 | 15608 66711 202610 | 22237 3070 186 | 0.000 % |
2.07/2.10 c | 3217 | 15608 66711 202610 | 22237 3217 187 | 0.000 % |
2.07/2.19 c | 3377 | 15608 66711 202610 | 22237 3377 187 | 0.000 % |
2.17/2.28 c | 3554 | 15608 66711 202610 | 22237 3554 188 | 0.000 % |
2.27/2.34 c | 3656 | 15608 66711 202610 | 22237 3656 189 | 0.000 % |
2.37/2.40 c | 3767 | 15608 66711 202610 | 22237 3767 189 | 0.000 % |
2.37/2.47 c | 3890 | 15608 66711 202610 | 22237 3890 190 | 0.000 % |
2.47/2.54 c | 4024 | 15608 66711 202610 | 22237 4024 189 | 0.000 % |
2.57/2.62 c | 4173 | 15608 66711 202610 | 22237 4173 188 | 0.000 % |
2.67/2.71 c | 4333 | 15608 66711 202610 | 22237 4333 190 | 0.000 % |
2.77/2.81 c | 4509 | 15608 66711 202610 | 22237 4509 189 | 0.000 % |
2.87/2.92 c | 4702 | 15608 66711 202610 | 22237 4702 188 | 0.000 % |
2.87/2.98 c | 4803 | 15608 66711 202610 | 22237 4803 187 | 0.000 % |
2.97/3.05 c | 4913 | 15608 66711 202610 | 22237 4913 188 | 0.000 % |
3.07/3.12 c | 5035 | 15608 66711 202610 | 22237 5035 188 | 0.000 % |
3.07/3.20 c | 5169 | 15608 66711 202610 | 22237 5169 188 | 0.000 % |
3.17/3.28 c | 5317 | 15608 66711 202610 | 22237 5317 188 | 0.000 % |
3.27/3.37 c | 5478 | 15608 66711 202610 | 22237 5478 187 | 0.000 % |
3.37/3.47 c | 5654 | 15608 66711 202610 | 22237 5654 188 | 0.000 % |
3.47/3.58 c | 5849 | 15608 66711 202610 | 22237 5849 189 | 0.000 % |
3.67/3.71 c | 6062 | 15608 66711 202610 | 22237 6062 190 | 0.000 % |
3.67/3.77 c | 6162 | 15608 66711 202610 | 22237 6162 190 | 0.000 % |
3.77/3.84 c | 6274 | 15608 66711 202610 | 22237 6274 190 | 0.000 % |
3.87/3.91 c | 6397 | 15608 66711 202610 | 22237 6397 192 | 0.000 % |
3.97/4.00 c | 6530 | 15608 66711 202610 | 22237 6530 193 | 0.000 % |
3.97/4.08 c | 6677 | 15608 66711 202610 | 22237 6677 193 | 0.000 % |
4.07/4.17 c | 6838 | 15608 66711 202610 | 22237 6838 193 | 0.000 % |
4.17/4.27 c | 7014 | 15608 66711 202610 | 22237 7014 193 | 0.000 % |
4.27/4.39 c | 7207 | 15608 66711 202610 | 22237 7207 192 | 0.000 % |
4.47/4.51 c | 7419 | 15608 66711 202610 | 22237 7419 192 | 0.000 % |
4.57/4.65 c | 7652 | 15608 66711 202610 | 22237 7652 192 | 0.000 % |
4.67/4.71 c | 7752 | 15608 66711 202610 | 22237 7752 192 | 0.000 % |
4.67/4.78 c | 7863 | 15608 66711 202610 | 22237 7863 191 | 0.000 % |
4.77/4.85 c | 7985 | 15608 66711 202610 | 22237 7985 191 | 0.000 % |
4.87/4.94 c | 8118 | 15608 66711 202610 | 22237 8118 191 | 0.000 % |
4.96/5.03 c | 8264 | 15608 66711 202610 | 22237 8264 191 | 0.000 % |
5.06/5.12 c | 8424 | 15608 66711 202610 | 22237 8424 191 | 0.000 % |
5.16/5.22 c | 8600 | 15608 66711 202610 | 22237 8600 191 | 0.000 % |
5.26/5.33 c | 8794 | 15608 66711 202610 | 22237 8794 191 | 0.000 % |
5.37/5.46 c | 9007 | 15608 66711 202610 | 22237 9007 194 | 0.000 % |
5.56/5.61 c | 9242 | 15608 66711 202610 | 22237 9242 196 | 0.000 % |
5.66/5.75 c | 9498 | 15608 66711 202610 | 22237 9498 195 | 0.000 % |
5.76/5.81 c | 9598 | 15608 66711 202610 | 22237 9598 195 | 0.000 % |
5.76/5.88 c | 9710 | 15608 66711 202610 | 22237 9710 195 | 0.000 % |
5.86/5.96 c | 9833 | 15608 66711 202610 | 22237 9833 194 | 0.000 % |
5.96/6.03 c | 9966 | 15608 66711 202610 | 22237 9966 194 | 0.000 % |
6.06/6.12 c | 10112 | 15608 66711 202610 | 2147483647 10112 194 | 0.000 % |
6.16/6.21 c | 10274 | 15608 66711 202610 | 2147483647 10274 194 | 0.000 % |
6.26/6.32 c | 10450 | 15608 66711 202610 | 2147483647 10450 194 | 0.000 % |
6.36/6.43 c | 10643 | 15608 66711 202610 | 2147483647 10643 194 | 0.000 % |
6.46/6.55 c | 10855 | 15608 66711 202610 | 2147483647 10855 194 | 0.000 % |
6.57/6.68 c | 11088 | 15608 66711 202610 | 2147483647 11088 194 | 0.000 % |
6.77/6.84 c | 11345 | 15608 66711 202610 | 2147483647 11345 194 | 0.000 % |
6.97/7.01 c | 11628 | 15608 66711 202610 | 2147483647 11628 194 | 0.000 % |
6.97/7.07 c | 11728 | 15608 66711 202610 | 2147483647 11728 194 | 0.000 % |
7.07/7.14 c | 11838 | 15608 66711 202610 | 2147483647 11838 194 | 0.000 % |
7.16/7.21 c | 11962 | 15608 66711 202610 | 2147483647 11962 193 | 0.000 % |
7.26/7.30 c | 12095 | 15608 66711 202610 | 2147483647 12095 193 | 0.000 % |
7.26/7.38 c | 12241 | 15608 66711 202610 | 2147483647 12241 193 | 0.000 % |
7.36/7.48 c | 12401 | 15608 66711 202610 | 2147483647 12401 193 | 0.000 % |
7.46/7.58 c | 12577 | 15608 66711 202610 | 2147483647 12577 193 | 0.000 % |
7.56/7.70 c | 12771 | 15608 66711 202610 | 2147483647 12771 193 | 0.000 % |
7.76/7.83 c | 12984 | 15608 66711 202610 | 2147483647 12984 193 | 0.000 % |
7.86/7.96 c | 13219 | 15608 66711 202610 | 2147483647 13219 193 | 0.000 % |
8.06/8.11 c | 13475 | 15608 66711 202610 | 2147483647 13475 193 | 0.000 % |
8.16/8.29 c | 13758 | 15608 66711 202610 | 2147483647 13758 193 | 0.000 % |
8.36/8.46 c | 14069 | 15608 66711 202610 | 2147483647 14069 195 | 0.000 % |
8.46/8.53 c | 14170 | 15608 66711 202610 | 2147483647 14170 194 | 0.000 % |
8.56/8.60 c | 14280 | 15608 66711 202610 | 2147483647 14280 194 | 0.000 % |
8.56/8.68 c | 14403 | 15608 66711 202610 | 2147483647 14403 195 | 0.000 % |
8.66/8.76 c | 14536 | 15608 66711 202610 | 2147483647 14536 195 | 0.000 % |
8.76/8.86 c | 14683 | 15608 66711 202610 | 2147483647 14683 195 | 0.000 % |
8.86/8.95 c | 14844 | 15608 66711 202610 | 2147483647 14844 195 | 0.000 % |
8.96/9.06 c | 15022 | 15608 66711 202610 | 2147483647 15022 195 | 0.000 % |
9.05/9.19 c | 15217 | 15608 66711 202610 | 2147483647 15217 195 | 0.000 % |
9.25/9.31 c | 15431 | 15608 66711 202610 | 2147483647 15431 195 | 0.000 % |
9.36/9.46 c | 15667 | 15608 66711 202610 | 2147483647 15667 196 | 0.000 % |
9.56/9.64 c | 15923 | 15608 66711 202610 | 2147483647 15923 197 | 0.000 % |
9.77/9.82 c | 16204 | 15608 66711 202610 | 2147483647 16204 197 | 0.000 % |
9.96/10.02 c | 16514 | 15608 66711 202610 | 2147483647 16514 198 | 0.000 % |
10.16/10.24 c | 16853 | 15608 66711 202610 | 2147483647 16853 198 | 0.000 % |
10.26/10.31 c | 16954 | 15608 66711 202610 | 2147483647 16954 198 | 0.000 % |
10.26/10.38 c | 17066 | 15608 66711 202610 | 2147483647 17066 198 | 0.000 % |
10.36/10.47 c | 17187 | 15608 66711 202610 | 2147483647 17187 198 | 0.000 % |
10.46/10.54 c | 17321 | 15608 66711 202610 | 2147483647 17321 198 | 0.000 % |
10.56/10.64 c | 17467 | 15608 66711 202610 | 2147483647 17467 198 | 0.000 % |
10.66/10.75 c | 17627 | 15608 66711 202610 | 2147483647 17627 198 | 0.000 % |
10.76/10.86 c | 17804 | 15608 66711 202610 | 2147483647 17804 198 | 0.000 % |
10.86/10.99 c | 18002 | 15608 66711 202610 | 2147483647 18002 198 | 0.000 % |
11.06/11.13 c | 18214 | 15608 66711 202610 | 2147483647 18214 197 | 0.000 % |
11.16/11.27 c | 18447 | 15608 66711 202610 | 2147483647 18447 198 | 0.000 % |
11.35/11.45 c | 18703 | 15608 66711 202610 | 2147483647 18703 197 | 0.000 % |
11.55/11.62 c | 18984 | 15608 66711 202610 | 2147483647 18984 198 | 0.000 % |
11.75/11.81 c | 19297 | 15608 66711 202610 | 2147483647 19297 197 | 0.000 % |
11.97/12.02 c | 19637 | 15608 66711 202610 | 2147483647 19637 197 | 0.000 % |
12.16/12.24 c | 20009 | 15608 66711 202610 | 2147483647 20009 198 | 0.000 % |
12.26/12.31 c | 20110 | 15608 66711 202610 | 2147483647 20110 198 | 0.000 % |
12.26/12.39 c | 20222 | 15608 66711 202610 | 2147483647 20222 198 | 0.000 % |
12.36/12.48 c | 20344 | 15608 66711 202610 | 2147483647 20344 198 | 0.000 % |
12.46/12.58 c | 20478 | 15608 66711 202610 | 2147483647 20478 198 | 0.000 % |
12.56/12.68 c | 20626 | 15608 66711 202610 | 2147483647 20626 197 | 0.000 % |
12.66/12.79 c | 20788 | 15608 66711 202610 | 2147483647 20788 197 | 0.000 % |
12.86/12.92 c | 20964 | 15608 66711 202610 | 2147483647 20964 197 | 0.000 % |
12.96/13.06 c | 21157 | 15608 66711 202610 | 2147483647 21157 197 | 0.000 % |
13.06/13.20 c | 21369 | 15608 66711 202610 | 2147483647 21369 197 | 0.000 % |
13.26/13.35 c | 21602 | 15608 66711 202610 | 2147483647 21602 198 | 0.000 % |
13.45/13.53 c | 21858 | 15608 66711 202610 | 2147483647 21858 198 | 0.000 % |
13.55/13.69 c | 22140 | 15608 66711 202610 | 2147483647 22140 198 | 0.000 % |
13.75/13.89 c | 22449 | 15608 66711 202610 | 2147483647 22449 199 | 0.000 % |
14.05/14.12 c | 22789 | 15608 66711 202610 | 2147483647 22789 199 | 0.000 % |
14.26/14.35 c | 23162 | 15608 66711 202610 | 2147483647 23162 200 | 0.000 % |
14.55/14.61 c | 23572 | 15608 66711 202610 | 2147483647 23572 199 | 0.000 % |
14.55/14.69 c | 23673 | 15608 66711 202610 | 2147483647 23673 200 | 0.000 % |
14.65/14.76 c | 23783 | 15608 66711 202610 | 2147483647 23783 199 | 0.000 % |
14.76/14.85 c | 23904 | 15608 66711 202610 | 2147483647 23904 199 | 0.000 % |
14.86/14.94 c | 24038 | 15608 66711 202610 | 2147483647 24038 199 | 0.000 % |
14.96/15.06 c | 24186 | 15608 66711 202610 | 2147483647 24186 199 | 0.000 % |
15.06/15.18 c | 24353 | 15608 66711 202610 | 2147483647 24353 200 | 0.000 % |
15.26/15.31 c | 24529 | 15608 66711 202610 | 2147483647 24529 200 | 0.000 % |
15.36/15.45 c | 24723 | 15608 66711 202610 | 2147483647 24723 200 | 0.000 % |
15.46/15.60 c | 24937 | 15608 66711 202610 | 2147483647 24937 200 | 0.000 % |
15.65/15.78 c | 25170 | 15608 66711 202610 | 2147483647 25170 201 | 0.000 % |
15.85/15.94 c | 25426 | 15608 66711 202610 | 2147483647 25426 201 | 0.000 % |
16.05/16.13 c | 25709 | 15608 66711 202610 | 2147483647 25709 201 | 0.000 % |
16.25/16.35 c | 26020 | 15608 66711 202610 | 2147483647 26020 202 | 0.000 % |
16.46/16.58 c | 26361 | 15608 66711 202610 | 2147483647 26361 202 | 0.000 % |
16.75/16.84 c | 26733 | 15608 66711 202610 | 2147483647 26733 203 | 0.000 % |
17.05/17.12 c | 27143 | 15608 66711 202610 | 2147483647 27143 203 | 0.000 % |
17.35/17.44 c | 27592 | 15608 66711 202610 | 2147483647 27592 204 | 0.000 % |
17.45/17.52 c | 27692 | 15608 66711 202610 | 2147483647 27692 204 | 0.000 % |
17.55/17.60 c | 27802 | 15608 66711 202610 | 2147483647 27802 204 | 0.000 % |
17.65/17.70 c | 27925 | 15608 66711 202610 | 2147483647 27925 204 | 0.000 % |
17.65/17.79 c | 28059 | 15608 66711 202610 | 2147483647 28059 204 | 0.000 % |
17.85/17.91 c | 28205 | 15608 66711 202610 | 2147483647 28205 204 | 0.000 % |
17.95/18.02 c | 28365 | 15608 66711 202610 | 2147483647 28365 204 | 0.000 % |
18.05/18.16 c | 28542 | 15608 66711 202610 | 2147483647 28542 204 | 0.000 % |
18.15/18.29 c | 28735 | 15608 66711 202610 | 2147483647 28735 204 | 0.000 % |
18.35/18.44 c | 28948 | 15608 66711 202610 | 2147483647 28948 204 | 0.000 % |
18.55/18.61 c | 29181 | 15608 66711 202610 | 2147483647 29181 204 | 0.000 % |
18.65/18.77 c | 29438 | 15608 66711 202610 | 2147483647 29438 204 | 0.000 % |
18.85/18.97 c | 29720 | 15608 66711 202610 | 2147483647 29720 205 | 0.000 % |
19.05/19.19 c | 30029 | 15608 66711 202610 | 2147483647 30029 205 | 0.000 % |
19.35/19.45 c | 30371 | 15608 66711 202610 | 2147483647 30371 205 | 0.000 % |
19.65/19.72 c | 30745 | 15608 66711 202610 | 2147483647 30745 205 | 0.000 % |
19.95/20.01 c | 31155 | 15608 66711 202610 | 2147483647 31155 205 | 0.000 % |
20.25/20.33 c | 31605 | 15608 66711 202610 | 2147483647 31605 205 | 0.000 % |
20.55/20.65 c | 32099 | 15608 66711 202610 | 2147483647 32099 206 | 0.000 % |
20.65/20.73 c | 32200 | 15608 66711 202610 | 2147483647 32200 206 | 0.000 % |
20.75/20.82 c | 32311 | 15608 66711 202610 | 2147483647 32311 206 | 0.000 % |
20.85/20.91 c | 32432 | 15608 66711 202610 | 2147483647 32432 206 | 0.000 % |
20.95/21.02 c | 32567 | 15608 66711 202610 | 2147483647 32567 206 | 0.000 % |
21.05/21.15 c | 32714 | 15608 66711 202610 | 2147483647 32714 206 | 0.000 % |
21.15/21.27 c | 32874 | 15608 66711 202610 | 2147483647 32874 206 | 0.000 % |
21.35/21.40 c | 33050 | 15608 66711 202610 | 2147483647 33050 206 | 0.000 % |
21.45/21.55 c | 33244 | 15608 66711 202610 | 2147483647 33244 206 | 0.000 % |
21.65/21.72 c | 33458 | 15608 66711 202610 | 2147483647 33458 206 | 0.000 % |
21.75/21.90 c | 33692 | 15608 66711 202610 | 2147483647 33692 206 | 0.000 % |
21.95/22.08 c | 33948 | 15608 66711 202610 | 2147483647 33948 206 | 0.000 % |
22.15/22.28 c | 34229 | 15608 66711 202610 | 2147483647 34229 206 | 0.000 % |
22.44/22.52 c | 34538 | 15608 66711 202610 | 2147483647 34538 207 | 0.000 % |
22.64/22.78 c | 34877 | 15608 66711 202610 | 2147483647 34877 207 | 0.000 % |
22.95/23.06 c | 35249 | 15608 66711 202610 | 2147483647 35249 206 | 0.000 % |
23.24/23.36 c | 35658 | 15608 66711 202610 | 2147483647 35658 206 | 0.000 % |
23.54/23.69 c | 36108 | 15608 66711 202610 | 2147483647 36108 206 | 0.000 % |
23.94/24.06 c | 36603 | 15608 66711 202610 | 2147483647 36603 207 | 0.000 % |
24.34/24.43 c | 37145 | 15608 66711 202610 | 2147483647 37145 207 | 0.000 % |
24.44/24.50 c | 37247 | 15608 66711 202610 | 2147483647 37247 207 | 0.000 % |
24.54/24.61 c | 37358 | 15608 66711 202610 | 2147483647 37358 207 | 0.000 % |
24.64/24.71 c | 37480 | 15608 66711 202610 | 2147483647 37480 207 | 0.000 % |
24.74/24.82 c | 37617 | 15608 66711 202610 | 2147483647 37617 207 | 0.000 % |
24.84/24.95 c | 37763 | 15608 66711 202610 | 2147483647 37763 207 | 0.000 % |
24.94/25.06 c | 37923 | 15608 66711 202610 | 2147483647 37923 207 | 0.000 % |
25.04/25.19 c | 38099 | 15608 66711 202610 | 2147483647 38099 207 | 0.000 % |
25.25/25.34 c | 38293 | 15608 66711 202610 | 2147483647 38293 206 | 0.000 % |
25.44/25.50 c | 38505 | 15608 66711 202610 | 2147483647 38505 207 | 0.000 % |
25.54/25.68 c | 38739 | 15608 66711 202610 | 2147483647 38739 207 | 0.000 % |
25.74/25.89 c | 38995 | 15608 66711 202610 | 2147483647 38995 207 | 0.000 % |
26.04/26.10 c | 39278 | 15608 66711 202610 | 2147483647 39278 207 | 0.000 % |
26.24/26.34 c | 39591 | 15608 66711 202610 | 2147483647 39591 207 | 0.000 % |
26.44/26.60 c | 39930 | 15608 66711 202610 | 2147483647 39930 207 | 0.000 % |
26.74/26.87 c | 40302 | 15608 66711 202610 | 2147483647 40302 208 | 0.000 % |
27.04/27.18 c | 40713 | 15608 66711 202610 | 2147483647 40713 208 | 0.000 % |
27.45/27.52 c | 41163 | 15608 66711 202610 | 2147483647 41163 208 | 0.000 % |
27.74/27.89 c | 41659 | 15608 66711 202610 | 2147483647 41659 207 | 0.000 % |
28.24/28.32 c | 42201 | 15608 66711 202610 | 2147483647 42201 208 | 0.000 % |
28.64/28.76 c | 42797 | 15608 66711 202610 | 2147483647 42797 209 | 0.000 % |
28.74/28.84 c | 42899 | 15608 66711 202610 | 2147483647 42899 209 | 0.000 % |
28.84/28.94 c | 43009 | 15608 66711 202610 | 2147483647 43009 209 | 0.000 % |
28.94/29.05 c | 43133 | 15608 66711 202610 | 2147483647 43133 209 | 0.000 % |
29.04/29.17 c | 43266 | 15608 66711 202610 | 2147483647 43266 209 | 0.000 % |
29.14/29.29 c | 43413 | 15608 66711 202610 | 2147483647 43413 209 | 0.000 % |
29.34/29.42 c | 43573 | 15608 66711 202610 | 2147483647 43573 209 | 0.000 % |
29.44/29.57 c | 43749 | 15608 66711 202610 | 2147483647 43749 208 | 0.000 % |
29.64/29.73 c | 43942 | 15608 66711 202610 | 2147483647 43942 209 | 0.000 % |
29.73/29.89 c | 44154 | 15608 66711 202610 | 2147483647 44154 208 | 0.000 % |
29.93/30.07 c | 44387 | 15608 66711 202610 | 2147483647 44387 208 | 0.000 % |
30.13/30.29 c | 44644 | 15608 66711 202610 | 2147483647 44644 208 | 0.000 % |
30.43/30.52 c | 44928 | 15608 66711 202610 | 2147483647 44928 208 | 0.000 % |
30.65/30.77 c | 45238 | 15608 66711 202610 | 2147483647 45238 208 | 0.000 % |
30.94/31.06 c | 45577 | 15608 66711 202610 | 2147483647 45577 209 | 0.000 % |
31.24/31.37 c | 45949 | 15608 66711 202610 | 2147483647 45949 209 | 0.000 % |
31.64/31.72 c | 46358 | 15608 66711 202610 | 2147483647 46358 209 | 0.000 % |
31.94/32.05 c | 46807 | 15608 66711 202610 | 2147483647 46807 210 | 0.000 % |
32.34/32.44 c | 47301 | 15608 66711 202610 | 2147483647 47301 210 | 0.000 % |
32.74/32.89 c | 47843 | 15608 66711 202610 | 2147483647 47843 210 | 0.000 % |
33.23/33.36 c | 48442 | 15608 66711 202610 | 2147483647 48442 211 | 0.000 % |
33.73/33.89 c | 49098 | 15608 66711 202610 | 2147483647 49098 211 | 0.000 % |
33.93/34.00 c | 49199 | 15608 66711 202610 | 2147483647 49199 211 | 0.000 % |
34.03/34.10 c | 49309 | 15608 66711 202610 | 2147483647 49309 211 | 0.000 % |
34.13/34.21 c | 49431 | 15608 66711 202610 | 2147483647 49431 211 | 0.000 % |
34.23/34.32 c | 49564 | 15608 66711 202610 | 2147483647 49564 211 | 0.000 % |
34.33/34.46 c | 49711 | 15608 66711 202610 | 2147483647 49711 211 | 0.000 % |
34.43/34.59 c | 49871 | 15608 66711 202610 | 2147483647 49871 211 | 0.000 % |
34.63/34.76 c | 50047 | 15608 66711 202610 | 2147483647 50047 211 | 0.000 % |
34.82/34.95 c | 50242 | 15608 66711 202610 | 2147483647 50242 211 | 0.000 % |
35.03/35.13 c | 50457 | 15608 66711 202610 | 2147483647 50457 211 | 0.000 % |
35.23/35.32 c | 50690 | 15608 66711 202610 | 2147483647 50690 211 | 0.000 % |
35.43/35.52 c | 50946 | 15608 66711 202610 | 2147483647 50946 211 | 0.000 % |
35.63/35.75 c | 51229 | 15608 66711 202610 | 2147483647 51229 211 | 0.000 % |
35.93/36.02 c | 51539 | 15608 66711 202610 | 2147483647 51539 211 | 0.000 % |
36.23/36.33 c | 51879 | 15608 66711 202610 | 2147483647 51879 211 | 0.000 % |
36.53/36.65 c | 52252 | 15608 66711 202610 | 2147483647 52252 211 | 0.000 % |
36.93/37.02 c | 52662 | 15608 66711 202610 | 2147483647 52662 212 | 0.000 % |
37.23/37.40 c | 53112 | 15608 66711 202610 | 2147483647 53112 212 | 0.000 % |
37.73/37.81 c | 53605 | 15608 66711 202610 | 2147483647 53605 212 | 0.000 % |
38.13/38.29 c | 54149 | 15608 66711 202610 | 2147483647 54149 212 | 0.000 % |
38.73/38.82 c | 54745 | 15608 66711 202610 | 2147483647 54745 213 | 0.000 % |
39.23/39.39 c | 55401 | 15608 66711 202610 | 2147483647 55401 213 | 0.000 % |
39.83/39.98 c | 56121 | 15608 66711 202610 | 2147483647 56121 214 | 0.000 % |
39.93/40.06 c | 56222 | 15608 66711 202610 | 2147483647 56222 214 | 0.000 % |
40.03/40.15 c | 56332 | 15608 66711 202610 | 2147483647 56332 214 | 0.000 % |
40.13/40.27 c | 56453 | 15608 66711 202610 | 2147483647 56453 214 | 0.000 % |
40.23/40.38 c | 56587 | 15608 66711 202610 | 2147483647 56587 214 | 0.000 % |
40.43/40.51 c | 56733 | 15608 66711 202610 | 2147483647 56733 214 | 0.000 % |
40.53/40.66 c | 56893 | 15608 66711 202610 | 2147483647 56893 214 | 0.000 % |
40.73/40.82 c | 57069 | 15608 66711 202610 | 2147483647 57069 214 | 0.000 % |
40.92/41.02 c | 57265 | 15608 66711 202610 | 2147483647 57265 214 | 0.000 % |
41.12/41.21 c | 57477 | 15608 66711 202610 | 2147483647 57477 214 | 0.000 % |
41.32/41.41 c | 57712 | 15608 66711 202610 | 2147483647 57712 214 | 0.000 % |
41.52/41.64 c | 57968 | 15608 66711 202610 | 2147483647 57968 213 | 0.000 % |
41.72/41.88 c | 58249 | 15608 66711 202610 | 2147483647 58249 213 | 0.000 % |
42.03/42.15 c | 58558 | 15608 66711 202610 | 2147483647 58558 213 | 0.000 % |
42.33/42.47 c | 58897 | 15608 66711 202610 | 2147483647 58897 214 | 0.000 % |
42.63/42.80 c | 59270 | 15608 66711 202610 | 2147483647 59270 213 | 0.000 % |
43.03/43.16 c | 59679 | 15608 66711 202610 | 2147483647 59679 213 | 0.000 % |
43.43/43.55 c | 60128 | 15608 66711 202610 | 2147483647 60128 213 | 0.000 % |
43.93/44.02 c | 60621 | 15608 66711 202610 | 2147483647 60621 214 | 0.000 % |
44.32/44.49 c | 61163 | 15608 66711 202610 | 2147483647 61163 215 | 0.000 % |
44.93/45.02 c | 61761 | 15608 66711 202610 | 2147483647 61761 215 | 0.000 % |
45.42/45.59 c | 62417 | 15608 66711 202610 | 2147483647 62417 215 | 0.000 % |
46.13/46.21 c | 63141 | 15608 66711 202610 | 2147483647 63141 215 | 0.000 % |
46.82/46.90 c | 63933 | 15608 66711 202610 | 2147483647 63933 215 | 0.000 % |
46.92/47.00 c | 64034 | 15608 66711 202610 | 2147483647 64034 215 | 0.000 % |
47.02/47.14 c | 64144 | 15608 66711 202610 | 2147483647 64144 215 | 0.000 % |
47.12/47.26 c | 64265 | 15608 66711 202610 | 2147483647 64265 215 | 0.000 % |
47.22/47.39 c | 64398 | 15608 66711 202610 | 2147483647 64398 215 | 0.000 % |
47.42/47.52 c | 64546 | 15608 66711 202610 | 2147483647 64546 215 | 0.000 % |
47.52/47.69 c | 64709 | 15608 66711 202610 | 2147483647 64709 215 | 0.000 % |
47.72/47.85 c | 64886 | 15608 66711 202610 | 2147483647 64886 215 | 0.000 % |
47.92/48.05 c | 65081 | 15608 66711 202610 | 2147483647 65081 215 | 0.000 % |
48.13/48.26 c | 65293 | 15608 66711 202610 | 2147483647 65293 215 | 0.000 % |
48.33/48.49 c | 65529 | 15608 66711 202610 | 2147483647 65529 215 | 0.000 % |
48.62/48.75 c | 65785 | 15608 66711 202610 | 2147483647 65785 215 | 0.000 % |
48.92/49.02 c | 66067 | 15608 66711 202610 | 2147483647 66067 215 | 0.000 % |
49.22/49.31 c | 66378 | 15608 66711 202610 | 2147483647 66378 215 | 0.000 % |
49.52/49.62 c | 66718 | 15608 66711 202610 | 2147483647 66718 215 | 0.000 % |
49.82/49.95 c | 67091 | 15608 66711 202610 | 2147483647 67091 215 | 0.000 % |
50.22/50.32 c | 67500 | 15608 66711 202610 | 2147483647 67500 215 | 0.000 % |
50.62/50.72 c | 67950 | 15608 66711 202610 | 2147483647 67950 216 | 0.000 % |
51.02/51.18 c | 68443 | 15608 66711 202610 | 2147483647 68443 216 | 0.000 % |
51.52/51.69 c | 68985 | 15608 66711 202610 | 2147483647 68985 216 | 0.000 % |
52.12/52.27 c | 69581 | 15608 66711 202610 | 2147483647 69581 216 | 0.000 % |
52.73/52.85 c | 70237 | 15608 66711 202610 | 2147483647 70237 216 | 0.000 % |
53.42/53.53 c | 70958 | 15608 66711 202610 | 2147483647 70958 217 | 0.000 % |
54.12/54.27 c | 71752 | 15608 66711 202610 | 2147483647 71752 217 | 0.000 % |
54.92/55.08 c | 72623 | 15608 66711 202610 | 2147483647 72623 218 | 0.000 % |
55.02/55.19 c | 72724 | 15608 66711 202610 | 2147483647 72724 218 | 0.000 % |
55.12/55.30 c | 72836 | 15608 66711 202610 | 2147483647 72836 218 | 0.000 % |
55.31/55.41 c | 72957 | 15608 66711 202610 | 2147483647 72957 217 | 0.000 % |
55.41/55.55 c | 73092 | 15608 66711 202610 | 2147483647 73092 217 | 0.000 % |
55.61/55.71 c | 73238 | 15608 66711 202610 | 2147483647 73238 217 | 0.000 % |
55.71/55.89 c | 73401 | 15608 66711 202610 | 2147483647 73401 218 | 0.000 % |
55.92/56.06 c | 73577 | 15608 66711 202610 | 2147483647 73577 217 | 0.000 % |
56.11/56.27 c | 73770 | 15608 66711 202610 | 2147483647 73770 217 | 0.000 % |
56.31/56.47 c | 73982 | 15608 66711 202610 | 2147483647 73982 217 | 0.000 % |
56.62/56.71 c | 74216 | 15608 66711 202610 | 2147483647 74216 217 | 0.000 % |
56.82/56.96 c | 74472 | 15608 66711 202610 | 2147483647 74472 217 | 0.000 % |
57.12/57.26 c | 74754 | 15608 66711 202610 | 2147483647 74754 217 | 0.000 % |
57.42/57.57 c | 75064 | 15608 66711 202610 | 2147483647 75064 217 | 0.000 % |
57.82/57.91 c | 75403 | 15608 66711 202610 | 2147483647 75403 217 | 0.000 % |
58.12/58.27 c | 75775 | 15608 66711 202610 | 2147483647 75775 217 | 0.000 % |
58.51/58.68 c | 76188 | 15608 66711 202610 | 2147483647 76188 218 | 0.000 % |
59.01/59.12 c | 76637 | 15608 66711 202610 | 2147483647 76637 218 | 0.000 % |
59.41/59.58 c | 77131 | 15608 66711 202610 | 2147483647 77131 218 | 0.000 % |
60.01/60.12 c | 77674 | 15608 66711 202610 | 2147483647 77674 218 | 0.000 % |
60.51/60.67 c | 78271 | 15608 66711 202610 | 2147483647 78271 218 | 0.000 % |
61.11/61.27 c | 78927 | 15608 66711 202610 | 2147483647 78927 219 | 0.000 % |
61.81/61.99 c | 79648 | 15608 66711 202610 | 2147483647 79648 219 | 0.000 % |
62.62/62.77 c | 80440 | 15608 66711 202610 | 2147483647 80440 219 | 0.000 % |
63.52/63.63 c | 81312 | 15608 66711 202610 | 2147483647 81312 220 | 0.000 % |
64.51/64.62 c | 82271 | 15608 66711 202610 | 2147483647 82271 220 | 0.000 % |
64.61/64.74 c | 82371 | 15608 66711 202610 | 2147483647 82371 220 | 0.000 % |
64.71/64.86 c | 82482 | 15608 66711 202610 | 2147483647 82482 220 | 0.000 % |
64.91/65.00 c | 82604 | 15608 66711 202610 | 2147483647 82604 220 | 0.000 % |
65.01/65.14 c | 82739 | 15608 66711 202610 | 2147483647 82739 220 | 0.000 % |
65.21/65.30 c | 82885 | 15608 66711 202610 | 2147483647 82885 220 | 0.000 % |
65.31/65.46 c | 83045 | 15608 66711 202610 | 2147483647 83045 220 | 0.000 % |
65.51/65.68 c | 83222 | 15608 66711 202610 | 2147483647 83222 220 | 0.000 % |
65.71/65.89 c | 83415 | 15608 66711 202610 | 2147483647 83415 220 | 0.000 % |
66.01/66.12 c | 83628 | 15608 66711 202610 | 2147483647 83628 220 | 0.000 % |
66.21/66.37 c | 83864 | 15608 66711 202610 | 2147483647 83864 220 | 0.000 % |
66.51/66.63 c | 84121 | 15608 66711 202610 | 2147483647 84121 220 | 0.000 % |
66.81/66.96 c | 84404 | 15608 66711 202610 | 2147483647 84404 220 | 0.000 % |
67.20/67.32 c | 84713 | 15608 66711 202610 | 2147483647 84713 220 | 0.000 % |
67.51/67.67 c | 85052 | 15608 66711 202610 | 2147483647 85052 220 | 0.000 % |
67.91/68.07 c | 85425 | 15608 66711 202610 | 2147483647 85425 220 | 0.000 % |
68.31/68.49 c | 85835 | 15608 66711 202610 | 2147483647 85835 220 | 0.000 % |
68.81/68.95 c | 86284 | 15608 66711 202610 | 2147483647 86284 220 | 0.000 % |
69.30/69.48 c | 86777 | 15608 66711 202610 | 2147483647 86777 220 | 0.000 % |
69.90/70.03 c | 87319 | 15608 66711 202610 | 2147483647 87319 220 | 0.000 % |
70.50/70.67 c | 87919 | 15608 66711 202610 | 2147483647 87919 220 | 0.000 % |
71.20/71.33 c | 88574 | 15608 66711 202610 | 2147483647 88574 220 | 0.000 % |
71.90/72.08 c | 89294 | 15608 66711 202610 | 2147483647 89294 221 | 0.000 % |
72.70/72.87 c | 90087 | 15608 66711 202610 | 2147483647 90087 222 | 0.000 % |
73.61/73.73 c | 90959 | 15608 66711 202610 | 2147483647 90959 221 | 0.000 % |
74.50/74.67 c | 91917 | 15608 66711 202610 | 2147483647 91917 222 | 0.000 % |
75.60/75.73 c | 92970 | 15608 66711 202610 | 2147483647 92970 222 | 0.000 % |
75.70/75.84 c | 93070 | 15608 66711 202610 | 2147483647 93070 222 | 0.000 % |
75.80/75.98 c | 93180 | 15608 66711 202610 | 2147483647 93180 222 | 0.000 % |
76.00/76.13 c | 93301 | 15608 66711 202610 | 2147483647 93301 222 | 0.000 % |
76.20/76.30 c | 93434 | 15608 66711 202610 | 2147483647 93434 222 | 0.000 % |
76.30/76.48 c | 93580 | 15608 66711 202610 | 2147483647 93580 222 | 0.000 % |
76.50/76.68 c | 93740 | 15608 66711 202610 | 2147483647 93740 222 | 0.000 % |
76.70/76.90 c | 93921 | 15608 66711 202610 | 2147483647 93921 222 | 0.000 % |
77.00/77.11 c | 94114 | 15608 66711 202610 | 2147483647 94114 222 | 0.000 % |
77.20/77.35 c | 94326 | 15608 66711 202610 | 2147483647 94326 222 | 0.000 % |
77.50/77.62 c | 94559 | 15608 66711 202610 | 2147483647 94559 222 | 0.000 % |
77.80/77.93 c | 94816 | 15608 66711 202610 | 2147483647 94816 222 | 0.000 % |
78.10/78.23 c | 95098 | 15608 66711 202610 | 2147483647 95098 222 | 0.000 % |
78.40/78.58 c | 95409 | 15608 66711 202610 | 2147483647 95409 222 | 0.000 % |
78.80/78.96 c | 95748 | 15608 66711 202610 | 2147483647 95748 222 | 0.000 % |
79.19/79.38 c | 96122 | 15608 66711 202610 | 2147483647 96122 222 | 0.000 % |
79.69/79.83 c | 96531 | 15608 66711 202610 | 2147483647 96531 222 | 0.000 % |
80.20/80.34 c | 96982 | 15608 66711 202610 | 2147483647 96982 223 | 0.000 % |
80.70/80.88 c | 97475 | 15608 66711 202610 | 2147483647 97475 222 | 0.000 % |
81.30/81.47 c | 98018 | 15608 66711 202610 | 2147483647 98018 223 | 0.000 % |
82.00/82.15 c | 98614 | 15608 66711 202610 | 2147483647 98614 222 | 0.000 % |
82.70/82.86 c | 99271 | 15608 66711 202610 | 2147483647 99271 223 | 0.000 % |
83.50/83.65 c | 99991 | 15608 66711 202610 | 2147483647 99991 223 | 0.000 % |
84.39/84.52 c | 100785 | 15608 66711 202610 | 2147483647 100785 223 | 0.000 % |
85.29/85.43 c | 101656 | 15608 66711 202610 | 2147483647 101656 223 | 0.000 % |
86.40/86.51 c | 102614 | 15608 66711 202610 | 2147483647 102614 224 | 0.000 % |
87.59/87.72 c | 103668 | 15608 66711 202610 | 2147483647 103668 225 | 0.000 % |
88.80/88.98 c | 104826 | 15608 66711 202610 | 2147483647 104826 226 | 0.000 % |
88.90/89.10 c | 104926 | 15608 66711 202610 | 2147483647 104926 226 | 0.000 % |
89.10/89.24 c | 105039 | 15608 66711 202610 | 2147483647 105039 226 | 0.000 % |
89.30/89.40 c | 105161 | 15608 66711 202610 | 2147483647 105161 226 | 0.000 % |
89.40/89.56 c | 105295 | 15608 66711 202610 | 2147483647 105295 225 | 0.000 % |
89.60/89.75 c | 105441 | 15608 66711 202610 | 2147483647 105441 225 | 0.000 % |
89.80/89.96 c | 105601 | 15608 66711 202610 | 2147483647 105601 225 | 0.000 % |
90.00/90.17 c | 105777 | 15608 66711 202610 | 2147483647 105777 225 | 0.000 % |
90.30/90.40 c | 105970 | 15608 66711 202610 | 2147483647 105970 225 | 0.000 % |
90.49/90.65 c | 106183 | 15608 66711 202610 | 2147483647 106183 225 | 0.000 % |
90.79/90.90 c | 106416 | 15608 66711 202610 | 2147483647 106416 225 | 0.000 % |
91.10/91.22 c | 106676 | 15608 66711 202610 | 2147483647 106676 225 | 0.000 % |
91.39/91.53 c | 106957 | 15608 66711 202610 | 2147483647 106957 225 | 0.000 % |
91.79/91.90 c | 107268 | 15608 66711 202610 | 2147483647 107268 225 | 0.000 % |
92.20/92.30 c | 107610 | 15608 66711 202610 | 2147483647 107610 225 | 0.000 % |
92.60/92.74 c | 107983 | 15608 66711 202610 | 2147483647 107983 225 | 0.000 % |
92.99/93.18 c | 108393 | 15608 66711 202610 | 2147483647 108393 225 | 0.000 % |
93.59/93.71 c | 108842 | 15608 66711 202610 | 2147483647 108842 225 | 0.000 % |
94.09/94.28 c | 109335 | 15608 66711 202610 | 2147483647 109335 225 | 0.000 % |
94.79/94.90 c | 109878 | 15608 66711 202610 | 2147483647 109878 225 | 0.000 % |
95.50/95.61 c | 110474 | 15608 66711 202610 | 2147483647 110474 225 | 0.000 % |
96.29/96.43 c | 111130 | 15608 66711 202610 | 2147483647 111130 226 | 0.000 % |
97.09/97.27 c | 111850 | 15608 66711 202610 | 2147483647 111850 226 | 0.000 % |
97.98/98.14 c | 112645 | 15608 66711 202610 | 2147483647 112645 226 | 0.000 % |
98.99/99.16 c | 113518 | 15608 66711 202610 | 2147483647 113518 227 | 0.000 % |
100.19/100.35 c | 114480 | 15608 66711 202610 | 2147483647 114480 227 | 0.000 % |
101.49/101.60 c | 115534 | 15608 66711 202610 | 2147483647 115534 228 | 0.000 % |
102.78/102.95 c | 116693 | 15608 66711 202610 | 2147483647 116693 228 | 0.000 % |
104.29/104.48 c | 117967 | 15608 66711 202610 | 2147483647 117967 228 | 0.000 % |
104.49/104.61 c | 118067 | 15608 66711 202610 | 2147483647 118067 228 | 0.000 % |
104.69/104.80 c | 118178 | 15608 66711 202610 | 2147483647 118178 228 | 0.000 % |
104.79/104.96 c | 118300 | 15608 66711 202610 | 2147483647 118300 228 | 0.000 % |
104.99/105.16 c | 118433 | 15608 66711 202610 | 2147483647 118433 228 | 0.000 % |
105.19/105.33 c | 118579 | 15608 66711 202610 | 2147483647 118579 228 | 0.000 % |
105.39/105.57 c | 118739 | 15608 66711 202610 | 2147483647 118739 228 | 0.000 % |
105.69/105.80 c | 118915 | 15608 66711 202610 | 2147483647 118915 228 | 0.000 % |
105.88/106.04 c | 119108 | 15608 66711 202610 | 2147483647 119108 228 | 0.000 % |
106.18/106.30 c | 119322 | 15608 66711 202610 | 2147483647 119322 228 | 0.000 % |
106.38/106.60 c | 119555 | 15608 66711 202610 | 2147483647 119555 228 | 0.000 % |
106.78/106.92 c | 119812 | 15608 66711 202610 | 2147483647 119812 228 | 0.000 % |
107.08/107.27 c | 120093 | 15608 66711 202610 | 2147483647 120093 228 | 0.000 % |
107.48/107.66 c | 120402 | 15608 66711 202610 | 2147483647 120402 228 | 0.000 % |
107.88/108.09 c | 120743 | 15608 66711 202610 | 2147483647 120743 228 | 0.000 % |
108.38/108.58 c | 121116 | 15608 66711 202610 | 2147483647 121116 228 | 0.000 % |
108.88/109.07 c | 121525 | 15608 66711 202610 | 2147483647 121525 228 | 0.000 % |
109.49/109.65 c | 121974 | 15608 66711 202610 | 2147483647 121974 228 | 0.000 % |
110.09/110.27 c | 122467 | 15608 66711 202610 | 2147483647 122467 228 | 0.000 % |
110.69/110.89 c | 123009 | 15608 66711 202610 | 2147483647 123009 228 | 0.000 % |
111.48/111.63 c | 123606 | 15608 66711 202610 | 2147483647 123606 228 | 0.000 % |
112.28/112.41 c | 124262 | 15608 66711 202610 | 2147483647 124262 228 | 0.000 % |
113.18/113.33 c | 124982 | 15608 66711 202610 | 2147483647 124982 228 | 0.000 % |
114.18/114.30 c | 125774 | 15608 66711 202610 | 2147483647 125774 229 | 0.000 % |
115.18/115.34 c | 126645 | 15608 66711 202610 | 2147483647 126645 229 | 0.000 % |
116.38/116.52 c | 127603 | 15608 66711 202610 | 2147483647 127603 229 | 0.000 % |
117.68/117.88 c | 128656 | 15608 66711 202610 | 2147483647 128656 229 | 0.000 % |
119.17/119.36 c | 129815 | 15608 66711 202610 | 2147483647 129815 230 | 0.000 % |
120.78/120.94 c | 131088 | 15608 66711 202610 | 2147483647 131088 230 | 0.000 % |
122.58/122.76 c | 132490 | 15608 66711 202610 | 2147483647 132490 231 | 0.000 % |
122.78/122.91 c | 132590 | 15608 66711 202610 | 2147483647 132590 231 | 0.000 % |
122.88/123.08 c | 132701 | 15608 66711 202610 | 2147483647 132701 231 | 0.000 % |
123.08/123.26 c | 132823 | 15608 66711 202610 | 2147483647 132823 231 | 0.000 % |
123.28/123.48 c | 132957 | 15608 66711 202610 | 2147483647 132957 231 | 0.000 % |
123.48/123.69 c | 133103 | 15608 66711 202610 | 2147483647 133103 231 | 0.000 % |
123.77/123.92 c | 133263 | 15608 66711 202610 | 2147483647 133263 230 | 0.000 % |
123.97/124.16 c | 133439 | 15608 66711 202610 | 2147483647 133439 230 | 0.000 % |
124.27/124.42 c | 133633 | 15608 66711 202610 | 2147483647 133633 230 | 0.000 % |
124.57/124.71 c | 133845 | 15608 66711 202610 | 2147483647 133845 230 | 0.000 % |
124.87/125.02 c | 134079 | 15608 66711 202610 | 2147483647 134079 230 | 0.000 % |
125.18/125.37 c | 134335 | 15608 66711 202610 | 2147483647 134335 230 | 0.000 % |
125.57/125.76 c | 134618 | 15608 66711 202610 | 2147483647 134618 230 | 0.000 % |
125.97/126.18 c | 134927 | 15608 66711 202610 | 2147483647 134927 230 | 0.000 % |
126.47/126.61 c | 135266 | 15608 66711 202610 | 2147483647 135266 230 | 0.000 % |
126.88/127.08 c | 135639 | 15608 66711 202610 | 2147483647 135639 230 | 0.000 % |
127.48/127.60 c | 136048 | 15608 66711 202610 | 2147483647 136048 230 | 0.000 % |
127.97/128.19 c | 136497 | 15608 66711 202610 | 2147483647 136497 230 | 0.000 % |
128.67/128.82 c | 136991 | 15608 66711 202610 | 2147483647 136991 230 | 0.000 % |
129.27/129.48 c | 137535 | 15608 66711 202610 | 2147483647 137535 230 | 0.000 % |
130.07/130.24 c | 138134 | 15608 66711 202610 | 2147483647 138134 230 | 0.000 % |
130.87/131.04 c | 138789 | 15608 66711 202610 | 2147483647 138789 230 | 0.000 % |
131.77/131.91 c | 139510 | 15608 66711 202610 | 2147483647 139510 230 | 0.000 % |
132.77/132.98 c | 140304 | 15608 66711 202610 | 2147483647 140304 230 | 0.000 % |
133.87/134.07 c | 141177 | 15608 66711 202610 | 2147483647 141177 231 | 0.000 % |
135.17/135.32 c | 142135 | 15608 66711 202610 | 2147483647 142135 231 | 0.000 % |
136.47/136.64 c | 143188 | 15608 66711 202610 | 2147483647 143188 231 | 0.000 % |
137.97/138.14 c | 144347 | 15608 66711 202610 | 2147483647 144347 231 | 0.000 % |
139.67/139.80 c | 145620 | 15608 66711 202610 | 2147483647 145620 232 | 0.000 % |
141.36/141.57 c | 147020 | 15608 66711 202610 | 2147483647 147020 232 | 0.000 % |
143.47/143.61 c | 148560 | 15608 66711 202610 | 2147483647 148560 232 | 0.000 % |
143.57/143.77 c | 148660 | 15608 66711 202610 | 2147483647 148660 232 | 0.000 % |
143.77/143.98 c | 148770 | 15608 66711 202610 | 2147483647 148770 232 | 0.000 % |
143.97/144.18 c | 148893 | 15608 66711 202610 | 2147483647 148893 232 | 0.000 % |
144.16/144.37 c | 149026 | 15608 66711 202610 | 2147483647 149026 232 | 0.000 % |
144.46/144.61 c | 149173 | 15608 66711 202610 | 2147483647 149173 232 | 0.000 % |
144.66/144.83 c | 149333 | 15608 66711 202610 | 2147483647 149333 232 | 0.000 % |
144.86/145.08 c | 149511 | 15608 66711 202610 | 2147483647 149511 232 | 0.000 % |
145.26/145.42 c | 149705 | 15608 66711 202610 | 2147483647 149705 232 | 0.000 % |
145.57/145.74 c | 149918 | 15608 66711 202610 | 2147483647 149918 232 | 0.000 % |
145.87/146.09 c | 150151 | 15608 66711 202610 | 2147483647 150151 232 | 0.000 % |
146.27/146.44 c | 150407 | 15608 66711 202610 | 2147483647 150407 232 | 0.000 % |
146.67/146.82 c | 150688 | 15608 66711 202610 | 2147483647 150688 232 | 0.000 % |
147.07/147.27 c | 150998 | 15608 66711 202610 | 2147483647 150998 232 | 0.000 % |
147.56/147.77 c | 151338 | 15608 66711 202610 | 2147483647 151338 232 | 0.000 % |
148.16/148.32 c | 151713 | 15608 66711 202610 | 2147483647 151713 232 | 0.000 % |
148.76/148.90 c | 152122 | 15608 66711 202610 | 2147483647 152122 232 | 0.000 % |
149.37/149.55 c | 152572 | 15608 66711 202610 | 2147483647 152572 232 | 0.000 % |
150.06/150.25 c | 153066 | 15608 66711 202610 | 2147483647 153066 232 | 0.000 % |
150.86/151.04 c | 153608 | 15608 66711 202610 | 2147483647 153608 232 | 0.000 % |
151.56/151.77 c | 154204 | 15608 66711 202610 | 2147483647 154204 232 | 0.000 % |
152.46/152.65 c | 154859 | 15608 66711 202610 | 2147483647 154859 232 | 0.000 % |
153.36/153.58 c | 155580 | 15608 66711 202610 | 2147483647 155580 232 | 0.000 % |
154.46/154.68 c | 156373 | 15608 66711 202610 | 2147483647 156373 232 | 0.000 % |
155.66/155.80 c | 157244 | 15608 66711 202610 | 2147483647 157244 232 | 0.000 % |
156.85/157.07 c | 158202 | 15608 66711 202610 | 2147483647 158202 232 | 0.000 % |
158.26/158.46 c | 159255 | 15608 66711 202610 | 2147483647 159255 232 | 0.000 % |
159.85/160.04 c | 160413 | 15608 66711 202610 | 2147483647 160413 232 | 0.000 % |
161.56/161.71 c | 161686 | 15608 66711 202610 | 2147483647 161686 233 | 0.000 % |
163.55/163.75 c | 163087 | 15608 66711 202610 | 2147483647 163087 234 | 0.000 % |
165.75/165.97 c | 164628 | 15608 66711 202610 | 2147483647 164628 234 | 0.000 % |
168.05/168.24 c | 166322 | 15608 66711 202610 | 2147483647 166322 234 | 0.000 % |
168.25/168.41 c | 166424 | 15608 66711 202610 | 2147483647 166424 234 | 0.000 % |
168.45/168.60 c | 166535 | 15608 66711 202610 | 2147483647 166535 234 | 0.000 % |
168.65/168.82 c | 166656 | 15608 66711 202610 | 2147483647 166656 234 | 0.000 % |
168.85/169.06 c | 166789 | 15608 66711 202610 | 2147483647 166789 234 | 0.000 % |
169.15/169.31 c | 166936 | 15608 66711 202610 | 2147483647 166936 234 | 0.000 % |
169.35/169.59 c | 167097 | 15608 66711 202610 | 2147483647 167097 234 | 0.000 % |
169.64/169.90 c | 167273 | 15608 66711 202610 | 2147483647 167273 234 | 0.000 % |
170.05/170.24 c | 167469 | 15608 66711 202610 | 2147483647 167469 233 | 0.000 % |
170.45/170.61 c | 167681 | 15608 66711 202610 | 2147483647 167681 233 | 0.000 % |
170.75/170.96 c | 167915 | 15608 66711 202610 | 2147483647 167915 233 | 0.000 % |
171.15/171.35 c | 168171 | 15608 66711 202610 | 2147483647 168171 233 | 0.000 % |
171.55/171.74 c | 168452 | 15608 66711 202610 | 2147483647 168452 233 | 0.000 % |
172.05/172.24 c | 168763 | 15608 66711 202610 | 2147483647 168763 233 | 0.000 % |
172.55/172.75 c | 169102 | 15608 66711 202610 | 2147483647 169102 233 | 0.000 % |
173.05/173.29 c | 169474 | 15608 66711 202610 | 2147483647 169474 233 | 0.000 % |
173.65/173.87 c | 169885 | 15608 66711 202610 | 2147483647 169885 233 | 0.000 % |
174.35/174.57 c | 170336 | 15608 66711 202610 | 2147483647 170336 233 | 0.000 % |
175.15/175.31 c | 170829 | 15608 66711 202610 | 2147483647 170829 233 | 0.000 % |
175.85/176.10 c | 171371 | 15608 66711 202610 | 2147483647 171371 233 | 0.000 % |
176.85/177.02 c | 171967 | 15608 66711 202610 | 2147483647 171967 233 | 0.000 % |
177.84/178.02 c | 172623 | 15608 66711 202610 | 2147483647 172623 233 | 0.000 % |
178.74/178.95 c | 173343 | 15608 66711 202610 | 2147483647 173343 233 | 0.000 % |
179.94/180.13 c | 174137 | 15608 66711 202610 | 2147483647 174137 233 | 0.000 % |
181.04/181.22 c | 175009 | 15608 66711 202610 | 2147483647 175009 233 | 0.000 % |
182.45/182.66 c | 175967 | 15608 66711 202610 | 2147483647 175967 233 | 0.000 % |
183.84/184.09 c | 177022 | 15608 66711 202610 | 2147483647 177022 234 | 0.000 % |
185.64/185.81 c | 178180 | 15608 66711 202610 | 2147483647 178180 234 | 0.000 % |
187.54/187.72 c | 179453 | 15608 66711 202610 | 2147483647 179453 235 | 0.000 % |
189.64/189.82 c | 180853 | 15608 66711 202610 | 2147483647 180853 235 | 0.000 % |
191.74/191.94 c | 182395 | 15608 66711 202610 | 2147483647 182395 235 | 0.000 % |
194.24/194.44 c | 184091 | 15608 66711 202610 | 2147483647 184091 235 | 0.000 % |
197.04/197.24 c | 185954 | 15608 66711 202610 | 2147483647 185954 236 | 0.000 % |
197.24/197.43 c | 186055 | 15608 66711 202610 | 2147483647 186055 236 | 0.000 % |
197.44/197.67 c | 186166 | 15608 66711 202610 | 2147483647 186166 236 | 0.000 % |
197.74/197.90 c | 186288 | 15608 66711 202610 | 2147483647 186288 236 | 0.000 % |
197.94/198.13 c | 186421 | 15608 66711 202610 | 2147483647 186421 236 | 0.000 % |
198.24/198.40 c | 186567 | 15608 66711 202610 | 2147483647 186567 236 | 0.000 % |
198.54/198.73 c | 186728 | 15608 66711 202610 | 2147483647 186728 236 | 0.000 % |
198.84/199.06 c | 186904 | 15608 66711 202610 | 2147483647 186904 235 | 0.000 % |
199.14/199.40 c | 187097 | 15608 66711 202610 | 2147483647 187097 235 | 0.000 % |
199.54/199.75 c | 187311 | 15608 66711 202610 | 2147483647 187311 235 | 0.000 % |
199.94/200.15 c | 187545 | 15608 66711 202610 | 2147483647 187545 235 | 0.000 % |
200.33/200.59 c | 187802 | 15608 66711 202610 | 2147483647 187802 235 | 0.000 % |
200.83/201.09 c | 188083 | 15608 66711 202610 | 2147483647 188083 235 | 0.000 % |
201.43/201.62 c | 188393 | 15608 66711 202610 | 2147483647 188393 235 | 0.000 % |
201.93/202.18 c | 188732 | 15608 66711 202610 | 2147483647 188732 235 | 0.000 % |
202.54/202.79 c | 189106 | 15608 66711 202610 | 2147483647 189106 235 | 0.000 % |
203.24/203.41 c | 189515 | 15608 66711 202610 | 2147483647 189515 235 | 0.000 % |
203.93/204.12 c | 189967 | 15608 66711 202610 | 2147483647 189967 235 | 0.000 % |
204.63/204.87 c | 190460 | 15608 66711 202610 | 2147483647 190460 235 | 0.000 % |
205.53/205.73 c | 191002 | 15608 66711 202610 | 2147483647 191002 235 | 0.000 % |
206.53/206.72 c | 191599 | 15608 66711 202610 | 2147483647 191599 235 | 0.000 % |
207.53/207.76 c | 192255 | 15608 66711 202610 | 2147483647 192255 235 | 0.000 % |
208.63/208.87 c | 192975 | 15608 66711 202610 | 2147483647 192975 235 | 0.000 % |
209.94/210.16 c | 193771 | 15608 66711 202610 | 2147483647 193771 235 | 0.000 % |
211.23/211.48 c | 194642 | 15608 66711 202610 | 2147483647 194642 235 | 0.000 % |
212.73/212.93 c | 195600 | 15608 66711 202610 | 2147483647 195600 235 | 0.000 % |
214.42/214.61 c | 196654 | 15608 66711 202610 | 2147483647 196654 235 | 0.000 % |
216.23/216.44 c | 197813 | 15608 66711 202610 | 2147483647 197813 235 | 0.000 % |
218.22/218.40 c | 199086 | 15608 66711 202610 | 2147483647 199086 236 | 0.000 % |
220.42/220.61 c | 200486 | 15608 66711 202610 | 2147483647 200486 236 | 0.000 % |
222.82/223.08 c | 202026 | 15608 66711 202610 | 2147483647 202026 236 | 0.000 % |
225.53/225.73 c | 203720 | 15608 66711 202610 | 2147483647 203720 236 | 0.000 % |
228.53/228.72 c | 205583 | 15608 66711 202610 | 2147483647 205583 236 | 0.000 % |
231.62/231.84 c | 207633 | 15608 66711 202610 | 2147483647 207633 237 | 0.000 % |
231.83/232.03 c | 207734 | 15608 66711 202610 | 2147483647 207734 237 | 0.000 % |
232.02/232.22 c | 207845 | 15608 66711 202610 | 2147483647 207845 237 | 0.000 % |
232.22/232.46 c | 207966 | 15608 66711 202610 | 2147483647 207966 237 | 0.000 % |
232.52/232.73 c | 208099 | 15608 66711 202610 | 2147483647 208099 237 | 0.000 % |
232.82/233.03 c | 208245 | 15608 66711 202610 | 2147483647 208245 237 | 0.000 % |
233.12/233.36 c | 208406 | 15608 66711 202610 | 2147483647 208406 237 | 0.000 % |
233.42/233.66 c | 208582 | 15608 66711 202610 | 2147483647 208582 236 | 0.000 % |
233.82/234.04 c | 208775 | 15608 66711 202610 | 2147483647 208775 236 | 0.000 % |
234.22/234.44 c | 208987 | 15608 66711 202610 | 2147483647 208987 236 | 0.000 % |
234.62/234.84 c | 209220 | 15608 66711 202610 | 2147483647 209220 236 | 0.000 % |
235.12/235.30 c | 209476 | 15608 66711 202610 | 2147483647 209476 236 | 0.000 % |
235.52/235.78 c | 209758 | 15608 66711 202610 | 2147483647 209758 236 | 0.000 % |
236.12/236.32 c | 210067 | 15608 66711 202610 | 2147483647 210067 236 | 0.000 % |
236.72/236.96 c | 210406 | 15608 66711 202610 | 2147483647 210406 236 | 0.000 % |
237.42/237.62 c | 210778 | 15608 66711 202610 | 2147483647 210778 236 | 0.000 % |
238.02/238.30 c | 211188 | 15608 66711 202610 | 2147483647 211188 236 | 0.000 % |
238.81/239.08 c | 211637 | 15608 66711 202610 | 2147483647 211637 236 | 0.000 % |
239.72/239.91 c | 212130 | 15608 66711 202610 | 2147483647 212130 236 | 0.000 % |
240.52/240.70 c | 212672 | 15608 66711 202610 | 2147483647 212672 236 | 0.000 % |
241.52/241.71 c | 213268 | 15608 66711 202610 | 2147483647 213268 236 | 0.000 % |
242.62/242.86 c | 213923 | 15608 66711 202610 | 2147483647 213923 237 | 0.000 % |
243.81/244.01 c | 214644 | 15608 66711 202610 | 2147483647 214644 237 | 0.000 % |
245.12/245.31 c | 215437 | 15608 66711 202610 | 2147483647 215437 237 | 0.000 % |
246.52/246.75 c | 216310 | 15608 66711 202610 | 2147483647 216310 237 | 0.000 % |
248.21/248.44 c | 217268 | 15608 66711 202610 | 2147483647 217268 237 | 0.000 % |
250.01/250.21 c | 218323 | 15608 66711 202610 | 2147483647 218323 237 | 0.000 % |
251.91/252.19 c | 219483 | 15608 66711 202610 | 2147483647 219483 237 | 0.000 % |
254.11/254.30 c | 220758 | 15608 66711 202610 | 2147483647 220758 237 | 0.000 % |
256.41/256.60 c | 222159 | 15608 66711 202610 | 2147483647 222159 237 | 0.000 % |
258.81/259.08 c | 223699 | 15608 66711 202610 | 2147483647 223699 237 | 0.000 % |
261.61/261.83 c | 225393 | 15608 66711 202610 | 2147483647 225393 238 | 0.000 % |
264.71/265.00 c | 227258 | 15608 66711 202610 | 2147483647 227258 238 | 0.000 % |
268.21/268.46 c | 229308 | 15608 66711 202610 | 2147483647 229308 239 | 0.000 % |
272.21/272.42 c | 231561 | 15608 66711 202610 | 2147483647 231561 239 | 0.000 % |
272.41/272.67 c | 231662 | 15608 66711 202610 | 2147483647 231662 239 | 0.000 % |
272.70/272.93 c | 231773 | 15608 66711 202610 | 2147483647 231773 239 | 0.000 % |
272.90/273.17 c | 231894 | 15608 66711 202610 | 2147483647 231894 239 | 0.000 % |
273.20/273.47 c | 232028 | 15608 66711 202610 | 2147483647 232028 239 | 0.000 % |
273.61/273.81 c | 232174 | 15608 66711 202610 | 2147483647 232174 239 | 0.000 % |
273.90/274.15 c | 232335 | 15608 66711 202610 | 2147483647 232335 239 | 0.000 % |
274.30/274.50 c | 232511 | 15608 66711 202610 | 2147483647 232511 239 | 0.000 % |
274.60/274.89 c | 232704 | 15608 66711 202610 | 2147483647 232704 239 | 0.000 % |
275.10/275.30 c | 232916 | 15608 66711 202610 | 2147483647 232916 239 | 0.000 % |
275.50/275.77 c | 233149 | 15608 66711 202610 | 2147483647 233149 239 | 0.000 % |
276.00/276.23 c | 233405 | 15608 66711 202610 | 2147483647 233405 239 | 0.000 % |
276.50/276.77 c | 233688 | 15608 66711 202610 | 2147483647 233688 239 | 0.000 % |
277.10/277.39 c | 233998 | 15608 66711 202610 | 2147483647 233998 239 | 0.000 % |
277.70/277.98 c | 234338 | 15608 66711 202610 | 2147483647 234338 239 | 0.000 % |
278.41/278.64 c | 234713 | 15608 66711 202610 | 2147483647 234713 239 | 0.000 % |
279.11/279.39 c | 235123 | 15608 66711 202610 | 2147483647 235123 239 | 0.000 % |
280.00/280.23 c | 235573 | 15608 66711 202610 | 2147483647 235573 239 | 0.000 % |
280.90/281.18 c | 236067 | 15608 66711 202610 | 2147483647 236067 239 | 0.000 % |
282.00/282.20 c | 236613 | 15608 66711 202610 | 2147483647 236613 239 | 0.000 % |
283.00/283.26 c | 237211 | 15608 66711 202610 | 2147483647 237211 239 | 0.000 % |
284.20/284.48 c | 237868 | 15608 66711 202610 | 2147483647 237868 239 | 0.000 % |
285.50/285.75 c | 238592 | 15608 66711 202610 | 2147483647 238592 239 | 0.000 % |
286.90/287.18 c | 239385 | 15608 66711 202610 | 2147483647 239385 239 | 0.000 % |
288.50/288.75 c | 240256 | 15608 66711 202610 | 2147483647 240256 239 | 0.000 % |
290.20/290.44 c | 241214 | 15608 66711 202610 | 2147483647 241214 239 | 0.000 % |
292.10/292.33 c | 242269 | 15608 66711 202610 | 2147483647 242269 239 | 0.000 % |
293.99/294.21 c | 243427 | 15608 66711 202610 | 2147483647 243427 239 | 0.000 % |
296.08/296.34 c | 244701 | 15608 66711 202610 | 2147483647 244701 240 | 0.000 % |
298.59/298.86 c | 246101 | 15608 66711 202610 | 2147483647 246101 240 | 0.000 % |
301.58/301.86 c | 247643 | 15608 66711 202610 | 2147483647 247643 240 | 0.000 % |
304.29/304.60 c | 249337 | 15608 66711 202610 | 2147483647 249337 240 | 0.000 % |
307.68/307.96 c | 251201 | 15608 66711 202610 | 2147483647 251201 241 | 0.000 % |
311.18/311.46 c | 253252 | 15608 66711 202610 | 2147483647 253252 241 | 0.000 % |
315.18/315.44 c | 255506 | 15608 66711 202610 | 2147483647 255506 241 | 0.000 % |
319.68/319.91 c | 257985 | 15608 66711 202610 | 2147483647 257985 242 | 0.000 % |
319.89/320.13 c | 258086 | 15608 66711 202610 | 2147483647 258086 242 | 0.000 % |
320.18/320.42 c | 258197 | 15608 66711 202610 | 2147483647 258197 242 | 0.000 % |
320.48/320.70 c | 258321 | 15608 66711 202610 | 2147483647 258321 242 | 0.000 % |
320.68/320.99 c | 258455 | 15608 66711 202610 | 2147483647 258455 242 | 0.000 % |
320.99/321.29 c | 258601 | 15608 66711 202610 | 2147483647 258601 242 | 0.000 % |
321.38/321.63 c | 258761 | 15608 66711 202610 | 2147483647 258761 242 | 0.000 % |
321.78/322.03 c | 258937 | 15608 66711 202610 | 2147483647 258937 242 | 0.000 % |
322.18/322.46 c | 259130 | 15608 66711 202610 | 2147483647 259130 242 | 0.000 % |
322.68/322.90 c | 259342 | 15608 66711 202610 | 2147483647 259342 242 | 0.000 % |
323.08/323.37 c | 259575 | 15608 66711 202610 | 2147483647 259575 242 | 0.000 % |
323.68/323.91 c | 259832 | 15608 66711 202610 | 2147483647 259832 242 | 0.000 % |
324.28/324.54 c | 260114 | 15608 66711 202610 | 2147483647 260114 242 | 0.000 % |
324.88/325.19 c | 260427 | 15608 66711 202610 | 2147483647 260427 242 | 0.000 % |
325.58/325.88 c | 260766 | 15608 66711 202610 | 2147483647 260766 241 | 0.000 % |
326.38/326.63 c | 261139 | 15608 66711 202610 | 2147483647 261139 241 | 0.000 % |
327.17/327.42 c | 261549 | 15608 66711 202610 | 2147483647 261549 241 | 0.000 % |
328.08/328.39 c | 261998 | 15608 66711 202610 | 2147483647 261998 241 | 0.000 % |
329.08/329.39 c | 262491 | 15608 66711 202610 | 2147483647 262491 241 | 0.000 % |
330.17/330.41 c | 263033 | 15608 66711 202610 | 2147483647 263033 241 | 0.000 % |
331.37/331.63 c | 263630 | 15608 66711 202610 | 2147483647 263630 241 | 0.000 % |
332.57/332.81 c | 264286 | 15608 66711 202610 | 2147483647 264286 241 | 0.000 % |
333.98/334.28 c | 265007 | 15608 66711 202610 | 2147483647 265007 241 | 0.000 % |
335.58/335.85 c | 265800 | 15608 66711 202610 | 2147483647 265800 241 | 0.000 % |
337.27/337.56 c | 266671 | 15608 66711 202610 | 2147483647 266671 241 | 0.000 % |
339.16/339.44 c | 267631 | 15608 66711 202610 | 2147483647 267631 241 | 0.000 % |
341.06/341.39 c | 268684 | 15608 66711 202610 | 2147483647 268684 242 | 0.000 % |
343.37/343.65 c | 269842 | 15608 66711 202610 | 2147483647 269842 242 | 0.000 % |
345.86/346.14 c | 271115 | 15608 66711 202610 | 2147483647 271115 242 | 0.000 % |
348.27/348.58 c | 272515 | 15608 66711 202610 | 2147483647 272515 242 | 0.000 % |
351.26/351.51 c | 274055 | 15608 66711 202610 | 2147483647 274055 242 | 0.000 % |
354.36/354.68 c | 275750 | 15608 66711 202610 | 2147483647 275750 242 | 0.000 % |
357.86/358.17 c | 277613 | 15608 66711 202610 | 2147483647 277613 242 | 0.000 % |
361.86/362.10 c | 279663 | 15608 66711 202610 | 2147483647 279663 242 | 0.000 % |
366.16/366.47 c | 281916 | 15608 66711 202610 | 2147483647 281916 243 | 0.000 % |
370.95/371.21 c | 284394 | 15608 66711 202610 | 2147483647 284394 243 | 0.000 % |
376.05/376.31 c | 287119 | 15608 66711 202610 | 2147483647 287119 243 | 0.000 % |
376.25/376.56 c | 287220 | 15608 66711 202610 | 2147483647 287220 243 | 0.000 % |
376.55/376.81 c | 287330 | 15608 66711 202610 | 2147483647 287330 243 | 0.000 % |
376.75/377.07 c | 287451 | 15608 66711 202610 | 2147483647 287451 243 | 0.000 % |
377.15/377.40 c | 287584 | 15608 66711 202610 | 2147483647 287584 243 | 0.000 % |
377.45/377.78 c | 287730 | 15608 66711 202610 | 2147483647 287730 243 | 0.000 % |
377.95/378.22 c | 287891 | 15608 66711 202610 | 2147483647 287891 243 | 0.000 % |
378.35/378.61 c | 288067 | 15608 66711 202610 | 2147483647 288067 243 | 0.000 % |
378.86/379.12 c | 288261 | 15608 66711 202610 | 2147483647 288261 243 | 0.000 % |
379.36/379.65 c | 288476 | 15608 66711 202610 | 2147483647 288476 243 | 0.000 % |
379.96/380.25 c | 288711 | 15608 66711 202610 | 2147483647 288711 243 | 0.000 % |
380.56/380.84 c | 288970 | 15608 66711 202610 | 2147483647 288970 243 | 0.000 % |
381.06/381.39 c | 289251 | 15608 66711 202610 | 2147483647 289251 243 | 0.000 % |
381.75/382.08 c | 289562 | 15608 66711 202610 | 2147483647 289562 243 | 0.000 % |
382.55/382.84 c | 289901 | 15608 66711 202610 | 2147483647 289901 243 | 0.000 % |
383.35/383.66 c | 290273 | 15608 66711 202610 | 2147483647 290273 243 | 0.000 % |
384.24/384.58 c | 290682 | 15608 66711 202610 | 2147483647 290682 243 | 0.000 % |
385.35/385.60 c | 291131 | 15608 66711 202610 | 2147483647 291131 243 | 0.000 % |
386.35/386.67 c | 291624 | 15608 66711 202610 | 2147483647 291624 243 | 0.000 % |
387.55/387.89 c | 292167 | 15608 66711 202610 | 2147483647 292167 243 | 0.000 % |
388.84/389.12 c | 292763 | 15608 66711 202610 | 2147483647 292763 243 | 0.000 % |
390.14/390.42 c | 293418 | 15608 66711 202610 | 2147483647 293418 243 | 0.000 % |
391.55/391.89 c | 294138 | 15608 66711 202610 | 2147483647 294138 243 | 0.000 % |
393.15/393.45 c | 294930 | 15608 66711 202610 | 2147483647 294930 243 | 0.000 % |
394.84/395.17 c | 295803 | 15608 66711 202610 | 2147483647 295803 243 | 0.000 % |
396.74/397.09 c | 296761 | 15608 66711 202610 | 2147483647 296761 243 | 0.000 % |
399.05/399.34 c | 297816 | 15608 66711 202610 | 2147483647 297816 243 | 0.000 % |
401.34/401.64 c | 298974 | 15608 66711 202610 | 2147483647 298974 243 | 0.000 % |
403.94/404.23 c | 300247 | 15608 66711 202610 | 2147483647 300247 243 | 0.000 % |
406.75/407.02 c | 301649 | 15608 66711 202610 | 2147483647 301649 244 | 0.000 % |
409.95/410.27 c | 303191 | 15608 66711 202610 | 2147483647 303191 244 | 0.000 % |
413.25/413.53 c | 304886 | 15608 66711 202610 | 2147483647 304886 244 | 0.000 % |
416.94/417.24 c | 306752 | 15608 66711 202610 | 2147483647 306752 244 | 0.000 % |
421.23/421.59 c | 308801 | 15608 66711 202610 | 2147483647 308801 244 | 0.000 % |
425.84/426.15 c | 311054 | 15608 66711 202610 | 2147483647 311054 245 | 0.000 % |
430.83/431.19 c | 313532 | 15608 66711 202610 | 2147483647 313532 245 | 0.000 % |
436.43/436.75 c | 316257 | 15608 66711 202610 | 2147483647 316257 245 | 0.000 % |
442.73/443.09 c | 319254 | 15608 66711 202610 | 2147483647 319254 246 | 0.000 % |
443.03/443.35 c | 319355 | 15608 66711 202610 | 2147483647 319355 246 | 0.000 % |
443.33/443.66 c | 319467 | 15608 66711 202610 | 2147483647 319467 246 | 0.000 % |
443.73/444.08 c | 319589 | 15608 66711 202610 | 2147483647 319589 246 | 0.000 % |
444.13/444.48 c | 319722 | 15608 66711 202610 | 2147483647 319722 246 | 0.000 % |
444.53/444.88 c | 319868 | 15608 66711 202610 | 2147483647 319868 246 | 0.000 % |
444.93/445.29 c | 320028 | 15608 66711 202610 | 2147483647 320028 246 | 0.000 % |
445.43/445.78 c | 320205 | 15608 66711 202610 | 2147483647 320205 245 | 0.000 % |
445.93/446.22 c | 320400 | 15608 66711 202610 | 2147483647 320400 245 | 0.000 % |
446.43/446.75 c | 320613 | 15608 66711 202610 | 2147483647 320613 245 | 0.000 % |
447.03/447.35 c | 320846 | 15608 66711 202610 | 2147483647 320846 245 | 0.000 % |
447.62/447.93 c | 321103 | 15608 66711 202610 | 2147483647 321103 245 | 0.000 % |
448.22/448.54 c | 321384 | 15608 66711 202610 | 2147483647 321384 245 | 0.000 % |
449.02/449.30 c | 321694 | 15608 66711 202610 | 2147483647 321694 245 | 0.000 % |
449.72/450.10 c | 322034 | 15608 66711 202610 | 2147483647 322034 245 | 0.000 % |
450.63/450.96 c | 322408 | 15608 66711 202610 | 2147483647 322408 245 | 0.000 % |
451.62/451.97 c | 322819 | 15608 66711 202610 | 2147483647 322819 245 | 0.000 % |
452.72/453.07 c | 323268 | 15608 66711 202610 | 2147483647 323268 245 | 0.000 % |
453.93/454.24 c | 323762 | 15608 66711 202610 | 2147483647 323762 245 | 0.000 % |
455.22/455.54 c | 324305 | 15608 66711 202610 | 2147483647 324305 245 | 0.000 % |
456.52/456.87 c | 324903 | 15608 66711 202610 | 2147483647 324903 245 | 0.000 % |
458.02/458.37 c | 325560 | 15608 66711 202610 | 2147483647 325560 245 | 0.000 % |
459.72/460.03 c | 326282 | 15608 66711 202610 | 2147483647 326282 245 | 0.000 % |
461.52/461.85 c | 327074 | 15608 66711 202610 | 2147483647 327074 246 | 0.000 % |
463.42/463.76 c | 327946 | 15608 66711 202610 | 2147483647 327946 246 | 0.000 % |
465.52/465.88 c | 328904 | 15608 66711 202610 | 2147483647 328904 246 | 0.000 % |
468.01/468.33 c | 329957 | 15608 66711 202610 | 2147483647 329957 246 | 0.000 % |
470.61/470.94 c | 331117 | 15608 66711 202610 | 2147483647 331117 246 | 0.000 % |
473.42/473.75 c | 332390 | 15608 66711 202610 | 2147483647 332390 246 | 0.000 % |
476.21/476.56 c | 333791 | 15608 66711 202610 | 2147483647 333791 246 | 0.000 % |
479.51/479.88 c | 335334 | 15608 66711 202610 | 2147483647 335334 246 | 0.000 % |
483.41/483.73 c | 337029 | 15608 66711 202610 | 2147483647 337029 246 | 0.000 % |
487.61/487.93 c | 338893 | 15608 66711 202610 | 2147483647 338893 246 | 0.000 % |
492.00/492.38 c | 340942 | 15608 66711 202610 | 2147483647 340942 246 | 0.000 % |
497.01/497.32 c | 343197 | 15608 66711 202610 | 2147483647 343197 246 | 0.000 % |
502.60/502.93 c | 345675 | 15608 66711 202610 | 2147483647 345675 247 | 0.000 % |
508.39/508.78 c | 348400 | 15608 66711 202610 | 2147483647 348400 247 | 0.000 % |
515.20/515.53 c | 351397 | 15608 66711 202610 | 2147483647 351397 247 | 0.000 % |
522.39/522.70 c | 354694 | 15608 66711 202610 | 2147483647 354694 248 | 0.000 % |
522.69/523.00 c | 354795 | 15608 66711 202610 | 2147483647 354795 248 | 0.000 % |
522.99/523.30 c | 354905 | 15608 66711 202610 | 2147483647 354905 248 | 0.000 % |
523.29/523.64 c | 355026 | 15608 66711 202610 | 2147483647 355026 248 | 0.000 % |
523.68/524.08 c | 355160 | 15608 66711 202610 | 2147483647 355160 248 | 0.000 % |
524.08/524.46 c | 355307 | 15608 66711 202610 | 2147483647 355307 248 | 0.000 % |
524.58/524.90 c | 355467 | 15608 66711 202610 | 2147483647 355467 248 | 0.000 % |
525.08/525.45 c | 355645 | 15608 66711 202610 | 2147483647 355645 248 | 0.000 % |
525.58/525.99 c | 355838 | 15608 66711 202610 | 2147483647 355838 248 | 0.000 % |
526.28/526.61 c | 356050 | 15608 66711 202610 | 2147483647 356050 248 | 0.000 % |
526.98/527.31 c | 356283 | 15608 66711 202610 | 2147483647 356283 248 | 0.000 % |
527.58/527.98 c | 356541 | 15608 66711 202610 | 2147483647 356541 248 | 0.000 % |
528.28/528.68 c | 356823 | 15608 66711 202610 | 2147483647 356823 248 | 0.000 % |
529.19/529.56 c | 357132 | 15608 66711 202610 | 2147483647 357132 248 | 0.000 % |
529.99/530.32 c | 357471 | 15608 66711 202610 | 2147483647 357471 248 | 0.000 % |
530.89/531.29 c | 357843 | 15608 66711 202610 | 2147483647 357843 248 | 0.000 % |
531.99/532.35 c | 358252 | 15608 66711 202610 | 2147483647 358252 248 | 0.000 % |
533.19/533.51 c | 358701 | 15608 66711 202610 | 2147483647 358701 248 | 0.000 % |
534.28/534.66 c | 359194 | 15608 66711 202610 | 2147483647 359194 248 | 0.000 % |
535.68/536.05 c | 359736 | 15608 66711 202610 | 2147483647 359736 248 | 0.000 % |
537.18/537.53 c | 360333 | 15608 66711 202610 | 2147483647 360333 248 | 0.000 % |
538.78/539.17 c | 360990 | 15608 66711 202610 | 2147483647 360990 248 | 0.000 % |
540.48/540.84 c | 361711 | 15608 66711 202610 | 2147483647 361711 248 | 0.000 % |
542.27/542.64 c | 362503 | 15608 66711 202610 | 2147483647 362503 248 | 0.000 % |
544.48/544.85 c | 363374 | 15608 66711 202610 | 2147483647 363374 248 | 0.000 % |
546.78/547.16 c | 364332 | 15608 66711 202610 | 2147483647 364332 248 | 0.000 % |
549.28/549.64 c | 365385 | 15608 66711 202610 | 2147483647 365385 248 | 0.000 % |
551.88/552.21 c | 366543 | 15608 66711 202610 | 2147483647 366543 248 | 0.000 % |
554.97/555.31 c | 367816 | 15608 66711 202610 | 2147483647 367816 248 | 0.000 % |
557.98/558.38 c | 369219 | 15608 66711 202610 | 2147483647 369219 248 | 0.000 % |
561.98/562.38 c | 370759 | 15608 66711 202610 | 2147483647 370759 248 | 0.000 % |
565.87/566.20 c | 372455 | 15608 66711 202610 | 2147483647 372455 249 | 0.000 % |
570.27/570.67 c | 374319 | 15608 66711 202610 | 2147483647 374319 249 | 0.000 % |
575.07/575.47 c | 376370 | 15608 66711 202610 | 2147483647 376370 249 | 0.000 % |
580.17/580.58 c | 378624 | 15608 66711 202610 | 2147483647 378624 250 | 0.000 % |
586.27/586.68 c | 381103 | 15608 66711 202610 | 2147483647 381103 250 | 0.000 % |
592.66/593.10 c | 383828 | 15608 66711 202610 | 2147483647 383828 251 | 0.000 % |
599.65/600.03 c | 386826 | 15608 66711 202610 | 2147483647 386826 251 | 0.000 % |
607.26/607.66 c | 390123 | 15608 66711 202610 | 2147483647 390123 251 | 0.000 % |
616.23/616.65 c | 393749 | 15608 66711 202610 | 2147483647 393749 251 | 0.000 % |
616.53/616.96 c | 393850 | 15608 66711 202610 | 2147483647 393850 251 | 0.000 % |
616.93/617.35 c | 393960 | 15608 66711 202610 | 2147483647 393960 251 | 0.000 % |
617.33/617.75 c | 394081 | 15608 66711 202610 | 2147483647 394081 251 | 0.000 % |
617.83/618.27 c | 394214 | 15608 66711 202610 | 2147483647 394214 251 | 0.000 % |
618.23/618.67 c | 394360 | 15608 66711 202610 | 2147483647 394360 251 | 0.000 % |
618.73/619.15 c | 394520 | 15608 66711 202610 | 2147483647 394520 251 | 0.000 % |
619.43/619.81 c | 394696 | 15608 66711 202610 | 2147483647 394696 251 | 0.000 % |
620.03/620.40 c | 394889 | 15608 66711 202610 | 2147483647 394889 251 | 0.000 % |
620.63/621.07 c | 395101 | 15608 66711 202610 | 2147483647 395101 251 | 0.000 % |
621.23/621.69 c | 395334 | 15608 66711 202610 | 2147483647 395334 251 | 0.000 % |
622.03/622.42 c | 395590 | 15608 66711 202610 | 2147483647 395590 251 | 0.000 % |
622.83/623.26 c | 395873 | 15608 66711 202610 | 2147483647 395873 251 | 0.000 % |
623.73/624.13 c | 396183 | 15608 66711 202610 | 2147483647 396183 251 | 0.000 % |
624.74/625.15 c | 396522 | 15608 66711 202610 | 2147483647 396522 251 | 0.000 % |
625.83/626.25 c | 396894 | 15608 66711 202610 | 2147483647 396894 251 | 0.000 % |
627.03/627.41 c | 397305 | 15608 66711 202610 | 2147483647 397305 251 | 0.000 % |
628.33/628.71 c | 397754 | 15608 66711 202610 | 2147483647 397754 251 | 0.000 % |
629.53/629.97 c | 398247 | 15608 66711 202610 | 2147483647 398247 251 | 0.000 % |
630.93/631.36 c | 398789 | 15608 66711 202610 | 2147483647 398789 251 | 0.000 % |
632.53/632.99 c | 399388 | 15608 66711 202610 | 2147483647 399388 251 | 0.000 % |
634.43/634.81 c | 400043 | 15608 66711 202610 | 2147483647 400043 251 | 0.000 % |
636.43/636.84 c | 400765 | 15608 66711 202610 | 2147483647 400765 251 | 0.000 % |
638.53/638.95 c | 401557 | 15608 66711 202610 | 2147483647 401557 251 | 0.000 % |
640.83/641.28 c | 402428 | 15608 66711 202610 | 2147483647 402428 251 | 0.000 % |
643.43/643.80 c | 403389 | 15608 66711 202610 | 2147483647 403389 251 | 0.000 % |
645.92/646.32 c | 404442 | 15608 66711 202610 | 2147483647 404442 251 | 0.000 % |
649.13/649.50 c | 405600 | 15608 66711 202610 | 2147483647 405600 251 | 0.000 % |
652.43/652.82 c | 406875 | 15608 66711 202610 | 2147483647 406875 251 | 0.000 % |
656.02/656.47 c | 408275 | 15608 66711 202610 | 2147483647 408275 251 | 0.000 % |
659.91/660.38 c | 409816 | 15608 66711 202610 | 2147483647 409816 251 | 0.000 % |
664.11/664.53 c | 411513 | 15608 66711 202610 | 2147483647 411513 251 | 0.000 % |
668.81/669.29 c | 413376 | 15608 66711 202610 | 2147483647 413376 251 | 0.000 % |
673.92/674.35 c | 415426 | 15608 66711 202610 | 2147483647 415426 251 | 0.000 % |
679.51/679.95 c | 417681 | 15608 66711 202610 | 2147483647 417681 252 | 0.000 % |
685.31/685.79 c | 420159 | 15608 66711 202610 | 2147483647 420159 252 | 0.000 % |
691.91/692.32 c | 422884 | 15608 66711 202610 | 2147483647 422884 252 | 0.000 % |
699.50/699.92 c | 425881 | 15608 66711 202610 | 2147483647 425881 252 | 0.000 % |
707.90/708.35 c | 429178 | 15608 66711 202610 | 2147483647 429178 253 | 0.000 % |
717.09/717.56 c | 432805 | 15608 66711 202610 | 2147483647 432805 253 | 0.000 % |
727.09/727.57 c | 436794 | 15608 66711 202610 | 2147483647 436794 253 | 0.000 % |
727.49/727.94 c | 436895 | 15608 66711 202610 | 2147483647 436895 253 | 0.000 % |
727.89/728.38 c | 437005 | 15608 66711 202610 | 2147483647 437005 253 | 0.000 % |
728.49/728.97 c | 437127 | 15608 66711 202610 | 2147483647 437127 253 | 0.000 % |
728.99/729.41 c | 437260 | 15608 66711 202610 | 2147483647 437260 253 | 0.000 % |
729.49/729.92 c | 437406 | 15608 66711 202610 | 2147483647 437406 253 | 0.000 % |
730.00/730.46 c | 437567 | 15608 66711 202610 | 2147483647 437567 253 | 0.000 % |
730.69/731.15 c | 437743 | 15608 66711 202610 | 2147483647 437743 253 | 0.000 % |
731.29/731.77 c | 437938 | 15608 66711 202610 | 2147483647 437938 253 | 0.000 % |
731.99/732.43 c | 438150 | 15608 66711 202610 | 2147483647 438150 253 | 0.000 % |
732.69/733.12 c | 438383 | 15608 66711 202610 | 2147483647 438383 253 | 0.000 % |
733.49/733.93 c | 438641 | 15608 66711 202610 | 2147483647 438641 253 | 0.000 % |
734.39/734.80 c | 438922 | 15608 66711 202610 | 2147483647 438922 253 | 0.000 % |
735.39/735.81 c | 439232 | 15608 66711 202610 | 2147483647 439232 253 | 0.000 % |
736.39/736.86 c | 439571 | 15608 66711 202610 | 2147483647 439571 253 | 0.000 % |
737.60/738.02 c | 439943 | 15608 66711 202610 | 2147483647 439943 253 | 0.000 % |
738.79/739.25 c | 440353 | 15608 66711 202610 | 2147483647 440353 253 | 0.000 % |
740.09/740.55 c | 440802 | 15608 66711 202610 | 2147483647 440802 253 | 0.000 % |
741.59/742.05 c | 441295 | 15608 66711 202610 | 2147483647 441295 253 | 0.000 % |
743.18/743.65 c | 441838 | 15608 66711 202610 | 2147483647 441838 253 | 0.000 % |
744.97/745.47 c | 442434 | 15608 66711 202610 | 2147483647 442434 253 | 0.000 % |
746.98/747.45 c | 443089 | 15608 66711 202610 | 2147483647 443089 253 | 0.000 % |
749.08/749.56 c | 443809 | 15608 66711 202610 | 2147483647 443809 253 | 0.000 % |
751.28/751.76 c | 444601 | 15608 66711 202610 | 2147483647 444601 253 | 0.000 % |
753.68/754.10 c | 445473 | 15608 66711 202610 | 2147483647 445473 253 | 0.000 % |
756.48/756.98 c | 446432 | 15608 66711 202610 | 2147483647 446432 253 | 0.000 % |
759.38/759.89 c | 447485 | 15608 66711 202610 | 2147483647 447485 253 | 0.000 % |
762.67/763.10 c | 448644 | 15608 66711 202610 | 2147483647 448644 253 | 0.000 % |
766.17/766.68 c | 449917 | 15608 66711 202610 | 2147483647 449917 253 | 0.000 % |
770.17/770.62 c | 451317 | 15608 66711 202610 | 2147483647 451317 253 | 0.000 % |
774.27/774.74 c | 452858 | 15608 66711 202610 | 2147483647 452858 253 | 0.000 % |
778.57/779.08 c | 454552 | 15608 66711 202610 | 2147483647 454552 253 | 0.000 % |
783.67/784.13 c | 456415 | 15608 66711 202610 | 2147483647 456415 254 | 0.000 % |
789.07/789.57 c | 458465 | 15608 66711 202610 | 2147483647 458465 254 | 0.000 % |
795.46/795.98 c | 460718 | 15608 66711 202610 | 2147483647 460718 253 | 0.000 % |
802.26/802.72 c | 463197 | 15608 66711 202610 | 2147483647 463197 254 | 0.000 % |
809.55/810.09 c | 465922 | 15608 66711 202610 | 2147483647 465922 254 | 0.000 % |
817.46/817.94 c | 468919 | 15608 66711 202610 | 2147483647 468919 254 | 0.000 % |
826.46/826.99 c | 472219 | 15608 66711 202610 | 2147483647 472219 255 | 0.000 % |
836.34/836.88 c | 475845 | 15608 66711 202610 | 2147483647 475845 255 | 0.000 % |
847.24/847.77 c | 479832 | 15608 66711 202610 | 2147483647 479832 256 | 0.000 % |
858.84/859.35 c | 484219 | 15608 66711 202610 | 2147483647 484219 256 | 0.000 % |
859.14/859.62 c | 484320 | 15608 66711 202610 | 2147483647 484320 256 | 0.000 % |
859.54/860.00 c | 484432 | 15608 66711 202610 | 2147483647 484432 256 | 0.000 % |
859.94/860.45 c | 484554 | 15608 66711 202610 | 2147483647 484554 256 | 0.000 % |
860.54/861.04 c | 484687 | 15608 66711 202610 | 2147483647 484687 256 | 0.000 % |
861.14/861.64 c | 484834 | 15608 66711 202610 | 2147483647 484834 256 | 0.000 % |
861.74/862.25 c | 484995 | 15608 66711 202610 | 2147483647 484995 256 | 0.000 % |
862.33/862.84 c | 485171 | 15608 66711 202610 | 2147483647 485171 256 | 0.000 % |
862.94/863.43 c | 485367 | 15608 66711 202610 | 2147483647 485367 256 | 0.000 % |
863.73/864.25 c | 485580 | 15608 66711 202610 | 2147483647 485580 256 | 0.000 % |
864.63/865.18 c | 485815 | 15608 66711 202610 | 2147483647 485815 256 | 0.000 % |
865.63/866.13 c | 486071 | 15608 66711 202610 | 2147483647 486071 256 | 0.000 % |
866.63/867.11 c | 486352 | 15608 66711 202610 | 2147483647 486352 256 | 0.000 % |
867.64/868.14 c | 486661 | 15608 66711 202610 | 2147483647 486661 256 | 0.000 % |
868.74/869.25 c | 487001 | 15608 66711 202610 | 2147483647 487001 256 | 0.000 % |
870.14/870.60 c | 487373 | 15608 66711 202610 | 2147483647 487373 256 | 0.000 % |
871.43/871.95 c | 487782 | 15608 66711 202610 | 2147483647 487782 256 | 0.000 % |
872.84/873.34 c | 488231 | 15608 66711 202610 | 2147483647 488231 256 | 0.000 % |
874.43/874.98 c | 488725 | 15608 66711 202610 | 2147483647 488725 256 | 0.000 % |
876.33/876.84 c | 489268 | 15608 66711 202610 | 2147483647 489268 256 | 0.000 % |
878.23/878.79 c | 489865 | 15608 66711 202610 | 2147483647 489865 256 | 0.000 % |
880.32/880.88 c | 490520 | 15608 66711 202610 | 2147483647 490520 256 | 0.000 % |
882.73/883.29 c | 491240 | 15608 66711 202610 | 2147483647 491240 256 | 0.000 % |
885.22/885.79 c | 492032 | 15608 66711 202610 | 2147483647 492032 256 | 0.000 % |
888.23/888.72 c | 492903 | 15608 66711 202610 | 2147483647 492903 256 | 0.000 % |
891.12/891.65 c | 493861 | 15608 66711 202610 | 2147483647 493861 256 | 0.000 % |
894.02/894.57 c | 494914 | 15608 66711 202610 | 2147483647 494914 256 | 0.000 % |
897.12/897.64 c | 496073 | 15608 66711 202610 | 2147483647 496073 256 | 0.000 % |
901.22/901.77 c | 497348 | 15608 66711 202610 | 2147483647 497348 256 | 0.000 % |
905.32/905.88 c | 498748 | 15608 66711 202610 | 2147483647 498748 256 | 0.000 % |
910.01/910.54 c | 500289 | 15608 66711 202610 | 2147483647 500289 256 | 0.000 % |
915.02/915.56 c | 501984 | 15608 66711 202610 | 2147483647 501984 256 | 0.000 % |
920.62/921.10 c | 503849 | 15608 66711 202610 | 2147483647 503849 256 | 0.000 % |
926.70/927.24 c | 505898 | 15608 66711 202610 | 2147483647 505898 257 | 0.000 % |
933.60/934.10 c | 508151 | 15608 66711 202610 | 2147483647 508151 257 | 0.000 % |
940.30/940.82 c | 510632 | 15608 66711 202610 | 2147483647 510632 257 | 0.000 % |
948.00/948.52 c | 513358 | 15608 66711 202610 | 2147483647 513358 257 | 0.000 % |
956.29/956.81 c | 516356 | 15608 66711 202610 | 2147483647 516356 257 | 0.000 % |
965.69/966.23 c | 519652 | 15608 66711 202610 | 2147483647 519652 257 | 0.000 % |
976.19/976.77 c | 523277 | 15608 66711 202610 | 2147483647 523277 258 | 0.000 % |
987.68/988.27 c | 527264 | 15608 66711 202610 | 2147483647 527264 258 | 0.000 % |
1000.06/1000.64 c | 531650 | 15608 66711 202610 | 2147483647 531650 259 | 0.000 % |
1014.55/1015.17 c | 536476 | 15608 66711 202610 | 2147483647 536476 259 | 0.000 % |
1014.95/1015.54 c | 536577 | 15608 66711 202610 | 2147483647 536577 259 | 0.000 % |
1015.55/1016.19 c | 536689 | 15608 66711 202610 | 2147483647 536689 259 | 0.000 % |
1016.15/1016.75 c | 536810 | 15608 66711 202610 | 2147483647 536810 259 | 0.000 % |
1016.65/1017.28 c | 536943 | 15608 66711 202610 | 2147483647 536943 259 | 0.000 % |
1017.25/1017.87 c | 537091 | 15608 66711 202610 | 2147483647 537091 259 | 0.000 % |
1018.05/1018.63 c | 537251 | 15608 66711 202610 | 2147483647 537251 259 | 0.000 % |
1018.75/1019.36 c | 537427 | 15608 66711 202610 | 2147483647 537427 259 | 0.000 % |
1019.45/1020.05 c | 537621 | 15608 66711 202610 | 2147483647 537621 259 | 0.000 % |
1020.25/1020.89 c | 537833 | 15608 66711 202610 | 2147483647 537833 259 | 0.000 % |
1021.15/1021.74 c | 538066 | 15608 66711 202610 | 2147483647 538066 259 | 0.000 % |
1022.24/1022.84 c | 538323 | 15608 66711 202610 | 2147483647 538323 259 | 0.000 % |
1023.34/1023.95 c | 538604 | 15608 66711 202610 | 2147483647 538604 259 | 0.000 % |
1024.65/1025.21 c | 538914 | 15608 66711 202610 | 2147483647 538914 259 | 0.000 % |
1025.75/1026.39 c | 539255 | 15608 66711 202610 | 2147483647 539255 259 | 0.000 % |
1027.14/1027.74 c | 539628 | 15608 66711 202610 | 2147483647 539628 259 | 0.000 % |
1028.64/1029.21 c | 540037 | 15608 66711 202610 | 2147483647 540037 259 | 0.000 % |
1030.34/1030.91 c | 540486 | 15608 66711 202610 | 2147483647 540486 259 | 0.000 % |
1031.94/1032.52 c | 540979 | 15608 66711 202610 | 2147483647 540979 259 | 0.000 % |
1033.64/1034.23 c | 541521 | 15608 66711 202610 | 2147483647 541521 259 | 0.000 % |
1035.84/1036.46 c | 542118 | 15608 66711 202610 | 2147483647 542118 259 | 0.000 % |
1037.94/1038.59 c | 542774 | 15608 66711 202610 | 2147483647 542774 259 | 0.000 % |
1040.34/1040.91 c | 543495 | 15608 66711 202610 | 2147483647 543495 259 | 0.000 % |
1042.94/1043.55 c | 544287 | 15608 66711 202610 | 2147483647 544287 259 | 0.000 % |
1045.74/1046.32 c | 545160 | 15608 66711 202610 | 2147483647 545160 259 | 0.000 % |
1048.74/1049.39 c | 546119 | 15608 66711 202610 | 2147483647 546119 259 | 0.000 % |
1052.04/1052.69 c | 547173 | 15608 66711 202610 | 2147483647 547173 259 | 0.000 % |
1055.83/1056.44 c | 548334 | 15608 66711 202610 | 2147483647 548334 259 | 0.000 % |
1059.83/1060.48 c | 549607 | 15608 66711 202610 | 2147483647 549607 259 | 0.000 % |
1064.13/1064.79 c | 551007 | 15608 66711 202610 | 2147483647 551007 259 | 0.000 % |
1069.33/1069.96 c | 552547 | 15608 66711 202610 | 2147483647 552547 259 | 0.000 % |
1075.12/1075.74 c | 554241 | 15608 66711 202610 | 2147483647 554241 259 | 0.000 % |
1080.82/1081.44 c | 556104 | 15608 66711 202610 | 2147483647 556104 259 | 0.000 % |
1087.72/1088.37 c | 558153 | 15608 66711 202610 | 2147483647 558153 259 | 0.000 % |
1094.52/1095.15 c | 560407 | 15608 66711 202610 | 2147483647 560407 259 | 0.000 % |
1102.32/1102.99 c | 562886 | 15608 66711 202610 | 2147483647 562886 259 | 0.000 % |
1110.71/1111.31 c | 565612 | 15608 66711 202610 | 2147483647 565612 259 | 0.000 % |
1119.90/1120.55 c | 568612 | 15608 66711 202610 | 2147483647 568612 260 | 0.000 % |
1130.30/1130.92 c | 571910 | 15608 66711 202610 | 2147483647 571910 260 | 0.000 % |
1142.00/1142.68 c | 575535 | 15608 66711 202610 | 2147483647 575535 260 | 0.000 % |
1155.09/1155.79 c | 579522 | 15608 66711 202610 | 2147483647 579522 260 | 0.000 % |
1169.39/1170.00 c | 583907 | 15608 66711 202610 | 2147483647 583907 261 | 0.000 % |
1184.88/1185.58 c | 588730 | 15608 66711 202610 | 2147483647 588730 261 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832767-1242787463/watcher-1832767-1242787463 -o /tmp/evaluation-result-1832767-1242787463/solver-1832767-1242787463 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832767-1242787463.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 5623
/proc/meminfo: memFree=1839992/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 306780037 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 228706713682 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/5623/statm: 1339 235 195 169 0 50 0
[pid=5624] ppid=5623 vsize=5356 CPUtime=0
/proc/5624/stat : 5624 (SatELiteGTI) S 5623 5623 4990 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306780037 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/5624/statm: 1339 238 198 169 0 50 0
[pid=5626] ppid=5624 vsize=5356 CPUtime=0
/proc/5626/stat : 5626 (SatELiteGTI) R 5624 5623 4990 0 -1 4194368 19 0 0 0 0 0 0 0 22 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706544935 0 0 4096 0 0 0 0 17 1 0 0
/proc/5626/statm: 1339 239 199 169 0 50 0
[startup+0.0974399 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 5623
/proc/meminfo: memFree=1839992/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 306780037 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5623/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101434 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 5623
/proc/meminfo: memFree=1839992/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 306780037 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5623/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301498 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 5623
/proc/meminfo: memFree=1839992/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5356
[startup+0.701484 s]
/proc/loadavg: 0.91 0.98 0.99 3/65 5623
/proc/meminfo: memFree=1839992/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5356
[startup+1.50156 s]
/proc/loadavg: 0.91 0.98 0.99 2/67 5629
/proc/meminfo: memFree=1832232/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=7708 CPUtime=1.19
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 1777 0 0 0 118 1 0 0 25 0 1 0 306780067 7892992 1763 1992294400 134512640 135215339 4294956256 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 1927 1763 77 171 0 1754 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13064
[startup+3.10171 s]
/proc/loadavg: 0.91 0.98 0.99 2/67 5629
/proc/meminfo: memFree=1830440/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=10084 CPUtime=2.79
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 2364 0 0 0 277 2 0 0 25 0 1 0 306780067 10326016 2350 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 2521 2350 77 171 0 2348 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15440
[startup+6.30301 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 5629
/proc/meminfo: memFree=1825576/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=14608 CPUtime=5.98
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 3494 0 0 0 596 2 0 0 25 0 1 0 306780067 14958592 3480 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 3652 3480 77 171 0 3479 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 19964
[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 5629
/proc/meminfo: memFree=1816680/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=23172 CPUtime=12.38
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 5620 0 0 0 1233 5 0 0 25 0 1 0 306780067 23728128 5606 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 5793 5606 77 171 0 5620 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 28528
[startup+25.5018 s]
/proc/loadavg: 0.94 0.98 0.99 2/67 5629
/proc/meminfo: memFree=1800232/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=39176 CPUtime=25.16
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 9620 0 0 0 2508 8 0 0 25 0 1 0 306780067 40116224 9606 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 9794 9606 77 171 0 9621 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 44532
[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 5629
/proc/meminfo: memFree=1772776/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=66968 CPUtime=50.74
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 16558 0 0 0 5059 15 0 0 25 0 1 0 306780067 68575232 16544 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 16742 16544 77 171 0 16569 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 72324
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 5629
/proc/meminfo: memFree=1724072/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=114812 CPUtime=101.91
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 28512 0 0 0 10165 26 0 0 25 0 1 0 306780067 117567488 28498 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 28703 28498 77 171 0 28530 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 120168
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 5629
/proc/meminfo: memFree=1678312/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=160792 CPUtime=161.87
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 39989 0 0 0 16147 40 0 0 25 0 1 0 306780067 164651008 39975 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 40198 39975 77 171 0 40025 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 166148
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 5629
/proc/meminfo: memFree=1638056/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=200424 CPUtime=221.85
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 49943 0 0 0 22136 49 0 0 25 0 1 0 306780067 205234176 49929 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 50106 49929 77 171 0 49933 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 205780
[startup+282.302 s]
/proc/loadavg: 1.06 1.00 0.99 2/67 5629
/proc/meminfo: memFree=1601576/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=237272 CPUtime=281.82
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 59072 0 0 0 28124 58 0 0 25 0 1 0 306780067 242966528 59058 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 59318 59058 77 171 0 59145 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 242628
[startup+342.301 s]
/proc/loadavg: 1.08 1.01 1.00 2/67 5629
/proc/meminfo: memFree=1566824/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=271476 CPUtime=341.79
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 67662 0 0 0 34110 69 0 0 25 0 1 0 306780067 277991424 67648 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 67869 67648 77 171 0 67696 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 276832
[startup+402.301 s]
/proc/loadavg: 1.12 1.04 1.01 2/67 5629
/proc/meminfo: memFree=1535208/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=303036 CPUtime=401.76
################
# More data... #
################
/proc/5629/statm: 98061 97806 77 171 0 97888 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 397600
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 5629
/proc/meminfo: memFree=1419688/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=417728 CPUtime=641.64
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 104202 0 0 0 64056 108 0 0 25 0 1 0 306780067 427753472 104188 1992294400 134512640 135215339 4294956256 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 104432 104188 77 171 0 104259 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 423084
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 5629
/proc/meminfo: memFree=1392744/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=444788 CPUtime=701.62
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 110984 0 0 0 70045 117 0 0 25 0 1 0 306780067 455462912 110970 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 111197 110970 77 171 0 111024 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 450144
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 5629
/proc/meminfo: memFree=1369320/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=467756 CPUtime=761.6
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 116745 0 0 0 76035 125 0 0 25 0 1 0 306780067 478982144 116731 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 116939 116731 77 171 0 116766 0
Current children cumulated CPU time (s) 761.88
Current children cumulated vsize (KiB) 473112
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 5629
/proc/meminfo: memFree=1344168/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=493756 CPUtime=821.57
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 123066 0 0 0 82026 131 0 0 25 0 1 0 306780067 505606144 123052 1992294400 134512640 135215339 4294956256 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 123439 123052 77 171 0 123266 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 499112
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 5629
/proc/meminfo: memFree=1320104/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=517528 CPUtime=881.54
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 128998 0 0 0 88017 137 0 0 25 0 1 0 306780067 529948672 128984 1992294400 134512640 135215339 4294956256 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 129382 128984 77 171 0 129209 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 522884
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 5629
/proc/meminfo: memFree=1297064/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=540496 CPUtime=941.52
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 134770 0 0 0 94008 144 0 0 25 0 1 0 306780067 553467904 134756 1992294400 134512640 135215339 4294956256 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 135124 134756 77 171 0 134951 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 545852
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 5635
/proc/meminfo: memFree=1271320/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=565852 CPUtime=1001.48
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 141121 0 0 0 99997 151 0 0 25 0 1 0 306780067 579432448 141107 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 141463 141107 77 171 0 141290 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 571208
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 5635
/proc/meminfo: memFree=1251744/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=585396 CPUtime=1061.45
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 146048 0 0 0 105987 158 0 0 25 0 1 0 306780067 599445504 146034 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 146349 146034 77 171 0 146176 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 590752
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 5635
/proc/meminfo: memFree=1229280/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=607572 CPUtime=1121.42
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 151590 0 0 0 111978 164 0 0 25 0 1 0 306780067 622153728 151576 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 151893 151576 77 171 0 151720 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 612928
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 5635
/proc/meminfo: memFree=1207584/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=629496 CPUtime=1181.4
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 157090 0 0 0 117970 170 0 0 25 0 1 0 306780067 644603904 157076 1992294400 134512640 135215339 4294956256 18446744073709551615 134532624 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 157374 157076 77 171 0 157201 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 634852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 5635
/proc/meminfo: memFree=1200352/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=636096 CPUtime=1199.8
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 158740 0 0 0 119808 172 0 0 25 0 1 0 306780067 651362304 158726 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 159024 158726 77 171 0 158851 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 641452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 5635
/proc/meminfo: memFree=1200352/2055920 swapFree=4178972/4192956
[pid=5623] ppid=5621 vsize=5356 CPUtime=0.28
/proc/5623/stat : 5623 (SatELiteGTI) S 5621 5623 4990 0 -1 4194304 336 2292 0 0 0 0 27 1 15 0 1 0 306780037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5623/statm: 1339 239 197 169 0 50 0
[pid=5629] ppid=5623 vsize=636096 CPUtime=1199.8
/proc/5629/stat : 5629 (minisat_static) R 5623 5623 4990 0 -1 4194304 158740 0 0 0 119808 172 0 0 25 0 1 0 306780067 651362304 158726 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/5629/statm: 159024 158726 77 171 0 158851 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 641452
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5623 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=280957
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=17997
# CPU time returned by wait4() is 0.298954
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.08
CPU user time (s): 1198.35
CPU system time (s): 1.73
CPU usage (%): 99.9474
Max. virtual memory (cumulated for all children) (KiB): 641452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.280957
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 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= 14
involuntary context switches= 11
runsolver used 1.11483 second user time and 3.34649 second system time
The end
Begin job on node8 at 2009-05-20 04:44:23
IDJOB=1832767
IDBENCH=70347
IDSOLVER=671
FILE ID=node8/1832767-1242787463
PBS_JOBID= 9322351
Free space on /tmp= 66244 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832767-1242787463/watcher-1832767-1242787463 -o /tmp/evaluation-result-1832767-1242787463/solver-1832767-1242787463 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832767-1242787463.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 774d62294125db90f73d8b18ec29f4dd
RANDOM SEED=1536018921
node8.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.238
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.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1840544 kB
Buffers: 27864 kB
Cached: 141116 kB
SwapCached: 7548 kB
Active: 36132 kB
Inactive: 142080 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1840544 kB
SwapTotal: 4192956 kB
SwapFree: 4178972 kB
Dirty: 2864 kB
Writeback: 0 kB
Mapped: 14292 kB
Slab: 23048 kB
Committed_AS: 1101356 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66240 MiB
End job on node8 at 2009-05-20 05:04:26