0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 58800 176400 | 17639 0 0 nan | 0.000 % |
0.00/0.19 c | 0 | 58428 177321 | -- 0 -- -- | -- | -372/921
0.00/0.19 c ==============================================================================
0.00/0.19 c Result : #vars: 13658 #clauses: 58428 #literals: 177321
0.00/0.19 c CPU time: 0.175973 s
0.00/0.19 c ==============================================================================
0.00/0.25 c This is MiniSat 2.0 beta
0.00/0.25 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.25 c ============================[ Problem Statistics ]=============================
0.00/0.25 c | |
0.00/0.25 c | Number of variables: 13658 |
0.00/0.25 c | Number of clauses: 58428 |
0.24/0.30 c | Parsing time: 0.04 s |
0.24/0.30 c ============================[ Search Statistics ]==============================
0.24/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.24/0.30 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.24/0.30 c ===============================================================================
0.24/0.30 c | 0 | 13658 58428 177321 | 19476 0 nan | 0.000 % |
0.24/0.36 c | 101 | 13658 58428 177321 | 19476 101 167 | 0.000 % |
0.24/0.40 c | 202 | 13658 58428 177321 | 19476 202 172 | 0.000 % |
0.24/0.45 c | 302 | 13658 58428 177321 | 19476 302 166 | 0.000 % |
0.24/0.51 c | 413 | 13658 58428 177321 | 19476 413 171 | 0.000 % |
0.24/0.55 c | 514 | 13658 58428 177321 | 19476 514 169 | 0.000 % |
0.24/0.61 c | 626 | 13658 58428 177321 | 19476 626 172 | 0.000 % |
0.24/0.67 c | 748 | 13658 58428 177321 | 19476 748 164 | 0.000 % |
0.24/0.72 c | 848 | 13658 58428 177321 | 19476 848 164 | 0.000 % |
0.24/0.77 c | 961 | 13658 58428 177321 | 19476 961 162 | 0.000 % |
0.24/0.83 c | 1082 | 13658 58428 177321 | 19476 1082 160 | 0.000 % |
0.24/0.89 c | 1215 | 13658 58428 177321 | 19476 1215 159 | 0.000 % |
0.24/0.94 c | 1317 | 13658 58428 177321 | 19476 1317 158 | 0.000 % |
0.24/1.00 c | 1427 | 13658 58428 177321 | 19476 1427 162 | 0.000 % |
0.97/1.05 c | 1548 | 13658 58428 177321 | 19476 1548 160 | 0.000 % |
1.07/1.12 c | 1683 | 13658 58428 177321 | 19476 1683 163 | 0.000 % |
1.07/1.18 c | 1829 | 13658 58428 177321 | 19476 1829 162 | 0.000 % |
1.16/1.23 c | 1929 | 13658 58428 177321 | 19476 1929 166 | 0.000 % |
1.16/1.28 c | 2039 | 13658 58428 177321 | 19476 2039 166 | 0.000 % |
1.27/1.35 c | 2161 | 13658 58428 177321 | 19476 2161 167 | 0.000 % |
1.37/1.41 c | 2295 | 13658 58428 177321 | 19476 2295 171 | 0.000 % |
1.37/1.47 c | 2441 | 13658 58428 177321 | 19476 2441 170 | 0.000 % |
1.47/1.54 c | 2601 | 13658 58428 177321 | 19476 2601 171 | 0.000 % |
1.47/1.59 c | 2702 | 13658 58428 177321 | 19476 2702 174 | 0.000 % |
1.57/1.64 c | 2812 | 13658 58428 177321 | 19476 2812 173 | 0.000 % |
1.57/1.69 c | 2933 | 13658 58428 177321 | 19476 2933 172 | 0.000 % |
1.67/1.75 c | 3067 | 13658 58428 177321 | 19476 3067 174 | 0.000 % |
1.77/1.82 c | 3214 | 13658 58428 177321 | 19476 3214 174 | 0.000 % |
1.77/1.89 c | 3374 | 13658 58428 177321 | 19476 3374 175 | 0.000 % |
1.87/1.98 c | 3550 | 13658 58428 177321 | 19476 3550 177 | 0.000 % |
1.97/2.03 c | 3651 | 13658 58428 177321 | 19476 3651 178 | 0.000 % |
1.97/2.08 c | 3762 | 13658 58428 177321 | 19476 3762 178 | 0.000 % |
2.07/2.14 c | 3883 | 13658 58428 177321 | 19476 3883 178 | 0.000 % |
2.17/2.21 c | 4017 | 13658 58428 177321 | 19476 4017 178 | 0.000 % |
2.17/2.28 c | 4163 | 13658 58428 177321 | 19476 4163 177 | 0.000 % |
2.27/2.36 c | 4324 | 13658 58428 177321 | 19476 4324 178 | 0.000 % |
2.37/2.45 c | 4500 | 13658 58428 177321 | 19476 4500 179 | 0.000 % |
2.46/2.53 c | 4693 | 13658 58428 177321 | 19476 4693 179 | 0.000 % |
2.46/2.58 c | 4793 | 13658 58428 177321 | 19476 4793 179 | 0.000 % |
2.56/2.64 c | 4903 | 13658 58428 177321 | 19476 4903 179 | 0.000 % |
2.66/2.70 c | 5024 | 13658 58428 177321 | 19476 5024 180 | 0.000 % |
2.66/2.77 c | 5157 | 13658 58428 177321 | 19476 5157 180 | 0.000 % |
2.76/2.84 c | 5303 | 13658 58428 177321 | 19476 5303 181 | 0.000 % |
2.86/2.92 c | 5465 | 13658 58428 177321 | 19476 5465 181 | 0.000 % |
2.96/3.01 c | 5641 | 13658 58428 177321 | 19476 5641 180 | 0.000 % |
3.06/3.10 c | 5834 | 13658 58428 177321 | 19476 5834 179 | 0.000 % |
3.17/3.20 c | 6047 | 13658 58428 177321 | 19476 6047 179 | 0.000 % |
3.17/3.25 c | 6148 | 13658 58428 177321 | 19476 6148 179 | 0.000 % |
3.27/3.31 c | 6258 | 13658 58428 177321 | 19476 6258 178 | 0.000 % |
3.27/3.36 c | 6379 | 13658 58428 177321 | 19476 6379 178 | 0.000 % |
3.37/3.43 c | 6512 | 13658 58428 177321 | 19476 6512 177 | 0.000 % |
3.47/3.51 c | 6659 | 13658 58428 177321 | 19476 6659 177 | 0.000 % |
3.47/3.59 c | 6820 | 13658 58428 177321 | 19476 6820 178 | 0.000 % |
3.56/3.68 c | 6997 | 13658 58428 177321 | 19476 6997 178 | 0.000 % |
3.66/3.77 c | 7190 | 13658 58428 177321 | 19476 7190 177 | 0.000 % |
3.76/3.89 c | 7402 | 13658 58428 177321 | 19476 7402 177 | 0.000 % |
3.86/3.99 c | 7636 | 13658 58428 177321 | 19476 7636 176 | 0.000 % |
3.97/4.05 c | 7736 | 13658 58428 177321 | 19476 7736 176 | 0.000 % |
4.07/4.10 c | 7847 | 13658 58428 177321 | 19476 7847 176 | 0.000 % |
4.07/4.17 c | 7968 | 13658 58428 177321 | 19476 7968 176 | 0.000 % |
4.16/4.24 c | 8101 | 13658 58428 177321 | 19476 8101 175 | 0.000 % |
4.27/4.31 c | 8247 | 13658 58428 177321 | 19476 8247 176 | 0.000 % |
4.27/4.39 c | 8407 | 13658 58428 177321 | 19476 8407 177 | 0.000 % |
4.37/4.48 c | 8584 | 13658 58428 177321 | 19476 8584 177 | 0.000 % |
4.46/4.57 c | 8777 | 13658 58428 177321 | 19476 8777 177 | 0.000 % |
4.56/4.68 c | 8989 | 13658 58428 177321 | 19476 8989 178 | 0.000 % |
4.76/4.80 c | 9224 | 13658 58428 177321 | 19476 9224 179 | 0.000 % |
4.86/4.94 c | 9480 | 13658 58428 177321 | 19476 9480 178 | 0.000 % |
4.86/4.99 c | 9581 | 13658 58428 177321 | 19476 9581 178 | 0.000 % |
4.96/5.06 c | 9694 | 13658 58428 177321 | 19476 9694 178 | 0.000 % |
5.06/5.12 c | 9816 | 13658 58428 177321 | 19476 9816 178 | 0.000 % |
5.06/5.19 c | 9949 | 13658 58428 177321 | 19476 9949 178 | 0.000 % |
5.16/5.27 c | 10095 | 13658 58428 177321 | 2147483647 10095 178 | 0.000 % |
5.26/5.35 c | 10255 | 13658 58428 177321 | 2147483647 10255 179 | 0.000 % |
5.36/5.44 c | 10431 | 13658 58428 177321 | 2147483647 10431 180 | 0.000 % |
5.46/5.54 c | 10625 | 13658 58428 177321 | 2147483647 10625 180 | 0.000 % |
5.55/5.65 c | 10838 | 13658 58428 177321 | 2147483647 10838 180 | 0.000 % |
5.66/5.78 c | 11071 | 13658 58428 177321 | 2147483647 11071 181 | 0.000 % |
5.86/5.91 c | 11327 | 13658 58428 177321 | 2147483647 11327 180 | 0.000 % |
5.96/6.06 c | 11608 | 13658 58428 177321 | 2147483647 11608 181 | 0.000 % |
6.06/6.12 c | 11709 | 13658 58428 177321 | 2147483647 11709 181 | 0.000 % |
6.06/6.18 c | 11823 | 13658 58428 177321 | 2147483647 11823 182 | 0.000 % |
6.16/6.25 c | 11946 | 13658 58428 177321 | 2147483647 11946 182 | 0.000 % |
6.26/6.33 c | 12080 | 13658 58428 177321 | 2147483647 12080 181 | 0.000 % |
6.36/6.41 c | 12227 | 13658 58428 177321 | 2147483647 12227 181 | 0.000 % |
6.36/6.50 c | 12387 | 13658 58428 177321 | 2147483647 12387 181 | 0.000 % |
6.47/6.59 c | 12563 | 13658 58428 177321 | 2147483647 12563 181 | 0.000 % |
6.57/6.70 c | 12756 | 13658 58428 177321 | 2147483647 12756 181 | 0.000 % |
6.76/6.80 c | 12968 | 13658 58428 177321 | 2147483647 12968 181 | 0.000 % |
6.86/6.92 c | 13205 | 13658 58428 177321 | 2147483647 13205 181 | 0.000 % |
6.96/7.04 c | 13461 | 13658 58428 177321 | 2147483647 13461 181 | 0.000 % |
7.05/7.19 c | 13743 | 13658 58428 177321 | 2147483647 13743 181 | 0.000 % |
7.25/7.36 c | 14052 | 13658 58428 177321 | 2147483647 14052 180 | 0.000 % |
7.35/7.42 c | 14152 | 13658 58428 177321 | 2147483647 14152 180 | 0.000 % |
7.35/7.48 c | 14262 | 13658 58428 177321 | 2147483647 14262 180 | 0.000 % |
7.45/7.55 c | 14384 | 13658 58428 177321 | 2147483647 14384 180 | 0.000 % |
7.56/7.63 c | 14518 | 13658 58428 177321 | 2147483647 14518 180 | 0.000 % |
7.66/7.70 c | 14664 | 13658 58428 177321 | 2147483647 14664 180 | 0.000 % |
7.66/7.79 c | 14824 | 13658 58428 177321 | 2147483647 14824 180 | 0.000 % |
7.75/7.90 c | 15002 | 13658 58428 177321 | 2147483647 15002 180 | 0.000 % |
7.96/8.01 c | 15196 | 13658 58428 177321 | 2147483647 15196 181 | 0.000 % |
8.06/8.13 c | 15411 | 13658 58428 177321 | 2147483647 15411 181 | 0.000 % |
8.16/8.26 c | 15644 | 13658 58428 177321 | 2147483647 15644 182 | 0.000 % |
8.36/8.40 c | 15902 | 13658 58428 177321 | 2147483647 15902 182 | 0.000 % |
8.46/8.54 c | 16183 | 13658 58428 177321 | 2147483647 16183 182 | 0.000 % |
8.56/8.70 c | 16494 | 13658 58428 177321 | 2147483647 16494 182 | 0.000 % |
8.76/8.89 c | 16833 | 13658 58428 177321 | 2147483647 16833 183 | 0.000 % |
8.86/8.94 c | 16933 | 13658 58428 177321 | 2147483647 16933 183 | 0.000 % |
8.96/9.01 c | 17044 | 13658 58428 177321 | 2147483647 17044 182 | 0.000 % |
8.96/9.08 c | 17166 | 13658 58428 177321 | 2147483647 17166 183 | 0.000 % |
9.06/9.16 c | 17300 | 13658 58428 177321 | 2147483647 17300 183 | 0.000 % |
9.16/9.23 c | 17446 | 13658 58428 177321 | 2147483647 17446 183 | 0.000 % |
9.26/9.33 c | 17606 | 13658 58428 177321 | 2147483647 17606 183 | 0.000 % |
9.36/9.43 c | 17785 | 13658 58428 177321 | 2147483647 17785 183 | 0.000 % |
9.46/9.54 c | 17979 | 13658 58428 177321 | 2147483647 17979 183 | 0.000 % |
9.56/9.67 c | 18191 | 13658 58428 177321 | 2147483647 18191 183 | 0.000 % |
9.66/9.79 c | 18426 | 13658 58428 177321 | 2147483647 18426 183 | 0.000 % |
9.86/9.93 c | 18682 | 13658 58428 177321 | 2147483647 18682 183 | 0.000 % |
9.95/10.07 c | 18966 | 13658 58428 177321 | 2147483647 18966 183 | 0.000 % |
10.15/10.26 c | 19277 | 13658 58428 177321 | 2147483647 19277 183 | 0.000 % |
10.35/10.46 c | 19617 | 13658 58428 177321 | 2147483647 19617 183 | 0.000 % |
10.55/10.67 c | 19989 | 13658 58428 177321 | 2147483647 19989 185 | 0.000 % |
10.65/10.73 c | 20089 | 13658 58428 177321 | 2147483647 20089 184 | 0.000 % |
10.75/10.81 c | 20200 | 13658 58428 177321 | 2147483647 20200 184 | 0.000 % |
10.75/10.88 c | 20321 | 13658 58428 177321 | 2147483647 20321 184 | 0.000 % |
10.85/10.96 c | 20454 | 13658 58428 177321 | 2147483647 20454 184 | 0.000 % |
10.95/11.05 c | 20600 | 13658 58428 177321 | 2147483647 20600 184 | 0.000 % |
11.05/11.15 c | 20760 | 13658 58428 177321 | 2147483647 20760 184 | 0.000 % |
11.15/11.26 c | 20938 | 13658 58428 177321 | 2147483647 20938 184 | 0.000 % |
11.25/11.36 c | 21132 | 13658 58428 177321 | 2147483647 21132 185 | 0.000 % |
11.35/11.48 c | 21345 | 13658 58428 177321 | 2147483647 21345 185 | 0.000 % |
11.55/11.62 c | 21579 | 13658 58428 177321 | 2147483647 21579 184 | 0.000 % |
11.65/11.77 c | 21836 | 13658 58428 177321 | 2147483647 21836 185 | 0.000 % |
11.85/11.95 c | 22119 | 13658 58428 177321 | 2147483647 22119 186 | 0.000 % |
12.05/12.13 c | 22428 | 13658 58428 177321 | 2147483647 22428 186 | 0.000 % |
12.26/12.32 c | 22768 | 13658 58428 177321 | 2147483647 22768 186 | 0.000 % |
12.46/12.55 c | 23145 | 13658 58428 177321 | 2147483647 23145 186 | 0.000 % |
12.75/12.81 c | 23555 | 13658 58428 177321 | 2147483647 23555 187 | 0.000 % |
12.75/12.87 c | 23655 | 13658 58428 177321 | 2147483647 23655 187 | 0.000 % |
12.85/12.94 c | 23767 | 13658 58428 177321 | 2147483647 23767 187 | 0.000 % |
12.95/13.02 c | 23891 | 13658 58428 177321 | 2147483647 23891 187 | 0.000 % |
13.06/13.10 c | 24025 | 13658 58428 177321 | 2147483647 24025 186 | 0.000 % |
13.06/13.18 c | 24172 | 13658 58428 177321 | 2147483647 24172 186 | 0.000 % |
13.16/13.28 c | 24332 | 13658 58428 177321 | 2147483647 24332 186 | 0.000 % |
13.25/13.39 c | 24508 | 13658 58428 177321 | 2147483647 24508 186 | 0.000 % |
13.45/13.52 c | 24703 | 13658 58428 177321 | 2147483647 24703 186 | 0.000 % |
13.55/13.65 c | 24916 | 13658 58428 177321 | 2147483647 24916 186 | 0.000 % |
13.64/13.79 c | 25149 | 13658 58428 177321 | 2147483647 25149 186 | 0.000 % |
13.84/13.93 c | 25405 | 13658 58428 177321 | 2147483647 25405 186 | 0.000 % |
13.94/14.10 c | 25686 | 13658 58428 177321 | 2147483647 25686 186 | 0.000 % |
14.16/14.28 c | 25996 | 13658 58428 177321 | 2147483647 25996 186 | 0.000 % |
14.35/14.50 c | 26337 | 13658 58428 177321 | 2147483647 26337 186 | 0.000 % |
14.65/14.72 c | 26710 | 13658 58428 177321 | 2147483647 26710 187 | 0.000 % |
14.85/14.96 c | 27119 | 13658 58428 177321 | 2147483647 27119 187 | 0.000 % |
15.15/15.21 c | 27569 | 13658 58428 177321 | 2147483647 27569 188 | 0.000 % |
15.15/15.30 c | 27669 | 13658 58428 177321 | 2147483647 27669 188 | 0.000 % |
15.25/15.37 c | 27780 | 13658 58428 177321 | 2147483647 27780 188 | 0.000 % |
15.35/15.44 c | 27901 | 13658 58428 177321 | 2147483647 27901 188 | 0.000 % |
15.45/15.52 c | 28034 | 13658 58428 177321 | 2147483647 28034 189 | 0.000 % |
15.55/15.60 c | 28180 | 13658 58428 177321 | 2147483647 28180 189 | 0.000 % |
15.65/15.71 c | 28340 | 13658 58428 177321 | 2147483647 28340 188 | 0.000 % |
15.75/15.82 c | 28516 | 13658 58428 177321 | 2147483647 28516 188 | 0.000 % |
15.85/15.94 c | 28709 | 13658 58428 177321 | 2147483647 28709 189 | 0.000 % |
15.95/16.06 c | 28921 | 13658 58428 177321 | 2147483647 28921 188 | 0.000 % |
16.15/16.20 c | 29158 | 13658 58428 177321 | 2147483647 29158 188 | 0.000 % |
16.25/16.36 c | 29414 | 13658 58428 177321 | 2147483647 29414 188 | 0.000 % |
16.45/16.52 c | 29696 | 13658 58428 177321 | 2147483647 29696 188 | 0.000 % |
16.64/16.72 c | 30007 | 13658 58428 177321 | 2147483647 30007 189 | 0.000 % |
16.84/16.93 c | 30346 | 13658 58428 177321 | 2147483647 30346 189 | 0.000 % |
17.04/17.16 c | 30719 | 13658 58428 177321 | 2147483647 30719 189 | 0.000 % |
17.34/17.42 c | 31129 | 13658 58428 177321 | 2147483647 31129 189 | 0.000 % |
17.55/17.69 c | 31578 | 13658 58428 177321 | 2147483647 31578 189 | 0.000 % |
17.94/18.01 c | 32071 | 13658 58428 177321 | 2147483647 32071 189 | 0.000 % |
17.94/18.08 c | 32171 | 13658 58428 177321 | 2147483647 32171 189 | 0.000 % |
18.04/18.15 c | 32281 | 13658 58428 177321 | 2147483647 32281 189 | 0.000 % |
18.14/18.23 c | 32402 | 13658 58428 177321 | 2147483647 32402 189 | 0.000 % |
18.24/18.32 c | 32536 | 13658 58428 177321 | 2147483647 32536 189 | 0.000 % |
18.34/18.41 c | 32684 | 13658 58428 177321 | 2147483647 32684 189 | 0.000 % |
18.44/18.53 c | 32845 | 13658 58428 177321 | 2147483647 32845 189 | 0.000 % |
18.55/18.65 c | 33021 | 13658 58428 177321 | 2147483647 33021 189 | 0.000 % |
18.65/18.78 c | 33215 | 13658 58428 177321 | 2147483647 33215 189 | 0.000 % |
18.85/18.91 c | 33427 | 13658 58428 177321 | 2147483647 33427 190 | 0.000 % |
18.95/19.06 c | 33661 | 13658 58428 177321 | 2147483647 33661 189 | 0.000 % |
19.15/19.24 c | 33917 | 13658 58428 177321 | 2147483647 33917 189 | 0.000 % |
19.35/19.42 c | 34199 | 13658 58428 177321 | 2147483647 34199 190 | 0.000 % |
19.55/19.63 c | 34510 | 13658 58428 177321 | 2147483647 34510 190 | 0.000 % |
19.75/19.85 c | 34850 | 13658 58428 177321 | 2147483647 34850 190 | 0.000 % |
20.05/20.11 c | 35222 | 13658 58428 177321 | 2147483647 35222 190 | 0.000 % |
20.25/20.36 c | 35631 | 13658 58428 177321 | 2147483647 35631 190 | 0.000 % |
20.55/20.66 c | 36082 | 13658 58428 177321 | 2147483647 36082 191 | 0.000 % |
20.94/21.00 c | 36575 | 13658 58428 177321 | 2147483647 36575 192 | 0.000 % |
21.24/21.37 c | 37117 | 13658 58428 177321 | 2147483647 37117 192 | 0.000 % |
21.34/21.46 c | 37217 | 13658 58428 177321 | 2147483647 37217 192 | 0.000 % |
21.44/21.54 c | 37327 | 13658 58428 177321 | 2147483647 37327 192 | 0.000 % |
21.54/21.62 c | 37449 | 13658 58428 177321 | 2147483647 37449 192 | 0.000 % |
21.64/21.72 c | 37584 | 13658 58428 177321 | 2147483647 37584 192 | 0.000 % |
21.74/21.84 c | 37731 | 13658 58428 177321 | 2147483647 37731 192 | 0.000 % |
21.85/21.95 c | 37891 | 13658 58428 177321 | 2147483647 37891 192 | 0.000 % |
21.94/22.08 c | 38067 | 13658 58428 177321 | 2147483647 38067 192 | 0.000 % |
22.14/22.21 c | 38260 | 13658 58428 177321 | 2147483647 38260 192 | 0.000 % |
22.24/22.36 c | 38473 | 13658 58428 177321 | 2147483647 38473 192 | 0.000 % |
22.44/22.53 c | 38706 | 13658 58428 177321 | 2147483647 38706 192 | 0.000 % |
22.64/22.73 c | 38963 | 13658 58428 177321 | 2147483647 38963 192 | 0.000 % |
22.84/22.94 c | 39244 | 13658 58428 177321 | 2147483647 39244 192 | 0.000 % |
23.04/23.18 c | 39554 | 13658 58428 177321 | 2147483647 39554 192 | 0.000 % |
23.34/23.44 c | 39894 | 13658 58428 177321 | 2147483647 39894 192 | 0.000 % |
23.64/23.72 c | 40269 | 13658 58428 177321 | 2147483647 40269 193 | 0.000 % |
23.84/23.99 c | 40678 | 13658 58428 177321 | 2147483647 40678 193 | 0.000 % |
24.23/24.31 c | 41130 | 13658 58428 177321 | 2147483647 41130 193 | 0.000 % |
24.53/24.67 c | 41624 | 13658 58428 177321 | 2147483647 41624 193 | 0.000 % |
24.93/25.08 c | 42166 | 13658 58428 177321 | 2147483647 42166 194 | 0.000 % |
25.43/25.52 c | 42763 | 13658 58428 177321 | 2147483647 42763 194 | 0.000 % |
25.53/25.60 c | 42864 | 13658 58428 177321 | 2147483647 42864 194 | 0.000 % |
25.53/25.69 c | 42974 | 13658 58428 177321 | 2147483647 42974 194 | 0.000 % |
25.64/25.78 c | 43098 | 13658 58428 177321 | 2147483647 43098 194 | 0.000 % |
25.74/25.89 c | 43231 | 13658 58428 177321 | 2147483647 43231 194 | 0.000 % |
25.94/26.01 c | 43378 | 13658 58428 177321 | 2147483647 43378 194 | 0.000 % |
26.04/26.13 c | 43538 | 13658 58428 177321 | 2147483647 43538 194 | 0.000 % |
26.14/26.28 c | 43715 | 13658 58428 177321 | 2147483647 43715 194 | 0.000 % |
26.34/26.43 c | 43910 | 13658 58428 177321 | 2147483647 43910 194 | 0.000 % |
26.44/26.58 c | 44122 | 13658 58428 177321 | 2147483647 44122 194 | 0.000 % |
26.63/26.74 c | 44355 | 13658 58428 177321 | 2147483647 44355 195 | 0.000 % |
26.83/26.93 c | 44613 | 13658 58428 177321 | 2147483647 44613 195 | 0.000 % |
27.03/27.13 c | 44894 | 13658 58428 177321 | 2147483647 44894 194 | 0.000 % |
27.23/27.35 c | 45203 | 13658 58428 177321 | 2147483647 45203 195 | 0.000 % |
27.44/27.58 c | 45543 | 13658 58428 177321 | 2147483647 45543 195 | 0.000 % |
27.73/27.85 c | 45916 | 13658 58428 177321 | 2147483647 45916 195 | 0.000 % |
28.03/28.16 c | 46326 | 13658 58428 177321 | 2147483647 46326 195 | 0.000 % |
28.33/28.48 c | 46776 | 13658 58428 177321 | 2147483647 46776 196 | 0.000 % |
28.72/28.85 c | 47269 | 13658 58428 177321 | 2147483647 47269 196 | 0.000 % |
29.13/29.26 c | 47812 | 13658 58428 177321 | 2147483647 47812 196 | 0.000 % |
29.53/29.69 c | 48412 | 13658 58428 177321 | 2147483647 48412 197 | 0.000 % |
30.03/30.18 c | 49067 | 13658 58428 177321 | 2147483647 49067 197 | 0.000 % |
30.13/30.29 c | 49169 | 13658 58428 177321 | 2147483647 49169 197 | 0.000 % |
30.23/30.38 c | 49281 | 13658 58428 177321 | 2147483647 49281 197 | 0.000 % |
30.33/30.48 c | 49406 | 13658 58428 177321 | 2147483647 49406 197 | 0.000 % |
30.43/30.59 c | 49539 | 13658 58428 177321 | 2147483647 49539 197 | 0.000 % |
30.53/30.70 c | 49686 | 13658 58428 177321 | 2147483647 49686 197 | 0.000 % |
30.73/30.82 c | 49846 | 13658 58428 177321 | 2147483647 49846 197 | 0.000 % |
30.82/30.96 c | 50023 | 13658 58428 177321 | 2147483647 50023 197 | 0.000 % |
31.02/31.12 c | 50218 | 13658 58428 177321 | 2147483647 50218 197 | 0.000 % |
31.12/31.28 c | 50432 | 13658 58428 177321 | 2147483647 50432 197 | 0.000 % |
31.32/31.44 c | 50666 | 13658 58428 177321 | 2147483647 50666 197 | 0.000 % |
31.52/31.64 c | 50923 | 13658 58428 177321 | 2147483647 50923 197 | 0.000 % |
31.73/31.86 c | 51205 | 13658 58428 177321 | 2147483647 51205 196 | 0.000 % |
31.92/32.09 c | 51515 | 13658 58428 177321 | 2147483647 51515 196 | 0.000 % |
32.23/32.35 c | 51854 | 13658 58428 177321 | 2147483647 51854 196 | 0.000 % |
32.53/32.63 c | 52227 | 13658 58428 177321 | 2147483647 52227 196 | 0.000 % |
32.83/32.93 c | 52637 | 13658 58428 177321 | 2147483647 52637 196 | 0.000 % |
33.13/33.28 c | 53086 | 13658 58428 177321 | 2147483647 53086 196 | 0.000 % |
33.53/33.67 c | 53581 | 13658 58428 177321 | 2147483647 53581 197 | 0.000 % |
33.93/34.07 c | 54123 | 13658 58428 177321 | 2147483647 54123 198 | 0.000 % |
34.42/34.52 c | 54720 | 13658 58428 177321 | 2147483647 54720 198 | 0.000 % |
34.93/35.03 c | 55375 | 13658 58428 177321 | 2147483647 55375 198 | 0.000 % |
35.53/35.61 c | 56095 | 13658 58428 177321 | 2147483647 56095 198 | 0.000 % |
35.63/35.71 c | 56195 | 13658 58428 177321 | 2147483647 56195 198 | 0.000 % |
35.73/35.81 c | 56306 | 13658 58428 177321 | 2147483647 56306 198 | 0.000 % |
35.83/35.91 c | 56427 | 13658 58428 177321 | 2147483647 56427 198 | 0.000 % |
35.93/36.02 c | 56560 | 13658 58428 177321 | 2147483647 56560 198 | 0.000 % |
36.03/36.15 c | 56706 | 13658 58428 177321 | 2147483647 56706 198 | 0.000 % |
36.13/36.29 c | 56868 | 13658 58428 177321 | 2147483647 56868 198 | 0.000 % |
36.33/36.45 c | 57045 | 13658 58428 177321 | 2147483647 57045 197 | 0.000 % |
36.53/36.60 c | 57238 | 13658 58428 177321 | 2147483647 57238 197 | 0.000 % |
36.63/36.77 c | 57451 | 13658 58428 177321 | 2147483647 57451 197 | 0.000 % |
36.82/36.96 c | 57684 | 13658 58428 177321 | 2147483647 57684 197 | 0.000 % |
37.02/37.16 c | 57940 | 13658 58428 177321 | 2147483647 57940 197 | 0.000 % |
37.23/37.37 c | 58222 | 13658 58428 177321 | 2147483647 58222 197 | 0.000 % |
37.52/37.63 c | 58531 | 13658 58428 177321 | 2147483647 58531 197 | 0.000 % |
37.72/37.90 c | 58873 | 13658 58428 177321 | 2147483647 58873 197 | 0.000 % |
38.02/38.19 c | 59245 | 13658 58428 177321 | 2147483647 59245 198 | 0.000 % |
38.43/38.54 c | 59654 | 13658 58428 177321 | 2147483647 59654 197 | 0.000 % |
38.73/38.89 c | 60103 | 13658 58428 177321 | 2147483647 60103 197 | 0.000 % |
39.13/39.23 c | 60596 | 13658 58428 177321 | 2147483647 60596 198 | 0.000 % |
39.53/39.66 c | 61140 | 13658 58428 177321 | 2147483647 61140 198 | 0.000 % |
40.02/40.15 c | 61736 | 13658 58428 177321 | 2147483647 61736 198 | 0.000 % |
40.53/40.68 c | 62393 | 13658 58428 177321 | 2147483647 62393 198 | 0.000 % |
41.12/41.26 c | 63115 | 13658 58428 177321 | 2147483647 63115 198 | 0.000 % |
41.82/41.90 c | 63907 | 13658 58428 177321 | 2147483647 63907 198 | 0.000 % |
41.82/42.00 c | 64011 | 13658 58428 177321 | 2147483647 64011 198 | 0.000 % |
41.92/42.09 c | 64121 | 13658 58428 177321 | 2147483647 64121 198 | 0.000 % |
42.12/42.20 c | 64243 | 13658 58428 177321 | 2147483647 64243 198 | 0.000 % |
42.22/42.31 c | 64377 | 13658 58428 177321 | 2147483647 64377 198 | 0.000 % |
42.32/42.45 c | 64523 | 13658 58428 177321 | 2147483647 64523 198 | 0.000 % |
42.52/42.60 c | 64683 | 13658 58428 177321 | 2147483647 64683 198 | 0.000 % |
42.62/42.76 c | 64860 | 13658 58428 177321 | 2147483647 64860 198 | 0.000 % |
42.82/42.95 c | 65053 | 13658 58428 177321 | 2147483647 65053 198 | 0.000 % |
43.02/43.14 c | 65266 | 13658 58428 177321 | 2147483647 65266 198 | 0.000 % |
43.22/43.33 c | 65499 | 13658 58428 177321 | 2147483647 65499 198 | 0.000 % |
43.42/43.55 c | 65755 | 13658 58428 177321 | 2147483647 65755 198 | 0.000 % |
43.62/43.77 c | 66036 | 13658 58428 177321 | 2147483647 66036 198 | 0.000 % |
43.92/44.05 c | 66346 | 13658 58428 177321 | 2147483647 66346 198 | 0.000 % |
44.22/44.34 c | 66686 | 13658 58428 177321 | 2147483647 66686 198 | 0.000 % |
44.52/44.65 c | 67060 | 13658 58428 177321 | 2147483647 67060 198 | 0.000 % |
44.82/45.00 c | 67471 | 13658 58428 177321 | 2147483647 67471 198 | 0.000 % |
45.21/45.37 c | 67922 | 13658 58428 177321 | 2147483647 67922 199 | 0.000 % |
45.52/45.70 c | 68417 | 13658 58428 177321 | 2147483647 68417 199 | 0.000 % |
46.02/46.15 c | 68959 | 13658 58428 177321 | 2147483647 68959 199 | 0.000 % |
46.52/46.65 c | 69555 | 13658 58428 177321 | 2147483647 69555 199 | 0.000 % |
47.12/47.22 c | 70212 | 13658 58428 177321 | 2147483647 70212 199 | 0.000 % |
47.71/47.85 c | 70933 | 13658 58428 177321 | 2147483647 70933 199 | 0.000 % |
48.41/48.56 c | 71726 | 13658 58428 177321 | 2147483647 71726 200 | 0.000 % |
49.22/49.31 c | 72598 | 13658 58428 177321 | 2147483647 72598 200 | 0.000 % |
49.32/49.42 c | 72699 | 13658 58428 177321 | 2147483647 72699 200 | 0.000 % |
49.43/49.53 c | 72809 | 13658 58428 177321 | 2147483647 72809 200 | 0.000 % |
49.52/49.65 c | 72931 | 13658 58428 177321 | 2147483647 72931 200 | 0.000 % |
49.62/49.78 c | 73065 | 13658 58428 177321 | 2147483647 73065 200 | 0.000 % |
49.82/49.91 c | 73211 | 13658 58428 177321 | 2147483647 73211 200 | 0.000 % |
49.92/50.07 c | 73371 | 13658 58428 177321 | 2147483647 73371 200 | 0.000 % |
50.12/50.23 c | 73548 | 13658 58428 177321 | 2147483647 73548 200 | 0.000 % |
50.32/50.42 c | 73742 | 13658 58428 177321 | 2147483647 73742 200 | 0.000 % |
50.52/50.60 c | 73954 | 13658 58428 177321 | 2147483647 73954 200 | 0.000 % |
50.72/50.84 c | 74188 | 13658 58428 177321 | 2147483647 74188 200 | 0.000 % |
50.92/51.08 c | 74444 | 13658 58428 177321 | 2147483647 74444 200 | 0.000 % |
51.22/51.35 c | 74726 | 13658 58428 177321 | 2147483647 74726 200 | 0.000 % |
51.52/51.62 c | 75036 | 13658 58428 177321 | 2147483647 75036 200 | 0.000 % |
51.81/51.90 c | 75375 | 13658 58428 177321 | 2147483647 75375 200 | 0.000 % |
52.11/52.27 c | 75748 | 13658 58428 177321 | 2147483647 75748 200 | 0.000 % |
52.51/52.63 c | 76158 | 13658 58428 177321 | 2147483647 76158 200 | 0.000 % |
52.91/53.05 c | 76607 | 13658 58428 177321 | 2147483647 76607 200 | 0.000 % |
53.31/53.45 c | 77104 | 13658 58428 177321 | 2147483647 77104 200 | 0.000 % |
53.81/53.93 c | 77646 | 13658 58428 177321 | 2147483647 77646 200 | 0.000 % |
54.31/54.43 c | 78243 | 13658 58428 177321 | 2147483647 78243 200 | 0.000 % |
54.81/54.99 c | 78901 | 13658 58428 177321 | 2147483647 78901 200 | 0.000 % |
55.52/55.63 c | 79621 | 13658 58428 177321 | 2147483647 79621 201 | 0.000 % |
56.11/56.29 c | 80414 | 13658 58428 177321 | 2147483647 80414 202 | 0.000 % |
56.91/57.06 c | 81285 | 13658 58428 177321 | 2147483647 81285 202 | 0.000 % |
57.71/57.86 c | 82243 | 13658 58428 177321 | 2147483647 82243 203 | 0.000 % |
57.81/57.96 c | 82343 | 13658 58428 177321 | 2147483647 82343 202 | 0.000 % |
57.91/58.08 c | 82453 | 13658 58428 177321 | 2147483647 82453 202 | 0.000 % |
58.11/58.20 c | 82575 | 13658 58428 177321 | 2147483647 82575 202 | 0.000 % |
58.21/58.34 c | 82710 | 13658 58428 177321 | 2147483647 82710 202 | 0.000 % |
58.31/58.48 c | 82856 | 13658 58428 177321 | 2147483647 82856 202 | 0.000 % |
58.51/58.64 c | 83018 | 13658 58428 177321 | 2147483647 83018 202 | 0.000 % |
58.71/58.83 c | 83195 | 13658 58428 177321 | 2147483647 83195 202 | 0.000 % |
58.91/59.01 c | 83389 | 13658 58428 177321 | 2147483647 83389 202 | 0.000 % |
59.11/59.23 c | 83601 | 13658 58428 177321 | 2147483647 83601 202 | 0.000 % |
59.31/59.45 c | 83835 | 13658 58428 177321 | 2147483647 83835 202 | 0.000 % |
59.61/59.71 c | 84091 | 13658 58428 177321 | 2147483647 84091 202 | 0.000 % |
59.91/60.00 c | 84372 | 13658 58428 177321 | 2147483647 84372 202 | 0.000 % |
60.21/60.32 c | 84681 | 13658 58428 177321 | 2147483647 84681 202 | 0.000 % |
60.51/60.62 c | 85021 | 13658 58428 177321 | 2147483647 85021 202 | 0.000 % |
60.81/60.97 c | 85393 | 13658 58428 177321 | 2147483647 85393 202 | 0.000 % |
61.21/61.36 c | 85803 | 13658 58428 177321 | 2147483647 85803 203 | 0.000 % |
61.61/61.76 c | 86252 | 13658 58428 177321 | 2147483647 86252 203 | 0.000 % |
62.11/62.20 c | 86745 | 13658 58428 177321 | 2147483647 86745 203 | 0.000 % |
62.61/62.73 c | 87288 | 13658 58428 177321 | 2147483647 87288 203 | 0.000 % |
63.11/63.29 c | 87885 | 13658 58428 177321 | 2147483647 87885 203 | 0.000 % |
63.81/63.90 c | 88540 | 13658 58428 177321 | 2147483647 88540 203 | 0.000 % |
64.50/64.64 c | 89261 | 13658 58428 177321 | 2147483647 89261 203 | 0.000 % |
65.20/65.39 c | 90053 | 13658 58428 177321 | 2147483647 90053 203 | 0.000 % |
66.11/66.25 c | 90924 | 13658 58428 177321 | 2147483647 90924 203 | 0.000 % |
67.01/67.12 c | 91882 | 13658 58428 177321 | 2147483647 91882 204 | 0.000 % |
68.01/68.11 c | 92935 | 13658 58428 177321 | 2147483647 92935 205 | 0.000 % |
68.11/68.21 c | 93036 | 13658 58428 177321 | 2147483647 93036 205 | 0.000 % |
68.20/68.35 c | 93148 | 13658 58428 177321 | 2147483647 93148 205 | 0.000 % |
68.40/68.50 c | 93272 | 13658 58428 177321 | 2147483647 93272 205 | 0.000 % |
68.50/68.65 c | 93408 | 13658 58428 177321 | 2147483647 93408 205 | 0.000 % |
68.70/68.81 c | 93554 | 13658 58428 177321 | 2147483647 93554 205 | 0.000 % |
68.80/68.99 c | 93714 | 13658 58428 177321 | 2147483647 93714 205 | 0.000 % |
69.00/69.19 c | 93890 | 13658 58428 177321 | 2147483647 93890 204 | 0.000 % |
69.30/69.40 c | 94083 | 13658 58428 177321 | 2147483647 94083 204 | 0.000 % |
69.50/69.63 c | 94295 | 13658 58428 177321 | 2147483647 94295 204 | 0.000 % |
69.70/69.86 c | 94528 | 13658 58428 177321 | 2147483647 94528 204 | 0.000 % |
70.00/70.13 c | 94784 | 13658 58428 177321 | 2147483647 94784 204 | 0.000 % |
70.30/70.41 c | 95065 | 13658 58428 177321 | 2147483647 95065 204 | 0.000 % |
70.60/70.75 c | 95375 | 13658 58428 177321 | 2147483647 95375 204 | 0.000 % |
70.89/71.10 c | 95715 | 13658 58428 177321 | 2147483647 95715 204 | 0.000 % |
71.31/71.50 c | 96088 | 13658 58428 177321 | 2147483647 96088 204 | 0.000 % |
71.80/71.93 c | 96497 | 13658 58428 177321 | 2147483647 96497 204 | 0.000 % |
72.20/72.36 c | 96948 | 13658 58428 177321 | 2147483647 96948 204 | 0.000 % |
72.70/72.87 c | 97441 | 13658 58428 177321 | 2147483647 97441 204 | 0.000 % |
73.30/73.40 c | 97983 | 13658 58428 177321 | 2147483647 97983 204 | 0.000 % |
73.90/74.04 c | 98580 | 13658 58428 177321 | 2147483647 98580 204 | 0.000 % |
74.49/74.68 c | 99235 | 13658 58428 177321 | 2147483647 99235 205 | 0.000 % |
75.29/75.41 c | 99956 | 13658 58428 177321 | 2147483647 99956 205 | 0.000 % |
76.10/76.20 c | 100748 | 13658 58428 177321 | 2147483647 100748 205 | 0.000 % |
76.90/77.05 c | 101620 | 13658 58428 177321 | 2147483647 101620 205 | 0.000 % |
77.90/78.02 c | 102578 | 13658 58428 177321 | 2147483647 102578 205 | 0.000 % |
79.00/79.10 c | 103633 | 13658 58428 177321 | 2147483647 103633 206 | 0.000 % |
80.10/80.24 c | 104791 | 13658 58428 177321 | 2147483647 104791 206 | 0.000 % |
80.20/80.35 c | 104891 | 13658 58428 177321 | 2147483647 104891 206 | 0.000 % |
80.29/80.48 c | 105001 | 13658 58428 177321 | 2147483647 105001 206 | 0.000 % |
80.49/80.63 c | 105125 | 13658 58428 177321 | 2147483647 105125 206 | 0.000 % |
80.69/80.80 c | 105260 | 13658 58428 177321 | 2147483647 105260 206 | 0.000 % |
80.79/80.97 c | 105406 | 13658 58428 177321 | 2147483647 105406 206 | 0.000 % |
81.00/81.16 c | 105566 | 13658 58428 177321 | 2147483647 105566 206 | 0.000 % |
81.20/81.36 c | 105742 | 13658 58428 177321 | 2147483647 105742 206 | 0.000 % |
81.40/81.56 c | 105936 | 13658 58428 177321 | 2147483647 105936 206 | 0.000 % |
81.60/81.79 c | 106148 | 13658 58428 177321 | 2147483647 106148 206 | 0.000 % |
81.90/82.05 c | 106383 | 13658 58428 177321 | 2147483647 106383 206 | 0.000 % |
82.20/82.32 c | 106642 | 13658 58428 177321 | 2147483647 106642 206 | 0.000 % |
82.49/82.63 c | 106924 | 13658 58428 177321 | 2147483647 106924 206 | 0.000 % |
82.79/82.99 c | 107233 | 13658 58428 177321 | 2147483647 107233 206 | 0.000 % |
83.19/83.36 c | 107572 | 13658 58428 177321 | 2147483647 107572 206 | 0.000 % |
83.59/83.77 c | 107944 | 13658 58428 177321 | 2147483647 107944 206 | 0.000 % |
84.09/84.22 c | 108353 | 13658 58428 177321 | 2147483647 108353 206 | 0.000 % |
84.59/84.73 c | 108805 | 13658 58428 177321 | 2147483647 108805 206 | 0.000 % |
85.10/85.27 c | 109298 | 13658 58428 177321 | 2147483647 109298 206 | 0.000 % |
85.70/85.85 c | 109840 | 13658 58428 177321 | 2147483647 109840 206 | 0.000 % |
86.29/86.48 c | 110436 | 13658 58428 177321 | 2147483647 110436 206 | 0.000 % |
86.99/87.16 c | 111091 | 13658 58428 177321 | 2147483647 111091 206 | 0.000 % |
87.79/87.92 c | 111811 | 13658 58428 177321 | 2147483647 111811 206 | 0.000 % |
88.59/88.74 c | 112603 | 13658 58428 177321 | 2147483647 112603 206 | 0.000 % |
89.39/89.59 c | 113475 | 13658 58428 177321 | 2147483647 113475 206 | 0.000 % |
90.39/90.58 c | 114435 | 13658 58428 177321 | 2147483647 114435 206 | 0.000 % |
91.58/91.70 c | 115493 | 13658 58428 177321 | 2147483647 115493 206 | 0.000 % |
92.79/92.96 c | 116652 | 13658 58428 177321 | 2147483647 116652 206 | 0.000 % |
94.08/94.26 c | 117925 | 13658 58428 177321 | 2147483647 117925 206 | 0.000 % |
94.28/94.40 c | 118025 | 13658 58428 177321 | 2147483647 118025 206 | 0.000 % |
94.39/94.57 c | 118137 | 13658 58428 177321 | 2147483647 118137 206 | 0.000 % |
94.58/94.74 c | 118258 | 13658 58428 177321 | 2147483647 118258 206 | 0.000 % |
94.68/94.89 c | 118391 | 13658 58428 177321 | 2147483647 118391 206 | 0.000 % |
94.88/95.09 c | 118538 | 13658 58428 177321 | 2147483647 118538 206 | 0.000 % |
95.18/95.31 c | 118699 | 13658 58428 177321 | 2147483647 118699 206 | 0.000 % |
95.38/95.51 c | 118875 | 13658 58428 177321 | 2147483647 118875 206 | 0.000 % |
95.59/95.72 c | 119071 | 13658 58428 177321 | 2147483647 119071 206 | 0.000 % |
95.78/95.98 c | 119285 | 13658 58428 177321 | 2147483647 119285 206 | 0.000 % |
96.09/96.27 c | 119518 | 13658 58428 177321 | 2147483647 119518 206 | 0.000 % |
96.39/96.57 c | 119777 | 13658 58428 177321 | 2147483647 119777 206 | 0.000 % |
96.79/96.91 c | 120058 | 13658 58428 177321 | 2147483647 120058 206 | 0.000 % |
97.09/97.29 c | 120369 | 13658 58428 177321 | 2147483647 120369 206 | 0.000 % |
97.49/97.67 c | 120708 | 13658 58428 177321 | 2147483647 120708 207 | 0.000 % |
97.99/98.16 c | 121080 | 13658 58428 177321 | 2147483647 121080 206 | 0.000 % |
98.49/98.65 c | 121489 | 13658 58428 177321 | 2147483647 121489 207 | 0.000 % |
98.99/99.17 c | 121938 | 13658 58428 177321 | 2147483647 121938 206 | 0.000 % |
99.58/99.75 c | 122432 | 13658 58428 177321 | 2147483647 122432 206 | 0.000 % |
100.18/100.37 c | 122975 | 13658 58428 177321 | 2147483647 122975 206 | 0.000 % |
100.88/101.07 c | 123571 | 13658 58428 177321 | 2147483647 123571 207 | 0.000 % |
101.68/101.81 c | 124227 | 13658 58428 177321 | 2147483647 124227 207 | 0.000 % |
102.48/102.63 c | 124949 | 13658 58428 177321 | 2147483647 124949 207 | 0.000 % |
103.28/103.47 c | 125743 | 13658 58428 177321 | 2147483647 125743 207 | 0.000 % |
104.29/104.41 c | 126614 | 13658 58428 177321 | 2147483647 126614 207 | 0.000 % |
105.28/105.43 c | 127572 | 13658 58428 177321 | 2147483647 127572 207 | 0.000 % |
106.38/106.54 c | 128625 | 13658 58428 177321 | 2147483647 128625 208 | 0.000 % |
107.68/107.89 c | 129783 | 13658 58428 177321 | 2147483647 129783 208 | 0.000 % |
109.18/109.32 c | 131058 | 13658 58428 177321 | 2147483647 131058 209 | 0.000 % |
110.78/110.99 c | 132460 | 13658 58428 177321 | 2147483647 132460 209 | 0.000 % |
110.99/111.12 c | 132560 | 13658 58428 177321 | 2147483647 132560 209 | 0.000 % |
111.08/111.28 c | 132671 | 13658 58428 177321 | 2147483647 132671 209 | 0.000 % |
111.28/111.43 c | 132792 | 13658 58428 177321 | 2147483647 132792 209 | 0.000 % |
111.48/111.60 c | 132926 | 13658 58428 177321 | 2147483647 132926 209 | 0.000 % |
111.68/111.80 c | 133072 | 13658 58428 177321 | 2147483647 133072 209 | 0.000 % |
111.88/112.05 c | 133234 | 13658 58428 177321 | 2147483647 133234 209 | 0.000 % |
112.08/112.28 c | 133411 | 13658 58428 177321 | 2147483647 133411 209 | 0.000 % |
112.38/112.56 c | 133607 | 13658 58428 177321 | 2147483647 133607 209 | 0.000 % |
112.68/112.86 c | 133823 | 13658 58428 177321 | 2147483647 133823 208 | 0.000 % |
112.98/113.16 c | 134056 | 13658 58428 177321 | 2147483647 134056 209 | 0.000 % |
113.27/113.49 c | 134312 | 13658 58428 177321 | 2147483647 134312 208 | 0.000 % |
113.67/113.86 c | 134593 | 13658 58428 177321 | 2147483647 134593 208 | 0.000 % |
114.07/114.25 c | 134902 | 13658 58428 177321 | 2147483647 134902 208 | 0.000 % |
114.47/114.64 c | 135243 | 13658 58428 177321 | 2147483647 135243 208 | 0.000 % |
114.87/115.06 c | 135618 | 13658 58428 177321 | 2147483647 135618 208 | 0.000 % |
115.37/115.58 c | 136027 | 13658 58428 177321 | 2147483647 136027 208 | 0.000 % |
115.97/116.13 c | 136479 | 13658 58428 177321 | 2147483647 136479 209 | 0.000 % |
116.57/116.72 c | 136974 | 13658 58428 177321 | 2147483647 136974 209 | 0.000 % |
117.17/117.38 c | 137516 | 13658 58428 177321 | 2147483647 137516 209 | 0.000 % |
117.97/118.16 c | 138113 | 13658 58428 177321 | 2147483647 138113 209 | 0.000 % |
118.77/118.93 c | 138768 | 13658 58428 177321 | 2147483647 138768 209 | 0.000 % |
119.57/119.77 c | 139490 | 13658 58428 177321 | 2147483647 139490 209 | 0.000 % |
120.56/120.72 c | 140283 | 13658 58428 177321 | 2147483647 140283 209 | 0.000 % |
121.67/121.81 c | 141154 | 13658 58428 177321 | 2147483647 141154 209 | 0.000 % |
122.77/122.91 c | 142112 | 13658 58428 177321 | 2147483647 142112 209 | 0.000 % |
123.97/124.20 c | 143165 | 13658 58428 177321 | 2147483647 143165 209 | 0.000 % |
125.36/125.59 c | 144324 | 13658 58428 177321 | 2147483647 144324 209 | 0.000 % |
126.97/127.14 c | 145597 | 13658 58428 177321 | 2147483647 145597 210 | 0.000 % |
128.76/128.96 c | 146998 | 13658 58428 177321 | 2147483647 146998 210 | 0.000 % |
130.56/130.80 c | 148538 | 13658 58428 177321 | 2147483647 148538 210 | 0.000 % |
130.77/130.98 c | 148638 | 13658 58428 177321 | 2147483647 148638 210 | 0.000 % |
130.96/131.15 c | 148748 | 13658 58428 177321 | 2147483647 148748 210 | 0.000 % |
131.16/131.33 c | 148869 | 13658 58428 177321 | 2147483647 148869 210 | 0.000 % |
131.36/131.52 c | 149002 | 13658 58428 177321 | 2147483647 149002 210 | 0.000 % |
131.56/131.75 c | 149148 | 13658 58428 177321 | 2147483647 149148 210 | 0.000 % |
131.76/131.99 c | 149311 | 13658 58428 177321 | 2147483647 149311 210 | 0.000 % |
132.06/132.25 c | 149487 | 13658 58428 177321 | 2147483647 149487 210 | 0.000 % |
132.27/132.50 c | 149682 | 13658 58428 177321 | 2147483647 149682 210 | 0.000 % |
132.57/132.79 c | 149895 | 13658 58428 177321 | 2147483647 149895 210 | 0.000 % |
132.97/133.12 c | 150128 | 13658 58428 177321 | 2147483647 150128 210 | 0.000 % |
133.26/133.48 c | 150384 | 13658 58428 177321 | 2147483647 150384 210 | 0.000 % |
133.66/133.86 c | 150665 | 13658 58428 177321 | 2147483647 150665 210 | 0.000 % |
134.07/134.29 c | 150974 | 13658 58428 177321 | 2147483647 150974 210 | 0.000 % |
134.56/134.77 c | 151314 | 13658 58428 177321 | 2147483647 151314 210 | 0.000 % |
135.07/135.22 c | 151686 | 13658 58428 177321 | 2147483647 151686 210 | 0.000 % |
135.56/135.75 c | 152096 | 13658 58428 177321 | 2147483647 152096 210 | 0.000 % |
136.16/136.37 c | 152546 | 13658 58428 177321 | 2147483647 152546 210 | 0.000 % |
136.86/137.07 c | 153042 | 13658 58428 177321 | 2147483647 153042 210 | 0.000 % |
137.57/137.78 c | 153585 | 13658 58428 177321 | 2147483647 153585 210 | 0.000 % |
138.37/138.57 c | 154184 | 13658 58428 177321 | 2147483647 154184 210 | 0.000 % |
139.26/139.40 c | 154840 | 13658 58428 177321 | 2147483647 154840 210 | 0.000 % |
140.16/140.35 c | 155560 | 13658 58428 177321 | 2147483647 155560 210 | 0.000 % |
141.16/141.34 c | 156352 | 13658 58428 177321 | 2147483647 156352 210 | 0.000 % |
142.35/142.51 c | 157225 | 13658 58428 177321 | 2147483647 157225 210 | 0.000 % |
143.56/143.70 c | 158184 | 13658 58428 177321 | 2147483647 158184 210 | 0.000 % |
144.86/145.07 c | 159237 | 13658 58428 177321 | 2147483647 159237 211 | 0.000 % |
146.45/146.63 c | 160395 | 13658 58428 177321 | 2147483647 160395 211 | 0.000 % |
148.06/148.21 c | 161669 | 13658 58428 177321 | 2147483647 161669 211 | 0.000 % |
149.65/149.89 c | 163069 | 13658 58428 177321 | 2147483647 163069 211 | 0.000 % |
151.66/151.88 c | 164609 | 13658 58428 177321 | 2147483647 164609 212 | 0.000 % |
153.75/153.99 c | 166304 | 13658 58428 177321 | 2147483647 166304 213 | 0.000 % |
153.95/154.14 c | 166404 | 13658 58428 177321 | 2147483647 166404 213 | 0.000 % |
154.15/154.33 c | 166514 | 13658 58428 177321 | 2147483647 166514 213 | 0.000 % |
154.35/154.52 c | 166637 | 13658 58428 177321 | 2147483647 166637 213 | 0.000 % |
154.55/154.73 c | 166770 | 13658 58428 177321 | 2147483647 166770 213 | 0.000 % |
154.75/154.95 c | 166918 | 13658 58428 177321 | 2147483647 166918 213 | 0.000 % |
155.05/155.21 c | 167078 | 13658 58428 177321 | 2147483647 167078 213 | 0.000 % |
155.25/155.49 c | 167254 | 13658 58428 177321 | 2147483647 167254 213 | 0.000 % |
155.55/155.79 c | 167447 | 13658 58428 177321 | 2147483647 167447 213 | 0.000 % |
155.96/156.13 c | 167660 | 13658 58428 177321 | 2147483647 167660 213 | 0.000 % |
156.26/156.47 c | 167896 | 13658 58428 177321 | 2147483647 167896 213 | 0.000 % |
156.75/156.90 c | 168153 | 13658 58428 177321 | 2147483647 168153 213 | 0.000 % |
157.16/157.36 c | 168441 | 13658 58428 177321 | 2147483647 168441 213 | 0.000 % |
157.65/157.84 c | 168753 | 13658 58428 177321 | 2147483647 168753 213 | 0.000 % |
158.15/158.33 c | 169092 | 13658 58428 177321 | 2147483647 169092 213 | 0.000 % |
158.64/158.84 c | 169467 | 13658 58428 177321 | 2147483647 169467 213 | 0.000 % |
159.25/159.43 c | 169876 | 13658 58428 177321 | 2147483647 169876 213 | 0.000 % |
159.84/160.07 c | 170325 | 13658 58428 177321 | 2147483647 170325 213 | 0.000 % |
160.45/160.69 c | 170818 | 13658 58428 177321 | 2147483647 170818 213 | 0.000 % |
161.24/161.43 c | 171363 | 13658 58428 177321 | 2147483647 171363 213 | 0.000 % |
162.05/162.24 c | 171959 | 13658 58428 177321 | 2147483647 171959 213 | 0.000 % |
162.95/163.16 c | 172614 | 13658 58428 177321 | 2147483647 172614 213 | 0.000 % |
163.94/164.12 c | 173334 | 13658 58428 177321 | 2147483647 173334 213 | 0.000 % |
164.94/165.16 c | 174127 | 13658 58428 177321 | 2147483647 174127 213 | 0.000 % |
166.14/166.31 c | 175000 | 13658 58428 177321 | 2147483647 175000 213 | 0.000 % |
167.54/167.72 c | 175959 | 13658 58428 177321 | 2147483647 175959 213 | 0.000 % |
168.94/169.16 c | 177013 | 13658 58428 177321 | 2147483647 177013 213 | 0.000 % |
170.54/170.74 c | 178172 | 13658 58428 177321 | 2147483647 178172 213 | 0.000 % |
172.34/172.53 c | 179446 | 13658 58428 177321 | 2147483647 179446 213 | 0.000 % |
174.23/174.46 c | 180846 | 13658 58428 177321 | 2147483647 180846 213 | 0.000 % |
176.33/176.52 c | 182388 | 13658 58428 177321 | 2147483647 182388 214 | 0.000 % |
178.64/178.83 c | 184083 | 13658 58428 177321 | 2147483647 184083 214 | 0.000 % |
181.34/181.51 c | 185947 | 13658 58428 177321 | 2147483647 185947 215 | 0.000 % |
181.44/181.67 c | 186047 | 13658 58428 177321 | 2147483647 186047 215 | 0.000 % |
181.63/181.89 c | 186159 | 13658 58428 177321 | 2147483647 186159 214 | 0.000 % |
181.93/182.10 c | 186281 | 13658 58428 177321 | 2147483647 186281 214 | 0.000 % |
182.13/182.34 c | 186414 | 13658 58428 177321 | 2147483647 186414 214 | 0.000 % |
182.34/182.58 c | 186560 | 13658 58428 177321 | 2147483647 186560 214 | 0.000 % |
182.73/182.91 c | 186721 | 13658 58428 177321 | 2147483647 186721 214 | 0.000 % |
182.93/183.20 c | 186899 | 13658 58428 177321 | 2147483647 186899 214 | 0.000 % |
183.33/183.54 c | 187093 | 13658 58428 177321 | 2147483647 187093 214 | 0.000 % |
183.73/183.92 c | 187306 | 13658 58428 177321 | 2147483647 187306 214 | 0.000 % |
184.14/184.30 c | 187542 | 13658 58428 177321 | 2147483647 187542 214 | 0.000 % |
184.54/184.73 c | 187798 | 13658 58428 177321 | 2147483647 187798 214 | 0.000 % |
184.94/185.19 c | 188079 | 13658 58428 177321 | 2147483647 188079 214 | 0.000 % |
185.54/185.70 c | 188391 | 13658 58428 177321 | 2147483647 188391 214 | 0.000 % |
186.03/186.24 c | 188730 | 13658 58428 177321 | 2147483647 188730 214 | 0.000 % |
186.63/186.83 c | 189104 | 13658 58428 177321 | 2147483647 189104 214 | 0.000 % |
187.23/187.41 c | 189514 | 13658 58428 177321 | 2147483647 189514 214 | 0.000 % |
187.83/188.10 c | 189963 | 13658 58428 177321 | 2147483647 189963 214 | 0.000 % |
188.64/188.85 c | 190456 | 13658 58428 177321 | 2147483647 190456 214 | 0.000 % |
189.53/189.72 c | 190998 | 13658 58428 177321 | 2147483647 190998 214 | 0.000 % |
190.43/190.61 c | 191595 | 13658 58428 177321 | 2147483647 191595 214 | 0.000 % |
191.43/191.66 c | 192253 | 13658 58428 177321 | 2147483647 192253 214 | 0.000 % |
192.53/192.75 c | 192973 | 13658 58428 177321 | 2147483647 192973 214 | 0.000 % |
193.73/193.94 c | 193766 | 13658 58428 177321 | 2147483647 193766 214 | 0.000 % |
195.13/195.32 c | 194640 | 13658 58428 177321 | 2147483647 194640 214 | 0.000 % |
196.43/196.70 c | 195598 | 13658 58428 177321 | 2147483647 195598 214 | 0.000 % |
198.03/198.27 c | 196652 | 13658 58428 177321 | 2147483647 196652 215 | 0.000 % |
199.62/199.88 c | 197810 | 13658 58428 177321 | 2147483647 197810 215 | 0.000 % |
201.63/201.84 c | 199084 | 13658 58428 177321 | 2147483647 199084 215 | 0.000 % |
203.72/203.94 c | 200484 | 13658 58428 177321 | 2147483647 200484 216 | 0.000 % |
206.01/206.24 c | 202025 | 13658 58428 177321 | 2147483647 202025 216 | 0.000 % |
208.62/208.85 c | 203719 | 13658 58428 177321 | 2147483647 203719 216 | 0.000 % |
211.31/211.52 c | 205582 | 13658 58428 177321 | 2147483647 205582 216 | 0.000 % |
214.31/214.59 c | 207631 | 13658 58428 177321 | 2147483647 207631 216 | 0.000 % |
214.52/214.77 c | 207733 | 13658 58428 177321 | 2147483647 207733 216 | 0.000 % |
214.81/215.01 c | 207844 | 13658 58428 177321 | 2147483647 207844 216 | 0.000 % |
214.91/215.19 c | 207968 | 13658 58428 177321 | 2147483647 207968 216 | 0.000 % |
215.21/215.46 c | 208101 | 13658 58428 177321 | 2147483647 208101 216 | 0.000 % |
215.51/215.72 c | 208248 | 13658 58428 177321 | 2147483647 208248 216 | 0.000 % |
215.71/215.99 c | 208409 | 13658 58428 177321 | 2147483647 208409 216 | 0.000 % |
216.11/216.31 c | 208586 | 13658 58428 177321 | 2147483647 208586 216 | 0.000 % |
216.42/216.65 c | 208780 | 13658 58428 177321 | 2147483647 208780 216 | 0.000 % |
216.81/217.06 c | 208994 | 13658 58428 177321 | 2147483647 208994 216 | 0.000 % |
217.21/217.48 c | 209228 | 13658 58428 177321 | 2147483647 209228 216 | 0.000 % |
217.71/217.92 c | 209484 | 13658 58428 177321 | 2147483647 209484 216 | 0.000 % |
218.21/218.42 c | 209766 | 13658 58428 177321 | 2147483647 209766 216 | 0.000 % |
218.71/218.95 c | 210075 | 13658 58428 177321 | 2147483647 210075 216 | 0.000 % |
219.31/219.50 c | 210415 | 13658 58428 177321 | 2147483647 210415 216 | 0.000 % |
219.90/220.11 c | 210787 | 13658 58428 177321 | 2147483647 210787 216 | 0.000 % |
220.50/220.78 c | 211197 | 13658 58428 177321 | 2147483647 211197 216 | 0.000 % |
221.30/221.54 c | 211646 | 13658 58428 177321 | 2147483647 211646 216 | 0.000 % |
222.11/222.35 c | 212141 | 13658 58428 177321 | 2147483647 212141 216 | 0.000 % |
223.01/223.23 c | 212683 | 13658 58428 177321 | 2147483647 212683 216 | 0.000 % |
223.91/224.18 c | 213279 | 13658 58428 177321 | 2147483647 213279 216 | 0.000 % |
225.00/225.23 c | 213935 | 13658 58428 177321 | 2147483647 213935 216 | 0.000 % |
226.10/226.33 c | 214657 | 13658 58428 177321 | 2147483647 214657 216 | 0.000 % |
227.41/227.69 c | 215449 | 13658 58428 177321 | 2147483647 215449 216 | 0.000 % |
228.91/229.13 c | 216320 | 13658 58428 177321 | 2147483647 216320 216 | 0.000 % |
230.40/230.66 c | 217278 | 13658 58428 177321 | 2147483647 217278 216 | 0.000 % |
232.00/232.29 c | 218331 | 13658 58428 177321 | 2147483647 218331 217 | 0.000 % |
233.90/234.14 c | 219489 | 13658 58428 177321 | 2147483647 219489 217 | 0.000 % |
235.90/236.14 c | 220764 | 13658 58428 177321 | 2147483647 220764 217 | 0.000 % |
238.00/238.24 c | 222164 | 13658 58428 177321 | 2147483647 222164 217 | 0.000 % |
240.30/240.54 c | 223707 | 13658 58428 177321 | 2147483647 223707 217 | 0.000 % |
243.10/243.39 c | 225403 | 13658 58428 177321 | 2147483647 225403 218 | 0.000 % |
246.29/246.51 c | 227267 | 13658 58428 177321 | 2147483647 227267 218 | 0.000 % |
249.50/249.73 c | 229316 | 13658 58428 177321 | 2147483647 229316 218 | 0.000 % |
252.99/253.21 c | 231569 | 13658 58428 177321 | 2147483647 231569 219 | 0.000 % |
253.19/253.42 c | 231670 | 13658 58428 177321 | 2147483647 231670 219 | 0.000 % |
253.39/253.64 c | 231780 | 13658 58428 177321 | 2147483647 231780 219 | 0.000 % |
253.59/253.87 c | 231901 | 13658 58428 177321 | 2147483647 231901 219 | 0.000 % |
253.89/254.13 c | 232034 | 13658 58428 177321 | 2147483647 232034 219 | 0.000 % |
254.19/254.46 c | 232181 | 13658 58428 177321 | 2147483647 232181 219 | 0.000 % |
254.49/254.73 c | 232341 | 13658 58428 177321 | 2147483647 232341 219 | 0.000 % |
254.79/255.05 c | 232518 | 13658 58428 177321 | 2147483647 232518 219 | 0.000 % |
255.18/255.44 c | 232713 | 13658 58428 177321 | 2147483647 232713 219 | 0.000 % |
255.58/255.86 c | 232925 | 13658 58428 177321 | 2147483647 232925 219 | 0.000 % |
256.10/256.34 c | 233160 | 13658 58428 177321 | 2147483647 233160 219 | 0.000 % |
256.59/256.81 c | 233416 | 13658 58428 177321 | 2147483647 233416 219 | 0.000 % |
257.09/257.34 c | 233697 | 13658 58428 177321 | 2147483647 233697 219 | 0.000 % |
257.59/257.89 c | 234006 | 13658 58428 177321 | 2147483647 234006 219 | 0.000 % |
258.29/258.59 c | 234346 | 13658 58428 177321 | 2147483647 234346 219 | 0.000 % |
258.99/259.30 c | 234720 | 13658 58428 177321 | 2147483647 234720 218 | 0.000 % |
259.79/260.02 c | 235131 | 13658 58428 177321 | 2147483647 235131 219 | 0.000 % |
260.58/260.82 c | 235581 | 13658 58428 177321 | 2147483647 235581 219 | 0.000 % |
261.38/261.70 c | 236074 | 13658 58428 177321 | 2147483647 236074 219 | 0.000 % |
262.38/262.66 c | 236617 | 13658 58428 177321 | 2147483647 236617 219 | 0.000 % |
263.38/263.65 c | 237217 | 13658 58428 177321 | 2147483647 237217 219 | 0.000 % |
264.48/264.76 c | 237872 | 13658 58428 177321 | 2147483647 237872 219 | 0.000 % |
265.79/266.00 c | 238593 | 13658 58428 177321 | 2147483647 238593 219 | 0.000 % |
267.09/267.38 c | 239387 | 13658 58428 177321 | 2147483647 239387 219 | 0.000 % |
268.68/268.93 c | 240260 | 13658 58428 177321 | 2147483647 240260 219 | 0.000 % |
270.18/270.48 c | 241220 | 13658 58428 177321 | 2147483647 241220 219 | 0.000 % |
271.98/272.20 c | 242273 | 13658 58428 177321 | 2147483647 242273 219 | 0.000 % |
273.78/274.04 c | 243433 | 13658 58428 177321 | 2147483647 243433 220 | 0.000 % |
275.98/276.26 c | 244706 | 13658 58428 177321 | 2147483647 244706 220 | 0.000 % |
278.38/278.67 c | 246106 | 13658 58428 177321 | 2147483647 246106 220 | 0.000 % |
280.88/281.17 c | 247647 | 13658 58428 177321 | 2147483647 247647 220 | 0.000 % |
283.78/284.03 c | 249341 | 13658 58428 177321 | 2147483647 249341 220 | 0.000 % |
286.88/287.16 c | 251208 | 13658 58428 177321 | 2147483647 251208 220 | 0.000 % |
290.37/290.67 c | 253257 | 13658 58428 177321 | 2147483647 253257 220 | 0.000 % |
294.26/294.55 c | 255512 | 13658 58428 177321 | 2147483647 255512 221 | 0.000 % |
298.56/298.89 c | 257990 | 13658 58428 177321 | 2147483647 257990 221 | 0.000 % |
298.87/299.13 c | 258090 | 13658 58428 177321 | 2147483647 258090 221 | 0.000 % |
299.16/299.40 c | 258200 | 13658 58428 177321 | 2147483647 258200 221 | 0.000 % |
299.36/299.63 c | 258321 | 13658 58428 177321 | 2147483647 258321 221 | 0.000 % |
299.66/299.91 c | 258455 | 13658 58428 177321 | 2147483647 258455 221 | 0.000 % |
299.96/300.25 c | 258604 | 13658 58428 177321 | 2147483647 258604 221 | 0.000 % |
300.36/300.63 c | 258764 | 13658 58428 177321 | 2147483647 258764 221 | 0.000 % |
300.76/301.00 c | 258941 | 13658 58428 177321 | 2147483647 258941 221 | 0.000 % |
301.16/301.43 c | 259134 | 13658 58428 177321 | 2147483647 259134 221 | 0.000 % |
301.55/301.85 c | 259347 | 13658 58428 177321 | 2147483647 259347 221 | 0.000 % |
302.05/302.36 c | 259580 | 13658 58428 177321 | 2147483647 259580 221 | 0.000 % |
302.65/302.91 c | 259838 | 13658 58428 177321 | 2147483647 259838 221 | 0.000 % |
303.15/303.46 c | 260119 | 13658 58428 177321 | 2147483647 260119 221 | 0.000 % |
303.75/304.01 c | 260430 | 13658 58428 177321 | 2147483647 260430 221 | 0.000 % |
304.35/304.64 c | 260769 | 13658 58428 177321 | 2147483647 260769 221 | 0.000 % |
305.06/305.35 c | 261142 | 13658 58428 177321 | 2147483647 261142 221 | 0.000 % |
305.86/306.14 c | 261551 | 13658 58428 177321 | 2147483647 261551 221 | 0.000 % |
306.75/307.06 c | 262001 | 13658 58428 177321 | 2147483647 262001 221 | 0.000 % |
307.75/308.04 c | 262495 | 13658 58428 177321 | 2147483647 262495 221 | 0.000 % |
308.76/309.06 c | 263038 | 13658 58428 177321 | 2147483647 263038 221 | 0.000 % |
309.96/310.23 c | 263634 | 13658 58428 177321 | 2147483647 263634 221 | 0.000 % |
311.15/311.46 c | 264291 | 13658 58428 177321 | 2147483647 264291 221 | 0.000 % |
312.54/312.86 c | 265011 | 13658 58428 177321 | 2147483647 265011 221 | 0.000 % |
314.05/314.35 c | 265807 | 13658 58428 177321 | 2147483647 265807 221 | 0.000 % |
315.75/316.03 c | 266680 | 13658 58428 177321 | 2147483647 266680 221 | 0.000 % |
317.65/317.93 c | 267638 | 13658 58428 177321 | 2147483647 267638 221 | 0.000 % |
319.45/319.76 c | 268696 | 13658 58428 177321 | 2147483647 268696 221 | 0.000 % |
321.54/321.89 c | 269854 | 13658 58428 177321 | 2147483647 269854 221 | 0.000 % |
323.75/324.08 c | 271128 | 13658 58428 177321 | 2147483647 271128 221 | 0.000 % |
326.35/326.67 c | 272530 | 13658 58428 177321 | 2147483647 272530 221 | 0.000 % |
329.44/329.70 c | 274071 | 13658 58428 177321 | 2147483647 274071 222 | 0.000 % |
332.74/333.03 c | 275765 | 13658 58428 177321 | 2147483647 275765 222 | 0.000 % |
335.94/336.26 c | 277628 | 13658 58428 177321 | 2147483647 277628 222 | 0.000 % |
339.73/340.05 c | 279677 | 13658 58428 177321 | 2147483647 279677 222 | 0.000 % |
343.72/344.01 c | 281935 | 13658 58428 177321 | 2147483647 281935 223 | 0.000 % |
348.22/348.54 c | 284413 | 13658 58428 177321 | 2147483647 284413 223 | 0.000 % |
353.53/353.86 c | 287138 | 13658 58428 177321 | 2147483647 287138 223 | 0.000 % |
353.73/354.09 c | 287239 | 13658 58428 177321 | 2147483647 287239 223 | 0.000 % |
354.02/354.35 c | 287350 | 13658 58428 177321 | 2147483647 287350 223 | 0.000 % |
354.32/354.66 c | 287471 | 13658 58428 177321 | 2147483647 287471 223 | 0.000 % |
354.72/355.01 c | 287605 | 13658 58428 177321 | 2147483647 287605 223 | 0.000 % |
355.03/355.34 c | 287752 | 13658 58428 177321 | 2147483647 287752 223 | 0.000 % |
355.42/355.70 c | 287917 | 13658 58428 177321 | 2147483647 287917 223 | 0.000 % |
355.72/356.09 c | 288093 | 13658 58428 177321 | 2147483647 288093 223 | 0.000 % |
356.22/356.56 c | 288286 | 13658 58428 177321 | 2147483647 288286 223 | 0.000 % |
356.72/357.05 c | 288498 | 13658 58428 177321 | 2147483647 288498 223 | 0.000 % |
357.22/357.57 c | 288733 | 13658 58428 177321 | 2147483647 288733 223 | 0.000 % |
357.82/358.11 c | 288989 | 13658 58428 177321 | 2147483647 288989 223 | 0.000 % |
358.42/358.72 c | 289272 | 13658 58428 177321 | 2147483647 289272 223 | 0.000 % |
359.12/359.40 c | 289581 | 13658 58428 177321 | 2147483647 289581 223 | 0.000 % |
359.82/360.15 c | 289922 | 13658 58428 177321 | 2147483647 289922 223 | 0.000 % |
360.62/360.95 c | 290295 | 13658 58428 177321 | 2147483647 290295 223 | 0.000 % |
361.42/361.77 c | 290706 | 13658 58428 177321 | 2147483647 290706 223 | 0.000 % |
362.32/362.64 c | 291155 | 13658 58428 177321 | 2147483647 291155 223 | 0.000 % |
363.22/363.56 c | 291650 | 13658 58428 177321 | 2147483647 291650 223 | 0.000 % |
364.32/364.65 c | 292194 | 13658 58428 177321 | 2147483647 292194 223 | 0.000 % |
365.42/365.79 c | 292790 | 13658 58428 177321 | 2147483647 292790 223 | 0.000 % |
366.72/367.02 c | 293446 | 13658 58428 177321 | 2147483647 293446 223 | 0.000 % |
368.12/368.44 c | 294166 | 13658 58428 177321 | 2147483647 294166 223 | 0.000 % |
369.72/370.04 c | 294959 | 13658 58428 177321 | 2147483647 294959 223 | 0.000 % |
371.31/371.60 c | 295832 | 13658 58428 177321 | 2147483647 295832 223 | 0.000 % |
373.12/373.43 c | 296790 | 13658 58428 177321 | 2147483647 296790 223 | 0.000 % |
375.02/375.34 c | 297847 | 13658 58428 177321 | 2147483647 297847 223 | 0.000 % |
377.32/377.64 c | 299006 | 13658 58428 177321 | 2147483647 299006 223 | 0.000 % |
380.02/380.31 c | 300280 | 13658 58428 177321 | 2147483647 300280 223 | 0.000 % |
382.70/383.09 c | 301682 | 13658 58428 177321 | 2147483647 301682 223 | 0.000 % |
385.80/386.11 c | 303222 | 13658 58428 177321 | 2147483647 303222 223 | 0.000 % |
389.00/389.36 c | 304916 | 13658 58428 177321 | 2147483647 304916 224 | 0.000 % |
392.49/392.84 c | 306781 | 13658 58428 177321 | 2147483647 306781 224 | 0.000 % |
396.39/396.79 c | 308831 | 13658 58428 177321 | 2147483647 308831 224 | 0.000 % |
400.79/401.16 c | 311084 | 13658 58428 177321 | 2147483647 311084 225 | 0.000 % |
405.59/405.99 c | 313562 | 13658 58428 177321 | 2147483647 313562 225 | 0.000 % |
411.29/411.63 c | 316288 | 13658 58428 177321 | 2147483647 316288 225 | 0.000 % |
417.18/417.53 c | 319286 | 13658 58428 177321 | 2147483647 319286 226 | 0.000 % |
417.48/417.80 c | 319387 | 13658 58428 177321 | 2147483647 319387 226 | 0.000 % |
417.68/418.05 c | 319498 | 13658 58428 177321 | 2147483647 319498 226 | 0.000 % |
417.98/418.34 c | 319620 | 13658 58428 177321 | 2147483647 319620 225 | 0.000 % |
418.28/418.68 c | 319756 | 13658 58428 177321 | 2147483647 319756 225 | 0.000 % |
418.68/419.05 c | 319906 | 13658 58428 177321 | 2147483647 319906 225 | 0.000 % |
419.08/419.45 c | 320068 | 13658 58428 177321 | 2147483647 320068 225 | 0.000 % |
419.58/419.94 c | 320244 | 13658 58428 177321 | 2147483647 320244 225 | 0.000 % |
419.98/420.40 c | 320437 | 13658 58428 177321 | 2147483647 320437 225 | 0.000 % |
420.58/420.91 c | 320649 | 13658 58428 177321 | 2147483647 320649 225 | 0.000 % |
421.07/421.49 c | 320884 | 13658 58428 177321 | 2147483647 320884 225 | 0.000 % |
421.78/422.11 c | 321141 | 13658 58428 177321 | 2147483647 321141 225 | 0.000 % |
422.48/422.80 c | 321422 | 13658 58428 177321 | 2147483647 321422 225 | 0.000 % |
423.18/423.54 c | 321731 | 13658 58428 177321 | 2147483647 321731 225 | 0.000 % |
423.88/424.28 c | 322071 | 13658 58428 177321 | 2147483647 322071 225 | 0.000 % |
424.77/425.13 c | 322443 | 13658 58428 177321 | 2147483647 322443 225 | 0.000 % |
425.68/426.06 c | 322854 | 13658 58428 177321 | 2147483647 322854 225 | 0.000 % |
426.68/427.09 c | 323304 | 13658 58428 177321 | 2147483647 323304 225 | 0.000 % |
427.87/428.28 c | 323797 | 13658 58428 177321 | 2147483647 323797 225 | 0.000 % |
429.26/429.61 c | 324340 | 13658 58428 177321 | 2147483647 324340 225 | 0.000 % |
430.66/431.03 c | 324939 | 13658 58428 177321 | 2147483647 324939 225 | 0.000 % |
432.16/432.53 c | 325596 | 13658 58428 177321 | 2147483647 325596 225 | 0.000 % |
433.75/434.14 c | 326317 | 13658 58428 177321 | 2147483647 326317 225 | 0.000 % |
435.35/435.73 c | 327109 | 13658 58428 177321 | 2147483647 327109 225 | 0.000 % |
437.15/437.58 c | 327981 | 13658 58428 177321 | 2147483647 327981 225 | 0.000 % |
439.25/439.60 c | 328940 | 13658 58428 177321 | 2147483647 328940 225 | 0.000 % |
441.55/441.94 c | 329993 | 13658 58428 177321 | 2147483647 329993 225 | 0.000 % |
444.05/444.40 c | 331151 | 13658 58428 177321 | 2147483647 331151 225 | 0.000 % |
446.65/447.05 c | 332429 | 13658 58428 177321 | 2147483647 332429 226 | 0.000 % |
449.74/450.12 c | 333833 | 13658 58428 177321 | 2147483647 333833 226 | 0.000 % |
452.75/453.17 c | 335373 | 13658 58428 177321 | 2147483647 335373 226 | 0.000 % |
456.35/456.73 c | 337068 | 13658 58428 177321 | 2147483647 337068 226 | 0.000 % |
460.34/460.71 c | 338933 | 13658 58428 177321 | 2147483647 338933 226 | 0.000 % |
464.64/465.03 c | 340982 | 13658 58428 177321 | 2147483647 340982 227 | 0.000 % |
469.04/469.49 c | 343235 | 13658 58428 177321 | 2147483647 343235 227 | 0.000 % |
474.33/474.72 c | 345714 | 13658 58428 177321 | 2147483647 345714 227 | 0.000 % |
480.41/480.81 c | 348439 | 13658 58428 177321 | 2147483647 348439 228 | 0.000 % |
486.61/487.08 c | 351438 | 13658 58428 177321 | 2147483647 351438 228 | 0.000 % |
493.61/494.04 c | 354735 | 13658 58428 177321 | 2147483647 354735 228 | 0.000 % |
493.81/494.28 c | 354837 | 13658 58428 177321 | 2147483647 354837 228 | 0.000 % |
494.21/494.60 c | 354947 | 13658 58428 177321 | 2147483647 354947 228 | 0.000 % |
494.52/495.00 c | 355070 | 13658 58428 177321 | 2147483647 355070 228 | 0.000 % |
494.91/495.38 c | 355204 | 13658 58428 177321 | 2147483647 355204 228 | 0.000 % |
495.41/495.84 c | 355351 | 13658 58428 177321 | 2147483647 355351 228 | 0.000 % |
495.81/496.27 c | 355511 | 13658 58428 177321 | 2147483647 355511 228 | 0.000 % |
496.31/496.79 c | 355692 | 13658 58428 177321 | 2147483647 355692 228 | 0.000 % |
496.81/497.28 c | 355887 | 13658 58428 177321 | 2147483647 355887 228 | 0.000 % |
497.41/497.86 c | 356100 | 13658 58428 177321 | 2147483647 356100 228 | 0.000 % |
498.01/498.44 c | 356335 | 13658 58428 177321 | 2147483647 356335 228 | 0.000 % |
498.71/499.16 c | 356593 | 13658 58428 177321 | 2147483647 356593 228 | 0.000 % |
499.51/499.95 c | 356874 | 13658 58428 177321 | 2147483647 356874 228 | 0.000 % |
500.41/500.80 c | 357183 | 13658 58428 177321 | 2147483647 357183 228 | 0.000 % |
501.11/501.60 c | 357522 | 13658 58428 177321 | 2147483647 357522 228 | 0.000 % |
502.21/502.64 c | 357895 | 13658 58428 177321 | 2147483647 357895 228 | 0.000 % |
503.21/503.69 c | 358307 | 13658 58428 177321 | 2147483647 358307 228 | 0.000 % |
504.41/504.87 c | 358756 | 13658 58428 177321 | 2147483647 358756 228 | 0.000 % |
505.61/506.03 c | 359249 | 13658 58428 177321 | 2147483647 359249 228 | 0.000 % |
506.80/507.27 c | 359794 | 13658 58428 177321 | 2147483647 359794 228 | 0.000 % |
508.11/508.56 c | 360390 | 13658 58428 177321 | 2147483647 360390 228 | 0.000 % |
509.71/510.12 c | 361045 | 13658 58428 177321 | 2147483647 361045 228 | 0.000 % |
511.50/511.94 c | 361766 | 13658 58428 177321 | 2147483647 361766 228 | 0.000 % |
513.20/513.69 c | 362559 | 13658 58428 177321 | 2147483647 362559 228 | 0.000 % |
515.20/515.68 c | 363432 | 13658 58428 177321 | 2147483647 363432 228 | 0.000 % |
517.40/517.82 c | 364394 | 13658 58428 177321 | 2147483647 364394 228 | 0.000 % |
519.69/520.19 c | 365447 | 13658 58428 177321 | 2147483647 365447 228 | 0.000 % |
522.48/522.94 c | 366606 | 13658 58428 177321 | 2147483647 366606 228 | 0.000 % |
525.28/525.77 c | 367879 | 13658 58428 177321 | 2147483647 367879 229 | 0.000 % |
528.57/529.02 c | 369279 | 13658 58428 177321 | 2147483647 369279 229 | 0.000 % |
531.98/532.49 c | 370820 | 13658 58428 177321 | 2147483647 370820 229 | 0.000 % |
535.77/536.25 c | 372514 | 13658 58428 177321 | 2147483647 372514 229 | 0.000 % |
540.07/540.50 c | 374377 | 13658 58428 177321 | 2147483647 374377 229 | 0.000 % |
544.46/544.90 c | 376426 | 13658 58428 177321 | 2147483647 376426 229 | 0.000 % |
549.57/550.01 c | 378680 | 13658 58428 177321 | 2147483647 378680 230 | 0.000 % |
555.16/555.63 c | 381158 | 13658 58428 177321 | 2147483647 381158 230 | 0.000 % |
561.36/561.86 c | 383884 | 13658 58428 177321 | 2147483647 383884 230 | 0.000 % |
568.35/568.87 c | 386885 | 13658 58428 177321 | 2147483647 386885 230 | 0.000 % |
575.95/576.41 c | 390181 | 13658 58428 177321 | 2147483647 390181 231 | 0.000 % |
584.24/584.74 c | 393807 | 13658 58428 177321 | 2147483647 393807 231 | 0.000 % |
584.54/585.02 c | 393907 | 13658 58428 177321 | 2147483647 393907 231 | 0.000 % |
584.84/585.37 c | 394019 | 13658 58428 177321 | 2147483647 394019 231 | 0.000 % |
585.24/585.78 c | 394140 | 13658 58428 177321 | 2147483647 394140 231 | 0.000 % |
585.75/586.21 c | 394273 | 13658 58428 177321 | 2147483647 394273 231 | 0.000 % |
586.14/586.63 c | 394419 | 13658 58428 177321 | 2147483647 394419 231 | 0.000 % |
586.64/587.16 c | 394579 | 13658 58428 177321 | 2147483647 394579 231 | 0.000 % |
587.24/587.73 c | 394759 | 13658 58428 177321 | 2147483647 394759 231 | 0.000 % |
587.84/588.34 c | 394952 | 13658 58428 177321 | 2147483647 394952 231 | 0.000 % |
588.54/589.00 c | 395164 | 13658 58428 177321 | 2147483647 395164 231 | 0.000 % |
589.14/589.61 c | 395397 | 13658 58428 177321 | 2147483647 395397 231 | 0.000 % |
589.84/590.34 c | 395654 | 13658 58428 177321 | 2147483647 395654 231 | 0.000 % |
590.54/591.09 c | 395937 | 13658 58428 177321 | 2147483647 395937 231 | 0.000 % |
591.44/591.93 c | 396248 | 13658 58428 177321 | 2147483647 396248 231 | 0.000 % |
592.34/592.88 c | 396588 | 13658 58428 177321 | 2147483647 396588 231 | 0.000 % |
593.44/593.92 c | 396961 | 13658 58428 177321 | 2147483647 396961 231 | 0.000 % |
594.44/595.00 c | 397370 | 13658 58428 177321 | 2147483647 397370 231 | 0.000 % |
595.65/596.15 c | 397820 | 13658 58428 177321 | 2147483647 397820 231 | 0.000 % |
596.85/597.38 c | 398314 | 13658 58428 177321 | 2147483647 398314 231 | 0.000 % |
598.14/598.70 c | 398856 | 13658 58428 177321 | 2147483647 398856 231 | 0.000 % |
599.54/600.09 c | 399452 | 13658 58428 177321 | 2147483647 399452 231 | 0.000 % |
601.24/601.75 c | 400109 | 13658 58428 177321 | 2147483647 400109 231 | 0.000 % |
602.94/603.50 c | 400829 | 13658 58428 177321 | 2147483647 400829 231 | 0.000 % |
604.93/605.47 c | 401623 | 13658 58428 177321 | 2147483647 401623 231 | 0.000 % |
607.13/607.63 c | 402494 | 13658 58428 177321 | 2147483647 402494 231 | 0.000 % |
609.53/610.03 c | 403452 | 13658 58428 177321 | 2147483647 403452 231 | 0.000 % |
612.23/612.78 c | 404506 | 13658 58428 177321 | 2147483647 404506 231 | 0.000 % |
615.12/615.69 c | 405665 | 13658 58428 177321 | 2147483647 405665 231 | 0.000 % |
618.23/618.70 c | 406939 | 13658 58428 177321 | 2147483647 406939 231 | 0.000 % |
621.52/622.09 c | 408339 | 13658 58428 177321 | 2147483647 408339 231 | 0.000 % |
625.33/625.88 c | 409880 | 13658 58428 177321 | 2147483647 409880 231 | 0.000 % |
629.62/630.11 c | 411574 | 13658 58428 177321 | 2147483647 411574 231 | 0.000 % |
634.42/634.97 c | 413437 | 13658 58428 177321 | 2147483647 413437 231 | 0.000 % |
639.22/639.74 c | 415486 | 13658 58428 177321 | 2147483647 415486 232 | 0.000 % |
644.51/645.09 c | 417739 | 13658 58428 177321 | 2147483647 417739 232 | 0.000 % |
650.51/651.07 c | 420218 | 13658 58428 177321 | 2147483647 420218 232 | 0.000 % |
657.70/658.22 c | 422943 | 13658 58428 177321 | 2147483647 422943 233 | 0.000 % |
665.10/665.67 c | 425944 | 13658 58428 177321 | 2147483647 425944 233 | 0.000 % |
672.99/673.55 c | 429240 | 13658 58428 177321 | 2147483647 429240 233 | 0.000 % |
681.88/682.40 c | 432865 | 13658 58428 177321 | 2147483647 432865 234 | 0.000 % |
692.08/692.66 c | 436852 | 13658 58428 177321 | 2147483647 436852 234 | 0.000 % |
692.38/692.99 c | 436952 | 13658 58428 177321 | 2147483647 436952 234 | 0.000 % |
692.88/693.40 c | 437063 | 13658 58428 177321 | 2147483647 437063 234 | 0.000 % |
693.28/693.87 c | 437186 | 13658 58428 177321 | 2147483647 437186 234 | 0.000 % |
693.68/694.28 c | 437319 | 13658 58428 177321 | 2147483647 437319 234 | 0.000 % |
694.18/694.78 c | 437466 | 13658 58428 177321 | 2147483647 437466 234 | 0.000 % |
694.79/695.33 c | 437627 | 13658 58428 177321 | 2147483647 437627 234 | 0.000 % |
695.38/695.92 c | 437804 | 13658 58428 177321 | 2147483647 437804 234 | 0.000 % |
695.98/696.59 c | 437998 | 13658 58428 177321 | 2147483647 437998 234 | 0.000 % |
696.68/697.27 c | 438211 | 13658 58428 177321 | 2147483647 438211 234 | 0.000 % |
697.38/697.99 c | 438444 | 13658 58428 177321 | 2147483647 438444 234 | 0.000 % |
698.17/698.78 c | 438700 | 13658 58428 177321 | 2147483647 438700 234 | 0.000 % |
699.17/699.71 c | 438981 | 13658 58428 177321 | 2147483647 438981 234 | 0.000 % |
699.97/700.59 c | 439290 | 13658 58428 177321 | 2147483647 439290 234 | 0.000 % |
700.96/701.59 c | 439630 | 13658 58428 177321 | 2147483647 439630 234 | 0.000 % |
701.96/702.60 c | 440002 | 13658 58428 177321 | 2147483647 440002 234 | 0.000 % |
703.27/703.87 c | 440411 | 13658 58428 177321 | 2147483647 440411 234 | 0.000 % |
704.58/705.13 c | 440861 | 13658 58428 177321 | 2147483647 440861 234 | 0.000 % |
706.07/706.66 c | 441354 | 13658 58428 177321 | 2147483647 441354 234 | 0.000 % |
707.57/708.19 c | 441897 | 13658 58428 177321 | 2147483647 441897 234 | 0.000 % |
709.27/709.80 c | 442494 | 13658 58428 177321 | 2147483647 442494 234 | 0.000 % |
710.96/711.60 c | 443149 | 13658 58428 177321 | 2147483647 443149 234 | 0.000 % |
712.96/713.56 c | 443870 | 13658 58428 177321 | 2147483647 443870 234 | 0.000 % |
714.96/715.52 c | 444664 | 13658 58428 177321 | 2147483647 444664 234 | 0.000 % |
717.26/717.84 c | 445536 | 13658 58428 177321 | 2147483647 445536 234 | 0.000 % |
719.97/720.53 c | 446497 | 13658 58428 177321 | 2147483647 446497 234 | 0.000 % |
722.85/723.45 c | 447550 | 13658 58428 177321 | 2147483647 447550 234 | 0.000 % |
726.15/726.77 c | 448708 | 13658 58428 177321 | 2147483647 448708 234 | 0.000 % |
729.75/730.36 c | 449982 | 13658 58428 177321 | 2147483647 449982 234 | 0.000 % |
733.66/734.27 c | 451382 | 13658 58428 177321 | 2147483647 451382 234 | 0.000 % |
737.65/738.30 c | 452922 | 13658 58428 177321 | 2147483647 452922 234 | 0.000 % |
742.15/742.72 c | 454616 | 13658 58428 177321 | 2147483647 454616 234 | 0.000 % |
747.14/747.79 c | 456479 | 13658 58428 177321 | 2147483647 456479 234 | 0.000 % |
752.43/753.05 c | 458529 | 13658 58428 177321 | 2147483647 458529 234 | 0.000 % |
758.44/759.09 c | 460782 | 13658 58428 177321 | 2147483647 460782 235 | 0.000 % |
764.94/765.57 c | 463261 | 13658 58428 177321 | 2147483647 463261 235 | 0.000 % |
772.43/773.02 c | 465987 | 13658 58428 177321 | 2147483647 465987 235 | 0.000 % |
779.92/780.58 c | 468985 | 13658 58428 177321 | 2147483647 468985 235 | 0.000 % |
788.62/789.20 c | 472281 | 13658 58428 177321 | 2147483647 472281 236 | 0.000 % |
798.11/798.77 c | 475908 | 13658 58428 177321 | 2147483647 475908 236 | 0.000 % |
809.11/809.76 c | 479895 | 13658 58428 177321 | 2147483647 479895 236 | 0.000 % |
820.41/821.10 c | 484281 | 13658 58428 177321 | 2147483647 484281 237 | 0.000 % |
820.81/821.49 c | 484381 | 13658 58428 177321 | 2147483647 484381 237 | 0.000 % |
821.31/821.90 c | 484492 | 13658 58428 177321 | 2147483647 484492 237 | 0.000 % |
821.81/822.40 c | 484614 | 13658 58428 177321 | 2147483647 484614 237 | 0.000 % |
822.30/822.90 c | 484747 | 13658 58428 177321 | 2147483647 484747 237 | 0.000 % |
822.90/823.54 c | 484895 | 13658 58428 177321 | 2147483647 484895 237 | 0.000 % |
823.40/824.09 c | 485056 | 13658 58428 177321 | 2147483647 485056 237 | 0.000 % |
824.20/824.81 c | 485234 | 13658 58428 177321 | 2147483647 485234 237 | 0.000 % |
824.90/825.50 c | 485427 | 13658 58428 177321 | 2147483647 485427 237 | 0.000 % |
825.60/826.25 c | 485639 | 13658 58428 177321 | 2147483647 485639 237 | 0.000 % |
826.51/827.11 c | 485874 | 13658 58428 177321 | 2147483647 485874 236 | 0.000 % |
827.30/827.99 c | 486132 | 13658 58428 177321 | 2147483647 486132 236 | 0.000 % |
828.30/828.98 c | 486413 | 13658 58428 177321 | 2147483647 486413 236 | 0.000 % |
829.31/829.99 c | 486722 | 13658 58428 177321 | 2147483647 486722 236 | 0.000 % |
830.50/831.18 c | 487061 | 13658 58428 177321 | 2147483647 487061 236 | 0.000 % |
831.90/832.53 c | 487433 | 13658 58428 177321 | 2147483647 487433 236 | 0.000 % |
833.20/833.84 c | 487845 | 13658 58428 177321 | 2147483647 487845 236 | 0.000 % |
834.59/835.25 c | 488294 | 13658 58428 177321 | 2147483647 488294 236 | 0.000 % |
836.29/836.91 c | 488787 | 13658 58428 177321 | 2147483647 488787 236 | 0.000 % |
837.89/838.55 c | 489330 | 13658 58428 177321 | 2147483647 489330 236 | 0.000 % |
839.69/840.35 c | 489926 | 13658 58428 177321 | 2147483647 489926 236 | 0.000 % |
841.70/842.39 c | 490581 | 13658 58428 177321 | 2147483647 490581 236 | 0.000 % |
844.19/844.88 c | 491303 | 13658 58428 177321 | 2147483647 491303 236 | 0.000 % |
846.49/847.13 c | 492096 | 13658 58428 177321 | 2147483647 492096 236 | 0.000 % |
849.28/849.90 c | 492968 | 13658 58428 177321 | 2147483647 492968 236 | 0.000 % |
852.09/852.73 c | 493928 | 13658 58428 177321 | 2147483647 493928 236 | 0.000 % |
855.19/855.83 c | 494982 | 13658 58428 177321 | 2147483647 494982 236 | 0.000 % |
858.49/859.11 c | 496140 | 13658 58428 177321 | 2147483647 496140 236 | 0.000 % |
862.18/862.81 c | 497415 | 13658 58428 177321 | 2147483647 497415 236 | 0.000 % |
866.38/867.04 c | 498816 | 13658 58428 177321 | 2147483647 498816 236 | 0.000 % |
870.78/871.41 c | 500356 | 13658 58428 177321 | 2147483647 500356 236 | 0.000 % |
875.58/876.29 c | 502050 | 13658 58428 177321 | 2147483647 502050 236 | 0.000 % |
881.27/881.95 c | 503915 | 13658 58428 177321 | 2147483647 503915 236 | 0.000 % |
886.97/887.69 c | 505965 | 13658 58428 177321 | 2147483647 505965 236 | 0.000 % |
893.37/894.02 c | 508218 | 13658 58428 177321 | 2147483647 508218 237 | 0.000 % |
900.56/901.23 c | 510698 | 13658 58428 177321 | 2147483647 510698 237 | 0.000 % |
908.56/909.28 c | 513423 | 13658 58428 177321 | 2147483647 513423 237 | 0.000 % |
916.95/917.70 c | 516421 | 13658 58428 177321 | 2147483647 516421 237 | 0.000 % |
926.34/927.07 c | 519718 | 13658 58428 177321 | 2147483647 519718 237 | 0.000 % |
936.94/937.63 c | 523343 | 13658 58428 177321 | 2147483647 523343 237 | 0.000 % |
947.83/948.56 c | 527332 | 13658 58428 177321 | 2147483647 527332 238 | 0.000 % |
960.23/960.93 c | 531718 | 13658 58428 177321 | 2147483647 531718 238 | 0.000 % |
973.92/974.66 c | 536542 | 13658 58428 177321 | 2147483647 536542 239 | 0.000 % |
974.41/975.13 c | 536642 | 13658 58428 177321 | 2147483647 536642 239 | 0.000 % |
974.91/975.60 c | 536752 | 13658 58428 177321 | 2147483647 536752 239 | 0.000 % |
975.42/976.14 c | 536877 | 13658 58428 177321 | 2147483647 536877 239 | 0.000 % |
976.02/976.73 c | 537011 | 13658 58428 177321 | 2147483647 537011 239 | 0.000 % |
976.71/977.46 c | 537158 | 13658 58428 177321 | 2147483647 537158 239 | 0.000 % |
977.41/978.10 c | 537319 | 13658 58428 177321 | 2147483647 537319 239 | 0.000 % |
978.11/978.82 c | 537495 | 13658 58428 177321 | 2147483647 537495 239 | 0.000 % |
978.81/979.50 c | 537689 | 13658 58428 177321 | 2147483647 537689 239 | 0.000 % |
979.51/980.26 c | 537901 | 13658 58428 177321 | 2147483647 537901 239 | 0.000 % |
980.31/981.06 c | 538135 | 13658 58428 177321 | 2147483647 538135 239 | 0.000 % |
981.21/981.94 c | 538393 | 13658 58428 177321 | 2147483647 538393 238 | 0.000 % |
982.21/982.98 c | 538674 | 13658 58428 177321 | 2147483647 538674 238 | 0.000 % |
983.21/984.00 c | 538983 | 13658 58428 177321 | 2147483647 538983 238 | 0.000 % |
984.51/985.20 c | 539322 | 13658 58428 177321 | 2147483647 539322 238 | 0.000 % |
985.71/986.48 c | 539694 | 13658 58428 177321 | 2147483647 539694 238 | 0.000 % |
987.21/988.00 c | 540103 | 13658 58428 177321 | 2147483647 540103 238 | 0.000 % |
988.70/989.45 c | 540553 | 13658 58428 177321 | 2147483647 540553 238 | 0.000 % |
990.50/991.24 c | 541046 | 13658 58428 177321 | 2147483647 541046 238 | 0.000 % |
992.51/993.24 c | 541588 | 13658 58428 177321 | 2147483647 541588 238 | 0.000 % |
994.61/995.36 c | 542184 | 13658 58428 177321 | 2147483647 542184 238 | 0.000 % |
996.81/997.51 c | 542840 | 13658 58428 177321 | 2147483647 542840 238 | 0.000 % |
999.21/999.92 c | 543560 | 13658 58428 177321 | 2147483647 543560 238 | 0.000 % |
1001.70/1002.49 c | 544353 | 13658 58428 177321 | 2147483647 544353 238 | 0.000 % |
1004.60/1005.34 c | 545224 | 13658 58428 177321 | 2147483647 545224 238 | 0.000 % |
1007.60/1008.36 c | 546182 | 13658 58428 177321 | 2147483647 546182 238 | 0.000 % |
1010.89/1011.67 c | 547235 | 13658 58428 177321 | 2147483647 547235 238 | 0.000 % |
1014.50/1015.21 c | 548393 | 13658 58428 177321 | 2147483647 548393 238 | 0.000 % |
1018.49/1019.24 c | 549667 | 13658 58428 177321 | 2147483647 549667 238 | 0.000 % |
1022.38/1023.18 c | 551067 | 13658 58428 177321 | 2147483647 551067 239 | 0.000 % |
1027.19/1027.94 c | 552608 | 13658 58428 177321 | 2147483647 552608 239 | 0.000 % |
1032.39/1033.17 c | 554302 | 13658 58428 177321 | 2147483647 554302 239 | 0.000 % |
1038.08/1038.85 c | 556168 | 13658 58428 177321 | 2147483647 556168 239 | 0.000 % |
1044.48/1045.26 c | 558217 | 13658 58428 177321 | 2147483647 558217 239 | 0.000 % |
1051.89/1052.70 c | 560471 | 13658 58428 177321 | 2147483647 560471 239 | 0.000 % |
1059.96/1060.76 c | 562950 | 13658 58428 177321 | 2147483647 562950 239 | 0.000 % |
1067.95/1068.79 c | 565676 | 13658 58428 177321 | 2147483647 565676 239 | 0.000 % |
1077.16/1077.94 c | 568673 | 13658 58428 177321 | 2147483647 568673 240 | 0.000 % |
1086.65/1087.47 c | 571977 | 13658 58428 177321 | 2147483647 571977 240 | 0.000 % |
1097.74/1098.59 c | 575603 | 13658 58428 177321 | 2147483647 575603 240 | 0.000 % |
1110.72/1111.52 c | 579591 | 13658 58428 177321 | 2147483647 579591 241 | 0.000 % |
1124.82/1125.64 c | 583976 | 13658 58428 177321 | 2147483647 583976 241 | 0.000 % |
1140.21/1141.04 c | 588800 | 13658 58428 177321 | 2147483647 588800 241 | 0.000 % |
1157.00/1157.81 c | 594105 | 13658 58428 177321 | 2147483647 594105 242 | 0.000 % |
1157.41/1158.21 c | 594205 | 13658 58428 177321 | 2147483647 594205 242 | 0.000 % |
1157.80/1158.69 c | 594315 | 13658 58428 177321 | 2147483647 594315 242 | 0.000 % |
1158.40/1159.23 c | 594436 | 13658 58428 177321 | 2147483647 594436 242 | 0.000 % |
1159.00/1159.81 c | 594570 | 13658 58428 177321 | 2147483647 594570 242 | 0.000 % |
1159.70/1160.56 c | 594718 | 13658 58428 177321 | 2147483647 594718 242 | 0.000 % |
1160.40/1161.20 c | 594878 | 13658 58428 177321 | 2147483647 594878 242 | 0.000 % |
1161.10/1161.91 c | 595054 | 13658 58428 177321 | 2147483647 595054 242 | 0.000 % |
1161.80/1162.67 c | 595248 | 13658 58428 177321 | 2147483647 595248 242 | 0.000 % |
1162.59/1163.47 c | 595462 | 13658 58428 177321 | 2147483647 595462 242 | 0.000 % |
1163.69/1164.50 c | 595696 | 13658 58428 177321 | 2147483647 595696 242 | 0.000 % |
1164.69/1165.51 c | 595952 | 13658 58428 177321 | 2147483647 595952 242 | 0.000 % |
1165.69/1166.60 c | 596233 | 13658 58428 177321 | 2147483647 596233 242 | 0.000 % |
1166.99/1167.88 c | 596542 | 13658 58428 177321 | 2147483647 596542 242 | 0.000 % |
1168.50/1169.35 c | 596881 | 13658 58428 177321 | 2147483647 596881 242 | 0.000 % |
1169.99/1170.85 c | 597254 | 13658 58428 177321 | 2147483647 597254 242 | 0.000 % |
1171.50/1172.33 c | 597664 | 13658 58428 177321 | 2147483647 597664 242 | 0.000 % |
1173.19/1174.00 c | 598116 | 13658 58428 177321 | 2147483647 598116 242 | 0.000 % |
1175.00/1175.86 c | 598609 | 13658 58428 177321 | 2147483647 598609 242 | 0.000 % |
1176.99/1177.84 c | 599154 | 13658 58428 177321 | 2147483647 599154 242 | 0.000 % |
1179.00/1179.82 c | 599751 | 13658 58428 177321 | 2147483647 599751 242 | 0.000 % |
1181.39/1182.20 c | 600406 | 13658 58428 177321 | 2147483647 600406 242 | 0.000 % |
1183.99/1184.88 c | 601126 | 13658 58428 177321 | 2147483647 601126 242 | 0.000 % |
1186.79/1187.68 c | 601920 | 13658 58428 177321 | 2147483647 601920 242 | 0.000 % |
1189.99/1190.81 c | 602791 | 13658 58428 177321 | 2147483647 602791 242 | 0.000 % |
1193.58/1194.43 c | 603751 | 13658 58428 177321 | 2147483647 603751 242 | 0.000 % |
1197.17/1198.06 c | 604807 | 13658 58428 177321 | 2147483647 604807 242 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832737-1242787166/watcher-1832737-1242787166 -o /tmp/evaluation-result-1832737-1242787166/solver-1832737-1242787166 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832737-1242787166.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.95 3/64 12669
/proc/meminfo: memFree=1636872/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0
/proc/12669/stat : 12669 (SatELiteGTI) R 12667 12669 10419 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306742993 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607243251 0 0 4100 65536 0 0 0 17 0 0 0
/proc/12669/statm: 1339 237 197 169 0 50 0
[startup+0.0506101 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 12669
/proc/meminfo: memFree=1636872/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306742993 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12669/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101619 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 12669
/proc/meminfo: memFree=1636872/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306742993 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12669/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301667 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 12669
/proc/meminfo: memFree=1636872/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 5356
[startup+0.701747 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 12669
/proc/meminfo: memFree=1636872/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 5356
[startup+1.50189 s]
/proc/loadavg: 0.92 0.98 0.95 2/66 12675
/proc/meminfo: memFree=1629624/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=7432 CPUtime=1.23
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 1707 0 0 0 122 1 0 0 25 0 1 0 306743019 7610368 1693 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 1858 1693 77 171 0 1685 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12788
[startup+3.10121 s]
/proc/loadavg: 0.92 0.98 0.95 2/66 12675
/proc/meminfo: memFree=1627640/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=10072 CPUtime=2.82
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 2363 0 0 0 281 1 0 0 25 0 1 0 306743019 10313728 2349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 2518 2349 77 171 0 2345 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15428
[startup+6.30184 s]
/proc/loadavg: 0.93 0.98 0.95 2/66 12675
/proc/meminfo: memFree=1622456/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=14824 CPUtime=6.02
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 3554 0 0 0 599 3 0 0 25 0 1 0 306743019 15179776 3540 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 3706 3540 77 171 0 3533 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20180
[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.95 2/66 12675
/proc/meminfo: memFree=1613120/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=23904 CPUtime=12.41
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 5801 0 0 0 1236 5 0 0 25 0 1 0 306743019 24477696 5787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 5976 5787 77 171 0 5803 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 29260
[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.95 2/66 12675
/proc/meminfo: memFree=1596352/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=40252 CPUtime=25.19
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 9874 0 0 0 2511 8 0 0 25 0 1 0 306743019 41218048 9860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 10063 9860 77 171 0 9890 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 45608
[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.95 2/66 12675
/proc/meminfo: memFree=1569536/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=67172 CPUtime=50.78
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 16611 0 0 0 5062 16 0 0 25 0 1 0 306743019 68784128 16597 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 16793 16597 77 171 0 16620 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 72528
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 12675
/proc/meminfo: memFree=1524224/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=111712 CPUtime=101.95
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 27762 0 0 0 10167 28 0 0 25 0 1 0 306743019 114393088 27748 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 27928 27748 77 171 0 27755 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 117068
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12675
/proc/meminfo: memFree=1480128/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=156072 CPUtime=161.91
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 38817 0 0 0 16151 40 0 0 25 0 1 0 306743019 159817728 38803 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 39018 38803 77 171 0 38845 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 161428
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12675
/proc/meminfo: memFree=1442112/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=193840 CPUtime=221.87
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 48200 0 0 0 22136 51 0 0 25 0 1 0 306743019 198492160 48186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 48460 48186 77 171 0 48287 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 199196
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12675
/proc/meminfo: memFree=1406464/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=229368 CPUtime=281.84
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 57123 0 0 0 28123 61 0 0 25 0 1 0 306743019 234872832 57109 1992294400 134512640 135215339 4294956240 18446744073709551615 134532895 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 57342 57109 77 171 0 57169 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 234724
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1373568/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=261708 CPUtime=341.78
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 65238 0 0 0 34109 69 0 0 25 0 1 0 306743019 267988992 65224 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 65427 65224 77 171 0 65254 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 267064
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1343616/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=292424 CPUtime=401.75
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 72802 0 0 0 40097 78 0 0 25 0 1 0 306743019 299442176 72788 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 73106 72788 77 171 0 72933 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 297780
[startup+462.302 s]
################
# More data... #
################
/proc/12675/statm: 93965 93719 77 171 0 93792 0
Current children cumulated CPU time (s) 581.84
Current children cumulated vsize (KiB) 381216
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1234624/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=399756 CPUtime=641.58
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 99741 0 0 0 64049 109 0 0 25 0 1 0 306743019 409350144 99727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 99939 99727 77 171 0 99766 0
Current children cumulated CPU time (s) 641.82
Current children cumulated vsize (KiB) 405112
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1209088/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=425364 CPUtime=701.52
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 106155 0 0 0 70037 115 0 0 25 0 1 0 306743019 435572736 106141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 106341 106141 77 171 0 106168 0
Current children cumulated CPU time (s) 701.76
Current children cumulated vsize (KiB) 430720
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1186048/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=448076 CPUtime=761.5
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 111842 0 0 0 76029 121 0 0 25 0 1 0 306743019 458829824 111828 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 112019 111828 77 171 0 111846 0
Current children cumulated CPU time (s) 761.74
Current children cumulated vsize (KiB) 453432
[startup+822.303 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1160704/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=474200 CPUtime=821.47
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 118174 0 0 0 82018 129 0 0 25 0 1 0 306743019 485580800 118160 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 118550 118160 77 171 0 118377 0
Current children cumulated CPU time (s) 821.71
Current children cumulated vsize (KiB) 479556
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1142080/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=492424 CPUtime=881.43
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 122768 0 0 0 88009 134 0 0 25 0 1 0 306743019 504242176 122754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 123106 122754 77 171 0 122933 0
Current children cumulated CPU time (s) 881.67
Current children cumulated vsize (KiB) 497780
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1120128/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=514736 CPUtime=941.39
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 128338 0 0 0 93998 141 0 0 25 0 1 0 306743019 527089664 128324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 128684 128324 77 171 0 128511 0
Current children cumulated CPU time (s) 941.63
Current children cumulated vsize (KiB) 520092
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1098752/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=535460 CPUtime=1001.36
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 133536 0 0 0 99989 147 0 0 25 0 1 0 306743019 548311040 133522 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 133865 133522 77 171 0 133692 0
Current children cumulated CPU time (s) 1001.6
Current children cumulated vsize (KiB) 540816
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1078976/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=555128 CPUtime=1061.32
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 138498 0 0 0 105980 152 0 0 25 0 1 0 306743019 568451072 138484 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 138782 138484 77 171 0 138609 0
Current children cumulated CPU time (s) 1061.56
Current children cumulated vsize (KiB) 560484
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1054720/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=579288 CPUtime=1121.28
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 144533 0 0 0 111970 158 0 0 25 0 1 0 306743019 593190912 144519 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 144822 144519 77 171 0 144649 0
Current children cumulated CPU time (s) 1121.52
Current children cumulated vsize (KiB) 584644
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1036224/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=597508 CPUtime=1181.25
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 149127 0 0 0 117962 163 0 0 25 0 1 0 306743019 611848192 149113 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 149377 149113 77 171 0 149204 0
Current children cumulated CPU time (s) 1181.49
Current children cumulated vsize (KiB) 602864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.9 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1030912/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=602524 CPUtime=1199.84
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 150388 0 0 0 119819 165 0 0 25 0 1 0 306743019 616984576 150374 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 150631 150374 77 171 0 150458 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 607880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.9 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12677
/proc/meminfo: memFree=1030912/2055920 swapFree=4179880/4192956
[pid=12669] ppid=12667 vsize=5356 CPUtime=0.24
/proc/12669/stat : 12669 (SatELiteGTI) S 12667 12669 10419 0 -1 4194304 336 2065 0 0 0 0 22 2 16 0 1 0 306742993 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 227607634756 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12669/statm: 1339 239 197 169 0 50 0
[pid=12675] ppid=12669 vsize=602524 CPUtime=1199.84
/proc/12675/stat : 12675 (minisat_static) R 12669 12669 10419 0 -1 4194304 150388 0 0 0 119819 165 0 0 25 0 1 0 306743019 616984576 150374 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12675/statm: 150631 150374 77 171 0 150458 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 607880
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12669 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=229965
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=23996
# CPU time returned by wait4() is 0.253961
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.91
CPU time (s): 1200.08
CPU user time (s): 1198.41
CPU system time (s): 1.67
CPU usage (%): 99.9306
Max. virtual memory (cumulated for all children) (KiB): 607880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.229965
system time used= 0.023996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2401
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= 12
involuntary context switches= 8
runsolver used 1.10383 second user time and 3.36849 second system time
The end
Begin job on node66 at 2009-05-20 04:39:26
IDJOB=1832737
IDBENCH=70332
IDSOLVER=671
FILE ID=node66/1832737-1242787166
PBS_JOBID= 9322303
Free space on /tmp= 66436 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/14000/unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832737-1242787166/watcher-1832737-1242787166 -o /tmp/evaluation-result-1832737-1242787166/solver-1832737-1242787166 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832737-1242787166.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a9b0b659393e65a898228098b67aeeff
RANDOM SEED=606106268
node66.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.263
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 : 5931.00
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.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1637352 kB
Buffers: 37328 kB
Cached: 309660 kB
SwapCached: 7496 kB
Active: 61568 kB
Inactive: 294472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1637352 kB
SwapTotal: 4192956 kB
SwapFree: 4179880 kB
Dirty: 2676 kB
Writeback: 0 kB
Mapped: 14136 kB
Slab: 48600 kB
Committed_AS: 1119308 kB
PageTables: 1364 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= 66432 MiB
End job on node66 at 2009-05-20 04:59:29