0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 67200 201600 | 20159 0 0 nan | 0.000 % |
0.00/0.23 c | 0 | 66779 202778 | -- 0 -- -- | -- | -421/1178
0.00/0.23 c ==============================================================================
0.00/0.23 c Result : #vars: 15606 #clauses: 66779 #literals: 202778
0.00/0.23 c CPU time: 0.215967 s
0.00/0.23 c ==============================================================================
0.00/0.30 c This is MiniSat 2.0 beta
0.00/0.30 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.30 c ============================[ Problem Statistics ]=============================
0.00/0.30 c | |
0.00/0.30 c | Number of variables: 15606 |
0.00/0.30 c | Number of clauses: 66779 |
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 | 15606 66779 202778 | 22259 0 nan | 0.000 % |
0.29/0.42 c | 101 | 15606 66779 202778 | 22259 101 152 | 0.000 % |
0.29/0.47 c | 202 | 15606 66779 202778 | 22259 202 155 | 0.000 % |
0.29/0.52 c | 302 | 15606 66779 202778 | 22259 302 159 | 0.000 % |
0.29/0.58 c | 413 | 15606 66779 202778 | 22259 413 166 | 0.000 % |
0.29/0.64 c | 513 | 15606 66779 202778 | 22259 513 165 | 0.000 % |
0.29/0.70 c | 623 | 15606 66779 202778 | 22259 623 174 | 0.000 % |
0.29/0.77 c | 744 | 15606 66779 202778 | 22259 744 172 | 0.000 % |
0.29/0.82 c | 846 | 15606 66779 202778 | 22259 846 185 | 0.000 % |
0.29/0.89 c | 958 | 15606 66779 202778 | 22259 958 187 | 0.000 % |
0.29/0.95 c | 1079 | 15606 66779 202778 | 22259 1079 183 | 0.000 % |
0.97/1.02 c | 1212 | 15606 66779 202778 | 22259 1212 181 | 0.000 % |
0.97/1.08 c | 1312 | 15606 66779 202778 | 22259 1312 180 | 0.000 % |
1.07/1.14 c | 1426 | 15606 66779 202778 | 22259 1426 179 | 0.000 % |
1.16/1.20 c | 1548 | 15606 66779 202778 | 22259 1548 176 | 0.000 % |
1.16/1.28 c | 1682 | 15606 66779 202778 | 22259 1682 177 | 0.000 % |
1.26/1.35 c | 1829 | 15606 66779 202778 | 22259 1829 175 | 0.000 % |
1.36/1.41 c | 1934 | 15606 66779 202778 | 22259 1934 177 | 0.000 % |
1.36/1.47 c | 2044 | 15606 66779 202778 | 22259 2044 176 | 0.000 % |
1.46/1.54 c | 2165 | 15606 66779 202778 | 22259 2165 177 | 0.000 % |
1.56/1.61 c | 2298 | 15606 66779 202778 | 22259 2298 174 | 0.000 % |
1.56/1.69 c | 2446 | 15606 66779 202778 | 22259 2446 177 | 0.000 % |
1.66/1.77 c | 2606 | 15606 66779 202778 | 22259 2606 181 | 0.000 % |
1.76/1.83 c | 2706 | 15606 66779 202778 | 22259 2706 180 | 0.000 % |
1.76/1.89 c | 2817 | 15606 66779 202778 | 22259 2817 180 | 0.000 % |
1.86/1.95 c | 2940 | 15606 66779 202778 | 22259 2940 181 | 0.000 % |
1.96/2.02 c | 3073 | 15606 66779 202778 | 22259 3073 179 | 0.000 % |
2.06/2.11 c | 3220 | 15606 66779 202778 | 22259 3220 181 | 0.000 % |
2.06/2.19 c | 3380 | 15606 66779 202778 | 22259 3380 187 | 0.000 % |
2.16/2.29 c | 3557 | 15606 66779 202778 | 22259 3557 188 | 0.000 % |
2.26/2.34 c | 3657 | 15606 66779 202778 | 22259 3657 187 | 0.000 % |
2.36/2.41 c | 3767 | 15606 66779 202778 | 22259 3767 186 | 0.000 % |
2.36/2.47 c | 3889 | 15606 66779 202778 | 22259 3889 187 | 0.000 % |
2.46/2.55 c | 4024 | 15606 66779 202778 | 22259 4024 187 | 0.000 % |
2.56/2.62 c | 4170 | 15606 66779 202778 | 22259 4170 186 | 0.000 % |
2.66/2.71 c | 4330 | 15606 66779 202778 | 22259 4330 186 | 0.000 % |
2.76/2.80 c | 4507 | 15606 66779 202778 | 22259 4507 185 | 0.000 % |
2.86/2.90 c | 4700 | 15606 66779 202778 | 22259 4700 184 | 0.000 % |
2.86/2.96 c | 4800 | 15606 66779 202778 | 22259 4800 183 | 0.000 % |
2.96/3.03 c | 4912 | 15606 66779 202778 | 22259 4912 184 | 0.000 % |
2.96/3.09 c | 5034 | 15606 66779 202778 | 22259 5034 185 | 0.000 % |
3.06/3.16 c | 5167 | 15606 66779 202778 | 22259 5167 185 | 0.000 % |
3.16/3.25 c | 5314 | 15606 66779 202778 | 22259 5314 185 | 0.000 % |
3.26/3.33 c | 5474 | 15606 66779 202778 | 22259 5474 185 | 0.000 % |
3.36/3.43 c | 5650 | 15606 66779 202778 | 22259 5650 187 | 0.000 % |
3.46/3.54 c | 5844 | 15606 66779 202778 | 22259 5844 188 | 0.000 % |
3.57/3.65 c | 6056 | 15606 66779 202778 | 22259 6056 189 | 0.000 % |
3.66/3.72 c | 6156 | 15606 66779 202778 | 22259 6156 188 | 0.000 % |
3.66/3.78 c | 6266 | 15606 66779 202778 | 22259 6266 188 | 0.000 % |
3.76/3.85 c | 6387 | 15606 66779 202778 | 22259 6387 188 | 0.000 % |
3.86/3.92 c | 6520 | 15606 66779 202778 | 22259 6520 188 | 0.000 % |
3.96/4.00 c | 6667 | 15606 66779 202778 | 22259 6667 188 | 0.000 % |
3.96/4.09 c | 6827 | 15606 66779 202778 | 22259 6827 188 | 0.000 % |
4.06/4.19 c | 7006 | 15606 66779 202778 | 22259 7006 187 | 0.000 % |
4.16/4.30 c | 7199 | 15606 66779 202778 | 22259 7199 188 | 0.000 % |
4.36/4.42 c | 7412 | 15606 66779 202778 | 22259 7412 189 | 0.000 % |
4.46/4.54 c | 7646 | 15606 66779 202778 | 22259 7646 189 | 0.000 % |
4.56/4.60 c | 7746 | 15606 66779 202778 | 22259 7746 190 | 0.000 % |
4.56/4.67 c | 7856 | 15606 66779 202778 | 22259 7856 190 | 0.000 % |
4.66/4.74 c | 7977 | 15606 66779 202778 | 22259 7977 190 | 0.000 % |
4.76/4.83 c | 8111 | 15606 66779 202778 | 22259 8111 190 | 0.000 % |
4.86/4.91 c | 8257 | 15606 66779 202778 | 22259 8257 190 | 0.000 % |
4.96/5.02 c | 8417 | 15606 66779 202778 | 22259 8417 191 | 0.000 % |
5.06/5.12 c | 8594 | 15606 66779 202778 | 22259 8594 192 | 0.000 % |
5.16/5.25 c | 8788 | 15606 66779 202778 | 22259 8788 194 | 0.000 % |
5.26/5.36 c | 9000 | 15606 66779 202778 | 22259 9000 195 | 0.000 % |
5.46/5.50 c | 9235 | 15606 66779 202778 | 22259 9235 196 | 0.000 % |
5.56/5.66 c | 9492 | 15606 66779 202778 | 22259 9492 197 | 0.000 % |
5.66/5.72 c | 9593 | 15606 66779 202778 | 22259 9593 197 | 0.000 % |
5.66/5.79 c | 9704 | 15606 66779 202778 | 22259 9704 197 | 0.000 % |
5.76/5.86 c | 9825 | 15606 66779 202778 | 22259 9825 196 | 0.000 % |
5.86/5.94 c | 9960 | 15606 66779 202778 | 22259 9960 196 | 0.000 % |
5.96/6.04 c | 10111 | 15606 66779 202778 | 2147483647 10111 196 | 0.000 % |
6.06/6.13 c | 10272 | 15606 66779 202778 | 2147483647 10272 196 | 0.000 % |
6.16/6.23 c | 10449 | 15606 66779 202778 | 2147483647 10449 196 | 0.000 % |
6.26/6.34 c | 10644 | 15606 66779 202778 | 2147483647 10644 196 | 0.000 % |
6.36/6.46 c | 10858 | 15606 66779 202778 | 2147483647 10858 195 | 0.000 % |
6.46/6.59 c | 11092 | 15606 66779 202778 | 2147483647 11092 195 | 0.000 % |
6.66/6.74 c | 11349 | 15606 66779 202778 | 2147483647 11349 195 | 0.000 % |
6.76/6.89 c | 11631 | 15606 66779 202778 | 2147483647 11631 196 | 0.000 % |
6.86/6.96 c | 11732 | 15606 66779 202778 | 2147483647 11732 196 | 0.000 % |
6.96/7.03 c | 11842 | 15606 66779 202778 | 2147483647 11842 196 | 0.000 % |
7.06/7.11 c | 11966 | 15606 66779 202778 | 2147483647 11966 195 | 0.000 % |
7.16/7.20 c | 12099 | 15606 66779 202778 | 2147483647 12099 194 | 0.000 % |
7.26/7.30 c | 12245 | 15606 66779 202778 | 2147483647 12245 194 | 0.000 % |
7.36/7.40 c | 12405 | 15606 66779 202778 | 2147483647 12405 194 | 0.000 % |
7.46/7.51 c | 12584 | 15606 66779 202778 | 2147483647 12584 194 | 0.000 % |
7.56/7.63 c | 12777 | 15606 66779 202778 | 2147483647 12777 194 | 0.000 % |
7.66/7.76 c | 12989 | 15606 66779 202778 | 2147483647 12989 194 | 0.000 % |
7.76/7.90 c | 13222 | 15606 66779 202778 | 2147483647 13222 193 | 0.000 % |
7.96/8.05 c | 13479 | 15606 66779 202778 | 2147483647 13479 193 | 0.000 % |
8.16/8.22 c | 13762 | 15606 66779 202778 | 2147483647 13762 192 | 0.000 % |
8.36/8.40 c | 14072 | 15606 66779 202778 | 2147483647 14072 192 | 0.000 % |
8.36/8.47 c | 14173 | 15606 66779 202778 | 2147483647 14173 192 | 0.000 % |
8.46/8.54 c | 14283 | 15606 66779 202778 | 2147483647 14283 192 | 0.000 % |
8.56/8.62 c | 14409 | 15606 66779 202778 | 2147483647 14409 192 | 0.000 % |
8.66/8.70 c | 14543 | 15606 66779 202778 | 2147483647 14543 192 | 0.000 % |
8.66/8.79 c | 14689 | 15606 66779 202778 | 2147483647 14689 192 | 0.000 % |
8.76/8.89 c | 14851 | 15606 66779 202778 | 2147483647 14851 192 | 0.000 % |
8.96/9.01 c | 15027 | 15606 66779 202778 | 2147483647 15027 192 | 0.000 % |
9.06/9.13 c | 15224 | 15606 66779 202778 | 2147483647 15224 192 | 0.000 % |
9.15/9.27 c | 15436 | 15606 66779 202778 | 2147483647 15436 192 | 0.000 % |
9.35/9.40 c | 15671 | 15606 66779 202778 | 2147483647 15671 192 | 0.000 % |
9.45/9.56 c | 15927 | 15606 66779 202778 | 2147483647 15927 193 | 0.000 % |
9.65/9.74 c | 16209 | 15606 66779 202778 | 2147483647 16209 193 | 0.000 % |
9.85/9.93 c | 16519 | 15606 66779 202778 | 2147483647 16519 193 | 0.000 % |
10.05/10.13 c | 16858 | 15606 66779 202778 | 2147483647 16858 194 | 0.000 % |
10.05/10.19 c | 16961 | 15606 66779 202778 | 2147483647 16961 194 | 0.000 % |
10.15/10.28 c | 17073 | 15606 66779 202778 | 2147483647 17073 194 | 0.000 % |
10.25/10.36 c | 17194 | 15606 66779 202778 | 2147483647 17194 194 | 0.000 % |
10.35/10.46 c | 17327 | 15606 66779 202778 | 2147483647 17327 194 | 0.000 % |
10.46/10.55 c | 17473 | 15606 66779 202778 | 2147483647 17473 194 | 0.000 % |
10.56/10.66 c | 17634 | 15606 66779 202778 | 2147483647 17634 194 | 0.000 % |
10.66/10.78 c | 17810 | 15606 66779 202778 | 2147483647 17810 194 | 0.000 % |
10.86/10.91 c | 18003 | 15606 66779 202778 | 2147483647 18003 194 | 0.000 % |
10.96/11.05 c | 18218 | 15606 66779 202778 | 2147483647 18218 194 | 0.000 % |
11.06/11.20 c | 18451 | 15606 66779 202778 | 2147483647 18451 194 | 0.000 % |
11.26/11.36 c | 18707 | 15606 66779 202778 | 2147483647 18707 195 | 0.000 % |
11.46/11.53 c | 18990 | 15606 66779 202778 | 2147483647 18990 196 | 0.000 % |
11.66/11.72 c | 19304 | 15606 66779 202778 | 2147483647 19304 198 | 0.000 % |
11.86/11.94 c | 19643 | 15606 66779 202778 | 2147483647 19643 198 | 0.000 % |
12.06/12.18 c | 20016 | 15606 66779 202778 | 2147483647 20016 199 | 0.000 % |
12.15/12.26 c | 20119 | 15606 66779 202778 | 2147483647 20119 198 | 0.000 % |
12.25/12.33 c | 20229 | 15606 66779 202778 | 2147483647 20229 198 | 0.000 % |
12.35/12.41 c | 20351 | 15606 66779 202778 | 2147483647 20351 198 | 0.000 % |
12.45/12.50 c | 20486 | 15606 66779 202778 | 2147483647 20486 198 | 0.000 % |
12.45/12.59 c | 20632 | 15606 66779 202778 | 2147483647 20632 198 | 0.000 % |
12.65/12.70 c | 20792 | 15606 66779 202778 | 2147483647 20792 198 | 0.000 % |
12.75/12.82 c | 20968 | 15606 66779 202778 | 2147483647 20968 198 | 0.000 % |
12.85/12.96 c | 21163 | 15606 66779 202778 | 2147483647 21163 198 | 0.000 % |
13.06/13.10 c | 21376 | 15606 66779 202778 | 2147483647 21376 197 | 0.000 % |
13.16/13.26 c | 21609 | 15606 66779 202778 | 2147483647 21609 198 | 0.000 % |
13.35/13.44 c | 21865 | 15606 66779 202778 | 2147483647 21865 198 | 0.000 % |
13.55/13.61 c | 22147 | 15606 66779 202778 | 2147483647 22147 197 | 0.000 % |
13.75/13.81 c | 22456 | 15606 66779 202778 | 2147483647 22456 199 | 0.000 % |
13.95/14.05 c | 22795 | 15606 66779 202778 | 2147483647 22795 199 | 0.000 % |
14.16/14.30 c | 23167 | 15606 66779 202778 | 2147483647 23167 200 | 0.000 % |
14.45/14.55 c | 23577 | 15606 66779 202778 | 2147483647 23577 200 | 0.000 % |
14.55/14.62 c | 23677 | 15606 66779 202778 | 2147483647 23677 200 | 0.000 % |
14.65/14.70 c | 23788 | 15606 66779 202778 | 2147483647 23788 200 | 0.000 % |
14.65/14.79 c | 23909 | 15606 66779 202778 | 2147483647 23909 200 | 0.000 % |
14.75/14.88 c | 24043 | 15606 66779 202778 | 2147483647 24043 199 | 0.000 % |
14.85/14.99 c | 24191 | 15606 66779 202778 | 2147483647 24191 199 | 0.000 % |
15.05/15.10 c | 24352 | 15606 66779 202778 | 2147483647 24352 199 | 0.000 % |
15.15/15.23 c | 24528 | 15606 66779 202778 | 2147483647 24528 199 | 0.000 % |
15.25/15.38 c | 24722 | 15606 66779 202778 | 2147483647 24722 199 | 0.000 % |
15.45/15.52 c | 24934 | 15606 66779 202778 | 2147483647 24934 199 | 0.000 % |
15.55/15.68 c | 25169 | 15606 66779 202778 | 2147483647 25169 199 | 0.000 % |
15.75/15.84 c | 25426 | 15606 66779 202778 | 2147483647 25426 200 | 0.000 % |
15.95/16.03 c | 25709 | 15606 66779 202778 | 2147483647 25709 199 | 0.000 % |
16.15/16.24 c | 26020 | 15606 66779 202778 | 2147483647 26020 199 | 0.000 % |
16.34/16.46 c | 26361 | 15606 66779 202778 | 2147483647 26361 199 | 0.000 % |
16.64/16.71 c | 26733 | 15606 66779 202778 | 2147483647 26733 199 | 0.000 % |
16.84/16.99 c | 27145 | 15606 66779 202778 | 2147483647 27145 199 | 0.000 % |
17.14/17.29 c | 27594 | 15606 66779 202778 | 2147483647 27594 200 | 0.000 % |
17.24/17.38 c | 27695 | 15606 66779 202778 | 2147483647 27695 200 | 0.000 % |
17.34/17.47 c | 27805 | 15606 66779 202778 | 2147483647 27805 200 | 0.000 % |
17.45/17.55 c | 27927 | 15606 66779 202778 | 2147483647 27927 200 | 0.000 % |
17.55/17.65 c | 28061 | 15606 66779 202778 | 2147483647 28061 200 | 0.000 % |
17.65/17.76 c | 28207 | 15606 66779 202778 | 2147483647 28207 200 | 0.000 % |
17.74/17.88 c | 28369 | 15606 66779 202778 | 2147483647 28369 201 | 0.000 % |
17.84/17.99 c | 28548 | 15606 66779 202778 | 2147483647 28548 200 | 0.000 % |
18.04/18.13 c | 28741 | 15606 66779 202778 | 2147483647 28741 200 | 0.000 % |
18.14/18.27 c | 28954 | 15606 66779 202778 | 2147483647 28954 200 | 0.000 % |
18.34/18.44 c | 29188 | 15606 66779 202778 | 2147483647 29188 201 | 0.000 % |
18.55/18.61 c | 29444 | 15606 66779 202778 | 2147483647 29444 201 | 0.000 % |
18.74/18.81 c | 29725 | 15606 66779 202778 | 2147483647 29725 201 | 0.000 % |
18.94/19.04 c | 30034 | 15606 66779 202778 | 2147483647 30034 201 | 0.000 % |
19.14/19.27 c | 30373 | 15606 66779 202778 | 2147483647 30373 201 | 0.000 % |
19.44/19.54 c | 30745 | 15606 66779 202778 | 2147483647 30745 201 | 0.000 % |
19.74/19.83 c | 31154 | 15606 66779 202778 | 2147483647 31154 201 | 0.000 % |
20.03/20.13 c | 31605 | 15606 66779 202778 | 2147483647 31605 201 | 0.000 % |
20.33/20.49 c | 32098 | 15606 66779 202778 | 2147483647 32098 202 | 0.000 % |
20.43/20.57 c | 32200 | 15606 66779 202778 | 2147483647 32200 202 | 0.000 % |
20.53/20.66 c | 32311 | 15606 66779 202778 | 2147483647 32311 201 | 0.000 % |
20.63/20.75 c | 32434 | 15606 66779 202778 | 2147483647 32434 202 | 0.000 % |
20.74/20.85 c | 32568 | 15606 66779 202778 | 2147483647 32568 202 | 0.000 % |
20.85/20.97 c | 32714 | 15606 66779 202778 | 2147483647 32714 202 | 0.000 % |
21.04/21.10 c | 32875 | 15606 66779 202778 | 2147483647 32875 201 | 0.000 % |
21.14/21.23 c | 33051 | 15606 66779 202778 | 2147483647 33051 201 | 0.000 % |
21.24/21.37 c | 33244 | 15606 66779 202778 | 2147483647 33244 202 | 0.000 % |
21.44/21.52 c | 33456 | 15606 66779 202778 | 2147483647 33456 202 | 0.000 % |
21.54/21.68 c | 33690 | 15606 66779 202778 | 2147483647 33690 202 | 0.000 % |
21.74/21.86 c | 33947 | 15606 66779 202778 | 2147483647 33947 202 | 0.000 % |
21.94/22.05 c | 34228 | 15606 66779 202778 | 2147483647 34228 202 | 0.000 % |
22.14/22.28 c | 34538 | 15606 66779 202778 | 2147483647 34538 203 | 0.000 % |
22.43/22.53 c | 34877 | 15606 66779 202778 | 2147483647 34877 204 | 0.000 % |
22.73/22.80 c | 35252 | 15606 66779 202778 | 2147483647 35252 204 | 0.000 % |
23.04/23.12 c | 35661 | 15606 66779 202778 | 2147483647 35661 204 | 0.000 % |
23.33/23.45 c | 36110 | 15606 66779 202778 | 2147483647 36110 204 | 0.000 % |
23.73/23.81 c | 36603 | 15606 66779 202778 | 2147483647 36603 205 | 0.000 % |
24.14/24.24 c | 37145 | 15606 66779 202778 | 2147483647 37145 206 | 0.000 % |
24.23/24.33 c | 37246 | 15606 66779 202778 | 2147483647 37246 205 | 0.000 % |
24.33/24.42 c | 37357 | 15606 66779 202778 | 2147483647 37357 205 | 0.000 % |
24.43/24.52 c | 37479 | 15606 66779 202778 | 2147483647 37479 205 | 0.000 % |
24.53/24.64 c | 37612 | 15606 66779 202778 | 2147483647 37612 205 | 0.000 % |
24.63/24.76 c | 37759 | 15606 66779 202778 | 2147483647 37759 205 | 0.000 % |
24.73/24.89 c | 37920 | 15606 66779 202778 | 2147483647 37920 205 | 0.000 % |
24.93/25.02 c | 38096 | 15606 66779 202778 | 2147483647 38096 205 | 0.000 % |
25.03/25.19 c | 38290 | 15606 66779 202778 | 2147483647 38290 205 | 0.000 % |
25.24/25.35 c | 38503 | 15606 66779 202778 | 2147483647 38503 205 | 0.000 % |
25.44/25.54 c | 38736 | 15606 66779 202778 | 2147483647 38736 205 | 0.000 % |
25.64/25.74 c | 38994 | 15606 66779 202778 | 2147483647 38994 205 | 0.000 % |
25.84/25.95 c | 39276 | 15606 66779 202778 | 2147483647 39276 205 | 0.000 % |
26.14/26.20 c | 39585 | 15606 66779 202778 | 2147483647 39585 205 | 0.000 % |
26.34/26.47 c | 39925 | 15606 66779 202778 | 2147483647 39925 205 | 0.000 % |
26.63/26.76 c | 40301 | 15606 66779 202778 | 2147483647 40301 206 | 0.000 % |
26.93/27.06 c | 40710 | 15606 66779 202778 | 2147483647 40710 206 | 0.000 % |
27.33/27.41 c | 41160 | 15606 66779 202778 | 2147483647 41160 205 | 0.000 % |
27.62/27.79 c | 41654 | 15606 66779 202778 | 2147483647 41654 205 | 0.000 % |
28.13/28.24 c | 42196 | 15606 66779 202778 | 2147483647 42196 206 | 0.000 % |
28.63/28.73 c | 42794 | 15606 66779 202778 | 2147483647 42794 205 | 0.000 % |
28.73/28.82 c | 42895 | 15606 66779 202778 | 2147483647 42895 205 | 0.000 % |
28.83/28.91 c | 43005 | 15606 66779 202778 | 2147483647 43005 205 | 0.000 % |
28.93/29.03 c | 43126 | 15606 66779 202778 | 2147483647 43126 205 | 0.000 % |
29.03/29.13 c | 43259 | 15606 66779 202778 | 2147483647 43259 205 | 0.000 % |
29.13/29.25 c | 43407 | 15606 66779 202778 | 2147483647 43407 205 | 0.000 % |
29.23/29.39 c | 43568 | 15606 66779 202778 | 2147483647 43568 205 | 0.000 % |
29.43/29.53 c | 43744 | 15606 66779 202778 | 2147483647 43744 205 | 0.000 % |
29.63/29.71 c | 43937 | 15606 66779 202778 | 2147483647 43937 205 | 0.000 % |
29.72/29.90 c | 44149 | 15606 66779 202778 | 2147483647 44149 205 | 0.000 % |
30.02/30.10 c | 44383 | 15606 66779 202778 | 2147483647 44383 205 | 0.000 % |
30.22/30.30 c | 44642 | 15606 66779 202778 | 2147483647 44642 205 | 0.000 % |
30.42/30.54 c | 44925 | 15606 66779 202778 | 2147483647 44925 206 | 0.000 % |
30.62/30.78 c | 45236 | 15606 66779 202778 | 2147483647 45236 206 | 0.000 % |
30.93/31.07 c | 45575 | 15606 66779 202778 | 2147483647 45575 206 | 0.000 % |
31.23/31.38 c | 45947 | 15606 66779 202778 | 2147483647 45947 206 | 0.000 % |
31.62/31.75 c | 46356 | 15606 66779 202778 | 2147483647 46356 206 | 0.000 % |
32.02/32.11 c | 46805 | 15606 66779 202778 | 2147483647 46805 207 | 0.000 % |
32.42/32.53 c | 47298 | 15606 66779 202778 | 2147483647 47298 207 | 0.000 % |
32.83/32.94 c | 47841 | 15606 66779 202778 | 2147483647 47841 207 | 0.000 % |
33.32/33.41 c | 48438 | 15606 66779 202778 | 2147483647 48438 207 | 0.000 % |
33.82/33.93 c | 49093 | 15606 66779 202778 | 2147483647 49093 207 | 0.000 % |
33.92/34.03 c | 49194 | 15606 66779 202778 | 2147483647 49194 207 | 0.000 % |
34.02/34.13 c | 49304 | 15606 66779 202778 | 2147483647 49304 207 | 0.000 % |
34.12/34.23 c | 49425 | 15606 66779 202778 | 2147483647 49425 207 | 0.000 % |
34.22/34.36 c | 49561 | 15606 66779 202778 | 2147483647 49561 207 | 0.000 % |
34.32/34.49 c | 49707 | 15606 66779 202778 | 2147483647 49707 207 | 0.000 % |
34.52/34.65 c | 49871 | 15606 66779 202778 | 2147483647 49871 207 | 0.000 % |
34.72/34.80 c | 50047 | 15606 66779 202778 | 2147483647 50047 207 | 0.000 % |
34.82/34.97 c | 50240 | 15606 66779 202778 | 2147483647 50240 207 | 0.000 % |
35.03/35.15 c | 50454 | 15606 66779 202778 | 2147483647 50454 207 | 0.000 % |
35.22/35.35 c | 50688 | 15606 66779 202778 | 2147483647 50688 207 | 0.000 % |
35.42/35.56 c | 50944 | 15606 66779 202778 | 2147483647 50944 207 | 0.000 % |
35.72/35.80 c | 51225 | 15606 66779 202778 | 2147483647 51225 207 | 0.000 % |
35.92/36.06 c | 51534 | 15606 66779 202778 | 2147483647 51534 207 | 0.000 % |
36.22/36.36 c | 51874 | 15606 66779 202778 | 2147483647 51874 207 | 0.000 % |
36.52/36.67 c | 52246 | 15606 66779 202778 | 2147483647 52246 207 | 0.000 % |
36.91/37.04 c | 52655 | 15606 66779 202778 | 2147483647 52655 208 | 0.000 % |
37.33/37.42 c | 53105 | 15606 66779 202778 | 2147483647 53105 208 | 0.000 % |
37.72/37.82 c | 53598 | 15606 66779 202778 | 2147483647 53598 208 | 0.000 % |
38.12/38.26 c | 54140 | 15606 66779 202778 | 2147483647 54140 208 | 0.000 % |
38.62/38.74 c | 54738 | 15606 66779 202778 | 2147483647 54738 208 | 0.000 % |
39.12/39.30 c | 55393 | 15606 66779 202778 | 2147483647 55393 208 | 0.000 % |
39.81/39.90 c | 56117 | 15606 66779 202778 | 2147483647 56117 209 | 0.000 % |
39.91/40.00 c | 56217 | 15606 66779 202778 | 2147483647 56217 209 | 0.000 % |
40.01/40.11 c | 56329 | 15606 66779 202778 | 2147483647 56329 209 | 0.000 % |
40.11/40.23 c | 56451 | 15606 66779 202778 | 2147483647 56451 209 | 0.000 % |
40.22/40.35 c | 56585 | 15606 66779 202778 | 2147483647 56585 209 | 0.000 % |
40.32/40.49 c | 56731 | 15606 66779 202778 | 2147483647 56731 209 | 0.000 % |
40.52/40.63 c | 56891 | 15606 66779 202778 | 2147483647 56891 209 | 0.000 % |
40.72/40.80 c | 57070 | 15606 66779 202778 | 2147483647 57070 209 | 0.000 % |
40.82/40.99 c | 57263 | 15606 66779 202778 | 2147483647 57263 209 | 0.000 % |
41.02/41.16 c | 57475 | 15606 66779 202778 | 2147483647 57475 209 | 0.000 % |
41.22/41.37 c | 57710 | 15606 66779 202778 | 2147483647 57710 209 | 0.000 % |
41.52/41.60 c | 57966 | 15606 66779 202778 | 2147483647 57966 209 | 0.000 % |
41.72/41.85 c | 58247 | 15606 66779 202778 | 2147483647 58247 209 | 0.000 % |
42.02/42.12 c | 58556 | 15606 66779 202778 | 2147483647 58556 209 | 0.000 % |
42.32/42.42 c | 58898 | 15606 66779 202778 | 2147483647 58898 208 | 0.000 % |
42.62/42.74 c | 59270 | 15606 66779 202778 | 2147483647 59270 209 | 0.000 % |
43.02/43.11 c | 59680 | 15606 66779 202778 | 2147483647 59680 209 | 0.000 % |
43.42/43.50 c | 60130 | 15606 66779 202778 | 2147483647 60130 209 | 0.000 % |
43.82/43.91 c | 60623 | 15606 66779 202778 | 2147483647 60623 209 | 0.000 % |
44.21/44.38 c | 61166 | 15606 66779 202778 | 2147483647 61166 210 | 0.000 % |
44.81/44.92 c | 61763 | 15606 66779 202778 | 2147483647 61763 210 | 0.000 % |
45.41/45.52 c | 62420 | 15606 66779 202778 | 2147483647 62420 211 | 0.000 % |
46.02/46.20 c | 63142 | 15606 66779 202778 | 2147483647 63142 211 | 0.000 % |
46.71/46.88 c | 63935 | 15606 66779 202778 | 2147483647 63935 211 | 0.000 % |
46.91/47.00 c | 64040 | 15606 66779 202778 | 2147483647 64040 211 | 0.000 % |
47.01/47.12 c | 64150 | 15606 66779 202778 | 2147483647 64150 211 | 0.000 % |
47.12/47.22 c | 64272 | 15606 66779 202778 | 2147483647 64272 211 | 0.000 % |
47.21/47.35 c | 64405 | 15606 66779 202778 | 2147483647 64405 211 | 0.000 % |
47.31/47.49 c | 64551 | 15606 66779 202778 | 2147483647 64551 211 | 0.000 % |
47.51/47.66 c | 64711 | 15606 66779 202778 | 2147483647 64711 211 | 0.000 % |
47.71/47.84 c | 64887 | 15606 66779 202778 | 2147483647 64887 211 | 0.000 % |
47.91/48.04 c | 65080 | 15606 66779 202778 | 2147483647 65080 211 | 0.000 % |
48.11/48.26 c | 65293 | 15606 66779 202778 | 2147483647 65293 211 | 0.000 % |
48.32/48.45 c | 65526 | 15606 66779 202778 | 2147483647 65526 211 | 0.000 % |
48.52/48.68 c | 65782 | 15606 66779 202778 | 2147483647 65782 211 | 0.000 % |
48.82/48.93 c | 66063 | 15606 66779 202778 | 2147483647 66063 211 | 0.000 % |
49.11/49.21 c | 66372 | 15606 66779 202778 | 2147483647 66372 211 | 0.000 % |
49.42/49.53 c | 66711 | 15606 66779 202778 | 2147483647 66711 211 | 0.000 % |
49.71/49.87 c | 67083 | 15606 66779 202778 | 2147483647 67083 211 | 0.000 % |
50.11/50.25 c | 67492 | 15606 66779 202778 | 2147483647 67492 211 | 0.000 % |
50.51/50.66 c | 67941 | 15606 66779 202778 | 2147483647 67941 211 | 0.000 % |
51.01/51.12 c | 68434 | 15606 66779 202778 | 2147483647 68434 211 | 0.000 % |
51.51/51.63 c | 68977 | 15606 66779 202778 | 2147483647 68977 211 | 0.000 % |
52.11/52.22 c | 69575 | 15606 66779 202778 | 2147483647 69575 212 | 0.000 % |
52.72/52.88 c | 70233 | 15606 66779 202778 | 2147483647 70233 212 | 0.000 % |
53.41/53.51 c | 70956 | 15606 66779 202778 | 2147483647 70956 213 | 0.000 % |
54.10/54.25 c | 71751 | 15606 66779 202778 | 2147483647 71751 213 | 0.000 % |
54.92/55.05 c | 72622 | 15606 66779 202778 | 2147483647 72622 214 | 0.000 % |
55.01/55.17 c | 72722 | 15606 66779 202778 | 2147483647 72722 214 | 0.000 % |
55.11/55.30 c | 72835 | 15606 66779 202778 | 2147483647 72835 214 | 0.000 % |
55.31/55.43 c | 72956 | 15606 66779 202778 | 2147483647 72956 214 | 0.000 % |
55.41/55.56 c | 73089 | 15606 66779 202778 | 2147483647 73089 213 | 0.000 % |
55.61/55.72 c | 73235 | 15606 66779 202778 | 2147483647 73235 213 | 0.000 % |
55.71/55.87 c | 73397 | 15606 66779 202778 | 2147483647 73397 213 | 0.000 % |
55.91/56.04 c | 73573 | 15606 66779 202778 | 2147483647 73573 213 | 0.000 % |
56.11/56.23 c | 73766 | 15606 66779 202778 | 2147483647 73766 213 | 0.000 % |
56.31/56.44 c | 73978 | 15606 66779 202778 | 2147483647 73978 213 | 0.000 % |
56.51/56.67 c | 74213 | 15606 66779 202778 | 2147483647 74213 213 | 0.000 % |
56.81/56.92 c | 74469 | 15606 66779 202778 | 2147483647 74469 213 | 0.000 % |
57.01/57.19 c | 74751 | 15606 66779 202778 | 2147483647 74751 213 | 0.000 % |
57.41/57.50 c | 75062 | 15606 66779 202778 | 2147483647 75062 213 | 0.000 % |
57.71/57.84 c | 75402 | 15606 66779 202778 | 2147483647 75402 213 | 0.000 % |
58.01/58.20 c | 75774 | 15606 66779 202778 | 2147483647 75774 213 | 0.000 % |
58.40/58.58 c | 76183 | 15606 66779 202778 | 2147483647 76183 213 | 0.000 % |
58.90/59.02 c | 76633 | 15606 66779 202778 | 2147483647 76633 213 | 0.000 % |
59.30/59.46 c | 77127 | 15606 66779 202778 | 2147483647 77127 214 | 0.000 % |
59.90/60.01 c | 77670 | 15606 66779 202778 | 2147483647 77670 214 | 0.000 % |
60.40/60.55 c | 78266 | 15606 66779 202778 | 2147483647 78266 214 | 0.000 % |
60.99/61.15 c | 78921 | 15606 66779 202778 | 2147483647 78921 215 | 0.000 % |
61.70/61.83 c | 79641 | 15606 66779 202778 | 2147483647 79641 215 | 0.000 % |
62.51/62.64 c | 80434 | 15606 66779 202778 | 2147483647 80434 215 | 0.000 % |
63.30/63.47 c | 81307 | 15606 66779 202778 | 2147483647 81307 215 | 0.000 % |
64.30/64.43 c | 82266 | 15606 66779 202778 | 2147483647 82266 216 | 0.000 % |
64.40/64.54 c | 82366 | 15606 66779 202778 | 2147483647 82366 216 | 0.000 % |
64.50/64.66 c | 82476 | 15606 66779 202778 | 2147483647 82476 216 | 0.000 % |
64.60/64.79 c | 82597 | 15606 66779 202778 | 2147483647 82597 216 | 0.000 % |
64.80/64.94 c | 82730 | 15606 66779 202778 | 2147483647 82730 216 | 0.000 % |
64.99/65.11 c | 82876 | 15606 66779 202778 | 2147483647 82876 216 | 0.000 % |
65.09/65.27 c | 83036 | 15606 66779 202778 | 2147483647 83036 216 | 0.000 % |
65.29/65.49 c | 83215 | 15606 66779 202778 | 2147483647 83215 216 | 0.000 % |
65.59/65.70 c | 83409 | 15606 66779 202778 | 2147483647 83409 216 | 0.000 % |
65.80/65.94 c | 83622 | 15606 66779 202778 | 2147483647 83622 216 | 0.000 % |
66.10/66.20 c | 83857 | 15606 66779 202778 | 2147483647 83857 216 | 0.000 % |
66.30/66.50 c | 84114 | 15606 66779 202778 | 2147483647 84114 216 | 0.000 % |
66.60/66.79 c | 84395 | 15606 66779 202778 | 2147483647 84395 216 | 0.000 % |
66.90/67.10 c | 84704 | 15606 66779 202778 | 2147483647 84704 216 | 0.000 % |
67.30/67.47 c | 85043 | 15606 66779 202778 | 2147483647 85043 216 | 0.000 % |
67.70/67.89 c | 85417 | 15606 66779 202778 | 2147483647 85417 216 | 0.000 % |
68.19/68.32 c | 85826 | 15606 66779 202778 | 2147483647 85826 216 | 0.000 % |
68.70/68.84 c | 86277 | 15606 66779 202778 | 2147483647 86277 216 | 0.000 % |
69.20/69.35 c | 86771 | 15606 66779 202778 | 2147483647 86771 216 | 0.000 % |
69.70/69.88 c | 87314 | 15606 66779 202778 | 2147483647 87314 217 | 0.000 % |
70.30/70.48 c | 87910 | 15606 66779 202778 | 2147483647 87910 217 | 0.000 % |
71.00/71.15 c | 88566 | 15606 66779 202778 | 2147483647 88566 218 | 0.000 % |
71.80/71.91 c | 89286 | 15606 66779 202778 | 2147483647 89286 218 | 0.000 % |
72.59/72.78 c | 90078 | 15606 66779 202778 | 2147483647 90078 219 | 0.000 % |
73.59/73.71 c | 90949 | 15606 66779 202778 | 2147483647 90949 219 | 0.000 % |
74.60/74.73 c | 91909 | 15606 66779 202778 | 2147483647 91909 219 | 0.000 % |
75.59/75.80 c | 92963 | 15606 66779 202778 | 2147483647 92963 220 | 0.000 % |
75.79/75.92 c | 93064 | 15606 66779 202778 | 2147483647 93064 220 | 0.000 % |
75.89/76.07 c | 93174 | 15606 66779 202778 | 2147483647 93174 220 | 0.000 % |
76.09/76.20 c | 93295 | 15606 66779 202778 | 2147483647 93295 219 | 0.000 % |
76.19/76.35 c | 93430 | 15606 66779 202778 | 2147483647 93430 219 | 0.000 % |
76.39/76.52 c | 93576 | 15606 66779 202778 | 2147483647 93576 219 | 0.000 % |
76.59/76.75 c | 93736 | 15606 66779 202778 | 2147483647 93736 219 | 0.000 % |
76.79/76.95 c | 93913 | 15606 66779 202778 | 2147483647 93913 219 | 0.000 % |
76.99/77.17 c | 94107 | 15606 66779 202778 | 2147483647 94107 219 | 0.000 % |
77.29/77.43 c | 94320 | 15606 66779 202778 | 2147483647 94320 219 | 0.000 % |
77.49/77.69 c | 94554 | 15606 66779 202778 | 2147483647 94554 219 | 0.000 % |
77.89/78.00 c | 94810 | 15606 66779 202778 | 2147483647 94810 219 | 0.000 % |
78.19/78.34 c | 95092 | 15606 66779 202778 | 2147483647 95092 219 | 0.000 % |
78.49/78.70 c | 95403 | 15606 66779 202778 | 2147483647 95403 219 | 0.000 % |
78.88/79.08 c | 95742 | 15606 66779 202778 | 2147483647 95742 219 | 0.000 % |
79.28/79.49 c | 96114 | 15606 66779 202778 | 2147483647 96114 219 | 0.000 % |
79.79/79.95 c | 96523 | 15606 66779 202778 | 2147483647 96523 219 | 0.000 % |
80.29/80.45 c | 96972 | 15606 66779 202778 | 2147483647 96972 219 | 0.000 % |
80.79/80.95 c | 97465 | 15606 66779 202778 | 2147483647 97465 219 | 0.000 % |
81.39/81.52 c | 98009 | 15606 66779 202778 | 2147483647 98009 219 | 0.000 % |
81.99/82.14 c | 98606 | 15606 66779 202778 | 2147483647 98606 219 | 0.000 % |
82.69/82.83 c | 99261 | 15606 66779 202778 | 2147483647 99261 219 | 0.000 % |
83.49/83.64 c | 99982 | 15606 66779 202778 | 2147483647 99982 220 | 0.000 % |
84.39/84.54 c | 100774 | 15606 66779 202778 | 2147483647 100774 220 | 0.000 % |
85.29/85.47 c | 101645 | 15606 66779 202778 | 2147483647 101645 220 | 0.000 % |
86.38/86.53 c | 102603 | 15606 66779 202778 | 2147483647 102603 221 | 0.000 % |
87.49/87.65 c | 103656 | 15606 66779 202778 | 2147483647 103656 222 | 0.000 % |
88.78/88.90 c | 104814 | 15606 66779 202778 | 2147483647 104814 222 | 0.000 % |
88.89/89.03 c | 104914 | 15606 66779 202778 | 2147483647 104914 222 | 0.000 % |
88.99/89.16 c | 105024 | 15606 66779 202778 | 2147483647 105024 222 | 0.000 % |
89.18/89.34 c | 105145 | 15606 66779 202778 | 2147483647 105145 222 | 0.000 % |
89.38/89.51 c | 105278 | 15606 66779 202778 | 2147483647 105278 222 | 0.000 % |
89.48/89.69 c | 105424 | 15606 66779 202778 | 2147483647 105424 222 | 0.000 % |
89.68/89.89 c | 105584 | 15606 66779 202778 | 2147483647 105584 222 | 0.000 % |
89.99/90.12 c | 105760 | 15606 66779 202778 | 2147483647 105760 222 | 0.000 % |
90.19/90.34 c | 105953 | 15606 66779 202778 | 2147483647 105953 222 | 0.000 % |
90.39/90.56 c | 106166 | 15606 66779 202778 | 2147483647 106166 222 | 0.000 % |
90.69/90.83 c | 106399 | 15606 66779 202778 | 2147483647 106399 222 | 0.000 % |
90.99/91.13 c | 106659 | 15606 66779 202778 | 2147483647 106659 222 | 0.000 % |
91.29/91.44 c | 106942 | 15606 66779 202778 | 2147483647 106942 222 | 0.000 % |
91.69/91.80 c | 107251 | 15606 66779 202778 | 2147483647 107251 222 | 0.000 % |
92.09/92.21 c | 107592 | 15606 66779 202778 | 2147483647 107592 222 | 0.000 % |
92.49/92.70 c | 107965 | 15606 66779 202778 | 2147483647 107965 222 | 0.000 % |
92.98/93.20 c | 108375 | 15606 66779 202778 | 2147483647 108375 222 | 0.000 % |
93.58/93.72 c | 108824 | 15606 66779 202778 | 2147483647 108824 222 | 0.000 % |
94.08/94.28 c | 109319 | 15606 66779 202778 | 2147483647 109319 222 | 0.000 % |
94.68/94.87 c | 109863 | 15606 66779 202778 | 2147483647 109863 222 | 0.000 % |
95.38/95.54 c | 110461 | 15606 66779 202778 | 2147483647 110461 223 | 0.000 % |
96.18/96.33 c | 111117 | 15606 66779 202778 | 2147483647 111117 223 | 0.000 % |
96.99/97.13 c | 111837 | 15606 66779 202778 | 2147483647 111837 223 | 0.000 % |
97.88/98.00 c | 112629 | 15606 66779 202778 | 2147483647 112629 223 | 0.000 % |
98.78/98.98 c | 113503 | 15606 66779 202778 | 2147483647 113503 223 | 0.000 % |
99.88/100.09 c | 114462 | 15606 66779 202778 | 2147483647 114462 223 | 0.000 % |
101.08/101.29 c | 115516 | 15606 66779 202778 | 2147483647 115516 224 | 0.000 % |
102.38/102.58 c | 116675 | 15606 66779 202778 | 2147483647 116675 224 | 0.000 % |
103.88/104.07 c | 117948 | 15606 66779 202778 | 2147483647 117948 224 | 0.000 % |
104.08/104.21 c | 118048 | 15606 66779 202778 | 2147483647 118048 224 | 0.000 % |
104.18/104.38 c | 118159 | 15606 66779 202778 | 2147483647 118159 224 | 0.000 % |
104.38/104.53 c | 118280 | 15606 66779 202778 | 2147483647 118280 224 | 0.000 % |
104.58/104.72 c | 118414 | 15606 66779 202778 | 2147483647 118414 224 | 0.000 % |
104.78/104.93 c | 118560 | 15606 66779 202778 | 2147483647 118560 224 | 0.000 % |
104.98/105.16 c | 118720 | 15606 66779 202778 | 2147483647 118720 224 | 0.000 % |
105.18/105.38 c | 118896 | 15606 66779 202778 | 2147483647 118896 224 | 0.000 % |
105.48/105.62 c | 119089 | 15606 66779 202778 | 2147483647 119089 224 | 0.000 % |
105.77/105.93 c | 119302 | 15606 66779 202778 | 2147483647 119302 224 | 0.000 % |
106.07/106.23 c | 119535 | 15606 66779 202778 | 2147483647 119535 224 | 0.000 % |
106.37/106.58 c | 119792 | 15606 66779 202778 | 2147483647 119792 224 | 0.000 % |
106.77/106.92 c | 120074 | 15606 66779 202778 | 2147483647 120074 224 | 0.000 % |
107.17/107.36 c | 120383 | 15606 66779 202778 | 2147483647 120383 224 | 0.000 % |
107.57/107.78 c | 120723 | 15606 66779 202778 | 2147483647 120723 224 | 0.000 % |
108.07/108.21 c | 121097 | 15606 66779 202778 | 2147483647 121097 224 | 0.000 % |
108.57/108.72 c | 121506 | 15606 66779 202778 | 2147483647 121506 224 | 0.000 % |
109.07/109.29 c | 121955 | 15606 66779 202778 | 2147483647 121955 224 | 0.000 % |
109.67/109.87 c | 122449 | 15606 66779 202778 | 2147483647 122449 224 | 0.000 % |
110.27/110.48 c | 122992 | 15606 66779 202778 | 2147483647 122992 224 | 0.000 % |
110.97/111.19 c | 123588 | 15606 66779 202778 | 2147483647 123588 224 | 0.000 % |
111.77/111.99 c | 124243 | 15606 66779 202778 | 2147483647 124243 224 | 0.000 % |
112.67/112.84 c | 124964 | 15606 66779 202778 | 2147483647 124964 224 | 0.000 % |
113.67/113.85 c | 125756 | 15606 66779 202778 | 2147483647 125756 225 | 0.000 % |
114.76/114.91 c | 126627 | 15606 66779 202778 | 2147483647 126627 225 | 0.000 % |
115.97/116.11 c | 127585 | 15606 66779 202778 | 2147483647 127585 226 | 0.000 % |
117.16/117.40 c | 128639 | 15606 66779 202778 | 2147483647 128639 226 | 0.000 % |
118.66/118.82 c | 129797 | 15606 66779 202778 | 2147483647 129797 226 | 0.000 % |
120.26/120.42 c | 131070 | 15606 66779 202778 | 2147483647 131070 227 | 0.000 % |
121.96/122.11 c | 132472 | 15606 66779 202778 | 2147483647 132472 227 | 0.000 % |
122.06/122.26 c | 132573 | 15606 66779 202778 | 2147483647 132573 227 | 0.000 % |
122.26/122.44 c | 132683 | 15606 66779 202778 | 2147483647 132683 227 | 0.000 % |
122.46/122.61 c | 132804 | 15606 66779 202778 | 2147483647 132804 227 | 0.000 % |
122.66/122.81 c | 132939 | 15606 66779 202778 | 2147483647 132939 227 | 0.000 % |
122.86/123.05 c | 133085 | 15606 66779 202778 | 2147483647 133085 227 | 0.000 % |
123.17/123.31 c | 133246 | 15606 66779 202778 | 2147483647 133246 227 | 0.000 % |
123.37/123.57 c | 133422 | 15606 66779 202778 | 2147483647 133422 227 | 0.000 % |
123.66/123.87 c | 133615 | 15606 66779 202778 | 2147483647 133615 227 | 0.000 % |
123.96/124.15 c | 133827 | 15606 66779 202778 | 2147483647 133827 227 | 0.000 % |
124.26/124.45 c | 134062 | 15606 66779 202778 | 2147483647 134062 227 | 0.000 % |
124.66/124.83 c | 134318 | 15606 66779 202778 | 2147483647 134318 227 | 0.000 % |
125.06/125.21 c | 134602 | 15606 66779 202778 | 2147483647 134602 226 | 0.000 % |
125.46/125.60 c | 134914 | 15606 66779 202778 | 2147483647 134914 226 | 0.000 % |
125.86/126.05 c | 135253 | 15606 66779 202778 | 2147483647 135253 226 | 0.000 % |
126.36/126.54 c | 135626 | 15606 66779 202778 | 2147483647 135626 226 | 0.000 % |
126.96/127.11 c | 136035 | 15606 66779 202778 | 2147483647 136035 226 | 0.000 % |
127.46/127.65 c | 136484 | 15606 66779 202778 | 2147483647 136484 227 | 0.000 % |
128.16/128.30 c | 136979 | 15606 66779 202778 | 2147483647 136979 227 | 0.000 % |
128.86/129.01 c | 137522 | 15606 66779 202778 | 2147483647 137522 227 | 0.000 % |
129.56/129.79 c | 138119 | 15606 66779 202778 | 2147483647 138119 227 | 0.000 % |
130.45/130.63 c | 138776 | 15606 66779 202778 | 2147483647 138776 227 | 0.000 % |
131.36/131.58 c | 139497 | 15606 66779 202778 | 2147483647 139497 227 | 0.000 % |
132.46/132.64 c | 140289 | 15606 66779 202778 | 2147483647 140289 228 | 0.000 % |
133.55/133.72 c | 141160 | 15606 66779 202778 | 2147483647 141160 228 | 0.000 % |
134.75/134.94 c | 142120 | 15606 66779 202778 | 2147483647 142120 228 | 0.000 % |
136.05/136.29 c | 143173 | 15606 66779 202778 | 2147483647 143173 229 | 0.000 % |
137.56/137.75 c | 144332 | 15606 66779 202778 | 2147483647 144332 229 | 0.000 % |
139.15/139.39 c | 145605 | 15606 66779 202778 | 2147483647 145605 229 | 0.000 % |
140.95/141.12 c | 147005 | 15606 66779 202778 | 2147483647 147005 229 | 0.000 % |
142.86/143.09 c | 148546 | 15606 66779 202778 | 2147483647 148546 230 | 0.000 % |
143.05/143.28 c | 148647 | 15606 66779 202778 | 2147483647 148647 230 | 0.000 % |
143.25/143.46 c | 148757 | 15606 66779 202778 | 2147483647 148757 230 | 0.000 % |
143.45/143.66 c | 148878 | 15606 66779 202778 | 2147483647 148878 230 | 0.000 % |
143.65/143.88 c | 149013 | 15606 66779 202778 | 2147483647 149013 230 | 0.000 % |
143.96/144.12 c | 149159 | 15606 66779 202778 | 2147483647 149159 230 | 0.000 % |
144.15/144.37 c | 149320 | 15606 66779 202778 | 2147483647 149320 230 | 0.000 % |
144.45/144.66 c | 149496 | 15606 66779 202778 | 2147483647 149496 230 | 0.000 % |
144.75/144.91 c | 149689 | 15606 66779 202778 | 2147483647 149689 230 | 0.000 % |
144.95/145.19 c | 149903 | 15606 66779 202778 | 2147483647 149903 230 | 0.000 % |
145.35/145.52 c | 150136 | 15606 66779 202778 | 2147483647 150136 229 | 0.000 % |
145.65/145.88 c | 150392 | 15606 66779 202778 | 2147483647 150392 229 | 0.000 % |
146.06/146.25 c | 150673 | 15606 66779 202778 | 2147483647 150673 229 | 0.000 % |
146.45/146.68 c | 150983 | 15606 66779 202778 | 2147483647 150983 229 | 0.000 % |
146.95/147.18 c | 151323 | 15606 66779 202778 | 2147483647 151323 229 | 0.000 % |
147.55/147.72 c | 151695 | 15606 66779 202778 | 2147483647 151695 229 | 0.000 % |
148.15/148.31 c | 152105 | 15606 66779 202778 | 2147483647 152105 230 | 0.000 % |
148.75/148.90 c | 152555 | 15606 66779 202778 | 2147483647 152555 230 | 0.000 % |
149.45/149.62 c | 153049 | 15606 66779 202778 | 2147483647 153049 230 | 0.000 % |
150.24/150.43 c | 153591 | 15606 66779 202778 | 2147483647 153591 230 | 0.000 % |
151.15/151.30 c | 154189 | 15606 66779 202778 | 2147483647 154189 230 | 0.000 % |
151.95/152.16 c | 154844 | 15606 66779 202778 | 2147483647 154844 230 | 0.000 % |
152.94/153.18 c | 155564 | 15606 66779 202778 | 2147483647 155564 230 | 0.000 % |
154.14/154.37 c | 156358 | 15606 66779 202778 | 2147483647 156358 230 | 0.000 % |
155.34/155.56 c | 157229 | 15606 66779 202778 | 2147483647 157229 230 | 0.000 % |
156.64/156.89 c | 158187 | 15606 66779 202778 | 2147483647 158187 230 | 0.000 % |
158.15/158.31 c | 159240 | 15606 66779 202778 | 2147483647 159240 230 | 0.000 % |
159.74/159.90 c | 160398 | 15606 66779 202778 | 2147483647 160398 230 | 0.000 % |
161.44/161.61 c | 161671 | 15606 66779 202778 | 2147483647 161671 230 | 0.000 % |
163.34/163.56 c | 163071 | 15606 66779 202778 | 2147483647 163071 230 | 0.000 % |
165.63/165.84 c | 164613 | 15606 66779 202778 | 2147483647 164613 231 | 0.000 % |
167.94/168.17 c | 166307 | 15606 66779 202778 | 2147483647 166307 231 | 0.000 % |
168.14/168.33 c | 166407 | 15606 66779 202778 | 2147483647 166407 231 | 0.000 % |
168.34/168.51 c | 166517 | 15606 66779 202778 | 2147483647 166517 231 | 0.000 % |
168.54/168.73 c | 166638 | 15606 66779 202778 | 2147483647 166638 231 | 0.000 % |
168.74/168.94 c | 166771 | 15606 66779 202778 | 2147483647 166771 231 | 0.000 % |
168.94/169.19 c | 166919 | 15606 66779 202778 | 2147483647 166919 231 | 0.000 % |
169.24/169.47 c | 167081 | 15606 66779 202778 | 2147483647 167081 231 | 0.000 % |
169.54/169.77 c | 167257 | 15606 66779 202778 | 2147483647 167257 231 | 0.000 % |
169.84/170.09 c | 167450 | 15606 66779 202778 | 2147483647 167450 231 | 0.000 % |
170.24/170.43 c | 167662 | 15606 66779 202778 | 2147483647 167662 231 | 0.000 % |
170.53/170.78 c | 167896 | 15606 66779 202778 | 2147483647 167896 231 | 0.000 % |
170.93/171.18 c | 168152 | 15606 66779 202778 | 2147483647 168152 230 | 0.000 % |
171.44/171.65 c | 168434 | 15606 66779 202778 | 2147483647 168434 231 | 0.000 % |
171.93/172.12 c | 168744 | 15606 66779 202778 | 2147483647 168744 230 | 0.000 % |
172.43/172.61 c | 169083 | 15606 66779 202778 | 2147483647 169083 231 | 0.000 % |
172.93/173.17 c | 169455 | 15606 66779 202778 | 2147483647 169455 231 | 0.000 % |
173.63/173.85 c | 169864 | 15606 66779 202778 | 2147483647 169864 230 | 0.000 % |
174.33/174.53 c | 170313 | 15606 66779 202778 | 2147483647 170313 231 | 0.000 % |
175.04/175.23 c | 170806 | 15606 66779 202778 | 2147483647 170806 231 | 0.000 % |
175.84/176.04 c | 171350 | 15606 66779 202778 | 2147483647 171350 231 | 0.000 % |
176.63/176.87 c | 171946 | 15606 66779 202778 | 2147483647 171946 230 | 0.000 % |
177.63/177.87 c | 172602 | 15606 66779 202778 | 2147483647 172602 230 | 0.000 % |
178.73/178.91 c | 173323 | 15606 66779 202778 | 2147483647 173323 230 | 0.000 % |
179.82/180.04 c | 174116 | 15606 66779 202778 | 2147483647 174116 230 | 0.000 % |
181.13/181.35 c | 174987 | 15606 66779 202778 | 2147483647 174987 230 | 0.000 % |
182.63/182.80 c | 175945 | 15606 66779 202778 | 2147483647 175945 230 | 0.000 % |
184.02/184.30 c | 176999 | 15606 66779 202778 | 2147483647 176999 231 | 0.000 % |
185.83/186.04 c | 178157 | 15606 66779 202778 | 2147483647 178157 231 | 0.000 % |
187.72/187.93 c | 179430 | 15606 66779 202778 | 2147483647 179430 231 | 0.000 % |
189.82/190.03 c | 180831 | 15606 66779 202778 | 2147483647 180831 231 | 0.000 % |
192.12/192.36 c | 182372 | 15606 66779 202778 | 2147483647 182372 232 | 0.000 % |
194.62/194.81 c | 184067 | 15606 66779 202778 | 2147483647 184067 233 | 0.000 % |
197.32/197.50 c | 185931 | 15606 66779 202778 | 2147483647 185931 233 | 0.000 % |
197.52/197.70 c | 186031 | 15606 66779 202778 | 2147483647 186031 233 | 0.000 % |
197.72/197.94 c | 186141 | 15606 66779 202778 | 2147483647 186141 233 | 0.000 % |
197.92/198.15 c | 186262 | 15606 66779 202778 | 2147483647 186262 233 | 0.000 % |
198.12/198.39 c | 186395 | 15606 66779 202778 | 2147483647 186395 233 | 0.000 % |
198.42/198.64 c | 186542 | 15606 66779 202778 | 2147483647 186542 233 | 0.000 % |
198.72/198.97 c | 186705 | 15606 66779 202778 | 2147483647 186705 233 | 0.000 % |
199.11/199.30 c | 186882 | 15606 66779 202778 | 2147483647 186882 233 | 0.000 % |
199.41/199.64 c | 187075 | 15606 66779 202778 | 2147483647 187075 233 | 0.000 % |
199.81/200.03 c | 187288 | 15606 66779 202778 | 2147483647 187288 233 | 0.000 % |
200.21/200.42 c | 187521 | 15606 66779 202778 | 2147483647 187521 232 | 0.000 % |
200.61/200.89 c | 187777 | 15606 66779 202778 | 2147483647 187777 232 | 0.000 % |
201.12/201.31 c | 188060 | 15606 66779 202778 | 2147483647 188060 232 | 0.000 % |
201.61/201.87 c | 188369 | 15606 66779 202778 | 2147483647 188369 232 | 0.000 % |
202.21/202.44 c | 188708 | 15606 66779 202778 | 2147483647 188708 232 | 0.000 % |
202.82/203.03 c | 189081 | 15606 66779 202778 | 2147483647 189081 232 | 0.000 % |
203.52/203.72 c | 189493 | 15606 66779 202778 | 2147483647 189493 232 | 0.000 % |
204.21/204.42 c | 189942 | 15606 66779 202778 | 2147483647 189942 232 | 0.000 % |
204.91/205.18 c | 190436 | 15606 66779 202778 | 2147483647 190436 232 | 0.000 % |
205.81/206.05 c | 190980 | 15606 66779 202778 | 2147483647 190980 232 | 0.000 % |
206.71/206.97 c | 191577 | 15606 66779 202778 | 2147483647 191577 232 | 0.000 % |
207.81/208.00 c | 192232 | 15606 66779 202778 | 2147483647 192232 232 | 0.000 % |
208.91/209.16 c | 192953 | 15606 66779 202778 | 2147483647 192953 232 | 0.000 % |
210.31/210.51 c | 193746 | 15606 66779 202778 | 2147483647 193746 232 | 0.000 % |
211.70/211.91 c | 194617 | 15606 66779 202778 | 2147483647 194617 232 | 0.000 % |
213.01/213.26 c | 195575 | 15606 66779 202778 | 2147483647 195575 233 | 0.000 % |
214.61/214.87 c | 196629 | 15606 66779 202778 | 2147483647 196629 233 | 0.000 % |
216.41/216.61 c | 197787 | 15606 66779 202778 | 2147483647 197787 233 | 0.000 % |
218.31/218.53 c | 199060 | 15606 66779 202778 | 2147483647 199060 233 | 0.000 % |
220.61/220.80 c | 200460 | 15606 66779 202778 | 2147483647 200460 233 | 0.000 % |
222.90/223.19 c | 202000 | 15606 66779 202778 | 2147483647 202000 233 | 0.000 % |
225.71/225.91 c | 203696 | 15606 66779 202778 | 2147483647 203696 233 | 0.000 % |
228.50/228.75 c | 205559 | 15606 66779 202778 | 2147483647 205559 234 | 0.000 % |
231.70/231.96 c | 207608 | 15606 66779 202778 | 2147483647 207608 234 | 0.000 % |
231.91/232.14 c | 207709 | 15606 66779 202778 | 2147483647 207709 234 | 0.000 % |
232.10/232.37 c | 207825 | 15606 66779 202778 | 2147483647 207825 234 | 0.000 % |
232.40/232.61 c | 207948 | 15606 66779 202778 | 2147483647 207948 234 | 0.000 % |
232.60/232.87 c | 208082 | 15606 66779 202778 | 2147483647 208082 234 | 0.000 % |
232.90/233.17 c | 208229 | 15606 66779 202778 | 2147483647 208229 234 | 0.000 % |
233.20/233.46 c | 208391 | 15606 66779 202778 | 2147483647 208391 234 | 0.000 % |
233.50/233.78 c | 208567 | 15606 66779 202778 | 2147483647 208567 234 | 0.000 % |
233.90/234.18 c | 208762 | 15606 66779 202778 | 2147483647 208762 234 | 0.000 % |
234.30/234.56 c | 208976 | 15606 66779 202778 | 2147483647 208976 234 | 0.000 % |
234.80/235.03 c | 209209 | 15606 66779 202778 | 2147483647 209209 234 | 0.000 % |
235.30/235.51 c | 209465 | 15606 66779 202778 | 2147483647 209465 234 | 0.000 % |
235.80/236.03 c | 209746 | 15606 66779 202778 | 2147483647 209746 234 | 0.000 % |
236.31/236.55 c | 210056 | 15606 66779 202778 | 2147483647 210056 234 | 0.000 % |
236.90/237.16 c | 210395 | 15606 66779 202778 | 2147483647 210395 234 | 0.000 % |
237.50/237.79 c | 210767 | 15606 66779 202778 | 2147483647 210767 234 | 0.000 % |
238.19/238.46 c | 211177 | 15606 66779 202778 | 2147483647 211177 234 | 0.000 % |
238.89/239.18 c | 211627 | 15606 66779 202778 | 2147483647 211627 234 | 0.000 % |
239.79/240.05 c | 212120 | 15606 66779 202778 | 2147483647 212120 234 | 0.000 % |
240.79/241.01 c | 212662 | 15606 66779 202778 | 2147483647 212662 234 | 0.000 % |
241.79/242.05 c | 213258 | 15606 66779 202778 | 2147483647 213258 234 | 0.000 % |
242.99/243.23 c | 213917 | 15606 66779 202778 | 2147483647 213917 234 | 0.000 % |
244.09/244.38 c | 214638 | 15606 66779 202778 | 2147483647 214638 234 | 0.000 % |
245.38/245.67 c | 215430 | 15606 66779 202778 | 2147483647 215430 234 | 0.000 % |
246.79/247.01 c | 216301 | 15606 66779 202778 | 2147483647 216301 234 | 0.000 % |
248.39/248.62 c | 217260 | 15606 66779 202778 | 2147483647 217260 234 | 0.000 % |
250.19/250.44 c | 218316 | 15606 66779 202778 | 2147483647 218316 234 | 0.000 % |
252.08/252.36 c | 219475 | 15606 66779 202778 | 2147483647 219475 234 | 0.000 % |
254.18/254.46 c | 220749 | 15606 66779 202778 | 2147483647 220749 235 | 0.000 % |
256.59/256.83 c | 222149 | 15606 66779 202778 | 2147483647 222149 235 | 0.000 % |
259.08/259.34 c | 223689 | 15606 66779 202778 | 2147483647 223689 236 | 0.000 % |
261.98/262.20 c | 225383 | 15606 66779 202778 | 2147483647 225383 236 | 0.000 % |
264.98/265.25 c | 227246 | 15606 66779 202778 | 2147483647 227246 236 | 0.000 % |
268.48/268.78 c | 229297 | 15606 66779 202778 | 2147483647 229297 237 | 0.000 % |
272.37/272.66 c | 231550 | 15606 66779 202778 | 2147483647 231550 237 | 0.000 % |
272.67/272.92 c | 231650 | 15606 66779 202778 | 2147483647 231650 237 | 0.000 % |
272.87/273.15 c | 231762 | 15606 66779 202778 | 2147483647 231762 237 | 0.000 % |
273.17/273.45 c | 231884 | 15606 66779 202778 | 2147483647 231884 237 | 0.000 % |
273.47/273.71 c | 232017 | 15606 66779 202778 | 2147483647 232017 237 | 0.000 % |
273.77/274.05 c | 232165 | 15606 66779 202778 | 2147483647 232165 237 | 0.000 % |
274.18/274.41 c | 232325 | 15606 66779 202778 | 2147483647 232325 237 | 0.000 % |
274.48/274.73 c | 232501 | 15606 66779 202778 | 2147483647 232501 237 | 0.000 % |
274.88/275.15 c | 232694 | 15606 66779 202778 | 2147483647 232694 237 | 0.000 % |
275.28/275.58 c | 232908 | 15606 66779 202778 | 2147483647 232908 237 | 0.000 % |
275.78/276.07 c | 233141 | 15606 66779 202778 | 2147483647 233141 237 | 0.000 % |
276.27/276.58 c | 233398 | 15606 66779 202778 | 2147483647 233398 237 | 0.000 % |
276.77/277.06 c | 233679 | 15606 66779 202778 | 2147483647 233679 237 | 0.000 % |
277.37/277.60 c | 233989 | 15606 66779 202778 | 2147483647 233989 237 | 0.000 % |
277.97/278.28 c | 234328 | 15606 66779 202778 | 2147483647 234328 237 | 0.000 % |
278.67/278.98 c | 234700 | 15606 66779 202778 | 2147483647 234700 237 | 0.000 % |
279.47/279.77 c | 235110 | 15606 66779 202778 | 2147483647 235110 237 | 0.000 % |
280.27/280.59 c | 235559 | 15606 66779 202778 | 2147483647 235559 237 | 0.000 % |
281.28/281.56 c | 236053 | 15606 66779 202778 | 2147483647 236053 237 | 0.000 % |
282.27/282.57 c | 236597 | 15606 66779 202778 | 2147483647 236597 237 | 0.000 % |
283.37/283.65 c | 237194 | 15606 66779 202778 | 2147483647 237194 237 | 0.000 % |
284.57/284.80 c | 237849 | 15606 66779 202778 | 2147483647 237849 237 | 0.000 % |
285.86/286.15 c | 238570 | 15606 66779 202778 | 2147483647 238570 237 | 0.000 % |
287.37/287.63 c | 239363 | 15606 66779 202778 | 2147483647 239363 237 | 0.000 % |
288.86/289.10 c | 240234 | 15606 66779 202778 | 2147483647 240234 237 | 0.000 % |
290.46/290.74 c | 241192 | 15606 66779 202778 | 2147483647 241192 237 | 0.000 % |
292.36/292.61 c | 242246 | 15606 66779 202778 | 2147483647 242246 238 | 0.000 % |
294.36/294.68 c | 243406 | 15606 66779 202778 | 2147483647 243406 238 | 0.000 % |
296.55/296.85 c | 244679 | 15606 66779 202778 | 2147483647 244679 238 | 0.000 % |
299.06/299.37 c | 246080 | 15606 66779 202778 | 2147483647 246080 238 | 0.000 % |
301.86/302.19 c | 247621 | 15606 66779 202778 | 2147483647 247621 238 | 0.000 % |
305.06/305.32 c | 249315 | 15606 66779 202778 | 2147483647 249315 239 | 0.000 % |
308.35/308.68 c | 251178 | 15606 66779 202778 | 2147483647 251178 239 | 0.000 % |
312.06/312.33 c | 253229 | 15606 66779 202778 | 2147483647 253229 239 | 0.000 % |
315.95/316.24 c | 255482 | 15606 66779 202778 | 2147483647 255482 239 | 0.000 % |
320.45/320.71 c | 257960 | 15606 66779 202778 | 2147483647 257960 240 | 0.000 % |
320.65/320.91 c | 258065 | 15606 66779 202778 | 2147483647 258065 240 | 0.000 % |
320.86/321.20 c | 258177 | 15606 66779 202778 | 2147483647 258177 240 | 0.000 % |
321.15/321.49 c | 258298 | 15606 66779 202778 | 2147483647 258298 240 | 0.000 % |
321.45/321.77 c | 258433 | 15606 66779 202778 | 2147483647 258433 240 | 0.000 % |
321.75/322.09 c | 258579 | 15606 66779 202778 | 2147483647 258579 240 | 0.000 % |
322.15/322.47 c | 258739 | 15606 66779 202778 | 2147483647 258739 240 | 0.000 % |
322.55/322.84 c | 258916 | 15606 66779 202778 | 2147483647 258916 240 | 0.000 % |
322.95/323.28 c | 259110 | 15606 66779 202778 | 2147483647 259110 240 | 0.000 % |
323.44/323.76 c | 259322 | 15606 66779 202778 | 2147483647 259322 240 | 0.000 % |
323.94/324.28 c | 259555 | 15606 66779 202778 | 2147483647 259555 240 | 0.000 % |
324.55/324.84 c | 259811 | 15606 66779 202778 | 2147483647 259811 240 | 0.000 % |
325.15/325.44 c | 260093 | 15606 66779 202778 | 2147483647 260093 240 | 0.000 % |
325.85/326.13 c | 260403 | 15606 66779 202778 | 2147483647 260403 239 | 0.000 % |
326.65/326.90 c | 260745 | 15606 66779 202778 | 2147483647 260745 239 | 0.000 % |
327.35/327.68 c | 261120 | 15606 66779 202778 | 2147483647 261120 239 | 0.000 % |
328.24/328.57 c | 261529 | 15606 66779 202778 | 2147483647 261529 239 | 0.000 % |
329.24/329.54 c | 261979 | 15606 66779 202778 | 2147483647 261979 239 | 0.000 % |
330.24/330.50 c | 262474 | 15606 66779 202778 | 2147483647 262474 239 | 0.000 % |
331.13/331.49 c | 263017 | 15606 66779 202778 | 2147483647 263017 239 | 0.000 % |
332.43/332.75 c | 263614 | 15606 66779 202778 | 2147483647 263614 240 | 0.000 % |
333.64/333.90 c | 264271 | 15606 66779 202778 | 2147483647 264271 240 | 0.000 % |
334.94/335.29 c | 264991 | 15606 66779 202778 | 2147483647 264991 240 | 0.000 % |
336.43/336.76 c | 265783 | 15606 66779 202778 | 2147483647 265783 240 | 0.000 % |
338.13/338.45 c | 266655 | 15606 66779 202778 | 2147483647 266655 240 | 0.000 % |
339.93/340.24 c | 267614 | 15606 66779 202778 | 2147483647 267614 240 | 0.000 % |
341.74/342.04 c | 268669 | 15606 66779 202778 | 2147483647 268669 240 | 0.000 % |
343.83/344.19 c | 269827 | 15606 66779 202778 | 2147483647 269827 240 | 0.000 % |
346.23/346.54 c | 271100 | 15606 66779 202778 | 2147483647 271100 240 | 0.000 % |
349.03/349.36 c | 272501 | 15606 66779 202778 | 2147483647 272501 240 | 0.000 % |
352.02/352.37 c | 274042 | 15606 66779 202778 | 2147483647 274042 240 | 0.000 % |
355.23/355.53 c | 275738 | 15606 66779 202778 | 2147483647 275738 240 | 0.000 % |
358.62/358.95 c | 277601 | 15606 66779 202778 | 2147483647 277601 240 | 0.000 % |
362.52/362.84 c | 279650 | 15606 66779 202778 | 2147483647 279650 241 | 0.000 % |
366.72/367.05 c | 281903 | 15606 66779 202778 | 2147483647 281903 242 | 0.000 % |
371.52/371.87 c | 284381 | 15606 66779 202778 | 2147483647 284381 243 | 0.000 % |
376.61/376.97 c | 287106 | 15606 66779 202778 | 2147483647 287106 243 | 0.000 % |
376.92/377.20 c | 287206 | 15606 66779 202778 | 2147483647 287206 243 | 0.000 % |
377.11/377.49 c | 287317 | 15606 66779 202778 | 2147483647 287317 243 | 0.000 % |
377.41/377.77 c | 287439 | 15606 66779 202778 | 2147483647 287439 242 | 0.000 % |
377.81/378.11 c | 287572 | 15606 66779 202778 | 2147483647 287572 243 | 0.000 % |
378.12/378.49 c | 287719 | 15606 66779 202778 | 2147483647 287719 242 | 0.000 % |
378.61/378.90 c | 287880 | 15606 66779 202778 | 2147483647 287880 242 | 0.000 % |
379.01/379.33 c | 288057 | 15606 66779 202778 | 2147483647 288057 242 | 0.000 % |
379.51/379.83 c | 288251 | 15606 66779 202778 | 2147483647 288251 242 | 0.000 % |
380.01/380.35 c | 288464 | 15606 66779 202778 | 2147483647 288464 242 | 0.000 % |
380.60/380.97 c | 288698 | 15606 66779 202778 | 2147483647 288698 242 | 0.000 % |
381.31/381.62 c | 288954 | 15606 66779 202778 | 2147483647 288954 242 | 0.000 % |
381.90/382.25 c | 289235 | 15606 66779 202778 | 2147483647 289235 242 | 0.000 % |
382.60/382.94 c | 289544 | 15606 66779 202778 | 2147483647 289544 242 | 0.000 % |
383.30/383.69 c | 289885 | 15606 66779 202778 | 2147483647 289885 242 | 0.000 % |
384.21/384.52 c | 290257 | 15606 66779 202778 | 2147483647 290257 242 | 0.000 % |
385.01/385.37 c | 290666 | 15606 66779 202778 | 2147483647 290666 242 | 0.000 % |
386.11/386.41 c | 291115 | 15606 66779 202778 | 2147483647 291115 242 | 0.000 % |
387.10/387.42 c | 291608 | 15606 66779 202778 | 2147483647 291608 242 | 0.000 % |
388.20/388.60 c | 292150 | 15606 66779 202778 | 2147483647 292150 242 | 0.000 % |
389.50/389.84 c | 292746 | 15606 66779 202778 | 2147483647 292746 242 | 0.000 % |
390.81/391.14 c | 293401 | 15606 66779 202778 | 2147483647 293401 242 | 0.000 % |
392.31/392.67 c | 294122 | 15606 66779 202778 | 2147483647 294122 242 | 0.000 % |
394.00/394.38 c | 294918 | 15606 66779 202778 | 2147483647 294918 242 | 0.000 % |
395.80/396.12 c | 295793 | 15606 66779 202778 | 2147483647 295793 242 | 0.000 % |
397.70/398.01 c | 296751 | 15606 66779 202778 | 2147483647 296751 242 | 0.000 % |
399.70/400.05 c | 297804 | 15606 66779 202778 | 2147483647 297804 242 | 0.000 % |
402.00/402.40 c | 298963 | 15606 66779 202778 | 2147483647 298963 242 | 0.000 % |
404.60/404.99 c | 300237 | 15606 66779 202778 | 2147483647 300237 243 | 0.000 % |
407.50/407.80 c | 301638 | 15606 66779 202778 | 2147483647 301638 243 | 0.000 % |
410.50/410.87 c | 303179 | 15606 66779 202778 | 2147483647 303179 243 | 0.000 % |
413.69/414.06 c | 304875 | 15606 66779 202778 | 2147483647 304875 243 | 0.000 % |
417.60/417.90 c | 306740 | 15606 66779 202778 | 2147483647 306740 243 | 0.000 % |
421.49/421.87 c | 308789 | 15606 66779 202778 | 2147483647 308789 244 | 0.000 % |
426.08/426.47 c | 311042 | 15606 66779 202778 | 2147483647 311042 244 | 0.000 % |
431.37/431.74 c | 313520 | 15606 66779 202778 | 2147483647 313520 244 | 0.000 % |
437.17/437.52 c | 316245 | 15606 66779 202778 | 2147483647 316245 245 | 0.000 % |
443.27/443.66 c | 319242 | 15606 66779 202778 | 2147483647 319242 246 | 0.000 % |
443.57/443.96 c | 319343 | 15606 66779 202778 | 2147483647 319343 246 | 0.000 % |
443.87/444.26 c | 319453 | 15606 66779 202778 | 2147483647 319453 246 | 0.000 % |
444.27/444.61 c | 319575 | 15606 66779 202778 | 2147483647 319575 246 | 0.000 % |
444.57/444.97 c | 319710 | 15606 66779 202778 | 2147483647 319710 246 | 0.000 % |
444.97/445.38 c | 319857 | 15606 66779 202778 | 2147483647 319857 246 | 0.000 % |
445.37/445.77 c | 320017 | 15606 66779 202778 | 2147483647 320017 246 | 0.000 % |
445.87/446.26 c | 320193 | 15606 66779 202778 | 2147483647 320193 246 | 0.000 % |
446.37/446.77 c | 320387 | 15606 66779 202778 | 2147483647 320387 246 | 0.000 % |
446.87/447.29 c | 320599 | 15606 66779 202778 | 2147483647 320599 246 | 0.000 % |
447.57/447.90 c | 320833 | 15606 66779 202778 | 2147483647 320833 245 | 0.000 % |
448.17/448.54 c | 321089 | 15606 66779 202778 | 2147483647 321089 245 | 0.000 % |
448.97/449.31 c | 321371 | 15606 66779 202778 | 2147483647 321371 245 | 0.000 % |
449.67/450.05 c | 321683 | 15606 66779 202778 | 2147483647 321683 245 | 0.000 % |
450.47/450.89 c | 322022 | 15606 66779 202778 | 2147483647 322022 245 | 0.000 % |
451.37/451.78 c | 322395 | 15606 66779 202778 | 2147483647 322395 245 | 0.000 % |
452.37/452.77 c | 322807 | 15606 66779 202778 | 2147483647 322807 246 | 0.000 % |
453.37/453.75 c | 323257 | 15606 66779 202778 | 2147483647 323257 246 | 0.000 % |
454.37/454.78 c | 323750 | 15606 66779 202778 | 2147483647 323750 246 | 0.000 % |
455.57/455.96 c | 324292 | 15606 66779 202778 | 2147483647 324292 246 | 0.000 % |
456.86/457.27 c | 324889 | 15606 66779 202778 | 2147483647 324889 245 | 0.000 % |
458.36/458.74 c | 325544 | 15606 66779 202778 | 2147483647 325544 245 | 0.000 % |
459.97/460.37 c | 326264 | 15606 66779 202778 | 2147483647 326264 245 | 0.000 % |
461.77/462.12 c | 327058 | 15606 66779 202778 | 2147483647 327058 245 | 0.000 % |
463.77/464.13 c | 327931 | 15606 66779 202778 | 2147483647 327931 245 | 0.000 % |
465.86/466.28 c | 328891 | 15606 66779 202778 | 2147483647 328891 245 | 0.000 % |
468.25/468.60 c | 329944 | 15606 66779 202778 | 2147483647 329944 245 | 0.000 % |
470.84/471.24 c | 331102 | 15606 66779 202778 | 2147483647 331102 245 | 0.000 % |
473.55/473.98 c | 332376 | 15606 66779 202778 | 2147483647 332376 246 | 0.000 % |
476.74/477.12 c | 333776 | 15606 66779 202778 | 2147483647 333776 246 | 0.000 % |
479.95/480.35 c | 335316 | 15606 66779 202778 | 2147483647 335316 246 | 0.000 % |
483.34/483.73 c | 337014 | 15606 66779 202778 | 2147483647 337014 246 | 0.000 % |
487.54/487.97 c | 338877 | 15606 66779 202778 | 2147483647 338877 246 | 0.000 % |
491.94/492.38 c | 340926 | 15606 66779 202778 | 2147483647 340926 246 | 0.000 % |
496.85/497.28 c | 343179 | 15606 66779 202778 | 2147483647 343179 247 | 0.000 % |
502.64/503.08 c | 345662 | 15606 66779 202778 | 2147483647 345662 247 | 0.000 % |
508.74/509.17 c | 348387 | 15606 66779 202778 | 2147483647 348387 247 | 0.000 % |
515.32/515.78 c | 351385 | 15606 66779 202778 | 2147483647 351385 247 | 0.000 % |
522.72/523.11 c | 354682 | 15606 66779 202778 | 2147483647 354682 248 | 0.000 % |
523.02/523.40 c | 354783 | 15606 66779 202778 | 2147483647 354783 248 | 0.000 % |
523.32/523.71 c | 354895 | 15606 66779 202778 | 2147483647 354895 248 | 0.000 % |
523.62/524.08 c | 355016 | 15606 66779 202778 | 2147483647 355016 248 | 0.000 % |
524.02/524.48 c | 355149 | 15606 66779 202778 | 2147483647 355149 248 | 0.000 % |
524.42/524.85 c | 355296 | 15606 66779 202778 | 2147483647 355296 248 | 0.000 % |
524.92/525.31 c | 355457 | 15606 66779 202778 | 2147483647 355457 248 | 0.000 % |
525.42/525.83 c | 355634 | 15606 66779 202778 | 2147483647 355634 248 | 0.000 % |
525.92/526.37 c | 355827 | 15606 66779 202778 | 2147483647 355827 248 | 0.000 % |
526.61/527.00 c | 356039 | 15606 66779 202778 | 2147483647 356039 247 | 0.000 % |
527.21/527.66 c | 356272 | 15606 66779 202778 | 2147483647 356272 247 | 0.000 % |
527.92/528.35 c | 356528 | 15606 66779 202778 | 2147483647 356528 247 | 0.000 % |
528.72/529.16 c | 356811 | 15606 66779 202778 | 2147483647 356811 247 | 0.000 % |
529.52/529.94 c | 357120 | 15606 66779 202778 | 2147483647 357120 247 | 0.000 % |
530.42/530.84 c | 357461 | 15606 66779 202778 | 2147483647 357461 247 | 0.000 % |
531.42/531.81 c | 357834 | 15606 66779 202778 | 2147483647 357834 247 | 0.000 % |
532.42/532.84 c | 358243 | 15606 66779 202778 | 2147483647 358243 247 | 0.000 % |
533.62/534.03 c | 358692 | 15606 66779 202778 | 2147483647 358692 247 | 0.000 % |
534.81/535.24 c | 359187 | 15606 66779 202778 | 2147483647 359187 247 | 0.000 % |
536.11/536.58 c | 359729 | 15606 66779 202778 | 2147483647 359729 247 | 0.000 % |
537.52/537.98 c | 360326 | 15606 66779 202778 | 2147483647 360326 247 | 0.000 % |
539.22/539.64 c | 360981 | 15606 66779 202778 | 2147483647 360981 247 | 0.000 % |
540.92/541.39 c | 361701 | 15606 66779 202778 | 2147483647 361701 247 | 0.000 % |
542.81/543.24 c | 362493 | 15606 66779 202778 | 2147483647 362493 247 | 0.000 % |
545.01/545.45 c | 363364 | 15606 66779 202778 | 2147483647 363364 247 | 0.000 % |
547.31/547.79 c | 364322 | 15606 66779 202778 | 2147483647 364322 248 | 0.000 % |
549.91/550.33 c | 365377 | 15606 66779 202778 | 2147483647 365377 248 | 0.000 % |
552.61/553.04 c | 366536 | 15606 66779 202778 | 2147483647 366536 248 | 0.000 % |
555.70/556.18 c | 367809 | 15606 66779 202778 | 2147483647 367809 248 | 0.000 % |
559.10/559.54 c | 369210 | 15606 66779 202778 | 2147483647 369210 248 | 0.000 % |
562.80/563.28 c | 370750 | 15606 66779 202778 | 2147483647 370750 248 | 0.000 % |
566.59/567.08 c | 372444 | 15606 66779 202778 | 2147483647 372444 248 | 0.000 % |
570.89/571.30 c | 374309 | 15606 66779 202778 | 2147483647 374309 248 | 0.000 % |
575.69/576.11 c | 376358 | 15606 66779 202778 | 2147483647 376358 248 | 0.000 % |
580.59/581.01 c | 378612 | 15606 66779 202778 | 2147483647 378612 249 | 0.000 % |
586.69/587.12 c | 381091 | 15606 66779 202778 | 2147483647 381091 249 | 0.000 % |
593.38/593.83 c | 383816 | 15606 66779 202778 | 2147483647 383816 249 | 0.000 % |
600.48/600.97 c | 386813 | 15606 66779 202778 | 2147483647 386813 249 | 0.000 % |
608.27/608.72 c | 390110 | 15606 66779 202778 | 2147483647 390110 250 | 0.000 % |
617.27/617.71 c | 393735 | 15606 66779 202778 | 2147483647 393735 250 | 0.000 % |
617.57/618.04 c | 393835 | 15606 66779 202778 | 2147483647 393835 250 | 0.000 % |
617.87/618.38 c | 393945 | 15606 66779 202778 | 2147483647 393945 250 | 0.000 % |
618.27/618.77 c | 394067 | 15606 66779 202778 | 2147483647 394067 250 | 0.000 % |
618.77/619.26 c | 394200 | 15606 66779 202778 | 2147483647 394200 250 | 0.000 % |
619.17/619.64 c | 394346 | 15606 66779 202778 | 2147483647 394346 250 | 0.000 % |
619.57/620.07 c | 394508 | 15606 66779 202778 | 2147483647 394508 250 | 0.000 % |
620.16/620.65 c | 394685 | 15606 66779 202778 | 2147483647 394685 250 | 0.000 % |
620.67/621.16 c | 394878 | 15606 66779 202778 | 2147483647 394878 250 | 0.000 % |
621.27/621.79 c | 395090 | 15606 66779 202778 | 2147483647 395090 250 | 0.000 % |
622.07/622.55 c | 395323 | 15606 66779 202778 | 2147483647 395323 250 | 0.000 % |
622.77/623.25 c | 395579 | 15606 66779 202778 | 2147483647 395579 250 | 0.000 % |
623.67/624.10 c | 395860 | 15606 66779 202778 | 2147483647 395860 250 | 0.000 % |
624.57/625.00 c | 396169 | 15606 66779 202778 | 2147483647 396169 250 | 0.000 % |
625.47/625.93 c | 396508 | 15606 66779 202778 | 2147483647 396508 250 | 0.000 % |
626.57/627.04 c | 396881 | 15606 66779 202778 | 2147483647 396881 250 | 0.000 % |
627.67/628.19 c | 397291 | 15606 66779 202778 | 2147483647 397291 250 | 0.000 % |
628.97/629.49 c | 397741 | 15606 66779 202778 | 2147483647 397741 250 | 0.000 % |
630.57/631.09 c | 398236 | 15606 66779 202778 | 2147483647 398236 250 | 0.000 % |
632.17/632.64 c | 398780 | 15606 66779 202778 | 2147483647 398780 249 | 0.000 % |
633.66/634.18 c | 399379 | 15606 66779 202778 | 2147483647 399379 250 | 0.000 % |
635.46/635.94 c | 400035 | 15606 66779 202778 | 2147483647 400035 250 | 0.000 % |
637.37/637.87 c | 400755 | 15606 66779 202778 | 2147483647 400755 250 | 0.000 % |
639.37/639.82 c | 401549 | 15606 66779 202778 | 2147483647 401549 250 | 0.000 % |
641.66/642.17 c | 402421 | 15606 66779 202778 | 2147483647 402421 250 | 0.000 % |
644.06/644.56 c | 403379 | 15606 66779 202778 | 2147483647 403379 250 | 0.000 % |
646.76/647.24 c | 404432 | 15606 66779 202778 | 2147483647 404432 250 | 0.000 % |
649.85/650.37 c | 405590 | 15606 66779 202778 | 2147483647 405590 250 | 0.000 % |
653.26/653.72 c | 406863 | 15606 66779 202778 | 2147483647 406863 250 | 0.000 % |
656.75/657.26 c | 408263 | 15606 66779 202778 | 2147483647 408263 250 | 0.000 % |
660.45/661.00 c | 409804 | 15606 66779 202778 | 2147483647 409804 250 | 0.000 % |
665.05/665.52 c | 411500 | 15606 66779 202778 | 2147483647 411500 250 | 0.000 % |
669.94/670.42 c | 413363 | 15606 66779 202778 | 2147483647 413363 250 | 0.000 % |
675.14/675.64 c | 415413 | 15606 66779 202778 | 2147483647 415413 251 | 0.000 % |
680.74/681.20 c | 417669 | 15606 66779 202778 | 2147483647 417669 251 | 0.000 % |
686.74/687.26 c | 420147 | 15606 66779 202778 | 2147483647 420147 251 | 0.000 % |
693.53/694.10 c | 422872 | 15606 66779 202778 | 2147483647 422872 251 | 0.000 % |
700.93/701.47 c | 425872 | 15606 66779 202778 | 2147483647 425872 252 | 0.000 % |
709.13/709.63 c | 429168 | 15606 66779 202778 | 2147483647 429168 253 | 0.000 % |
718.52/719.01 c | 432794 | 15606 66779 202778 | 2147483647 432794 253 | 0.000 % |
728.61/729.13 c | 436781 | 15606 66779 202778 | 2147483647 436781 254 | 0.000 % |
729.02/729.52 c | 436888 | 15606 66779 202778 | 2147483647 436888 254 | 0.000 % |
729.42/729.93 c | 437000 | 15606 66779 202778 | 2147483647 437000 254 | 0.000 % |
729.92/730.41 c | 437121 | 15606 66779 202778 | 2147483647 437121 254 | 0.000 % |
730.42/730.91 c | 437256 | 15606 66779 202778 | 2147483647 437256 254 | 0.000 % |
730.92/731.43 c | 437404 | 15606 66779 202778 | 2147483647 437404 254 | 0.000 % |
731.52/732.01 c | 437565 | 15606 66779 202778 | 2147483647 437565 254 | 0.000 % |
732.12/732.70 c | 437743 | 15606 66779 202778 | 2147483647 437743 254 | 0.000 % |
732.82/733.34 c | 437937 | 15606 66779 202778 | 2147483647 437937 254 | 0.000 % |
733.61/734.11 c | 438151 | 15606 66779 202778 | 2147483647 438151 254 | 0.000 % |
734.32/734.84 c | 438385 | 15606 66779 202778 | 2147483647 438385 254 | 0.000 % |
735.11/735.66 c | 438642 | 15606 66779 202778 | 2147483647 438642 254 | 0.000 % |
736.01/736.51 c | 438923 | 15606 66779 202778 | 2147483647 438923 254 | 0.000 % |
736.91/737.48 c | 439232 | 15606 66779 202778 | 2147483647 439232 254 | 0.000 % |
738.01/738.53 c | 439574 | 15606 66779 202778 | 2147483647 439574 254 | 0.000 % |
739.20/739.79 c | 439946 | 15606 66779 202778 | 2147483647 439946 254 | 0.000 % |
740.50/741.00 c | 440355 | 15606 66779 202778 | 2147483647 440355 254 | 0.000 % |
741.91/742.46 c | 440806 | 15606 66779 202778 | 2147483647 440806 254 | 0.000 % |
743.41/743.98 c | 441299 | 15606 66779 202778 | 2147483647 441299 254 | 0.000 % |
744.90/745.48 c | 441842 | 15606 66779 202778 | 2147483647 441842 254 | 0.000 % |
746.70/747.25 c | 442439 | 15606 66779 202778 | 2147483647 442439 254 | 0.000 % |
748.50/749.09 c | 443094 | 15606 66779 202778 | 2147483647 443094 254 | 0.000 % |
750.60/751.17 c | 443816 | 15606 66779 202778 | 2147483647 443816 254 | 0.000 % |
752.90/753.40 c | 444611 | 15606 66779 202778 | 2147483647 444611 254 | 0.000 % |
755.30/755.83 c | 445482 | 15606 66779 202778 | 2147483647 445482 254 | 0.000 % |
757.99/758.55 c | 446441 | 15606 66779 202778 | 2147483647 446441 253 | 0.000 % |
760.89/761.45 c | 447494 | 15606 66779 202778 | 2147483647 447494 253 | 0.000 % |
764.00/764.51 c | 448654 | 15606 66779 202778 | 2147483647 448654 253 | 0.000 % |
767.59/768.17 c | 449928 | 15606 66779 202778 | 2147483647 449928 253 | 0.000 % |
771.60/772.12 c | 451330 | 15606 66779 202778 | 2147483647 451330 254 | 0.000 % |
776.00/776.53 c | 452871 | 15606 66779 202778 | 2147483647 452871 254 | 0.000 % |
780.58/781.12 c | 454568 | 15606 66779 202778 | 2147483647 454568 254 | 0.000 % |
785.86/786.42 c | 456432 | 15606 66779 202778 | 2147483647 456432 254 | 0.000 % |
790.85/791.47 c | 458484 | 15606 66779 202778 | 2147483647 458484 254 | 0.000 % |
797.05/797.65 c | 460737 | 15606 66779 202778 | 2147483647 460737 254 | 0.000 % |
803.64/804.29 c | 463218 | 15606 66779 202778 | 2147483647 463218 254 | 0.000 % |
810.35/810.94 c | 465944 | 15606 66779 202778 | 2147483647 465944 254 | 0.000 % |
818.35/818.90 c | 468941 | 15606 66779 202778 | 2147483647 468941 254 | 0.000 % |
826.33/826.98 c | 472239 | 15606 66779 202778 | 2147483647 472239 255 | 0.000 % |
836.22/836.89 c | 475866 | 15606 66779 202778 | 2147483647 475866 255 | 0.000 % |
847.12/847.78 c | 479855 | 15606 66779 202778 | 2147483647 479855 256 | 0.000 % |
859.41/860.03 c | 484241 | 15606 66779 202778 | 2147483647 484241 256 | 0.000 % |
859.71/860.35 c | 484341 | 15606 66779 202778 | 2147483647 484341 256 | 0.000 % |
860.11/860.79 c | 484452 | 15606 66779 202778 | 2147483647 484452 256 | 0.000 % |
860.71/861.31 c | 484573 | 15606 66779 202778 | 2147483647 484573 256 | 0.000 % |
861.21/861.86 c | 484707 | 15606 66779 202778 | 2147483647 484707 256 | 0.000 % |
861.81/862.42 c | 484855 | 15606 66779 202778 | 2147483647 484855 256 | 0.000 % |
862.40/863.03 c | 485015 | 15606 66779 202778 | 2147483647 485015 256 | 0.000 % |
863.10/863.72 c | 485193 | 15606 66779 202778 | 2147483647 485193 256 | 0.000 % |
863.81/864.46 c | 485386 | 15606 66779 202778 | 2147483647 485386 256 | 0.000 % |
864.61/865.23 c | 485598 | 15606 66779 202778 | 2147483647 485598 256 | 0.000 % |
865.51/866.13 c | 485832 | 15606 66779 202778 | 2147483647 485832 256 | 0.000 % |
866.41/867.08 c | 486090 | 15606 66779 202778 | 2147483647 486090 256 | 0.000 % |
867.51/868.18 c | 486371 | 15606 66779 202778 | 2147483647 486371 256 | 0.000 % |
868.61/869.25 c | 486680 | 15606 66779 202778 | 2147483647 486680 256 | 0.000 % |
869.80/870.41 c | 487022 | 15606 66779 202778 | 2147483647 487022 256 | 0.000 % |
871.10/871.76 c | 487396 | 15606 66779 202778 | 2147483647 487396 256 | 0.000 % |
872.40/873.06 c | 487806 | 15606 66779 202778 | 2147483647 487806 256 | 0.000 % |
873.80/874.42 c | 488255 | 15606 66779 202778 | 2147483647 488255 256 | 0.000 % |
875.29/875.93 c | 488748 | 15606 66779 202778 | 2147483647 488748 256 | 0.000 % |
876.89/877.59 c | 489290 | 15606 66779 202778 | 2147483647 489290 256 | 0.000 % |
878.89/879.51 c | 489886 | 15606 66779 202778 | 2147483647 489886 256 | 0.000 % |
880.79/881.48 c | 490541 | 15606 66779 202778 | 2147483647 490541 256 | 0.000 % |
883.09/883.74 c | 491261 | 15606 66779 202778 | 2147483647 491261 256 | 0.000 % |
885.59/886.29 c | 492055 | 15606 66779 202778 | 2147483647 492055 256 | 0.000 % |
888.39/889.07 c | 492928 | 15606 66779 202778 | 2147483647 492928 256 | 0.000 % |
891.28/891.95 c | 493886 | 15606 66779 202778 | 2147483647 493886 256 | 0.000 % |
894.29/894.93 c | 494943 | 15606 66779 202778 | 2147483647 494943 256 | 0.000 % |
897.79/898.48 c | 496101 | 15606 66779 202778 | 2147483647 496101 256 | 0.000 % |
901.68/902.36 c | 497376 | 15606 66779 202778 | 2147483647 497376 256 | 0.000 % |
905.79/906.47 c | 498778 | 15606 66779 202778 | 2147483647 498778 256 | 0.000 % |
910.38/911.02 c | 500319 | 15606 66779 202778 | 2147483647 500319 256 | 0.000 % |
915.48/916.15 c | 502013 | 15606 66779 202778 | 2147483647 502013 256 | 0.000 % |
921.08/921.78 c | 503877 | 15606 66779 202778 | 2147483647 503877 256 | 0.000 % |
927.07/927.76 c | 505927 | 15606 66779 202778 | 2147483647 505927 256 | 0.000 % |
933.77/934.47 c | 508184 | 15606 66779 202778 | 2147483647 508184 256 | 0.000 % |
940.76/941.47 c | 510663 | 15606 66779 202778 | 2147483647 510663 256 | 0.000 % |
949.17/949.82 c | 513389 | 15606 66779 202778 | 2147483647 513389 257 | 0.000 % |
958.16/958.87 c | 516387 | 15606 66779 202778 | 2147483647 516387 257 | 0.000 % |
967.75/968.48 c | 519683 | 15606 66779 202778 | 2147483647 519683 257 | 0.000 % |
978.85/979.51 c | 523308 | 15606 66779 202778 | 2147483647 523308 257 | 0.000 % |
990.34/991.03 c | 527295 | 15606 66779 202778 | 2147483647 527295 257 | 0.000 % |
1003.24/1003.92 c | 531680 | 15606 66779 202778 | 2147483647 531680 258 | 0.000 % |
1017.03/1017.76 c | 536505 | 15606 66779 202778 | 2147483647 536505 258 | 0.000 % |
1017.63/1018.32 c | 536605 | 15606 66779 202778 | 2147483647 536605 258 | 0.000 % |
1018.02/1018.77 c | 536715 | 15606 66779 202778 | 2147483647 536715 258 | 0.000 % |
1018.52/1019.28 c | 536836 | 15606 66779 202778 | 2147483647 536836 258 | 0.000 % |
1019.12/1019.81 c | 536970 | 15606 66779 202778 | 2147483647 536970 258 | 0.000 % |
1019.82/1020.53 c | 537116 | 15606 66779 202778 | 2147483647 537116 258 | 0.000 % |
1020.52/1021.20 c | 537277 | 15606 66779 202778 | 2147483647 537277 258 | 0.000 % |
1021.23/1021.97 c | 537453 | 15606 66779 202778 | 2147483647 537453 258 | 0.000 % |
1022.02/1022.76 c | 537647 | 15606 66779 202778 | 2147483647 537647 258 | 0.000 % |
1022.82/1023.56 c | 537861 | 15606 66779 202778 | 2147483647 537861 258 | 0.000 % |
1023.62/1024.39 c | 538094 | 15606 66779 202778 | 2147483647 538094 258 | 0.000 % |
1024.72/1025.46 c | 538351 | 15606 66779 202778 | 2147483647 538351 258 | 0.000 % |
1025.92/1026.67 c | 538634 | 15606 66779 202778 | 2147483647 538634 258 | 0.000 % |
1027.12/1027.86 c | 538943 | 15606 66779 202778 | 2147483647 538943 258 | 0.000 % |
1028.42/1029.17 c | 539284 | 15606 66779 202778 | 2147483647 539284 258 | 0.000 % |
1029.72/1030.46 c | 539656 | 15606 66779 202778 | 2147483647 539656 258 | 0.000 % |
1031.22/1031.90 c | 540065 | 15606 66779 202778 | 2147483647 540065 258 | 0.000 % |
1032.92/1033.63 c | 540514 | 15606 66779 202778 | 2147483647 540514 258 | 0.000 % |
1034.82/1035.59 c | 541008 | 15606 66779 202778 | 2147483647 541008 257 | 0.000 % |
1036.81/1037.59 c | 541552 | 15606 66779 202778 | 2147483647 541552 257 | 0.000 % |
1039.21/1039.93 c | 542148 | 15606 66779 202778 | 2147483647 542148 257 | 0.000 % |
1041.51/1042.29 c | 542803 | 15606 66779 202778 | 2147483647 542803 257 | 0.000 % |
1044.01/1044.76 c | 543523 | 15606 66779 202778 | 2147483647 543523 257 | 0.000 % |
1046.61/1047.40 c | 544315 | 15606 66779 202778 | 2147483647 544315 257 | 0.000 % |
1049.71/1050.42 c | 545187 | 15606 66779 202778 | 2147483647 545187 257 | 0.000 % |
1052.91/1053.61 c | 546150 | 15606 66779 202778 | 2147483647 546150 257 | 0.000 % |
1056.00/1056.72 c | 547203 | 15606 66779 202778 | 2147483647 547203 257 | 0.000 % |
1059.61/1060.39 c | 548361 | 15606 66779 202778 | 2147483647 548361 257 | 0.000 % |
1063.50/1064.28 c | 549634 | 15606 66779 202778 | 2147483647 549634 258 | 0.000 % |
1067.90/1068.62 c | 551035 | 15606 66779 202778 | 2147483647 551035 258 | 0.000 % |
1072.80/1073.55 c | 552575 | 15606 66779 202778 | 2147483647 552575 258 | 0.000 % |
1078.49/1079.22 c | 554271 | 15606 66779 202778 | 2147483647 554271 258 | 0.000 % |
1084.19/1084.99 c | 556134 | 15606 66779 202778 | 2147483647 556134 258 | 0.000 % |
1090.79/1091.53 c | 558183 | 15606 66779 202778 | 2147483647 558183 258 | 0.000 % |
1097.28/1098.07 c | 560436 | 15606 66779 202778 | 2147483647 560436 258 | 0.000 % |
1105.08/1105.90 c | 562915 | 15606 66779 202778 | 2147483647 562915 258 | 0.000 % |
1113.37/1114.20 c | 565640 | 15606 66779 202778 | 2147483647 565640 259 | 0.000 % |
1123.17/1123.93 c | 568637 | 15606 66779 202778 | 2147483647 568637 259 | 0.000 % |
1133.28/1134.09 c | 571933 | 15606 66779 202778 | 2147483647 571933 259 | 0.000 % |
1144.46/1145.26 c | 575558 | 15606 66779 202778 | 2147483647 575558 259 | 0.000 % |
1157.06/1157.89 c | 579545 | 15606 66779 202778 | 2147483647 579545 259 | 0.000 % |
1170.55/1171.38 c | 583931 | 15606 66779 202778 | 2147483647 583931 261 | 0.000 % |
1184.44/1185.20 c | 588755 | 15606 66779 202778 | 2147483647 588755 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-1832763-1242787446/watcher-1832763-1242787446 -o /tmp/evaluation-result-1832763-1242787446/solver-1832763-1242787446 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832763-1242787446.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 16927
/proc/meminfo: memFree=1737200/2055920 swapFree=4180512/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306773617 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 226687156306 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/16927/statm: 1339 235 195 169 0 50 0
[pid=16928] ppid=16927 vsize=5356 CPUtime=0
/proc/16928/stat : 16928 (SatELiteGTI) R 16927 16927 16296 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306773617 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4096 65538 18446744071563353024 0 0 17 0 0 0
/proc/16928/statm: 1339 238 198 169 0 50 0
[startup+0.0580599 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 16927
/proc/meminfo: memFree=1737200/2055920 swapFree=4180512/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306773617 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16927/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102067 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 16927
/proc/meminfo: memFree=1737200/2055920 swapFree=4180512/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306773617 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16927/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301105 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 16927
/proc/meminfo: memFree=1737200/2055920 swapFree=4180512/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306773617 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16927/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701179 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 16927
/proc/meminfo: memFree=1737200/2055920 swapFree=4180512/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5356
[startup+1.50134 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 16933
/proc/meminfo: memFree=1729248/2055920 swapFree=4180512/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=7712 CPUtime=1.17
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 1768 0 0 0 116 1 0 0 25 0 1 0 306773647 7897088 1754 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 1928 1754 77 171 0 1755 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13068
[startup+3.10167 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 16933
/proc/meminfo: memFree=1727584/2055920 swapFree=4180512/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=10088 CPUtime=2.77
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 2363 0 0 0 276 1 0 0 25 0 1 0 306773647 10330112 2349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 2522 2349 77 171 0 2349 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15444
[startup+6.30132 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 16933
/proc/meminfo: memFree=1722592/2055920 swapFree=4180512/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=14856 CPUtime=5.97
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 3551 0 0 0 594 3 0 0 25 0 1 0 306773647 15212544 3537 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 3714 3537 77 171 0 3541 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20212
[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 16933
/proc/meminfo: memFree=1713712/2055920 swapFree=4180512/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=23352 CPUtime=12.36
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 5662 0 0 0 1232 4 0 0 25 0 1 0 306773647 23912448 5648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 5838 5648 77 171 0 5665 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 28708
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 16933
/proc/meminfo: memFree=1697520/2055920 swapFree=4180512/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=38972 CPUtime=25.15
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 9589 0 0 0 2507 8 0 0 25 0 1 0 306773647 39907328 9575 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 9743 9575 77 171 0 9570 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 44328
[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 16935
/proc/meminfo: memFree=1670960/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=65724 CPUtime=50.72
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 16257 0 0 0 5057 15 0 0 25 0 1 0 306773647 67301376 16243 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 16431 16243 77 171 0 16258 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 71080
[startup+102.307 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 16935
/proc/meminfo: memFree=1622960/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=113048 CPUtime=101.9
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 28081 0 0 0 10163 27 0 0 25 0 1 0 306773647 115761152 28067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 28262 28067 77 171 0 28089 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 118404
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16935
/proc/meminfo: memFree=1577136/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=159148 CPUtime=161.85
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 39574 0 0 0 16145 40 0 0 25 0 1 0 306773647 162967552 39560 1992294400 134512640 135215339 4294956240 18446744073709551615 134738079 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 39787 39560 77 171 0 39614 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 164504
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16935
/proc/meminfo: memFree=1537712/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=197964 CPUtime=221.82
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 49327 0 0 0 22134 48 0 0 25 0 1 0 306773647 202715136 49313 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 49491 49313 77 171 0 49318 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 203320
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16935
/proc/meminfo: memFree=1500720/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=235208 CPUtime=281.78
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 58565 0 0 0 28119 59 0 0 25 0 1 0 306773647 240852992 58551 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 58802 58551 77 171 0 58629 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 240564
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16935
/proc/meminfo: memFree=1466032/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=269404 CPUtime=341.74
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 67139 0 0 0 34106 68 0 0 25 0 1 0 306773647 275869696 67125 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 67351 67125 77 171 0 67178 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 274760
[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 16935
/proc/meminfo: memFree=1433968/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=301644 CPUtime=401.71
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 75237 0 0 0 40094 77 0 0 25 0 1 0 306773647 308883456 75223 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 75411 75223 77 171 0 75238 0
Current children cumulated CPU time (s) 402
################
# More data... #
################
/proc/16933/statm: 90979 90693 77 171 0 90806 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 369272
[startup+582.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/67 16935
/proc/meminfo: memFree=1345008/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=390072 CPUtime=581.59
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 97273 0 0 0 58058 101 0 0 25 0 1 0 306773647 399433728 97259 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 97518 97259 77 171 0 97345 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 395428
[startup+642.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/67 16935
/proc/meminfo: memFree=1318960/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=415692 CPUtime=641.58
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 103695 0 0 0 64049 109 0 0 25 0 1 0 306773647 425668608 103681 1992294400 134512640 135215339 4294956240 18446744073709551615 134525654 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 103923 103681 77 171 0 103750 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 421048
[startup+702.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/67 16935
/proc/meminfo: memFree=1292016/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=442764 CPUtime=701.54
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 110481 0 0 0 70037 117 0 0 25 0 1 0 306773647 453390336 110467 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 110691 110467 77 171 0 110518 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 448120
[startup+762.306 s]
/proc/loadavg: 1.34 1.10 1.02 2/67 16935
/proc/meminfo: memFree=1266352/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=467992 CPUtime=761.51
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 116824 0 0 0 76026 125 0 0 25 0 1 0 306773647 479223808 116810 1992294400 134512640 135215339 4294956240 18446744073709551615 134539375 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 116998 116810 77 171 0 116825 0
Current children cumulated CPU time (s) 761.8
Current children cumulated vsize (KiB) 473348
[startup+822.301 s]
/proc/loadavg: 1.27 1.14 1.04 2/67 16935
/proc/meminfo: memFree=1241520/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=493860 CPUtime=821.45
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 123066 0 0 0 82013 132 0 0 25 0 1 0 306773647 505712640 123052 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 123465 123053 77 171 0 123292 0
Current children cumulated CPU time (s) 821.74
Current children cumulated vsize (KiB) 499216
[startup+882.301 s]
/proc/loadavg: 1.21 1.14 1.04 2/67 16935
/proc/meminfo: memFree=1217264/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=517492 CPUtime=881.4
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 129015 0 0 0 88001 139 0 0 25 0 1 0 306773647 529911808 129001 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 129373 129001 77 171 0 129200 0
Current children cumulated CPU time (s) 881.69
Current children cumulated vsize (KiB) 522848
[startup+942.301 s]
/proc/loadavg: 1.15 1.13 1.04 2/67 16935
/proc/meminfo: memFree=1195440/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=539276 CPUtime=941.37
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 134479 0 0 0 93993 144 0 0 25 0 1 0 306773647 552218624 134465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 134819 134465 77 171 0 134646 0
Current children cumulated CPU time (s) 941.66
Current children cumulated vsize (KiB) 544632
[startup+1002.3 s]
/proc/loadavg: 1.12 1.12 1.04 2/67 16935
/proc/meminfo: memFree=1171312/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=563172 CPUtime=1001.35
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 140450 0 0 0 99982 153 0 0 25 0 1 0 306773647 576688128 140436 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 140793 140436 77 171 0 140620 0
Current children cumulated CPU time (s) 1001.64
Current children cumulated vsize (KiB) 568528
[startup+1062.3 s]
/proc/loadavg: 1.10 1.11 1.04 2/67 16941
/proc/meminfo: memFree=1153200/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=581264 CPUtime=1061.31
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 145009 0 0 0 105972 159 0 0 25 0 1 0 306773647 595214336 144995 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 145316 144995 77 171 0 145143 0
Current children cumulated CPU time (s) 1061.6
Current children cumulated vsize (KiB) 586620
[startup+1122.3 s]
/proc/loadavg: 1.09 1.10 1.04 2/67 16941
/proc/meminfo: memFree=1130096/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=604100 CPUtime=1121.28
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 150728 0 0 0 111962 166 0 0 25 0 1 0 306773647 618598400 150714 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 151025 150714 77 171 0 150852 0
Current children cumulated CPU time (s) 1121.57
Current children cumulated vsize (KiB) 609456
[startup+1182.3 s]
/proc/loadavg: 1.03 1.08 1.04 2/67 16941
/proc/meminfo: memFree=1104304/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=629996 CPUtime=1181.25
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 157239 0 0 0 117953 172 0 0 25 0 1 0 306773647 645115904 157225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 157499 157225 77 171 0 157326 0
Current children cumulated CPU time (s) 1181.54
Current children cumulated vsize (KiB) 635352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.02 1.08 1.03 2/67 16941
/proc/meminfo: memFree=1095024/2055920 swapFree=4180516/4192956
[pid=16927] ppid=16925 vsize=5356 CPUtime=0.29
/proc/16927/stat : 16927 (SatELiteGTI) S 16925 16927 16296 0 -1 4194304 336 2293 0 0 0 0 28 1 15 0 1 0 306773617 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16927/statm: 1339 239 197 169 0 50 0
[pid=16933] ppid=16927 vsize=638580 CPUtime=1199.74
/proc/16933/stat : 16933 (minisat_static) R 16927 16927 16296 0 -1 4194304 159388 0 0 0 119799 175 0 0 25 0 1 0 306773647 653905920 159374 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/16933/statm: 159645 159374 77 171 0 159472 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 643936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16927 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=283956
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=17997
# CPU time returned by wait4() is 0.301953
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.03
CPU user time (s): 1198.27
CPU system time (s): 1.76
CPU usage (%): 99.9349
Max. virtual memory (cumulated for all children) (KiB): 643936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.283956
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2629
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 23
runsolver used 1.08883 second user time and 3.37449 second system time
The end
Begin job on node80 at 2009-05-20 04:44:07
IDJOB=1832763
IDBENCH=70345
IDSOLVER=671
FILE ID=node80/1832763-1242787446
PBS_JOBID= 9322346
Free space on /tmp= 66192 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/16000/unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832763-1242787446/watcher-1832763-1242787446 -o /tmp/evaluation-result-1832763-1242787446/solver-1832763-1242787446 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832763-1242787446.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a714fa4bd1373c24435aaf22c9d8231c
RANDOM SEED=285122142
node80.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.270
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.270
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1737744 kB
Buffers: 30988 kB
Cached: 238068 kB
SwapCached: 7160 kB
Active: 97568 kB
Inactive: 180248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1737744 kB
SwapTotal: 4192956 kB
SwapFree: 4180512 kB
Dirty: 2864 kB
Writeback: 0 kB
Mapped: 13500 kB
Slab: 26368 kB
Committed_AS: 1108256 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66188 MiB
End job on node80 at 2009-05-20 05:04:10