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 | 50400 151200 | 15119 0 0 nan | 0.000 % |
0.00/0.18 c | 0 | 50088 152094 | -- 0 -- -- | -- | -312/894
0.00/0.18 c ==============================================================================
0.00/0.18 c Result : #vars: 11696 #clauses: 50088 #literals: 152094
0.00/0.18 c CPU time: 0.168974 s
0.00/0.18 c ==============================================================================
0.00/0.23 c This is MiniSat 2.0 beta
0.00/0.23 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.23 c ============================[ Problem Statistics ]=============================
0.00/0.23 c | |
0.00/0.23 c | Number of variables: 11696 |
0.00/0.23 c | Number of clauses: 50088 |
0.00/0.27 c | Parsing time: 0.04 s |
0.00/0.27 c ============================[ Search Statistics ]==============================
0.00/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.27 c ===============================================================================
0.00/0.27 c | 0 | 11696 50088 152094 | 16696 0 nan | 0.000 % |
0.22/0.31 c | 101 | 11696 50088 152094 | 16696 101 151 | 0.000 % |
0.22/0.35 c | 201 | 11696 50088 152094 | 16696 201 143 | 0.000 % |
0.22/0.39 c | 301 | 11696 50088 152094 | 16696 301 144 | 0.000 % |
0.22/0.44 c | 411 | 11696 50088 152094 | 16696 411 148 | 0.000 % |
0.22/0.48 c | 511 | 11696 50088 152094 | 16696 511 144 | 0.000 % |
0.22/0.52 c | 622 | 11696 50088 152094 | 16696 622 151 | 0.000 % |
0.22/0.57 c | 745 | 11696 50088 152094 | 16696 745 150 | 0.000 % |
0.22/0.60 c | 845 | 11696 50088 152094 | 16696 845 148 | 0.000 % |
0.22/0.65 c | 957 | 11696 50088 152094 | 16696 957 150 | 0.000 % |
0.22/0.69 c | 1078 | 11696 50088 152094 | 16696 1078 151 | 0.000 % |
0.22/0.75 c | 1212 | 11696 50088 152094 | 16696 1212 148 | 0.000 % |
0.22/0.78 c | 1312 | 11696 50088 152094 | 16696 1312 146 | 0.000 % |
0.22/0.83 c | 1422 | 11696 50088 152094 | 16696 1422 150 | 0.000 % |
0.22/0.88 c | 1544 | 11696 50088 152094 | 16696 1544 149 | 0.000 % |
0.22/0.93 c | 1677 | 11696 50088 152094 | 16696 1677 149 | 0.000 % |
0.22/0.99 c | 1823 | 11696 50088 152094 | 16696 1823 146 | 0.000 % |
0.98/1.03 c | 1923 | 11696 50088 152094 | 16696 1923 147 | 0.000 % |
0.98/1.08 c | 2033 | 11696 50088 152094 | 16696 2033 147 | 0.000 % |
1.08/1.12 c | 2154 | 11696 50088 152094 | 16696 2154 148 | 0.000 % |
1.08/1.18 c | 2287 | 11696 50088 152094 | 16696 2287 149 | 0.000 % |
1.17/1.24 c | 2433 | 11696 50088 152094 | 16696 2433 148 | 0.000 % |
1.27/1.31 c | 2593 | 11696 50088 152094 | 16696 2593 151 | 0.000 % |
1.27/1.34 c | 2694 | 11696 50088 152094 | 16696 2694 151 | 0.000 % |
1.27/1.39 c | 2806 | 11696 50088 152094 | 16696 2806 151 | 0.000 % |
1.37/1.44 c | 2930 | 11696 50088 152094 | 16696 2930 152 | 0.000 % |
1.47/1.50 c | 3063 | 11696 50088 152094 | 16696 3063 152 | 0.000 % |
1.47/1.56 c | 3209 | 11696 50088 152094 | 16696 3209 155 | 0.000 % |
1.57/1.63 c | 3369 | 11696 50088 152094 | 16696 3369 155 | 0.000 % |
1.67/1.70 c | 3547 | 11696 50088 152094 | 16696 3547 155 | 0.000 % |
1.67/1.75 c | 3648 | 11696 50088 152094 | 16696 3648 154 | 0.000 % |
1.67/1.79 c | 3759 | 11696 50088 152094 | 16696 3759 153 | 0.000 % |
1.77/1.84 c | 3882 | 11696 50088 152094 | 16696 3882 153 | 0.000 % |
1.77/1.89 c | 4015 | 11696 50088 152094 | 16696 4015 151 | 0.000 % |
1.88/1.95 c | 4161 | 11696 50088 152094 | 16696 4161 152 | 0.000 % |
1.98/2.02 c | 4321 | 11696 50088 152094 | 16696 4321 151 | 0.000 % |
1.98/2.09 c | 4497 | 11696 50088 152094 | 16696 4497 152 | 0.000 % |
2.08/2.16 c | 4690 | 11696 50088 152094 | 16696 4690 152 | 0.000 % |
2.18/2.21 c | 4790 | 11696 50088 152094 | 16696 4790 153 | 0.000 % |
2.18/2.25 c | 4901 | 11696 50088 152094 | 16696 4901 153 | 0.000 % |
2.28/2.30 c | 5024 | 11696 50088 152094 | 16696 5024 153 | 0.000 % |
2.28/2.36 c | 5157 | 11696 50088 152094 | 16696 5157 153 | 0.000 % |
2.38/2.42 c | 5303 | 11696 50088 152094 | 16696 5303 152 | 0.000 % |
2.38/2.48 c | 5464 | 11696 50088 152094 | 16696 5464 151 | 0.000 % |
2.48/2.55 c | 5641 | 11696 50088 152094 | 16696 5641 151 | 0.000 % |
2.57/2.63 c | 5834 | 11696 50088 152094 | 16696 5834 151 | 0.000 % |
2.67/2.71 c | 6047 | 11696 50088 152094 | 16696 6047 152 | 0.000 % |
2.67/2.76 c | 6150 | 11696 50088 152094 | 16696 6150 153 | 0.000 % |
2.77/2.80 c | 6261 | 11696 50088 152094 | 16696 6261 153 | 0.000 % |
2.77/2.85 c | 6384 | 11696 50088 152094 | 16696 6384 154 | 0.000 % |
2.87/2.91 c | 6517 | 11696 50088 152094 | 16696 6517 153 | 0.000 % |
2.87/2.98 c | 6663 | 11696 50088 152094 | 16696 6663 153 | 0.000 % |
2.97/3.05 c | 6825 | 11696 50088 152094 | 16696 6825 152 | 0.000 % |
3.07/3.12 c | 7003 | 11696 50088 152094 | 16696 7003 152 | 0.000 % |
3.07/3.20 c | 7196 | 11696 50088 152094 | 16696 7196 152 | 0.000 % |
3.18/3.29 c | 7409 | 11696 50088 152094 | 16696 7409 152 | 0.000 % |
3.27/3.39 c | 7643 | 11696 50088 152094 | 16696 7643 153 | 0.000 % |
3.37/3.44 c | 7743 | 11696 50088 152094 | 16696 7743 154 | 0.000 % |
3.47/3.50 c | 7854 | 11696 50088 152094 | 16696 7854 153 | 0.000 % |
3.47/3.55 c | 7975 | 11696 50088 152094 | 16696 7975 153 | 0.000 % |
3.57/3.61 c | 8108 | 11696 50088 152094 | 16696 8108 153 | 0.000 % |
3.57/3.67 c | 8255 | 11696 50088 152094 | 16696 8255 153 | 0.000 % |
3.67/3.74 c | 8416 | 11696 50088 152094 | 16696 8416 153 | 0.000 % |
3.77/3.82 c | 8592 | 11696 50088 152094 | 16696 8592 153 | 0.000 % |
3.87/3.91 c | 8786 | 11696 50088 152094 | 16696 8786 154 | 0.000 % |
3.87/3.99 c | 8998 | 11696 50088 152094 | 16696 8998 155 | 0.000 % |
4.07/4.10 c | 9231 | 11696 50088 152094 | 16696 9231 155 | 0.000 % |
4.17/4.22 c | 9487 | 11696 50088 152094 | 16696 9487 155 | 0.000 % |
4.17/4.26 c | 9587 | 11696 50088 152094 | 16696 9587 155 | 0.000 % |
4.27/4.31 c | 9699 | 11696 50088 152094 | 16696 9699 155 | 0.000 % |
4.27/4.36 c | 9821 | 11696 50088 152094 | 16696 9821 154 | 0.000 % |
4.37/4.43 c | 9954 | 11696 50088 152094 | 16696 9954 155 | 0.000 % |
4.47/4.50 c | 10100 | 11696 50088 152094 | 2147483647 10100 155 | 0.000 % |
4.47/4.57 c | 10261 | 11696 50088 152094 | 2147483647 10261 156 | 0.000 % |
4.58/4.66 c | 10439 | 11696 50088 152094 | 2147483647 10439 157 | 0.000 % |
4.68/4.74 c | 10632 | 11696 50088 152094 | 2147483647 10632 157 | 0.000 % |
4.78/4.84 c | 10847 | 11696 50088 152094 | 2147483647 10847 157 | 0.000 % |
4.88/4.95 c | 11080 | 11696 50088 152094 | 2147483647 11080 158 | 0.000 % |
4.98/5.07 c | 11337 | 11696 50088 152094 | 2147483647 11337 159 | 0.000 % |
5.17/5.20 c | 11618 | 11696 50088 152094 | 2147483647 11618 159 | 0.000 % |
5.17/5.25 c | 11718 | 11696 50088 152094 | 2147483647 11718 159 | 0.000 % |
5.27/5.30 c | 11829 | 11696 50088 152094 | 2147483647 11829 159 | 0.000 % |
5.27/5.36 c | 11950 | 11696 50088 152094 | 2147483647 11950 159 | 0.000 % |
5.38/5.43 c | 12084 | 11696 50088 152094 | 2147483647 12084 159 | 0.000 % |
5.38/5.50 c | 12233 | 11696 50088 152094 | 2147483647 12233 159 | 0.000 % |
5.48/5.57 c | 12393 | 11696 50088 152094 | 2147483647 12393 160 | 0.000 % |
5.57/5.66 c | 12569 | 11696 50088 152094 | 2147483647 12569 159 | 0.000 % |
5.67/5.75 c | 12763 | 11696 50088 152094 | 2147483647 12763 160 | 0.000 % |
5.77/5.85 c | 12976 | 11696 50088 152094 | 2147483647 12976 160 | 0.000 % |
5.87/5.97 c | 13209 | 11696 50088 152094 | 2147483647 13209 160 | 0.000 % |
5.97/6.09 c | 13466 | 11696 50088 152094 | 2147483647 13466 161 | 0.000 % |
6.17/6.22 c | 13748 | 11696 50088 152094 | 2147483647 13748 162 | 0.000 % |
6.27/6.37 c | 14057 | 11696 50088 152094 | 2147483647 14057 162 | 0.000 % |
6.37/6.42 c | 14157 | 11696 50088 152094 | 2147483647 14157 162 | 0.000 % |
6.37/6.48 c | 14267 | 11696 50088 152094 | 2147483647 14267 162 | 0.000 % |
6.48/6.54 c | 14388 | 11696 50088 152094 | 2147483647 14388 161 | 0.000 % |
6.58/6.60 c | 14521 | 11696 50088 152094 | 2147483647 14521 161 | 0.000 % |
6.58/6.69 c | 14669 | 11696 50088 152094 | 2147483647 14669 162 | 0.000 % |
6.68/6.77 c | 14829 | 11696 50088 152094 | 2147483647 14829 163 | 0.000 % |
6.78/6.87 c | 15008 | 11696 50088 152094 | 2147483647 15008 163 | 0.000 % |
6.87/6.97 c | 15203 | 11696 50088 152094 | 2147483647 15203 164 | 0.000 % |
6.97/7.08 c | 15416 | 11696 50088 152094 | 2147483647 15416 164 | 0.000 % |
7.07/7.19 c | 15649 | 11696 50088 152094 | 2147483647 15649 165 | 0.000 % |
7.27/7.32 c | 15906 | 11696 50088 152094 | 2147483647 15906 165 | 0.000 % |
7.37/7.46 c | 16187 | 11696 50088 152094 | 2147483647 16187 165 | 0.000 % |
7.58/7.60 c | 16497 | 11696 50088 152094 | 2147483647 16497 165 | 0.000 % |
7.68/7.78 c | 16836 | 11696 50088 152094 | 2147483647 16836 166 | 0.000 % |
7.77/7.83 c | 16936 | 11696 50088 152094 | 2147483647 16936 166 | 0.000 % |
7.77/7.88 c | 17046 | 11696 50088 152094 | 2147483647 17046 166 | 0.000 % |
7.87/7.94 c | 17168 | 11696 50088 152094 | 2147483647 17168 166 | 0.000 % |
7.97/8.01 c | 17304 | 11696 50088 152094 | 2147483647 17304 166 | 0.000 % |
7.97/8.07 c | 17451 | 11696 50088 152094 | 2147483647 17451 166 | 0.000 % |
8.07/8.15 c | 17611 | 11696 50088 152094 | 2147483647 17611 166 | 0.000 % |
8.17/8.25 c | 17790 | 11696 50088 152094 | 2147483647 17790 166 | 0.000 % |
8.27/8.34 c | 17983 | 11696 50088 152094 | 2147483647 17983 166 | 0.000 % |
8.37/8.45 c | 18195 | 11696 50088 152094 | 2147483647 18195 166 | 0.000 % |
8.47/8.57 c | 18428 | 11696 50088 152094 | 2147483647 18428 166 | 0.000 % |
8.68/8.71 c | 18684 | 11696 50088 152094 | 2147483647 18684 166 | 0.000 % |
8.78/8.86 c | 18966 | 11696 50088 152094 | 2147483647 18966 166 | 0.000 % |
8.97/9.01 c | 19276 | 11696 50088 152094 | 2147483647 19276 167 | 0.000 % |
9.07/9.19 c | 19615 | 11696 50088 152094 | 2147483647 19615 168 | 0.000 % |
9.27/9.37 c | 19988 | 11696 50088 152094 | 2147483647 19988 169 | 0.000 % |
9.37/9.43 c | 20092 | 11696 50088 152094 | 2147483647 20092 169 | 0.000 % |
9.37/9.49 c | 20202 | 11696 50088 152094 | 2147483647 20202 169 | 0.000 % |
9.47/9.56 c | 20326 | 11696 50088 152094 | 2147483647 20326 169 | 0.000 % |
9.57/9.64 c | 20460 | 11696 50088 152094 | 2147483647 20460 169 | 0.000 % |
9.67/9.72 c | 20607 | 11696 50088 152094 | 2147483647 20607 169 | 0.000 % |
9.77/9.80 c | 20767 | 11696 50088 152094 | 2147483647 20767 168 | 0.000 % |
9.77/9.90 c | 20944 | 11696 50088 152094 | 2147483647 20944 169 | 0.000 % |
9.97/10.00 c | 21139 | 11696 50088 152094 | 2147483647 21139 169 | 0.000 % |
10.07/10.11 c | 21351 | 11696 50088 152094 | 2147483647 21351 169 | 0.000 % |
10.17/10.25 c | 21584 | 11696 50088 152094 | 2147483647 21584 170 | 0.000 % |
10.27/10.39 c | 21841 | 11696 50088 152094 | 2147483647 21841 170 | 0.000 % |
10.47/10.53 c | 22126 | 11696 50088 152094 | 2147483647 22126 170 | 0.000 % |
10.57/10.69 c | 22435 | 11696 50088 152094 | 2147483647 22435 170 | 0.000 % |
10.77/10.87 c | 22774 | 11696 50088 152094 | 2147483647 22774 170 | 0.000 % |
10.97/11.07 c | 23146 | 11696 50088 152094 | 2147483647 23146 170 | 0.000 % |
11.16/11.29 c | 23555 | 11696 50088 152094 | 2147483647 23555 171 | 0.000 % |
11.26/11.36 c | 23655 | 11696 50088 152094 | 2147483647 23655 171 | 0.000 % |
11.36/11.42 c | 23766 | 11696 50088 152094 | 2147483647 23766 172 | 0.000 % |
11.46/11.50 c | 23887 | 11696 50088 152094 | 2147483647 23887 171 | 0.000 % |
11.46/11.58 c | 24020 | 11696 50088 152094 | 2147483647 24020 171 | 0.000 % |
11.56/11.66 c | 24170 | 11696 50088 152094 | 2147483647 24170 172 | 0.000 % |
11.66/11.75 c | 24330 | 11696 50088 152094 | 2147483647 24330 172 | 0.000 % |
11.77/11.84 c | 24506 | 11696 50088 152094 | 2147483647 24506 172 | 0.000 % |
11.87/11.96 c | 24699 | 11696 50088 152094 | 2147483647 24699 172 | 0.000 % |
11.97/12.07 c | 24911 | 11696 50088 152094 | 2147483647 24911 172 | 0.000 % |
12.17/12.21 c | 25144 | 11696 50088 152094 | 2147483647 25144 172 | 0.000 % |
12.27/12.34 c | 25400 | 11696 50088 152094 | 2147483647 25400 173 | 0.000 % |
12.37/12.49 c | 25681 | 11696 50088 152094 | 2147483647 25681 173 | 0.000 % |
12.56/12.65 c | 25993 | 11696 50088 152094 | 2147483647 25993 173 | 0.000 % |
12.76/12.84 c | 26332 | 11696 50088 152094 | 2147483647 26332 173 | 0.000 % |
12.96/13.06 c | 26704 | 11696 50088 152094 | 2147483647 26704 174 | 0.000 % |
13.17/13.27 c | 27114 | 11696 50088 152094 | 2147483647 27114 175 | 0.000 % |
13.36/13.49 c | 27563 | 11696 50088 152094 | 2147483647 27563 175 | 0.000 % |
13.46/13.55 c | 27664 | 11696 50088 152094 | 2147483647 27664 175 | 0.000 % |
13.56/13.61 c | 27774 | 11696 50088 152094 | 2147483647 27774 175 | 0.000 % |
13.56/13.69 c | 27895 | 11696 50088 152094 | 2147483647 27895 175 | 0.000 % |
13.66/13.77 c | 28028 | 11696 50088 152094 | 2147483647 28028 175 | 0.000 % |
13.76/13.86 c | 28174 | 11696 50088 152094 | 2147483647 28174 175 | 0.000 % |
13.86/13.97 c | 28335 | 11696 50088 152094 | 2147483647 28335 174 | 0.000 % |
13.96/14.08 c | 28511 | 11696 50088 152094 | 2147483647 28511 175 | 0.000 % |
14.16/14.21 c | 28704 | 11696 50088 152094 | 2147483647 28704 175 | 0.000 % |
14.26/14.32 c | 28918 | 11696 50088 152094 | 2147483647 28918 174 | 0.000 % |
14.36/14.45 c | 29152 | 11696 50088 152094 | 2147483647 29152 174 | 0.000 % |
14.56/14.60 c | 29408 | 11696 50088 152094 | 2147483647 29408 175 | 0.000 % |
14.66/14.77 c | 29690 | 11696 50088 152094 | 2147483647 29690 175 | 0.000 % |
14.86/14.94 c | 29999 | 11696 50088 152094 | 2147483647 29999 175 | 0.000 % |
15.06/15.14 c | 30338 | 11696 50088 152094 | 2147483647 30338 175 | 0.000 % |
15.27/15.34 c | 30710 | 11696 50088 152094 | 2147483647 30710 175 | 0.000 % |
15.46/15.57 c | 31119 | 11696 50088 152094 | 2147483647 31119 175 | 0.000 % |
15.76/15.82 c | 31568 | 11696 50088 152094 | 2147483647 31568 176 | 0.000 % |
16.06/16.11 c | 32061 | 11696 50088 152094 | 2147483647 32061 177 | 0.000 % |
16.06/16.18 c | 32161 | 11696 50088 152094 | 2147483647 32161 176 | 0.000 % |
16.16/16.26 c | 32272 | 11696 50088 152094 | 2147483647 32272 176 | 0.000 % |
16.26/16.33 c | 32394 | 11696 50088 152094 | 2147483647 32394 176 | 0.000 % |
16.36/16.41 c | 32528 | 11696 50088 152094 | 2147483647 32528 176 | 0.000 % |
16.46/16.51 c | 32676 | 11696 50088 152094 | 2147483647 32676 176 | 0.000 % |
16.56/16.61 c | 32838 | 11696 50088 152094 | 2147483647 32838 176 | 0.000 % |
16.66/16.71 c | 33014 | 11696 50088 152094 | 2147483647 33014 176 | 0.000 % |
16.76/16.84 c | 33208 | 11696 50088 152094 | 2147483647 33208 176 | 0.000 % |
16.87/16.96 c | 33420 | 11696 50088 152094 | 2147483647 33420 177 | 0.000 % |
17.07/17.10 c | 33653 | 11696 50088 152094 | 2147483647 33653 177 | 0.000 % |
17.17/17.25 c | 33910 | 11696 50088 152094 | 2147483647 33910 177 | 0.000 % |
17.36/17.43 c | 34191 | 11696 50088 152094 | 2147483647 34191 176 | 0.000 % |
17.57/17.61 c | 34500 | 11696 50088 152094 | 2147483647 34500 177 | 0.000 % |
17.76/17.83 c | 34842 | 11696 50088 152094 | 2147483647 34842 177 | 0.000 % |
17.96/18.06 c | 35214 | 11696 50088 152094 | 2147483647 35214 178 | 0.000 % |
18.26/18.30 c | 35624 | 11696 50088 152094 | 2147483647 35624 178 | 0.000 % |
18.46/18.55 c | 36074 | 11696 50088 152094 | 2147483647 36074 178 | 0.000 % |
18.76/18.86 c | 36567 | 11696 50088 152094 | 2147483647 36567 179 | 0.000 % |
19.06/19.19 c | 37109 | 11696 50088 152094 | 2147483647 37109 179 | 0.000 % |
19.16/19.25 c | 37210 | 11696 50088 152094 | 2147483647 37210 179 | 0.000 % |
19.26/19.33 c | 37321 | 11696 50088 152094 | 2147483647 37321 179 | 0.000 % |
19.36/19.41 c | 37442 | 11696 50088 152094 | 2147483647 37442 179 | 0.000 % |
19.46/19.50 c | 37575 | 11696 50088 152094 | 2147483647 37575 179 | 0.000 % |
19.56/19.60 c | 37722 | 11696 50088 152094 | 2147483647 37722 179 | 0.000 % |
19.67/19.71 c | 37886 | 11696 50088 152094 | 2147483647 37886 179 | 0.000 % |
19.77/19.83 c | 38062 | 11696 50088 152094 | 2147483647 38062 179 | 0.000 % |
19.86/19.96 c | 38255 | 11696 50088 152094 | 2147483647 38255 179 | 0.000 % |
20.06/20.11 c | 38469 | 11696 50088 152094 | 2147483647 38469 179 | 0.000 % |
20.16/20.26 c | 38702 | 11696 50088 152094 | 2147483647 38702 179 | 0.000 % |
20.36/20.41 c | 38958 | 11696 50088 152094 | 2147483647 38958 179 | 0.000 % |
20.56/20.60 c | 39239 | 11696 50088 152094 | 2147483647 39239 179 | 0.000 % |
20.66/20.80 c | 39548 | 11696 50088 152094 | 2147483647 39548 179 | 0.000 % |
20.96/21.02 c | 39888 | 11696 50088 152094 | 2147483647 39888 179 | 0.000 % |
21.15/21.28 c | 40263 | 11696 50088 152094 | 2147483647 40263 179 | 0.000 % |
21.45/21.53 c | 40673 | 11696 50088 152094 | 2147483647 40673 179 | 0.000 % |
21.76/21.83 c | 41123 | 11696 50088 152094 | 2147483647 41123 180 | 0.000 % |
22.06/22.15 c | 41616 | 11696 50088 152094 | 2147483647 41616 180 | 0.000 % |
22.46/22.53 c | 42159 | 11696 50088 152094 | 2147483647 42159 181 | 0.000 % |
22.85/22.94 c | 42756 | 11696 50088 152094 | 2147483647 42756 181 | 0.000 % |
22.97/23.01 c | 42856 | 11696 50088 152094 | 2147483647 42856 181 | 0.000 % |
22.97/23.10 c | 42967 | 11696 50088 152094 | 2147483647 42967 181 | 0.000 % |
23.07/23.18 c | 43088 | 11696 50088 152094 | 2147483647 43088 180 | 0.000 % |
23.16/23.28 c | 43223 | 11696 50088 152094 | 2147483647 43223 180 | 0.000 % |
23.26/23.37 c | 43369 | 11696 50088 152094 | 2147483647 43369 180 | 0.000 % |
23.36/23.48 c | 43529 | 11696 50088 152094 | 2147483647 43529 180 | 0.000 % |
23.56/23.61 c | 43705 | 11696 50088 152094 | 2147483647 43705 180 | 0.000 % |
23.66/23.74 c | 43899 | 11696 50088 152094 | 2147483647 43899 180 | 0.000 % |
23.76/23.88 c | 44111 | 11696 50088 152094 | 2147483647 44111 180 | 0.000 % |
23.96/24.03 c | 44344 | 11696 50088 152094 | 2147483647 44344 180 | 0.000 % |
24.17/24.22 c | 44602 | 11696 50088 152094 | 2147483647 44602 180 | 0.000 % |
24.36/24.41 c | 44884 | 11696 50088 152094 | 2147483647 44884 181 | 0.000 % |
24.56/24.62 c | 45193 | 11696 50088 152094 | 2147483647 45193 181 | 0.000 % |
24.76/24.84 c | 45534 | 11696 50088 152094 | 2147483647 45534 181 | 0.000 % |
24.96/25.09 c | 45906 | 11696 50088 152094 | 2147483647 45906 182 | 0.000 % |
25.26/25.38 c | 46316 | 11696 50088 152094 | 2147483647 46316 182 | 0.000 % |
25.56/25.66 c | 46769 | 11696 50088 152094 | 2147483647 46769 182 | 0.000 % |
25.96/26.00 c | 47262 | 11696 50088 152094 | 2147483647 47262 183 | 0.000 % |
26.26/26.35 c | 47804 | 11696 50088 152094 | 2147483647 47804 183 | 0.000 % |
26.65/26.77 c | 48400 | 11696 50088 152094 | 2147483647 48400 184 | 0.000 % |
27.15/27.22 c | 49056 | 11696 50088 152094 | 2147483647 49056 184 | 0.000 % |
27.25/27.30 c | 49156 | 11696 50088 152094 | 2147483647 49156 184 | 0.000 % |
27.25/27.39 c | 49266 | 11696 50088 152094 | 2147483647 49266 184 | 0.000 % |
27.36/27.49 c | 49388 | 11696 50088 152094 | 2147483647 49388 184 | 0.000 % |
27.45/27.59 c | 49521 | 11696 50088 152094 | 2147483647 49521 184 | 0.000 % |
27.66/27.71 c | 49667 | 11696 50088 152094 | 2147483647 49667 184 | 0.000 % |
27.76/27.84 c | 49827 | 11696 50088 152094 | 2147483647 49827 184 | 0.000 % |
27.86/27.97 c | 50005 | 11696 50088 152094 | 2147483647 50005 184 | 0.000 % |
28.06/28.12 c | 50198 | 11696 50088 152094 | 2147483647 50198 183 | 0.000 % |
28.16/28.27 c | 50410 | 11696 50088 152094 | 2147483647 50410 183 | 0.000 % |
28.36/28.46 c | 50643 | 11696 50088 152094 | 2147483647 50643 183 | 0.000 % |
28.56/28.65 c | 50899 | 11696 50088 152094 | 2147483647 50899 184 | 0.000 % |
28.76/28.85 c | 51180 | 11696 50088 152094 | 2147483647 51180 184 | 0.000 % |
28.95/29.07 c | 51489 | 11696 50088 152094 | 2147483647 51489 184 | 0.000 % |
29.25/29.31 c | 51828 | 11696 50088 152094 | 2147483647 51828 183 | 0.000 % |
29.45/29.58 c | 52200 | 11696 50088 152094 | 2147483647 52200 183 | 0.000 % |
29.75/29.86 c | 52609 | 11696 50088 152094 | 2147483647 52609 183 | 0.000 % |
30.05/30.14 c | 53059 | 11696 50088 152094 | 2147483647 53059 183 | 0.000 % |
30.35/30.49 c | 53553 | 11696 50088 152094 | 2147483647 53553 183 | 0.000 % |
30.85/30.90 c | 54096 | 11696 50088 152094 | 2147483647 54096 183 | 0.000 % |
31.26/31.35 c | 54692 | 11696 50088 152094 | 2147483647 54692 184 | 0.000 % |
31.76/31.81 c | 55347 | 11696 50088 152094 | 2147483647 55347 184 | 0.000 % |
32.16/32.29 c | 56067 | 11696 50088 152094 | 2147483647 56067 185 | 0.000 % |
32.26/32.38 c | 56169 | 11696 50088 152094 | 2147483647 56169 185 | 0.000 % |
32.36/32.47 c | 56279 | 11696 50088 152094 | 2147483647 56279 185 | 0.000 % |
32.46/32.58 c | 56400 | 11696 50088 152094 | 2147483647 56400 185 | 0.000 % |
32.56/32.68 c | 56533 | 11696 50088 152094 | 2147483647 56533 185 | 0.000 % |
32.76/32.81 c | 56680 | 11696 50088 152094 | 2147483647 56680 185 | 0.000 % |
32.86/32.92 c | 56842 | 11696 50088 152094 | 2147483647 56842 185 | 0.000 % |
32.96/33.07 c | 57018 | 11696 50088 152094 | 2147483647 57018 185 | 0.000 % |
33.15/33.23 c | 57211 | 11696 50088 152094 | 2147483647 57211 185 | 0.000 % |
33.25/33.39 c | 57425 | 11696 50088 152094 | 2147483647 57425 185 | 0.000 % |
33.45/33.58 c | 57659 | 11696 50088 152094 | 2147483647 57659 184 | 0.000 % |
33.65/33.77 c | 57915 | 11696 50088 152094 | 2147483647 57915 185 | 0.000 % |
33.85/33.99 c | 58197 | 11696 50088 152094 | 2147483647 58197 185 | 0.000 % |
34.15/34.23 c | 58506 | 11696 50088 152094 | 2147483647 58506 185 | 0.000 % |
34.35/34.49 c | 58846 | 11696 50088 152094 | 2147483647 58846 184 | 0.000 % |
34.65/34.79 c | 59218 | 11696 50088 152094 | 2147483647 59218 185 | 0.000 % |
34.95/35.08 c | 59627 | 11696 50088 152094 | 2147483647 59627 185 | 0.000 % |
35.35/35.43 c | 60076 | 11696 50088 152094 | 2147483647 60076 185 | 0.000 % |
35.65/35.79 c | 60569 | 11696 50088 152094 | 2147483647 60569 186 | 0.000 % |
36.15/36.21 c | 61111 | 11696 50088 152094 | 2147483647 61111 186 | 0.000 % |
36.55/36.69 c | 61710 | 11696 50088 152094 | 2147483647 61710 186 | 0.000 % |
37.15/37.21 c | 62367 | 11696 50088 152094 | 2147483647 62367 186 | 0.000 % |
37.65/37.72 c | 63089 | 11696 50088 152094 | 2147483647 63089 186 | 0.000 % |
38.25/38.35 c | 63884 | 11696 50088 152094 | 2147483647 63884 186 | 0.000 % |
38.36/38.43 c | 63984 | 11696 50088 152094 | 2147483647 63984 186 | 0.000 % |
38.46/38.54 c | 64094 | 11696 50088 152094 | 2147483647 64094 186 | 0.000 % |
38.55/38.65 c | 64216 | 11696 50088 152094 | 2147483647 64216 186 | 0.000 % |
38.65/38.78 c | 64350 | 11696 50088 152094 | 2147483647 64350 186 | 0.000 % |
38.85/38.90 c | 64496 | 11696 50088 152094 | 2147483647 64496 186 | 0.000 % |
38.95/39.02 c | 64656 | 11696 50088 152094 | 2147483647 64656 186 | 0.000 % |
39.05/39.17 c | 64832 | 11696 50088 152094 | 2147483647 64832 186 | 0.000 % |
39.25/39.33 c | 65025 | 11696 50088 152094 | 2147483647 65025 186 | 0.000 % |
39.45/39.51 c | 65237 | 11696 50088 152094 | 2147483647 65237 186 | 0.000 % |
39.55/39.69 c | 65474 | 11696 50088 152094 | 2147483647 65474 186 | 0.000 % |
39.84/39.90 c | 65730 | 11696 50088 152094 | 2147483647 65730 186 | 0.000 % |
40.05/40.13 c | 66011 | 11696 50088 152094 | 2147483647 66011 186 | 0.000 % |
40.35/40.40 c | 66320 | 11696 50088 152094 | 2147483647 66320 186 | 0.000 % |
40.56/40.68 c | 66660 | 11696 50088 152094 | 2147483647 66660 186 | 0.000 % |
40.85/40.97 c | 67032 | 11696 50088 152094 | 2147483647 67032 186 | 0.000 % |
41.25/41.31 c | 67442 | 11696 50088 152094 | 2147483647 67442 186 | 0.000 % |
41.55/41.68 c | 67892 | 11696 50088 152094 | 2147483647 67892 187 | 0.000 % |
41.95/42.08 c | 68386 | 11696 50088 152094 | 2147483647 68386 187 | 0.000 % |
42.45/42.51 c | 68929 | 11696 50088 152094 | 2147483647 68929 187 | 0.000 % |
42.86/42.96 c | 69526 | 11696 50088 152094 | 2147483647 69526 187 | 0.000 % |
43.45/43.53 c | 70182 | 11696 50088 152094 | 2147483647 70182 188 | 0.000 % |
44.05/44.10 c | 70902 | 11696 50088 152094 | 2147483647 70902 188 | 0.000 % |
44.65/44.74 c | 71694 | 11696 50088 152094 | 2147483647 71694 188 | 0.000 % |
45.35/45.44 c | 72565 | 11696 50088 152094 | 2147483647 72565 188 | 0.000 % |
45.45/45.53 c | 72665 | 11696 50088 152094 | 2147483647 72665 188 | 0.000 % |
45.55/45.64 c | 72776 | 11696 50088 152094 | 2147483647 72776 188 | 0.000 % |
45.65/45.75 c | 72897 | 11696 50088 152094 | 2147483647 72897 188 | 0.000 % |
45.75/45.88 c | 73030 | 11696 50088 152094 | 2147483647 73030 188 | 0.000 % |
45.95/46.03 c | 73178 | 11696 50088 152094 | 2147483647 73178 188 | 0.000 % |
46.05/46.19 c | 73338 | 11696 50088 152094 | 2147483647 73338 188 | 0.000 % |
46.24/46.35 c | 73515 | 11696 50088 152094 | 2147483647 73515 188 | 0.000 % |
46.44/46.54 c | 73708 | 11696 50088 152094 | 2147483647 73708 188 | 0.000 % |
46.64/46.73 c | 73920 | 11696 50088 152094 | 2147483647 73920 188 | 0.000 % |
46.84/46.94 c | 74153 | 11696 50088 152094 | 2147483647 74153 188 | 0.000 % |
47.04/47.16 c | 74410 | 11696 50088 152094 | 2147483647 74410 188 | 0.000 % |
47.24/47.38 c | 74692 | 11696 50088 152094 | 2147483647 74692 188 | 0.000 % |
47.55/47.67 c | 75002 | 11696 50088 152094 | 2147483647 75002 188 | 0.000 % |
47.85/47.99 c | 75343 | 11696 50088 152094 | 2147483647 75343 188 | 0.000 % |
48.25/48.30 c | 75715 | 11696 50088 152094 | 2147483647 75715 188 | 0.000 % |
48.55/48.64 c | 76125 | 11696 50088 152094 | 2147483647 76125 188 | 0.000 % |
48.95/49.01 c | 76574 | 11696 50088 152094 | 2147483647 76574 188 | 0.000 % |
49.35/49.46 c | 77067 | 11696 50088 152094 | 2147483647 77067 188 | 0.000 % |
49.84/49.91 c | 77611 | 11696 50088 152094 | 2147483647 77611 188 | 0.000 % |
50.35/50.43 c | 78207 | 11696 50088 152094 | 2147483647 78207 189 | 0.000 % |
50.85/50.96 c | 78862 | 11696 50088 152094 | 2147483647 78862 189 | 0.000 % |
51.45/51.59 c | 79582 | 11696 50088 152094 | 2147483647 79582 189 | 0.000 % |
52.14/52.28 c | 80376 | 11696 50088 152094 | 2147483647 80376 189 | 0.000 % |
52.94/53.07 c | 81249 | 11696 50088 152094 | 2147483647 81249 190 | 0.000 % |
53.74/53.88 c | 82208 | 11696 50088 152094 | 2147483647 82208 190 | 0.000 % |
53.84/53.98 c | 82308 | 11696 50088 152094 | 2147483647 82308 190 | 0.000 % |
53.94/54.08 c | 82418 | 11696 50088 152094 | 2147483647 82418 190 | 0.000 % |
54.04/54.19 c | 82539 | 11696 50088 152094 | 2147483647 82539 190 | 0.000 % |
54.24/54.33 c | 82672 | 11696 50088 152094 | 2147483647 82672 190 | 0.000 % |
54.34/54.48 c | 82818 | 11696 50088 152094 | 2147483647 82818 190 | 0.000 % |
54.55/54.63 c | 82979 | 11696 50088 152094 | 2147483647 82979 190 | 0.000 % |
54.65/54.78 c | 83155 | 11696 50088 152094 | 2147483647 83155 190 | 0.000 % |
54.85/54.96 c | 83348 | 11696 50088 152094 | 2147483647 83348 190 | 0.000 % |
55.05/55.16 c | 83560 | 11696 50088 152094 | 2147483647 83560 190 | 0.000 % |
55.34/55.40 c | 83796 | 11696 50088 152094 | 2147483647 83796 190 | 0.000 % |
55.54/55.63 c | 84053 | 11696 50088 152094 | 2147483647 84053 190 | 0.000 % |
55.84/55.90 c | 84334 | 11696 50088 152094 | 2147483647 84334 190 | 0.000 % |
56.05/56.18 c | 84644 | 11696 50088 152094 | 2147483647 84644 189 | 0.000 % |
56.34/56.49 c | 84983 | 11696 50088 152094 | 2147483647 84983 189 | 0.000 % |
56.74/56.82 c | 85355 | 11696 50088 152094 | 2147483647 85355 189 | 0.000 % |
57.05/57.17 c | 85765 | 11696 50088 152094 | 2147483647 85765 189 | 0.000 % |
57.44/57.57 c | 86214 | 11696 50088 152094 | 2147483647 86214 189 | 0.000 % |
57.94/58.02 c | 86708 | 11696 50088 152094 | 2147483647 86708 189 | 0.000 % |
58.44/58.53 c | 87250 | 11696 50088 152094 | 2147483647 87250 190 | 0.000 % |
58.94/59.06 c | 87846 | 11696 50088 152094 | 2147483647 87846 190 | 0.000 % |
59.53/59.64 c | 88501 | 11696 50088 152094 | 2147483647 88501 190 | 0.000 % |
60.23/60.31 c | 89221 | 11696 50088 152094 | 2147483647 89221 190 | 0.000 % |
60.93/61.04 c | 90014 | 11696 50088 152094 | 2147483647 90014 190 | 0.000 % |
61.74/61.85 c | 90886 | 11696 50088 152094 | 2147483647 90886 191 | 0.000 % |
62.64/62.73 c | 91844 | 11696 50088 152094 | 2147483647 91844 191 | 0.000 % |
63.54/63.69 c | 92901 | 11696 50088 152094 | 2147483647 92901 191 | 0.000 % |
63.64/63.79 c | 93002 | 11696 50088 152094 | 2147483647 93002 191 | 0.000 % |
63.83/63.92 c | 93113 | 11696 50088 152094 | 2147483647 93113 191 | 0.000 % |
63.93/64.04 c | 93234 | 11696 50088 152094 | 2147483647 93234 191 | 0.000 % |
64.03/64.16 c | 93369 | 11696 50088 152094 | 2147483647 93369 191 | 0.000 % |
64.23/64.32 c | 93515 | 11696 50088 152094 | 2147483647 93515 191 | 0.000 % |
64.33/64.49 c | 93678 | 11696 50088 152094 | 2147483647 93678 191 | 0.000 % |
64.53/64.67 c | 93855 | 11696 50088 152094 | 2147483647 93855 191 | 0.000 % |
64.74/64.86 c | 94048 | 11696 50088 152094 | 2147483647 94048 191 | 0.000 % |
64.93/65.08 c | 94265 | 11696 50088 152094 | 2147483647 94265 191 | 0.000 % |
65.23/65.33 c | 94499 | 11696 50088 152094 | 2147483647 94499 191 | 0.000 % |
65.43/65.57 c | 94756 | 11696 50088 152094 | 2147483647 94756 191 | 0.000 % |
65.73/65.87 c | 95038 | 11696 50088 152094 | 2147483647 95038 191 | 0.000 % |
66.04/66.18 c | 95347 | 11696 50088 152094 | 2147483647 95347 191 | 0.000 % |
66.44/66.52 c | 95686 | 11696 50088 152094 | 2147483647 95686 191 | 0.000 % |
66.74/66.89 c | 96059 | 11696 50088 152094 | 2147483647 96059 191 | 0.000 % |
67.14/67.29 c | 96470 | 11696 50088 152094 | 2147483647 96470 191 | 0.000 % |
67.63/67.74 c | 96920 | 11696 50088 152094 | 2147483647 96920 191 | 0.000 % |
68.14/68.22 c | 97413 | 11696 50088 152094 | 2147483647 97413 191 | 0.000 % |
68.63/68.75 c | 97956 | 11696 50088 152094 | 2147483647 97956 191 | 0.000 % |
69.23/69.37 c | 98552 | 11696 50088 152094 | 2147483647 98552 191 | 0.000 % |
69.93/70.01 c | 99207 | 11696 50088 152094 | 2147483647 99207 191 | 0.000 % |
70.54/70.69 c | 99927 | 11696 50088 152094 | 2147483647 99927 191 | 0.000 % |
71.34/71.46 c | 100720 | 11696 50088 152094 | 2147483647 100720 191 | 0.000 % |
72.23/72.33 c | 101592 | 11696 50088 152094 | 2147483647 101592 191 | 0.000 % |
73.23/73.32 c | 102552 | 11696 50088 152094 | 2147483647 102552 191 | 0.000 % |
74.22/74.39 c | 103605 | 11696 50088 152094 | 2147483647 103605 192 | 0.000 % |
75.43/75.54 c | 104763 | 11696 50088 152094 | 2147483647 104763 192 | 0.000 % |
75.53/75.66 c | 104863 | 11696 50088 152094 | 2147483647 104863 192 | 0.000 % |
75.63/75.80 c | 104975 | 11696 50088 152094 | 2147483647 104975 192 | 0.000 % |
75.84/75.92 c | 105096 | 11696 50088 152094 | 2147483647 105096 192 | 0.000 % |
75.93/76.08 c | 105230 | 11696 50088 152094 | 2147483647 105230 192 | 0.000 % |
76.13/76.24 c | 105377 | 11696 50088 152094 | 2147483647 105377 192 | 0.000 % |
76.33/76.40 c | 105537 | 11696 50088 152094 | 2147483647 105537 192 | 0.000 % |
76.53/76.61 c | 105715 | 11696 50088 152094 | 2147483647 105715 192 | 0.000 % |
76.73/76.81 c | 105908 | 11696 50088 152094 | 2147483647 105908 192 | 0.000 % |
76.93/77.03 c | 106121 | 11696 50088 152094 | 2147483647 106121 192 | 0.000 % |
77.13/77.28 c | 106354 | 11696 50088 152094 | 2147483647 106354 192 | 0.000 % |
77.43/77.56 c | 106614 | 11696 50088 152094 | 2147483647 106614 192 | 0.000 % |
77.73/77.85 c | 106896 | 11696 50088 152094 | 2147483647 106896 192 | 0.000 % |
78.03/78.16 c | 107205 | 11696 50088 152094 | 2147483647 107205 192 | 0.000 % |
78.33/78.48 c | 107544 | 11696 50088 152094 | 2147483647 107544 192 | 0.000 % |
78.72/78.88 c | 107916 | 11696 50088 152094 | 2147483647 107916 192 | 0.000 % |
79.22/79.32 c | 108325 | 11696 50088 152094 | 2147483647 108325 192 | 0.000 % |
79.72/79.80 c | 108775 | 11696 50088 152094 | 2147483647 108775 192 | 0.000 % |
80.13/80.30 c | 109268 | 11696 50088 152094 | 2147483647 109268 192 | 0.000 % |
80.73/80.86 c | 109811 | 11696 50088 152094 | 2147483647 109811 192 | 0.000 % |
81.33/81.48 c | 110407 | 11696 50088 152094 | 2147483647 110407 192 | 0.000 % |
82.03/82.14 c | 111065 | 11696 50088 152094 | 2147483647 111065 192 | 0.000 % |
82.73/82.88 c | 111785 | 11696 50088 152094 | 2147483647 111785 192 | 0.000 % |
83.62/83.71 c | 112577 | 11696 50088 152094 | 2147483647 112577 192 | 0.000 % |
84.54/84.61 c | 113450 | 11696 50088 152094 | 2147483647 113450 193 | 0.000 % |
85.53/85.60 c | 114409 | 11696 50088 152094 | 2147483647 114409 193 | 0.000 % |
86.52/86.65 c | 115462 | 11696 50088 152094 | 2147483647 115462 193 | 0.000 % |
87.72/87.83 c | 116620 | 11696 50088 152094 | 2147483647 116620 193 | 0.000 % |
89.03/89.15 c | 117894 | 11696 50088 152094 | 2147483647 117894 193 | 0.000 % |
89.13/89.28 c | 117995 | 11696 50088 152094 | 2147483647 117995 193 | 0.000 % |
89.33/89.41 c | 118106 | 11696 50088 152094 | 2147483647 118106 193 | 0.000 % |
89.43/89.56 c | 118227 | 11696 50088 152094 | 2147483647 118227 193 | 0.000 % |
89.62/89.72 c | 118360 | 11696 50088 152094 | 2147483647 118360 193 | 0.000 % |
89.82/89.90 c | 118509 | 11696 50088 152094 | 2147483647 118509 193 | 0.000 % |
90.03/90.11 c | 118669 | 11696 50088 152094 | 2147483647 118669 193 | 0.000 % |
90.22/90.32 c | 118845 | 11696 50088 152094 | 2147483647 118845 193 | 0.000 % |
90.42/90.55 c | 119039 | 11696 50088 152094 | 2147483647 119039 193 | 0.000 % |
90.72/90.82 c | 119251 | 11696 50088 152094 | 2147483647 119251 193 | 0.000 % |
91.02/91.12 c | 119487 | 11696 50088 152094 | 2147483647 119487 193 | 0.000 % |
91.32/91.43 c | 119744 | 11696 50088 152094 | 2147483647 119744 193 | 0.000 % |
91.62/91.76 c | 120026 | 11696 50088 152094 | 2147483647 120026 193 | 0.000 % |
92.02/92.11 c | 120338 | 11696 50088 152094 | 2147483647 120338 193 | 0.000 % |
92.42/92.50 c | 120679 | 11696 50088 152094 | 2147483647 120679 193 | 0.000 % |
92.82/92.93 c | 121054 | 11696 50088 152094 | 2147483647 121054 193 | 0.000 % |
93.22/93.39 c | 121465 | 11696 50088 152094 | 2147483647 121465 193 | 0.000 % |
93.82/93.92 c | 121914 | 11696 50088 152094 | 2147483647 121914 193 | 0.000 % |
94.32/94.43 c | 122408 | 11696 50088 152094 | 2147483647 122408 193 | 0.000 % |
94.92/95.05 c | 122950 | 11696 50088 152094 | 2147483647 122950 193 | 0.000 % |
95.62/95.74 c | 123547 | 11696 50088 152094 | 2147483647 123547 193 | 0.000 % |
96.42/96.50 c | 124202 | 11696 50088 152094 | 2147483647 124202 193 | 0.000 % |
97.12/97.27 c | 124922 | 11696 50088 152094 | 2147483647 124922 193 | 0.000 % |
98.02/98.15 c | 125714 | 11696 50088 152094 | 2147483647 125714 193 | 0.000 % |
99.02/99.12 c | 126586 | 11696 50088 152094 | 2147483647 126586 193 | 0.000 % |
100.02/100.19 c | 127549 | 11696 50088 152094 | 2147483647 127549 193 | 0.000 % |
101.22/101.35 c | 128604 | 11696 50088 152094 | 2147483647 128604 193 | 0.000 % |
102.42/102.53 c | 129767 | 11696 50088 152094 | 2147483647 129767 194 | 0.000 % |
103.82/103.92 c | 131041 | 11696 50088 152094 | 2147483647 131041 194 | 0.000 % |
105.42/105.53 c | 132443 | 11696 50088 152094 | 2147483647 132443 195 | 0.000 % |
105.52/105.63 c | 132546 | 11696 50088 152094 | 2147483647 132546 195 | 0.000 % |
105.61/105.79 c | 132657 | 11696 50088 152094 | 2147483647 132657 195 | 0.000 % |
105.81/105.94 c | 132778 | 11696 50088 152094 | 2147483647 132778 195 | 0.000 % |
106.01/106.13 c | 132911 | 11696 50088 152094 | 2147483647 132911 195 | 0.000 % |
106.21/106.32 c | 133057 | 11696 50088 152094 | 2147483647 133057 195 | 0.000 % |
106.41/106.54 c | 133218 | 11696 50088 152094 | 2147483647 133218 195 | 0.000 % |
106.62/106.76 c | 133394 | 11696 50088 152094 | 2147483647 133394 194 | 0.000 % |
106.91/107.03 c | 133587 | 11696 50088 152094 | 2147483647 133587 194 | 0.000 % |
107.21/107.30 c | 133800 | 11696 50088 152094 | 2147483647 133800 194 | 0.000 % |
107.41/107.59 c | 134035 | 11696 50088 152094 | 2147483647 134035 194 | 0.000 % |
107.81/107.92 c | 134292 | 11696 50088 152094 | 2147483647 134292 194 | 0.000 % |
108.22/108.30 c | 134574 | 11696 50088 152094 | 2147483647 134574 194 | 0.000 % |
108.62/108.73 c | 134883 | 11696 50088 152094 | 2147483647 134883 194 | 0.000 % |
109.02/109.18 c | 135222 | 11696 50088 152094 | 2147483647 135222 194 | 0.000 % |
109.52/109.63 c | 135594 | 11696 50088 152094 | 2147483647 135594 194 | 0.000 % |
110.02/110.12 c | 136005 | 11696 50088 152094 | 2147483647 136005 194 | 0.000 % |
110.51/110.63 c | 136456 | 11696 50088 152094 | 2147483647 136456 194 | 0.000 % |
111.11/111.21 c | 136949 | 11696 50088 152094 | 2147483647 136949 194 | 0.000 % |
111.71/111.85 c | 137491 | 11696 50088 152094 | 2147483647 137491 194 | 0.000 % |
112.41/112.57 c | 138087 | 11696 50088 152094 | 2147483647 138087 194 | 0.000 % |
113.21/113.38 c | 138742 | 11696 50088 152094 | 2147483647 138742 194 | 0.000 % |
114.11/114.25 c | 139465 | 11696 50088 152094 | 2147483647 139465 194 | 0.000 % |
115.11/115.25 c | 140257 | 11696 50088 152094 | 2147483647 140257 194 | 0.000 % |
116.11/116.25 c | 141128 | 11696 50088 152094 | 2147483647 141128 195 | 0.000 % |
117.21/117.31 c | 142086 | 11696 50088 152094 | 2147483647 142086 195 | 0.000 % |
118.41/118.58 c | 143141 | 11696 50088 152094 | 2147483647 143141 195 | 0.000 % |
119.72/119.86 c | 144301 | 11696 50088 152094 | 2147483647 144301 195 | 0.000 % |
121.21/121.38 c | 145576 | 11696 50088 152094 | 2147483647 145576 195 | 0.000 % |
123.01/123.14 c | 146976 | 11696 50088 152094 | 2147483647 146976 195 | 0.000 % |
124.91/125.07 c | 148517 | 11696 50088 152094 | 2147483647 148517 196 | 0.000 % |
125.11/125.23 c | 148621 | 11696 50088 152094 | 2147483647 148621 196 | 0.000 % |
125.22/125.40 c | 148733 | 11696 50088 152094 | 2147483647 148733 196 | 0.000 % |
125.41/125.59 c | 148854 | 11696 50088 152094 | 2147483647 148854 196 | 0.000 % |
125.61/125.77 c | 148988 | 11696 50088 152094 | 2147483647 148988 196 | 0.000 % |
125.81/125.98 c | 149134 | 11696 50088 152094 | 2147483647 149134 196 | 0.000 % |
126.11/126.22 c | 149294 | 11696 50088 152094 | 2147483647 149294 196 | 0.000 % |
126.31/126.46 c | 149471 | 11696 50088 152094 | 2147483647 149471 196 | 0.000 % |
126.51/126.70 c | 149665 | 11696 50088 152094 | 2147483647 149665 196 | 0.000 % |
126.81/126.99 c | 149879 | 11696 50088 152094 | 2147483647 149879 196 | 0.000 % |
127.11/127.30 c | 150113 | 11696 50088 152094 | 2147483647 150113 196 | 0.000 % |
127.51/127.63 c | 150371 | 11696 50088 152094 | 2147483647 150371 196 | 0.000 % |
127.91/128.01 c | 150652 | 11696 50088 152094 | 2147483647 150652 195 | 0.000 % |
128.21/128.38 c | 150961 | 11696 50088 152094 | 2147483647 150961 196 | 0.000 % |
128.71/128.81 c | 151300 | 11696 50088 152094 | 2147483647 151300 196 | 0.000 % |
129.20/129.31 c | 151672 | 11696 50088 152094 | 2147483647 151672 196 | 0.000 % |
129.71/129.83 c | 152081 | 11696 50088 152094 | 2147483647 152081 196 | 0.000 % |
130.30/130.41 c | 152530 | 11696 50088 152094 | 2147483647 152530 196 | 0.000 % |
130.90/131.07 c | 153024 | 11696 50088 152094 | 2147483647 153024 196 | 0.000 % |
131.60/131.78 c | 153567 | 11696 50088 152094 | 2147483647 153567 196 | 0.000 % |
132.40/132.56 c | 154164 | 11696 50088 152094 | 2147483647 154164 195 | 0.000 % |
133.20/133.35 c | 154820 | 11696 50088 152094 | 2147483647 154820 196 | 0.000 % |
134.00/134.20 c | 155541 | 11696 50088 152094 | 2147483647 155541 196 | 0.000 % |
135.10/135.21 c | 156335 | 11696 50088 152094 | 2147483647 156335 196 | 0.000 % |
136.10/136.26 c | 157208 | 11696 50088 152094 | 2147483647 157208 196 | 0.000 % |
137.31/137.45 c | 158166 | 11696 50088 152094 | 2147483647 158166 196 | 0.000 % |
138.70/138.83 c | 159220 | 11696 50088 152094 | 2147483647 159220 196 | 0.000 % |
140.20/140.35 c | 160380 | 11696 50088 152094 | 2147483647 160380 196 | 0.000 % |
141.80/141.92 c | 161655 | 11696 50088 152094 | 2147483647 161655 196 | 0.000 % |
143.60/143.77 c | 163057 | 11696 50088 152094 | 2147483647 163057 197 | 0.000 % |
145.60/145.79 c | 164598 | 11696 50088 152094 | 2147483647 164598 197 | 0.000 % |
147.80/147.97 c | 166292 | 11696 50088 152094 | 2147483647 166292 197 | 0.000 % |
147.99/148.13 c | 166392 | 11696 50088 152094 | 2147483647 166392 197 | 0.000 % |
148.09/148.26 c | 166504 | 11696 50088 152094 | 2147483647 166504 197 | 0.000 % |
148.30/148.49 c | 166625 | 11696 50088 152094 | 2147483647 166625 197 | 0.000 % |
148.59/148.70 c | 166758 | 11696 50088 152094 | 2147483647 166758 197 | 0.000 % |
148.79/148.94 c | 166905 | 11696 50088 152094 | 2147483647 166905 197 | 0.000 % |
148.99/149.18 c | 167065 | 11696 50088 152094 | 2147483647 167065 197 | 0.000 % |
149.29/149.45 c | 167242 | 11696 50088 152094 | 2147483647 167242 197 | 0.000 % |
149.59/149.71 c | 167435 | 11696 50088 152094 | 2147483647 167435 197 | 0.000 % |
149.89/150.01 c | 167647 | 11696 50088 152094 | 2147483647 167647 197 | 0.000 % |
150.20/150.35 c | 167882 | 11696 50088 152094 | 2147483647 167882 197 | 0.000 % |
150.61/150.76 c | 168139 | 11696 50088 152094 | 2147483647 168139 197 | 0.000 % |
151.00/151.12 c | 168422 | 11696 50088 152094 | 2147483647 168422 197 | 0.000 % |
151.40/151.57 c | 168732 | 11696 50088 152094 | 2147483647 168732 197 | 0.000 % |
151.90/152.03 c | 169072 | 11696 50088 152094 | 2147483647 169072 197 | 0.000 % |
152.40/152.59 c | 169446 | 11696 50088 152094 | 2147483647 169446 197 | 0.000 % |
153.09/153.20 c | 169855 | 11696 50088 152094 | 2147483647 169855 197 | 0.000 % |
153.69/153.81 c | 170306 | 11696 50088 152094 | 2147483647 170306 197 | 0.000 % |
154.39/154.53 c | 170801 | 11696 50088 152094 | 2147483647 170801 197 | 0.000 % |
155.20/155.30 c | 171344 | 11696 50088 152094 | 2147483647 171344 197 | 0.000 % |
155.90/156.09 c | 171940 | 11696 50088 152094 | 2147483647 171940 197 | 0.000 % |
156.80/156.93 c | 172595 | 11696 50088 152094 | 2147483647 172595 197 | 0.000 % |
157.80/157.90 c | 173315 | 11696 50088 152094 | 2147483647 173315 197 | 0.000 % |
158.89/159.04 c | 174107 | 11696 50088 152094 | 2147483647 174107 197 | 0.000 % |
160.09/160.23 c | 174981 | 11696 50088 152094 | 2147483647 174981 197 | 0.000 % |
161.39/161.55 c | 175939 | 11696 50088 152094 | 2147483647 175939 198 | 0.000 % |
162.79/162.91 c | 176993 | 11696 50088 152094 | 2147483647 176993 198 | 0.000 % |
164.29/164.47 c | 178152 | 11696 50088 152094 | 2147483647 178152 198 | 0.000 % |
166.08/166.27 c | 179426 | 11696 50088 152094 | 2147483647 179426 198 | 0.000 % |
167.99/168.17 c | 180826 | 11696 50088 152094 | 2147483647 180826 199 | 0.000 % |
170.09/170.29 c | 182366 | 11696 50088 152094 | 2147483647 182366 199 | 0.000 % |
172.38/172.50 c | 184060 | 11696 50088 152094 | 2147483647 184060 199 | 0.000 % |
175.09/175.23 c | 185924 | 11696 50088 152094 | 2147483647 185924 200 | 0.000 % |
175.28/175.41 c | 186025 | 11696 50088 152094 | 2147483647 186025 200 | 0.000 % |
175.48/175.64 c | 186135 | 11696 50088 152094 | 2147483647 186135 200 | 0.000 % |
175.68/175.84 c | 186257 | 11696 50088 152094 | 2147483647 186257 200 | 0.000 % |
175.89/176.03 c | 186390 | 11696 50088 152094 | 2147483647 186390 200 | 0.000 % |
176.08/176.29 c | 186537 | 11696 50088 152094 | 2147483647 186537 200 | 0.000 % |
176.48/176.62 c | 186698 | 11696 50088 152094 | 2147483647 186698 200 | 0.000 % |
176.68/176.89 c | 186875 | 11696 50088 152094 | 2147483647 186875 200 | 0.000 % |
176.99/177.18 c | 187068 | 11696 50088 152094 | 2147483647 187068 200 | 0.000 % |
177.38/177.52 c | 187280 | 11696 50088 152094 | 2147483647 187280 200 | 0.000 % |
177.69/177.86 c | 187513 | 11696 50088 152094 | 2147483647 187513 200 | 0.000 % |
178.19/178.32 c | 187770 | 11696 50088 152094 | 2147483647 187770 200 | 0.000 % |
178.58/178.73 c | 188051 | 11696 50088 152094 | 2147483647 188051 200 | 0.000 % |
179.09/179.23 c | 188360 | 11696 50088 152094 | 2147483647 188360 200 | 0.000 % |
179.58/179.79 c | 188702 | 11696 50088 152094 | 2147483647 188702 200 | 0.000 % |
180.19/180.40 c | 189074 | 11696 50088 152094 | 2147483647 189074 200 | 0.000 % |
180.88/181.02 c | 189484 | 11696 50088 152094 | 2147483647 189484 200 | 0.000 % |
181.59/181.72 c | 189935 | 11696 50088 152094 | 2147483647 189935 200 | 0.000 % |
182.29/182.44 c | 190429 | 11696 50088 152094 | 2147483647 190429 200 | 0.000 % |
183.09/183.25 c | 190975 | 11696 50088 152094 | 2147483647 190975 199 | 0.000 % |
183.98/184.15 c | 191571 | 11696 50088 152094 | 2147483647 191571 199 | 0.000 % |
184.98/185.16 c | 192226 | 11696 50088 152094 | 2147483647 192226 199 | 0.000 % |
186.08/186.25 c | 192948 | 11696 50088 152094 | 2147483647 192948 200 | 0.000 % |
187.18/187.32 c | 193740 | 11696 50088 152094 | 2147483647 193740 200 | 0.000 % |
188.48/188.63 c | 194611 | 11696 50088 152094 | 2147483647 194611 200 | 0.000 % |
189.88/190.09 c | 195569 | 11696 50088 152094 | 2147483647 195569 200 | 0.000 % |
191.38/191.58 c | 196622 | 11696 50088 152094 | 2147483647 196622 200 | 0.000 % |
193.18/193.36 c | 197780 | 11696 50088 152094 | 2147483647 197780 200 | 0.000 % |
195.18/195.31 c | 199053 | 11696 50088 152094 | 2147483647 199053 200 | 0.000 % |
197.28/197.47 c | 200456 | 11696 50088 152094 | 2147483647 200456 200 | 0.000 % |
199.48/199.62 c | 201996 | 11696 50088 152094 | 2147483647 201996 200 | 0.000 % |
201.98/202.10 c | 203690 | 11696 50088 152094 | 2147483647 203690 201 | 0.000 % |
204.68/204.81 c | 205554 | 11696 50088 152094 | 2147483647 205554 201 | 0.000 % |
207.78/207.95 c | 207606 | 11696 50088 152094 | 2147483647 207606 201 | 0.000 % |
207.98/208.10 c | 207706 | 11696 50088 152094 | 2147483647 207706 201 | 0.000 % |
208.18/208.33 c | 207816 | 11696 50088 152094 | 2147483647 207816 201 | 0.000 % |
208.38/208.55 c | 207937 | 11696 50088 152094 | 2147483647 207937 201 | 0.000 % |
208.67/208.80 c | 208072 | 11696 50088 152094 | 2147483647 208072 201 | 0.000 % |
208.97/209.10 c | 208219 | 11696 50088 152094 | 2147483647 208219 201 | 0.000 % |
209.17/209.37 c | 208379 | 11696 50088 152094 | 2147483647 208379 201 | 0.000 % |
209.47/209.67 c | 208557 | 11696 50088 152094 | 2147483647 208557 201 | 0.000 % |
209.88/210.05 c | 208750 | 11696 50088 152094 | 2147483647 208750 201 | 0.000 % |
210.27/210.41 c | 208962 | 11696 50088 152094 | 2147483647 208962 201 | 0.000 % |
210.67/210.82 c | 209197 | 11696 50088 152094 | 2147483647 209197 201 | 0.000 % |
211.08/211.24 c | 209453 | 11696 50088 152094 | 2147483647 209453 201 | 0.000 % |
211.57/211.78 c | 209734 | 11696 50088 152094 | 2147483647 209734 201 | 0.000 % |
212.18/212.34 c | 210044 | 11696 50088 152094 | 2147483647 210044 201 | 0.000 % |
212.67/212.87 c | 210383 | 11696 50088 152094 | 2147483647 210383 201 | 0.000 % |
213.28/213.47 c | 210756 | 11696 50088 152094 | 2147483647 210756 201 | 0.000 % |
213.97/214.17 c | 211167 | 11696 50088 152094 | 2147483647 211167 201 | 0.000 % |
214.67/214.86 c | 211617 | 11696 50088 152094 | 2147483647 211617 200 | 0.000 % |
215.48/215.66 c | 212111 | 11696 50088 152094 | 2147483647 212111 200 | 0.000 % |
216.37/216.50 c | 212653 | 11696 50088 152094 | 2147483647 212653 200 | 0.000 % |
217.27/217.47 c | 213251 | 11696 50088 152094 | 2147483647 213251 201 | 0.000 % |
218.37/218.51 c | 213909 | 11696 50088 152094 | 2147483647 213909 201 | 0.000 % |
219.47/219.61 c | 214630 | 11696 50088 152094 | 2147483647 214630 201 | 0.000 % |
220.68/220.84 c | 215422 | 11696 50088 152094 | 2147483647 215422 201 | 0.000 % |
221.98/222.12 c | 216294 | 11696 50088 152094 | 2147483647 216294 201 | 0.000 % |
223.57/223.70 c | 217252 | 11696 50088 152094 | 2147483647 217252 201 | 0.000 % |
225.07/225.23 c | 218306 | 11696 50088 152094 | 2147483647 218306 201 | 0.000 % |
226.77/226.94 c | 219464 | 11696 50088 152094 | 2147483647 219464 201 | 0.000 % |
228.67/228.83 c | 220738 | 11696 50088 152094 | 2147483647 220738 201 | 0.000 % |
230.87/231.08 c | 222138 | 11696 50088 152094 | 2147483647 222138 201 | 0.000 % |
233.27/233.43 c | 223678 | 11696 50088 152094 | 2147483647 223678 202 | 0.000 % |
235.86/236.07 c | 225373 | 11696 50088 152094 | 2147483647 225373 202 | 0.000 % |
238.66/238.87 c | 227236 | 11696 50088 152094 | 2147483647 227236 202 | 0.000 % |
242.06/242.20 c | 229285 | 11696 50088 152094 | 2147483647 229285 202 | 0.000 % |
245.66/245.84 c | 231541 | 11696 50088 152094 | 2147483647 231541 203 | 0.000 % |
245.96/246.10 c | 231642 | 11696 50088 152094 | 2147483647 231642 203 | 0.000 % |
246.16/246.33 c | 231754 | 11696 50088 152094 | 2147483647 231754 203 | 0.000 % |
246.36/246.58 c | 231875 | 11696 50088 152094 | 2147483647 231875 203 | 0.000 % |
246.66/246.85 c | 232008 | 11696 50088 152094 | 2147483647 232008 203 | 0.000 % |
246.96/247.18 c | 232155 | 11696 50088 152094 | 2147483647 232155 203 | 0.000 % |
247.26/247.48 c | 232315 | 11696 50088 152094 | 2147483647 232315 203 | 0.000 % |
247.66/247.84 c | 232491 | 11696 50088 152094 | 2147483647 232491 203 | 0.000 % |
248.06/248.20 c | 232685 | 11696 50088 152094 | 2147483647 232685 203 | 0.000 % |
248.46/248.60 c | 232901 | 11696 50088 152094 | 2147483647 232901 203 | 0.000 % |
248.85/249.06 c | 233134 | 11696 50088 152094 | 2147483647 233134 202 | 0.000 % |
249.35/249.55 c | 233392 | 11696 50088 152094 | 2147483647 233392 202 | 0.000 % |
249.85/250.02 c | 233674 | 11696 50088 152094 | 2147483647 233674 202 | 0.000 % |
250.35/250.54 c | 233984 | 11696 50088 152094 | 2147483647 233984 202 | 0.000 % |
250.95/251.15 c | 234324 | 11696 50088 152094 | 2147483647 234324 202 | 0.000 % |
251.67/251.81 c | 234697 | 11696 50088 152094 | 2147483647 234697 202 | 0.000 % |
252.36/252.56 c | 235107 | 11696 50088 152094 | 2147483647 235107 202 | 0.000 % |
253.16/253.30 c | 235556 | 11696 50088 152094 | 2147483647 235556 202 | 0.000 % |
253.96/254.15 c | 236049 | 11696 50088 152094 | 2147483647 236049 202 | 0.000 % |
254.96/255.17 c | 236591 | 11696 50088 152094 | 2147483647 236591 202 | 0.000 % |
255.96/256.19 c | 237189 | 11696 50088 152094 | 2147483647 237189 202 | 0.000 % |
257.16/257.31 c | 237844 | 11696 50088 152094 | 2147483647 237844 202 | 0.000 % |
258.36/258.54 c | 238564 | 11696 50088 152094 | 2147483647 238564 202 | 0.000 % |
259.75/259.90 c | 239357 | 11696 50088 152094 | 2147483647 239357 202 | 0.000 % |
261.16/261.39 c | 240229 | 11696 50088 152094 | 2147483647 240229 202 | 0.000 % |
262.86/263.04 c | 241187 | 11696 50088 152094 | 2147483647 241187 202 | 0.000 % |
264.65/264.85 c | 242240 | 11696 50088 152094 | 2147483647 242240 202 | 0.000 % |
266.56/266.79 c | 243400 | 11696 50088 152094 | 2147483647 243400 202 | 0.000 % |
268.65/268.88 c | 244673 | 11696 50088 152094 | 2147483647 244673 203 | 0.000 % |
271.15/271.34 c | 246075 | 11696 50088 152094 | 2147483647 246075 203 | 0.000 % |
273.86/274.01 c | 247615 | 11696 50088 152094 | 2147483647 247615 203 | 0.000 % |
276.75/276.90 c | 249309 | 11696 50088 152094 | 2147483647 249309 203 | 0.000 % |
279.84/280.02 c | 251173 | 11696 50088 152094 | 2147483647 251173 203 | 0.000 % |
283.24/283.48 c | 253223 | 11696 50088 152094 | 2147483647 253223 203 | 0.000 % |
287.04/287.26 c | 255477 | 11696 50088 152094 | 2147483647 255477 204 | 0.000 % |
291.34/291.54 c | 257956 | 11696 50088 152094 | 2147483647 257956 204 | 0.000 % |
291.53/291.79 c | 258056 | 11696 50088 152094 | 2147483647 258056 204 | 0.000 % |
291.93/292.12 c | 258166 | 11696 50088 152094 | 2147483647 258166 204 | 0.000 % |
292.13/292.38 c | 258287 | 11696 50088 152094 | 2147483647 258287 204 | 0.000 % |
292.44/292.68 c | 258420 | 11696 50088 152094 | 2147483647 258420 204 | 0.000 % |
292.83/293.00 c | 258566 | 11696 50088 152094 | 2147483647 258566 204 | 0.000 % |
293.13/293.34 c | 258727 | 11696 50088 152094 | 2147483647 258727 204 | 0.000 % |
293.53/293.73 c | 258903 | 11696 50088 152094 | 2147483647 258903 204 | 0.000 % |
293.93/294.17 c | 259096 | 11696 50088 152094 | 2147483647 259096 204 | 0.000 % |
294.43/294.62 c | 259308 | 11696 50088 152094 | 2147483647 259308 204 | 0.000 % |
294.93/295.10 c | 259543 | 11696 50088 152094 | 2147483647 259543 204 | 0.000 % |
295.44/295.60 c | 259799 | 11696 50088 152094 | 2147483647 259799 204 | 0.000 % |
295.94/296.19 c | 260080 | 11696 50088 152094 | 2147483647 260080 204 | 0.000 % |
296.64/296.85 c | 260392 | 11696 50088 152094 | 2147483647 260392 204 | 0.000 % |
297.34/297.57 c | 260732 | 11696 50088 152094 | 2147483647 260732 204 | 0.000 % |
298.04/298.27 c | 261106 | 11696 50088 152094 | 2147483647 261106 204 | 0.000 % |
298.73/298.95 c | 261515 | 11696 50088 152094 | 2147483647 261515 204 | 0.000 % |
299.63/299.87 c | 261967 | 11696 50088 152094 | 2147483647 261967 204 | 0.000 % |
300.63/300.87 c | 262461 | 11696 50088 152094 | 2147483647 262461 204 | 0.000 % |
301.74/301.90 c | 263005 | 11696 50088 152094 | 2147483647 263005 204 | 0.000 % |
302.83/303.09 c | 263602 | 11696 50088 152094 | 2147483647 263602 204 | 0.000 % |
304.13/304.31 c | 264259 | 11696 50088 152094 | 2147483647 264259 204 | 0.000 % |
305.33/305.59 c | 264979 | 11696 50088 152094 | 2147483647 264979 204 | 0.000 % |
306.84/307.07 c | 265771 | 11696 50088 152094 | 2147483647 265771 204 | 0.000 % |
308.43/308.61 c | 266642 | 11696 50088 152094 | 2147483647 266642 204 | 0.000 % |
310.23/310.43 c | 267600 | 11696 50088 152094 | 2147483647 267600 204 | 0.000 % |
312.24/312.46 c | 268653 | 11696 50088 152094 | 2147483647 268653 204 | 0.000 % |
314.33/314.52 c | 269812 | 11696 50088 152094 | 2147483647 269812 204 | 0.000 % |
316.53/316.76 c | 271086 | 11696 50088 152094 | 2147483647 271086 204 | 0.000 % |
319.23/319.47 c | 272486 | 11696 50088 152094 | 2147483647 272486 204 | 0.000 % |
322.13/322.36 c | 274030 | 11696 50088 152094 | 2147483647 274030 205 | 0.000 % |
325.22/325.48 c | 275724 | 11696 50088 152094 | 2147483647 275724 205 | 0.000 % |
328.63/328.87 c | 277588 | 11696 50088 152094 | 2147483647 277588 205 | 0.000 % |
332.32/332.55 c | 279638 | 11696 50088 152094 | 2147483647 279638 205 | 0.000 % |
336.43/336.63 c | 281891 | 11696 50088 152094 | 2147483647 281891 206 | 0.000 % |
340.82/341.03 c | 284369 | 11696 50088 152094 | 2147483647 284369 206 | 0.000 % |
345.72/345.93 c | 287094 | 11696 50088 152094 | 2147483647 287094 206 | 0.000 % |
346.02/346.20 c | 287194 | 11696 50088 152094 | 2147483647 287194 206 | 0.000 % |
346.22/346.47 c | 287304 | 11696 50088 152094 | 2147483647 287304 206 | 0.000 % |
346.52/346.78 c | 287428 | 11696 50088 152094 | 2147483647 287428 206 | 0.000 % |
346.82/347.08 c | 287561 | 11696 50088 152094 | 2147483647 287561 206 | 0.000 % |
347.22/347.44 c | 287709 | 11696 50088 152094 | 2147483647 287709 206 | 0.000 % |
347.62/347.82 c | 287869 | 11696 50088 152094 | 2147483647 287869 206 | 0.000 % |
348.02/348.25 c | 288045 | 11696 50088 152094 | 2147483647 288045 206 | 0.000 % |
348.53/348.74 c | 288238 | 11696 50088 152094 | 2147483647 288238 206 | 0.000 % |
349.03/349.28 c | 288453 | 11696 50088 152094 | 2147483647 288453 206 | 0.000 % |
349.63/349.80 c | 288687 | 11696 50088 152094 | 2147483647 288687 206 | 0.000 % |
350.12/350.37 c | 288944 | 11696 50088 152094 | 2147483647 288944 206 | 0.000 % |
350.82/351.02 c | 289225 | 11696 50088 152094 | 2147483647 289225 206 | 0.000 % |
351.42/351.63 c | 289534 | 11696 50088 152094 | 2147483647 289534 206 | 0.000 % |
352.12/352.35 c | 289873 | 11696 50088 152094 | 2147483647 289873 206 | 0.000 % |
352.92/353.15 c | 290246 | 11696 50088 152094 | 2147483647 290246 206 | 0.000 % |
353.81/354.03 c | 290655 | 11696 50088 152094 | 2147483647 290655 206 | 0.000 % |
354.81/355.00 c | 291106 | 11696 50088 152094 | 2147483647 291106 206 | 0.000 % |
355.71/355.96 c | 291599 | 11696 50088 152094 | 2147483647 291599 206 | 0.000 % |
356.92/357.13 c | 292142 | 11696 50088 152094 | 2147483647 292142 206 | 0.000 % |
358.12/358.35 c | 292740 | 11696 50088 152094 | 2147483647 292740 206 | 0.000 % |
359.32/359.56 c | 293396 | 11696 50088 152094 | 2147483647 293396 206 | 0.000 % |
360.82/361.02 c | 294116 | 11696 50088 152094 | 2147483647 294116 206 | 0.000 % |
362.41/362.64 c | 294909 | 11696 50088 152094 | 2147483647 294909 206 | 0.000 % |
364.01/364.27 c | 295782 | 11696 50088 152094 | 2147483647 295782 206 | 0.000 % |
365.92/366.15 c | 296744 | 11696 50088 152094 | 2147483647 296744 206 | 0.000 % |
368.11/368.31 c | 297799 | 11696 50088 152094 | 2147483647 297799 206 | 0.000 % |
370.21/370.47 c | 298957 | 11696 50088 152094 | 2147483647 298957 206 | 0.000 % |
372.81/373.02 c | 300232 | 11696 50088 152094 | 2147483647 300232 206 | 0.000 % |
375.52/375.76 c | 301632 | 11696 50088 152094 | 2147483647 301632 206 | 0.000 % |
378.61/378.83 c | 303174 | 11696 50088 152094 | 2147483647 303174 207 | 0.000 % |
382.01/382.24 c | 304868 | 11696 50088 152094 | 2147483647 304868 207 | 0.000 % |
385.81/386.03 c | 306731 | 11696 50088 152094 | 2147483647 306731 207 | 0.000 % |
389.81/390.07 c | 308781 | 11696 50088 152094 | 2147483647 308781 207 | 0.000 % |
394.31/394.50 c | 311034 | 11696 50088 152094 | 2147483647 311034 207 | 0.000 % |
399.30/399.56 c | 313512 | 11696 50088 152094 | 2147483647 313512 207 | 0.000 % |
404.61/404.85 c | 316238 | 11696 50088 152094 | 2147483647 316238 207 | 0.000 % |
410.40/410.66 c | 319235 | 11696 50088 152094 | 2147483647 319235 208 | 0.000 % |
410.60/410.88 c | 319335 | 11696 50088 152094 | 2147483647 319335 208 | 0.000 % |
410.90/411.19 c | 319447 | 11696 50088 152094 | 2147483647 319447 208 | 0.000 % |
411.30/411.54 c | 319570 | 11696 50088 152094 | 2147483647 319570 208 | 0.000 % |
411.70/411.90 c | 319705 | 11696 50088 152094 | 2147483647 319705 208 | 0.000 % |
412.00/412.29 c | 319851 | 11696 50088 152094 | 2147483647 319851 208 | 0.000 % |
412.50/412.72 c | 320011 | 11696 50088 152094 | 2147483647 320011 208 | 0.000 % |
413.00/413.22 c | 320188 | 11696 50088 152094 | 2147483647 320188 208 | 0.000 % |
413.40/413.68 c | 320384 | 11696 50088 152094 | 2147483647 320384 208 | 0.000 % |
414.00/414.27 c | 320596 | 11696 50088 152094 | 2147483647 320596 208 | 0.000 % |
414.60/414.84 c | 320829 | 11696 50088 152094 | 2147483647 320829 208 | 0.000 % |
415.20/415.48 c | 321085 | 11696 50088 152094 | 2147483647 321085 208 | 0.000 % |
416.00/416.21 c | 321366 | 11696 50088 152094 | 2147483647 321366 208 | 0.000 % |
416.71/416.93 c | 321676 | 11696 50088 152094 | 2147483647 321676 208 | 0.000 % |
417.50/417.77 c | 322018 | 11696 50088 152094 | 2147483647 322018 208 | 0.000 % |
418.40/418.70 c | 322391 | 11696 50088 152094 | 2147483647 322391 208 | 0.000 % |
419.40/419.62 c | 322801 | 11696 50088 152094 | 2147483647 322801 208 | 0.000 % |
420.40/420.61 c | 323251 | 11696 50088 152094 | 2147483647 323251 208 | 0.000 % |
421.49/421.72 c | 323744 | 11696 50088 152094 | 2147483647 323744 208 | 0.000 % |
422.59/422.84 c | 324286 | 11696 50088 152094 | 2147483647 324286 208 | 0.000 % |
424.00/424.22 c | 324882 | 11696 50088 152094 | 2147483647 324882 208 | 0.000 % |
425.50/425.71 c | 325538 | 11696 50088 152094 | 2147483647 325538 208 | 0.000 % |
427.10/427.37 c | 326261 | 11696 50088 152094 | 2147483647 326261 208 | 0.000 % |
428.79/429.05 c | 327053 | 11696 50088 152094 | 2147483647 327053 208 | 0.000 % |
430.79/431.01 c | 327925 | 11696 50088 152094 | 2147483647 327925 208 | 0.000 % |
432.79/433.04 c | 328883 | 11696 50088 152094 | 2147483647 328883 208 | 0.000 % |
435.19/435.40 c | 329936 | 11696 50088 152094 | 2147483647 329936 208 | 0.000 % |
437.69/437.95 c | 331095 | 11696 50088 152094 | 2147483647 331095 208 | 0.000 % |
440.59/440.82 c | 332368 | 11696 50088 152094 | 2147483647 332368 208 | 0.000 % |
443.49/443.75 c | 333768 | 11696 50088 152094 | 2147483647 333768 208 | 0.000 % |
446.79/447.08 c | 335311 | 11696 50088 152094 | 2147483647 335311 208 | 0.000 % |
450.49/450.75 c | 337006 | 11696 50088 152094 | 2147483647 337006 208 | 0.000 % |
454.39/454.61 c | 338869 | 11696 50088 152094 | 2147483647 338869 208 | 0.000 % |
458.58/458.89 c | 340920 | 11696 50088 152094 | 2147483647 340920 209 | 0.000 % |
463.18/463.48 c | 343174 | 11696 50088 152094 | 2147483647 343174 209 | 0.000 % |
468.29/468.60 c | 345652 | 11696 50088 152094 | 2147483647 345652 209 | 0.000 % |
474.28/474.55 c | 348378 | 11696 50088 152094 | 2147483647 348378 209 | 0.000 % |
480.68/480.94 c | 351375 | 11696 50088 152094 | 2147483647 351375 209 | 0.000 % |
487.87/488.15 c | 354673 | 11696 50088 152094 | 2147483647 354673 210 | 0.000 % |
488.18/488.43 c | 354775 | 11696 50088 152094 | 2147483647 354775 210 | 0.000 % |
488.47/488.75 c | 354885 | 11696 50088 152094 | 2147483647 354885 210 | 0.000 % |
488.77/489.09 c | 355008 | 11696 50088 152094 | 2147483647 355008 210 | 0.000 % |
489.29/489.54 c | 355141 | 11696 50088 152094 | 2147483647 355141 210 | 0.000 % |
489.68/489.96 c | 355287 | 11696 50088 152094 | 2147483647 355287 210 | 0.000 % |
490.08/490.38 c | 355447 | 11696 50088 152094 | 2147483647 355447 210 | 0.000 % |
490.58/490.86 c | 355623 | 11696 50088 152094 | 2147483647 355623 210 | 0.000 % |
491.18/491.44 c | 355816 | 11696 50088 152094 | 2147483647 355816 210 | 0.000 % |
491.78/492.00 c | 356028 | 11696 50088 152094 | 2147483647 356028 210 | 0.000 % |
492.38/492.64 c | 356266 | 11696 50088 152094 | 2147483647 356266 210 | 0.000 % |
493.08/493.38 c | 356523 | 11696 50088 152094 | 2147483647 356523 209 | 0.000 % |
493.88/494.11 c | 356805 | 11696 50088 152094 | 2147483647 356805 209 | 0.000 % |
494.58/494.88 c | 357114 | 11696 50088 152094 | 2147483647 357114 209 | 0.000 % |
495.47/495.72 c | 357456 | 11696 50088 152094 | 2147483647 357456 210 | 0.000 % |
496.37/496.61 c | 357828 | 11696 50088 152094 | 2147483647 357828 210 | 0.000 % |
497.37/497.61 c | 358237 | 11696 50088 152094 | 2147483647 358237 210 | 0.000 % |
498.47/498.72 c | 358686 | 11696 50088 152094 | 2147483647 358686 210 | 0.000 % |
499.67/499.92 c | 359180 | 11696 50088 152094 | 2147483647 359180 210 | 0.000 % |
500.98/501.21 c | 359724 | 11696 50088 152094 | 2147483647 359724 210 | 0.000 % |
502.38/502.62 c | 360320 | 11696 50088 152094 | 2147483647 360320 210 | 0.000 % |
504.07/504.32 c | 360975 | 11696 50088 152094 | 2147483647 360975 210 | 0.000 % |
505.87/506.12 c | 361695 | 11696 50088 152094 | 2147483647 361695 210 | 0.000 % |
507.87/508.13 c | 362487 | 11696 50088 152094 | 2147483647 362487 210 | 0.000 % |
509.78/510.08 c | 363358 | 11696 50088 152094 | 2147483647 363358 210 | 0.000 % |
512.17/512.45 c | 364316 | 11696 50088 152094 | 2147483647 364316 210 | 0.000 % |
514.57/514.83 c | 365370 | 11696 50088 152094 | 2147483647 365370 210 | 0.000 % |
517.17/517.48 c | 366529 | 11696 50088 152094 | 2147483647 366529 210 | 0.000 % |
520.47/520.71 c | 367802 | 11696 50088 152094 | 2147483647 367802 210 | 0.000 % |
523.77/524.08 c | 369202 | 11696 50088 152094 | 2147483647 369202 210 | 0.000 % |
527.47/527.77 c | 370743 | 11696 50088 152094 | 2147483647 370743 210 | 0.000 % |
531.26/531.58 c | 372437 | 11696 50088 152094 | 2147483647 372437 210 | 0.000 % |
535.77/536.00 c | 374302 | 11696 50088 152094 | 2147483647 374302 210 | 0.000 % |
540.56/540.88 c | 376351 | 11696 50088 152094 | 2147483647 376351 210 | 0.000 % |
545.77/546.05 c | 378604 | 11696 50088 152094 | 2147483647 378604 210 | 0.000 % |
551.66/551.95 c | 381082 | 11696 50088 152094 | 2147483647 381082 210 | 0.000 % |
558.36/558.60 c | 383807 | 11696 50088 152094 | 2147483647 383807 210 | 0.000 % |
565.36/565.60 c | 386807 | 11696 50088 152094 | 2147483647 386807 210 | 0.000 % |
572.76/573.05 c | 390104 | 11696 50088 152094 | 2147483647 390104 211 | 0.000 % |
581.05/581.33 c | 393730 | 11696 50088 152094 | 2147483647 393730 211 | 0.000 % |
581.35/581.62 c | 393833 | 11696 50088 152094 | 2147483647 393833 211 | 0.000 % |
581.66/581.97 c | 393943 | 11696 50088 152094 | 2147483647 393943 211 | 0.000 % |
582.15/582.41 c | 394064 | 11696 50088 152094 | 2147483647 394064 211 | 0.000 % |
582.55/582.83 c | 394197 | 11696 50088 152094 | 2147483647 394197 211 | 0.000 % |
583.05/583.30 c | 394344 | 11696 50088 152094 | 2147483647 394344 211 | 0.000 % |
583.55/583.85 c | 394504 | 11696 50088 152094 | 2147483647 394504 211 | 0.000 % |
584.15/584.43 c | 394681 | 11696 50088 152094 | 2147483647 394681 211 | 0.000 % |
584.65/584.93 c | 394876 | 11696 50088 152094 | 2147483647 394876 211 | 0.000 % |
585.25/585.51 c | 395088 | 11696 50088 152094 | 2147483647 395088 211 | 0.000 % |
585.95/586.21 c | 395322 | 11696 50088 152094 | 2147483647 395322 211 | 0.000 % |
586.65/586.93 c | 395578 | 11696 50088 152094 | 2147483647 395578 211 | 0.000 % |
587.55/587.80 c | 395860 | 11696 50088 152094 | 2147483647 395860 211 | 0.000 % |
588.35/588.67 c | 396171 | 11696 50088 152094 | 2147483647 396171 211 | 0.000 % |
589.35/589.63 c | 396510 | 11696 50088 152094 | 2147483647 396510 211 | 0.000 % |
590.54/590.84 c | 396884 | 11696 50088 152094 | 2147483647 396884 211 | 0.000 % |
591.74/592.05 c | 397293 | 11696 50088 152094 | 2147483647 397293 211 | 0.000 % |
592.95/593.22 c | 397744 | 11696 50088 152094 | 2147483647 397744 211 | 0.000 % |
594.15/594.43 c | 398239 | 11696 50088 152094 | 2147483647 398239 211 | 0.000 % |
595.54/595.83 c | 398782 | 11696 50088 152094 | 2147483647 398782 211 | 0.000 % |
597.05/597.34 c | 399379 | 11696 50088 152094 | 2147483647 399379 211 | 0.000 % |
598.75/599.02 c | 400034 | 11696 50088 152094 | 2147483647 400034 211 | 0.000 % |
600.84/601.10 c | 400754 | 11696 50088 152094 | 2147483647 400754 211 | 0.000 % |
602.94/603.26 c | 401547 | 11696 50088 152094 | 2147483647 401547 211 | 0.000 % |
605.24/605.52 c | 402419 | 11696 50088 152094 | 2147483647 402419 211 | 0.000 % |
607.64/607.95 c | 403377 | 11696 50088 152094 | 2147483647 403377 211 | 0.000 % |
610.34/610.65 c | 404431 | 11696 50088 152094 | 2147483647 404431 211 | 0.000 % |
613.34/613.68 c | 405591 | 11696 50088 152094 | 2147483647 405591 211 | 0.000 % |
616.64/616.93 c | 406865 | 11696 50088 152094 | 2147483647 406865 211 | 0.000 % |
619.94/620.29 c | 408268 | 11696 50088 152094 | 2147483647 408268 211 | 0.000 % |
623.74/624.10 c | 409809 | 11696 50088 152094 | 2147483647 409809 211 | 0.000 % |
628.04/628.33 c | 411503 | 11696 50088 152094 | 2147483647 411503 211 | 0.000 % |
633.03/633.30 c | 413367 | 11696 50088 152094 | 2147483647 413367 211 | 0.000 % |
638.04/638.33 c | 415417 | 11696 50088 152094 | 2147483647 415417 211 | 0.000 % |
643.63/643.97 c | 417671 | 11696 50088 152094 | 2147483647 417671 211 | 0.000 % |
649.73/650.05 c | 420149 | 11696 50088 152094 | 2147483647 420149 212 | 0.000 % |
656.43/656.71 c | 422874 | 11696 50088 152094 | 2147483647 422874 212 | 0.000 % |
663.73/664.09 c | 425872 | 11696 50088 152094 | 2147483647 425872 212 | 0.000 % |
671.73/672.07 c | 429169 | 11696 50088 152094 | 2147483647 429169 213 | 0.000 % |
680.82/681.15 c | 432794 | 11696 50088 152094 | 2147483647 432794 213 | 0.000 % |
690.92/691.28 c | 436781 | 11696 50088 152094 | 2147483647 436781 213 | 0.000 % |
691.22/691.59 c | 436881 | 11696 50088 152094 | 2147483647 436881 213 | 0.000 % |
691.63/691.98 c | 436994 | 11696 50088 152094 | 2147483647 436994 213 | 0.000 % |
692.12/692.44 c | 437116 | 11696 50088 152094 | 2147483647 437116 213 | 0.000 % |
692.52/692.84 c | 437250 | 11696 50088 152094 | 2147483647 437250 213 | 0.000 % |
693.02/693.31 c | 437397 | 11696 50088 152094 | 2147483647 437397 213 | 0.000 % |
693.52/693.81 c | 437557 | 11696 50088 152094 | 2147483647 437557 213 | 0.000 % |
694.12/694.46 c | 437733 | 11696 50088 152094 | 2147483647 437733 213 | 0.000 % |
694.62/694.98 c | 437927 | 11696 50088 152094 | 2147483647 437927 213 | 0.000 % |
695.42/695.75 c | 438139 | 11696 50088 152094 | 2147483647 438139 213 | 0.000 % |
696.12/696.48 c | 438372 | 11696 50088 152094 | 2147483647 438372 213 | 0.000 % |
696.92/697.26 c | 438629 | 11696 50088 152094 | 2147483647 438629 213 | 0.000 % |
697.71/698.07 c | 438910 | 11696 50088 152094 | 2147483647 438910 213 | 0.000 % |
698.61/698.96 c | 439221 | 11696 50088 152094 | 2147483647 439221 213 | 0.000 % |
699.71/700.02 c | 439560 | 11696 50088 152094 | 2147483647 439560 213 | 0.000 % |
700.91/701.24 c | 439932 | 11696 50088 152094 | 2147483647 439932 213 | 0.000 % |
702.21/702.54 c | 440344 | 11696 50088 152094 | 2147483647 440344 213 | 0.000 % |
703.61/703.91 c | 440794 | 11696 50088 152094 | 2147483647 440794 213 | 0.000 % |
705.02/705.39 c | 441287 | 11696 50088 152094 | 2147483647 441287 213 | 0.000 % |
706.72/707.00 c | 441830 | 11696 50088 152094 | 2147483647 441830 213 | 0.000 % |
708.21/708.55 c | 442427 | 11696 50088 152094 | 2147483647 442427 213 | 0.000 % |
710.12/710.49 c | 443083 | 11696 50088 152094 | 2147483647 443083 213 | 0.000 % |
712.21/712.59 c | 443803 | 11696 50088 152094 | 2147483647 443803 213 | 0.000 % |
714.51/714.89 c | 444596 | 11696 50088 152094 | 2147483647 444596 213 | 0.000 % |
717.11/717.45 c | 445467 | 11696 50088 152094 | 2147483647 445467 213 | 0.000 % |
719.80/720.12 c | 446425 | 11696 50088 152094 | 2147483647 446425 213 | 0.000 % |
722.91/723.28 c | 447479 | 11696 50088 152094 | 2147483647 447479 213 | 0.000 % |
726.21/726.55 c | 448639 | 11696 50088 152094 | 2147483647 448639 213 | 0.000 % |
729.91/730.27 c | 449912 | 11696 50088 152094 | 2147483647 449912 213 | 0.000 % |
733.61/733.94 c | 451312 | 11696 50088 152094 | 2147483647 451312 213 | 0.000 % |
737.40/737.73 c | 452852 | 11696 50088 152094 | 2147483647 452852 213 | 0.000 % |
741.91/742.20 c | 454547 | 11696 50088 152094 | 2147483647 454547 213 | 0.000 % |
747.20/747.56 c | 456410 | 11696 50088 152094 | 2147483647 456410 213 | 0.000 % |
752.90/753.24 c | 458459 | 11696 50088 152094 | 2147483647 458459 213 | 0.000 % |
758.90/759.29 c | 460714 | 11696 50088 152094 | 2147483647 460714 213 | 0.000 % |
765.30/765.63 c | 463192 | 11696 50088 152094 | 2147483647 463192 213 | 0.000 % |
772.49/772.88 c | 465917 | 11696 50088 152094 | 2147483647 465917 213 | 0.000 % |
780.49/780.85 c | 468915 | 11696 50088 152094 | 2147483647 468915 214 | 0.000 % |
789.49/789.84 c | 472211 | 11696 50088 152094 | 2147483647 472211 214 | 0.000 % |
799.39/799.71 c | 475837 | 11696 50088 152094 | 2147483647 475837 214 | 0.000 % |
809.98/810.33 c | 479824 | 11696 50088 152094 | 2147483647 479824 215 | 0.000 % |
821.98/822.37 c | 484209 | 11696 50088 152094 | 2147483647 484209 215 | 0.000 % |
822.39/822.74 c | 484310 | 11696 50088 152094 | 2147483647 484310 215 | 0.000 % |
822.78/823.17 c | 484420 | 11696 50088 152094 | 2147483647 484420 215 | 0.000 % |
823.28/823.65 c | 484541 | 11696 50088 152094 | 2147483647 484541 215 | 0.000 % |
823.88/824.21 c | 484675 | 11696 50088 152094 | 2147483647 484675 215 | 0.000 % |
824.38/824.72 c | 484822 | 11696 50088 152094 | 2147483647 484822 215 | 0.000 % |
824.88/825.29 c | 484982 | 11696 50088 152094 | 2147483647 484982 215 | 0.000 % |
825.68/826.01 c | 485158 | 11696 50088 152094 | 2147483647 485158 215 | 0.000 % |
826.28/826.64 c | 485352 | 11696 50088 152094 | 2147483647 485352 215 | 0.000 % |
827.08/827.41 c | 485565 | 11696 50088 152094 | 2147483647 485565 215 | 0.000 % |
827.88/828.26 c | 485798 | 11696 50088 152094 | 2147483647 485798 215 | 0.000 % |
828.78/829.15 c | 486054 | 11696 50088 152094 | 2147483647 486054 215 | 0.000 % |
829.78/830.15 c | 486337 | 11696 50088 152094 | 2147483647 486337 215 | 0.000 % |
830.87/831.20 c | 486647 | 11696 50088 152094 | 2147483647 486647 215 | 0.000 % |
831.97/832.31 c | 486986 | 11696 50088 152094 | 2147483647 486986 215 | 0.000 % |
833.07/833.46 c | 487359 | 11696 50088 152094 | 2147483647 487359 215 | 0.000 % |
834.37/834.76 c | 487772 | 11696 50088 152094 | 2147483647 487772 215 | 0.000 % |
835.87/836.23 c | 488223 | 11696 50088 152094 | 2147483647 488223 215 | 0.000 % |
837.37/837.76 c | 488716 | 11696 50088 152094 | 2147483647 488716 215 | 0.000 % |
839.17/839.53 c | 489259 | 11696 50088 152094 | 2147483647 489259 215 | 0.000 % |
840.98/841.39 c | 489856 | 11696 50088 152094 | 2147483647 489856 215 | 0.000 % |
843.17/843.51 c | 490511 | 11696 50088 152094 | 2147483647 490511 215 | 0.000 % |
845.47/845.83 c | 491231 | 11696 50088 152094 | 2147483647 491231 215 | 0.000 % |
848.07/848.45 c | 492023 | 11696 50088 152094 | 2147483647 492023 215 | 0.000 % |
850.67/851.08 c | 492894 | 11696 50088 152094 | 2147483647 492894 215 | 0.000 % |
853.77/854.18 c | 493853 | 11696 50088 152094 | 2147483647 493853 215 | 0.000 % |
856.97/857.35 c | 494907 | 11696 50088 152094 | 2147483647 494907 215 | 0.000 % |
860.56/860.94 c | 496065 | 11696 50088 152094 | 2147483647 496065 215 | 0.000 % |
864.47/864.88 c | 497339 | 11696 50088 152094 | 2147483647 497339 215 | 0.000 % |
868.76/869.13 c | 498739 | 11696 50088 152094 | 2147483647 498739 215 | 0.000 % |
873.27/873.64 c | 500281 | 11696 50088 152094 | 2147483647 500281 216 | 0.000 % |
878.57/878.92 c | 501976 | 11696 50088 152094 | 2147483647 501976 216 | 0.000 % |
883.96/884.33 c | 503841 | 11696 50088 152094 | 2147483647 503841 216 | 0.000 % |
890.26/890.62 c | 505893 | 11696 50088 152094 | 2147483647 505893 216 | 0.000 % |
896.86/897.24 c | 508147 | 11696 50088 152094 | 2147483647 508147 216 | 0.000 % |
904.25/904.64 c | 510625 | 11696 50088 152094 | 2147483647 510625 216 | 0.000 % |
912.05/912.44 c | 513350 | 11696 50088 152094 | 2147483647 513350 216 | 0.000 % |
920.95/921.38 c | 516351 | 11696 50088 152094 | 2147483647 516351 216 | 0.000 % |
930.05/930.49 c | 519648 | 11696 50088 152094 | 2147483647 519648 216 | 0.000 % |
940.95/941.35 c | 523274 | 11696 50088 152094 | 2147483647 523274 217 | 0.000 % |
952.74/953.11 c | 527263 | 11696 50088 152094 | 2147483647 527263 217 | 0.000 % |
965.93/966.33 c | 531648 | 11696 50088 152094 | 2147483647 531648 217 | 0.000 % |
980.24/980.68 c | 536472 | 11696 50088 152094 | 2147483647 536472 218 | 0.000 % |
980.64/981.07 c | 536572 | 11696 50088 152094 | 2147483647 536572 218 | 0.000 % |
981.24/981.65 c | 536682 | 11696 50088 152094 | 2147483647 536682 218 | 0.000 % |
981.73/982.15 c | 536804 | 11696 50088 152094 | 2147483647 536804 218 | 0.000 % |
982.23/982.68 c | 536937 | 11696 50088 152094 | 2147483647 536937 218 | 0.000 % |
982.94/983.33 c | 537084 | 11696 50088 152094 | 2147483647 537084 218 | 0.000 % |
983.53/983.98 c | 537246 | 11696 50088 152094 | 2147483647 537246 218 | 0.000 % |
984.23/984.69 c | 537423 | 11696 50088 152094 | 2147483647 537423 218 | 0.000 % |
984.93/985.38 c | 537616 | 11696 50088 152094 | 2147483647 537616 218 | 0.000 % |
985.73/986.13 c | 537829 | 11696 50088 152094 | 2147483647 537829 218 | 0.000 % |
986.63/987.09 c | 538062 | 11696 50088 152094 | 2147483647 538062 217 | 0.000 % |
987.73/988.10 c | 538318 | 11696 50088 152094 | 2147483647 538318 217 | 0.000 % |
988.73/989.12 c | 538601 | 11696 50088 152094 | 2147483647 538601 217 | 0.000 % |
989.83/990.24 c | 538911 | 11696 50088 152094 | 2147483647 538911 217 | 0.000 % |
991.13/991.50 c | 539251 | 11696 50088 152094 | 2147483647 539251 217 | 0.000 % |
992.43/992.86 c | 539623 | 11696 50088 152094 | 2147483647 539623 217 | 0.000 % |
993.83/994.22 c | 540035 | 11696 50088 152094 | 2147483647 540035 217 | 0.000 % |
995.43/995.82 c | 540485 | 11696 50088 152094 | 2147483647 540485 217 | 0.000 % |
997.03/997.41 c | 540978 | 11696 50088 152094 | 2147483647 540978 217 | 0.000 % |
999.02/999.42 c | 541522 | 11696 50088 152094 | 2147483647 541522 217 | 0.000 % |
1001.23/1001.64 c | 542118 | 11696 50088 152094 | 2147483647 542118 217 | 0.000 % |
1003.63/1004.05 c | 542773 | 11696 50088 152094 | 2147483647 542773 217 | 0.000 % |
1005.92/1006.35 c | 543497 | 11696 50088 152094 | 2147483647 543497 217 | 0.000 % |
1008.42/1008.90 c | 544291 | 11696 50088 152094 | 2147483647 544291 218 | 0.000 % |
1011.33/1011.78 c | 545162 | 11696 50088 152094 | 2147483647 545162 217 | 0.000 % |
1014.53/1014.94 c | 546120 | 11696 50088 152094 | 2147483647 546120 217 | 0.000 % |
1017.92/1018.38 c | 547175 | 11696 50088 152094 | 2147483647 547175 217 | 0.000 % |
1021.82/1022.23 c | 548333 | 11696 50088 152094 | 2147483647 548333 217 | 0.000 % |
1025.92/1026.31 c | 549606 | 11696 50088 152094 | 2147483647 549606 217 | 0.000 % |
1030.42/1030.86 c | 551008 | 11696 50088 152094 | 2147483647 551008 217 | 0.000 % |
1035.51/1035.91 c | 552549 | 11696 50088 152094 | 2147483647 552549 218 | 0.000 % |
1040.91/1041.38 c | 554243 | 11696 50088 152094 | 2147483647 554243 218 | 0.000 % |
1046.82/1047.29 c | 556109 | 11696 50088 152094 | 2147483647 556109 218 | 0.000 % |
1053.42/1053.80 c | 558158 | 11696 50088 152094 | 2147483647 558158 218 | 0.000 % |
1060.61/1061.02 c | 560412 | 11696 50088 152094 | 2147483647 560412 218 | 0.000 % |
1068.31/1068.72 c | 562890 | 11696 50088 152094 | 2147483647 562890 218 | 0.000 % |
1076.80/1077.27 c | 565615 | 11696 50088 152094 | 2147483647 565615 218 | 0.000 % |
1086.20/1086.68 c | 568613 | 11696 50088 152094 | 2147483647 568613 218 | 0.000 % |
1096.50/1096.92 c | 571909 | 11696 50088 152094 | 2147483647 571909 218 | 0.000 % |
1108.10/1108.55 c | 575537 | 11696 50088 152094 | 2147483647 575537 218 | 0.000 % |
1121.29/1121.79 c | 579526 | 11696 50088 152094 | 2147483647 579526 219 | 0.000 % |
1135.49/1135.99 c | 583911 | 11696 50088 152094 | 2147483647 583911 219 | 0.000 % |
1150.78/1151.24 c | 588735 | 11696 50088 152094 | 2147483647 588735 219 | 0.000 % |
1167.78/1168.27 c | 594041 | 11696 50088 152094 | 2147483647 594041 219 | 0.000 % |
1168.28/1168.78 c | 594142 | 11696 50088 152094 | 2147483647 594142 219 | 0.000 % |
1168.78/1169.23 c | 594252 | 11696 50088 152094 | 2147483647 594252 219 | 0.000 % |
1169.38/1169.84 c | 594375 | 11696 50088 152094 | 2147483647 594375 219 | 0.000 % |
1169.98/1170.49 c | 594512 | 11696 50088 152094 | 2147483647 594512 219 | 0.000 % |
1170.78/1171.29 c | 594660 | 11696 50088 152094 | 2147483647 594660 219 | 0.000 % |
1171.57/1172.01 c | 594821 | 11696 50088 152094 | 2147483647 594821 219 | 0.000 % |
1172.27/1172.78 c | 594997 | 11696 50088 152094 | 2147483647 594997 219 | 0.000 % |
1173.07/1173.57 c | 595191 | 11696 50088 152094 | 2147483647 595191 219 | 0.000 % |
1173.98/1174.49 c | 595404 | 11696 50088 152094 | 2147483647 595404 219 | 0.000 % |
1175.08/1175.54 c | 595638 | 11696 50088 152094 | 2147483647 595638 219 | 0.000 % |
1176.18/1176.62 c | 595897 | 11696 50088 152094 | 2147483647 595897 219 | 0.000 % |
1177.28/1177.73 c | 596180 | 11696 50088 152094 | 2147483647 596180 219 | 0.000 % |
1178.58/1179.02 c | 596489 | 11696 50088 152094 | 2147483647 596489 219 | 0.000 % |
1180.07/1180.53 c | 596830 | 11696 50088 152094 | 2147483647 596830 219 | 0.000 % |
1181.57/1182.03 c | 597203 | 11696 50088 152094 | 2147483647 597203 219 | 0.000 % |
1183.18/1183.65 c | 597612 | 11696 50088 152094 | 2147483647 597612 219 | 0.000 % |
1185.08/1185.50 c | 598062 | 11696 50088 152094 | 2147483647 598062 219 | 0.000 % |
1187.07/1187.56 c | 598555 | 11696 50088 152094 | 2147483647 598555 219 | 0.000 % |
1189.07/1189.57 c | 599097 | 11696 50088 152094 | 2147483647 599097 219 | 0.000 % |
1191.37/1191.87 c | 599693 | 11696 50088 152094 | 2147483647 599693 219 | 0.000 % |
1193.97/1194.47 c | 600350 | 11696 50088 152094 | 2147483647 600350 219 | 0.000 % |
1196.67/1197.18 c | 601072 | 11696 50088 152094 | 2147483647 601072 219 | 0.000 % |
1199.87/1200.32 c | 601865 | 11696 50088 152094 | 2147483647 601865 219 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832807-1242788183/watcher-1832807-1242788183 -o /tmp/evaluation-result-1832807-1242788183/solver-1832807-1242788183 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832807-1242788183.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 25775
/proc/meminfo: memFree=1465112/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306850680 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 210723635282 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/25775/statm: 1339 235 195 169 0 50 0
[pid=25776] ppid=25775 vsize=5356 CPUtime=0
/proc/25776/stat : 25776 (SatELiteGTI) S 25775 25775 25154 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 306850681 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/25776/statm: 1339 238 198 169 0 50 0
[pid=25778] ppid=25776 vsize=0 CPUtime=0
/proc/25778/stat : 25778 (SatELiteGTI) R 25776 25775 25154 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 306850681 0 0 1992294400 0 0 0 18446744073709551615 210723466535 0 0 4096 0 0 0 0 17 1 0 0
/proc/25778/statm: 0 0 0 0 0 0 0
[startup+0.0246249 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 25775
/proc/meminfo: memFree=1465112/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306850680 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25775/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101633 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 25775
/proc/meminfo: memFree=1465112/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306850680 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25775/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301656 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 25775
/proc/meminfo: memFree=1465112/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356
[startup+0.701703 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 25775
/proc/meminfo: memFree=1465112/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356
[startup+1.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25781
/proc/meminfo: memFree=1458568/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=6928 CPUtime=1.25
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 1592 0 0 0 125 0 0 0 25 0 1 0 306850704 7094272 1578 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 1732 1578 77 171 0 1559 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12284
[startup+3.10198 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25781
/proc/meminfo: memFree=1456648/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=9436 CPUtime=2.85
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 2220 0 0 0 284 1 0 0 25 0 1 0 306850704 9662464 2206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 2359 2206 77 171 0 2186 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14792
[startup+6.30136 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25781
/proc/meminfo: memFree=1451336/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=14456 CPUtime=6.05
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 3468 0 0 0 603 2 0 0 25 0 1 0 306850704 14802944 3454 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 3614 3454 77 171 0 3441 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19812
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25781
/proc/meminfo: memFree=1441544/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=23900 CPUtime=12.44
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 5813 0 0 0 1239 5 0 0 25 0 1 0 306850704 24473600 5799 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 5975 5799 77 171 0 5802 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 29256
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25781
/proc/meminfo: memFree=1424520/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=40252 CPUtime=25.24
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 9898 0 0 0 2514 10 0 0 25 0 1 0 306850704 41218048 9884 1992294400 134512640 135215339 4294956240 18446744073709551615 134539267 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 10063 9884 77 171 0 9890 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45608
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25781
/proc/meminfo: memFree=1398152/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=66772 CPUtime=50.83
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 16541 0 0 0 5065 18 0 0 25 0 1 0 306850704 68374528 16527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 16693 16527 77 171 0 16520 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 72128
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25781
/proc/meminfo: memFree=1355912/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=108416 CPUtime=102.01
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 26937 0 0 0 10172 29 0 0 25 0 1 0 306850704 111017984 26923 1992294400 134512640 135215339 4294956240 18446744073709551615 134538704 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 27104 26923 77 171 0 26931 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 113772
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25781
/proc/meminfo: memFree=1315656/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=148816 CPUtime=161.97
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 37032 0 0 0 16158 39 0 0 25 0 1 0 306850704 152387584 37018 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 37204 37018 77 171 0 37031 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 154172
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25781
/proc/meminfo: memFree=1280136/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=183940 CPUtime=221.95
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 45750 0 0 0 22146 49 0 0 25 0 1 0 306850704 188354560 45736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 45985 45736 77 171 0 45812 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 189296
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1248136/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=215888 CPUtime=281.92
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 53774 0 0 0 28133 59 0 0 25 0 1 0 306850704 221069312 53760 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 53972 53760 77 171 0 53799 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 221244
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1217992/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=245588 CPUtime=341.9
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 61237 0 0 0 34122 68 0 0 25 0 1 0 306850704 251482112 61223 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 61397 61223 77 171 0 61224 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 250944
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1191112/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=273128 CPUtime=401.88
################
# More data... #
################
/proc/25781/statm: 86566 86325 77 171 0 86393 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 351620
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1096584/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=366196 CPUtime=641.82
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 91355 0 0 0 64079 103 0 0 25 0 1 0 306850704 374984704 91341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 91549 91341 77 171 0 91376 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 371552
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1073352/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=389296 CPUtime=701.79
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 97165 0 0 0 70070 109 0 0 25 0 1 0 306850704 398639104 97151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 97324 97151 77 171 0 97151 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 394652
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1053832/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=408568 CPUtime=761.78
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 101990 0 0 0 76061 117 0 0 25 0 1 0 306850704 418373632 101976 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 102142 101976 77 171 0 101969 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 413924
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1030600/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=432848 CPUtime=821.76
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 107845 0 0 0 82052 124 0 0 25 0 1 0 306850704 443236352 107831 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 108212 107831 77 171 0 108039 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 438204
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=1012872/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=450140 CPUtime=881.74
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 112196 0 0 0 88046 128 0 0 25 0 1 0 306850704 460943360 112182 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 112535 112182 77 171 0 112362 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 455496
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=992712/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=470204 CPUtime=941.73
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 117235 0 0 0 94039 134 0 0 25 0 1 0 306850704 481488896 117221 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 117551 117221 77 171 0 117378 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 475560
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=974344/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=488292 CPUtime=1001.71
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 121773 0 0 0 100032 139 0 0 25 0 1 0 306850704 500011008 121759 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 122073 121759 77 171 0 121900 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 493648
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=957192/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=505452 CPUtime=1061.69
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 126063 0 0 0 106025 144 0 0 25 0 1 0 306850704 517582848 126049 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 126363 126049 77 171 0 126190 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 510808
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=938440/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=523800 CPUtime=1121.67
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 130692 0 0 0 112018 149 0 0 25 0 1 0 306850704 536371200 130678 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 130950 130678 77 171 0 130777 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 529156
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=920968/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=541356 CPUtime=1181.65
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 135084 0 0 0 118011 154 0 0 25 0 1 0 306850704 554348544 135070 1992294400 134512640 135215339 4294956240 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 135339 135070 77 171 0 135166 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 546712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=916488/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=545448 CPUtime=1199.86
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 136129 0 0 0 119830 156 0 0 25 0 1 0 306850704 558538752 136115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 136362 136115 77 171 0 136189 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 550804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25787
/proc/meminfo: memFree=916488/2055920 swapFree=4179692/4192956
[pid=25775] ppid=25773 vsize=5356 CPUtime=0.22
/proc/25775/stat : 25775 (SatELiteGTI) S 25773 25775 25154 0 -1 4194304 336 1839 0 0 0 0 21 1 16 0 1 0 306850680 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25775/statm: 1339 239 197 169 0 50 0
[pid=25781] ppid=25775 vsize=545448 CPUtime=1199.86
/proc/25781/stat : 25781 (minisat_static) R 25775 25775 25154 0 -1 4194304 136129 0 0 0 119830 156 0 0 25 0 1 0 306850704 558538752 136115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25781/statm: 136362 136115 77 171 0 136189 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 550804
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25775 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=217966
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.233963
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1198.51
CPU system time (s): 1.57
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 550804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.217966
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2175
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= 13
involuntary context switches= 7
runsolver used 1.13583 second user time and 3.31949 second system time
The end
Begin job on node73 at 2009-05-20 04:56:24
IDJOB=1832807
IDBENCH=70367
IDSOLVER=671
FILE ID=node73/1832807-1242788183
PBS_JOBID= 9322356
Free space on /tmp= 66104 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832807-1242788183/watcher-1832807-1242788183 -o /tmp/evaluation-result-1832807-1242788183/solver-1832807-1242788183 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832807-1242788183.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3576a3cf7cfc1985034b5d4b3a46f902
RANDOM SEED=377109033
node73.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.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
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: 1465592 kB
Buffers: 28464 kB
Cached: 506988 kB
SwapCached: 7868 kB
Active: 302476 kB
Inactive: 242300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1465592 kB
SwapTotal: 4192956 kB
SwapFree: 4179692 kB
Dirty: 2496 kB
Writeback: 0 kB
Mapped: 14032 kB
Slab: 31628 kB
Committed_AS: 1085440 kB
PageTables: 1400 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= 66100 MiB
End job on node73 at 2009-05-20 05:16:26