0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 67200 201600 | 20159 0 0 nan | 0.000 % |
0.00/0.24 c | 0 | 66778 202658 | -- 0 -- -- | -- | -422/1058
0.00/0.24 c ==============================================================================
0.00/0.24 c Result : #vars: 15618 #clauses: 66778 #literals: 202658
0.00/0.24 c CPU time: 0.228965 s
0.00/0.24 c ==============================================================================
0.00/0.31 c This is MiniSat 2.0 beta
0.00/0.31 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.31 c ============================[ Problem Statistics ]=============================
0.00/0.31 c | |
0.00/0.32 c | Number of variables: 15618 |
0.00/0.32 c | Number of clauses: 66778 |
0.00/0.37 c | Parsing time: 0.04 s |
0.00/0.37 c ============================[ Search Statistics ]==============================
0.00/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.37 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.37 c ===============================================================================
0.00/0.37 c | 0 | 15618 66778 202658 | 22259 0 nan | 0.000 % |
0.30/0.43 c | 100 | 15618 66778 202658 | 22259 100 168 | 0.000 % |
0.30/0.48 c | 200 | 15618 66778 202658 | 22259 200 196 | 0.000 % |
0.30/0.53 c | 301 | 15618 66778 202658 | 22259 301 206 | 0.000 % |
0.30/0.59 c | 411 | 15618 66778 202658 | 22259 411 195 | 0.000 % |
0.30/0.64 c | 511 | 15618 66778 202658 | 22259 511 187 | 0.000 % |
0.30/0.71 c | 622 | 15618 66778 202658 | 22259 622 184 | 0.000 % |
0.30/0.77 c | 744 | 15618 66778 202658 | 22259 744 177 | 0.000 % |
0.30/0.83 c | 844 | 15618 66778 202658 | 22259 844 179 | 0.000 % |
0.30/0.88 c | 954 | 15618 66778 202658 | 22259 954 179 | 0.000 % |
0.30/0.95 c | 1075 | 15618 66778 202658 | 22259 1075 180 | 0.000 % |
0.98/1.02 c | 1210 | 15618 66778 202658 | 22259 1210 180 | 0.000 % |
0.98/1.07 c | 1311 | 15618 66778 202658 | 22259 1311 182 | 0.000 % |
1.08/1.13 c | 1422 | 15618 66778 202658 | 22259 1422 182 | 0.000 % |
1.17/1.20 c | 1546 | 15618 66778 202658 | 22259 1546 185 | 0.000 % |
1.17/1.28 c | 1684 | 15618 66778 202658 | 22259 1684 182 | 0.000 % |
1.27/1.36 c | 1834 | 15618 66778 202658 | 22259 1834 182 | 0.000 % |
1.37/1.41 c | 1934 | 15618 66778 202658 | 22259 1934 180 | 0.000 % |
1.37/1.47 c | 2045 | 15618 66778 202658 | 22259 2045 179 | 0.000 % |
1.47/1.54 c | 2166 | 15618 66778 202658 | 22259 2166 179 | 0.000 % |
1.57/1.61 c | 2302 | 15618 66778 202658 | 22259 2302 177 | 0.000 % |
1.57/1.69 c | 2448 | 15618 66778 202658 | 22259 2448 178 | 0.000 % |
1.67/1.78 c | 2609 | 15618 66778 202658 | 22259 2609 180 | 0.000 % |
1.77/1.84 c | 2709 | 15618 66778 202658 | 22259 2709 182 | 0.000 % |
1.77/1.89 c | 2821 | 15618 66778 202658 | 22259 2821 183 | 0.000 % |
1.87/1.96 c | 2942 | 15618 66778 202658 | 22259 2942 183 | 0.000 % |
1.97/2.03 c | 3076 | 15618 66778 202658 | 22259 3076 184 | 0.000 % |
2.07/2.11 c | 3222 | 15618 66778 202658 | 22259 3222 185 | 0.000 % |
2.07/2.19 c | 3384 | 15618 66778 202658 | 22259 3384 185 | 0.000 % |
2.17/2.29 c | 3560 | 15618 66778 202658 | 22259 3560 186 | 0.000 % |
2.26/2.34 c | 3660 | 15618 66778 202658 | 22259 3660 186 | 0.000 % |
2.36/2.40 c | 3770 | 15618 66778 202658 | 22259 3770 185 | 0.000 % |
2.36/2.46 c | 3893 | 15618 66778 202658 | 22259 3893 185 | 0.000 % |
2.47/2.53 c | 4026 | 15618 66778 202658 | 22259 4026 184 | 0.000 % |
2.57/2.61 c | 4174 | 15618 66778 202658 | 22259 4174 185 | 0.000 % |
2.67/2.70 c | 4334 | 15618 66778 202658 | 22259 4334 184 | 0.000 % |
2.67/2.79 c | 4510 | 15618 66778 202658 | 22259 4510 185 | 0.000 % |
2.76/2.89 c | 4705 | 15618 66778 202658 | 22259 4705 185 | 0.000 % |
2.86/2.94 c | 4806 | 15618 66778 202658 | 22259 4806 184 | 0.000 % |
2.96/3.00 c | 4918 | 15618 66778 202658 | 22259 4918 184 | 0.000 % |
2.96/3.07 c | 5039 | 15618 66778 202658 | 22259 5039 185 | 0.000 % |
3.06/3.15 c | 5172 | 15618 66778 202658 | 22259 5172 185 | 0.000 % |
3.17/3.23 c | 5319 | 15618 66778 202658 | 22259 5319 184 | 0.000 % |
3.27/3.33 c | 5482 | 15618 66778 202658 | 22259 5482 185 | 0.000 % |
3.36/3.42 c | 5661 | 15618 66778 202658 | 22259 5661 184 | 0.000 % |
3.46/3.54 c | 5855 | 15618 66778 202658 | 22259 5855 185 | 0.000 % |
3.56/3.65 c | 6067 | 15618 66778 202658 | 22259 6067 185 | 0.000 % |
3.66/3.71 c | 6169 | 15618 66778 202658 | 22259 6169 184 | 0.000 % |
3.66/3.77 c | 6279 | 15618 66778 202658 | 22259 6279 183 | 0.000 % |
3.76/3.84 c | 6400 | 15618 66778 202658 | 22259 6400 184 | 0.000 % |
3.86/3.92 c | 6534 | 15618 66778 202658 | 22259 6534 183 | 0.000 % |
3.96/4.00 c | 6681 | 15618 66778 202658 | 22259 6681 183 | 0.000 % |
3.96/4.08 c | 6841 | 15618 66778 202658 | 22259 6841 182 | 0.000 % |
4.06/4.18 c | 7017 | 15618 66778 202658 | 22259 7017 184 | 0.000 % |
4.16/4.29 c | 7210 | 15618 66778 202658 | 22259 7210 186 | 0.000 % |
4.37/4.41 c | 7424 | 15618 66778 202658 | 22259 7424 188 | 0.000 % |
4.46/4.54 c | 7658 | 15618 66778 202658 | 22259 7658 188 | 0.000 % |
4.56/4.60 c | 7758 | 15618 66778 202658 | 22259 7758 188 | 0.000 % |
4.56/4.66 c | 7868 | 15618 66778 202658 | 22259 7868 188 | 0.000 % |
4.66/4.74 c | 7989 | 15618 66778 202658 | 22259 7989 188 | 0.000 % |
4.76/4.82 c | 8124 | 15618 66778 202658 | 22259 8124 188 | 0.000 % |
4.86/4.90 c | 8270 | 15618 66778 202658 | 22259 8270 188 | 0.000 % |
4.86/4.99 c | 8430 | 15618 66778 202658 | 22259 8430 189 | 0.000 % |
4.96/5.09 c | 8608 | 15618 66778 202658 | 22259 8608 189 | 0.000 % |
5.16/5.20 c | 8802 | 15618 66778 202658 | 22259 8802 189 | 0.000 % |
5.26/5.32 c | 9015 | 15618 66778 202658 | 22259 9015 189 | 0.000 % |
5.37/5.46 c | 9248 | 15618 66778 202658 | 22259 9248 189 | 0.000 % |
5.56/5.60 c | 9504 | 15618 66778 202658 | 22259 9504 190 | 0.000 % |
5.56/5.66 c | 9604 | 15618 66778 202658 | 22259 9604 190 | 0.000 % |
5.66/5.73 c | 9714 | 15618 66778 202658 | 22259 9714 190 | 0.000 % |
5.76/5.80 c | 9835 | 15618 66778 202658 | 22259 9835 190 | 0.000 % |
5.76/5.88 c | 9969 | 15618 66778 202658 | 22259 9969 190 | 0.000 % |
5.86/5.96 c | 10116 | 15618 66778 202658 | 2147483647 10116 190 | 0.000 % |
5.96/6.05 c | 10278 | 15618 66778 202658 | 2147483647 10278 190 | 0.000 % |
6.06/6.15 c | 10454 | 15618 66778 202658 | 2147483647 10454 189 | 0.000 % |
6.16/6.26 c | 10649 | 15618 66778 202658 | 2147483647 10649 189 | 0.000 % |
6.26/6.39 c | 10862 | 15618 66778 202658 | 2147483647 10862 189 | 0.000 % |
6.46/6.54 c | 11096 | 15618 66778 202658 | 2147483647 11096 190 | 0.000 % |
6.56/6.68 c | 11354 | 15618 66778 202658 | 2147483647 11354 191 | 0.000 % |
6.77/6.85 c | 11635 | 15618 66778 202658 | 2147483647 11635 191 | 0.000 % |
6.86/6.91 c | 11738 | 15618 66778 202658 | 2147483647 11738 191 | 0.000 % |
6.86/6.98 c | 11849 | 15618 66778 202658 | 2147483647 11849 191 | 0.000 % |
6.96/7.05 c | 11970 | 15618 66778 202658 | 2147483647 11970 191 | 0.000 % |
7.06/7.13 c | 12103 | 15618 66778 202658 | 2147483647 12103 191 | 0.000 % |
7.16/7.21 c | 12250 | 15618 66778 202658 | 2147483647 12250 190 | 0.000 % |
7.26/7.31 c | 12411 | 15618 66778 202658 | 2147483647 12411 190 | 0.000 % |
7.36/7.42 c | 12587 | 15618 66778 202658 | 2147483647 12587 190 | 0.000 % |
7.46/7.54 c | 12780 | 15618 66778 202658 | 2147483647 12780 190 | 0.000 % |
7.56/7.67 c | 12999 | 15618 66778 202658 | 2147483647 12999 190 | 0.000 % |
7.66/7.80 c | 13235 | 15618 66778 202658 | 2147483647 13235 190 | 0.000 % |
7.86/7.94 c | 13493 | 15618 66778 202658 | 2147483647 13493 190 | 0.000 % |
7.96/8.09 c | 13775 | 15618 66778 202658 | 2147483647 13775 190 | 0.000 % |
8.16/8.28 c | 14084 | 15618 66778 202658 | 2147483647 14084 190 | 0.000 % |
8.26/8.35 c | 14184 | 15618 66778 202658 | 2147483647 14184 190 | 0.000 % |
8.36/8.43 c | 14295 | 15618 66778 202658 | 2147483647 14295 189 | 0.000 % |
8.46/8.51 c | 14418 | 15618 66778 202658 | 2147483647 14418 190 | 0.000 % |
8.46/8.59 c | 14552 | 15618 66778 202658 | 2147483647 14552 189 | 0.000 % |
8.56/8.68 c | 14700 | 15618 66778 202658 | 2147483647 14700 189 | 0.000 % |
8.66/8.77 c | 14860 | 15618 66778 202658 | 2147483647 14860 189 | 0.000 % |
8.76/8.88 c | 15036 | 15618 66778 202658 | 2147483647 15036 189 | 0.000 % |
8.95/9.00 c | 15229 | 15618 66778 202658 | 2147483647 15229 190 | 0.000 % |
9.05/9.15 c | 15441 | 15618 66778 202658 | 2147483647 15441 190 | 0.000 % |
9.15/9.29 c | 15674 | 15618 66778 202658 | 2147483647 15674 192 | 0.000 % |
9.35/9.44 c | 15930 | 15618 66778 202658 | 2147483647 15930 192 | 0.000 % |
9.56/9.62 c | 16212 | 15618 66778 202658 | 2147483647 16212 192 | 0.000 % |
9.77/9.81 c | 16521 | 15618 66778 202658 | 2147483647 16521 192 | 0.000 % |
9.96/10.02 c | 16860 | 15618 66778 202658 | 2147483647 16860 194 | 0.000 % |
9.96/10.09 c | 16961 | 15618 66778 202658 | 2147483647 16961 194 | 0.000 % |
10.06/10.17 c | 17074 | 15618 66778 202658 | 2147483647 17074 194 | 0.000 % |
10.16/10.25 c | 17196 | 15618 66778 202658 | 2147483647 17196 193 | 0.000 % |
10.26/10.34 c | 17330 | 15618 66778 202658 | 2147483647 17330 194 | 0.000 % |
10.36/10.43 c | 17478 | 15618 66778 202658 | 2147483647 17478 193 | 0.000 % |
10.46/10.54 c | 17639 | 15618 66778 202658 | 2147483647 17639 193 | 0.000 % |
10.56/10.65 c | 17815 | 15618 66778 202658 | 2147483647 17815 194 | 0.000 % |
10.66/10.78 c | 18011 | 15618 66778 202658 | 2147483647 18011 194 | 0.000 % |
10.86/10.91 c | 18223 | 15618 66778 202658 | 2147483647 18223 194 | 0.000 % |
10.96/11.06 c | 18456 | 15618 66778 202658 | 2147483647 18456 194 | 0.000 % |
11.15/11.23 c | 18714 | 15618 66778 202658 | 2147483647 18714 194 | 0.000 % |
11.35/11.41 c | 18995 | 15618 66778 202658 | 2147483647 18995 194 | 0.000 % |
11.45/11.59 c | 19304 | 15618 66778 202658 | 2147483647 19304 194 | 0.000 % |
11.75/11.82 c | 19644 | 15618 66778 202658 | 2147483647 19644 195 | 0.000 % |
11.96/12.03 c | 20017 | 15618 66778 202658 | 2147483647 20017 197 | 0.000 % |
12.06/12.10 c | 20118 | 15618 66778 202658 | 2147483647 20118 197 | 0.000 % |
12.06/12.19 c | 20230 | 15618 66778 202658 | 2147483647 20230 197 | 0.000 % |
12.15/12.28 c | 20353 | 15618 66778 202658 | 2147483647 20353 197 | 0.000 % |
12.26/12.37 c | 20486 | 15618 66778 202658 | 2147483647 20486 197 | 0.000 % |
12.36/12.47 c | 20633 | 15618 66778 202658 | 2147483647 20633 197 | 0.000 % |
12.46/12.57 c | 20794 | 15618 66778 202658 | 2147483647 20794 197 | 0.000 % |
12.56/12.69 c | 20971 | 15618 66778 202658 | 2147483647 20971 196 | 0.000 % |
12.76/12.82 c | 21166 | 15618 66778 202658 | 2147483647 21166 196 | 0.000 % |
12.86/12.95 c | 21378 | 15618 66778 202658 | 2147483647 21378 196 | 0.000 % |
13.06/13.11 c | 21613 | 15618 66778 202658 | 2147483647 21613 196 | 0.000 % |
13.16/13.28 c | 21870 | 15618 66778 202658 | 2147483647 21870 196 | 0.000 % |
13.36/13.46 c | 22151 | 15618 66778 202658 | 2147483647 22151 196 | 0.000 % |
13.55/13.67 c | 22461 | 15618 66778 202658 | 2147483647 22461 197 | 0.000 % |
13.75/13.88 c | 22800 | 15618 66778 202658 | 2147483647 22800 197 | 0.000 % |
14.05/14.13 c | 23172 | 15618 66778 202658 | 2147483647 23172 197 | 0.000 % |
14.36/14.41 c | 23581 | 15618 66778 202658 | 2147483647 23581 197 | 0.000 % |
14.36/14.48 c | 23681 | 15618 66778 202658 | 2147483647 23681 197 | 0.000 % |
14.46/14.57 c | 23792 | 15618 66778 202658 | 2147483647 23792 197 | 0.000 % |
14.56/14.65 c | 23913 | 15618 66778 202658 | 2147483647 23913 197 | 0.000 % |
14.66/14.73 c | 24046 | 15618 66778 202658 | 2147483647 24046 197 | 0.000 % |
14.76/14.84 c | 24192 | 15618 66778 202658 | 2147483647 24192 196 | 0.000 % |
14.86/14.95 c | 24354 | 15618 66778 202658 | 2147483647 24354 196 | 0.000 % |
14.96/15.06 c | 24530 | 15618 66778 202658 | 2147483647 24530 196 | 0.000 % |
15.16/15.20 c | 24723 | 15618 66778 202658 | 2147483647 24723 197 | 0.000 % |
15.26/15.35 c | 24937 | 15618 66778 202658 | 2147483647 24937 197 | 0.000 % |
15.45/15.51 c | 25170 | 15618 66778 202658 | 2147483647 25170 197 | 0.000 % |
15.55/15.67 c | 25426 | 15618 66778 202658 | 2147483647 25426 197 | 0.000 % |
15.75/15.86 c | 25707 | 15618 66778 202658 | 2147483647 25707 197 | 0.000 % |
15.95/16.07 c | 26016 | 15618 66778 202658 | 2147483647 26016 198 | 0.000 % |
16.25/16.30 c | 26356 | 15618 66778 202658 | 2147483647 26356 198 | 0.000 % |
16.45/16.57 c | 26731 | 15618 66778 202658 | 2147483647 26731 198 | 0.000 % |
16.75/16.86 c | 27140 | 15618 66778 202658 | 2147483647 27140 198 | 0.000 % |
17.05/17.18 c | 27590 | 15618 66778 202658 | 2147483647 27590 199 | 0.000 % |
17.15/17.25 c | 27690 | 15618 66778 202658 | 2147483647 27690 199 | 0.000 % |
17.25/17.34 c | 27800 | 15618 66778 202658 | 2147483647 27800 199 | 0.000 % |
17.35/17.44 c | 27922 | 15618 66778 202658 | 2147483647 27922 199 | 0.000 % |
17.45/17.54 c | 28056 | 15618 66778 202658 | 2147483647 28056 199 | 0.000 % |
17.55/17.65 c | 28203 | 15618 66778 202658 | 2147483647 28203 199 | 0.000 % |
17.64/17.76 c | 28363 | 15618 66778 202658 | 2147483647 28363 199 | 0.000 % |
17.84/17.90 c | 28540 | 15618 66778 202658 | 2147483647 28540 199 | 0.000 % |
17.94/18.04 c | 28733 | 15618 66778 202658 | 2147483647 28733 199 | 0.000 % |
18.04/18.19 c | 28947 | 15618 66778 202658 | 2147483647 28947 200 | 0.000 % |
18.24/18.37 c | 29180 | 15618 66778 202658 | 2147483647 29180 200 | 0.000 % |
18.44/18.56 c | 29438 | 15618 66778 202658 | 2147483647 29438 200 | 0.000 % |
18.64/18.78 c | 29722 | 15618 66778 202658 | 2147483647 29722 200 | 0.000 % |
18.94/19.00 c | 30031 | 15618 66778 202658 | 2147483647 30031 200 | 0.000 % |
19.14/19.25 c | 30373 | 15618 66778 202658 | 2147483647 30373 200 | 0.000 % |
19.44/19.53 c | 30745 | 15618 66778 202658 | 2147483647 30745 201 | 0.000 % |
19.74/19.84 c | 31155 | 15618 66778 202658 | 2147483647 31155 201 | 0.000 % |
20.04/20.19 c | 31604 | 15618 66778 202658 | 2147483647 31604 202 | 0.000 % |
20.43/20.55 c | 32097 | 15618 66778 202658 | 2147483647 32097 203 | 0.000 % |
20.53/20.64 c | 32197 | 15618 66778 202658 | 2147483647 32197 202 | 0.000 % |
20.63/20.73 c | 32309 | 15618 66778 202658 | 2147483647 32309 202 | 0.000 % |
20.73/20.83 c | 32431 | 15618 66778 202658 | 2147483647 32431 202 | 0.000 % |
20.83/20.93 c | 32564 | 15618 66778 202658 | 2147483647 32564 202 | 0.000 % |
20.93/21.03 c | 32711 | 15618 66778 202658 | 2147483647 32711 202 | 0.000 % |
21.03/21.15 c | 32872 | 15618 66778 202658 | 2147483647 32872 202 | 0.000 % |
21.13/21.26 c | 33050 | 15618 66778 202658 | 2147483647 33050 202 | 0.000 % |
21.33/21.41 c | 33245 | 15618 66778 202658 | 2147483647 33245 202 | 0.000 % |
21.43/21.55 c | 33457 | 15618 66778 202658 | 2147483647 33457 202 | 0.000 % |
21.63/21.71 c | 33690 | 15618 66778 202658 | 2147483647 33690 202 | 0.000 % |
21.83/21.90 c | 33946 | 15618 66778 202658 | 2147483647 33946 202 | 0.000 % |
22.03/22.13 c | 34227 | 15618 66778 202658 | 2147483647 34227 202 | 0.000 % |
22.24/22.34 c | 34538 | 15618 66778 202658 | 2147483647 34538 203 | 0.000 % |
22.44/22.59 c | 34879 | 15618 66778 202658 | 2147483647 34879 203 | 0.000 % |
22.74/22.84 c | 35251 | 15618 66778 202658 | 2147483647 35251 203 | 0.000 % |
23.04/23.14 c | 35664 | 15618 66778 202658 | 2147483647 35664 203 | 0.000 % |
23.33/23.48 c | 36114 | 15618 66778 202658 | 2147483647 36114 204 | 0.000 % |
23.73/23.84 c | 36607 | 15618 66778 202658 | 2147483647 36607 204 | 0.000 % |
24.13/24.22 c | 37151 | 15618 66778 202658 | 2147483647 37151 204 | 0.000 % |
24.23/24.30 c | 37251 | 15618 66778 202658 | 2147483647 37251 204 | 0.000 % |
24.23/24.40 c | 37361 | 15618 66778 202658 | 2147483647 37361 204 | 0.000 % |
24.33/24.49 c | 37482 | 15618 66778 202658 | 2147483647 37482 204 | 0.000 % |
24.43/24.59 c | 37615 | 15618 66778 202658 | 2147483647 37615 204 | 0.000 % |
24.63/24.71 c | 37761 | 15618 66778 202658 | 2147483647 37761 203 | 0.000 % |
24.73/24.84 c | 37922 | 15618 66778 202658 | 2147483647 37922 204 | 0.000 % |
24.83/24.98 c | 38098 | 15618 66778 202658 | 2147483647 38098 203 | 0.000 % |
25.03/25.13 c | 38292 | 15618 66778 202658 | 2147483647 38292 203 | 0.000 % |
25.13/25.28 c | 38504 | 15618 66778 202658 | 2147483647 38504 203 | 0.000 % |
25.34/25.46 c | 38737 | 15618 66778 202658 | 2147483647 38737 203 | 0.000 % |
25.53/25.65 c | 38994 | 15618 66778 202658 | 2147483647 38994 203 | 0.000 % |
25.73/25.87 c | 39275 | 15618 66778 202658 | 2147483647 39275 203 | 0.000 % |
26.03/26.11 c | 39584 | 15618 66778 202658 | 2147483647 39584 203 | 0.000 % |
26.24/26.36 c | 39925 | 15618 66778 202658 | 2147483647 39925 203 | 0.000 % |
26.53/26.64 c | 40298 | 15618 66778 202658 | 2147483647 40298 203 | 0.000 % |
26.83/26.95 c | 40707 | 15618 66778 202658 | 2147483647 40707 203 | 0.000 % |
27.13/27.27 c | 41156 | 15618 66778 202658 | 2147483647 41156 203 | 0.000 % |
27.53/27.65 c | 41650 | 15618 66778 202658 | 2147483647 41650 204 | 0.000 % |
27.92/28.03 c | 42192 | 15618 66778 202658 | 2147483647 42192 205 | 0.000 % |
28.33/28.48 c | 42788 | 15618 66778 202658 | 2147483647 42788 205 | 0.000 % |
28.44/28.56 c | 42889 | 15618 66778 202658 | 2147483647 42889 205 | 0.000 % |
28.54/28.65 c | 42999 | 15618 66778 202658 | 2147483647 42999 205 | 0.000 % |
28.63/28.74 c | 43121 | 15618 66778 202658 | 2147483647 43121 205 | 0.000 % |
28.73/28.85 c | 43255 | 15618 66778 202658 | 2147483647 43255 205 | 0.000 % |
28.83/28.98 c | 43401 | 15618 66778 202658 | 2147483647 43401 205 | 0.000 % |
29.03/29.11 c | 43562 | 15618 66778 202658 | 2147483647 43562 205 | 0.000 % |
29.13/29.25 c | 43738 | 15618 66778 202658 | 2147483647 43738 205 | 0.000 % |
29.33/29.41 c | 43932 | 15618 66778 202658 | 2147483647 43932 205 | 0.000 % |
29.53/29.60 c | 44145 | 15618 66778 202658 | 2147483647 44145 205 | 0.000 % |
29.63/29.79 c | 44379 | 15618 66778 202658 | 2147483647 44379 205 | 0.000 % |
29.83/29.98 c | 44637 | 15618 66778 202658 | 2147483647 44637 205 | 0.000 % |
30.03/30.19 c | 44919 | 15618 66778 202658 | 2147483647 44919 205 | 0.000 % |
30.33/30.42 c | 45228 | 15618 66778 202658 | 2147483647 45228 205 | 0.000 % |
30.52/30.68 c | 45567 | 15618 66778 202658 | 2147483647 45567 205 | 0.000 % |
30.82/30.98 c | 45940 | 15618 66778 202658 | 2147483647 45940 205 | 0.000 % |
31.12/31.29 c | 46350 | 15618 66778 202658 | 2147483647 46350 205 | 0.000 % |
31.52/31.61 c | 46799 | 15618 66778 202658 | 2147483647 46799 206 | 0.000 % |
31.83/31.99 c | 47293 | 15618 66778 202658 | 2147483647 47293 206 | 0.000 % |
32.32/32.43 c | 47840 | 15618 66778 202658 | 2147483647 47840 206 | 0.000 % |
32.83/32.94 c | 48437 | 15618 66778 202658 | 2147483647 48437 208 | 0.000 % |
33.32/33.48 c | 49093 | 15618 66778 202658 | 2147483647 49093 208 | 0.000 % |
33.42/33.57 c | 49193 | 15618 66778 202658 | 2147483647 49193 208 | 0.000 % |
33.52/33.67 c | 49303 | 15618 66778 202658 | 2147483647 49303 208 | 0.000 % |
33.62/33.78 c | 49424 | 15618 66778 202658 | 2147483647 49424 208 | 0.000 % |
33.72/33.89 c | 49557 | 15618 66778 202658 | 2147483647 49557 208 | 0.000 % |
33.92/34.02 c | 49704 | 15618 66778 202658 | 2147483647 49704 208 | 0.000 % |
34.02/34.15 c | 49865 | 15618 66778 202658 | 2147483647 49865 208 | 0.000 % |
34.22/34.31 c | 50041 | 15618 66778 202658 | 2147483647 50041 208 | 0.000 % |
34.32/34.47 c | 50234 | 15618 66778 202658 | 2147483647 50234 208 | 0.000 % |
34.52/34.66 c | 50446 | 15618 66778 202658 | 2147483647 50446 208 | 0.000 % |
34.72/34.85 c | 50679 | 15618 66778 202658 | 2147483647 50679 208 | 0.000 % |
34.92/35.08 c | 50936 | 15618 66778 202658 | 2147483647 50936 208 | 0.000 % |
35.22/35.31 c | 51218 | 15618 66778 202658 | 2147483647 51218 208 | 0.000 % |
35.42/35.55 c | 51527 | 15618 66778 202658 | 2147483647 51527 208 | 0.000 % |
35.72/35.83 c | 51866 | 15618 66778 202658 | 2147483647 51866 208 | 0.000 % |
36.02/36.12 c | 52238 | 15618 66778 202658 | 2147483647 52238 208 | 0.000 % |
36.32/36.45 c | 52647 | 15618 66778 202658 | 2147483647 52647 208 | 0.000 % |
36.72/36.81 c | 53097 | 15618 66778 202658 | 2147483647 53097 208 | 0.000 % |
37.12/37.20 c | 53591 | 15618 66778 202658 | 2147483647 53591 208 | 0.000 % |
37.52/37.67 c | 54138 | 15618 66778 202658 | 2147483647 54138 208 | 0.000 % |
38.02/38.13 c | 54735 | 15618 66778 202658 | 2147483647 54735 209 | 0.000 % |
38.52/38.67 c | 55390 | 15618 66778 202658 | 2147483647 55390 209 | 0.000 % |
39.12/39.29 c | 56110 | 15618 66778 202658 | 2147483647 56110 210 | 0.000 % |
39.22/39.38 c | 56212 | 15618 66778 202658 | 2147483647 56212 210 | 0.000 % |
39.32/39.49 c | 56322 | 15618 66778 202658 | 2147483647 56322 210 | 0.000 % |
39.43/39.59 c | 56444 | 15618 66778 202658 | 2147483647 56444 209 | 0.000 % |
39.62/39.73 c | 56578 | 15618 66778 202658 | 2147483647 56578 209 | 0.000 % |
39.72/39.88 c | 56727 | 15618 66778 202658 | 2147483647 56727 209 | 0.000 % |
39.92/40.03 c | 56888 | 15618 66778 202658 | 2147483647 56888 209 | 0.000 % |
40.02/40.19 c | 57064 | 15618 66778 202658 | 2147483647 57064 209 | 0.000 % |
40.22/40.36 c | 57257 | 15618 66778 202658 | 2147483647 57257 209 | 0.000 % |
40.42/40.57 c | 57469 | 15618 66778 202658 | 2147483647 57469 209 | 0.000 % |
40.72/40.81 c | 57705 | 15618 66778 202658 | 2147483647 57705 209 | 0.000 % |
40.92/41.01 c | 57963 | 15618 66778 202658 | 2147483647 57963 209 | 0.000 % |
41.11/41.27 c | 58245 | 15618 66778 202658 | 2147483647 58245 209 | 0.000 % |
41.42/41.52 c | 58555 | 15618 66778 202658 | 2147483647 58555 210 | 0.000 % |
41.63/41.80 c | 58895 | 15618 66778 202658 | 2147483647 58895 210 | 0.000 % |
42.02/42.11 c | 59269 | 15618 66778 202658 | 2147483647 59269 210 | 0.000 % |
42.32/42.46 c | 59678 | 15618 66778 202658 | 2147483647 59678 210 | 0.000 % |
42.72/42.85 c | 60130 | 15618 66778 202658 | 2147483647 60130 210 | 0.000 % |
43.11/43.28 c | 60623 | 15618 66778 202658 | 2147483647 60623 211 | 0.000 % |
43.61/43.75 c | 61166 | 15618 66778 202658 | 2147483647 61166 211 | 0.000 % |
44.11/44.21 c | 61765 | 15618 66778 202658 | 2147483647 61765 211 | 0.000 % |
44.71/44.82 c | 62420 | 15618 66778 202658 | 2147483647 62420 212 | 0.000 % |
45.31/45.46 c | 63141 | 15618 66778 202658 | 2147483647 63141 214 | 0.000 % |
46.02/46.16 c | 63935 | 15618 66778 202658 | 2147483647 63935 214 | 0.000 % |
46.12/46.26 c | 64037 | 15618 66778 202658 | 2147483647 64037 214 | 0.000 % |
46.22/46.39 c | 64149 | 15618 66778 202658 | 2147483647 64149 213 | 0.000 % |
46.42/46.52 c | 64271 | 15618 66778 202658 | 2147483647 64271 213 | 0.000 % |
46.52/46.66 c | 64404 | 15618 66778 202658 | 2147483647 64404 213 | 0.000 % |
46.62/46.80 c | 64550 | 15618 66778 202658 | 2147483647 64550 213 | 0.000 % |
46.82/46.97 c | 64710 | 15618 66778 202658 | 2147483647 64710 213 | 0.000 % |
47.02/47.13 c | 64891 | 15618 66778 202658 | 2147483647 64891 214 | 0.000 % |
47.22/47.30 c | 65084 | 15618 66778 202658 | 2147483647 65084 213 | 0.000 % |
47.42/47.51 c | 65299 | 15618 66778 202658 | 2147483647 65299 213 | 0.000 % |
47.62/47.75 c | 65534 | 15618 66778 202658 | 2147483647 65534 214 | 0.000 % |
47.81/47.97 c | 65791 | 15618 66778 202658 | 2147483647 65791 214 | 0.000 % |
48.11/48.23 c | 66075 | 15618 66778 202658 | 2147483647 66075 213 | 0.000 % |
48.41/48.50 c | 66386 | 15618 66778 202658 | 2147483647 66386 213 | 0.000 % |
48.61/48.78 c | 66725 | 15618 66778 202658 | 2147483647 66725 213 | 0.000 % |
49.01/49.13 c | 67097 | 15618 66778 202658 | 2147483647 67097 213 | 0.000 % |
49.41/49.52 c | 67506 | 15618 66778 202658 | 2147483647 67506 213 | 0.000 % |
49.81/49.94 c | 67955 | 15618 66778 202658 | 2147483647 67955 214 | 0.000 % |
50.21/50.37 c | 68448 | 15618 66778 202658 | 2147483647 68448 214 | 0.000 % |
50.72/50.84 c | 68992 | 15618 66778 202658 | 2147483647 68992 214 | 0.000 % |
51.21/51.39 c | 69588 | 15618 66778 202658 | 2147483647 69588 214 | 0.000 % |
51.91/52.01 c | 70244 | 15618 66778 202658 | 2147483647 70244 215 | 0.000 % |
52.51/52.67 c | 70964 | 15618 66778 202658 | 2147483647 70964 215 | 0.000 % |
53.31/53.41 c | 71756 | 15618 66778 202658 | 2147483647 71756 216 | 0.000 % |
54.11/54.22 c | 72627 | 15618 66778 202658 | 2147483647 72627 217 | 0.000 % |
54.21/54.33 c | 72729 | 15618 66778 202658 | 2147483647 72729 217 | 0.000 % |
54.31/54.43 c | 72839 | 15618 66778 202658 | 2147483647 72839 217 | 0.000 % |
54.41/54.56 c | 72960 | 15618 66778 202658 | 2147483647 72960 217 | 0.000 % |
54.61/54.72 c | 73093 | 15618 66778 202658 | 2147483647 73093 217 | 0.000 % |
54.71/54.88 c | 73240 | 15618 66778 202658 | 2147483647 73240 217 | 0.000 % |
54.92/55.06 c | 73400 | 15618 66778 202658 | 2147483647 73400 217 | 0.000 % |
55.11/55.23 c | 73577 | 15618 66778 202658 | 2147483647 73577 217 | 0.000 % |
55.31/55.42 c | 73770 | 15618 66778 202658 | 2147483647 73770 217 | 0.000 % |
55.51/55.61 c | 73982 | 15618 66778 202658 | 2147483647 73982 217 | 0.000 % |
55.71/55.84 c | 74218 | 15618 66778 202658 | 2147483647 74218 217 | 0.000 % |
55.91/56.10 c | 74474 | 15618 66778 202658 | 2147483647 74474 217 | 0.000 % |
56.21/56.37 c | 74755 | 15618 66778 202658 | 2147483647 74755 217 | 0.000 % |
56.51/56.67 c | 75064 | 15618 66778 202658 | 2147483647 75064 217 | 0.000 % |
56.81/57.00 c | 75403 | 15618 66778 202658 | 2147483647 75403 217 | 0.000 % |
57.21/57.36 c | 75775 | 15618 66778 202658 | 2147483647 75775 217 | 0.000 % |
57.60/57.74 c | 76184 | 15618 66778 202658 | 2147483647 76184 217 | 0.000 % |
58.12/58.22 c | 76633 | 15618 66778 202658 | 2147483647 76633 217 | 0.000 % |
58.61/58.71 c | 77126 | 15618 66778 202658 | 2147483647 77126 217 | 0.000 % |
59.11/59.25 c | 77670 | 15618 66778 202658 | 2147483647 77670 218 | 0.000 % |
59.71/59.84 c | 78267 | 15618 66778 202658 | 2147483647 78267 218 | 0.000 % |
60.31/60.44 c | 78923 | 15618 66778 202658 | 2147483647 78923 218 | 0.000 % |
60.91/61.08 c | 79645 | 15618 66778 202658 | 2147483647 79645 218 | 0.000 % |
61.71/61.80 c | 80437 | 15618 66778 202658 | 2147483647 80437 219 | 0.000 % |
62.60/62.73 c | 81308 | 15618 66778 202658 | 2147483647 81308 219 | 0.000 % |
63.50/63.66 c | 82268 | 15618 66778 202658 | 2147483647 82268 219 | 0.000 % |
63.60/63.76 c | 82368 | 15618 66778 202658 | 2147483647 82368 219 | 0.000 % |
63.70/63.89 c | 82478 | 15618 66778 202658 | 2147483647 82478 219 | 0.000 % |
63.89/64.03 c | 82600 | 15618 66778 202658 | 2147483647 82600 219 | 0.000 % |
63.99/64.18 c | 82735 | 15618 66778 202658 | 2147483647 82735 219 | 0.000 % |
64.19/64.34 c | 82881 | 15618 66778 202658 | 2147483647 82881 219 | 0.000 % |
64.39/64.50 c | 83041 | 15618 66778 202658 | 2147483647 83041 219 | 0.000 % |
64.49/64.70 c | 83219 | 15618 66778 202658 | 2147483647 83219 219 | 0.000 % |
64.71/64.90 c | 83414 | 15618 66778 202658 | 2147483647 83414 219 | 0.000 % |
65.00/65.12 c | 83626 | 15618 66778 202658 | 2147483647 83626 219 | 0.000 % |
65.20/65.37 c | 83859 | 15618 66778 202658 | 2147483647 83859 219 | 0.000 % |
65.50/65.64 c | 84117 | 15618 66778 202658 | 2147483647 84117 219 | 0.000 % |
65.80/65.95 c | 84398 | 15618 66778 202658 | 2147483647 84398 219 | 0.000 % |
66.10/66.29 c | 84708 | 15618 66778 202658 | 2147483647 84708 219 | 0.000 % |
66.49/66.63 c | 85048 | 15618 66778 202658 | 2147483647 85048 219 | 0.000 % |
66.90/67.02 c | 85420 | 15618 66778 202658 | 2147483647 85420 219 | 0.000 % |
67.29/67.44 c | 85829 | 15618 66778 202658 | 2147483647 85829 219 | 0.000 % |
67.69/67.89 c | 86278 | 15618 66778 202658 | 2147483647 86278 219 | 0.000 % |
68.30/68.43 c | 86771 | 15618 66778 202658 | 2147483647 86771 219 | 0.000 % |
68.80/68.95 c | 87313 | 15618 66778 202658 | 2147483647 87313 219 | 0.000 % |
69.39/69.53 c | 87909 | 15618 66778 202658 | 2147483647 87909 219 | 0.000 % |
70.10/70.20 c | 88564 | 15618 66778 202658 | 2147483647 88564 219 | 0.000 % |
70.79/70.92 c | 89284 | 15618 66778 202658 | 2147483647 89284 219 | 0.000 % |
71.49/71.67 c | 90076 | 15618 66778 202658 | 2147483647 90076 220 | 0.000 % |
72.40/72.60 c | 90951 | 15618 66778 202658 | 2147483647 90951 221 | 0.000 % |
73.39/73.54 c | 91909 | 15618 66778 202658 | 2147483647 91909 221 | 0.000 % |
74.49/74.70 c | 92965 | 15618 66778 202658 | 2147483647 92965 222 | 0.000 % |
74.70/74.81 c | 93065 | 15618 66778 202658 | 2147483647 93065 222 | 0.000 % |
74.79/74.95 c | 93177 | 15618 66778 202658 | 2147483647 93177 222 | 0.000 % |
74.99/75.10 c | 93298 | 15618 66778 202658 | 2147483647 93298 222 | 0.000 % |
75.09/75.25 c | 93432 | 15618 66778 202658 | 2147483647 93432 222 | 0.000 % |
75.29/75.43 c | 93579 | 15618 66778 202658 | 2147483647 93579 221 | 0.000 % |
75.49/75.62 c | 93741 | 15618 66778 202658 | 2147483647 93741 221 | 0.000 % |
75.70/75.81 c | 93917 | 15618 66778 202658 | 2147483647 93917 221 | 0.000 % |
75.89/76.01 c | 94110 | 15618 66778 202658 | 2147483647 94110 221 | 0.000 % |
76.09/76.24 c | 94322 | 15618 66778 202658 | 2147483647 94322 221 | 0.000 % |
76.39/76.53 c | 94555 | 15618 66778 202658 | 2147483647 94555 221 | 0.000 % |
76.69/76.83 c | 94814 | 15618 66778 202658 | 2147483647 94814 221 | 0.000 % |
76.99/77.15 c | 95095 | 15618 66778 202658 | 2147483647 95095 221 | 0.000 % |
77.38/77.50 c | 95404 | 15618 66778 202658 | 2147483647 95404 221 | 0.000 % |
77.68/77.88 c | 95744 | 15618 66778 202658 | 2147483647 95744 221 | 0.000 % |
78.18/78.32 c | 96116 | 15618 66778 202658 | 2147483647 96116 221 | 0.000 % |
78.59/78.77 c | 96526 | 15618 66778 202658 | 2147483647 96526 221 | 0.000 % |
79.09/79.26 c | 96975 | 15618 66778 202658 | 2147483647 96975 221 | 0.000 % |
79.69/79.83 c | 97468 | 15618 66778 202658 | 2147483647 97468 221 | 0.000 % |
80.19/80.36 c | 98010 | 15618 66778 202658 | 2147483647 98010 221 | 0.000 % |
80.89/81.02 c | 98606 | 15618 66778 202658 | 2147483647 98606 221 | 0.000 % |
81.49/81.69 c | 99263 | 15618 66778 202658 | 2147483647 99263 221 | 0.000 % |
82.29/82.49 c | 99985 | 15618 66778 202658 | 2147483647 99985 222 | 0.000 % |
83.18/83.35 c | 100778 | 15618 66778 202658 | 2147483647 100778 222 | 0.000 % |
84.08/84.27 c | 101650 | 15618 66778 202658 | 2147483647 101650 222 | 0.000 % |
85.09/85.29 c | 102608 | 15618 66778 202658 | 2147483647 102608 223 | 0.000 % |
86.28/86.45 c | 103661 | 15618 66778 202658 | 2147483647 103661 223 | 0.000 % |
87.48/87.67 c | 104822 | 15618 66778 202658 | 2147483647 104822 223 | 0.000 % |
87.68/87.81 c | 104923 | 15618 66778 202658 | 2147483647 104923 223 | 0.000 % |
87.78/87.96 c | 105034 | 15618 66778 202658 | 2147483647 105034 223 | 0.000 % |
87.98/88.12 c | 105155 | 15618 66778 202658 | 2147483647 105155 223 | 0.000 % |
88.08/88.29 c | 105288 | 15618 66778 202658 | 2147483647 105288 223 | 0.000 % |
88.28/88.47 c | 105434 | 15618 66778 202658 | 2147483647 105434 223 | 0.000 % |
88.48/88.65 c | 105597 | 15618 66778 202658 | 2147483647 105597 223 | 0.000 % |
88.68/88.86 c | 105773 | 15618 66778 202658 | 2147483647 105773 223 | 0.000 % |
88.89/89.08 c | 105966 | 15618 66778 202658 | 2147483647 105966 223 | 0.000 % |
89.18/89.35 c | 106178 | 15618 66778 202658 | 2147483647 106178 223 | 0.000 % |
89.48/89.62 c | 106411 | 15618 66778 202658 | 2147483647 106411 223 | 0.000 % |
89.78/89.93 c | 106667 | 15618 66778 202658 | 2147483647 106667 223 | 0.000 % |
90.08/90.27 c | 106949 | 15618 66778 202658 | 2147483647 106949 223 | 0.000 % |
90.48/90.63 c | 107258 | 15618 66778 202658 | 2147483647 107258 223 | 0.000 % |
90.88/91.04 c | 107599 | 15618 66778 202658 | 2147483647 107599 223 | 0.000 % |
91.28/91.46 c | 107971 | 15618 66778 202658 | 2147483647 107971 223 | 0.000 % |
91.67/91.87 c | 108380 | 15618 66778 202658 | 2147483647 108380 223 | 0.000 % |
92.18/92.38 c | 108829 | 15618 66778 202658 | 2147483647 108829 223 | 0.000 % |
92.78/92.93 c | 109322 | 15618 66778 202658 | 2147483647 109322 223 | 0.000 % |
93.38/93.55 c | 109864 | 15618 66778 202658 | 2147483647 109864 224 | 0.000 % |
94.08/94.28 c | 110461 | 15618 66778 202658 | 2147483647 110461 224 | 0.000 % |
94.87/95.03 c | 111116 | 15618 66778 202658 | 2147483647 111116 224 | 0.000 % |
95.67/95.87 c | 111838 | 15618 66778 202658 | 2147483647 111838 224 | 0.000 % |
96.58/96.73 c | 112632 | 15618 66778 202658 | 2147483647 112632 224 | 0.000 % |
97.48/97.64 c | 113505 | 15618 66778 202658 | 2147483647 113505 225 | 0.000 % |
98.58/98.76 c | 114463 | 15618 66778 202658 | 2147483647 114463 226 | 0.000 % |
99.67/99.84 c | 115516 | 15618 66778 202658 | 2147483647 115516 226 | 0.000 % |
100.97/101.19 c | 116674 | 15618 66778 202658 | 2147483647 116674 226 | 0.000 % |
102.58/102.72 c | 117947 | 15618 66778 202658 | 2147483647 117947 227 | 0.000 % |
102.68/102.85 c | 118047 | 15618 66778 202658 | 2147483647 118047 227 | 0.000 % |
102.88/103.02 c | 118158 | 15618 66778 202658 | 2147483647 118158 227 | 0.000 % |
102.98/103.18 c | 118279 | 15618 66778 202658 | 2147483647 118279 227 | 0.000 % |
103.18/103.35 c | 118412 | 15618 66778 202658 | 2147483647 118412 227 | 0.000 % |
103.38/103.54 c | 118558 | 15618 66778 202658 | 2147483647 118558 227 | 0.000 % |
103.57/103.77 c | 118720 | 15618 66778 202658 | 2147483647 118720 227 | 0.000 % |
103.87/104.00 c | 118896 | 15618 66778 202658 | 2147483647 118896 227 | 0.000 % |
104.07/104.25 c | 119089 | 15618 66778 202658 | 2147483647 119089 227 | 0.000 % |
104.38/104.55 c | 119301 | 15618 66778 202658 | 2147483647 119301 227 | 0.000 % |
104.67/104.88 c | 119535 | 15618 66778 202658 | 2147483647 119535 227 | 0.000 % |
104.97/105.19 c | 119792 | 15618 66778 202658 | 2147483647 119792 227 | 0.000 % |
105.38/105.54 c | 120073 | 15618 66778 202658 | 2147483647 120073 227 | 0.000 % |
105.78/105.96 c | 120382 | 15618 66778 202658 | 2147483647 120382 227 | 0.000 % |
106.27/106.41 c | 120721 | 15618 66778 202658 | 2147483647 120721 227 | 0.000 % |
106.67/106.88 c | 121095 | 15618 66778 202658 | 2147483647 121095 227 | 0.000 % |
107.27/107.41 c | 121504 | 15618 66778 202658 | 2147483647 121504 227 | 0.000 % |
107.77/107.95 c | 121953 | 15618 66778 202658 | 2147483647 121953 227 | 0.000 % |
108.36/108.50 c | 122446 | 15618 66778 202658 | 2147483647 122446 227 | 0.000 % |
108.96/109.16 c | 122989 | 15618 66778 202658 | 2147483647 122989 227 | 0.000 % |
109.66/109.82 c | 123585 | 15618 66778 202658 | 2147483647 123585 227 | 0.000 % |
110.46/110.64 c | 124240 | 15618 66778 202658 | 2147483647 124240 226 | 0.000 % |
111.36/111.53 c | 124962 | 15618 66778 202658 | 2147483647 124962 227 | 0.000 % |
112.36/112.50 c | 125754 | 15618 66778 202658 | 2147483647 125754 227 | 0.000 % |
113.36/113.51 c | 126625 | 15618 66778 202658 | 2147483647 126625 227 | 0.000 % |
114.46/114.66 c | 127583 | 15618 66778 202658 | 2147483647 127583 227 | 0.000 % |
115.76/115.98 c | 128637 | 15618 66778 202658 | 2147483647 128637 227 | 0.000 % |
117.26/117.44 c | 129796 | 15618 66778 202658 | 2147483647 129796 228 | 0.000 % |
118.77/118.99 c | 131069 | 15618 66778 202658 | 2147483647 131069 228 | 0.000 % |
120.46/120.68 c | 132470 | 15618 66778 202658 | 2147483647 132470 229 | 0.000 % |
120.66/120.82 c | 132571 | 15618 66778 202658 | 2147483647 132571 229 | 0.000 % |
120.76/120.99 c | 132681 | 15618 66778 202658 | 2147483647 132681 229 | 0.000 % |
120.96/121.18 c | 132802 | 15618 66778 202658 | 2147483647 132802 228 | 0.000 % |
121.16/121.34 c | 132937 | 15618 66778 202658 | 2147483647 132937 228 | 0.000 % |
121.36/121.56 c | 133083 | 15618 66778 202658 | 2147483647 133083 228 | 0.000 % |
121.66/121.81 c | 133243 | 15618 66778 202658 | 2147483647 133243 228 | 0.000 % |
121.86/122.06 c | 133421 | 15618 66778 202658 | 2147483647 133421 228 | 0.000 % |
122.16/122.34 c | 133614 | 15618 66778 202658 | 2147483647 133614 228 | 0.000 % |
122.46/122.63 c | 133827 | 15618 66778 202658 | 2147483647 133827 228 | 0.000 % |
122.76/122.96 c | 134060 | 15618 66778 202658 | 2147483647 134060 228 | 0.000 % |
123.16/123.30 c | 134317 | 15618 66778 202658 | 2147483647 134317 228 | 0.000 % |
123.55/123.71 c | 134598 | 15618 66778 202658 | 2147483647 134598 228 | 0.000 % |
123.96/124.11 c | 134910 | 15618 66778 202658 | 2147483647 134910 228 | 0.000 % |
124.36/124.55 c | 135250 | 15618 66778 202658 | 2147483647 135250 228 | 0.000 % |
124.86/125.03 c | 135622 | 15618 66778 202658 | 2147483647 135622 228 | 0.000 % |
125.36/125.53 c | 136031 | 15618 66778 202658 | 2147483647 136031 228 | 0.000 % |
125.95/126.13 c | 136480 | 15618 66778 202658 | 2147483647 136480 228 | 0.000 % |
126.55/126.77 c | 136973 | 15618 66778 202658 | 2147483647 136973 228 | 0.000 % |
127.25/127.45 c | 137515 | 15618 66778 202658 | 2147483647 137515 228 | 0.000 % |
127.95/128.19 c | 138111 | 15618 66778 202658 | 2147483647 138111 228 | 0.000 % |
128.86/129.02 c | 138767 | 15618 66778 202658 | 2147483647 138767 228 | 0.000 % |
129.76/129.93 c | 139488 | 15618 66778 202658 | 2147483647 139488 229 | 0.000 % |
130.76/130.95 c | 140280 | 15618 66778 202658 | 2147483647 140280 229 | 0.000 % |
131.95/132.13 c | 141151 | 15618 66778 202658 | 2147483647 141151 229 | 0.000 % |
133.25/133.41 c | 142109 | 15618 66778 202658 | 2147483647 142109 229 | 0.000 % |
134.66/134.84 c | 143164 | 15618 66778 202658 | 2147483647 143164 229 | 0.000 % |
136.06/136.27 c | 144322 | 15618 66778 202658 | 2147483647 144322 230 | 0.000 % |
137.66/137.89 c | 145596 | 15618 66778 202658 | 2147483647 145596 230 | 0.000 % |
139.46/139.69 c | 146996 | 15618 66778 202658 | 2147483647 146996 231 | 0.000 % |
141.45/141.69 c | 148536 | 15618 66778 202658 | 2147483647 148536 231 | 0.000 % |
141.65/141.87 c | 148638 | 15618 66778 202658 | 2147483647 148638 231 | 0.000 % |
141.85/142.04 c | 148752 | 15618 66778 202658 | 2147483647 148752 231 | 0.000 % |
142.05/142.22 c | 148874 | 15618 66778 202658 | 2147483647 148874 231 | 0.000 % |
142.25/142.43 c | 149007 | 15618 66778 202658 | 2147483647 149007 231 | 0.000 % |
142.46/142.64 c | 149153 | 15618 66778 202658 | 2147483647 149153 231 | 0.000 % |
142.66/142.89 c | 149313 | 15618 66778 202658 | 2147483647 149313 231 | 0.000 % |
142.95/143.13 c | 149489 | 15618 66778 202658 | 2147483647 149489 231 | 0.000 % |
143.25/143.40 c | 149684 | 15618 66778 202658 | 2147483647 149684 231 | 0.000 % |
143.45/143.69 c | 149896 | 15618 66778 202658 | 2147483647 149896 231 | 0.000 % |
143.86/144.02 c | 150129 | 15618 66778 202658 | 2147483647 150129 231 | 0.000 % |
144.15/144.36 c | 150385 | 15618 66778 202658 | 2147483647 150385 231 | 0.000 % |
144.55/144.76 c | 150666 | 15618 66778 202658 | 2147483647 150666 231 | 0.000 % |
144.96/145.18 c | 150977 | 15618 66778 202658 | 2147483647 150977 231 | 0.000 % |
145.45/145.64 c | 151316 | 15618 66778 202658 | 2147483647 151316 231 | 0.000 % |
145.95/146.10 c | 151688 | 15618 66778 202658 | 2147483647 151688 231 | 0.000 % |
146.45/146.64 c | 152098 | 15618 66778 202658 | 2147483647 152098 231 | 0.000 % |
147.05/147.29 c | 152548 | 15618 66778 202658 | 2147483647 152548 231 | 0.000 % |
147.75/147.97 c | 153041 | 15618 66778 202658 | 2147483647 153041 231 | 0.000 % |
148.55/148.71 c | 153583 | 15618 66778 202658 | 2147483647 153583 231 | 0.000 % |
149.35/149.55 c | 154180 | 15618 66778 202658 | 2147483647 154180 231 | 0.000 % |
150.25/150.44 c | 154835 | 15618 66778 202658 | 2147483647 154835 231 | 0.000 % |
151.15/151.39 c | 155555 | 15618 66778 202658 | 2147483647 155555 232 | 0.000 % |
152.34/152.50 c | 156348 | 15618 66778 202658 | 2147483647 156348 232 | 0.000 % |
153.55/153.75 c | 157219 | 15618 66778 202658 | 2147483647 157219 232 | 0.000 % |
154.74/154.99 c | 158177 | 15618 66778 202658 | 2147483647 158177 232 | 0.000 % |
156.24/156.42 c | 159230 | 15618 66778 202658 | 2147483647 159230 233 | 0.000 % |
157.74/157.99 c | 160391 | 15618 66778 202658 | 2147483647 160391 233 | 0.000 % |
159.54/159.75 c | 161667 | 15618 66778 202658 | 2147483647 161667 233 | 0.000 % |
161.34/161.59 c | 163067 | 15618 66778 202658 | 2147483647 163067 233 | 0.000 % |
163.53/163.79 c | 164607 | 15618 66778 202658 | 2147483647 164607 234 | 0.000 % |
165.94/166.15 c | 166304 | 15618 66778 202658 | 2147483647 166304 234 | 0.000 % |
166.14/166.31 c | 166406 | 15618 66778 202658 | 2147483647 166406 234 | 0.000 % |
166.24/166.48 c | 166517 | 15618 66778 202658 | 2147483647 166517 234 | 0.000 % |
166.54/166.71 c | 166638 | 15618 66778 202658 | 2147483647 166638 234 | 0.000 % |
166.74/166.92 c | 166773 | 15618 66778 202658 | 2147483647 166773 233 | 0.000 % |
166.94/167.16 c | 166919 | 15618 66778 202658 | 2147483647 166919 233 | 0.000 % |
167.24/167.43 c | 167080 | 15618 66778 202658 | 2147483647 167080 233 | 0.000 % |
167.54/167.73 c | 167257 | 15618 66778 202658 | 2147483647 167257 233 | 0.000 % |
167.84/168.05 c | 167452 | 15618 66778 202658 | 2147483647 167452 233 | 0.000 % |
168.14/168.38 c | 167664 | 15618 66778 202658 | 2147483647 167664 233 | 0.000 % |
168.53/168.74 c | 167897 | 15618 66778 202658 | 2147483647 167897 233 | 0.000 % |
168.93/169.12 c | 168154 | 15618 66778 202658 | 2147483647 168154 233 | 0.000 % |
169.33/169.52 c | 168436 | 15618 66778 202658 | 2147483647 168436 233 | 0.000 % |
169.73/169.96 c | 168745 | 15618 66778 202658 | 2147483647 168745 233 | 0.000 % |
170.25/170.47 c | 169084 | 15618 66778 202658 | 2147483647 169084 233 | 0.000 % |
170.84/171.08 c | 169456 | 15618 66778 202658 | 2147483647 169456 233 | 0.000 % |
171.44/171.66 c | 169868 | 15618 66778 202658 | 2147483647 169868 233 | 0.000 % |
172.14/172.35 c | 170319 | 15618 66778 202658 | 2147483647 170319 233 | 0.000 % |
172.93/173.13 c | 170814 | 15618 66778 202658 | 2147483647 170814 234 | 0.000 % |
173.64/173.89 c | 171356 | 15618 66778 202658 | 2147483647 171356 234 | 0.000 % |
174.53/174.74 c | 171956 | 15618 66778 202658 | 2147483647 171956 234 | 0.000 % |
175.54/175.72 c | 172613 | 15618 66778 202658 | 2147483647 172613 234 | 0.000 % |
176.54/176.77 c | 173333 | 15618 66778 202658 | 2147483647 173333 234 | 0.000 % |
177.74/177.91 c | 174125 | 15618 66778 202658 | 2147483647 174125 234 | 0.000 % |
178.93/179.18 c | 174996 | 15618 66778 202658 | 2147483647 174996 234 | 0.000 % |
180.33/180.60 c | 175957 | 15618 66778 202658 | 2147483647 175957 234 | 0.000 % |
181.83/182.08 c | 177010 | 15618 66778 202658 | 2147483647 177010 234 | 0.000 % |
183.73/183.90 c | 178168 | 15618 66778 202658 | 2147483647 178168 235 | 0.000 % |
185.43/185.68 c | 179441 | 15618 66778 202658 | 2147483647 179441 235 | 0.000 % |
187.63/187.87 c | 180841 | 15618 66778 202658 | 2147483647 180841 235 | 0.000 % |
189.93/190.18 c | 182382 | 15618 66778 202658 | 2147483647 182382 235 | 0.000 % |
192.53/192.73 c | 184076 | 15618 66778 202658 | 2147483647 184076 235 | 0.000 % |
195.32/195.58 c | 185939 | 15618 66778 202658 | 2147483647 185939 236 | 0.000 % |
195.53/195.76 c | 186039 | 15618 66778 202658 | 2147483647 186039 236 | 0.000 % |
195.72/196.00 c | 186149 | 15618 66778 202658 | 2147483647 186149 236 | 0.000 % |
196.02/196.24 c | 186270 | 15618 66778 202658 | 2147483647 186270 236 | 0.000 % |
196.33/196.50 c | 186405 | 15618 66778 202658 | 2147483647 186405 236 | 0.000 % |
196.53/196.75 c | 186551 | 15618 66778 202658 | 2147483647 186551 236 | 0.000 % |
196.83/197.01 c | 186712 | 15618 66778 202658 | 2147483647 186712 236 | 0.000 % |
197.13/197.32 c | 186890 | 15618 66778 202658 | 2147483647 186890 236 | 0.000 % |
197.43/197.65 c | 187083 | 15618 66778 202658 | 2147483647 187083 236 | 0.000 % |
197.82/198.04 c | 187295 | 15618 66778 202658 | 2147483647 187295 236 | 0.000 % |
198.22/198.43 c | 187528 | 15618 66778 202658 | 2147483647 187528 236 | 0.000 % |
198.72/198.90 c | 187784 | 15618 66778 202658 | 2147483647 187784 236 | 0.000 % |
199.12/199.35 c | 188066 | 15618 66778 202658 | 2147483647 188066 236 | 0.000 % |
199.72/199.91 c | 188376 | 15618 66778 202658 | 2147483647 188376 235 | 0.000 % |
200.22/200.45 c | 188717 | 15618 66778 202658 | 2147483647 188717 236 | 0.000 % |
200.81/201.06 c | 189089 | 15618 66778 202658 | 2147483647 189089 236 | 0.000 % |
201.51/201.70 c | 189498 | 15618 66778 202658 | 2147483647 189498 236 | 0.000 % |
202.13/202.40 c | 189949 | 15618 66778 202658 | 2147483647 189949 235 | 0.000 % |
203.02/203.20 c | 190445 | 15618 66778 202658 | 2147483647 190445 236 | 0.000 % |
203.82/204.04 c | 190987 | 15618 66778 202658 | 2147483647 190987 236 | 0.000 % |
204.72/204.97 c | 191584 | 15618 66778 202658 | 2147483647 191584 236 | 0.000 % |
205.81/206.07 c | 192239 | 15618 66778 202658 | 2147483647 192239 236 | 0.000 % |
206.92/207.13 c | 192961 | 15618 66778 202658 | 2147483647 192961 236 | 0.000 % |
208.12/208.34 c | 193753 | 15618 66778 202658 | 2147483647 193753 236 | 0.000 % |
209.32/209.59 c | 194627 | 15618 66778 202658 | 2147483647 194627 236 | 0.000 % |
210.81/211.09 c | 195585 | 15618 66778 202658 | 2147483647 195585 236 | 0.000 % |
212.62/212.81 c | 196638 | 15618 66778 202658 | 2147483647 196638 236 | 0.000 % |
214.42/214.62 c | 197798 | 15618 66778 202658 | 2147483647 197798 237 | 0.000 % |
216.31/216.54 c | 199071 | 15618 66778 202658 | 2147483647 199071 237 | 0.000 % |
218.51/218.73 c | 200471 | 15618 66778 202658 | 2147483647 200471 237 | 0.000 % |
220.82/221.02 c | 202012 | 15618 66778 202658 | 2147483647 202012 237 | 0.000 % |
223.51/223.71 c | 203709 | 15618 66778 202658 | 2147483647 203709 238 | 0.000 % |
226.31/226.60 c | 205572 | 15618 66778 202658 | 2147483647 205572 238 | 0.000 % |
229.61/229.88 c | 207621 | 15618 66778 202658 | 2147483647 207621 239 | 0.000 % |
229.91/230.11 c | 207722 | 15618 66778 202658 | 2147483647 207722 239 | 0.000 % |
230.11/230.31 c | 207834 | 15618 66778 202658 | 2147483647 207834 239 | 0.000 % |
230.31/230.54 c | 207955 | 15618 66778 202658 | 2147483647 207955 239 | 0.000 % |
230.61/230.83 c | 208089 | 15618 66778 202658 | 2147483647 208089 239 | 0.000 % |
230.91/231.11 c | 208238 | 15618 66778 202658 | 2147483647 208238 239 | 0.000 % |
231.20/231.40 c | 208398 | 15618 66778 202658 | 2147483647 208398 239 | 0.000 % |
231.50/231.76 c | 208574 | 15618 66778 202658 | 2147483647 208574 239 | 0.000 % |
231.91/232.14 c | 208768 | 15618 66778 202658 | 2147483647 208768 239 | 0.000 % |
232.31/232.51 c | 208982 | 15618 66778 202658 | 2147483647 208982 239 | 0.000 % |
232.71/232.94 c | 209216 | 15618 66778 202658 | 2147483647 209216 239 | 0.000 % |
233.21/233.40 c | 209473 | 15618 66778 202658 | 2147483647 209473 239 | 0.000 % |
233.61/233.87 c | 209755 | 15618 66778 202658 | 2147483647 209755 239 | 0.000 % |
234.21/234.46 c | 210064 | 15618 66778 202658 | 2147483647 210064 239 | 0.000 % |
234.91/235.10 c | 210403 | 15618 66778 202658 | 2147483647 210403 239 | 0.000 % |
235.51/235.73 c | 210775 | 15618 66778 202658 | 2147483647 210775 239 | 0.000 % |
236.21/236.46 c | 211184 | 15618 66778 202658 | 2147483647 211184 239 | 0.000 % |
237.10/237.30 c | 211634 | 15618 66778 202658 | 2147483647 211634 239 | 0.000 % |
238.00/238.20 c | 212127 | 15618 66778 202658 | 2147483647 212127 239 | 0.000 % |
238.90/239.18 c | 212673 | 15618 66778 202658 | 2147483647 212673 239 | 0.000 % |
239.90/240.14 c | 213269 | 15618 66778 202658 | 2147483647 213269 239 | 0.000 % |
241.00/241.24 c | 213924 | 15618 66778 202658 | 2147483647 213924 239 | 0.000 % |
242.20/242.47 c | 214644 | 15618 66778 202658 | 2147483647 214644 239 | 0.000 % |
243.50/243.70 c | 215438 | 15618 66778 202658 | 2147483647 215438 239 | 0.000 % |
244.89/245.13 c | 216310 | 15618 66778 202658 | 2147483647 216310 239 | 0.000 % |
246.39/246.69 c | 217268 | 15618 66778 202658 | 2147483647 217268 239 | 0.000 % |
248.20/248.42 c | 218322 | 15618 66778 202658 | 2147483647 218322 239 | 0.000 % |
250.10/250.37 c | 219480 | 15618 66778 202658 | 2147483647 219480 239 | 0.000 % |
252.19/252.44 c | 220755 | 15618 66778 202658 | 2147483647 220755 239 | 0.000 % |
254.50/254.76 c | 222157 | 15618 66778 202658 | 2147483647 222157 239 | 0.000 % |
257.00/257.29 c | 223699 | 15618 66778 202658 | 2147483647 223699 240 | 0.000 % |
259.89/260.15 c | 225395 | 15618 66778 202658 | 2147483647 225395 240 | 0.000 % |
262.89/263.16 c | 227259 | 15618 66778 202658 | 2147483647 227259 240 | 0.000 % |
266.09/266.38 c | 229308 | 15618 66778 202658 | 2147483647 229308 241 | 0.000 % |
269.69/269.97 c | 231561 | 15618 66778 202658 | 2147483647 231561 241 | 0.000 % |
269.98/270.21 c | 231663 | 15618 66778 202658 | 2147483647 231663 241 | 0.000 % |
270.18/270.45 c | 231773 | 15618 66778 202658 | 2147483647 231773 241 | 0.000 % |
270.39/270.70 c | 231895 | 15618 66778 202658 | 2147483647 231895 241 | 0.000 % |
270.68/270.96 c | 232028 | 15618 66778 202658 | 2147483647 232028 241 | 0.000 % |
270.98/271.28 c | 232174 | 15618 66778 202658 | 2147483647 232174 241 | 0.000 % |
271.40/271.65 c | 232335 | 15618 66778 202658 | 2147483647 232335 241 | 0.000 % |
271.69/271.95 c | 232512 | 15618 66778 202658 | 2147483647 232512 241 | 0.000 % |
272.09/272.39 c | 232705 | 15618 66778 202658 | 2147483647 232705 241 | 0.000 % |
272.50/272.77 c | 232919 | 15618 66778 202658 | 2147483647 232919 241 | 0.000 % |
272.99/273.26 c | 233152 | 15618 66778 202658 | 2147483647 233152 241 | 0.000 % |
273.60/273.82 c | 233408 | 15618 66778 202658 | 2147483647 233408 241 | 0.000 % |
274.09/274.34 c | 233690 | 15618 66778 202658 | 2147483647 233690 241 | 0.000 % |
274.69/274.94 c | 234000 | 15618 66778 202658 | 2147483647 234000 241 | 0.000 % |
275.39/275.61 c | 234339 | 15618 66778 202658 | 2147483647 234339 241 | 0.000 % |
275.99/276.23 c | 234711 | 15618 66778 202658 | 2147483647 234711 241 | 0.000 % |
276.79/277.01 c | 235121 | 15618 66778 202658 | 2147483647 235121 241 | 0.000 % |
277.58/277.87 c | 235570 | 15618 66778 202658 | 2147483647 235570 241 | 0.000 % |
278.58/278.88 c | 236065 | 15618 66778 202658 | 2147483647 236065 241 | 0.000 % |
279.68/279.95 c | 236608 | 15618 66778 202658 | 2147483647 236608 241 | 0.000 % |
280.78/281.08 c | 237204 | 15618 66778 202658 | 2147483647 237204 241 | 0.000 % |
281.99/282.23 c | 237860 | 15618 66778 202658 | 2147483647 237860 241 | 0.000 % |
283.19/283.48 c | 238580 | 15618 66778 202658 | 2147483647 238580 241 | 0.000 % |
284.69/284.91 c | 239372 | 15618 66778 202658 | 2147483647 239372 241 | 0.000 % |
286.28/286.50 c | 240243 | 15618 66778 202658 | 2147483647 240243 241 | 0.000 % |
287.98/288.22 c | 241204 | 15618 66778 202658 | 2147483647 241204 241 | 0.000 % |
289.88/290.13 c | 242257 | 15618 66778 202658 | 2147483647 242257 241 | 0.000 % |
291.87/292.16 c | 243416 | 15618 66778 202658 | 2147483647 243416 241 | 0.000 % |
294.07/294.33 c | 244690 | 15618 66778 202658 | 2147483647 244690 242 | 0.000 % |
296.67/296.92 c | 246092 | 15618 66778 202658 | 2147483647 246092 242 | 0.000 % |
299.47/299.72 c | 247632 | 15618 66778 202658 | 2147483647 247632 242 | 0.000 % |
302.28/302.51 c | 249328 | 15618 66778 202658 | 2147483647 249328 242 | 0.000 % |
305.36/305.66 c | 251192 | 15618 66778 202658 | 2147483647 251192 242 | 0.000 % |
309.06/309.31 c | 253242 | 15618 66778 202658 | 2147483647 253242 243 | 0.000 % |
313.07/313.30 c | 255496 | 15618 66778 202658 | 2147483647 255496 243 | 0.000 % |
317.37/317.66 c | 257975 | 15618 66778 202658 | 2147483647 257975 244 | 0.000 % |
317.57/317.88 c | 258075 | 15618 66778 202658 | 2147483647 258075 244 | 0.000 % |
317.87/318.15 c | 258185 | 15618 66778 202658 | 2147483647 258185 244 | 0.000 % |
318.17/318.45 c | 258307 | 15618 66778 202658 | 2147483647 258307 243 | 0.000 % |
318.46/318.74 c | 258440 | 15618 66778 202658 | 2147483647 258440 243 | 0.000 % |
318.77/319.06 c | 258588 | 15618 66778 202658 | 2147483647 258588 243 | 0.000 % |
319.16/319.47 c | 258749 | 15618 66778 202658 | 2147483647 258749 243 | 0.000 % |
319.56/319.86 c | 258925 | 15618 66778 202658 | 2147483647 258925 243 | 0.000 % |
319.96/320.24 c | 259118 | 15618 66778 202658 | 2147483647 259118 243 | 0.000 % |
320.36/320.67 c | 259330 | 15618 66778 202658 | 2147483647 259330 243 | 0.000 % |
320.87/321.18 c | 259565 | 15618 66778 202658 | 2147483647 259565 243 | 0.000 % |
321.46/321.72 c | 259823 | 15618 66778 202658 | 2147483647 259823 243 | 0.000 % |
322.07/322.33 c | 260106 | 15618 66778 202658 | 2147483647 260106 243 | 0.000 % |
322.66/322.92 c | 260415 | 15618 66778 202658 | 2147483647 260415 243 | 0.000 % |
323.36/323.61 c | 260756 | 15618 66778 202658 | 2147483647 260756 243 | 0.000 % |
324.16/324.45 c | 261130 | 15618 66778 202658 | 2147483647 261130 243 | 0.000 % |
325.06/325.33 c | 261539 | 15618 66778 202658 | 2147483647 261539 243 | 0.000 % |
325.96/326.27 c | 261990 | 15618 66778 202658 | 2147483647 261990 243 | 0.000 % |
327.06/327.30 c | 262484 | 15618 66778 202658 | 2147483647 262484 243 | 0.000 % |
328.06/328.32 c | 263026 | 15618 66778 202658 | 2147483647 263026 243 | 0.000 % |
329.16/329.48 c | 263623 | 15618 66778 202658 | 2147483647 263623 243 | 0.000 % |
330.46/330.71 c | 264279 | 15618 66778 202658 | 2147483647 264279 243 | 0.000 % |
331.86/332.11 c | 265000 | 15618 66778 202658 | 2147483647 265000 243 | 0.000 % |
333.55/333.80 c | 265792 | 15618 66778 202658 | 2147483647 265792 243 | 0.000 % |
335.15/335.49 c | 266665 | 15618 66778 202658 | 2147483647 266665 243 | 0.000 % |
337.05/337.30 c | 267623 | 15618 66778 202658 | 2147483647 267623 243 | 0.000 % |
339.05/339.33 c | 268676 | 15618 66778 202658 | 2147483647 268676 243 | 0.000 % |
341.25/341.56 c | 269834 | 15618 66778 202658 | 2147483647 269834 243 | 0.000 % |
343.55/343.82 c | 271109 | 15618 66778 202658 | 2147483647 271109 244 | 0.000 % |
346.05/346.37 c | 272510 | 15618 66778 202658 | 2147483647 272510 244 | 0.000 % |
349.05/349.32 c | 274052 | 15618 66778 202658 | 2147483647 274052 244 | 0.000 % |
352.14/352.47 c | 275747 | 15618 66778 202658 | 2147483647 275747 244 | 0.000 % |
355.85/356.17 c | 277610 | 15618 66778 202658 | 2147483647 277610 244 | 0.000 % |
359.75/360.06 c | 279659 | 15618 66778 202658 | 2147483647 279659 245 | 0.000 % |
363.84/364.11 c | 281912 | 15618 66778 202658 | 2147483647 281912 245 | 0.000 % |
368.44/368.75 c | 284391 | 15618 66778 202658 | 2147483647 284391 245 | 0.000 % |
373.64/373.93 c | 287117 | 15618 66778 202658 | 2147483647 287117 245 | 0.000 % |
373.84/374.14 c | 287217 | 15618 66778 202658 | 2147483647 287217 245 | 0.000 % |
374.14/374.41 c | 287328 | 15618 66778 202658 | 2147483647 287328 245 | 0.000 % |
374.44/374.72 c | 287450 | 15618 66778 202658 | 2147483647 287450 245 | 0.000 % |
374.74/375.06 c | 287583 | 15618 66778 202658 | 2147483647 287583 245 | 0.000 % |
375.14/375.47 c | 287729 | 15618 66778 202658 | 2147483647 287729 245 | 0.000 % |
375.54/375.85 c | 287891 | 15618 66778 202658 | 2147483647 287891 245 | 0.000 % |
375.94/376.28 c | 288068 | 15618 66778 202658 | 2147483647 288068 245 | 0.000 % |
376.44/376.79 c | 288262 | 15618 66778 202658 | 2147483647 288262 245 | 0.000 % |
376.94/377.27 c | 288474 | 15618 66778 202658 | 2147483647 288474 245 | 0.000 % |
377.53/377.81 c | 288708 | 15618 66778 202658 | 2147483647 288708 245 | 0.000 % |
378.13/378.43 c | 288965 | 15618 66778 202658 | 2147483647 288965 245 | 0.000 % |
378.73/379.05 c | 289247 | 15618 66778 202658 | 2147483647 289247 245 | 0.000 % |
379.34/379.65 c | 289556 | 15618 66778 202658 | 2147483647 289556 245 | 0.000 % |
380.14/380.42 c | 289895 | 15618 66778 202658 | 2147483647 289895 245 | 0.000 % |
380.93/381.20 c | 290269 | 15618 66778 202658 | 2147483647 290269 245 | 0.000 % |
381.83/382.13 c | 290678 | 15618 66778 202658 | 2147483647 290678 245 | 0.000 % |
382.73/383.03 c | 291128 | 15618 66778 202658 | 2147483647 291128 245 | 0.000 % |
383.73/384.09 c | 291622 | 15618 66778 202658 | 2147483647 291622 245 | 0.000 % |
384.93/385.23 c | 292164 | 15618 66778 202658 | 2147483647 292164 245 | 0.000 % |
386.13/386.46 c | 292760 | 15618 66778 202658 | 2147483647 292760 245 | 0.000 % |
387.43/387.76 c | 293417 | 15618 66778 202658 | 2147483647 293417 245 | 0.000 % |
388.83/389.17 c | 294137 | 15618 66778 202658 | 2147483647 294137 245 | 0.000 % |
390.43/390.76 c | 294931 | 15618 66778 202658 | 2147483647 294931 245 | 0.000 % |
392.23/392.56 c | 295802 | 15618 66778 202658 | 2147483647 295802 245 | 0.000 % |
394.33/394.64 c | 296760 | 15618 66778 202658 | 2147483647 296760 245 | 0.000 % |
396.42/396.78 c | 297814 | 15618 66778 202658 | 2147483647 297814 245 | 0.000 % |
398.83/399.10 c | 298973 | 15618 66778 202658 | 2147483647 298973 245 | 0.000 % |
401.32/401.61 c | 300247 | 15618 66778 202658 | 2147483647 300247 245 | 0.000 % |
404.03/404.39 c | 301647 | 15618 66778 202658 | 2147483647 301647 245 | 0.000 % |
407.13/407.49 c | 303187 | 15618 66778 202658 | 2147483647 303187 245 | 0.000 % |
410.32/410.68 c | 304881 | 15618 66778 202658 | 2147483647 304881 245 | 0.000 % |
414.12/414.43 c | 306747 | 15618 66778 202658 | 2147483647 306747 246 | 0.000 % |
418.12/418.49 c | 308796 | 15618 66778 202658 | 2147483647 308796 246 | 0.000 % |
422.61/422.97 c | 311049 | 15618 66778 202658 | 2147483647 311049 246 | 0.000 % |
428.01/428.33 c | 313527 | 15618 66778 202658 | 2147483647 313527 246 | 0.000 % |
433.51/433.89 c | 316252 | 15618 66778 202658 | 2147483647 316252 247 | 0.000 % |
439.71/440.01 c | 319249 | 15618 66778 202658 | 2147483647 319249 247 | 0.000 % |
439.90/440.28 c | 319349 | 15618 66778 202658 | 2147483647 319349 247 | 0.000 % |
440.20/440.56 c | 319460 | 15618 66778 202658 | 2147483647 319460 247 | 0.000 % |
440.50/440.87 c | 319582 | 15618 66778 202658 | 2147483647 319582 247 | 0.000 % |
440.90/441.27 c | 319716 | 15618 66778 202658 | 2147483647 319716 247 | 0.000 % |
441.30/441.65 c | 319862 | 15618 66778 202658 | 2147483647 319862 247 | 0.000 % |
441.70/442.08 c | 320023 | 15618 66778 202658 | 2147483647 320023 247 | 0.000 % |
442.20/442.57 c | 320200 | 15618 66778 202658 | 2147483647 320200 247 | 0.000 % |
442.71/443.03 c | 320393 | 15618 66778 202658 | 2147483647 320393 247 | 0.000 % |
443.21/443.52 c | 320605 | 15618 66778 202658 | 2147483647 320605 247 | 0.000 % |
443.81/444.10 c | 320838 | 15618 66778 202658 | 2147483647 320838 247 | 0.000 % |
444.31/444.67 c | 321094 | 15618 66778 202658 | 2147483647 321094 247 | 0.000 % |
445.11/445.46 c | 321375 | 15618 66778 202658 | 2147483647 321375 246 | 0.000 % |
445.91/446.21 c | 321684 | 15618 66778 202658 | 2147483647 321684 246 | 0.000 % |
446.60/446.98 c | 322023 | 15618 66778 202658 | 2147483647 322023 246 | 0.000 % |
447.60/447.92 c | 322395 | 15618 66778 202658 | 2147483647 322395 246 | 0.000 % |
448.60/448.98 c | 322804 | 15618 66778 202658 | 2147483647 322804 246 | 0.000 % |
449.70/450.07 c | 323254 | 15618 66778 202658 | 2147483647 323254 246 | 0.000 % |
450.81/451.11 c | 323747 | 15618 66778 202658 | 2147483647 323747 246 | 0.000 % |
452.01/452.31 c | 324291 | 15618 66778 202658 | 2147483647 324291 246 | 0.000 % |
453.31/453.63 c | 324888 | 15618 66778 202658 | 2147483647 324888 246 | 0.000 % |
454.91/455.20 c | 325543 | 15618 66778 202658 | 2147483647 325543 246 | 0.000 % |
456.50/456.89 c | 326264 | 15618 66778 202658 | 2147483647 326264 246 | 0.000 % |
458.20/458.57 c | 327056 | 15618 66778 202658 | 2147483647 327056 246 | 0.000 % |
460.20/460.55 c | 327928 | 15618 66778 202658 | 2147483647 327928 246 | 0.000 % |
462.30/462.68 c | 328886 | 15618 66778 202658 | 2147483647 328886 246 | 0.000 % |
464.50/464.82 c | 329940 | 15618 66778 202658 | 2147483647 329940 246 | 0.000 % |
467.10/467.46 c | 331102 | 15618 66778 202658 | 2147483647 331102 246 | 0.000 % |
469.70/470.08 c | 332376 | 15618 66778 202658 | 2147483647 332376 246 | 0.000 % |
472.79/473.13 c | 333776 | 15618 66778 202658 | 2147483647 333776 246 | 0.000 % |
476.09/476.48 c | 335317 | 15618 66778 202658 | 2147483647 335317 247 | 0.000 % |
479.69/480.09 c | 337011 | 15618 66778 202658 | 2147483647 337011 246 | 0.000 % |
483.79/484.10 c | 338874 | 15618 66778 202658 | 2147483647 338874 246 | 0.000 % |
488.28/488.60 c | 340925 | 15618 66778 202658 | 2147483647 340925 247 | 0.000 % |
493.09/493.42 c | 343178 | 15618 66778 202658 | 2147483647 343178 247 | 0.000 % |
498.28/498.63 c | 345656 | 15618 66778 202658 | 2147483647 345656 247 | 0.000 % |
504.18/504.54 c | 348382 | 15618 66778 202658 | 2147483647 348382 248 | 0.000 % |
510.78/511.10 c | 351379 | 15618 66778 202658 | 2147483647 351379 248 | 0.000 % |
517.87/518.26 c | 354675 | 15618 66778 202658 | 2147483647 354675 249 | 0.000 % |
518.17/518.51 c | 354778 | 15618 66778 202658 | 2147483647 354778 249 | 0.000 % |
518.47/518.87 c | 354888 | 15618 66778 202658 | 2147483647 354888 249 | 0.000 % |
518.88/519.23 c | 355009 | 15618 66778 202658 | 2147483647 355009 249 | 0.000 % |
519.27/519.65 c | 355143 | 15618 66778 202658 | 2147483647 355143 249 | 0.000 % |
519.77/520.10 c | 355289 | 15618 66778 202658 | 2147483647 355289 249 | 0.000 % |
520.17/520.53 c | 355450 | 15618 66778 202658 | 2147483647 355450 249 | 0.000 % |
520.67/521.08 c | 355628 | 15618 66778 202658 | 2147483647 355628 249 | 0.000 % |
521.26/521.67 c | 355821 | 15618 66778 202658 | 2147483647 355821 249 | 0.000 % |
521.86/522.24 c | 356033 | 15618 66778 202658 | 2147483647 356033 249 | 0.000 % |
522.57/522.94 c | 356266 | 15618 66778 202658 | 2147483647 356266 249 | 0.000 % |
523.27/523.64 c | 356522 | 15618 66778 202658 | 2147483647 356522 249 | 0.000 % |
524.07/524.40 c | 356804 | 15618 66778 202658 | 2147483647 356804 249 | 0.000 % |
524.77/525.20 c | 357113 | 15618 66778 202658 | 2147483647 357113 249 | 0.000 % |
525.67/526.06 c | 357454 | 15618 66778 202658 | 2147483647 357454 248 | 0.000 % |
526.67/527.00 c | 357827 | 15618 66778 202658 | 2147483647 357827 248 | 0.000 % |
527.57/527.96 c | 358236 | 15618 66778 202658 | 2147483647 358236 248 | 0.000 % |
528.67/529.01 c | 358685 | 15618 66778 202658 | 2147483647 358685 248 | 0.000 % |
529.77/530.19 c | 359180 | 15618 66778 202658 | 2147483647 359180 248 | 0.000 % |
531.06/531.42 c | 359722 | 15618 66778 202658 | 2147483647 359722 248 | 0.000 % |
532.47/532.88 c | 360322 | 15618 66778 202658 | 2147483647 360322 249 | 0.000 % |
534.07/534.44 c | 360978 | 15618 66778 202658 | 2147483647 360978 249 | 0.000 % |
535.86/536.28 c | 361698 | 15618 66778 202658 | 2147483647 361698 248 | 0.000 % |
537.76/538.16 c | 362491 | 15618 66778 202658 | 2147483647 362491 248 | 0.000 % |
539.86/540.27 c | 363363 | 15618 66778 202658 | 2147483647 363363 248 | 0.000 % |
542.26/542.60 c | 364325 | 15618 66778 202658 | 2147483647 364325 249 | 0.000 % |
544.66/545.05 c | 365378 | 15618 66778 202658 | 2147483647 365378 249 | 0.000 % |
547.46/547.86 c | 366537 | 15618 66778 202658 | 2147483647 366537 249 | 0.000 % |
550.55/550.93 c | 367810 | 15618 66778 202658 | 2147483647 367810 249 | 0.000 % |
553.75/554.11 c | 369210 | 15618 66778 202658 | 2147483647 369210 249 | 0.000 % |
557.25/557.60 c | 370751 | 15618 66778 202658 | 2147483647 370751 249 | 0.000 % |
561.14/561.52 c | 372446 | 15618 66778 202658 | 2147483647 372446 249 | 0.000 % |
565.54/565.94 c | 374311 | 15618 66778 202658 | 2147483647 374311 250 | 0.000 % |
570.24/570.67 c | 376360 | 15618 66778 202658 | 2147483647 376360 249 | 0.000 % |
575.54/575.99 c | 378613 | 15618 66778 202658 | 2147483647 378613 250 | 0.000 % |
581.63/582.03 c | 381092 | 15618 66778 202658 | 2147483647 381092 250 | 0.000 % |
588.23/588.62 c | 383817 | 15618 66778 202658 | 2147483647 383817 250 | 0.000 % |
594.93/595.36 c | 386814 | 15618 66778 202658 | 2147483647 386814 251 | 0.000 % |
602.53/602.94 c | 390110 | 15618 66778 202658 | 2147483647 390110 251 | 0.000 % |
611.02/611.46 c | 393735 | 15618 66778 202658 | 2147483647 393735 251 | 0.000 % |
611.42/611.86 c | 393837 | 15618 66778 202658 | 2147483647 393837 251 | 0.000 % |
611.82/612.22 c | 393947 | 15618 66778 202658 | 2147483647 393947 251 | 0.000 % |
612.23/612.63 c | 394068 | 15618 66778 202658 | 2147483647 394068 251 | 0.000 % |
612.72/613.15 c | 394203 | 15618 66778 202658 | 2147483647 394203 251 | 0.000 % |
613.22/613.61 c | 394350 | 15618 66778 202658 | 2147483647 394350 251 | 0.000 % |
613.72/614.12 c | 394511 | 15618 66778 202658 | 2147483647 394511 251 | 0.000 % |
614.32/614.74 c | 394688 | 15618 66778 202658 | 2147483647 394688 251 | 0.000 % |
614.92/615.35 c | 394881 | 15618 66778 202658 | 2147483647 394881 251 | 0.000 % |
615.53/615.94 c | 395093 | 15618 66778 202658 | 2147483647 395093 251 | 0.000 % |
616.22/616.66 c | 395327 | 15618 66778 202658 | 2147483647 395327 251 | 0.000 % |
617.02/617.45 c | 395583 | 15618 66778 202658 | 2147483647 395583 251 | 0.000 % |
617.92/618.39 c | 395865 | 15618 66778 202658 | 2147483647 395865 251 | 0.000 % |
618.93/619.30 c | 396174 | 15618 66778 202658 | 2147483647 396174 251 | 0.000 % |
619.82/620.23 c | 396513 | 15618 66778 202658 | 2147483647 396513 251 | 0.000 % |
620.92/621.36 c | 396887 | 15618 66778 202658 | 2147483647 396887 251 | 0.000 % |
622.02/622.47 c | 397296 | 15618 66778 202658 | 2147483647 397296 251 | 0.000 % |
623.32/623.73 c | 397746 | 15618 66778 202658 | 2147483647 397746 251 | 0.000 % |
624.62/625.05 c | 398239 | 15618 66778 202658 | 2147483647 398239 251 | 0.000 % |
626.02/626.40 c | 398783 | 15618 66778 202658 | 2147483647 398783 251 | 0.000 % |
627.62/628.05 c | 399380 | 15618 66778 202658 | 2147483647 399380 251 | 0.000 % |
629.41/629.88 c | 400035 | 15618 66778 202658 | 2147483647 400035 251 | 0.000 % |
631.52/631.96 c | 400757 | 15618 66778 202658 | 2147483647 400757 251 | 0.000 % |
633.32/633.70 c | 401549 | 15618 66778 202658 | 2147483647 401549 251 | 0.000 % |
635.62/636.05 c | 402421 | 15618 66778 202658 | 2147483647 402421 251 | 0.000 % |
638.01/638.46 c | 403379 | 15618 66778 202658 | 2147483647 403379 251 | 0.000 % |
640.71/641.19 c | 404434 | 15618 66778 202658 | 2147483647 404434 251 | 0.000 % |
643.71/644.19 c | 405592 | 15618 66778 202658 | 2147483647 405592 251 | 0.000 % |
647.20/647.67 c | 406865 | 15618 66778 202658 | 2147483647 406865 251 | 0.000 % |
650.71/651.13 c | 408267 | 15618 66778 202658 | 2147483647 408267 251 | 0.000 % |
654.40/654.88 c | 409809 | 15618 66778 202658 | 2147483647 409809 251 | 0.000 % |
658.81/659.23 c | 411503 | 15618 66778 202658 | 2147483647 411503 251 | 0.000 % |
663.40/663.82 c | 413366 | 15618 66778 202658 | 2147483647 413366 251 | 0.000 % |
668.41/668.88 c | 415416 | 15618 66778 202658 | 2147483647 415416 251 | 0.000 % |
674.00/674.43 c | 417669 | 15618 66778 202658 | 2147483647 417669 252 | 0.000 % |
680.39/680.82 c | 420148 | 15618 66778 202658 | 2147483647 420148 252 | 0.000 % |
687.20/687.67 c | 422874 | 15618 66778 202658 | 2147483647 422874 252 | 0.000 % |
694.59/695.04 c | 425872 | 15618 66778 202658 | 2147483647 425872 252 | 0.000 % |
702.68/703.15 c | 429168 | 15618 66778 202658 | 2147483647 429168 253 | 0.000 % |
712.28/712.78 c | 432793 | 15618 66778 202658 | 2147483647 432793 253 | 0.000 % |
722.67/723.16 c | 436780 | 15618 66778 202658 | 2147483647 436780 253 | 0.000 % |
722.97/723.48 c | 436882 | 15618 66778 202658 | 2147483647 436882 253 | 0.000 % |
723.38/723.88 c | 436993 | 15618 66778 202658 | 2147483647 436993 253 | 0.000 % |
723.87/724.31 c | 437114 | 15618 66778 202658 | 2147483647 437114 253 | 0.000 % |
724.27/724.74 c | 437247 | 15618 66778 202658 | 2147483647 437247 253 | 0.000 % |
724.77/725.25 c | 437394 | 15618 66778 202658 | 2147483647 437394 253 | 0.000 % |
725.27/725.79 c | 437554 | 15618 66778 202658 | 2147483647 437554 253 | 0.000 % |
725.97/726.40 c | 437730 | 15618 66778 202658 | 2147483647 437730 253 | 0.000 % |
726.68/727.11 c | 437925 | 15618 66778 202658 | 2147483647 437925 253 | 0.000 % |
727.28/727.75 c | 438140 | 15618 66778 202658 | 2147483647 438140 253 | 0.000 % |
727.98/728.45 c | 438373 | 15618 66778 202658 | 2147483647 438373 253 | 0.000 % |
728.78/729.25 c | 438629 | 15618 66778 202658 | 2147483647 438629 253 | 0.000 % |
729.68/730.10 c | 438911 | 15618 66778 202658 | 2147483647 438911 253 | 0.000 % |
730.48/730.99 c | 439220 | 15618 66778 202658 | 2147483647 439220 253 | 0.000 % |
731.58/732.07 c | 439559 | 15618 66778 202658 | 2147483647 439559 253 | 0.000 % |
732.87/733.37 c | 439932 | 15618 66778 202658 | 2147483647 439932 253 | 0.000 % |
734.07/734.57 c | 440344 | 15618 66778 202658 | 2147483647 440344 253 | 0.000 % |
735.48/735.93 c | 440793 | 15618 66778 202658 | 2147483647 440793 253 | 0.000 % |
736.97/737.48 c | 441287 | 15618 66778 202658 | 2147483647 441287 253 | 0.000 % |
738.57/739.02 c | 441829 | 15618 66778 202658 | 2147483647 441829 253 | 0.000 % |
740.16/740.66 c | 442425 | 15618 66778 202658 | 2147483647 442425 252 | 0.000 % |
742.26/742.72 c | 443080 | 15618 66778 202658 | 2147483647 443080 252 | 0.000 % |
744.46/744.93 c | 443801 | 15618 66778 202658 | 2147483647 443801 252 | 0.000 % |
746.77/747.21 c | 444593 | 15618 66778 202658 | 2147483647 444593 252 | 0.000 % |
749.26/749.72 c | 445465 | 15618 66778 202658 | 2147483647 445465 252 | 0.000 % |
751.86/752.37 c | 446427 | 15618 66778 202658 | 2147483647 446427 252 | 0.000 % |
754.86/755.35 c | 447480 | 15618 66778 202658 | 2147483647 447480 252 | 0.000 % |
757.96/758.44 c | 448638 | 15618 66778 202658 | 2147483647 448638 252 | 0.000 % |
761.46/761.93 c | 449912 | 15618 66778 202658 | 2147483647 449912 252 | 0.000 % |
765.55/766.00 c | 451312 | 15618 66778 202658 | 2147483647 451312 253 | 0.000 % |
769.86/770.36 c | 452854 | 15618 66778 202658 | 2147483647 452854 253 | 0.000 % |
774.55/775.05 c | 454548 | 15618 66778 202658 | 2147483647 454548 253 | 0.000 % |
779.96/780.42 c | 456412 | 15618 66778 202658 | 2147483647 456412 253 | 0.000 % |
785.55/786.03 c | 458462 | 15618 66778 202658 | 2147483647 458462 253 | 0.000 % |
791.64/792.14 c | 460716 | 15618 66778 202658 | 2147483647 460716 253 | 0.000 % |
798.54/799.04 c | 463194 | 15618 66778 202658 | 2147483647 463194 253 | 0.000 % |
805.63/806.14 c | 465920 | 15618 66778 202658 | 2147483647 465920 254 | 0.000 % |
813.84/814.33 c | 468918 | 15618 66778 202658 | 2147483647 468918 254 | 0.000 % |
822.83/823.35 c | 472214 | 15618 66778 202658 | 2147483647 472214 254 | 0.000 % |
832.42/832.91 c | 475840 | 15618 66778 202658 | 2147483647 475840 254 | 0.000 % |
843.13/843.68 c | 479829 | 15618 66778 202658 | 2147483647 479829 255 | 0.000 % |
854.72/855.25 c | 484215 | 15618 66778 202658 | 2147483647 484215 255 | 0.000 % |
855.12/855.63 c | 484315 | 15618 66778 202658 | 2147483647 484315 255 | 0.000 % |
855.52/856.02 c | 484425 | 15618 66778 202658 | 2147483647 484425 255 | 0.000 % |
855.92/856.40 c | 484546 | 15618 66778 202658 | 2147483647 484546 255 | 0.000 % |
856.42/856.94 c | 484679 | 15618 66778 202658 | 2147483647 484679 255 | 0.000 % |
856.91/857.48 c | 484825 | 15618 66778 202658 | 2147483647 484825 255 | 0.000 % |
857.61/858.13 c | 484985 | 15618 66778 202658 | 2147483647 484985 255 | 0.000 % |
858.21/858.79 c | 485162 | 15618 66778 202658 | 2147483647 485162 255 | 0.000 % |
859.01/859.50 c | 485355 | 15618 66778 202658 | 2147483647 485355 255 | 0.000 % |
859.71/860.25 c | 485567 | 15618 66778 202658 | 2147483647 485567 255 | 0.000 % |
860.41/861.00 c | 485800 | 15618 66778 202658 | 2147483647 485800 255 | 0.000 % |
861.31/861.85 c | 486057 | 15618 66778 202658 | 2147483647 486057 255 | 0.000 % |
862.31/862.80 c | 486339 | 15618 66778 202658 | 2147483647 486339 255 | 0.000 % |
863.31/863.88 c | 486648 | 15618 66778 202658 | 2147483647 486648 255 | 0.000 % |
864.40/864.98 c | 486988 | 15618 66778 202658 | 2147483647 486988 255 | 0.000 % |
865.61/866.19 c | 487360 | 15618 66778 202658 | 2147483647 487360 255 | 0.000 % |
867.11/867.67 c | 487769 | 15618 66778 202658 | 2147483647 487769 255 | 0.000 % |
868.51/869.06 c | 488219 | 15618 66778 202658 | 2147483647 488219 255 | 0.000 % |
870.01/870.57 c | 488714 | 15618 66778 202658 | 2147483647 488714 255 | 0.000 % |
871.81/872.36 c | 489256 | 15618 66778 202658 | 2147483647 489256 255 | 0.000 % |
873.60/874.13 c | 489852 | 15618 66778 202658 | 2147483647 489852 255 | 0.000 % |
875.10/875.67 c | 490507 | 15618 66778 202658 | 2147483647 490507 255 | 0.000 % |
877.40/877.97 c | 491229 | 15618 66778 202658 | 2147483647 491229 255 | 0.000 % |
879.90/880.45 c | 492021 | 15618 66778 202658 | 2147483647 492021 255 | 0.000 % |
882.81/883.34 c | 492893 | 15618 66778 202658 | 2147483647 492893 255 | 0.000 % |
885.50/886.06 c | 493852 | 15618 66778 202658 | 2147483647 493852 255 | 0.000 % |
888.80/889.30 c | 494907 | 15618 66778 202658 | 2147483647 494907 255 | 0.000 % |
892.09/892.60 c | 496065 | 15618 66778 202658 | 2147483647 496065 255 | 0.000 % |
895.80/896.39 c | 497339 | 15618 66778 202658 | 2147483647 497339 256 | 0.000 % |
900.09/900.68 c | 498741 | 15618 66778 202658 | 2147483647 498741 256 | 0.000 % |
904.38/904.96 c | 500281 | 15618 66778 202658 | 2147483647 500281 256 | 0.000 % |
909.19/909.78 c | 501975 | 15618 66778 202658 | 2147483647 501975 256 | 0.000 % |
914.48/915.10 c | 503838 | 15618 66778 202658 | 2147483647 503838 256 | 0.000 % |
920.48/921.06 c | 505888 | 15618 66778 202658 | 2147483647 505888 256 | 0.000 % |
927.28/927.81 c | 508141 | 15618 66778 202658 | 2147483647 508141 256 | 0.000 % |
934.68/935.22 c | 510620 | 15618 66778 202658 | 2147483647 510620 256 | 0.000 % |
942.47/943.08 c | 513346 | 15618 66778 202658 | 2147483647 513346 256 | 0.000 % |
951.07/951.62 c | 516344 | 15618 66778 202658 | 2147483647 516344 256 | 0.000 % |
960.87/961.47 c | 519642 | 15618 66778 202658 | 2147483647 519642 257 | 0.000 % |
971.46/972.08 c | 523267 | 15618 66778 202658 | 2147483647 523267 257 | 0.000 % |
983.05/983.70 c | 527254 | 15618 66778 202658 | 2147483647 527254 257 | 0.000 % |
996.25/996.85 c | 531639 | 15618 66778 202658 | 2147483647 531639 258 | 0.000 % |
1009.65/1010.27 c | 536463 | 15618 66778 202658 | 2147483647 536463 259 | 0.000 % |
1010.15/1010.71 c | 536563 | 15618 66778 202658 | 2147483647 536563 259 | 0.000 % |
1010.64/1011.29 c | 536673 | 15618 66778 202658 | 2147483647 536673 259 | 0.000 % |
1011.14/1011.79 c | 536794 | 15618 66778 202658 | 2147483647 536794 259 | 0.000 % |
1011.84/1012.43 c | 536928 | 15618 66778 202658 | 2147483647 536928 259 | 0.000 % |
1012.45/1013.04 c | 537075 | 15618 66778 202658 | 2147483647 537075 259 | 0.000 % |
1013.14/1013.77 c | 537236 | 15618 66778 202658 | 2147483647 537236 259 | 0.000 % |
1013.74/1014.39 c | 537412 | 15618 66778 202658 | 2147483647 537412 259 | 0.000 % |
1014.54/1015.14 c | 537607 | 15618 66778 202658 | 2147483647 537607 259 | 0.000 % |
1015.24/1015.89 c | 537820 | 15618 66778 202658 | 2147483647 537820 259 | 0.000 % |
1016.14/1016.79 c | 538054 | 15618 66778 202658 | 2147483647 538054 259 | 0.000 % |
1017.25/1017.88 c | 538310 | 15618 66778 202658 | 2147483647 538310 259 | 0.000 % |
1018.35/1018.90 c | 538591 | 15618 66778 202658 | 2147483647 538591 259 | 0.000 % |
1019.44/1020.10 c | 538900 | 15618 66778 202658 | 2147483647 538900 259 | 0.000 % |
1020.74/1021.37 c | 539239 | 15618 66778 202658 | 2147483647 539239 259 | 0.000 % |
1022.04/1022.69 c | 539611 | 15618 66778 202658 | 2147483647 539611 259 | 0.000 % |
1023.55/1024.17 c | 540020 | 15618 66778 202658 | 2147483647 540020 259 | 0.000 % |
1025.34/1025.94 c | 540469 | 15618 66778 202658 | 2147483647 540469 258 | 0.000 % |
1027.14/1027.70 c | 540962 | 15618 66778 202658 | 2147483647 540962 258 | 0.000 % |
1029.24/1029.90 c | 541504 | 15618 66778 202658 | 2147483647 541504 258 | 0.000 % |
1031.44/1032.03 c | 542101 | 15618 66778 202658 | 2147483647 542101 258 | 0.000 % |
1033.64/1034.26 c | 542759 | 15618 66778 202658 | 2147483647 542759 258 | 0.000 % |
1036.23/1036.81 c | 543481 | 15618 66778 202658 | 2147483647 543481 258 | 0.000 % |
1038.74/1039.37 c | 544273 | 15618 66778 202658 | 2147483647 544273 258 | 0.000 % |
1041.53/1042.17 c | 545144 | 15618 66778 202658 | 2147483647 545144 258 | 0.000 % |
1044.53/1045.17 c | 546102 | 15618 66778 202658 | 2147483647 546102 258 | 0.000 % |
1047.83/1048.48 c | 547155 | 15618 66778 202658 | 2147483647 547155 258 | 0.000 % |
1051.63/1052.27 c | 548314 | 15618 66778 202658 | 2147483647 548314 258 | 0.000 % |
1055.62/1056.22 c | 549588 | 15618 66778 202658 | 2147483647 549588 258 | 0.000 % |
1060.53/1061.18 c | 550988 | 15618 66778 202658 | 2147483647 550988 258 | 0.000 % |
1065.52/1066.16 c | 552528 | 15618 66778 202658 | 2147483647 552528 258 | 0.000 % |
1071.02/1071.62 c | 554222 | 15618 66778 202658 | 2147483647 554222 258 | 0.000 % |
1077.22/1077.84 c | 556085 | 15618 66778 202658 | 2147483647 556085 259 | 0.000 % |
1084.02/1084.62 c | 558134 | 15618 66778 202658 | 2147483647 558134 258 | 0.000 % |
1091.32/1091.97 c | 560387 | 15618 66778 202658 | 2147483647 560387 258 | 0.000 % |
1099.70/1100.30 c | 562866 | 15618 66778 202658 | 2147483647 562866 259 | 0.000 % |
1108.30/1108.99 c | 565591 | 15618 66778 202658 | 2147483647 565591 259 | 0.000 % |
1118.40/1119.09 c | 568589 | 15618 66778 202658 | 2147483647 568589 259 | 0.000 % |
1129.10/1129.72 c | 571886 | 15618 66778 202658 | 2147483647 571886 259 | 0.000 % |
1141.00/1141.62 c | 575512 | 15618 66778 202658 | 2147483647 575512 260 | 0.000 % |
1153.38/1154.04 c | 579504 | 15618 66778 202658 | 2147483647 579504 260 | 0.000 % |
1167.38/1168.07 c | 583890 | 15618 66778 202658 | 2147483647 583890 260 | 0.000 % |
1182.68/1183.32 c | 588713 | 15618 66778 202658 | 2147483647 588713 260 | 0.000 % |
1198.87/1199.54 c | 594018 | 15618 66778 202658 | 2147483647 594018 261 | 0.000 % |
1199.37/1200.09 c | 594118 | 15618 66778 202658 | 2147483647 594118 261 | 0.000 % |
1199.87/1200.56 c | 594230 | 15618 66778 202658 | 2147483647 594230 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-1832775-1242787542/watcher-1832775-1242787542 -o /tmp/evaluation-result-1832775-1242787542/solver-1832775-1242787542 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832775-1242787542.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: 1.00 1.00 1.00 3/65 23183
/proc/meminfo: memFree=1798144/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306783237 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 255373049938 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/23183/statm: 1339 235 195 169 0 50 0
[pid=23184] ppid=23183 vsize=5356 CPUtime=0
/proc/23184/stat : 23184 (SatELiteGTI) S 23183 23183 22550 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306783237 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/23184/statm: 1339 238 198 169 0 50 0
[pid=23186] ppid=23184 vsize=5356 CPUtime=0
/proc/23186/stat : 23186 (SatELiteGTI) R 23184 23183 22550 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372881191 0 0 4096 0 0 0 0 17 1 0 0
/proc/23186/statm: 1339 239 199 169 0 50 0
[startup+0.086889 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 23183
/proc/meminfo: memFree=1798144/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306783237 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23183/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10189 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 23183
/proc/meminfo: memFree=1798144/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306783237 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23183/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30191 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 23183
/proc/meminfo: memFree=1798144/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306783237 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23183/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701941 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 23183
/proc/meminfo: memFree=1798144/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 5356
[startup+1.50102 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1790256/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=7700 CPUtime=1.17
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 1775 0 0 0 116 1 0 0 25 0 1 0 306783269 7884800 1761 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 1925 1761 77 171 0 1752 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13056
[startup+3.10119 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1788528/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=10076 CPUtime=2.76
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 2366 0 0 0 274 2 0 0 25 0 1 0 306783269 10317824 2352 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 2519 2352 77 171 0 2346 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15432
[startup+6.30153 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1783664/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=14696 CPUtime=5.96
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 3501 0 0 0 593 3 0 0 25 0 1 0 306783269 15048704 3487 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 3674 3487 77 171 0 3501 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20052
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1774576/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=23332 CPUtime=12.36
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 5673 0 0 0 1230 6 0 0 25 0 1 0 306783269 23891968 5659 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 5833 5659 77 171 0 5660 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 28688
[startup+25.5025 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1758640/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=38816 CPUtime=25.14
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 9533 0 0 0 2503 11 0 0 25 0 1 0 306783269 39747584 9519 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 9704 9519 77 171 0 9531 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 44172
[startup+51.1022 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1730480/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=67284 CPUtime=50.72
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 16619 0 0 0 5054 18 0 0 25 0 1 0 306783269 68898816 16605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 16821 16605 77 171 0 16648 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 72640
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1681520/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=115548 CPUtime=101.88
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 28693 0 0 0 10156 32 0 0 25 0 1 0 306783269 118321152 28679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 28887 28679 77 171 0 28714 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 120904
[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1634736/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=162428 CPUtime=161.84
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 40393 0 0 0 16140 44 0 0 25 0 1 0 306783269 166326272 40379 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 40607 40379 77 171 0 40434 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 167784
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1593712/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=202840 CPUtime=221.81
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 50536 0 0 0 22127 54 0 0 25 0 1 0 306783269 207708160 50522 1992294400 134512640 135215339 4294956240 18446744073709551615 134528942 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 50710 50522 77 171 0 50537 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 208196
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1556592/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=240352 CPUtime=281.79
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 59840 0 0 0 28115 64 0 0 25 0 1 0 306783269 246120448 59826 1992294400 134512640 135215339 4294956240 18446744073709551615 134724623 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 60088 59826 77 171 0 59915 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 245708
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1521840/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=274556 CPUtime=341.76
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 68426 0 0 0 34103 73 0 0 25 0 1 0 306783269 281145344 68412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 68639 68412 77 171 0 68466 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 279912
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1489968/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=306252 CPUtime=401.72
################
# More data... #
################
/proc/23189/statm: 98501 98251 77 171 0 98328 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 399360
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1375792/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=419612 CPUtime=641.61
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 104687 0 0 0 64048 113 0 0 25 0 1 0 306783269 429682688 104673 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 104903 104673 77 171 0 104730 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 424968
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1348912/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=446684 CPUtime=701.58
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 111462 0 0 0 70037 121 0 0 25 0 1 0 306783269 457404416 111448 1992294400 134512640 135215339 4294956240 18446744073709551615 134538032 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 111671 111448 77 171 0 111498 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 452040
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1326512/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=468464 CPUtime=761.56
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 116949 0 0 0 76029 127 0 0 25 0 1 0 306783269 479707136 116935 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 117116 116935 77 171 0 116943 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 473820
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1301936/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=494076 CPUtime=821.53
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 123125 0 0 0 82019 134 0 0 25 0 1 0 306783269 505933824 123111 1992294400 134512640 135215339 4294956240 18446744073709551615 134528798 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 123519 123111 77 171 0 123346 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 499432
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23189
/proc/meminfo: memFree=1277104/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=518504 CPUtime=881.49
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 129273 0 0 0 88008 141 0 0 25 0 1 0 306783269 530948096 129259 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 129626 129259 77 171 0 129453 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 523860
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23195
/proc/meminfo: memFree=1253808/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=541748 CPUtime=941.47
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 135087 0 0 0 93998 149 0 0 25 0 1 0 306783269 554749952 135073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 135437 135073 77 171 0 135264 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 547104
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23195
/proc/meminfo: memFree=1229744/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=565520 CPUtime=1001.46
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 141050 0 0 0 99990 156 0 0 25 0 1 0 306783269 579092480 141036 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 141380 141036 77 171 0 141207 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 570876
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23195
/proc/meminfo: memFree=1209264/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=585864 CPUtime=1061.42
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 146172 0 0 0 105981 161 0 0 25 0 1 0 306783269 599924736 146158 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 146466 146158 77 171 0 146293 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 591220
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23195
/proc/meminfo: memFree=1189104/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=605804 CPUtime=1121.4
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 151158 0 0 0 111973 167 0 0 25 0 1 0 306783269 620343296 151144 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 151451 151144 77 171 0 151278 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 611160
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23195
/proc/meminfo: memFree=1166128/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=628776 CPUtime=1181.38
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 156917 0 0 0 117964 174 0 0 25 0 1 0 306783269 643866624 156903 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 157194 156903 77 171 0 157021 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 634132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23195
/proc/meminfo: memFree=1157488/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=636960 CPUtime=1199.77
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 158988 0 0 0 119801 176 0 0 25 0 1 0 306783269 652247040 158974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 159240 158974 77 171 0 159067 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 642316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 23195
/proc/meminfo: memFree=1157488/2055912 swapFree=4170596/4192956
[pid=23183] ppid=23181 vsize=5356 CPUtime=0.3
/proc/23183/stat : 23183 (SatELiteGTI) S 23181 23183 22550 0 -1 4194304 336 2289 0 0 0 0 29 1 16 0 1 0 306783237 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23183/statm: 1339 239 197 169 0 50 0
[pid=23189] ppid=23183 vsize=636960 CPUtime=1199.77
/proc/23189/stat : 23189 (minisat_static) R 23183 23183 22550 0 -1 4194304 158988 0 0 0 119801 176 0 0 25 0 1 0 306783269 652247040 158974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/23189/statm: 159240 158974 77 171 0 159067 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 642316
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23183 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=295955
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 0.315951
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.07
CPU user time (s): 1198.3
CPU system time (s): 1.77
CPU usage (%): 99.9466
Max. virtual memory (cumulated for all children) (KiB): 642316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.295955
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2625
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= 10
runsolver used 0.98085 second user time and 3.49347 second system time
The end
Begin job on node78 at 2009-05-20 04:45:42
IDJOB=1832775
IDBENCH=70351
IDSOLVER=671
FILE ID=node78/1832775-1242787542
PBS_JOBID= 9322359
Free space on /tmp= 126664 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832775-1242787542/watcher-1832775-1242787542 -o /tmp/evaluation-result-1832775-1242787542/solver-1832775-1242787542 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832775-1242787542.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 738d561654cbc7d1587a637b71302edd
RANDOM SEED=697316999
node78.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.243
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.243
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055912 kB
MemFree: 1798624 kB
Buffers: 25912 kB
Cached: 173544 kB
SwapCached: 15832 kB
Active: 46060 kB
Inactive: 170812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1798624 kB
SwapTotal: 4192956 kB
SwapFree: 4170596 kB
Dirty: 2852 kB
Writeback: 0 kB
Mapped: 14220 kB
Slab: 26244 kB
Committed_AS: 836664 kB
PageTables: 1432 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126660 MiB
End job on node78 at 2009-05-20 05:05:45