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 | 66670 202660 | -- 0 -- -- | -- | -530/1060
0.00/0.23 c ==============================================================================
0.00/0.23 c Result : #vars: 15565 #clauses: 66670 #literals: 202660
0.00/0.23 c CPU time: 0.213967 s
0.00/0.23 c ==============================================================================
0.00/0.30 c This is MiniSat 2.0 beta
0.00/0.30 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.30 c ============================[ Problem Statistics ]=============================
0.00/0.30 c | |
0.00/0.30 c | Number of variables: 15565 |
0.00/0.30 c | Number of clauses: 66670 |
0.00/0.35 c | Parsing time: 0.04 s |
0.00/0.35 c ============================[ Search Statistics ]==============================
0.00/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.35 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.35 c ===============================================================================
0.00/0.35 c | 0 | 15565 66670 202660 | 22223 0 nan | 0.000 % |
0.29/0.40 c | 100 | 15565 66670 202660 | 22223 100 221 | 0.000 % |
0.29/0.46 c | 201 | 15565 66670 202660 | 22223 201 226 | 0.000 % |
0.29/0.51 c | 301 | 15565 66670 202660 | 22223 301 231 | 0.000 % |
0.29/0.57 c | 411 | 15565 66670 202660 | 22223 411 213 | 0.000 % |
0.29/0.62 c | 511 | 15565 66670 202660 | 22223 511 201 | 0.000 % |
0.29/0.68 c | 626 | 15565 66670 202660 | 22223 626 193 | 0.000 % |
0.29/0.74 c | 747 | 15565 66670 202660 | 22223 747 186 | 0.000 % |
0.29/0.79 c | 847 | 15565 66670 202660 | 22223 847 185 | 0.000 % |
0.29/0.85 c | 957 | 15565 66670 202660 | 22223 957 184 | 0.000 % |
0.29/0.91 c | 1080 | 15565 66670 202660 | 22223 1080 179 | 0.000 % |
0.29/0.99 c | 1215 | 15565 66670 202660 | 22223 1215 180 | 0.000 % |
0.98/1.05 c | 1315 | 15565 66670 202660 | 22223 1315 178 | 0.000 % |
1.08/1.11 c | 1425 | 15565 66670 202660 | 22223 1425 178 | 0.000 % |
1.08/1.17 c | 1546 | 15565 66670 202660 | 22223 1546 178 | 0.000 % |
1.18/1.24 c | 1680 | 15565 66670 202660 | 22223 1680 181 | 0.000 % |
1.28/1.32 c | 1827 | 15565 66670 202660 | 22223 1827 179 | 0.000 % |
1.28/1.37 c | 1927 | 15565 66670 202660 | 22223 1927 178 | 0.000 % |
1.38/1.43 c | 2039 | 15565 66670 202660 | 22223 2039 176 | 0.000 % |
1.38/1.49 c | 2160 | 15565 66670 202660 | 22223 2160 179 | 0.000 % |
1.48/1.56 c | 2295 | 15565 66670 202660 | 22223 2295 180 | 0.000 % |
1.58/1.63 c | 2441 | 15565 66670 202660 | 22223 2441 179 | 0.000 % |
1.68/1.72 c | 2601 | 15565 66670 202660 | 22223 2601 177 | 0.000 % |
1.68/1.77 c | 2701 | 15565 66670 202660 | 22223 2701 179 | 0.000 % |
1.78/1.83 c | 2812 | 15565 66670 202660 | 22223 2812 179 | 0.000 % |
1.78/1.89 c | 2934 | 15565 66670 202660 | 22223 2934 179 | 0.000 % |
1.88/1.96 c | 3067 | 15565 66670 202660 | 22223 3067 179 | 0.000 % |
1.98/2.04 c | 3216 | 15565 66670 202660 | 22223 3216 182 | 0.000 % |
2.08/2.13 c | 3377 | 15565 66670 202660 | 22223 3377 181 | 0.000 % |
2.18/2.22 c | 3553 | 15565 66670 202660 | 22223 3553 180 | 0.000 % |
2.18/2.28 c | 3653 | 15565 66670 202660 | 22223 3653 181 | 0.000 % |
2.27/2.34 c | 3763 | 15565 66670 202660 | 22223 3763 180 | 0.000 % |
2.37/2.41 c | 3886 | 15565 66670 202660 | 22223 3886 179 | 0.000 % |
2.37/2.49 c | 4019 | 15565 66670 202660 | 22223 4019 181 | 0.000 % |
2.47/2.56 c | 4165 | 15565 66670 202660 | 22223 4165 181 | 0.000 % |
2.57/2.66 c | 4325 | 15565 66670 202660 | 22223 4325 184 | 0.000 % |
2.67/2.75 c | 4501 | 15565 66670 202660 | 22223 4501 185 | 0.000 % |
2.77/2.84 c | 4694 | 15565 66670 202660 | 22223 4694 185 | 0.000 % |
2.77/2.89 c | 4796 | 15565 66670 202660 | 22223 4796 185 | 0.000 % |
2.87/2.95 c | 4906 | 15565 66670 202660 | 22223 4906 184 | 0.000 % |
2.97/3.02 c | 5027 | 15565 66670 202660 | 22223 5027 184 | 0.000 % |
2.97/3.10 c | 5161 | 15565 66670 202660 | 22223 5161 183 | 0.000 % |
3.08/3.17 c | 5308 | 15565 66670 202660 | 22223 5308 181 | 0.000 % |
3.18/3.26 c | 5470 | 15565 66670 202660 | 22223 5470 180 | 0.000 % |
3.28/3.36 c | 5648 | 15565 66670 202660 | 22223 5648 181 | 0.000 % |
3.38/3.47 c | 5841 | 15565 66670 202660 | 22223 5841 182 | 0.000 % |
3.47/3.58 c | 6055 | 15565 66670 202660 | 22223 6055 183 | 0.000 % |
3.57/3.63 c | 6155 | 15565 66670 202660 | 22223 6155 183 | 0.000 % |
3.57/3.69 c | 6266 | 15565 66670 202660 | 22223 6266 185 | 0.000 % |
3.67/3.76 c | 6387 | 15565 66670 202660 | 22223 6387 186 | 0.000 % |
3.77/3.83 c | 6521 | 15565 66670 202660 | 22223 6521 186 | 0.000 % |
3.87/3.92 c | 6668 | 15565 66670 202660 | 22223 6668 186 | 0.000 % |
3.97/4.01 c | 6829 | 15565 66670 202660 | 22223 6829 187 | 0.000 % |
4.07/4.11 c | 7005 | 15565 66670 202660 | 22223 7005 187 | 0.000 % |
4.17/4.22 c | 7198 | 15565 66670 202660 | 22223 7198 187 | 0.000 % |
4.27/4.34 c | 7411 | 15565 66670 202660 | 22223 7411 191 | 0.000 % |
4.37/4.46 c | 7645 | 15565 66670 202660 | 22223 7645 192 | 0.000 % |
4.47/4.51 c | 7745 | 15565 66670 202660 | 22223 7745 191 | 0.000 % |
4.47/4.58 c | 7855 | 15565 66670 202660 | 22223 7855 191 | 0.000 % |
4.57/4.65 c | 7978 | 15565 66670 202660 | 22223 7978 190 | 0.000 % |
4.68/4.72 c | 8111 | 15565 66670 202660 | 22223 8111 190 | 0.000 % |
4.78/4.81 c | 8258 | 15565 66670 202660 | 22223 8258 190 | 0.000 % |
4.88/4.90 c | 8418 | 15565 66670 202660 | 22223 8418 190 | 0.000 % |
4.88/4.99 c | 8594 | 15565 66670 202660 | 22223 8594 190 | 0.000 % |
5.07/5.10 c | 8787 | 15565 66670 202660 | 22223 8787 192 | 0.000 % |
5.17/5.23 c | 8999 | 15565 66670 202660 | 22223 8999 194 | 0.000 % |
5.27/5.36 c | 9234 | 15565 66670 202660 | 22223 9234 193 | 0.000 % |
5.38/5.49 c | 9490 | 15565 66670 202660 | 22223 9490 193 | 0.000 % |
5.48/5.55 c | 9590 | 15565 66670 202660 | 22223 9590 193 | 0.000 % |
5.57/5.63 c | 9701 | 15565 66670 202660 | 22223 9701 193 | 0.000 % |
5.67/5.70 c | 9822 | 15565 66670 202660 | 22223 9822 194 | 0.000 % |
5.67/5.77 c | 9955 | 15565 66670 202660 | 22223 9955 194 | 0.000 % |
5.77/5.86 c | 10101 | 15565 66670 202660 | 2147483647 10101 193 | 0.000 % |
5.87/5.96 c | 10262 | 15565 66670 202660 | 2147483647 10262 193 | 0.000 % |
5.97/6.07 c | 10438 | 15565 66670 202660 | 2147483647 10438 194 | 0.000 % |
6.07/6.18 c | 10631 | 15565 66670 202660 | 2147483647 10631 194 | 0.000 % |
6.27/6.31 c | 10843 | 15565 66670 202660 | 2147483647 10843 195 | 0.000 % |
6.37/6.44 c | 11076 | 15565 66670 202660 | 2147483647 11076 194 | 0.000 % |
6.48/6.59 c | 11332 | 15565 66670 202660 | 2147483647 11332 194 | 0.000 % |
6.68/6.74 c | 11614 | 15565 66670 202660 | 2147483647 11614 194 | 0.000 % |
6.78/6.81 c | 11714 | 15565 66670 202660 | 2147483647 11714 195 | 0.000 % |
6.78/6.88 c | 11825 | 15565 66670 202660 | 2147483647 11825 195 | 0.000 % |
6.88/6.96 c | 11946 | 15565 66670 202660 | 2147483647 11946 195 | 0.000 % |
6.98/7.04 c | 12080 | 15565 66670 202660 | 2147483647 12080 195 | 0.000 % |
7.08/7.13 c | 12227 | 15565 66670 202660 | 2147483647 12227 196 | 0.000 % |
7.18/7.23 c | 12388 | 15565 66670 202660 | 2147483647 12388 196 | 0.000 % |
7.28/7.34 c | 12567 | 15565 66670 202660 | 2147483647 12567 196 | 0.000 % |
7.38/7.44 c | 12761 | 15565 66670 202660 | 2147483647 12761 197 | 0.000 % |
7.48/7.57 c | 12973 | 15565 66670 202660 | 2147483647 12973 196 | 0.000 % |
7.58/7.70 c | 13206 | 15565 66670 202660 | 2147483647 13206 197 | 0.000 % |
7.77/7.86 c | 13463 | 15565 66670 202660 | 2147483647 13463 197 | 0.000 % |
7.97/8.03 c | 13745 | 15565 66670 202660 | 2147483647 13745 198 | 0.000 % |
8.17/8.21 c | 14055 | 15565 66670 202660 | 2147483647 14055 199 | 0.000 % |
8.17/8.28 c | 14156 | 15565 66670 202660 | 2147483647 14156 199 | 0.000 % |
8.27/8.35 c | 14269 | 15565 66670 202660 | 2147483647 14269 199 | 0.000 % |
8.37/8.42 c | 14392 | 15565 66670 202660 | 2147483647 14392 199 | 0.000 % |
8.47/8.50 c | 14527 | 15565 66670 202660 | 2147483647 14527 198 | 0.000 % |
8.47/8.60 c | 14674 | 15565 66670 202660 | 2147483647 14674 198 | 0.000 % |
8.57/8.70 c | 14835 | 15565 66670 202660 | 2147483647 14835 198 | 0.000 % |
8.77/8.81 c | 15011 | 15565 66670 202660 | 2147483647 15011 198 | 0.000 % |
8.87/8.93 c | 15204 | 15565 66670 202660 | 2147483647 15204 198 | 0.000 % |
8.98/9.06 c | 15416 | 15565 66670 202660 | 2147483647 15416 198 | 0.000 % |
9.08/9.20 c | 15649 | 15565 66670 202660 | 2147483647 15649 198 | 0.000 % |
9.28/9.34 c | 15905 | 15565 66670 202660 | 2147483647 15905 199 | 0.000 % |
9.48/9.52 c | 16186 | 15565 66670 202660 | 2147483647 16186 199 | 0.000 % |
9.68/9.71 c | 16495 | 15565 66670 202660 | 2147483647 16495 201 | 0.000 % |
9.88/9.91 c | 16834 | 15565 66670 202660 | 2147483647 16834 202 | 0.000 % |
9.88/9.98 c | 16939 | 15565 66670 202660 | 2147483647 16939 202 | 0.000 % |
9.98/10.05 c | 17051 | 15565 66670 202660 | 2147483647 17051 202 | 0.000 % |
10.08/10.14 c | 17172 | 15565 66670 202660 | 2147483647 17172 201 | 0.000 % |
10.17/10.22 c | 17306 | 15565 66670 202660 | 2147483647 17306 201 | 0.000 % |
10.27/10.32 c | 17452 | 15565 66670 202660 | 2147483647 17452 201 | 0.000 % |
10.37/10.43 c | 17613 | 15565 66670 202660 | 2147483647 17613 201 | 0.000 % |
10.47/10.53 c | 17789 | 15565 66670 202660 | 2147483647 17789 201 | 0.000 % |
10.57/10.66 c | 17982 | 15565 66670 202660 | 2147483647 17982 201 | 0.000 % |
10.67/10.78 c | 18196 | 15565 66670 202660 | 2147483647 18196 201 | 0.000 % |
10.88/10.93 c | 18429 | 15565 66670 202660 | 2147483647 18429 201 | 0.000 % |
11.07/11.10 c | 18686 | 15565 66670 202660 | 2147483647 18686 201 | 0.000 % |
11.17/11.27 c | 18967 | 15565 66670 202660 | 2147483647 18967 200 | 0.000 % |
11.37/11.48 c | 19277 | 15565 66670 202660 | 2147483647 19277 201 | 0.000 % |
11.67/11.70 c | 19616 | 15565 66670 202660 | 2147483647 19616 203 | 0.000 % |
11.87/11.95 c | 19989 | 15565 66670 202660 | 2147483647 19989 204 | 0.000 % |
11.97/12.03 c | 20089 | 15565 66670 202660 | 2147483647 20089 203 | 0.000 % |
11.97/12.10 c | 20200 | 15565 66670 202660 | 2147483647 20200 204 | 0.000 % |
12.07/12.18 c | 20322 | 15565 66670 202660 | 2147483647 20322 203 | 0.000 % |
12.17/12.28 c | 20457 | 15565 66670 202660 | 2147483647 20457 203 | 0.000 % |
12.28/12.38 c | 20605 | 15565 66670 202660 | 2147483647 20605 203 | 0.000 % |
12.38/12.47 c | 20765 | 15565 66670 202660 | 2147483647 20765 203 | 0.000 % |
12.48/12.60 c | 20941 | 15565 66670 202660 | 2147483647 20941 203 | 0.000 % |
12.67/12.72 c | 21134 | 15565 66670 202660 | 2147483647 21134 203 | 0.000 % |
12.77/12.86 c | 21348 | 15565 66670 202660 | 2147483647 21348 203 | 0.000 % |
12.97/13.01 c | 21581 | 15565 66670 202660 | 2147483647 21581 203 | 0.000 % |
13.08/13.19 c | 21838 | 15565 66670 202660 | 2147483647 21838 203 | 0.000 % |
13.27/13.39 c | 22119 | 15565 66670 202660 | 2147483647 22119 203 | 0.000 % |
13.57/13.60 c | 22429 | 15565 66670 202660 | 2147483647 22429 204 | 0.000 % |
13.77/13.81 c | 22768 | 15565 66670 202660 | 2147483647 22768 203 | 0.000 % |
13.97/14.07 c | 23142 | 15565 66670 202660 | 2147483647 23142 205 | 0.000 % |
14.28/14.34 c | 23553 | 15565 66670 202660 | 2147483647 23553 206 | 0.000 % |
14.37/14.42 c | 23654 | 15565 66670 202660 | 2147483647 23654 206 | 0.000 % |
14.47/14.50 c | 23765 | 15565 66670 202660 | 2147483647 23765 206 | 0.000 % |
14.47/14.58 c | 23886 | 15565 66670 202660 | 2147483647 23886 205 | 0.000 % |
14.57/14.66 c | 24020 | 15565 66670 202660 | 2147483647 24020 205 | 0.000 % |
14.67/14.77 c | 24166 | 15565 66670 202660 | 2147483647 24166 205 | 0.000 % |
14.77/14.88 c | 24326 | 15565 66670 202660 | 2147483647 24326 205 | 0.000 % |
14.87/14.99 c | 24503 | 15565 66670 202660 | 2147483647 24503 204 | 0.000 % |
15.07/15.11 c | 24696 | 15565 66670 202660 | 2147483647 24696 204 | 0.000 % |
15.17/15.25 c | 24909 | 15565 66670 202660 | 2147483647 24909 204 | 0.000 % |
15.37/15.42 c | 25142 | 15565 66670 202660 | 2147483647 25142 204 | 0.000 % |
15.47/15.58 c | 25401 | 15565 66670 202660 | 2147483647 25401 204 | 0.000 % |
15.67/15.77 c | 25682 | 15565 66670 202660 | 2147483647 25682 204 | 0.000 % |
15.87/15.98 c | 25991 | 15565 66670 202660 | 2147483647 25991 204 | 0.000 % |
16.17/16.21 c | 26330 | 15565 66670 202660 | 2147483647 26330 205 | 0.000 % |
16.37/16.47 c | 26702 | 15565 66670 202660 | 2147483647 26702 205 | 0.000 % |
16.67/16.75 c | 27111 | 15565 66670 202660 | 2147483647 27111 206 | 0.000 % |
16.97/17.04 c | 27560 | 15565 66670 202660 | 2147483647 27560 206 | 0.000 % |
17.07/17.12 c | 27660 | 15565 66670 202660 | 2147483647 27660 206 | 0.000 % |
17.07/17.19 c | 27773 | 15565 66670 202660 | 2147483647 27773 206 | 0.000 % |
17.17/17.28 c | 27896 | 15565 66670 202660 | 2147483647 27896 206 | 0.000 % |
17.27/17.36 c | 28029 | 15565 66670 202660 | 2147483647 28029 206 | 0.000 % |
17.37/17.46 c | 28175 | 15565 66670 202660 | 2147483647 28175 206 | 0.000 % |
17.48/17.58 c | 28336 | 15565 66670 202660 | 2147483647 28336 206 | 0.000 % |
17.58/17.69 c | 28513 | 15565 66670 202660 | 2147483647 28513 206 | 0.000 % |
17.77/17.83 c | 28706 | 15565 66670 202660 | 2147483647 28706 206 | 0.000 % |
17.87/18.00 c | 28920 | 15565 66670 202660 | 2147483647 28920 206 | 0.000 % |
18.07/18.17 c | 29153 | 15565 66670 202660 | 2147483647 29153 206 | 0.000 % |
18.27/18.33 c | 29410 | 15565 66670 202660 | 2147483647 29410 206 | 0.000 % |
18.47/18.53 c | 29694 | 15565 66670 202660 | 2147483647 29694 206 | 0.000 % |
18.68/18.75 c | 30005 | 15565 66670 202660 | 2147483647 30005 206 | 0.000 % |
18.97/19.00 c | 30344 | 15565 66670 202660 | 2147483647 30344 206 | 0.000 % |
19.17/19.26 c | 30717 | 15565 66670 202660 | 2147483647 30717 206 | 0.000 % |
19.47/19.53 c | 31126 | 15565 66670 202660 | 2147483647 31126 206 | 0.000 % |
19.78/19.85 c | 31575 | 15565 66670 202660 | 2147483647 31575 206 | 0.000 % |
20.07/20.19 c | 32070 | 15565 66670 202660 | 2147483647 32070 207 | 0.000 % |
20.17/20.28 c | 32173 | 15565 66670 202660 | 2147483647 32173 207 | 0.000 % |
20.27/20.37 c | 32283 | 15565 66670 202660 | 2147483647 32283 207 | 0.000 % |
20.37/20.46 c | 32405 | 15565 66670 202660 | 2147483647 32405 206 | 0.000 % |
20.47/20.55 c | 32538 | 15565 66670 202660 | 2147483647 32538 206 | 0.000 % |
20.57/20.66 c | 32685 | 15565 66670 202660 | 2147483647 32685 206 | 0.000 % |
20.67/20.78 c | 32847 | 15565 66670 202660 | 2147483647 32847 206 | 0.000 % |
20.87/20.92 c | 33024 | 15565 66670 202660 | 2147483647 33024 206 | 0.000 % |
20.97/21.06 c | 33217 | 15565 66670 202660 | 2147483647 33217 206 | 0.000 % |
21.17/21.22 c | 33430 | 15565 66670 202660 | 2147483647 33430 206 | 0.000 % |
21.27/21.39 c | 33663 | 15565 66670 202660 | 2147483647 33663 206 | 0.000 % |
21.47/21.56 c | 33919 | 15565 66670 202660 | 2147483647 33919 207 | 0.000 % |
21.66/21.79 c | 34201 | 15565 66670 202660 | 2147483647 34201 207 | 0.000 % |
21.97/22.03 c | 34510 | 15565 66670 202660 | 2147483647 34510 207 | 0.000 % |
22.17/22.27 c | 34849 | 15565 66670 202660 | 2147483647 34849 208 | 0.000 % |
22.47/22.54 c | 35222 | 15565 66670 202660 | 2147483647 35222 208 | 0.000 % |
22.77/22.85 c | 35634 | 15565 66670 202660 | 2147483647 35634 208 | 0.000 % |
23.07/23.16 c | 36083 | 15565 66670 202660 | 2147483647 36083 208 | 0.000 % |
23.47/23.52 c | 36576 | 15565 66670 202660 | 2147483647 36576 208 | 0.000 % |
23.87/23.92 c | 37121 | 15565 66670 202660 | 2147483647 37121 209 | 0.000 % |
23.97/24.00 c | 37221 | 15565 66670 202660 | 2147483647 37221 209 | 0.000 % |
23.97/24.09 c | 37333 | 15565 66670 202660 | 2147483647 37333 209 | 0.000 % |
24.07/24.18 c | 37457 | 15565 66670 202660 | 2147483647 37457 209 | 0.000 % |
24.17/24.29 c | 37590 | 15565 66670 202660 | 2147483647 37590 209 | 0.000 % |
24.37/24.41 c | 37736 | 15565 66670 202660 | 2147483647 37736 209 | 0.000 % |
24.47/24.53 c | 37897 | 15565 66670 202660 | 2147483647 37897 208 | 0.000 % |
24.57/24.66 c | 38073 | 15565 66670 202660 | 2147483647 38073 208 | 0.000 % |
24.77/24.80 c | 38266 | 15565 66670 202660 | 2147483647 38266 208 | 0.000 % |
24.87/24.96 c | 38478 | 15565 66670 202660 | 2147483647 38478 208 | 0.000 % |
25.07/25.15 c | 38711 | 15565 66670 202660 | 2147483647 38711 208 | 0.000 % |
25.27/25.34 c | 38967 | 15565 66670 202660 | 2147483647 38967 209 | 0.000 % |
25.47/25.56 c | 39249 | 15565 66670 202660 | 2147483647 39249 209 | 0.000 % |
25.67/25.78 c | 39558 | 15565 66670 202660 | 2147483647 39558 209 | 0.000 % |
25.97/26.04 c | 39899 | 15565 66670 202660 | 2147483647 39899 209 | 0.000 % |
26.27/26.32 c | 40272 | 15565 66670 202660 | 2147483647 40272 209 | 0.000 % |
26.57/26.64 c | 40681 | 15565 66670 202660 | 2147483647 40681 209 | 0.000 % |
26.87/26.97 c | 41130 | 15565 66670 202660 | 2147483647 41130 209 | 0.000 % |
27.26/27.35 c | 41628 | 15565 66670 202660 | 2147483647 41628 210 | 0.000 % |
27.67/27.76 c | 42170 | 15565 66670 202660 | 2147483647 42170 210 | 0.000 % |
28.17/28.21 c | 42771 | 15565 66670 202660 | 2147483647 42771 210 | 0.000 % |
28.27/28.30 c | 42872 | 15565 66670 202660 | 2147483647 42872 210 | 0.000 % |
28.27/28.39 c | 42983 | 15565 66670 202660 | 2147483647 42983 210 | 0.000 % |
28.37/28.50 c | 43108 | 15565 66670 202660 | 2147483647 43108 210 | 0.000 % |
28.57/28.62 c | 43242 | 15565 66670 202660 | 2147483647 43242 210 | 0.000 % |
28.67/28.73 c | 43389 | 15565 66670 202660 | 2147483647 43389 210 | 0.000 % |
28.77/28.86 c | 43550 | 15565 66670 202660 | 2147483647 43550 210 | 0.000 % |
28.97/29.01 c | 43726 | 15565 66670 202660 | 2147483647 43726 210 | 0.000 % |
29.07/29.17 c | 43921 | 15565 66670 202660 | 2147483647 43921 210 | 0.000 % |
29.27/29.33 c | 44134 | 15565 66670 202660 | 2147483647 44134 210 | 0.000 % |
29.47/29.51 c | 44367 | 15565 66670 202660 | 2147483647 44367 210 | 0.000 % |
29.67/29.73 c | 44623 | 15565 66670 202660 | 2147483647 44623 210 | 0.000 % |
29.87/29.95 c | 44905 | 15565 66670 202660 | 2147483647 44905 210 | 0.000 % |
30.07/30.18 c | 45215 | 15565 66670 202660 | 2147483647 45215 210 | 0.000 % |
30.36/30.43 c | 45554 | 15565 66670 202660 | 2147483647 45554 210 | 0.000 % |
30.67/30.71 c | 45926 | 15565 66670 202660 | 2147483647 45926 211 | 0.000 % |
30.96/31.05 c | 46337 | 15565 66670 202660 | 2147483647 46337 211 | 0.000 % |
31.36/31.42 c | 46787 | 15565 66670 202660 | 2147483647 46787 211 | 0.000 % |
31.77/31.83 c | 47284 | 15565 66670 202660 | 2147483647 47284 211 | 0.000 % |
32.16/32.28 c | 47828 | 15565 66670 202660 | 2147483647 47828 211 | 0.000 % |
32.67/32.77 c | 48424 | 15565 66670 202660 | 2147483647 48424 212 | 0.000 % |
33.27/33.30 c | 49079 | 15565 66670 202660 | 2147483647 49079 212 | 0.000 % |
33.27/33.39 c | 49179 | 15565 66670 202660 | 2147483647 49179 212 | 0.000 % |
33.37/33.49 c | 49289 | 15565 66670 202660 | 2147483647 49289 212 | 0.000 % |
33.47/33.59 c | 49411 | 15565 66670 202660 | 2147483647 49411 212 | 0.000 % |
33.57/33.69 c | 49544 | 15565 66670 202660 | 2147483647 49544 212 | 0.000 % |
33.76/33.81 c | 49690 | 15565 66670 202660 | 2147483647 49690 212 | 0.000 % |
33.86/33.95 c | 49850 | 15565 66670 202660 | 2147483647 49850 211 | 0.000 % |
33.97/34.10 c | 50027 | 15565 66670 202660 | 2147483647 50027 211 | 0.000 % |
34.16/34.27 c | 50220 | 15565 66670 202660 | 2147483647 50220 211 | 0.000 % |
34.36/34.45 c | 50432 | 15565 66670 202660 | 2147483647 50432 211 | 0.000 % |
34.56/34.64 c | 50665 | 15565 66670 202660 | 2147483647 50665 211 | 0.000 % |
34.76/34.84 c | 50921 | 15565 66670 202660 | 2147483647 50921 211 | 0.000 % |
34.96/35.06 c | 51202 | 15565 66670 202660 | 2147483647 51202 211 | 0.000 % |
35.26/35.31 c | 51512 | 15565 66670 202660 | 2147483647 51512 211 | 0.000 % |
35.56/35.61 c | 51852 | 15565 66670 202660 | 2147483647 51852 211 | 0.000 % |
35.86/35.94 c | 52224 | 15565 66670 202660 | 2147483647 52224 211 | 0.000 % |
36.17/36.26 c | 52633 | 15565 66670 202660 | 2147483647 52633 211 | 0.000 % |
36.56/36.62 c | 53082 | 15565 66670 202660 | 2147483647 53082 211 | 0.000 % |
36.96/37.04 c | 53575 | 15565 66670 202660 | 2147483647 53575 211 | 0.000 % |
37.36/37.47 c | 54117 | 15565 66670 202660 | 2147483647 54117 211 | 0.000 % |
37.86/37.99 c | 54713 | 15565 66670 202660 | 2147483647 54713 212 | 0.000 % |
38.36/38.50 c | 55368 | 15565 66670 202660 | 2147483647 55368 213 | 0.000 % |
38.97/39.09 c | 56088 | 15565 66670 202660 | 2147483647 56088 213 | 0.000 % |
39.17/39.20 c | 56190 | 15565 66670 202660 | 2147483647 56190 213 | 0.000 % |
39.27/39.31 c | 56300 | 15565 66670 202660 | 2147483647 56300 213 | 0.000 % |
39.37/39.41 c | 56421 | 15565 66670 202660 | 2147483647 56421 213 | 0.000 % |
39.47/39.54 c | 56557 | 15565 66670 202660 | 2147483647 56557 212 | 0.000 % |
39.57/39.68 c | 56705 | 15565 66670 202660 | 2147483647 56705 212 | 0.000 % |
39.76/39.83 c | 56868 | 15565 66670 202660 | 2147483647 56868 212 | 0.000 % |
39.96/40.00 c | 57047 | 15565 66670 202660 | 2147483647 57047 212 | 0.000 % |
40.06/40.15 c | 57240 | 15565 66670 202660 | 2147483647 57240 212 | 0.000 % |
40.26/40.35 c | 57452 | 15565 66670 202660 | 2147483647 57452 212 | 0.000 % |
40.46/40.56 c | 57685 | 15565 66670 202660 | 2147483647 57685 212 | 0.000 % |
40.66/40.78 c | 57943 | 15565 66670 202660 | 2147483647 57943 212 | 0.000 % |
40.96/41.03 c | 58226 | 15565 66670 202660 | 2147483647 58226 212 | 0.000 % |
41.26/41.30 c | 58535 | 15565 66670 202660 | 2147483647 58535 213 | 0.000 % |
41.45/41.59 c | 58876 | 15565 66670 202660 | 2147483647 58876 212 | 0.000 % |
41.85/41.94 c | 59250 | 15565 66670 202660 | 2147483647 59250 213 | 0.000 % |
42.25/42.30 c | 59659 | 15565 66670 202660 | 2147483647 59659 213 | 0.000 % |
42.66/42.72 c | 60108 | 15565 66670 202660 | 2147483647 60108 214 | 0.000 % |
43.06/43.12 c | 60602 | 15565 66670 202660 | 2147483647 60602 214 | 0.000 % |
43.46/43.57 c | 61145 | 15565 66670 202660 | 2147483647 61145 214 | 0.000 % |
44.06/44.10 c | 61742 | 15565 66670 202660 | 2147483647 61742 215 | 0.000 % |
44.56/44.68 c | 62400 | 15565 66670 202660 | 2147483647 62400 215 | 0.000 % |
45.25/45.30 c | 63122 | 15565 66670 202660 | 2147483647 63122 216 | 0.000 % |
45.95/46.03 c | 63914 | 15565 66670 202660 | 2147483647 63914 217 | 0.000 % |
46.06/46.13 c | 64015 | 15565 66670 202660 | 2147483647 64015 217 | 0.000 % |
46.16/46.24 c | 64125 | 15565 66670 202660 | 2147483647 64125 217 | 0.000 % |
46.25/46.35 c | 64246 | 15565 66670 202660 | 2147483647 64246 217 | 0.000 % |
46.35/46.48 c | 64380 | 15565 66670 202660 | 2147483647 64380 217 | 0.000 % |
46.55/46.63 c | 64526 | 15565 66670 202660 | 2147483647 64526 217 | 0.000 % |
46.75/46.81 c | 64687 | 15565 66670 202660 | 2147483647 64687 217 | 0.000 % |
46.85/46.99 c | 64863 | 15565 66670 202660 | 2147483647 64863 216 | 0.000 % |
47.05/47.17 c | 65056 | 15565 66670 202660 | 2147483647 65056 216 | 0.000 % |
47.26/47.37 c | 65270 | 15565 66670 202660 | 2147483647 65270 216 | 0.000 % |
47.45/47.59 c | 65503 | 15565 66670 202660 | 2147483647 65503 216 | 0.000 % |
47.75/47.82 c | 65759 | 15565 66670 202660 | 2147483647 65759 216 | 0.000 % |
47.95/48.08 c | 66041 | 15565 66670 202660 | 2147483647 66041 216 | 0.000 % |
48.26/48.34 c | 66350 | 15565 66670 202660 | 2147483647 66350 216 | 0.000 % |
48.55/48.64 c | 66689 | 15565 66670 202660 | 2147483647 66689 216 | 0.000 % |
48.85/48.97 c | 67061 | 15565 66670 202660 | 2147483647 67061 216 | 0.000 % |
49.25/49.35 c | 67470 | 15565 66670 202660 | 2147483647 67470 216 | 0.000 % |
49.66/49.73 c | 67920 | 15565 66670 202660 | 2147483647 67920 216 | 0.000 % |
50.06/50.18 c | 68414 | 15565 66670 202660 | 2147483647 68414 216 | 0.000 % |
50.56/50.65 c | 68958 | 15565 66670 202660 | 2147483647 68958 216 | 0.000 % |
51.15/51.24 c | 69554 | 15565 66670 202660 | 2147483647 69554 216 | 0.000 % |
51.75/51.87 c | 70210 | 15565 66670 202660 | 2147483647 70210 217 | 0.000 % |
52.45/52.56 c | 70930 | 15565 66670 202660 | 2147483647 70930 217 | 0.000 % |
53.15/53.29 c | 71722 | 15565 66670 202660 | 2147483647 71722 217 | 0.000 % |
53.95/54.08 c | 72593 | 15565 66670 202660 | 2147483647 72593 217 | 0.000 % |
54.05/54.19 c | 72694 | 15565 66670 202660 | 2147483647 72694 217 | 0.000 % |
54.25/54.32 c | 72804 | 15565 66670 202660 | 2147483647 72804 217 | 0.000 % |
54.35/54.46 c | 72925 | 15565 66670 202660 | 2147483647 72925 217 | 0.000 % |
54.55/54.60 c | 73058 | 15565 66670 202660 | 2147483647 73058 217 | 0.000 % |
54.65/54.74 c | 73204 | 15565 66670 202660 | 2147483647 73204 217 | 0.000 % |
54.75/54.90 c | 73366 | 15565 66670 202660 | 2147483647 73366 217 | 0.000 % |
54.95/55.08 c | 73542 | 15565 66670 202660 | 2147483647 73542 217 | 0.000 % |
55.15/55.28 c | 73735 | 15565 66670 202660 | 2147483647 73735 217 | 0.000 % |
55.45/55.51 c | 73947 | 15565 66670 202660 | 2147483647 73947 217 | 0.000 % |
55.65/55.74 c | 74180 | 15565 66670 202660 | 2147483647 74180 217 | 0.000 % |
55.95/56.00 c | 74436 | 15565 66670 202660 | 2147483647 74436 217 | 0.000 % |
56.15/56.26 c | 74717 | 15565 66670 202660 | 2147483647 74717 217 | 0.000 % |
56.45/56.55 c | 75028 | 15565 66670 202660 | 2147483647 75028 217 | 0.000 % |
56.75/56.89 c | 75368 | 15565 66670 202660 | 2147483647 75368 217 | 0.000 % |
57.16/57.26 c | 75741 | 15565 66670 202660 | 2147483647 75741 217 | 0.000 % |
57.55/57.64 c | 76151 | 15565 66670 202660 | 2147483647 76151 217 | 0.000 % |
57.95/58.06 c | 76601 | 15565 66670 202660 | 2147483647 76601 216 | 0.000 % |
58.45/58.56 c | 77094 | 15565 66670 202660 | 2147483647 77094 216 | 0.000 % |
58.95/59.08 c | 77636 | 15565 66670 202660 | 2147483647 77636 216 | 0.000 % |
59.55/59.64 c | 78232 | 15565 66670 202660 | 2147483647 78232 217 | 0.000 % |
60.14/60.24 c | 78887 | 15565 66670 202660 | 2147483647 78887 217 | 0.000 % |
60.85/60.93 c | 79607 | 15565 66670 202660 | 2147483647 79607 217 | 0.000 % |
61.55/61.67 c | 80400 | 15565 66670 202660 | 2147483647 80400 217 | 0.000 % |
62.45/62.52 c | 81274 | 15565 66670 202660 | 2147483647 81274 218 | 0.000 % |
63.35/63.49 c | 82232 | 15565 66670 202660 | 2147483647 82232 220 | 0.000 % |
63.55/63.60 c | 82333 | 15565 66670 202660 | 2147483647 82333 219 | 0.000 % |
63.65/63.73 c | 82444 | 15565 66670 202660 | 2147483647 82444 219 | 0.000 % |
63.75/63.86 c | 82565 | 15565 66670 202660 | 2147483647 82565 219 | 0.000 % |
63.94/64.03 c | 82699 | 15565 66670 202660 | 2147483647 82699 219 | 0.000 % |
64.04/64.19 c | 82846 | 15565 66670 202660 | 2147483647 82846 219 | 0.000 % |
64.24/64.36 c | 83006 | 15565 66670 202660 | 2147483647 83006 219 | 0.000 % |
64.45/64.58 c | 83184 | 15565 66670 202660 | 2147483647 83184 219 | 0.000 % |
64.65/64.80 c | 83377 | 15565 66670 202660 | 2147483647 83377 219 | 0.000 % |
64.95/65.00 c | 83589 | 15565 66670 202660 | 2147483647 83589 219 | 0.000 % |
65.15/65.28 c | 83823 | 15565 66670 202660 | 2147483647 83823 219 | 0.000 % |
65.45/65.56 c | 84082 | 15565 66670 202660 | 2147483647 84082 219 | 0.000 % |
65.75/65.85 c | 84364 | 15565 66670 202660 | 2147483647 84364 219 | 0.000 % |
66.05/66.18 c | 84675 | 15565 66670 202660 | 2147483647 84675 219 | 0.000 % |
66.45/66.52 c | 85014 | 15565 66670 202660 | 2147483647 85014 219 | 0.000 % |
66.84/66.91 c | 85386 | 15565 66670 202660 | 2147483647 85386 219 | 0.000 % |
67.24/67.34 c | 85797 | 15565 66670 202660 | 2147483647 85797 219 | 0.000 % |
67.74/67.81 c | 86251 | 15565 66670 202660 | 2147483647 86251 219 | 0.000 % |
68.24/68.34 c | 86746 | 15565 66670 202660 | 2147483647 86746 219 | 0.000 % |
68.75/68.88 c | 87288 | 15565 66670 202660 | 2147483647 87288 219 | 0.000 % |
69.34/69.46 c | 87885 | 15565 66670 202660 | 2147483647 87885 219 | 0.000 % |
70.04/70.17 c | 88540 | 15565 66670 202660 | 2147483647 88540 220 | 0.000 % |
70.74/70.89 c | 89262 | 15565 66670 202660 | 2147483647 89262 220 | 0.000 % |
71.64/71.74 c | 90054 | 15565 66670 202660 | 2147483647 90054 221 | 0.000 % |
72.55/72.62 c | 90925 | 15565 66670 202660 | 2147483647 90925 221 | 0.000 % |
73.44/73.59 c | 91885 | 15565 66670 202660 | 2147483647 91885 222 | 0.000 % |
74.64/74.71 c | 92938 | 15565 66670 202660 | 2147483647 92938 222 | 0.000 % |
74.74/74.82 c | 93038 | 15565 66670 202660 | 2147483647 93038 222 | 0.000 % |
74.84/74.97 c | 93150 | 15565 66670 202660 | 2147483647 93150 222 | 0.000 % |
75.04/75.12 c | 93271 | 15565 66670 202660 | 2147483647 93271 222 | 0.000 % |
75.14/75.28 c | 93404 | 15565 66670 202660 | 2147483647 93404 222 | 0.000 % |
75.34/75.45 c | 93551 | 15565 66670 202660 | 2147483647 93551 222 | 0.000 % |
75.54/75.66 c | 93711 | 15565 66670 202660 | 2147483647 93711 222 | 0.000 % |
75.74/75.88 c | 93887 | 15565 66670 202660 | 2147483647 93887 222 | 0.000 % |
76.04/76.10 c | 94083 | 15565 66670 202660 | 2147483647 94083 222 | 0.000 % |
76.24/76.35 c | 94295 | 15565 66670 202660 | 2147483647 94295 222 | 0.000 % |
76.54/76.61 c | 94530 | 15565 66670 202660 | 2147483647 94530 222 | 0.000 % |
76.74/76.90 c | 94786 | 15565 66670 202660 | 2147483647 94786 222 | 0.000 % |
77.14/77.22 c | 95068 | 15565 66670 202660 | 2147483647 95068 222 | 0.000 % |
77.44/77.55 c | 95377 | 15565 66670 202660 | 2147483647 95377 222 | 0.000 % |
77.84/77.95 c | 95721 | 15565 66670 202660 | 2147483647 95721 222 | 0.000 % |
78.24/78.31 c | 96094 | 15565 66670 202660 | 2147483647 96094 222 | 0.000 % |
78.64/78.73 c | 96504 | 15565 66670 202660 | 2147483647 96504 222 | 0.000 % |
79.15/79.24 c | 96954 | 15565 66670 202660 | 2147483647 96954 222 | 0.000 % |
79.74/79.83 c | 97447 | 15565 66670 202660 | 2147483647 97447 223 | 0.000 % |
80.24/80.40 c | 97989 | 15565 66670 202660 | 2147483647 97989 223 | 0.000 % |
80.84/80.96 c | 98585 | 15565 66670 202660 | 2147483647 98585 224 | 0.000 % |
81.54/81.68 c | 99246 | 15565 66670 202660 | 2147483647 99246 224 | 0.000 % |
82.34/82.44 c | 99966 | 15565 66670 202660 | 2147483647 99966 224 | 0.000 % |
83.24/83.30 c | 100758 | 15565 66670 202660 | 2147483647 100758 224 | 0.000 % |
84.14/84.22 c | 101630 | 15565 66670 202660 | 2147483647 101630 224 | 0.000 % |
85.14/85.24 c | 102588 | 15565 66670 202660 | 2147483647 102588 225 | 0.000 % |
86.24/86.38 c | 103642 | 15565 66670 202660 | 2147483647 103642 225 | 0.000 % |
87.54/87.61 c | 104800 | 15565 66670 202660 | 2147483647 104800 226 | 0.000 % |
87.64/87.73 c | 104900 | 15565 66670 202660 | 2147483647 104900 225 | 0.000 % |
87.74/87.87 c | 105010 | 15565 66670 202660 | 2147483647 105010 225 | 0.000 % |
87.94/88.03 c | 105131 | 15565 66670 202660 | 2147483647 105131 225 | 0.000 % |
88.04/88.17 c | 105266 | 15565 66670 202660 | 2147483647 105266 225 | 0.000 % |
88.24/88.37 c | 105414 | 15565 66670 202660 | 2147483647 105414 225 | 0.000 % |
88.44/88.56 c | 105574 | 15565 66670 202660 | 2147483647 105574 225 | 0.000 % |
88.74/88.81 c | 105750 | 15565 66670 202660 | 2147483647 105750 225 | 0.000 % |
88.94/89.05 c | 105944 | 15565 66670 202660 | 2147483647 105944 225 | 0.000 % |
89.14/89.29 c | 106156 | 15565 66670 202660 | 2147483647 106156 225 | 0.000 % |
89.44/89.56 c | 106391 | 15565 66670 202660 | 2147483647 106391 225 | 0.000 % |
89.74/89.88 c | 106647 | 15565 66670 202660 | 2147483647 106647 225 | 0.000 % |
90.14/90.22 c | 106929 | 15565 66670 202660 | 2147483647 106929 225 | 0.000 % |
90.43/90.58 c | 107238 | 15565 66670 202660 | 2147483647 107238 225 | 0.000 % |
90.83/90.95 c | 107579 | 15565 66670 202660 | 2147483647 107579 225 | 0.000 % |
91.25/91.39 c | 107952 | 15565 66670 202660 | 2147483647 107952 225 | 0.000 % |
91.74/91.88 c | 108361 | 15565 66670 202660 | 2147483647 108361 225 | 0.000 % |
92.34/92.42 c | 108810 | 15565 66670 202660 | 2147483647 108810 225 | 0.000 % |
92.84/92.95 c | 109303 | 15565 66670 202660 | 2147483647 109303 225 | 0.000 % |
93.44/93.54 c | 109845 | 15565 66670 202660 | 2147483647 109845 225 | 0.000 % |
94.13/94.22 c | 110443 | 15565 66670 202660 | 2147483647 110443 225 | 0.000 % |
94.83/94.96 c | 111098 | 15565 66670 202660 | 2147483647 111098 225 | 0.000 % |
95.74/95.80 c | 111818 | 15565 66670 202660 | 2147483647 111818 225 | 0.000 % |
96.53/96.69 c | 112611 | 15565 66670 202660 | 2147483647 112611 225 | 0.000 % |
97.53/97.63 c | 113482 | 15565 66670 202660 | 2147483647 113482 226 | 0.000 % |
98.63/98.72 c | 114440 | 15565 66670 202660 | 2147483647 114440 225 | 0.000 % |
99.83/99.90 c | 115494 | 15565 66670 202660 | 2147483647 115494 226 | 0.000 % |
101.03/101.12 c | 116653 | 15565 66670 202660 | 2147483647 116653 228 | 0.000 % |
102.53/102.64 c | 117926 | 15565 66670 202660 | 2147483647 117926 228 | 0.000 % |
102.63/102.78 c | 118028 | 15565 66670 202660 | 2147483647 118028 228 | 0.000 % |
102.83/102.95 c | 118139 | 15565 66670 202660 | 2147483647 118139 228 | 0.000 % |
103.03/103.10 c | 118262 | 15565 66670 202660 | 2147483647 118262 228 | 0.000 % |
103.13/103.27 c | 118395 | 15565 66670 202660 | 2147483647 118395 228 | 0.000 % |
103.34/103.48 c | 118541 | 15565 66670 202660 | 2147483647 118541 228 | 0.000 % |
103.53/103.69 c | 118701 | 15565 66670 202660 | 2147483647 118701 228 | 0.000 % |
103.83/103.95 c | 118877 | 15565 66670 202660 | 2147483647 118877 228 | 0.000 % |
104.13/104.21 c | 119072 | 15565 66670 202660 | 2147483647 119072 228 | 0.000 % |
104.33/104.49 c | 119284 | 15565 66670 202660 | 2147483647 119284 228 | 0.000 % |
104.63/104.77 c | 119517 | 15565 66670 202660 | 2147483647 119517 228 | 0.000 % |
105.03/105.13 c | 119773 | 15565 66670 202660 | 2147483647 119773 228 | 0.000 % |
105.43/105.51 c | 120054 | 15565 66670 202660 | 2147483647 120054 228 | 0.000 % |
105.73/105.88 c | 120363 | 15565 66670 202660 | 2147483647 120363 228 | 0.000 % |
106.12/106.28 c | 120702 | 15565 66670 202660 | 2147483647 120702 228 | 0.000 % |
106.63/106.73 c | 121074 | 15565 66670 202660 | 2147483647 121074 228 | 0.000 % |
107.13/107.21 c | 121483 | 15565 66670 202660 | 2147483647 121483 228 | 0.000 % |
107.63/107.78 c | 121934 | 15565 66670 202660 | 2147483647 121934 228 | 0.000 % |
108.22/108.35 c | 122427 | 15565 66670 202660 | 2147483647 122427 228 | 0.000 % |
108.93/109.02 c | 122969 | 15565 66670 202660 | 2147483647 122969 228 | 0.000 % |
109.63/109.74 c | 123566 | 15565 66670 202660 | 2147483647 123566 228 | 0.000 % |
110.43/110.52 c | 124221 | 15565 66670 202660 | 2147483647 124221 228 | 0.000 % |
111.23/111.37 c | 124941 | 15565 66670 202660 | 2147483647 124941 228 | 0.000 % |
112.22/112.32 c | 125735 | 15565 66670 202660 | 2147483647 125735 228 | 0.000 % |
113.23/113.38 c | 126607 | 15565 66670 202660 | 2147483647 126607 228 | 0.000 % |
114.43/114.56 c | 127565 | 15565 66670 202660 | 2147483647 127565 229 | 0.000 % |
115.72/115.81 c | 128619 | 15565 66670 202660 | 2147483647 128619 229 | 0.000 % |
117.13/117.25 c | 129777 | 15565 66670 202660 | 2147483647 129777 229 | 0.000 % |
118.73/118.85 c | 131050 | 15565 66670 202660 | 2147483647 131050 229 | 0.000 % |
120.42/120.58 c | 132450 | 15565 66670 202660 | 2147483647 132450 229 | 0.000 % |
120.62/120.72 c | 132550 | 15565 66670 202660 | 2147483647 132550 229 | 0.000 % |
120.82/120.91 c | 132661 | 15565 66670 202660 | 2147483647 132661 229 | 0.000 % |
120.92/121.09 c | 132782 | 15565 66670 202660 | 2147483647 132782 229 | 0.000 % |
121.12/121.29 c | 132915 | 15565 66670 202660 | 2147483647 132915 229 | 0.000 % |
121.42/121.50 c | 133062 | 15565 66670 202660 | 2147483647 133062 229 | 0.000 % |
121.62/121.74 c | 133224 | 15565 66670 202660 | 2147483647 133224 229 | 0.000 % |
121.82/121.98 c | 133400 | 15565 66670 202660 | 2147483647 133400 229 | 0.000 % |
122.12/122.24 c | 133593 | 15565 66670 202660 | 2147483647 133593 229 | 0.000 % |
122.42/122.51 c | 133805 | 15565 66670 202660 | 2147483647 133805 229 | 0.000 % |
122.72/122.85 c | 134038 | 15565 66670 202660 | 2147483647 134038 229 | 0.000 % |
123.13/123.24 c | 134297 | 15565 66670 202660 | 2147483647 134297 229 | 0.000 % |
123.53/123.63 c | 134579 | 15565 66670 202660 | 2147483647 134579 229 | 0.000 % |
123.92/124.01 c | 134890 | 15565 66670 202660 | 2147483647 134890 229 | 0.000 % |
124.32/124.47 c | 135230 | 15565 66670 202660 | 2147483647 135230 229 | 0.000 % |
124.82/124.96 c | 135603 | 15565 66670 202660 | 2147483647 135603 229 | 0.000 % |
125.33/125.45 c | 136013 | 15565 66670 202660 | 2147483647 136013 229 | 0.000 % |
125.92/126.07 c | 136462 | 15565 66670 202660 | 2147483647 136462 229 | 0.000 % |
126.62/126.75 c | 136955 | 15565 66670 202660 | 2147483647 136955 229 | 0.000 % |
127.22/127.39 c | 137497 | 15565 66670 202660 | 2147483647 137497 229 | 0.000 % |
128.02/128.15 c | 138096 | 15565 66670 202660 | 2147483647 138096 229 | 0.000 % |
128.82/128.99 c | 138751 | 15565 66670 202660 | 2147483647 138751 229 | 0.000 % |
129.82/129.93 c | 139471 | 15565 66670 202660 | 2147483647 139471 229 | 0.000 % |
130.83/130.99 c | 140264 | 15565 66670 202660 | 2147483647 140264 229 | 0.000 % |
132.02/132.11 c | 141135 | 15565 66670 202660 | 2147483647 141135 229 | 0.000 % |
133.21/133.34 c | 142093 | 15565 66670 202660 | 2147483647 142093 230 | 0.000 % |
134.52/134.69 c | 143146 | 15565 66670 202660 | 2147483647 143146 230 | 0.000 % |
136.02/136.18 c | 144304 | 15565 66670 202660 | 2147483647 144304 230 | 0.000 % |
137.62/137.79 c | 145577 | 15565 66670 202660 | 2147483647 145577 230 | 0.000 % |
139.42/139.58 c | 146977 | 15565 66670 202660 | 2147483647 146977 230 | 0.000 % |
141.42/141.55 c | 148519 | 15565 66670 202660 | 2147483647 148519 230 | 0.000 % |
141.61/141.73 c | 148622 | 15565 66670 202660 | 2147483647 148622 230 | 0.000 % |
141.82/141.90 c | 148733 | 15565 66670 202660 | 2147483647 148733 230 | 0.000 % |
141.91/142.08 c | 148854 | 15565 66670 202660 | 2147483647 148854 230 | 0.000 % |
142.21/142.30 c | 148987 | 15565 66670 202660 | 2147483647 148987 230 | 0.000 % |
142.41/142.56 c | 149133 | 15565 66670 202660 | 2147483647 149133 230 | 0.000 % |
142.61/142.77 c | 149293 | 15565 66670 202660 | 2147483647 149293 230 | 0.000 % |
142.92/143.06 c | 149471 | 15565 66670 202660 | 2147483647 149471 230 | 0.000 % |
143.21/143.36 c | 149664 | 15565 66670 202660 | 2147483647 149664 230 | 0.000 % |
143.51/143.64 c | 149876 | 15565 66670 202660 | 2147483647 149876 230 | 0.000 % |
143.82/143.98 c | 150110 | 15565 66670 202660 | 2147483647 150110 230 | 0.000 % |
144.22/144.35 c | 150367 | 15565 66670 202660 | 2147483647 150367 230 | 0.000 % |
144.62/144.74 c | 150652 | 15565 66670 202660 | 2147483647 150652 230 | 0.000 % |
145.02/145.18 c | 150961 | 15565 66670 202660 | 2147483647 150961 230 | 0.000 % |
145.51/145.67 c | 151300 | 15565 66670 202660 | 2147483647 151300 230 | 0.000 % |
146.01/146.20 c | 151674 | 15565 66670 202660 | 2147483647 151674 230 | 0.000 % |
146.61/146.72 c | 152083 | 15565 66670 202660 | 2147483647 152083 230 | 0.000 % |
147.22/147.34 c | 152532 | 15565 66670 202660 | 2147483647 152532 230 | 0.000 % |
147.91/148.06 c | 153027 | 15565 66670 202660 | 2147483647 153027 230 | 0.000 % |
148.71/148.82 c | 153570 | 15565 66670 202660 | 2147483647 153570 230 | 0.000 % |
149.52/149.65 c | 154168 | 15565 66670 202660 | 2147483647 154168 230 | 0.000 % |
150.41/150.53 c | 154823 | 15565 66670 202660 | 2147483647 154823 230 | 0.000 % |
151.41/151.51 c | 155543 | 15565 66670 202660 | 2147483647 155543 231 | 0.000 % |
152.41/152.56 c | 156335 | 15565 66670 202660 | 2147483647 156335 231 | 0.000 % |
153.61/153.75 c | 157208 | 15565 66670 202660 | 2147483647 157208 231 | 0.000 % |
154.81/154.98 c | 158169 | 15565 66670 202660 | 2147483647 158169 231 | 0.000 % |
156.31/156.47 c | 159222 | 15565 66670 202660 | 2147483647 159222 231 | 0.000 % |
157.81/157.99 c | 160380 | 15565 66670 202660 | 2147483647 160380 231 | 0.000 % |
159.61/159.73 c | 161654 | 15565 66670 202660 | 2147483647 161654 231 | 0.000 % |
161.61/161.71 c | 163054 | 15565 66670 202660 | 2147483647 163054 231 | 0.000 % |
163.82/163.91 c | 164594 | 15565 66670 202660 | 2147483647 164594 231 | 0.000 % |
166.11/166.25 c | 166288 | 15565 66670 202660 | 2147483647 166288 232 | 0.000 % |
166.31/166.43 c | 166389 | 15565 66670 202660 | 2147483647 166389 232 | 0.000 % |
166.51/166.60 c | 166499 | 15565 66670 202660 | 2147483647 166499 232 | 0.000 % |
166.71/166.81 c | 166621 | 15565 66670 202660 | 2147483647 166621 232 | 0.000 % |
166.91/167.02 c | 166755 | 15565 66670 202660 | 2147483647 166755 231 | 0.000 % |
167.11/167.24 c | 166901 | 15565 66670 202660 | 2147483647 166901 231 | 0.000 % |
167.31/167.49 c | 167061 | 15565 66670 202660 | 2147483647 167061 231 | 0.000 % |
167.60/167.76 c | 167237 | 15565 66670 202660 | 2147483647 167237 231 | 0.000 % |
167.90/168.07 c | 167430 | 15565 66670 202660 | 2147483647 167430 231 | 0.000 % |
168.21/168.39 c | 167642 | 15565 66670 202660 | 2147483647 167642 231 | 0.000 % |
168.60/168.73 c | 167875 | 15565 66670 202660 | 2147483647 167875 231 | 0.000 % |
169.00/169.16 c | 168131 | 15565 66670 202660 | 2147483647 168131 231 | 0.000 % |
169.40/169.59 c | 168412 | 15565 66670 202660 | 2147483647 168412 231 | 0.000 % |
169.90/170.01 c | 168721 | 15565 66670 202660 | 2147483647 168721 231 | 0.000 % |
170.40/170.50 c | 169060 | 15565 66670 202660 | 2147483647 169060 231 | 0.000 % |
171.01/171.10 c | 169432 | 15565 66670 202660 | 2147483647 169432 231 | 0.000 % |
171.51/171.67 c | 169841 | 15565 66670 202660 | 2147483647 169841 231 | 0.000 % |
172.21/172.35 c | 170290 | 15565 66670 202660 | 2147483647 170290 231 | 0.000 % |
172.90/173.02 c | 170783 | 15565 66670 202660 | 2147483647 170783 231 | 0.000 % |
173.71/173.81 c | 171325 | 15565 66670 202660 | 2147483647 171325 231 | 0.000 % |
174.60/174.74 c | 171924 | 15565 66670 202660 | 2147483647 171924 231 | 0.000 % |
175.60/175.71 c | 172579 | 15565 66670 202660 | 2147483647 172579 231 | 0.000 % |
176.70/176.86 c | 173300 | 15565 66670 202660 | 2147483647 173300 231 | 0.000 % |
177.91/178.01 c | 174094 | 15565 66670 202660 | 2147483647 174094 231 | 0.000 % |
179.21/179.33 c | 174965 | 15565 66670 202660 | 2147483647 174965 232 | 0.000 % |
180.60/180.71 c | 175923 | 15565 66670 202660 | 2147483647 175923 232 | 0.000 % |
182.10/182.27 c | 176976 | 15565 66670 202660 | 2147483647 176976 232 | 0.000 % |
183.80/183.95 c | 178134 | 15565 66670 202660 | 2147483647 178134 232 | 0.000 % |
185.70/185.80 c | 179407 | 15565 66670 202660 | 2147483647 179407 232 | 0.000 % |
187.90/188.06 c | 180809 | 15565 66670 202660 | 2147483647 180809 232 | 0.000 % |
190.00/190.15 c | 182353 | 15565 66670 202660 | 2147483647 182353 233 | 0.000 % |
192.40/192.52 c | 184047 | 15565 66670 202660 | 2147483647 184047 233 | 0.000 % |
195.10/195.25 c | 185911 | 15565 66670 202660 | 2147483647 185911 234 | 0.000 % |
195.30/195.44 c | 186011 | 15565 66670 202660 | 2147483647 186011 234 | 0.000 % |
195.50/195.67 c | 186121 | 15565 66670 202660 | 2147483647 186121 234 | 0.000 % |
195.70/195.88 c | 186243 | 15565 66670 202660 | 2147483647 186243 234 | 0.000 % |
196.00/196.11 c | 186379 | 15565 66670 202660 | 2147483647 186379 234 | 0.000 % |
196.20/196.32 c | 186526 | 15565 66670 202660 | 2147483647 186526 234 | 0.000 % |
196.50/196.62 c | 186686 | 15565 66670 202660 | 2147483647 186686 234 | 0.000 % |
196.80/196.93 c | 186862 | 15565 66670 202660 | 2147483647 186862 234 | 0.000 % |
197.10/197.26 c | 187055 | 15565 66670 202660 | 2147483647 187055 234 | 0.000 % |
197.50/197.65 c | 187268 | 15565 66670 202660 | 2147483647 187268 234 | 0.000 % |
197.90/198.00 c | 187504 | 15565 66670 202660 | 2147483647 187504 234 | 0.000 % |
198.29/198.47 c | 187760 | 15565 66670 202660 | 2147483647 187760 234 | 0.000 % |
198.79/198.94 c | 188041 | 15565 66670 202660 | 2147483647 188041 234 | 0.000 % |
199.29/199.45 c | 188351 | 15565 66670 202660 | 2147483647 188351 233 | 0.000 % |
199.89/200.01 c | 188690 | 15565 66670 202660 | 2147483647 188690 234 | 0.000 % |
200.49/200.63 c | 189062 | 15565 66670 202660 | 2147483647 189062 234 | 0.000 % |
201.10/201.27 c | 189471 | 15565 66670 202660 | 2147483647 189471 234 | 0.000 % |
201.90/202.00 c | 189920 | 15565 66670 202660 | 2147483647 189920 234 | 0.000 % |
202.60/202.78 c | 190414 | 15565 66670 202660 | 2147483647 190414 234 | 0.000 % |
203.49/203.60 c | 190956 | 15565 66670 202660 | 2147483647 190956 234 | 0.000 % |
204.40/204.57 c | 191552 | 15565 66670 202660 | 2147483647 191552 234 | 0.000 % |
205.49/205.63 c | 192209 | 15565 66670 202660 | 2147483647 192209 234 | 0.000 % |
206.69/206.85 c | 192929 | 15565 66670 202660 | 2147483647 192929 234 | 0.000 % |
208.00/208.13 c | 193722 | 15565 66670 202660 | 2147483647 193722 234 | 0.000 % |
209.29/209.44 c | 194595 | 15565 66670 202660 | 2147483647 194595 234 | 0.000 % |
210.79/210.93 c | 195554 | 15565 66670 202660 | 2147483647 195554 234 | 0.000 % |
212.38/212.57 c | 196607 | 15565 66670 202660 | 2147483647 196607 234 | 0.000 % |
214.19/214.32 c | 197765 | 15565 66670 202660 | 2147483647 197765 234 | 0.000 % |
216.19/216.30 c | 199038 | 15565 66670 202660 | 2147483647 199038 234 | 0.000 % |
218.39/218.52 c | 200438 | 15565 66670 202660 | 2147483647 200438 235 | 0.000 % |
220.89/221.09 c | 201978 | 15565 66670 202660 | 2147483647 201978 235 | 0.000 % |
223.59/223.75 c | 203672 | 15565 66670 202660 | 2147483647 203672 235 | 0.000 % |
226.49/226.61 c | 205535 | 15565 66670 202660 | 2147483647 205535 235 | 0.000 % |
229.88/230.02 c | 207585 | 15565 66670 202660 | 2147483647 207585 235 | 0.000 % |
230.08/230.23 c | 207685 | 15565 66670 202660 | 2147483647 207685 235 | 0.000 % |
230.28/230.42 c | 207795 | 15565 66670 202660 | 2147483647 207795 235 | 0.000 % |
230.48/230.64 c | 207916 | 15565 66670 202660 | 2147483647 207916 235 | 0.000 % |
230.79/230.91 c | 208050 | 15565 66670 202660 | 2147483647 208050 235 | 0.000 % |
231.08/231.20 c | 208196 | 15565 66670 202660 | 2147483647 208196 235 | 0.000 % |
231.38/231.51 c | 208356 | 15565 66670 202660 | 2147483647 208356 235 | 0.000 % |
231.68/231.82 c | 208532 | 15565 66670 202660 | 2147483647 208532 235 | 0.000 % |
231.98/232.20 c | 208725 | 15565 66670 202660 | 2147483647 208725 235 | 0.000 % |
232.38/232.58 c | 208937 | 15565 66670 202660 | 2147483647 208937 235 | 0.000 % |
232.78/232.97 c | 209171 | 15565 66670 202660 | 2147483647 209171 235 | 0.000 % |
233.28/233.42 c | 209427 | 15565 66670 202660 | 2147483647 209427 235 | 0.000 % |
233.68/233.89 c | 209711 | 15565 66670 202660 | 2147483647 209711 235 | 0.000 % |
234.29/234.42 c | 210020 | 15565 66670 202660 | 2147483647 210020 235 | 0.000 % |
234.89/235.07 c | 210359 | 15565 66670 202660 | 2147483647 210359 235 | 0.000 % |
235.59/235.74 c | 210735 | 15565 66670 202660 | 2147483647 210735 235 | 0.000 % |
236.29/236.47 c | 211144 | 15565 66670 202660 | 2147483647 211144 235 | 0.000 % |
236.89/237.09 c | 211596 | 15565 66670 202660 | 2147483647 211596 235 | 0.000 % |
237.78/237.97 c | 212091 | 15565 66670 202660 | 2147483647 212091 235 | 0.000 % |
238.68/238.85 c | 212634 | 15565 66670 202660 | 2147483647 212634 235 | 0.000 % |
239.68/239.84 c | 213230 | 15565 66670 202660 | 2147483647 213230 235 | 0.000 % |
240.78/240.96 c | 213887 | 15565 66670 202660 | 2147483647 213887 235 | 0.000 % |
241.98/242.10 c | 214608 | 15565 66670 202660 | 2147483647 214608 235 | 0.000 % |
243.28/243.42 c | 215400 | 15565 66670 202660 | 2147483647 215400 235 | 0.000 % |
244.78/244.93 c | 216271 | 15565 66670 202660 | 2147483647 216271 235 | 0.000 % |
246.48/246.61 c | 217230 | 15565 66670 202660 | 2147483647 217230 235 | 0.000 % |
248.17/248.36 c | 218283 | 15565 66670 202660 | 2147483647 218283 235 | 0.000 % |
249.97/250.18 c | 219443 | 15565 66670 202660 | 2147483647 219443 235 | 0.000 % |
252.08/252.28 c | 220716 | 15565 66670 202660 | 2147483647 220716 236 | 0.000 % |
254.38/254.51 c | 222116 | 15565 66670 202660 | 2147483647 222116 236 | 0.000 % |
256.77/256.95 c | 223656 | 15565 66670 202660 | 2147483647 223656 236 | 0.000 % |
259.57/259.75 c | 225351 | 15565 66670 202660 | 2147483647 225351 236 | 0.000 % |
262.68/262.84 c | 227216 | 15565 66670 202660 | 2147483647 227216 237 | 0.000 % |
266.08/266.23 c | 229267 | 15565 66670 202660 | 2147483647 229267 237 | 0.000 % |
269.77/269.97 c | 231520 | 15565 66670 202660 | 2147483647 231520 238 | 0.000 % |
270.07/270.22 c | 231620 | 15565 66670 202660 | 2147483647 231620 238 | 0.000 % |
270.28/270.44 c | 231730 | 15565 66670 202660 | 2147483647 231730 238 | 0.000 % |
270.48/270.68 c | 231852 | 15565 66670 202660 | 2147483647 231852 238 | 0.000 % |
270.77/270.98 c | 231986 | 15565 66670 202660 | 2147483647 231986 238 | 0.000 % |
271.17/271.32 c | 232132 | 15565 66670 202660 | 2147483647 232132 238 | 0.000 % |
271.48/271.66 c | 232293 | 15565 66670 202660 | 2147483647 232293 238 | 0.000 % |
271.87/272.02 c | 232469 | 15565 66670 202660 | 2147483647 232469 238 | 0.000 % |
272.27/272.43 c | 232662 | 15565 66670 202660 | 2147483647 232662 237 | 0.000 % |
272.68/272.83 c | 232875 | 15565 66670 202660 | 2147483647 232875 237 | 0.000 % |
273.17/273.30 c | 233108 | 15565 66670 202660 | 2147483647 233108 237 | 0.000 % |
273.57/273.76 c | 233365 | 15565 66670 202660 | 2147483647 233365 237 | 0.000 % |
274.07/274.29 c | 233647 | 15565 66670 202660 | 2147483647 233647 237 | 0.000 % |
274.67/274.84 c | 233956 | 15565 66670 202660 | 2147483647 233956 237 | 0.000 % |
275.36/275.54 c | 234295 | 15565 66670 202660 | 2147483647 234295 237 | 0.000 % |
276.07/276.26 c | 234668 | 15565 66670 202660 | 2147483647 234668 237 | 0.000 % |
276.87/277.01 c | 235078 | 15565 66670 202660 | 2147483647 235078 237 | 0.000 % |
277.67/277.89 c | 235527 | 15565 66670 202660 | 2147483647 235527 237 | 0.000 % |
278.77/278.91 c | 236020 | 15565 66670 202660 | 2147483647 236020 237 | 0.000 % |
279.77/279.92 c | 236563 | 15565 66670 202660 | 2147483647 236563 237 | 0.000 % |
280.86/281.07 c | 237160 | 15565 66670 202660 | 2147483647 237160 237 | 0.000 % |
282.06/282.26 c | 237816 | 15565 66670 202660 | 2147483647 237816 237 | 0.000 % |
283.26/283.47 c | 238536 | 15565 66670 202660 | 2147483647 238536 237 | 0.000 % |
284.67/284.90 c | 239329 | 15565 66670 202660 | 2147483647 239329 237 | 0.000 % |
286.26/286.47 c | 240201 | 15565 66670 202660 | 2147483647 240201 237 | 0.000 % |
288.06/288.26 c | 241160 | 15565 66670 202660 | 2147483647 241160 237 | 0.000 % |
289.96/290.11 c | 242214 | 15565 66670 202660 | 2147483647 242214 237 | 0.000 % |
292.06/292.22 c | 243373 | 15565 66670 202660 | 2147483647 243373 238 | 0.000 % |
294.06/294.27 c | 244648 | 15565 66670 202660 | 2147483647 244648 239 | 0.000 % |
296.46/296.69 c | 246049 | 15565 66670 202660 | 2147483647 246049 239 | 0.000 % |
299.36/299.52 c | 247593 | 15565 66670 202660 | 2147483647 247593 239 | 0.000 % |
302.26/302.50 c | 249287 | 15565 66670 202660 | 2147483647 249287 239 | 0.000 % |
305.56/305.74 c | 251151 | 15565 66670 202660 | 2147483647 251151 239 | 0.000 % |
309.26/309.48 c | 253202 | 15565 66670 202660 | 2147483647 253202 240 | 0.000 % |
313.46/313.62 c | 255455 | 15565 66670 202660 | 2147483647 255455 240 | 0.000 % |
317.86/318.02 c | 257933 | 15565 66670 202660 | 2147483647 257933 240 | 0.000 % |
318.06/318.27 c | 258033 | 15565 66670 202660 | 2147483647 258033 240 | 0.000 % |
318.36/318.52 c | 258144 | 15565 66670 202660 | 2147483647 258144 240 | 0.000 % |
318.65/318.81 c | 258265 | 15565 66670 202660 | 2147483647 258265 240 | 0.000 % |
318.95/319.12 c | 258398 | 15565 66670 202660 | 2147483647 258398 240 | 0.000 % |
319.25/319.45 c | 258544 | 15565 66670 202660 | 2147483647 258544 240 | 0.000 % |
319.55/319.79 c | 258705 | 15565 66670 202660 | 2147483647 258705 240 | 0.000 % |
320.05/320.22 c | 258881 | 15565 66670 202660 | 2147483647 258881 240 | 0.000 % |
320.45/320.60 c | 259074 | 15565 66670 202660 | 2147483647 259074 240 | 0.000 % |
320.85/321.09 c | 259286 | 15565 66670 202660 | 2147483647 259286 240 | 0.000 % |
321.35/321.59 c | 259519 | 15565 66670 202660 | 2147483647 259519 240 | 0.000 % |
321.95/322.17 c | 259777 | 15565 66670 202660 | 2147483647 259777 240 | 0.000 % |
322.55/322.70 c | 260061 | 15565 66670 202660 | 2147483647 260061 240 | 0.000 % |
323.15/323.37 c | 260371 | 15565 66670 202660 | 2147483647 260371 240 | 0.000 % |
323.85/324.03 c | 260712 | 15565 66670 202660 | 2147483647 260712 240 | 0.000 % |
324.65/324.81 c | 261084 | 15565 66670 202660 | 2147483647 261084 240 | 0.000 % |
325.45/325.65 c | 261494 | 15565 66670 202660 | 2147483647 261494 240 | 0.000 % |
326.35/326.54 c | 261944 | 15565 66670 202660 | 2147483647 261944 240 | 0.000 % |
327.35/327.52 c | 262438 | 15565 66670 202660 | 2147483647 262438 240 | 0.000 % |
328.45/328.69 c | 262980 | 15565 66670 202660 | 2147483647 262980 240 | 0.000 % |
329.54/329.79 c | 263576 | 15565 66670 202660 | 2147483647 263576 240 | 0.000 % |
330.94/331.19 c | 264235 | 15565 66670 202660 | 2147483647 264235 240 | 0.000 % |
332.44/332.63 c | 264957 | 15565 66670 202660 | 2147483647 264957 240 | 0.000 % |
333.95/334.18 c | 265749 | 15565 66670 202660 | 2147483647 265749 240 | 0.000 % |
335.65/335.89 c | 266623 | 15565 66670 202660 | 2147483647 266623 240 | 0.000 % |
337.54/337.75 c | 267582 | 15565 66670 202660 | 2147483647 267582 240 | 0.000 % |
339.54/339.78 c | 268639 | 15565 66670 202660 | 2147483647 268639 240 | 0.000 % |
341.64/341.89 c | 269797 | 15565 66670 202660 | 2147483647 269797 240 | 0.000 % |
344.15/344.37 c | 271070 | 15565 66670 202660 | 2147483647 271070 240 | 0.000 % |
346.94/347.12 c | 272471 | 15565 66670 202660 | 2147483647 272471 240 | 0.000 % |
349.94/350.13 c | 274011 | 15565 66670 202660 | 2147483647 274011 240 | 0.000 % |
353.24/353.41 c | 275706 | 15565 66670 202660 | 2147483647 275706 240 | 0.000 % |
356.63/356.88 c | 277570 | 15565 66670 202660 | 2147483647 277570 241 | 0.000 % |
360.43/360.67 c | 279620 | 15565 66670 202660 | 2147483647 279620 241 | 0.000 % |
364.84/365.07 c | 281873 | 15565 66670 202660 | 2147483647 281873 241 | 0.000 % |
369.73/369.98 c | 284351 | 15565 66670 202660 | 2147483647 284351 241 | 0.000 % |
374.84/375.03 c | 287077 | 15565 66670 202660 | 2147483647 287077 241 | 0.000 % |
375.13/375.36 c | 287177 | 15565 66670 202660 | 2147483647 287177 241 | 0.000 % |
375.43/375.61 c | 287288 | 15565 66670 202660 | 2147483647 287288 241 | 0.000 % |
375.73/375.93 c | 287410 | 15565 66670 202660 | 2147483647 287410 241 | 0.000 % |
376.04/376.27 c | 287544 | 15565 66670 202660 | 2147483647 287544 241 | 0.000 % |
376.43/376.65 c | 287692 | 15565 66670 202660 | 2147483647 287692 241 | 0.000 % |
376.73/376.94 c | 287852 | 15565 66670 202660 | 2147483647 287852 241 | 0.000 % |
377.13/377.39 c | 288028 | 15565 66670 202660 | 2147483647 288028 241 | 0.000 % |
377.63/377.89 c | 288221 | 15565 66670 202660 | 2147483647 288221 241 | 0.000 % |
378.13/378.40 c | 288433 | 15565 66670 202660 | 2147483647 288433 241 | 0.000 % |
378.83/379.01 c | 288667 | 15565 66670 202660 | 2147483647 288667 241 | 0.000 % |
379.43/379.63 c | 288924 | 15565 66670 202660 | 2147483647 288924 241 | 0.000 % |
380.03/380.28 c | 289206 | 15565 66670 202660 | 2147483647 289206 241 | 0.000 % |
380.73/380.94 c | 289516 | 15565 66670 202660 | 2147483647 289516 241 | 0.000 % |
381.54/381.73 c | 289856 | 15565 66670 202660 | 2147483647 289856 241 | 0.000 % |
382.33/382.50 c | 290228 | 15565 66670 202660 | 2147483647 290228 241 | 0.000 % |
383.23/383.44 c | 290639 | 15565 66670 202660 | 2147483647 290639 241 | 0.000 % |
384.23/384.43 c | 291090 | 15565 66670 202660 | 2147483647 291090 241 | 0.000 % |
385.33/385.56 c | 291585 | 15565 66670 202660 | 2147483647 291585 241 | 0.000 % |
386.53/386.73 c | 292128 | 15565 66670 202660 | 2147483647 292128 241 | 0.000 % |
387.83/388.00 c | 292725 | 15565 66670 202660 | 2147483647 292725 241 | 0.000 % |
389.13/389.39 c | 293380 | 15565 66670 202660 | 2147483647 293380 241 | 0.000 % |
390.73/390.94 c | 294100 | 15565 66670 202660 | 2147483647 294100 241 | 0.000 % |
392.43/392.66 c | 294892 | 15565 66670 202660 | 2147483647 294892 241 | 0.000 % |
394.23/394.43 c | 295763 | 15565 66670 202660 | 2147483647 295763 241 | 0.000 % |
396.23/396.46 c | 296721 | 15565 66670 202660 | 2147483647 296721 241 | 0.000 % |
398.33/398.52 c | 297774 | 15565 66670 202660 | 2147483647 297774 241 | 0.000 % |
400.72/400.94 c | 298934 | 15565 66670 202660 | 2147483647 298934 241 | 0.000 % |
403.32/403.56 c | 300211 | 15565 66670 202660 | 2147483647 300211 241 | 0.000 % |
406.03/406.27 c | 301614 | 15565 66670 202660 | 2147483647 301614 241 | 0.000 % |
409.12/409.34 c | 303155 | 15565 66670 202660 | 2147483647 303155 241 | 0.000 % |
412.52/412.76 c | 304850 | 15565 66670 202660 | 2147483647 304850 242 | 0.000 % |
416.22/416.44 c | 306713 | 15565 66670 202660 | 2147483647 306713 242 | 0.000 % |
420.22/420.43 c | 308765 | 15565 66670 202660 | 2147483647 308765 242 | 0.000 % |
424.91/425.13 c | 311020 | 15565 66670 202660 | 2147483647 311020 242 | 0.000 % |
430.32/430.55 c | 313499 | 15565 66670 202660 | 2147483647 313499 242 | 0.000 % |
436.12/436.34 c | 316224 | 15565 66670 202660 | 2147483647 316224 243 | 0.000 % |
442.41/442.62 c | 319222 | 15565 66670 202660 | 2147483647 319222 243 | 0.000 % |
442.61/442.86 c | 319326 | 15565 66670 202660 | 2147483647 319326 243 | 0.000 % |
442.91/443.18 c | 319437 | 15565 66670 202660 | 2147483647 319437 243 | 0.000 % |
443.31/443.52 c | 319559 | 15565 66670 202660 | 2147483647 319559 243 | 0.000 % |
443.71/443.91 c | 319692 | 15565 66670 202660 | 2147483647 319692 243 | 0.000 % |
444.01/444.29 c | 319841 | 15565 66670 202660 | 2147483647 319841 243 | 0.000 % |
444.41/444.67 c | 320001 | 15565 66670 202660 | 2147483647 320001 243 | 0.000 % |
445.01/445.21 c | 320178 | 15565 66670 202660 | 2147483647 320178 243 | 0.000 % |
445.41/445.67 c | 320371 | 15565 66670 202660 | 2147483647 320371 243 | 0.000 % |
446.01/446.22 c | 320583 | 15565 66670 202660 | 2147483647 320583 243 | 0.000 % |
446.61/446.80 c | 320816 | 15565 66670 202660 | 2147483647 320816 243 | 0.000 % |
447.21/447.42 c | 321072 | 15565 66670 202660 | 2147483647 321072 243 | 0.000 % |
447.91/448.15 c | 321354 | 15565 66670 202660 | 2147483647 321354 243 | 0.000 % |
448.71/448.95 c | 321666 | 15565 66670 202660 | 2147483647 321666 243 | 0.000 % |
449.61/449.82 c | 322005 | 15565 66670 202660 | 2147483647 322005 243 | 0.000 % |
450.51/450.78 c | 322377 | 15565 66670 202660 | 2147483647 322377 243 | 0.000 % |
451.51/451.75 c | 322786 | 15565 66670 202660 | 2147483647 322786 243 | 0.000 % |
452.41/452.64 c | 323235 | 15565 66670 202660 | 2147483647 323235 243 | 0.000 % |
453.50/453.71 c | 323728 | 15565 66670 202660 | 2147483647 323728 243 | 0.000 % |
454.71/454.98 c | 324270 | 15565 66670 202660 | 2147483647 324270 243 | 0.000 % |
456.01/456.28 c | 324866 | 15565 66670 202660 | 2147483647 324866 243 | 0.000 % |
457.50/457.74 c | 325521 | 15565 66670 202660 | 2147483647 325521 243 | 0.000 % |
459.10/459.37 c | 326243 | 15565 66670 202660 | 2147483647 326243 243 | 0.000 % |
460.91/461.17 c | 327035 | 15565 66670 202660 | 2147483647 327035 243 | 0.000 % |
463.01/463.26 c | 327906 | 15565 66670 202660 | 2147483647 327906 243 | 0.000 % |
465.20/465.41 c | 328864 | 15565 66670 202660 | 2147483647 328864 243 | 0.000 % |
467.50/467.76 c | 329917 | 15565 66670 202660 | 2147483647 329917 243 | 0.000 % |
470.00/470.27 c | 331075 | 15565 66670 202660 | 2147483647 331075 243 | 0.000 % |
472.70/472.99 c | 332349 | 15565 66670 202660 | 2147483647 332349 243 | 0.000 % |
476.00/476.22 c | 333749 | 15565 66670 202660 | 2147483647 333749 243 | 0.000 % |
479.30/479.55 c | 335289 | 15565 66670 202660 | 2147483647 335289 243 | 0.000 % |
483.10/483.39 c | 336985 | 15565 66670 202660 | 2147483647 336985 244 | 0.000 % |
487.29/487.53 c | 338849 | 15565 66670 202660 | 2147483647 338849 244 | 0.000 % |
491.79/492.01 c | 340898 | 15565 66670 202660 | 2147483647 340898 245 | 0.000 % |
496.79/497.06 c | 343153 | 15565 66670 202660 | 2147483647 343153 245 | 0.000 % |
502.09/502.32 c | 345631 | 15565 66670 202660 | 2147483647 345631 246 | 0.000 % |
508.19/508.43 c | 348359 | 15565 66670 202660 | 2147483647 348359 246 | 0.000 % |
514.79/515.08 c | 351357 | 15565 66670 202660 | 2147483647 351357 246 | 0.000 % |
521.69/521.93 c | 354653 | 15565 66670 202660 | 2147483647 354653 247 | 0.000 % |
521.99/522.23 c | 354756 | 15565 66670 202660 | 2147483647 354756 247 | 0.000 % |
522.29/522.55 c | 354867 | 15565 66670 202660 | 2147483647 354867 247 | 0.000 % |
522.59/522.89 c | 354988 | 15565 66670 202660 | 2147483647 354988 247 | 0.000 % |
522.99/523.27 c | 355121 | 15565 66670 202660 | 2147483647 355121 247 | 0.000 % |
523.49/523.72 c | 355267 | 15565 66670 202660 | 2147483647 355267 247 | 0.000 % |
523.88/524.15 c | 355428 | 15565 66670 202660 | 2147483647 355428 247 | 0.000 % |
524.39/524.68 c | 355604 | 15565 66670 202660 | 2147483647 355604 247 | 0.000 % |
524.88/525.15 c | 355798 | 15565 66670 202660 | 2147483647 355798 247 | 0.000 % |
525.49/525.76 c | 356010 | 15565 66670 202660 | 2147483647 356010 247 | 0.000 % |
526.29/526.51 c | 356243 | 15565 66670 202660 | 2147483647 356243 247 | 0.000 % |
526.89/527.18 c | 356499 | 15565 66670 202660 | 2147483647 356499 247 | 0.000 % |
527.69/527.94 c | 356780 | 15565 66670 202660 | 2147483647 356780 247 | 0.000 % |
528.49/528.77 c | 357090 | 15565 66670 202660 | 2147483647 357090 247 | 0.000 % |
529.39/529.62 c | 357429 | 15565 66670 202660 | 2147483647 357429 247 | 0.000 % |
530.39/530.62 c | 357803 | 15565 66670 202660 | 2147483647 357803 247 | 0.000 % |
531.38/531.66 c | 358213 | 15565 66670 202660 | 2147483647 358213 247 | 0.000 % |
532.48/532.73 c | 358662 | 15565 66670 202660 | 2147483647 358662 247 | 0.000 % |
533.78/534.04 c | 359155 | 15565 66670 202660 | 2147483647 359155 247 | 0.000 % |
535.08/535.35 c | 359697 | 15565 66670 202660 | 2147483647 359697 247 | 0.000 % |
536.59/536.87 c | 360295 | 15565 66670 202660 | 2147483647 360295 247 | 0.000 % |
538.18/538.48 c | 360952 | 15565 66670 202660 | 2147483647 360952 247 | 0.000 % |
539.88/540.20 c | 361672 | 15565 66670 202660 | 2147483647 361672 247 | 0.000 % |
541.78/542.09 c | 362464 | 15565 66670 202660 | 2147483647 362464 247 | 0.000 % |
543.78/544.05 c | 363335 | 15565 66670 202660 | 2147483647 363335 247 | 0.000 % |
545.88/546.19 c | 364294 | 15565 66670 202660 | 2147483647 364294 247 | 0.000 % |
548.47/548.74 c | 365347 | 15565 66670 202660 | 2147483647 365347 247 | 0.000 % |
551.08/551.30 c | 366506 | 15565 66670 202660 | 2147483647 366506 247 | 0.000 % |
554.18/554.41 c | 367782 | 15565 66670 202660 | 2147483647 367782 247 | 0.000 % |
557.58/557.82 c | 369183 | 15565 66670 202660 | 2147483647 369183 247 | 0.000 % |
561.17/561.41 c | 370725 | 15565 66670 202660 | 2147483647 370725 248 | 0.000 % |
564.97/565.25 c | 372419 | 15565 66670 202660 | 2147483647 372419 248 | 0.000 % |
569.27/569.56 c | 374282 | 15565 66670 202660 | 2147483647 374282 248 | 0.000 % |
573.87/574.15 c | 376332 | 15565 66670 202660 | 2147483647 376332 248 | 0.000 % |
579.07/579.33 c | 378585 | 15565 66670 202660 | 2147483647 378585 249 | 0.000 % |
584.77/585.09 c | 381064 | 15565 66670 202660 | 2147483647 381064 249 | 0.000 % |
591.26/591.55 c | 383789 | 15565 66670 202660 | 2147483647 383789 249 | 0.000 % |
598.56/598.88 c | 386788 | 15565 66670 202660 | 2147483647 386788 249 | 0.000 % |
606.17/606.42 c | 390086 | 15565 66670 202660 | 2147483647 390086 250 | 0.000 % |
614.36/614.63 c | 393713 | 15565 66670 202660 | 2147483647 393713 251 | 0.000 % |
614.67/614.94 c | 393813 | 15565 66670 202660 | 2147483647 393813 251 | 0.000 % |
615.06/615.33 c | 393923 | 15565 66670 202660 | 2147483647 393923 251 | 0.000 % |
615.46/615.74 c | 394048 | 15565 66670 202660 | 2147483647 394048 251 | 0.000 % |
615.96/616.22 c | 394182 | 15565 66670 202660 | 2147483647 394182 251 | 0.000 % |
616.46/616.73 c | 394329 | 15565 66670 202660 | 2147483647 394329 251 | 0.000 % |
616.87/617.19 c | 394490 | 15565 66670 202660 | 2147483647 394490 251 | 0.000 % |
617.46/617.77 c | 394666 | 15565 66670 202660 | 2147483647 394666 251 | 0.000 % |
618.06/618.33 c | 394861 | 15565 66670 202660 | 2147483647 394861 251 | 0.000 % |
618.76/619.01 c | 395075 | 15565 66670 202660 | 2147483647 395075 251 | 0.000 % |
619.56/619.83 c | 395308 | 15565 66670 202660 | 2147483647 395308 251 | 0.000 % |
620.25/620.56 c | 395564 | 15565 66670 202660 | 2147483647 395564 251 | 0.000 % |
621.05/621.37 c | 395846 | 15565 66670 202660 | 2147483647 395846 251 | 0.000 % |
622.05/622.35 c | 396158 | 15565 66670 202660 | 2147483647 396158 251 | 0.000 % |
623.06/623.33 c | 396497 | 15565 66670 202660 | 2147483647 396497 251 | 0.000 % |
624.06/624.37 c | 396869 | 15565 66670 202660 | 2147483647 396869 251 | 0.000 % |
625.36/625.60 c | 397283 | 15565 66670 202660 | 2147483647 397283 251 | 0.000 % |
626.56/626.85 c | 397733 | 15565 66670 202660 | 2147483647 397733 251 | 0.000 % |
627.86/628.15 c | 398226 | 15565 66670 202660 | 2147483647 398226 251 | 0.000 % |
629.35/629.62 c | 398768 | 15565 66670 202660 | 2147483647 398768 251 | 0.000 % |
630.85/631.13 c | 399365 | 15565 66670 202660 | 2147483647 399365 251 | 0.000 % |
632.65/632.92 c | 400020 | 15565 66670 202660 | 2147483647 400020 251 | 0.000 % |
634.75/635.00 c | 400740 | 15565 66670 202660 | 2147483647 400740 251 | 0.000 % |
636.95/637.20 c | 401532 | 15565 66670 202660 | 2147483647 401532 251 | 0.000 % |
639.35/639.60 c | 402404 | 15565 66670 202660 | 2147483647 402404 251 | 0.000 % |
641.85/642.12 c | 403362 | 15565 66670 202660 | 2147483647 403362 251 | 0.000 % |
644.54/644.83 c | 404415 | 15565 66670 202660 | 2147483647 404415 251 | 0.000 % |
647.45/647.71 c | 405573 | 15565 66670 202660 | 2147483647 405573 251 | 0.000 % |
650.75/651.04 c | 406846 | 15565 66670 202660 | 2147483647 406846 251 | 0.000 % |
654.24/654.52 c | 408248 | 15565 66670 202660 | 2147483647 408248 251 | 0.000 % |
658.15/658.47 c | 409788 | 15565 66670 202660 | 2147483647 409788 251 | 0.000 % |
662.54/662.88 c | 411482 | 15565 66670 202660 | 2147483647 411482 251 | 0.000 % |
667.24/667.52 c | 413345 | 15565 66670 202660 | 2147483647 413345 251 | 0.000 % |
672.24/672.57 c | 415394 | 15565 66670 202660 | 2147483647 415394 251 | 0.000 % |
677.94/678.23 c | 417647 | 15565 66670 202660 | 2147483647 417647 252 | 0.000 % |
683.94/684.29 c | 420127 | 15565 66670 202660 | 2147483647 420127 253 | 0.000 % |
690.63/690.99 c | 422855 | 15565 66670 202660 | 2147483647 422855 253 | 0.000 % |
698.14/698.43 c | 425854 | 15565 66670 202660 | 2147483647 425854 253 | 0.000 % |
706.23/706.53 c | 429150 | 15565 66670 202660 | 2147483647 429150 253 | 0.000 % |
715.43/715.71 c | 432777 | 15565 66670 202660 | 2147483647 432777 253 | 0.000 % |
725.72/726.06 c | 436764 | 15565 66670 202660 | 2147483647 436764 254 | 0.000 % |
726.12/726.42 c | 436866 | 15565 66670 202660 | 2147483647 436866 254 | 0.000 % |
726.52/726.85 c | 436976 | 15565 66670 202660 | 2147483647 436976 253 | 0.000 % |
727.02/727.30 c | 437097 | 15565 66670 202660 | 2147483647 437097 253 | 0.000 % |
727.52/727.82 c | 437230 | 15565 66670 202660 | 2147483647 437230 253 | 0.000 % |
727.92/728.30 c | 437376 | 15565 66670 202660 | 2147483647 437376 253 | 0.000 % |
728.52/728.87 c | 437538 | 15565 66670 202660 | 2147483647 437538 253 | 0.000 % |
729.22/729.54 c | 437714 | 15565 66670 202660 | 2147483647 437714 253 | 0.000 % |
729.82/730.18 c | 437907 | 15565 66670 202660 | 2147483647 437907 253 | 0.000 % |
730.62/730.90 c | 438121 | 15565 66670 202660 | 2147483647 438121 253 | 0.000 % |
731.32/731.61 c | 438359 | 15565 66670 202660 | 2147483647 438359 253 | 0.000 % |
732.22/732.51 c | 438615 | 15565 66670 202660 | 2147483647 438615 253 | 0.000 % |
733.02/733.37 c | 438899 | 15565 66670 202660 | 2147483647 438899 253 | 0.000 % |
734.02/734.34 c | 439208 | 15565 66670 202660 | 2147483647 439208 253 | 0.000 % |
735.02/735.36 c | 439547 | 15565 66670 202660 | 2147483647 439547 253 | 0.000 % |
736.32/736.61 c | 439919 | 15565 66670 202660 | 2147483647 439919 253 | 0.000 % |
737.52/737.88 c | 440328 | 15565 66670 202660 | 2147483647 440328 253 | 0.000 % |
738.92/739.22 c | 440779 | 15565 66670 202660 | 2147483647 440779 253 | 0.000 % |
740.21/740.58 c | 441272 | 15565 66670 202660 | 2147483647 441272 253 | 0.000 % |
741.72/742.05 c | 441814 | 15565 66670 202660 | 2147483647 441814 253 | 0.000 % |
743.52/743.83 c | 442411 | 15565 66670 202660 | 2147483647 442411 253 | 0.000 % |
745.32/745.66 c | 443066 | 15565 66670 202660 | 2147483647 443066 253 | 0.000 % |
747.41/747.72 c | 443786 | 15565 66670 202660 | 2147483647 443786 253 | 0.000 % |
749.71/750.01 c | 444581 | 15565 66670 202660 | 2147483647 444581 253 | 0.000 % |
752.12/752.48 c | 445452 | 15565 66670 202660 | 2147483647 445452 253 | 0.000 % |
754.71/755.03 c | 446411 | 15565 66670 202660 | 2147483647 446411 253 | 0.000 % |
757.71/758.09 c | 447464 | 15565 66670 202660 | 2147483647 447464 253 | 0.000 % |
760.91/761.28 c | 448622 | 15565 66670 202660 | 2147483647 448622 253 | 0.000 % |
764.41/764.70 c | 449896 | 15565 66670 202660 | 2147483647 449896 253 | 0.000 % |
768.21/768.55 c | 451297 | 15565 66670 202660 | 2147483647 451297 253 | 0.000 % |
772.30/772.65 c | 452837 | 15565 66670 202660 | 2147483647 452837 253 | 0.000 % |
777.01/777.37 c | 454533 | 15565 66670 202660 | 2147483647 454533 253 | 0.000 % |
782.20/782.50 c | 456397 | 15565 66670 202660 | 2147483647 456397 253 | 0.000 % |
787.60/787.91 c | 458446 | 15565 66670 202660 | 2147483647 458446 254 | 0.000 % |
793.50/793.82 c | 460699 | 15565 66670 202660 | 2147483647 460699 254 | 0.000 % |
800.20/800.58 c | 463177 | 15565 66670 202660 | 2147483647 463177 254 | 0.000 % |
807.40/807.72 c | 465902 | 15565 66670 202660 | 2147483647 465902 254 | 0.000 % |
815.40/815.79 c | 468902 | 15565 66670 202660 | 2147483647 468902 255 | 0.000 % |
824.09/824.49 c | 472199 | 15565 66670 202660 | 2147483647 472199 255 | 0.000 % |
833.89/834.26 c | 475824 | 15565 66670 202660 | 2147483647 475824 256 | 0.000 % |
844.78/845.17 c | 479814 | 15565 66670 202660 | 2147483647 479814 256 | 0.000 % |
856.38/856.74 c | 484199 | 15565 66670 202660 | 2147483647 484199 256 | 0.000 % |
856.78/857.17 c | 484299 | 15565 66670 202660 | 2147483647 484299 256 | 0.000 % |
857.18/857.57 c | 484409 | 15565 66670 202660 | 2147483647 484409 256 | 0.000 % |
857.68/858.05 c | 484530 | 15565 66670 202660 | 2147483647 484530 256 | 0.000 % |
858.28/858.63 c | 484663 | 15565 66670 202660 | 2147483647 484663 256 | 0.000 % |
858.78/859.18 c | 484810 | 15565 66670 202660 | 2147483647 484810 256 | 0.000 % |
859.38/859.77 c | 484970 | 15565 66670 202660 | 2147483647 484970 256 | 0.000 % |
859.98/860.33 c | 485149 | 15565 66670 202660 | 2147483647 485149 256 | 0.000 % |
860.59/860.95 c | 485342 | 15565 66670 202660 | 2147483647 485342 256 | 0.000 % |
861.38/861.74 c | 485554 | 15565 66670 202660 | 2147483647 485554 256 | 0.000 % |
862.18/862.57 c | 485787 | 15565 66670 202660 | 2147483647 485787 256 | 0.000 % |
863.09/863.41 c | 486043 | 15565 66670 202660 | 2147483647 486043 256 | 0.000 % |
864.08/864.47 c | 486324 | 15565 66670 202660 | 2147483647 486324 256 | 0.000 % |
865.08/865.44 c | 486633 | 15565 66670 202660 | 2147483647 486633 256 | 0.000 % |
866.18/866.55 c | 486973 | 15565 66670 202660 | 2147483647 486973 256 | 0.000 % |
867.48/867.86 c | 487346 | 15565 66670 202660 | 2147483647 487346 256 | 0.000 % |
868.78/869.18 c | 487755 | 15565 66670 202660 | 2147483647 487755 256 | 0.000 % |
870.18/870.60 c | 488205 | 15565 66670 202660 | 2147483647 488205 256 | 0.000 % |
871.88/872.30 c | 488700 | 15565 66670 202660 | 2147483647 488700 256 | 0.000 % |
873.68/874.06 c | 489242 | 15565 66670 202660 | 2147483647 489242 256 | 0.000 % |
875.77/876.14 c | 489840 | 15565 66670 202660 | 2147483647 489840 256 | 0.000 % |
877.68/878.07 c | 490495 | 15565 66670 202660 | 2147483647 490495 256 | 0.000 % |
879.88/880.27 c | 491216 | 15565 66670 202660 | 2147483647 491216 256 | 0.000 % |
882.28/882.67 c | 492009 | 15565 66670 202660 | 2147483647 492009 256 | 0.000 % |
884.97/885.33 c | 492880 | 15565 66670 202660 | 2147483647 492880 256 | 0.000 % |
888.08/888.41 c | 493838 | 15565 66670 202660 | 2147483647 493838 256 | 0.000 % |
891.17/891.57 c | 494892 | 15565 66670 202660 | 2147483647 494892 256 | 0.000 % |
894.76/895.19 c | 496052 | 15565 66670 202660 | 2147483647 496052 256 | 0.000 % |
898.87/899.23 c | 497326 | 15565 66670 202660 | 2147483647 497326 256 | 0.000 % |
902.96/903.31 c | 498727 | 15565 66670 202660 | 2147483647 498727 256 | 0.000 % |
907.16/907.56 c | 500269 | 15565 66670 202660 | 2147483647 500269 256 | 0.000 % |
912.26/912.69 c | 501964 | 15565 66670 202660 | 2147483647 501964 256 | 0.000 % |
918.16/918.58 c | 503827 | 15565 66670 202660 | 2147483647 503827 257 | 0.000 % |
924.16/924.56 c | 505877 | 15565 66670 202660 | 2147483647 505877 257 | 0.000 % |
930.65/931.08 c | 508130 | 15565 66670 202660 | 2147483647 508130 257 | 0.000 % |
937.65/938.07 c | 510608 | 15565 66670 202660 | 2147483647 510608 257 | 0.000 % |
945.66/946.06 c | 513335 | 15565 66670 202660 | 2147483647 513335 258 | 0.000 % |
954.35/954.79 c | 516335 | 15565 66670 202660 | 2147483647 516335 258 | 0.000 % |
964.14/964.50 c | 519632 | 15565 66670 202660 | 2147483647 519632 258 | 0.000 % |
975.04/975.43 c | 523257 | 15565 66670 202660 | 2147483647 523257 258 | 0.000 % |
986.35/986.77 c | 527245 | 15565 66670 202660 | 2147483647 527245 258 | 0.000 % |
999.74/1000.18 c | 531630 | 15565 66670 202660 | 2147483647 531630 259 | 0.000 % |
1014.24/1014.62 c | 536463 | 15565 66670 202660 | 2147483647 536463 259 | 0.000 % |
1014.64/1015.02 c | 536563 | 15565 66670 202660 | 2147483647 536563 259 | 0.000 % |
1015.14/1015.59 c | 536673 | 15565 66670 202660 | 2147483647 536673 259 | 0.000 % |
1015.74/1016.13 c | 536794 | 15565 66670 202660 | 2147483647 536794 259 | 0.000 % |
1016.23/1016.65 c | 536929 | 15565 66670 202660 | 2147483647 536929 259 | 0.000 % |
1016.83/1017.22 c | 537077 | 15565 66670 202660 | 2147483647 537077 259 | 0.000 % |
1017.53/1017.95 c | 537237 | 15565 66670 202660 | 2147483647 537237 259 | 0.000 % |
1018.24/1018.66 c | 537413 | 15565 66670 202660 | 2147483647 537413 259 | 0.000 % |
1019.03/1019.46 c | 537606 | 15565 66670 202660 | 2147483647 537606 259 | 0.000 % |
1019.93/1020.30 c | 537818 | 15565 66670 202660 | 2147483647 537818 259 | 0.000 % |
1020.83/1021.24 c | 538051 | 15565 66670 202660 | 2147483647 538051 259 | 0.000 % |
1021.93/1022.32 c | 538311 | 15565 66670 202660 | 2147483647 538311 259 | 0.000 % |
1022.93/1023.34 c | 538592 | 15565 66670 202660 | 2147483647 538592 259 | 0.000 % |
1024.23/1024.66 c | 538901 | 15565 66670 202660 | 2147483647 538901 259 | 0.000 % |
1025.52/1025.90 c | 539240 | 15565 66670 202660 | 2147483647 539240 259 | 0.000 % |
1026.94/1027.32 c | 539612 | 15565 66670 202660 | 2147483647 539612 259 | 0.000 % |
1028.43/1028.83 c | 540022 | 15565 66670 202660 | 2147483647 540022 259 | 0.000 % |
1030.03/1030.47 c | 540471 | 15565 66670 202660 | 2147483647 540471 259 | 0.000 % |
1031.93/1032.37 c | 540964 | 15565 66670 202660 | 2147483647 540964 259 | 0.000 % |
1033.72/1034.11 c | 541507 | 15565 66670 202660 | 2147483647 541507 259 | 0.000 % |
1035.73/1036.20 c | 542104 | 15565 66670 202660 | 2147483647 542104 259 | 0.000 % |
1038.03/1038.46 c | 542760 | 15565 66670 202660 | 2147483647 542760 259 | 0.000 % |
1040.43/1040.83 c | 543481 | 15565 66670 202660 | 2147483647 543481 259 | 0.000 % |
1043.12/1043.56 c | 544276 | 15565 66670 202660 | 2147483647 544276 259 | 0.000 % |
1045.72/1046.13 c | 545147 | 15565 66670 202660 | 2147483647 545147 259 | 0.000 % |
1048.93/1049.33 c | 546106 | 15565 66670 202660 | 2147483647 546106 259 | 0.000 % |
1052.22/1052.63 c | 547159 | 15565 66670 202660 | 2147483647 547159 259 | 0.000 % |
1056.22/1056.61 c | 548317 | 15565 66670 202660 | 2147483647 548317 259 | 0.000 % |
1060.32/1060.76 c | 549591 | 15565 66670 202660 | 2147483647 549591 259 | 0.000 % |
1064.92/1065.37 c | 550992 | 15565 66670 202660 | 2147483647 550992 259 | 0.000 % |
1069.72/1070.13 c | 552532 | 15565 66670 202660 | 2147483647 552532 259 | 0.000 % |
1075.51/1075.97 c | 554226 | 15565 66670 202660 | 2147483647 554226 259 | 0.000 % |
1081.21/1081.62 c | 556091 | 15565 66670 202660 | 2147483647 556091 259 | 0.000 % |
1088.00/1088.46 c | 558141 | 15565 66670 202660 | 2147483647 558141 259 | 0.000 % |
1095.30/1095.73 c | 560395 | 15565 66670 202660 | 2147483647 560395 259 | 0.000 % |
1103.10/1103.53 c | 562874 | 15565 66670 202660 | 2147483647 562874 259 | 0.000 % |
1111.60/1112.05 c | 565599 | 15565 66670 202660 | 2147483647 565599 259 | 0.000 % |
1121.90/1122.36 c | 568596 | 15565 66670 202660 | 2147483647 568596 259 | 0.000 % |
1132.60/1133.01 c | 571892 | 15565 66670 202660 | 2147483647 571892 259 | 0.000 % |
1143.69/1144.17 c | 575519 | 15565 66670 202660 | 2147483647 575519 260 | 0.000 % |
1156.39/1156.89 c | 579507 | 15565 66670 202660 | 2147483647 579507 260 | 0.000 % |
1170.88/1171.31 c | 583895 | 15565 66670 202660 | 2147483647 583895 260 | 0.000 % |
1185.98/1186.44 c | 588719 | 15565 66670 202660 | 2147483647 588719 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-1832779-1242787567/watcher-1832779-1242787567 -o /tmp/evaluation-result-1832779-1242787567/solver-1832779-1242787567 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832779-1242787567.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 29300
/proc/meminfo: memFree=1611656/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306786876 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 265674260562 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/29300/statm: 1339 235 195 169 0 50 0
[pid=29301] ppid=29300 vsize=5356 CPUtime=0
/proc/29301/stat : 29301 (SatELiteGTI) S 29300 29300 26944 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 306786877 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/29301/statm: 1339 238 198 169 0 50 0
[pid=29303] ppid=29301 vsize=0 CPUtime=0
/proc/29303/stat : 29303 (sed) R 29301 29300 26944 0 -1 4194308 163 0 0 0 0 0 0 0 18 0 1 0 306786877 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/29303/statm: 0 0 0 0 0 0 0
[startup+0.00861395 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 29300
/proc/meminfo: memFree=1611656/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306786876 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29300/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102624 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 29300
/proc/meminfo: memFree=1611656/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306786876 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29300/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301646 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 29300
/proc/meminfo: memFree=1611656/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306786876 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29300/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702703 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 29300
/proc/meminfo: memFree=1611656/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5356
[startup+1.50278 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 29306
/proc/meminfo: memFree=1603768/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=7844 CPUtime=1.19
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 1787 0 0 0 118 1 0 0 25 0 1 0 306786907 8032256 1773 1992294400 134512640 135215339 4294956240 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 1961 1773 77 171 0 1788 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13200
[startup+3.10196 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 29306
/proc/meminfo: memFree=1602040/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=10092 CPUtime=2.79
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 2371 0 0 0 277 2 0 0 25 0 1 0 306786907 10334208 2357 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 2523 2357 77 171 0 2350 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15448
[startup+6.30131 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1596920/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=14984 CPUtime=5.98
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 3579 0 0 0 595 3 0 0 25 0 1 0 306786907 15343616 3565 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 3746 3565 77 171 0 3573 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20340
[startup+12.701 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1587384/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=23944 CPUtime=12.38
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 5826 0 0 0 1232 6 0 0 25 0 1 0 306786907 24518656 5812 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 5986 5812 77 171 0 5813 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29300
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1570936/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=39960 CPUtime=25.18
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 9835 0 0 0 2510 8 0 0 25 0 1 0 306786907 40919040 9821 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 9990 9821 77 171 0 9817 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45316
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1543032/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=68020 CPUtime=50.76
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 16814 0 0 0 5062 14 0 0 25 0 1 0 306786907 69652480 16800 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 17005 16800 77 171 0 16832 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 73376
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1494264/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=116144 CPUtime=101.95
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 28839 0 0 0 10168 27 0 0 25 0 1 0 306786907 118931456 28825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 29036 28825 77 171 0 28863 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 121500
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1449912/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=160644 CPUtime=161.91
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 39952 0 0 0 16152 39 0 0 25 0 1 0 306786907 164499456 39938 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 40161 39938 77 171 0 39988 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 166000
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1409400/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=200652 CPUtime=221.9
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 49981 0 0 0 22141 49 0 0 25 0 1 0 306786907 205467648 49967 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 50163 49967 77 171 0 49990 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 206008
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1373688/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=236712 CPUtime=281.87
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 58940 0 0 0 28128 59 0 0 25 0 1 0 306786907 242393088 58926 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 59178 58926 77 171 0 59005 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 242068
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1339000/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=270772 CPUtime=341.85
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 67498 0 0 0 34117 68 0 0 25 0 1 0 306786907 277270528 67484 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 67693 67484 77 171 0 67520 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 276128
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1308984/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=300884 CPUtime=401.83
################
# More data... #
################
/proc/29306/statm: 97694 97424 77 171 0 97521 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 396132
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1190392/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=418652 CPUtime=641.76
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 104425 0 0 0 64065 111 0 0 25 0 1 0 306786907 428699648 104411 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 104663 104411 77 171 0 104490 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 424008
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1163576/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=445324 CPUtime=701.74
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 111126 0 0 0 70056 118 0 0 25 0 1 0 306786907 456011776 111112 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 111331 111112 77 171 0 111158 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 450680
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1139960/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=468556 CPUtime=761.72
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 116946 0 0 0 76047 125 0 0 25 0 1 0 306786907 479801344 116932 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 117139 116932 77 171 0 116966 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 473912
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1113336/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=496140 CPUtime=821.71
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 123650 0 0 0 82037 134 0 0 25 0 1 0 306786907 508047360 123636 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 124035 123636 77 171 0 123862 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 501496
[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29306
/proc/meminfo: memFree=1089784/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=519244 CPUtime=881.69
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 129457 0 0 0 88029 140 0 0 25 0 1 0 306786907 531705856 129443 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 129811 129443 77 171 0 129638 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 524600
[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29312
/proc/meminfo: memFree=1066616/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=542608 CPUtime=941.66
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 135288 0 0 0 94021 145 0 0 25 0 1 0 306786907 555630592 135274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 135652 135274 77 171 0 135479 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 547964
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29312
/proc/meminfo: memFree=1042424/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=566236 CPUtime=1001.64
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 141223 0 0 0 100013 151 0 0 25 0 1 0 306786907 579825664 141209 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 141559 141209 77 171 0 141386 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 571592
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29312
/proc/meminfo: memFree=1023608/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=584980 CPUtime=1061.63
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 145948 0 0 0 106006 157 0 0 25 0 1 0 306786907 599019520 145934 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 146245 145934 77 171 0 146072 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 590336
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29312
/proc/meminfo: memFree=1003448/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=604916 CPUtime=1121.61
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 150949 0 0 0 111998 163 0 0 25 0 1 0 306786907 619433984 150935 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 151229 150935 77 171 0 151056 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 610272
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29312
/proc/meminfo: memFree=979576/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=628944 CPUtime=1181.59
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 156973 0 0 0 117989 170 0 0 25 0 1 0 306786907 644038656 156959 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 157236 156959 77 171 0 157063 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 634300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29312
/proc/meminfo: memFree=971384/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=636600 CPUtime=1199.79
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 158887 0 0 0 119807 172 0 0 25 0 1 0 306786907 651878400 158873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 159150 158873 77 171 0 158977 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 641956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 29312
/proc/meminfo: memFree=971384/2055920 swapFree=4179980/4192956
[pid=29300] ppid=29298 vsize=5356 CPUtime=0.29
/proc/29300/stat : 29300 (SatELiteGTI) S 29298 29300 26944 0 -1 4194304 336 2295 0 0 0 0 27 2 15 0 1 0 306786876 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29300/statm: 1339 239 197 169 0 50 0
[pid=29306] ppid=29300 vsize=636600 CPUtime=1199.79
/proc/29306/stat : 29306 (minisat_static) R 29300 29300 26944 0 -1 4194304 158887 0 0 0 119807 172 0 0 25 0 1 0 306786907 651878400 158873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/29306/statm: 159150 158873 77 171 0 158977 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 641956
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29300 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=275958
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=24996
# CPU time returned by wait4() is 0.300954
# 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.51
CPU time (s): 1200.08
CPU user time (s): 1198.34
CPU system time (s): 1.74
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 641956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.275958
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2631
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= 6
runsolver used 1.08083 second user time and 3.37249 second system time
The end
Begin job on node76 at 2009-05-20 04:46:08
IDJOB=1832779
IDBENCH=70353
IDSOLVER=671
FILE ID=node76/1832779-1242787567
PBS_JOBID= 9322299
Free space on /tmp= 66176 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832779-1242787567/watcher-1832779-1242787567 -o /tmp/evaluation-result-1832779-1242787567/solver-1832779-1242787567 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832779-1242787567.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b323780c0efe36d916bbe48c23a818f7
RANDOM SEED=344057239
node76.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.220
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.220
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: 1612144 kB
Buffers: 38456 kB
Cached: 332644 kB
SwapCached: 7320 kB
Active: 110384 kB
Inactive: 269660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1612144 kB
SwapTotal: 4192956 kB
SwapFree: 4179980 kB
Dirty: 2852 kB
Writeback: 0 kB
Mapped: 14024 kB
Slab: 49716 kB
Committed_AS: 1009536 kB
PageTables: 1436 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66176 MiB
End job on node76 at 2009-05-20 05:06:10