0.00/0.00 c Parsing...
0.00/0.14 c ==============================================================================
0.00/0.14 c | | ORIGINAL | LEARNT | |
0.00/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.14 c ==============================================================================
0.00/0.14 c | 0 | 266431 535112 | 79929 0 0 nan | 0.000 % |
1.78/1.82 c | 0 | 264031 899518 | -- 0 -- -- | -- | -2400/364406
1.78/1.82 c ==============================================================================
1.78/1.82 c Result : #vars: 2325 #clauses: 264031 #literals: 899518
1.78/1.82 c CPU time: 1.77873 s
1.78/1.82 c ==============================================================================
1.98/2.09 c This is MiniSat 2.0 beta
1.98/2.09 c WARNING: for repeatability, setting FPU to use double precision
1.98/2.09 c ============================[ Problem Statistics ]=============================
1.98/2.09 c | |
1.98/2.09 c | Number of variables: 2325 |
1.98/2.09 c | Number of clauses: 264031 |
2.18/2.23 c | Parsing time: 0.12 s |
2.18/2.24 c ============================[ Search Statistics ]==============================
2.18/2.24 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.18/2.24 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.18/2.24 c ===============================================================================
2.18/2.24 c | 0 | 2325 264031 899518 | 88010 0 nan | 0.000 % |
2.18/2.29 c | 100 | 2325 264031 899518 | 88010 100 245 | 0.000 % |
2.28/2.33 c | 200 | 2325 264031 899518 | 88010 200 199 | 0.000 % |
2.28/2.37 c | 301 | 2325 264031 899518 | 88010 301 188 | 0.000 % |
2.38/2.40 c | 411 | 2325 264031 899518 | 88010 411 171 | 0.000 % |
2.38/2.43 c | 513 | 2325 264031 899518 | 88010 513 165 | 0.005 % |
2.38/2.47 c | 624 | 2325 264031 899518 | 88010 624 173 | 0.000 % |
2.48/2.50 c | 745 | 2325 264031 899518 | 88010 745 183 | 0.000 % |
2.48/2.53 c | 845 | 2325 264031 899518 | 88010 845 179 | 0.000 % |
2.48/2.57 c | 956 | 2325 264031 899518 | 88010 956 177 | 0.000 % |
2.58/2.60 c | 1078 | 2325 264031 899518 | 88010 1078 170 | 0.005 % |
2.58/2.65 c | 1212 | 2325 264031 899518 | 88010 1212 174 | 0.000 % |
2.58/2.68 c | 1312 | 2325 264031 899518 | 88010 1312 172 | 0.004 % |
2.68/2.70 c | 1422 | 2325 264031 899518 | 88010 1422 170 | 0.000 % |
2.68/2.74 c | 1543 | 2325 264031 899518 | 88010 1543 166 | 0.005 % |
2.68/2.78 c | 1677 | 2325 264031 899518 | 88010 1677 168 | 0.000 % |
2.78/2.82 c | 1823 | 2325 264031 899518 | 88010 1823 167 | 0.000 % |
2.78/2.85 c | 1923 | 2325 264031 899518 | 88010 1923 165 | 0.005 % |
2.78/2.88 c | 2033 | 2325 264031 899518 | 88010 2033 164 | 0.000 % |
2.88/2.92 c | 2154 | 2325 264031 899518 | 88010 2154 166 | 0.000 % |
2.88/2.96 c | 2287 | 2325 264031 899518 | 88010 2287 166 | 0.004 % |
2.98/3.01 c | 2433 | 2325 264031 899518 | 88010 2433 163 | 0.000 % |
2.98/3.06 c | 2595 | 2325 264031 899518 | 88010 2595 161 | 0.004 % |
2.98/3.09 c | 2695 | 2325 264031 899518 | 88010 2695 161 | 0.000 % |
3.08/3.12 c | 2805 | 2325 264031 899518 | 88010 2805 160 | 0.000 % |
3.08/3.16 c | 2928 | 2325 264031 899518 | 88010 2928 159 | 0.004 % |
3.08/3.20 c | 3061 | 2325 264031 899518 | 88010 3061 158 | 0.000 % |
3.18/3.25 c | 3207 | 2325 264031 899518 | 88010 3207 161 | 0.000 % |
3.18/3.29 c | 3367 | 2325 264031 899518 | 88010 3367 160 | 0.000 % |
3.28/3.34 c | 3543 | 2325 264031 899518 | 88010 3543 159 | 0.000 % |
3.28/3.38 c | 3643 | 2325 264031 899518 | 88010 3643 159 | 0.000 % |
3.38/3.42 c | 3756 | 2325 264031 899518 | 88010 3756 159 | 0.000 % |
3.38/3.45 c | 3877 | 2325 264031 899518 | 88010 3877 158 | 0.000 % |
3.38/3.49 c | 4010 | 2325 264031 899518 | 88010 4010 156 | 0.000 % |
3.48/3.55 c | 4156 | 2325 264031 899518 | 88010 4156 157 | 0.000 % |
3.58/3.60 c | 4316 | 2325 264031 899518 | 88010 4316 158 | 0.005 % |
3.58/3.66 c | 4492 | 2325 264031 899518 | 88010 4492 156 | 0.005 % |
3.68/3.72 c | 4685 | 2325 264031 899518 | 88010 4685 154 | 0.005 % |
3.68/3.75 c | 4787 | 2325 264031 899518 | 88010 4787 153 | 0.000 % |
3.68/3.78 c | 4898 | 2325 264031 899518 | 88010 4898 152 | 0.004 % |
3.78/3.82 c | 5019 | 2325 264031 899518 | 88010 5019 151 | 0.004 % |
3.78/3.86 c | 5153 | 2325 264031 899518 | 88010 5153 152 | 0.000 % |
3.88/3.91 c | 5301 | 2325 264031 899518 | 88010 5301 152 | 0.000 % |
3.88/3.95 c | 5463 | 2325 264031 899518 | 88010 5463 152 | 0.000 % |
3.98/4.00 c | 5640 | 2325 264031 899518 | 88010 5640 152 | 0.000 % |
3.98/4.06 c | 5833 | 2325 264031 899518 | 88010 5833 150 | 0.003 % |
4.08/4.12 c | 6045 | 2325 264031 899518 | 88010 6045 149 | 0.005 % |
4.08/4.15 c | 6146 | 2325 264031 899518 | 88010 6146 150 | 0.000 % |
4.08/4.19 c | 6256 | 2325 264031 899518 | 88010 6256 150 | 0.003 % |
4.18/4.23 c | 6378 | 2325 264031 899518 | 88010 6378 149 | 0.000 % |
4.18/4.28 c | 6512 | 2325 264031 899518 | 88010 6512 149 | 0.000 % |
4.28/4.32 c | 6658 | 2325 264031 899518 | 88010 6658 150 | 0.000 % |
4.28/4.37 c | 6818 | 2325 264031 899518 | 88010 6818 151 | 0.004 % |
4.38/4.43 c | 6997 | 2325 264031 899518 | 88010 6997 151 | 0.000 % |
4.38/4.48 c | 7190 | 2325 264031 899518 | 88010 7190 151 | 0.000 % |
4.47/4.57 c | 7405 | 2325 264031 899518 | 88010 7405 151 | 0.000 % |
4.58/4.65 c | 7638 | 2325 264031 899518 | 88010 7638 151 | 0.006 % |
4.58/4.68 c | 7739 | 2325 264031 899518 | 88010 7739 151 | 0.000 % |
4.68/4.71 c | 7849 | 2325 264031 899518 | 88010 7849 151 | 0.000 % |
4.68/4.75 c | 7970 | 2325 264031 899518 | 88010 7970 150 | 0.004 % |
4.68/4.79 c | 8103 | 2325 264031 899518 | 88010 8103 150 | 0.000 % |
4.78/4.83 c | 8249 | 2325 264031 899518 | 88010 8249 148 | 0.005 % |
4.78/4.88 c | 8409 | 2325 264031 899518 | 88010 8409 148 | 0.000 % |
4.88/4.93 c | 8585 | 2325 264031 899518 | 88010 8585 147 | 0.004 % |
4.98/5.00 c | 8778 | 2325 264031 899518 | 88010 8778 149 | 0.000 % |
4.98/5.07 c | 8990 | 2325 264031 899518 | 88010 8990 150 | 0.000 % |
5.08/5.15 c | 9223 | 2325 264031 899518 | 88010 9223 150 | 0.000 % |
5.18/5.24 c | 9479 | 2325 264031 899518 | 88010 9479 149 | 0.000 % |
5.18/5.27 c | 9579 | 2325 264031 899518 | 88010 9579 149 | 0.005 % |
5.28/5.32 c | 9690 | 2325 264031 899518 | 88010 9690 150 | 0.000 % |
5.28/5.36 c | 9811 | 2325 264031 899518 | 88010 9811 150 | 0.005 % |
5.28/5.40 c | 9944 | 2325 264031 899518 | 88010 9944 150 | 0.004 % |
5.38/5.45 c | 10092 | 2325 264031 899518 | 2147483647 10092 150 | 0.004 % |
5.48/5.51 c | 10253 | 2325 264031 899518 | 2147483647 10253 150 | 0.000 % |
5.48/5.57 c | 10430 | 2325 264031 899518 | 2147483647 10430 151 | 0.000 % |
5.58/5.62 c | 10624 | 2325 264031 899518 | 2147483647 10624 150 | 0.000 % |
5.68/5.70 c | 10836 | 2325 264031 899518 | 2147483647 10836 150 | 0.004 % |
5.68/5.77 c | 11071 | 2325 264031 899518 | 2147483647 11071 149 | 0.005 % |
5.78/5.87 c | 11327 | 2325 264031 899518 | 2147483647 11327 151 | 0.000 % |
5.88/5.95 c | 11608 | 2325 264031 899518 | 2147483647 11608 150 | 0.000 % |
5.88/5.99 c | 11710 | 2325 264031 899518 | 2147483647 11710 150 | 0.005 % |
5.98/6.03 c | 11821 | 2325 264031 899518 | 2147483647 11821 149 | 0.000 % |
5.98/6.06 c | 11942 | 2325 264031 899518 | 2147483647 11942 149 | 0.005 % |
6.08/6.10 c | 12075 | 2325 264031 899518 | 2147483647 12075 148 | 0.005 % |
6.08/6.16 c | 12221 | 2325 264031 899518 | 2147483647 12221 150 | 0.000 % |
6.18/6.23 c | 12384 | 2325 264031 899518 | 2147483647 12384 149 | 0.000 % |
6.18/6.28 c | 12560 | 2325 264031 899518 | 2147483647 12560 149 | 0.005 % |
6.28/6.35 c | 12753 | 2325 264031 899518 | 2147483647 12753 150 | 0.000 % |
6.38/6.42 c | 12966 | 2325 264031 899518 | 2147483647 12966 151 | 0.000 % |
6.48/6.51 c | 13199 | 2325 264031 899518 | 2147483647 13199 150 | 0.004 % |
6.58/6.61 c | 13456 | 2325 264031 899518 | 2147483647 13456 150 | 0.005 % |
6.67/6.70 c | 13738 | 2325 264031 899518 | 2147483647 13738 150 | 0.000 % |
6.77/6.81 c | 14047 | 2325 264031 899518 | 2147483647 14047 150 | 0.004 % |
6.77/6.86 c | 14147 | 2325 264031 899518 | 2147483647 14147 151 | 0.000 % |
6.87/6.90 c | 14258 | 2325 264031 899518 | 2147483647 14258 151 | 0.000 % |
6.87/6.95 c | 14380 | 2325 264031 899518 | 2147483647 14380 150 | 0.004 % |
6.87/6.99 c | 14513 | 2325 264031 899518 | 2147483647 14513 150 | 0.000 % |
6.97/7.05 c | 14660 | 2325 264031 899518 | 2147483647 14660 151 | 0.000 % |
7.07/7.12 c | 14820 | 2325 264031 899518 | 2147483647 14820 151 | 0.000 % |
7.07/7.18 c | 14997 | 2325 264031 899518 | 2147483647 14997 151 | 0.000 % |
7.17/7.25 c | 15193 | 2325 264031 899518 | 2147483647 15193 151 | 0.004 % |
7.27/7.32 c | 15405 | 2325 264031 899518 | 2147483647 15405 150 | 0.004 % |
7.37/7.40 c | 15640 | 2325 264031 899518 | 2147483647 15640 149 | 0.005 % |
7.37/7.49 c | 15897 | 2325 264031 899518 | 2147483647 15897 149 | 0.005 % |
7.47/7.59 c | 16179 | 2325 264031 899518 | 2147483647 16179 149 | 0.005 % |
7.58/7.69 c | 16488 | 2325 264031 899518 | 2147483647 16488 148 | 0.005 % |
7.77/7.82 c | 16828 | 2325 264031 899518 | 2147483647 16828 147 | 0.005 % |
7.77/7.86 c | 16929 | 2325 264031 899518 | 2147483647 16929 146 | 0.004 % |
7.77/7.89 c | 17039 | 2325 264031 899518 | 2147483647 17039 146 | 0.005 % |
7.87/7.94 c | 17160 | 2325 264031 899518 | 2147483647 17160 146 | 0.000 % |
7.87/7.99 c | 17293 | 2325 264031 899518 | 2147483647 17293 146 | 0.004 % |
7.97/8.05 c | 17439 | 2325 264031 899518 | 2147483647 17439 146 | 0.005 % |
8.07/8.11 c | 17599 | 2325 264031 899518 | 2147483647 17599 146 | 0.000 % |
8.07/8.18 c | 17776 | 2325 264031 899518 | 2147483647 17776 146 | 0.000 % |
8.17/8.25 c | 17971 | 2325 264031 899518 | 2147483647 17971 146 | 0.004 % |
8.27/8.33 c | 18183 | 2325 264031 899518 | 2147483647 18183 146 | 0.005 % |
8.37/8.43 c | 18419 | 2325 264031 899518 | 2147483647 18419 146 | 0.004 % |
8.47/8.52 c | 18675 | 2325 264031 899518 | 2147483647 18675 146 | 0.005 % |
8.57/8.62 c | 18956 | 2325 264031 899518 | 2147483647 18956 146 | 0.000 % |
8.67/8.75 c | 19266 | 2325 264031 899518 | 2147483647 19266 146 | 0.005 % |
8.87/8.91 c | 19605 | 2325 264031 899518 | 2147483647 19605 146 | 0.005 % |
8.97/9.06 c | 19977 | 2325 264031 899518 | 2147483647 19977 145 | 0.005 % |
8.97/9.10 c | 20077 | 2325 264031 899518 | 2147483647 20077 145 | 0.004 % |
9.07/9.14 c | 20190 | 2325 264031 899518 | 2147483647 20190 145 | 0.000 % |
9.07/9.19 c | 20311 | 2325 264031 899518 | 2147483647 20311 145 | 0.004 % |
9.17/9.24 c | 20444 | 2325 264031 899518 | 2147483647 20444 145 | 0.005 % |
9.17/9.29 c | 20593 | 2325 264031 899518 | 2147483647 20593 145 | 0.004 % |
9.27/9.35 c | 20753 | 2325 264031 899518 | 2147483647 20753 146 | 0.000 % |
9.37/9.42 c | 20929 | 2325 264031 899518 | 2147483647 20929 145 | 0.000 % |
9.37/9.49 c | 21124 | 2325 264031 899518 | 2147483647 21124 145 | 0.000 % |
9.47/9.56 c | 21336 | 2325 264031 899518 | 2147483647 21336 146 | 0.005 % |
9.57/9.64 c | 21569 | 2325 264031 899518 | 2147483647 21569 146 | 0.000 % |
9.67/9.76 c | 21827 | 2325 264031 899518 | 2147483647 21827 147 | 0.000 % |
9.77/9.88 c | 22110 | 2325 264031 899518 | 2147483647 22110 147 | 0.000 % |
9.97/10.02 c | 22419 | 2325 264031 899518 | 2147483647 22419 147 | 0.005 % |
10.07/10.14 c | 22758 | 2325 264031 899518 | 2147483647 22758 147 | 0.005 % |
10.17/10.28 c | 23132 | 2325 264031 899518 | 2147483647 23132 146 | 0.000 % |
10.37/10.45 c | 23543 | 2325 264031 899518 | 2147483647 23543 146 | 0.000 % |
10.47/10.51 c | 23643 | 2325 264031 899518 | 2147483647 23643 146 | 0.000 % |
10.47/10.56 c | 23753 | 2325 264031 899518 | 2147483647 23753 146 | 0.000 % |
10.57/10.60 c | 23876 | 2325 264031 899518 | 2147483647 23876 146 | 0.000 % |
10.57/10.66 c | 24011 | 2325 264031 899518 | 2147483647 24011 146 | 0.004 % |
10.67/10.73 c | 24157 | 2325 264031 899518 | 2147483647 24157 147 | 0.000 % |
10.77/10.81 c | 24317 | 2325 264031 899518 | 2147483647 24317 147 | 0.000 % |
10.77/10.89 c | 24493 | 2325 264031 899518 | 2147483647 24493 148 | 0.000 % |
10.87/10.96 c | 24686 | 2325 264031 899518 | 2147483647 24686 148 | 0.000 % |
10.97/11.06 c | 24898 | 2325 264031 899518 | 2147483647 24898 148 | 0.000 % |
11.07/11.16 c | 25133 | 2325 264031 899518 | 2147483647 25133 147 | 0.004 % |
11.17/11.27 c | 25389 | 2325 264031 899518 | 2147483647 25389 147 | 0.004 % |
11.37/11.40 c | 25670 | 2325 264031 899518 | 2147483647 25670 147 | 0.004 % |
11.47/11.53 c | 25980 | 2325 264031 899518 | 2147483647 25980 147 | 0.005 % |
11.57/11.67 c | 26320 | 2325 264031 899518 | 2147483647 26320 146 | 0.003 % |
11.77/11.84 c | 26694 | 2325 264031 899518 | 2147483647 26694 146 | 0.005 % |
11.97/12.01 c | 27104 | 2325 264031 899518 | 2147483647 27104 145 | 0.005 % |
12.07/12.19 c | 27556 | 2325 264031 899518 | 2147483647 27556 145 | 0.004 % |
12.16/12.24 c | 27656 | 2325 264031 899518 | 2147483647 27656 145 | 0.000 % |
12.16/12.29 c | 27766 | 2325 264031 899518 | 2147483647 27766 145 | 0.000 % |
12.26/12.34 c | 27888 | 2325 264031 899518 | 2147483647 27888 145 | 0.005 % |
12.26/12.39 c | 28022 | 2325 264031 899518 | 2147483647 28022 145 | 0.005 % |
12.36/12.45 c | 28168 | 2325 264031 899518 | 2147483647 28168 145 | 0.000 % |
12.47/12.54 c | 28329 | 2325 264031 899518 | 2147483647 28329 146 | 0.000 % |
12.57/12.61 c | 28507 | 2325 264031 899518 | 2147483647 28507 146 | 0.000 % |
12.57/12.69 c | 28701 | 2325 264031 899518 | 2147483647 28701 146 | 0.000 % |
12.67/12.77 c | 28915 | 2325 264031 899518 | 2147483647 28915 146 | 0.000 % |
12.77/12.86 c | 29148 | 2325 264031 899518 | 2147483647 29148 146 | 0.000 % |
12.87/12.95 c | 29404 | 2325 264031 899518 | 2147483647 29404 147 | 0.000 % |
12.97/13.05 c | 29686 | 2325 264031 899518 | 2147483647 29686 146 | 0.000 % |
13.07/13.18 c | 29996 | 2325 264031 899518 | 2147483647 29996 146 | 0.005 % |
13.27/13.33 c | 30336 | 2325 264031 899518 | 2147483647 30336 146 | 0.005 % |
13.47/13.52 c | 30709 | 2325 264031 899518 | 2147483647 30709 146 | 0.004 % |
13.67/13.73 c | 31121 | 2325 264031 899518 | 2147483647 31121 145 | 0.005 % |
13.87/13.90 c | 31571 | 2325 264031 899518 | 2147483647 31571 144 | 0.005 % |
14.07/14.17 c | 32064 | 2325 264031 899518 | 2147483647 32064 146 | 0.000 % |
14.17/14.22 c | 32164 | 2325 264031 899518 | 2147483647 32164 146 | 0.000 % |
14.17/14.28 c | 32277 | 2325 264031 899518 | 2147483647 32277 146 | 0.005 % |
14.27/14.33 c | 32399 | 2325 264031 899518 | 2147483647 32399 146 | 0.005 % |
14.27/14.39 c | 32532 | 2325 264031 899518 | 2147483647 32532 146 | 0.005 % |
14.37/14.47 c | 32678 | 2325 264031 899518 | 2147483647 32678 146 | 0.000 % |
14.47/14.55 c | 32842 | 2325 264031 899518 | 2147483647 32842 146 | 0.000 % |
14.57/14.63 c | 33019 | 2325 264031 899518 | 2147483647 33019 146 | 0.000 % |
14.67/14.74 c | 33212 | 2325 264031 899518 | 2147483647 33212 146 | 0.000 % |
14.77/14.83 c | 33424 | 2325 264031 899518 | 2147483647 33424 146 | 0.000 % |
14.87/14.93 c | 33657 | 2325 264031 899518 | 2147483647 33657 146 | 0.000 % |
14.97/15.03 c | 33914 | 2325 264031 899518 | 2147483647 33914 146 | 0.000 % |
15.07/15.14 c | 34195 | 2325 264031 899518 | 2147483647 34195 146 | 0.003 % |
15.17/15.27 c | 34508 | 2325 264031 899518 | 2147483647 34508 145 | 0.000 % |
15.37/15.45 c | 34849 | 2325 264031 899518 | 2147483647 34849 146 | 0.000 % |
15.47/15.60 c | 35221 | 2325 264031 899518 | 2147483647 35221 146 | 0.004 % |
15.67/15.79 c | 35630 | 2325 264031 899518 | 2147483647 35630 146 | 0.000 % |
15.96/16.01 c | 36079 | 2325 264031 899518 | 2147483647 36079 146 | 0.000 % |
16.16/16.27 c | 36572 | 2325 264031 899518 | 2147483647 36572 147 | 0.000 % |
16.47/16.58 c | 37114 | 2325 264031 899518 | 2147483647 37114 148 | 0.000 % |
16.56/16.63 c | 37215 | 2325 264031 899518 | 2147483647 37215 149 | 0.000 % |
16.56/16.69 c | 37325 | 2325 264031 899518 | 2147483647 37325 149 | 0.000 % |
16.66/16.76 c | 37446 | 2325 264031 899518 | 2147483647 37446 149 | 0.000 % |
16.76/16.84 c | 37579 | 2325 264031 899518 | 2147483647 37579 149 | 0.000 % |
16.87/16.90 c | 37726 | 2325 264031 899518 | 2147483647 37726 149 | 0.000 % |
16.87/16.98 c | 37887 | 2325 264031 899518 | 2147483647 37887 149 | 0.000 % |
16.97/17.07 c | 38063 | 2325 264031 899518 | 2147483647 38063 149 | 0.004 % |
17.07/17.18 c | 38256 | 2325 264031 899518 | 2147483647 38256 149 | 0.000 % |
17.17/17.28 c | 38468 | 2325 264031 899518 | 2147483647 38468 149 | 0.004 % |
17.37/17.40 c | 38701 | 2325 264031 899518 | 2147483647 38701 149 | 0.005 % |
17.47/17.51 c | 38957 | 2325 264031 899518 | 2147483647 38957 149 | 0.000 % |
17.57/17.66 c | 39239 | 2325 264031 899518 | 2147483647 39239 149 | 0.005 % |
17.67/17.80 c | 39548 | 2325 264031 899518 | 2147483647 39548 149 | 0.004 % |
17.87/17.96 c | 39888 | 2325 264031 899518 | 2147483647 39888 149 | 0.000 % |
18.07/18.15 c | 40260 | 2325 264031 899518 | 2147483647 40260 149 | 0.005 % |
18.27/18.38 c | 40669 | 2325 264031 899518 | 2147483647 40669 149 | 0.004 % |
18.57/18.61 c | 41118 | 2325 264031 899518 | 2147483647 41118 149 | 0.000 % |
18.77/18.85 c | 41613 | 2325 264031 899518 | 2147483647 41613 149 | 0.004 % |
19.07/19.10 c | 42156 | 2325 264031 899518 | 2147483647 42156 148 | 0.004 % |
19.37/19.41 c | 42753 | 2325 264031 899518 | 2147483647 42753 148 | 0.000 % |
19.37/19.47 c | 42853 | 2325 264031 899518 | 2147483647 42853 148 | 0.000 % |
19.46/19.53 c | 42965 | 2325 264031 899518 | 2147483647 42965 148 | 0.003 % |
19.46/19.59 c | 43088 | 2325 264031 899518 | 2147483647 43088 148 | 0.000 % |
19.56/19.65 c | 43221 | 2325 264031 899518 | 2147483647 43221 148 | 0.000 % |
19.67/19.73 c | 43369 | 2325 264031 899518 | 2147483647 43369 148 | 0.000 % |
19.77/19.81 c | 43529 | 2325 264031 899518 | 2147483647 43529 148 | 0.000 % |
19.86/19.91 c | 43708 | 2325 264031 899518 | 2147483647 43708 148 | 0.000 % |
19.96/20.02 c | 43903 | 2325 264031 899518 | 2147483647 43903 149 | 0.000 % |
20.06/20.13 c | 44116 | 2325 264031 899518 | 2147483647 44116 149 | 0.000 % |
20.16/20.26 c | 44352 | 2325 264031 899518 | 2147483647 44352 149 | 0.000 % |
20.26/20.39 c | 44608 | 2325 264031 899518 | 2147483647 44608 149 | 0.005 % |
20.46/20.53 c | 44889 | 2325 264031 899518 | 2147483647 44889 149 | 0.000 % |
20.56/20.67 c | 45198 | 2325 264031 899518 | 2147483647 45198 148 | 0.000 % |
20.77/20.85 c | 45537 | 2325 264031 899518 | 2147483647 45537 148 | 0.004 % |
20.97/21.08 c | 45910 | 2325 264031 899518 | 2147483647 45910 149 | 0.000 % |
21.27/21.32 c | 46319 | 2325 264031 899518 | 2147483647 46319 149 | 0.000 % |
21.47/21.55 c | 46768 | 2325 264031 899518 | 2147483647 46768 149 | 0.005 % |
21.77/21.83 c | 47262 | 2325 264031 899518 | 2147483647 47262 149 | 0.000 % |
22.07/22.13 c | 47805 | 2325 264031 899518 | 2147483647 47805 149 | 0.005 % |
22.37/22.47 c | 48401 | 2325 264031 899518 | 2147483647 48401 149 | 0.005 % |
22.76/22.84 c | 49058 | 2325 264031 899518 | 2147483647 49058 149 | 0.000 % |
22.86/22.91 c | 49160 | 2325 264031 899518 | 2147483647 49160 149 | 0.000 % |
22.86/22.98 c | 49270 | 2325 264031 899518 | 2147483647 49270 149 | 0.004 % |
22.97/23.05 c | 49391 | 2325 264031 899518 | 2147483647 49391 149 | 0.000 % |
23.07/23.12 c | 49524 | 2325 264031 899518 | 2147483647 49524 148 | 0.004 % |
23.16/23.21 c | 49673 | 2325 264031 899518 | 2147483647 49673 149 | 0.000 % |
23.26/23.33 c | 49833 | 2325 264031 899518 | 2147483647 49833 149 | 0.000 % |
23.36/23.41 c | 50009 | 2325 264031 899518 | 2147483647 50009 149 | 0.004 % |
23.46/23.53 c | 50203 | 2325 264031 899518 | 2147483647 50203 149 | 0.000 % |
23.56/23.66 c | 50415 | 2325 264031 899518 | 2147483647 50415 149 | 0.000 % |
23.76/23.81 c | 50653 | 2325 264031 899518 | 2147483647 50653 149 | 0.004 % |
23.86/23.94 c | 50909 | 2325 264031 899518 | 2147483647 50909 150 | 0.004 % |
23.96/24.09 c | 51190 | 2325 264031 899518 | 2147483647 51190 149 | 0.000 % |
24.17/24.23 c | 51499 | 2325 264031 899518 | 2147483647 51499 149 | 0.005 % |
24.36/24.42 c | 51839 | 2325 264031 899518 | 2147483647 51839 149 | 0.004 % |
24.56/24.65 c | 52211 | 2325 264031 899518 | 2147483647 52211 149 | 0.000 % |
24.76/24.85 c | 52620 | 2325 264031 899518 | 2147483647 52620 149 | 0.005 % |
24.96/25.08 c | 53069 | 2325 264031 899518 | 2147483647 53069 149 | 0.005 % |
25.37/25.41 c | 53563 | 2325 264031 899518 | 2147483647 53563 149 | 0.000 % |
25.67/25.75 c | 54107 | 2325 264031 899518 | 2147483647 54107 150 | 0.000 % |
26.07/26.12 c | 54703 | 2325 264031 899518 | 2147483647 54703 151 | 0.000 % |
26.37/26.46 c | 55358 | 2325 264031 899518 | 2147483647 55358 150 | 0.004 % |
26.77/26.86 c | 56079 | 2325 264031 899518 | 2147483647 56079 150 | 0.005 % |
26.87/26.93 c | 56180 | 2325 264031 899518 | 2147483647 56180 150 | 0.000 % |
26.87/26.99 c | 56290 | 2325 264031 899518 | 2147483647 56290 150 | 0.000 % |
26.97/27.05 c | 56413 | 2325 264031 899518 | 2147483647 56413 150 | 0.005 % |
27.07/27.12 c | 56546 | 2325 264031 899518 | 2147483647 56546 150 | 0.005 % |
27.16/27.23 c | 56692 | 2325 264031 899518 | 2147483647 56692 150 | 0.000 % |
27.26/27.33 c | 56853 | 2325 264031 899518 | 2147483647 56853 150 | 0.005 % |
27.37/27.45 c | 57029 | 2325 264031 899518 | 2147483647 57029 150 | 0.000 % |
27.47/27.57 c | 57223 | 2325 264031 899518 | 2147483647 57223 150 | 0.000 % |
27.66/27.70 c | 57435 | 2325 264031 899518 | 2147483647 57435 150 | 0.003 % |
27.76/27.86 c | 57668 | 2325 264031 899518 | 2147483647 57668 150 | 0.003 % |
27.96/28.00 c | 57924 | 2325 264031 899518 | 2147483647 57924 150 | 0.004 % |
28.06/28.19 c | 58205 | 2325 264031 899518 | 2147483647 58205 150 | 0.005 % |
28.26/28.38 c | 58516 | 2325 264031 899518 | 2147483647 58516 150 | 0.004 % |
28.46/28.58 c | 58855 | 2325 264031 899518 | 2147483647 58855 150 | 0.000 % |
28.76/28.82 c | 59228 | 2325 264031 899518 | 2147483647 59228 150 | 0.004 % |
28.96/29.04 c | 59637 | 2325 264031 899518 | 2147483647 59637 151 | 0.000 % |
29.16/29.28 c | 60086 | 2325 264031 899518 | 2147483647 60086 151 | 0.000 % |
29.57/29.60 c | 60581 | 2325 264031 899518 | 2147483647 60581 151 | 0.000 % |
29.87/29.96 c | 61123 | 2325 264031 899518 | 2147483647 61123 151 | 0.000 % |
30.17/30.29 c | 61719 | 2325 264031 899518 | 2147483647 61719 151 | 0.000 % |
30.57/30.68 c | 62374 | 2325 264031 899518 | 2147483647 62374 151 | 0.000 % |
31.06/31.16 c | 63095 | 2325 264031 899518 | 2147483647 63095 151 | 0.000 % |
31.66/31.72 c | 63890 | 2325 264031 899518 | 2147483647 63890 151 | 0.000 % |
31.77/31.80 c | 63990 | 2325 264031 899518 | 2147483647 63990 151 | 0.000 % |
31.77/31.89 c | 64102 | 2325 264031 899518 | 2147483647 64102 151 | 0.000 % |
31.87/31.97 c | 64224 | 2325 264031 899518 | 2147483647 64224 151 | 0.004 % |
31.96/32.07 c | 64358 | 2325 264031 899518 | 2147483647 64358 151 | 0.004 % |
32.06/32.17 c | 64504 | 2325 264031 899518 | 2147483647 64504 151 | 0.000 % |
32.26/32.30 c | 64664 | 2325 264031 899518 | 2147483647 64664 151 | 0.000 % |
32.36/32.41 c | 64844 | 2325 264031 899518 | 2147483647 64844 151 | 0.000 % |
32.46/32.54 c | 65037 | 2325 264031 899518 | 2147483647 65037 151 | 0.000 % |
32.66/32.70 c | 65249 | 2325 264031 899518 | 2147483647 65249 152 | 0.000 % |
32.76/32.86 c | 65483 | 2325 264031 899518 | 2147483647 65483 152 | 0.000 % |
32.96/33.04 c | 65739 | 2325 264031 899518 | 2147483647 65739 152 | 0.000 % |
33.16/33.21 c | 66022 | 2325 264031 899518 | 2147483647 66022 152 | 0.004 % |
33.36/33.45 c | 66332 | 2325 264031 899518 | 2147483647 66332 152 | 0.000 % |
33.56/33.65 c | 66672 | 2325 264031 899518 | 2147483647 66672 152 | 0.000 % |
33.76/33.89 c | 67046 | 2325 264031 899518 | 2147483647 67046 152 | 0.000 % |
34.06/34.17 c | 67457 | 2325 264031 899518 | 2147483647 67457 152 | 0.000 % |
34.35/34.45 c | 67908 | 2325 264031 899518 | 2147483647 67908 152 | 0.000 % |
34.65/34.79 c | 68401 | 2325 264031 899518 | 2147483647 68401 152 | 0.005 % |
35.06/35.15 c | 68943 | 2325 264031 899518 | 2147483647 68943 152 | 0.006 % |
35.45/35.57 c | 69540 | 2325 264031 899518 | 2147483647 69540 152 | 0.000 % |
36.06/36.10 c | 70196 | 2325 264031 899518 | 2147483647 70196 153 | 0.000 % |
36.46/36.59 c | 70916 | 2325 264031 899518 | 2147483647 70916 153 | 0.000 % |
36.96/37.09 c | 71708 | 2325 264031 899518 | 2147483647 71708 153 | 0.005 % |
37.55/37.68 c | 72579 | 2325 264031 899518 | 2147483647 72579 153 | 0.000 % |
37.65/37.78 c | 72681 | 2325 264031 899518 | 2147483647 72681 153 | 0.000 % |
37.75/37.86 c | 72791 | 2325 264031 899518 | 2147483647 72791 153 | 0.003 % |
37.85/37.95 c | 72916 | 2325 264031 899518 | 2147483647 72916 153 | 0.003 % |
37.95/38.05 c | 73052 | 2325 264031 899518 | 2147483647 73052 154 | 0.000 % |
38.05/38.16 c | 73198 | 2325 264031 899518 | 2147483647 73198 154 | 0.000 % |
38.15/38.29 c | 73358 | 2325 264031 899518 | 2147483647 73358 154 | 0.000 % |
38.25/38.40 c | 73534 | 2325 264031 899518 | 2147483647 73534 154 | 0.000 % |
38.46/38.55 c | 73728 | 2325 264031 899518 | 2147483647 73728 154 | 0.000 % |
38.66/38.71 c | 73941 | 2325 264031 899518 | 2147483647 73941 154 | 0.000 % |
38.76/38.88 c | 74175 | 2325 264031 899518 | 2147483647 74175 154 | 0.000 % |
38.96/39.04 c | 74432 | 2325 264031 899518 | 2147483647 74432 154 | 0.004 % |
39.16/39.21 c | 74715 | 2325 264031 899518 | 2147483647 74715 154 | 0.005 % |
39.36/39.41 c | 75027 | 2325 264031 899518 | 2147483647 75027 153 | 0.004 % |
39.66/39.71 c | 75368 | 2325 264031 899518 | 2147483647 75368 154 | 0.000 % |
39.86/39.99 c | 75742 | 2325 264031 899518 | 2147483647 75742 153 | 0.000 % |
40.16/40.28 c | 76152 | 2325 264031 899518 | 2147483647 76152 153 | 0.004 % |
40.56/40.62 c | 76603 | 2325 264031 899518 | 2147483647 76603 153 | 0.000 % |
40.85/40.98 c | 77100 | 2325 264031 899518 | 2147483647 77100 153 | 0.000 % |
41.25/41.35 c | 77642 | 2325 264031 899518 | 2147483647 77642 153 | 0.005 % |
41.75/41.81 c | 78238 | 2325 264031 899518 | 2147483647 78238 152 | 0.005 % |
42.16/42.25 c | 78894 | 2325 264031 899518 | 2147483647 78894 152 | 0.004 % |
42.86/42.93 c | 79616 | 2325 264031 899518 | 2147483647 79616 152 | 0.004 % |
43.46/43.54 c | 80408 | 2325 264031 899518 | 2147483647 80408 152 | 0.005 % |
44.15/44.26 c | 81282 | 2325 264031 899518 | 2147483647 81282 151 | 0.004 % |
44.96/45.08 c | 82241 | 2325 264031 899518 | 2147483647 82241 150 | 0.004 % |
45.06/45.16 c | 82342 | 2325 264031 899518 | 2147483647 82342 150 | 0.004 % |
45.15/45.27 c | 82454 | 2325 264031 899518 | 2147483647 82454 150 | 0.004 % |
45.25/45.38 c | 82575 | 2325 264031 899518 | 2147483647 82575 150 | 0.000 % |
45.45/45.50 c | 82709 | 2325 264031 899518 | 2147483647 82709 150 | 0.000 % |
45.55/45.61 c | 82856 | 2325 264031 899518 | 2147483647 82856 150 | 0.000 % |
45.65/45.74 c | 83016 | 2325 264031 899518 | 2147483647 83016 150 | 0.006 % |
45.75/45.89 c | 83196 | 2325 264031 899518 | 2147483647 83196 150 | 0.000 % |
45.95/46.04 c | 83390 | 2325 264031 899518 | 2147483647 83390 150 | 0.000 % |
46.15/46.20 c | 83603 | 2325 264031 899518 | 2147483647 83603 150 | 0.004 % |
46.25/46.36 c | 83836 | 2325 264031 899518 | 2147483647 83836 150 | 0.004 % |
46.46/46.58 c | 84093 | 2325 264031 899518 | 2147483647 84093 150 | 0.004 % |
46.75/46.80 c | 84374 | 2325 264031 899518 | 2147483647 84374 151 | 0.000 % |
46.95/47.05 c | 84683 | 2325 264031 899518 | 2147483647 84683 151 | 0.000 % |
47.26/47.30 c | 85022 | 2325 264031 899518 | 2147483647 85022 151 | 0.000 % |
47.45/47.60 c | 85394 | 2325 264031 899518 | 2147483647 85394 151 | 0.000 % |
47.85/47.92 c | 85803 | 2325 264031 899518 | 2147483647 85803 151 | 0.000 % |
48.26/48.30 c | 86254 | 2325 264031 899518 | 2147483647 86254 151 | 0.000 % |
48.65/48.74 c | 86748 | 2325 264031 899518 | 2147483647 86748 151 | 0.005 % |
49.05/49.18 c | 87290 | 2325 264031 899518 | 2147483647 87290 151 | 0.004 % |
49.55/49.64 c | 87886 | 2325 264031 899518 | 2147483647 87886 151 | 0.000 % |
50.15/50.20 c | 88541 | 2325 264031 899518 | 2147483647 88541 151 | 0.005 % |
50.75/50.83 c | 89263 | 2325 264031 899518 | 2147483647 89263 151 | 0.000 % |
51.35/51.48 c | 90055 | 2325 264031 899518 | 2147483647 90055 151 | 0.004 % |
52.05/52.15 c | 90927 | 2325 264031 899518 | 2147483647 90927 151 | 0.000 % |
52.85/52.94 c | 91888 | 2325 264031 899518 | 2147483647 91888 151 | 0.000 % |
53.75/53.83 c | 92942 | 2325 264031 899518 | 2147483647 92942 151 | 0.000 % |
53.85/53.91 c | 93043 | 2325 264031 899518 | 2147483647 93043 151 | 0.004 % |
53.95/54.01 c | 93153 | 2325 264031 899518 | 2147483647 93153 151 | 0.000 % |
54.05/54.12 c | 93274 | 2325 264031 899518 | 2147483647 93274 151 | 0.000 % |
54.15/54.22 c | 93407 | 2325 264031 899518 | 2147483647 93407 151 | 0.005 % |
54.25/54.33 c | 93553 | 2325 264031 899518 | 2147483647 93553 151 | 0.004 % |
54.35/54.48 c | 93716 | 2325 264031 899518 | 2147483647 93716 151 | 0.000 % |
54.55/54.60 c | 93892 | 2325 264031 899518 | 2147483647 93892 151 | 0.004 % |
54.65/54.75 c | 94085 | 2325 264031 899518 | 2147483647 94085 151 | 0.005 % |
54.85/54.94 c | 94297 | 2325 264031 899518 | 2147483647 94297 151 | 0.000 % |
55.05/55.15 c | 94530 | 2325 264031 899518 | 2147483647 94530 151 | 0.004 % |
55.25/55.40 c | 94786 | 2325 264031 899518 | 2147483647 94786 151 | 0.000 % |
55.55/55.63 c | 95068 | 2325 264031 899518 | 2147483647 95068 151 | 0.000 % |
55.85/55.92 c | 95377 | 2325 264031 899518 | 2147483647 95377 151 | 0.000 % |
56.05/56.15 c | 95716 | 2325 264031 899518 | 2147483647 95716 151 | 0.000 % |
56.35/56.46 c | 96088 | 2325 264031 899518 | 2147483647 96088 151 | 0.000 % |
56.75/56.86 c | 96497 | 2325 264031 899518 | 2147483647 96497 152 | 0.000 % |
57.06/57.17 c | 96947 | 2325 264031 899518 | 2147483647 96947 152 | 0.000 % |
57.45/57.58 c | 97440 | 2325 264031 899518 | 2147483647 97440 152 | 0.005 % |
58.05/58.10 c | 97982 | 2325 264031 899518 | 2147483647 97982 151 | 0.000 % |
58.55/58.62 c | 98578 | 2325 264031 899518 | 2147483647 98578 151 | 0.004 % |
59.15/59.26 c | 99236 | 2325 264031 899518 | 2147483647 99236 152 | 0.000 % |
59.75/59.87 c | 99956 | 2325 264031 899518 | 2147483647 99956 153 | 0.000 % |
60.46/60.53 c | 100750 | 2325 264031 899518 | 2147483647 100750 153 | 0.004 % |
61.15/61.27 c | 101622 | 2325 264031 899518 | 2147483647 101622 152 | 0.000 % |
61.95/62.08 c | 102582 | 2325 264031 899518 | 2147483647 102582 152 | 0.004 % |
63.05/63.14 c | 103635 | 2325 264031 899518 | 2147483647 103635 153 | 0.000 % |
64.25/64.37 c | 104793 | 2325 264031 899518 | 2147483647 104793 153 | 0.004 % |
64.35/64.46 c | 104894 | 2325 264031 899518 | 2147483647 104894 153 | 0.000 % |
64.45/64.57 c | 105006 | 2325 264031 899518 | 2147483647 105006 153 | 0.000 % |
64.65/64.74 c | 105129 | 2325 264031 899518 | 2147483647 105129 153 | 0.000 % |
64.75/64.87 c | 105262 | 2325 264031 899518 | 2147483647 105262 153 | 0.000 % |
64.95/65.04 c | 105408 | 2325 264031 899518 | 2147483647 105408 153 | 0.005 % |
65.15/65.21 c | 105568 | 2325 264031 899518 | 2147483647 105568 153 | 0.003 % |
65.25/65.40 c | 105746 | 2325 264031 899518 | 2147483647 105746 153 | 0.000 % |
65.45/65.56 c | 105940 | 2325 264031 899518 | 2147483647 105940 153 | 0.000 % |
65.75/65.80 c | 106152 | 2325 264031 899518 | 2147483647 106152 153 | 0.000 % |
65.85/65.97 c | 106385 | 2325 264031 899518 | 2147483647 106385 153 | 0.000 % |
66.15/66.21 c | 106642 | 2325 264031 899518 | 2147483647 106642 152 | 0.000 % |
66.35/66.47 c | 106923 | 2325 264031 899518 | 2147483647 106923 152 | 0.004 % |
66.65/66.77 c | 107232 | 2325 264031 899518 | 2147483647 107232 152 | 0.004 % |
66.95/67.07 c | 107571 | 2325 264031 899518 | 2147483647 107571 152 | 0.004 % |
67.35/67.46 c | 107943 | 2325 264031 899518 | 2147483647 107943 153 | 0.000 % |
67.75/67.84 c | 108352 | 2325 264031 899518 | 2147483647 108352 153 | 0.000 % |
68.25/68.31 c | 108802 | 2325 264031 899518 | 2147483647 108802 152 | 0.005 % |
68.65/68.76 c | 109296 | 2325 264031 899518 | 2147483647 109296 152 | 0.004 % |
69.15/69.27 c | 109841 | 2325 264031 899518 | 2147483647 109841 152 | 0.004 % |
69.74/69.84 c | 110437 | 2325 264031 899518 | 2147483647 110437 152 | 0.000 % |
70.44/70.56 c | 111092 | 2325 264031 899518 | 2147483647 111092 152 | 0.000 % |
71.04/71.15 c | 111813 | 2325 264031 899518 | 2147483647 111813 153 | 0.000 % |
71.65/71.78 c | 112605 | 2325 264031 899518 | 2147483647 112605 153 | 0.000 % |
72.35/72.40 c | 113478 | 2325 264031 899518 | 2147483647 113478 153 | 0.004 % |
73.24/73.35 c | 114436 | 2325 264031 899518 | 2147483647 114436 153 | 0.003 % |
74.24/74.34 c | 115489 | 2325 264031 899518 | 2147483647 115489 153 | 0.005 % |
75.24/75.30 c | 116647 | 2325 264031 899518 | 2147483647 116647 152 | 0.005 % |
76.35/76.45 c | 117921 | 2325 264031 899518 | 2147483647 117921 152 | 0.005 % |
76.45/76.57 c | 118021 | 2325 264031 899518 | 2147483647 118021 152 | 0.004 % |
76.65/76.73 c | 118133 | 2325 264031 899518 | 2147483647 118133 152 | 0.000 % |
76.75/76.90 c | 118254 | 2325 264031 899518 | 2147483647 118254 152 | 0.000 % |
76.95/77.02 c | 118389 | 2325 264031 899518 | 2147483647 118389 152 | 0.000 % |
77.05/77.18 c | 118536 | 2325 264031 899518 | 2147483647 118536 152 | 0.000 % |
77.25/77.35 c | 118696 | 2325 264031 899518 | 2147483647 118696 152 | 0.000 % |
77.45/77.50 c | 118872 | 2325 264031 899518 | 2147483647 118872 152 | 0.000 % |
77.65/77.70 c | 119067 | 2325 264031 899518 | 2147483647 119067 152 | 0.000 % |
77.74/77.88 c | 119280 | 2325 264031 899518 | 2147483647 119280 152 | 0.000 % |
77.95/78.10 c | 119513 | 2325 264031 899518 | 2147483647 119513 152 | 0.000 % |
78.24/78.38 c | 119771 | 2325 264031 899518 | 2147483647 119771 153 | 0.000 % |
78.54/78.62 c | 120053 | 2325 264031 899518 | 2147483647 120053 153 | 0.000 % |
78.94/79.02 c | 120363 | 2325 264031 899518 | 2147483647 120363 153 | 0.000 % |
79.24/79.31 c | 120702 | 2325 264031 899518 | 2147483647 120702 153 | 0.000 % |
79.54/79.66 c | 121074 | 2325 264031 899518 | 2147483647 121074 153 | 0.000 % |
79.94/80.08 c | 121483 | 2325 264031 899518 | 2147483647 121483 153 | 0.000 % |
80.33/80.46 c | 121932 | 2325 264031 899518 | 2147483647 121932 153 | 0.005 % |
80.84/80.96 c | 122425 | 2325 264031 899518 | 2147483647 122425 153 | 0.005 % |
81.35/81.48 c | 122968 | 2325 264031 899518 | 2147483647 122968 153 | 0.005 % |
81.94/82.05 c | 123566 | 2325 264031 899518 | 2147483647 123566 153 | 0.000 % |
82.74/82.84 c | 124221 | 2325 264031 899518 | 2147483647 124221 153 | 0.000 % |
83.33/83.46 c | 124943 | 2325 264031 899518 | 2147483647 124943 153 | 0.006 % |
84.03/84.20 c | 125735 | 2325 264031 899518 | 2147483647 125735 153 | 0.000 % |
84.94/85.05 c | 126606 | 2325 264031 899518 | 2147483647 126606 153 | 0.000 % |
85.94/86.06 c | 127565 | 2325 264031 899518 | 2147483647 127565 153 | 0.000 % |
87.04/87.17 c | 128620 | 2325 264031 899518 | 2147483647 128620 153 | 0.000 % |
88.23/88.35 c | 129779 | 2325 264031 899518 | 2147483647 129779 153 | 0.005 % |
89.53/89.69 c | 131054 | 2325 264031 899518 | 2147483647 131054 153 | 0.000 % |
91.34/91.44 c | 132454 | 2325 264031 899518 | 2147483647 132454 154 | 0.000 % |
91.44/91.53 c | 132554 | 2325 264031 899518 | 2147483647 132554 154 | 0.000 % |
91.64/91.70 c | 132664 | 2325 264031 899518 | 2147483647 132664 154 | 0.000 % |
91.74/91.84 c | 132785 | 2325 264031 899518 | 2147483647 132785 154 | 0.000 % |
91.84/91.99 c | 132918 | 2325 264031 899518 | 2147483647 132918 154 | 0.000 % |
92.04/92.16 c | 133065 | 2325 264031 899518 | 2147483647 133065 154 | 0.004 % |
92.24/92.35 c | 133226 | 2325 264031 899518 | 2147483647 133226 154 | 0.000 % |
92.44/92.52 c | 133403 | 2325 264031 899518 | 2147483647 133403 154 | 0.000 % |
92.63/92.72 c | 133596 | 2325 264031 899518 | 2147483647 133596 154 | 0.000 % |
92.83/92.97 c | 133808 | 2325 264031 899518 | 2147483647 133808 154 | 0.000 % |
93.13/93.25 c | 134043 | 2325 264031 899518 | 2147483647 134043 154 | 0.000 % |
93.44/93.54 c | 134302 | 2325 264031 899518 | 2147483647 134302 154 | 0.000 % |
93.73/93.85 c | 134584 | 2325 264031 899518 | 2147483647 134584 154 | 0.000 % |
94.03/94.17 c | 134893 | 2325 264031 899518 | 2147483647 134893 154 | 0.000 % |
94.33/94.48 c | 135234 | 2325 264031 899518 | 2147483647 135234 154 | 0.000 % |
94.73/94.85 c | 135610 | 2325 264031 899518 | 2147483647 135610 154 | 0.004 % |
95.14/95.27 c | 136022 | 2325 264031 899518 | 2147483647 136022 154 | 0.005 % |
95.73/95.87 c | 136473 | 2325 264031 899518 | 2147483647 136473 154 | 0.000 % |
96.23/96.36 c | 136966 | 2325 264031 899518 | 2147483647 136966 155 | 0.000 % |
96.83/96.91 c | 137508 | 2325 264031 899518 | 2147483647 137508 155 | 0.000 % |
97.43/97.54 c | 138106 | 2325 264031 899518 | 2147483647 138106 155 | 0.000 % |
98.13/98.27 c | 138761 | 2325 264031 899518 | 2147483647 138761 155 | 0.004 % |
99.03/99.19 c | 139483 | 2325 264031 899518 | 2147483647 139483 155 | 0.005 % |
99.83/99.98 c | 140275 | 2325 264031 899518 | 2147483647 140275 155 | 0.004 % |
100.73/100.82 c | 141146 | 2325 264031 899518 | 2147483647 141146 154 | 0.005 % |
101.62/101.73 c | 142105 | 2325 264031 899518 | 2147483647 142105 154 | 0.000 % |
102.73/102.84 c | 143160 | 2325 264031 899518 | 2147483647 143160 154 | 0.000 % |
103.93/104.01 c | 144320 | 2325 264031 899518 | 2147483647 144320 154 | 0.004 % |
105.23/105.36 c | 145593 | 2325 264031 899518 | 2147483647 145593 154 | 0.000 % |
106.73/106.87 c | 146993 | 2325 264031 899518 | 2147483647 146993 155 | 0.000 % |
108.22/108.39 c | 148533 | 2325 264031 899518 | 2147483647 148533 155 | 0.000 % |
108.42/108.55 c | 148636 | 2325 264031 899518 | 2147483647 148636 155 | 0.000 % |
108.52/108.68 c | 148746 | 2325 264031 899518 | 2147483647 148746 155 | 0.000 % |
108.73/108.84 c | 148867 | 2325 264031 899518 | 2147483647 148867 155 | 0.004 % |
108.83/109.00 c | 149001 | 2325 264031 899518 | 2147483647 149001 155 | 0.004 % |
109.12/109.20 c | 149147 | 2325 264031 899518 | 2147483647 149147 155 | 0.000 % |
109.23/109.39 c | 149307 | 2325 264031 899518 | 2147483647 149307 155 | 0.000 % |
109.53/109.61 c | 149483 | 2325 264031 899518 | 2147483647 149483 155 | 0.000 % |
109.73/109.84 c | 149676 | 2325 264031 899518 | 2147483647 149676 155 | 0.005 % |
109.93/110.06 c | 149889 | 2325 264031 899518 | 2147483647 149889 155 | 0.005 % |
110.23/110.35 c | 150123 | 2325 264031 899518 | 2147483647 150123 155 | 0.000 % |
110.53/110.62 c | 150379 | 2325 264031 899518 | 2147483647 150379 155 | 0.005 % |
110.83/110.95 c | 150660 | 2325 264031 899518 | 2147483647 150660 155 | 0.000 % |
111.13/111.28 c | 150970 | 2325 264031 899518 | 2147483647 150970 155 | 0.000 % |
111.53/111.65 c | 151309 | 2325 264031 899518 | 2147483647 151309 155 | 0.000 % |
111.93/112.07 c | 151681 | 2325 264031 899518 | 2147483647 151681 155 | 0.000 % |
112.43/112.52 c | 152090 | 2325 264031 899518 | 2147483647 152090 155 | 0.005 % |
112.92/113.02 c | 152539 | 2325 264031 899518 | 2147483647 152539 155 | 0.000 % |
113.42/113.52 c | 153033 | 2325 264031 899518 | 2147483647 153033 155 | 0.000 % |
114.03/114.19 c | 153576 | 2325 264031 899518 | 2147483647 153576 156 | 0.000 % |
114.93/115.05 c | 154177 | 2325 264031 899518 | 2147483647 154177 156 | 0.000 % |
115.82/115.95 c | 154833 | 2325 264031 899518 | 2147483647 154833 156 | 0.000 % |
116.62/116.72 c | 155553 | 2325 264031 899518 | 2147483647 155553 157 | 0.000 % |
117.73/117.81 c | 156345 | 2325 264031 899518 | 2147483647 156345 157 | 0.000 % |
118.73/118.82 c | 157216 | 2325 264031 899518 | 2147483647 157216 157 | 0.000 % |
119.92/120.07 c | 158174 | 2325 264031 899518 | 2147483647 158174 157 | 0.000 % |
121.22/121.30 c | 159227 | 2325 264031 899518 | 2147483647 159227 157 | 0.005 % |
122.72/122.83 c | 160386 | 2325 264031 899518 | 2147483647 160386 157 | 0.000 % |
124.13/124.27 c | 161661 | 2325 264031 899518 | 2147483647 161661 157 | 0.000 % |
125.72/125.82 c | 163063 | 2325 264031 899518 | 2147483647 163063 157 | 0.000 % |
127.72/127.82 c | 164605 | 2325 264031 899518 | 2147483647 164605 159 | 0.000 % |
129.82/129.95 c | 166299 | 2325 264031 899518 | 2147483647 166299 159 | 0.000 % |
130.02/130.11 c | 166401 | 2325 264031 899518 | 2147483647 166401 159 | 0.000 % |
130.12/130.26 c | 166512 | 2325 264031 899518 | 2147483647 166512 159 | 0.004 % |
130.32/130.44 c | 166635 | 2325 264031 899518 | 2147483647 166635 159 | 0.000 % |
130.52/130.62 c | 166768 | 2325 264031 899518 | 2147483647 166768 159 | 0.000 % |
130.72/130.81 c | 166915 | 2325 264031 899518 | 2147483647 166915 159 | 0.004 % |
130.82/130.99 c | 167075 | 2325 264031 899518 | 2147483647 167075 159 | 0.000 % |
131.11/131.24 c | 167251 | 2325 264031 899518 | 2147483647 167251 159 | 0.000 % |
131.41/131.55 c | 167445 | 2325 264031 899518 | 2147483647 167445 159 | 0.000 % |
131.71/131.86 c | 167658 | 2325 264031 899518 | 2147483647 167658 159 | 0.004 % |
132.01/132.18 c | 167891 | 2325 264031 899518 | 2147483647 167891 159 | 0.000 % |
132.31/132.49 c | 168149 | 2325 264031 899518 | 2147483647 168149 159 | 0.000 % |
132.81/132.91 c | 168432 | 2325 264031 899518 | 2147483647 168432 159 | 0.005 % |
133.21/133.32 c | 168743 | 2325 264031 899518 | 2147483647 168743 159 | 0.004 % |
133.62/133.77 c | 169082 | 2325 264031 899518 | 2147483647 169082 159 | 0.000 % |
134.22/134.34 c | 169456 | 2325 264031 899518 | 2147483647 169456 159 | 0.000 % |
134.82/134.98 c | 169865 | 2325 264031 899518 | 2147483647 169865 160 | 0.000 % |
135.42/135.55 c | 170314 | 2325 264031 899518 | 2147483647 170314 160 | 0.004 % |
136.01/136.19 c | 170807 | 2325 264031 899518 | 2147483647 170807 160 | 0.000 % |
136.61/136.79 c | 171349 | 2325 264031 899518 | 2147483647 171349 160 | 0.000 % |
137.42/137.56 c | 171946 | 2325 264031 899518 | 2147483647 171946 159 | 0.000 % |
138.42/138.54 c | 172601 | 2325 264031 899518 | 2147483647 172601 159 | 0.004 % |
139.51/139.67 c | 173321 | 2325 264031 899518 | 2147483647 173321 159 | 0.004 % |
140.71/140.83 c | 174113 | 2325 264031 899518 | 2147483647 174113 159 | 0.000 % |
141.92/142.01 c | 174984 | 2325 264031 899518 | 2147483647 174984 159 | 0.000 % |
143.22/143.32 c | 175942 | 2325 264031 899518 | 2147483647 175942 159 | 0.000 % |
144.42/144.56 c | 176995 | 2325 264031 899518 | 2147483647 176995 159 | 0.004 % |
146.01/146.17 c | 178153 | 2325 264031 899518 | 2147483647 178153 158 | 0.005 % |
147.81/147.96 c | 179428 | 2325 264031 899518 | 2147483647 179428 158 | 0.005 % |
149.71/149.87 c | 180828 | 2325 264031 899518 | 2147483647 180828 158 | 0.004 % |
151.61/151.76 c | 182370 | 2325 264031 899518 | 2147483647 182370 158 | 0.000 % |
154.01/154.14 c | 184064 | 2325 264031 899518 | 2147483647 184064 158 | 0.000 % |
157.01/157.19 c | 185927 | 2325 264031 899518 | 2147483647 185927 159 | 0.000 % |
157.21/157.35 c | 186027 | 2325 264031 899518 | 2147483647 186027 159 | 0.000 % |
157.41/157.56 c | 186140 | 2325 264031 899518 | 2147483647 186140 159 | 0.000 % |
157.61/157.73 c | 186263 | 2325 264031 899518 | 2147483647 186263 159 | 0.000 % |
157.71/157.90 c | 186397 | 2325 264031 899518 | 2147483647 186397 159 | 0.000 % |
157.91/158.07 c | 186543 | 2325 264031 899518 | 2147483647 186543 159 | 0.000 % |
158.21/158.37 c | 186703 | 2325 264031 899518 | 2147483647 186703 159 | 0.000 % |
158.51/158.65 c | 186880 | 2325 264031 899518 | 2147483647 186880 159 | 0.005 % |
158.70/158.87 c | 187074 | 2325 264031 899518 | 2147483647 187074 159 | 0.004 % |
159.00/159.20 c | 187286 | 2325 264031 899518 | 2147483647 187286 159 | 0.000 % |
159.41/159.58 c | 187519 | 2325 264031 899518 | 2147483647 187519 159 | 0.000 % |
159.80/159.96 c | 187776 | 2325 264031 899518 | 2147483647 187776 159 | 0.000 % |
160.30/160.42 c | 188057 | 2325 264031 899518 | 2147483647 188057 159 | 0.000 % |
160.80/160.96 c | 188368 | 2325 264031 899518 | 2147483647 188368 159 | 0.000 % |
161.20/161.35 c | 188707 | 2325 264031 899518 | 2147483647 188707 159 | 0.000 % |
161.61/161.74 c | 189079 | 2325 264031 899518 | 2147483647 189079 159 | 0.000 % |
162.21/162.32 c | 189489 | 2325 264031 899518 | 2147483647 189489 159 | 0.000 % |
162.91/163.01 c | 189938 | 2325 264031 899518 | 2147483647 189938 159 | 0.006 % |
163.61/163.72 c | 190431 | 2325 264031 899518 | 2147483647 190431 159 | 0.000 % |
164.20/164.38 c | 190973 | 2325 264031 899518 | 2147483647 190973 159 | 0.005 % |
165.10/165.23 c | 191572 | 2325 264031 899518 | 2147483647 191572 159 | 0.004 % |
165.91/166.05 c | 192228 | 2325 264031 899518 | 2147483647 192228 159 | 0.000 % |
166.90/167.05 c | 192948 | 2325 264031 899518 | 2147483647 192948 159 | 0.000 % |
167.90/168.05 c | 193741 | 2325 264031 899518 | 2147483647 193741 159 | 0.000 % |
169.10/169.29 c | 194613 | 2325 264031 899518 | 2147483647 194613 159 | 0.000 % |
170.30/170.45 c | 195571 | 2325 264031 899518 | 2147483647 195571 159 | 0.005 % |
172.00/172.13 c | 196624 | 2325 264031 899518 | 2147483647 196624 160 | 0.000 % |
173.60/173.73 c | 197782 | 2325 264031 899518 | 2147483647 197782 160 | 0.000 % |
175.49/175.60 c | 199055 | 2325 264031 899518 | 2147483647 199055 160 | 0.005 % |
178.00/178.20 c | 200456 | 2325 264031 899518 | 2147483647 200456 160 | 0.000 % |
180.59/180.76 c | 201999 | 2325 264031 899518 | 2147483647 201999 161 | 0.000 % |
182.89/183.01 c | 203696 | 2325 264031 899518 | 2147483647 203696 161 | 0.000 % |
185.50/185.64 c | 205563 | 2325 264031 899518 | 2147483647 205563 161 | 0.004 % |
189.29/189.41 c | 207613 | 2325 264031 899518 | 2147483647 207613 162 | 0.000 % |
189.49/189.62 c | 207714 | 2325 264031 899518 | 2147483647 207714 162 | 0.000 % |
189.69/189.80 c | 207824 | 2325 264031 899518 | 2147483647 207824 162 | 0.000 % |
189.79/189.99 c | 207945 | 2325 264031 899518 | 2147483647 207945 162 | 0.000 % |
190.09/190.21 c | 208080 | 2325 264031 899518 | 2147483647 208080 162 | 0.004 % |
190.29/190.42 c | 208227 | 2325 264031 899518 | 2147483647 208227 162 | 0.000 % |
190.49/190.65 c | 208389 | 2325 264031 899518 | 2147483647 208389 162 | 0.004 % |
190.79/190.95 c | 208566 | 2325 264031 899518 | 2147483647 208566 162 | 0.005 % |
191.20/191.32 c | 208760 | 2325 264031 899518 | 2147483647 208760 163 | 0.000 % |
191.49/191.63 c | 208972 | 2325 264031 899518 | 2147483647 208972 162 | 0.000 % |
191.79/191.98 c | 209205 | 2325 264031 899518 | 2147483647 209205 162 | 0.004 % |
192.19/192.38 c | 209461 | 2325 264031 899518 | 2147483647 209461 162 | 0.000 % |
192.69/192.84 c | 209742 | 2325 264031 899518 | 2147483647 209742 162 | 0.005 % |
193.09/193.27 c | 210052 | 2325 264031 899518 | 2147483647 210052 162 | 0.000 % |
193.79/193.93 c | 210391 | 2325 264031 899518 | 2147483647 210391 162 | 0.000 % |
194.29/194.44 c | 210764 | 2325 264031 899518 | 2147483647 210764 162 | 0.004 % |
194.89/195.02 c | 211173 | 2325 264031 899518 | 2147483647 211173 162 | 0.005 % |
195.49/195.69 c | 211624 | 2325 264031 899518 | 2147483647 211624 162 | 0.006 % |
196.29/196.41 c | 212117 | 2325 264031 899518 | 2147483647 212117 162 | 0.004 % |
196.99/197.16 c | 212659 | 2325 264031 899518 | 2147483647 212659 162 | 0.004 % |
197.79/197.96 c | 213257 | 2325 264031 899518 | 2147483647 213257 162 | 0.004 % |
198.69/198.87 c | 213912 | 2325 264031 899518 | 2147483647 213912 162 | 0.004 % |
199.69/199.82 c | 214633 | 2325 264031 899518 | 2147483647 214633 162 | 0.004 % |
200.89/201.08 c | 215425 | 2325 264031 899518 | 2147483647 215425 161 | 0.004 % |
202.19/202.32 c | 216298 | 2325 264031 899518 | 2147483647 216298 161 | 0.000 % |
203.88/204.06 c | 217259 | 2325 264031 899518 | 2147483647 217259 161 | 0.000 % |
205.68/205.87 c | 218314 | 2325 264031 899518 | 2147483647 218314 161 | 0.004 % |
207.19/207.32 c | 219472 | 2325 264031 899518 | 2147483647 219472 161 | 0.004 % |
209.19/209.33 c | 220746 | 2325 264031 899518 | 2147483647 220746 161 | 0.000 % |
211.18/211.39 c | 222147 | 2325 264031 899518 | 2147483647 222147 160 | 0.000 % |
213.38/213.53 c | 223687 | 2325 264031 899518 | 2147483647 223687 160 | 0.005 % |
215.78/215.96 c | 225384 | 2325 264031 899518 | 2147483647 225384 160 | 0.000 % |
218.79/218.93 c | 227248 | 2325 264031 899518 | 2147483647 227248 159 | 0.005 % |
221.88/222.06 c | 229297 | 2325 264031 899518 | 2147483647 229297 159 | 0.005 % |
225.29/225.47 c | 231551 | 2325 264031 899518 | 2147483647 231551 159 | 0.005 % |
225.58/225.74 c | 231652 | 2325 264031 899518 | 2147483647 231652 159 | 0.000 % |
225.78/225.94 c | 231762 | 2325 264031 899518 | 2147483647 231762 159 | 0.000 % |
226.08/226.20 c | 231883 | 2325 264031 899518 | 2147483647 231883 159 | 0.000 % |
226.28/226.48 c | 232016 | 2325 264031 899518 | 2147483647 232016 159 | 0.004 % |
226.68/226.81 c | 232163 | 2325 264031 899518 | 2147483647 232163 159 | 0.000 % |
226.88/227.09 c | 232324 | 2325 264031 899518 | 2147483647 232324 159 | 0.000 % |
227.18/227.34 c | 232503 | 2325 264031 899518 | 2147483647 232503 159 | 0.000 % |
227.68/227.86 c | 232698 | 2325 264031 899518 | 2147483647 232698 159 | 0.000 % |
228.08/228.25 c | 232911 | 2325 264031 899518 | 2147483647 232911 159 | 0.000 % |
228.48/228.69 c | 233145 | 2325 264031 899518 | 2147483647 233145 159 | 0.000 % |
228.98/229.14 c | 233402 | 2325 264031 899518 | 2147483647 233402 159 | 0.000 % |
229.38/229.50 c | 233684 | 2325 264031 899518 | 2147483647 233684 159 | 0.004 % |
229.88/230.01 c | 233994 | 2325 264031 899518 | 2147483647 233994 159 | 0.000 % |
230.28/230.49 c | 234333 | 2325 264031 899518 | 2147483647 234333 159 | 0.000 % |
230.88/231.03 c | 234706 | 2325 264031 899518 | 2147483647 234706 159 | 0.000 % |
231.48/231.66 c | 235115 | 2325 264031 899518 | 2147483647 235115 159 | 0.000 % |
232.17/232.34 c | 235567 | 2325 264031 899518 | 2147483647 235567 159 | 0.000 % |
233.08/233.22 c | 236060 | 2325 264031 899518 | 2147483647 236060 159 | 0.000 % |
234.08/234.24 c | 236603 | 2325 264031 899518 | 2147483647 236603 159 | 0.000 % |
235.28/235.43 c | 237199 | 2325 264031 899518 | 2147483647 237199 159 | 0.000 % |
236.18/236.36 c | 237857 | 2325 264031 899518 | 2147483647 237857 159 | 0.000 % |
237.38/237.56 c | 238577 | 2325 264031 899518 | 2147483647 238577 159 | 0.000 % |
238.97/239.14 c | 239370 | 2325 264031 899518 | 2147483647 239370 160 | 0.000 % |
240.57/240.74 c | 240241 | 2325 264031 899518 | 2147483647 240241 160 | 0.000 % |
242.17/242.37 c | 241201 | 2325 264031 899518 | 2147483647 241201 160 | 0.000 % |
243.87/244.06 c | 242256 | 2325 264031 899518 | 2147483647 242256 160 | 0.000 % |
246.27/246.44 c | 243414 | 2325 264031 899518 | 2147483647 243414 160 | 0.005 % |
248.57/248.74 c | 244688 | 2325 264031 899518 | 2147483647 244688 160 | 0.000 % |
251.06/251.23 c | 246088 | 2325 264031 899518 | 2147483647 246088 160 | 0.004 % |
253.97/254.18 c | 247629 | 2325 264031 899518 | 2147483647 247629 161 | 0.000 % |
257.66/257.85 c | 249324 | 2325 264031 899518 | 2147483647 249324 161 | 0.000 % |
261.27/261.43 c | 251189 | 2325 264031 899518 | 2147483647 251189 161 | 0.000 % |
265.16/265.33 c | 253240 | 2325 264031 899518 | 2147483647 253240 161 | 0.000 % |
268.86/269.00 c | 255493 | 2325 264031 899518 | 2147483647 255493 161 | 0.004 % |
273.16/273.34 c | 257972 | 2325 264031 899518 | 2147483647 257972 161 | 0.000 % |
273.36/273.51 c | 258072 | 2325 264031 899518 | 2147483647 258072 161 | 0.004 % |
273.67/273.82 c | 258182 | 2325 264031 899518 | 2147483647 258182 161 | 0.000 % |
273.87/274.09 c | 258304 | 2325 264031 899518 | 2147483647 258304 161 | 0.004 % |
274.16/274.35 c | 258437 | 2325 264031 899518 | 2147483647 258437 161 | 0.000 % |
274.36/274.58 c | 258585 | 2325 264031 899518 | 2147483647 258585 161 | 0.004 % |
274.77/274.98 c | 258745 | 2325 264031 899518 | 2147483647 258745 161 | 0.000 % |
275.16/275.30 c | 258923 | 2325 264031 899518 | 2147483647 258923 161 | 0.004 % |
275.56/275.73 c | 259118 | 2325 264031 899518 | 2147483647 259118 161 | 0.005 % |
275.96/276.12 c | 259330 | 2325 264031 899518 | 2147483647 259330 161 | 0.000 % |
276.36/276.56 c | 259563 | 2325 264031 899518 | 2147483647 259563 161 | 0.004 % |
276.96/277.12 c | 259821 | 2325 264031 899518 | 2147483647 259821 161 | 0.000 % |
277.46/277.67 c | 260102 | 2325 264031 899518 | 260000 260102 161 | 0.000 % |
278.46/278.66 c | 260412 | 2325 264031 899518 | 260000 231256 160 | 0.000 % |
279.16/279.32 c | 260751 | 2325 264031 899518 | 260000 231595 161 | 0.005 % |
279.86/280.03 c | 261124 | 2325 264031 899518 | 260000 231968 161 | 0.000 % |
280.55/280.70 c | 261533 | 2325 264031 899518 | 260000 232377 161 | 0.005 % |
281.46/281.63 c | 261982 | 2325 264031 899518 | 260000 232826 161 | 0.000 % |
282.15/282.36 c | 262477 | 2325 264031 899518 | 260000 233321 161 | 0.000 % |
283.15/283.35 c | 263019 | 2325 264031 899518 | 260000 233863 161 | 0.000 % |
284.66/284.88 c | 263615 | 2325 264031 899518 | 260000 234459 161 | 0.000 % |
285.65/285.89 c | 264273 | 2325 264031 899518 | 260000 235117 161 | 0.005 % |
286.96/287.19 c | 264993 | 2325 264031 899518 | 260000 235837 161 | 0.000 % |
288.25/288.42 c | 265788 | 2325 264031 899518 | 260000 236632 161 | 0.000 % |
289.95/290.10 c | 266659 | 2325 264031 899518 | 260000 237503 161 | 0.005 % |
291.55/291.76 c | 267617 | 2325 264031 899518 | 260000 238461 161 | 0.004 % |
293.15/293.37 c | 268670 | 2325 264031 899518 | 260000 239514 160 | 0.005 % |
295.05/295.26 c | 269828 | 2325 264031 899518 | 260000 240672 160 | 0.005 % |
297.25/297.44 c | 271101 | 2325 264031 899518 | 2147483647 241945 160 | 0.005 % |
299.65/299.82 c | 272501 | 2325 264031 899518 | 2147483647 243345 159 | 0.004 % |
303.45/303.69 c | 274041 | 2325 264031 899518 | 2147483647 244885 160 | 0.000 % |
307.34/307.51 c | 275737 | 2325 264031 899518 | 2147483647 246581 161 | 0.000 % |
311.15/311.39 c | 277601 | 2325 264031 899518 | 2147483647 248445 161 | 0.000 % |
315.14/315.33 c | 279651 | 2325 264031 899518 | 2147483647 250495 161 | 0.005 % |
319.04/319.26 c | 281904 | 2325 264031 899518 | 250846 223179 158 | 0.000 % |
323.14/323.35 c | 284382 | 2325 264031 899518 | 250846 225657 158 | 0.000 % |
328.44/328.61 c | 287111 | 2325 264031 899518 | 250846 228386 157 | 0.000 % |
328.64/328.86 c | 287212 | 2325 264031 899518 | 250846 228487 157 | 0.004 % |
328.84/329.07 c | 287322 | 2325 264031 899518 | 250846 228597 157 | 0.004 % |
329.04/329.29 c | 287443 | 2325 264031 899518 | 250846 228718 157 | 0.004 % |
329.34/329.50 c | 287576 | 2325 264031 899518 | 250846 228851 157 | 0.000 % |
329.63/329.86 c | 287725 | 2325 264031 899518 | 250846 229000 157 | 0.000 % |
329.93/330.15 c | 287886 | 2325 264031 899518 | 250846 229161 157 | 0.000 % |
330.33/330.58 c | 288066 | 2325 264031 899518 | 250846 229341 157 | 0.000 % |
330.84/331.10 c | 288260 | 2325 264031 899518 | 250846 229535 158 | 0.000 % |
331.23/331.44 c | 288472 | 2325 264031 899518 | 250846 229747 158 | 0.000 % |
331.73/331.91 c | 288705 | 2325 264031 899518 | 250846 229980 158 | 0.000 % |
332.13/332.39 c | 288962 | 2325 264031 899518 | 250846 230237 157 | 0.000 % |
332.63/332.86 c | 289243 | 2325 264031 899518 | 250846 230518 157 | 0.000 % |
333.23/333.49 c | 289553 | 2325 264031 899518 | 250846 230828 157 | 0.004 % |
333.93/334.10 c | 289893 | 2325 264031 899518 | 250846 231168 158 | 0.000 % |
334.43/334.64 c | 290265 | 2325 264031 899518 | 231275 231540 158 | 0.005 % |
335.43/335.63 c | 290674 | 2325 264031 899518 | 231275 208795 157 | 0.004 % |
336.13/336.37 c | 291123 | 2325 264031 899518 | 231275 209244 156 | 0.000 % |
336.93/337.10 c | 291616 | 2325 264031 899518 | 231275 209737 156 | 0.005 % |
337.63/337.88 c | 292158 | 2325 264031 899518 | 231275 210279 156 | 0.005 % |
338.54/338.80 c | 292754 | 2325 264031 899518 | 231275 210875 156 | 0.000 % |
339.63/339.86 c | 293409 | 2325 264031 899518 | 231275 211530 156 | 0.005 % |
340.63/340.88 c | 294130 | 2325 264031 899518 | 231275 212251 156 | 0.005 % |
341.93/342.13 c | 294923 | 2325 264031 899518 | 231275 213044 156 | 0.005 % |
343.43/343.60 c | 295796 | 2325 264031 899518 | 231275 213917 156 | 0.004 % |
344.83/345.04 c | 296755 | 2325 264031 899518 | 231275 214876 156 | 0.005 % |
346.63/346.83 c | 297808 | 2325 264031 899518 | 231275 215929 156 | 0.005 % |
348.43/348.66 c | 298966 | 2325 264031 899518 | 231275 217087 155 | 0.004 % |
350.63/350.89 c | 300239 | 2325 264031 899518 | 2147483647 218360 155 | 0.004 % |
353.33/353.52 c | 301640 | 2325 264031 899518 | 2147483647 219761 155 | 0.005 % |
355.93/356.15 c | 303181 | 2325 264031 899518 | 2147483647 221302 155 | 0.000 % |
358.43/358.63 c | 304878 | 2325 264031 899518 | 2147483647 222999 154 | 0.000 % |
361.32/361.54 c | 306741 | 2325 264031 899518 | 2147483647 224862 154 | 0.005 % |
364.72/364.91 c | 308790 | 2325 264031 899518 | 2147483647 226911 154 | 0.005 % |
368.62/368.86 c | 311048 | 2325 264031 899518 | 228121 229169 154 | 0.004 % |
372.92/373.18 c | 313526 | 2325 264031 899518 | 228121 207352 151 | 0.000 % |
377.52/377.73 c | 316251 | 2325 264031 899518 | 228121 210077 152 | 0.000 % |
382.32/382.59 c | 319249 | 2325 264031 899518 | 228121 213075 152 | 0.000 % |
382.52/382.75 c | 319349 | 2325 264031 899518 | 228121 213175 152 | 0.000 % |
382.72/382.94 c | 319459 | 2325 264031 899518 | 228121 213285 152 | 0.005 % |
383.02/383.22 c | 319581 | 2325 264031 899518 | 228121 213407 153 | 0.000 % |
383.22/383.49 c | 319714 | 2325 264031 899518 | 228121 213540 153 | 0.000 % |
383.52/383.75 c | 319861 | 2325 264031 899518 | 228121 213687 153 | 0.000 % |
383.82/384.01 c | 320021 | 2325 264031 899518 | 2147483647 213847 153 | 0.005 % |
384.11/384.31 c | 320197 | 2325 264031 899518 | 2147483647 214023 153 | 0.000 % |
384.42/384.64 c | 320394 | 2325 264031 899518 | 2147483647 214220 153 | 0.005 % |
384.72/384.94 c | 320608 | 2325 264031 899518 | 2147483647 214434 153 | 0.004 % |
385.02/385.28 c | 320843 | 2325 264031 899518 | 2147483647 214669 153 | 0.005 % |
385.51/385.74 c | 321099 | 2325 264031 899518 | 2147483647 214925 153 | 0.005 % |
386.01/386.23 c | 321381 | 2325 264031 899518 | 2147483647 215207 153 | 0.000 % |
386.51/386.79 c | 321690 | 2325 264031 899518 | 2147483647 215516 153 | 0.004 % |
387.11/387.36 c | 322029 | 2325 264031 899518 | 2147483647 215855 153 | 0.004 % |
387.71/387.99 c | 322403 | 2325 264031 899518 | 2147483647 216229 153 | 0.000 % |
388.41/388.64 c | 322813 | 2325 264031 899518 | 2147483647 216639 153 | 0.000 % |
389.12/389.40 c | 323267 | 2325 264031 899518 | 2147483647 217093 153 | 0.004 % |
390.01/390.29 c | 323760 | 2325 264031 899518 | 2147483647 217586 153 | 0.005 % |
390.91/391.17 c | 324303 | 2325 264031 899518 | 2147483647 218129 153 | 0.005 % |
391.91/392.14 c | 324899 | 2325 264031 899518 | 2147483647 218725 152 | 0.005 % |
393.01/393.25 c | 325556 | 2325 264031 899518 | 2147483647 219382 152 | 0.004 % |
394.21/394.49 c | 326277 | 2325 264031 899518 | 2147483647 220103 152 | 0.000 % |
395.51/395.71 c | 327069 | 2325 264031 899518 | 2147483647 220895 153 | 0.000 % |
397.51/397.70 c | 327940 | 2325 264031 899518 | 2147483647 221766 153 | 0.000 % |
399.01/399.25 c | 328898 | 2325 264031 899518 | 2147483647 222724 153 | 0.000 % |
400.91/401.12 c | 329951 | 2325 264031 899518 | 2147483647 223777 153 | 0.004 % |
402.41/402.68 c | 331111 | 2325 264031 899518 | 2147483647 224937 153 | 0.000 % |
404.51/404.73 c | 332384 | 2325 264031 899518 | 2147483647 226210 153 | 0.004 % |
406.71/406.94 c | 333784 | 2325 264031 899518 | 2147483647 227610 153 | 0.004 % |
409.40/409.65 c | 335325 | 2325 264031 899518 | 2147483647 229151 153 | 0.000 % |
412.21/412.42 c | 337019 | 2325 264031 899518 | 2147483647 230845 153 | 0.000 % |
415.80/416.01 c | 338882 | 2325 264031 899518 | 2147483647 232708 154 | 0.000 % |
418.80/419.03 c | 340932 | 2325 264031 899518 | 2147483647 234758 154 | 0.000 % |
423.00/423.26 c | 343188 | 2325 264031 899518 | 2147483647 237014 155 | 0.000 % |
427.90/428.12 c | 345668 | 2325 264031 899518 | 2147483647 239494 155 | 0.000 % |
432.79/433.05 c | 348395 | 2325 264031 899518 | 2147483647 242221 155 | 0.000 % |
438.49/438.74 c | 351392 | 2325 264031 899518 | 243826 245218 155 | 0.000 % |
444.99/445.21 c | 354688 | 2325 264031 899518 | 243826 219200 154 | 0.004 % |
445.09/445.36 c | 354788 | 2325 264031 899518 | 243826 219300 154 | 0.005 % |
445.29/445.55 c | 354899 | 2325 264031 899518 | 243826 219411 154 | 0.000 % |
445.59/445.84 c | 355021 | 2325 264031 899518 | 243826 219533 154 | 0.000 % |
445.89/446.15 c | 355157 | 2325 264031 899518 | 243826 219669 154 | 0.000 % |
446.29/446.51 c | 355304 | 2325 264031 899518 | 243826 219816 154 | 0.000 % |
446.49/446.77 c | 355465 | 2325 264031 899518 | 243826 219977 154 | 0.004 % |
446.89/447.14 c | 355643 | 2325 264031 899518 | 243826 220155 154 | 0.004 % |
447.19/447.49 c | 355840 | 2325 264031 899518 | 243826 220352 154 | 0.004 % |
447.69/447.92 c | 356054 | 2325 264031 899518 | 243826 220566 154 | 0.005 % |
448.19/448.42 c | 356288 | 2325 264031 899518 | 243826 220800 154 | 0.000 % |
448.59/448.88 c | 356545 | 2325 264031 899518 | 243826 221057 154 | 0.000 % |
448.99/449.29 c | 356826 | 2325 264031 899518 | 243826 221338 154 | 0.000 % |
449.59/449.87 c | 357135 | 2325 264031 899518 | 243826 221647 154 | 0.000 % |
450.09/450.39 c | 357474 | 2325 264031 899518 | 243826 221986 154 | 0.000 % |
450.79/451.06 c | 357846 | 2325 264031 899518 | 243826 222358 154 | 0.000 % |
451.49/451.75 c | 358257 | 2325 264031 899518 | 243826 222769 154 | 0.000 % |
452.29/452.54 c | 358708 | 2325 264031 899518 | 243826 223220 154 | 0.000 % |
453.19/453.45 c | 359202 | 2325 264031 899518 | 243826 223714 154 | 0.000 % |
454.20/454.46 c | 359744 | 2325 264031 899518 | 243826 224256 154 | 0.004 % |
455.10/455.36 c | 360340 | 2325 264031 899518 | 2147483647 224852 154 | 0.000 % |
456.20/456.45 c | 360995 | 2325 264031 899518 | 2147483647 225507 154 | 0.004 % |
457.19/457.49 c | 361718 | 2325 264031 899518 | 2147483647 226230 154 | 0.005 % |
458.50/458.77 c | 362511 | 2325 264031 899518 | 2147483647 227023 154 | 0.004 % |
460.60/460.85 c | 363384 | 2325 264031 899518 | 2147483647 227896 154 | 0.000 % |
462.29/462.53 c | 364343 | 2325 264031 899518 | 2147483647 228855 154 | 0.004 % |
464.00/464.29 c | 365398 | 2325 264031 899518 | 2147483647 229910 154 | 0.000 % |
465.99/466.29 c | 366558 | 2325 264031 899518 | 2147483647 231070 154 | 0.004 % |
468.79/469.07 c | 367832 | 2325 264031 899518 | 2147483647 232344 155 | 0.000 % |
471.79/472.03 c | 369234 | 2325 264031 899518 | 2147483647 233746 155 | 0.000 % |
474.39/474.66 c | 370776 | 2325 264031 899518 | 2147483647 235288 155 | 0.005 % |
477.39/477.66 c | 372472 | 2325 264031 899518 | 2147483647 236984 154 | 0.005 % |
480.69/480.95 c | 374335 | 2325 264031 899518 | 2147483647 238847 154 | 0.005 % |
484.49/484.72 c | 376385 | 2325 264031 899518 | 2147483647 240897 154 | 0.004 % |
487.89/488.19 c | 378638 | 2325 264031 899518 | 2147483647 243150 154 | 0.000 % |
492.49/492.72 c | 381117 | 2325 264031 899518 | 2147483647 245629 153 | 0.005 % |
496.68/496.91 c | 383843 | 2325 264031 899518 | 2147483647 248355 153 | 0.005 % |
501.29/501.53 c | 386840 | 2325 264031 899518 | 2147483647 251352 153 | 0.004 % |
506.68/506.90 c | 390137 | 2325 264031 899518 | 2147483647 254649 153 | 0.005 % |
512.78/513.04 c | 393764 | 2325 264031 899518 | 2147483647 258276 152 | 0.005 % |
512.98/513.24 c | 393865 | 2325 264031 899518 | 2147483647 258377 152 | 0.005 % |
513.18/513.48 c | 393975 | 2325 264031 899518 | 2147483647 258487 152 | 0.004 % |
513.48/513.75 c | 394102 | 2325 264031 899518 | 2147483647 258614 152 | 0.004 % |
513.68/513.96 c | 394236 | 2325 264031 899518 | 2147483647 258748 152 | 0.000 % |
513.98/514.26 c | 394382 | 2325 264031 899518 | 2147483647 258894 152 | 0.006 % |
514.28/514.56 c | 394544 | 2325 264031 899518 | 2147483647 259056 152 | 0.000 % |
514.68/514.95 c | 394721 | 2325 264031 899518 | 2147483647 259233 152 | 0.000 % |
514.98/515.29 c | 394914 | 2325 264031 899518 | 2147483647 259426 152 | 0.000 % |
515.48/515.79 c | 395128 | 2325 264031 899518 | 2147483647 259640 152 | 0.004 % |
516.07/516.31 c | 395362 | 2325 264031 899518 | 2147483647 259874 152 | 0.000 % |
516.57/516.82 c | 395618 | 2325 264031 899518 | 2147483647 260130 152 | 0.000 % |
517.07/517.30 c | 395899 | 2325 264031 899518 | 2147483647 260411 152 | 0.000 % |
517.57/517.90 c | 396209 | 2325 264031 899518 | 2147483647 260721 152 | 0.005 % |
518.17/518.43 c | 396548 | 2325 264031 899518 | 2147483647 261060 152 | 0.000 % |
518.88/519.17 c | 396920 | 2325 264031 899518 | 2147483647 261432 152 | 0.000 % |
519.67/519.96 c | 397330 | 2325 264031 899518 | 2147483647 261842 152 | 0.004 % |
520.57/520.80 c | 397781 | 2325 264031 899518 | 2147483647 262293 152 | 0.004 % |
521.67/521.97 c | 398279 | 2325 264031 899518 | 2147483647 262791 152 | 0.000 % |
522.97/523.21 c | 398821 | 2325 264031 899518 | 2147483647 263333 152 | 0.000 % |
523.97/524.27 c | 399418 | 2325 264031 899518 | 2147483647 263930 152 | 0.000 % |
525.07/525.30 c | 400073 | 2325 264031 899518 | 264513 264585 152 | 0.000 % |
527.27/527.54 c | 400793 | 2325 264031 899518 | 264513 230646 152 | 0.000 % |
528.97/529.24 c | 401586 | 2325 264031 899518 | 264513 231439 153 | 0.000 % |
530.57/530.83 c | 402457 | 2325 264031 899518 | 264513 232310 153 | 0.000 % |
532.07/532.40 c | 403416 | 2325 264031 899518 | 264513 233269 153 | 0.000 % |
533.97/534.26 c | 404469 | 2325 264031 899518 | 264513 234322 153 | 0.000 % |
536.17/536.45 c | 405628 | 2325 264031 899518 | 264513 235481 153 | 0.003 % |
538.47/538.70 c | 406903 | 2325 264031 899518 | 264513 236756 153 | 0.000 % |
540.57/540.84 c | 408304 | 2325 264031 899518 | 264513 238157 153 | 0.000 % |
542.86/543.13 c | 409844 | 2325 264031 899518 | 264513 239697 153 | 0.005 % |
545.76/546.00 c | 411538 | 2325 264031 899518 | 239853 241391 153 | 0.005 % |
549.86/550.16 c | 413401 | 2325 264031 899518 | 239853 219115 152 | 0.000 % |
553.66/553.91 c | 415451 | 2325 264031 899518 | 239853 221165 152 | 0.000 % |
558.16/558.46 c | 417704 | 2325 264031 899518 | 239853 223418 152 | 0.000 % |
562.46/562.77 c | 420184 | 2325 264031 899518 | 2147483647 225898 152 | 0.000 % |
567.26/567.59 c | 422909 | 2325 264031 899518 | 2147483647 228623 152 | 0.000 % |
572.76/573.08 c | 425907 | 2325 264031 899518 | 2147483647 231621 152 | 0.000 % |
578.35/578.69 c | 429203 | 2325 264031 899518 | 2147483647 234917 152 | 0.004 % |
584.15/584.47 c | 432829 | 2325 264031 899518 | 2147483647 238543 151 | 0.006 % |
591.25/591.52 c | 436817 | 2325 264031 899518 | 2147483647 242531 150 | 0.000 % |
591.45/591.72 c | 436918 | 2325 264031 899518 | 2147483647 242632 150 | 0.000 % |
591.65/591.94 c | 437028 | 2325 264031 899518 | 2147483647 242742 150 | 0.000 % |
591.95/592.29 c | 437150 | 2325 264031 899518 | 2147483647 242864 150 | 0.000 % |
592.25/592.56 c | 437286 | 2325 264031 899518 | 2147483647 243000 150 | 0.000 % |
592.55/592.82 c | 437433 | 2325 264031 899518 | 2147483647 243147 150 | 0.005 % |
592.85/593.16 c | 437593 | 2325 264031 899518 | 2147483647 243307 150 | 0.004 % |
593.25/593.52 c | 437769 | 2325 264031 899518 | 2147483647 243483 151 | 0.000 % |
593.65/593.92 c | 437963 | 2325 264031 899518 | 2147483647 243677 151 | 0.000 % |
593.95/594.23 c | 438175 | 2325 264031 899518 | 2147483647 243889 151 | 0.005 % |
594.35/594.67 c | 438409 | 2325 264031 899518 | 2147483647 244123 151 | 0.000 % |
594.94/595.22 c | 438668 | 2325 264031 899518 | 2147483647 244382 151 | 0.000 % |
595.54/595.81 c | 438949 | 2325 264031 899518 | 2147483647 244663 151 | 0.005 % |
596.04/596.31 c | 439258 | 2325 264031 899518 | 2147483647 244972 151 | 0.004 % |
596.64/596.96 c | 439597 | 2325 264031 899518 | 2147483647 245311 151 | 0.004 % |
597.54/597.84 c | 439969 | 2325 264031 899518 | 2147483647 245683 151 | 0.000 % |
598.25/598.54 c | 440378 | 2325 264031 899518 | 245715 246092 151 | 0.000 % |
599.44/599.72 c | 440827 | 2325 264031 899518 | 245715 214608 146 | 0.000 % |
600.25/600.51 c | 441323 | 2325 264031 899518 | 245715 215104 146 | 0.000 % |
601.04/601.39 c | 441866 | 2325 264031 899518 | 245715 215647 146 | 0.000 % |
602.04/602.35 c | 442463 | 2325 264031 899518 | 245715 216244 146 | 0.004 % |
603.34/603.61 c | 443118 | 2325 264031 899518 | 245715 216899 146 | 0.004 % |
604.54/604.86 c | 443838 | 2325 264031 899518 | 245715 217619 145 | 0.000 % |
605.84/606.19 c | 444630 | 2325 264031 899518 | 245715 218411 145 | 0.004 % |
607.24/607.58 c | 445501 | 2325 264031 899518 | 245715 219282 145 | 0.004 % |
609.44/609.70 c | 446463 | 2325 264031 899518 | 245715 220244 146 | 0.000 % |
610.84/611.10 c | 447518 | 2325 264031 899518 | 245715 221299 146 | 0.000 % |
613.44/613.73 c | 448677 | 2325 264031 899518 | 245715 222458 146 | 0.000 % |
616.13/616.49 c | 449952 | 2325 264031 899518 | 245715 223733 146 | 0.000 % |
618.33/618.68 c | 451353 | 2325 264031 899518 | 2147483647 225134 147 | 0.000 % |
620.53/620.85 c | 452893 | 2325 264031 899518 | 2147483647 226674 147 | 0.005 % |
623.44/623.73 c | 454588 | 2325 264031 899518 | 2147483647 228369 146 | 0.004 % |
627.23/627.51 c | 456451 | 2325 264031 899518 | 2147483647 230232 147 | 0.000 % |
630.93/631.23 c | 458500 | 2325 264031 899518 | 2147483647 232281 148 | 0.000 % |
636.13/636.46 c | 460756 | 2325 264031 899518 | 2147483647 234537 149 | 0.000 % |
641.23/641.56 c | 463236 | 2325 264031 899518 | 2147483647 237017 149 | 0.000 % |
646.13/646.41 c | 465964 | 2325 264031 899518 | 2147483647 239745 149 | 0.004 % |
650.72/651.04 c | 468961 | 2325 264031 899518 | 2147483647 242742 148 | 0.004 % |
657.22/657.57 c | 472258 | 2325 264031 899518 | 2147483647 246039 148 | 0.005 % |
664.42/664.75 c | 475884 | 2325 264031 899518 | 2147483647 249665 148 | 0.000 % |
672.52/672.88 c | 479872 | 2325 264031 899518 | 2147483647 253653 147 | 0.005 % |
681.41/681.79 c | 484258 | 2325 264031 899518 | 253783 223253 143 | 0.006 % |
681.62/681.97 c | 484359 | 2325 264031 899518 | 253783 223354 143 | 0.006 % |
681.81/682.18 c | 484471 | 2325 264031 899518 | 253783 223466 143 | 0.004 % |
682.11/682.40 c | 484592 | 2325 264031 899518 | 253783 223587 143 | 0.000 % |
682.41/682.72 c | 484727 | 2325 264031 899518 | 253783 223722 143 | 0.000 % |
682.72/683.06 c | 484873 | 2325 264031 899518 | 253783 223868 143 | 0.004 % |
683.11/683.40 c | 485035 | 2325 264031 899518 | 253783 224030 143 | 0.004 % |
683.41/683.71 c | 485211 | 2325 264031 899518 | 253783 224206 143 | 0.000 % |
683.71/684.04 c | 485404 | 2325 264031 899518 | 253783 224399 143 | 0.000 % |
684.11/684.49 c | 485616 | 2325 264031 899518 | 253783 224611 143 | 0.005 % |
684.51/684.89 c | 485852 | 2325 264031 899518 | 253783 224847 143 | 0.000 % |
685.02/685.34 c | 486108 | 2325 264031 899518 | 253783 225103 143 | 0.005 % |
685.51/685.81 c | 486393 | 2325 264031 899518 | 253783 225388 143 | 0.000 % |
686.02/686.32 c | 486702 | 2325 264031 899518 | 253783 225697 143 | 0.000 % |
686.71/687.03 c | 487041 | 2325 264031 899518 | 253783 226036 143 | 0.005 % |
687.51/687.81 c | 487414 | 2325 264031 899518 | 253783 226409 143 | 0.000 % |
688.21/688.51 c | 487823 | 2325 264031 899518 | 253783 226818 143 | 0.004 % |
688.91/689.20 c | 488272 | 2325 264031 899518 | 253783 227267 143 | 0.000 % |
689.71/690.02 c | 488766 | 2325 264031 899518 | 253783 227761 143 | 0.000 % |
690.51/690.88 c | 489309 | 2325 264031 899518 | 253783 228304 143 | 0.004 % |
691.61/691.99 c | 489906 | 2325 264031 899518 | 253783 228901 143 | 0.000 % |
692.81/693.12 c | 490561 | 2325 264031 899518 | 228996 229556 143 | 0.004 % |
694.51/694.89 c | 491281 | 2325 264031 899518 | 228996 204634 140 | 0.000 % |
695.61/695.96 c | 492074 | 2325 264031 899518 | 228996 205427 140 | 0.000 % |
697.21/697.53 c | 492945 | 2325 264031 899518 | 228996 206298 141 | 0.000 % |
698.71/699.10 c | 493903 | 2325 264031 899518 | 228996 207256 141 | 0.000 % |
700.31/700.66 c | 494959 | 2325 264031 899518 | 228996 208312 141 | 0.000 % |
702.20/702.50 c | 496118 | 2325 264031 899518 | 228996 209471 141 | 0.005 % |
704.30/704.68 c | 497391 | 2325 264031 899518 | 228996 210744 141 | 0.000 % |
706.50/706.83 c | 498791 | 2325 264031 899518 | 228996 212144 141 | 0.000 % |
709.21/709.53 c | 500331 | 2325 264031 899518 | 2147483647 213684 141 | 0.006 % |
712.10/712.46 c | 502026 | 2325 264031 899518 | 2147483647 215379 141 | 0.000 % |
716.50/716.84 c | 503892 | 2325 264031 899518 | 2147483647 217245 142 | 0.000 % |
720.00/720.34 c | 505944 | 2325 264031 899518 | 2147483647 219297 142 | 0.000 % |
723.60/723.91 c | 508197 | 2325 264031 899518 | 2147483647 221550 143 | 0.005 % |
727.70/728.07 c | 510675 | 2325 264031 899518 | 2147483647 224028 143 | 0.000 % |
732.20/732.56 c | 513400 | 2325 264031 899518 | 2147483647 226753 143 | 0.005 % |
738.19/738.55 c | 516398 | 2325 264031 899518 | 2147483647 229751 143 | 0.005 % |
744.19/744.51 c | 519696 | 2325 264031 899518 | 2147483647 233049 143 | 0.000 % |
752.09/752.42 c | 523322 | 2325 264031 899518 | 233353 209569 141 | 0.006 % |
759.99/760.39 c | 527309 | 2325 264031 899518 | 233353 213556 141 | 0.004 % |
769.48/769.83 c | 531694 | 2325 264031 899518 | 216248 217941 140 | 0.004 % |
779.18/779.50 c | 536518 | 2325 264031 899518 | 216248 194916 137 | 0.004 % |
779.38/779.76 c | 536619 | 2325 264031 899518 | 216248 195017 137 | 0.000 % |
779.68/780.01 c | 536730 | 2325 264031 899518 | 216248 195128 137 | 0.000 % |
779.88/780.20 c | 536851 | 2325 264031 899518 | 216248 195249 137 | 0.005 % |
780.08/780.41 c | 536984 | 2325 264031 899518 | 216248 195382 137 | 0.005 % |
780.28/780.69 c | 537132 | 2325 264031 899518 | 216248 195530 137 | 0.004 % |
780.68/781.04 c | 537294 | 2325 264031 899518 | 216248 195692 137 | 0.000 % |
780.98/781.34 c | 537471 | 2325 264031 899518 | 216248 195869 137 | 0.004 % |
781.28/781.66 c | 537664 | 2325 264031 899518 | 216248 196062 137 | 0.000 % |
781.58/782.00 c | 537878 | 2325 264031 899518 | 216248 196276 137 | 0.000 % |
782.08/782.40 c | 538112 | 2325 264031 899518 | 216248 196510 137 | 0.000 % |
782.58/782.92 c | 538368 | 2325 264031 899518 | 216248 196766 137 | 0.000 % |
782.98/783.34 c | 538649 | 2325 264031 899518 | 216248 197047 137 | 0.000 % |
783.48/783.81 c | 538958 | 2325 264031 899518 | 216248 197356 137 | 0.004 % |
783.98/784.35 c | 539298 | 2325 264031 899518 | 216248 197696 137 | 0.000 % |
784.48/784.89 c | 539671 | 2325 264031 899518 | 216248 198069 137 | 0.005 % |
785.28/785.62 c | 540080 | 2325 264031 899518 | 198398 198478 137 | 0.000 % |
786.38/786.71 c | 540530 | 2325 264031 899518 | 198398 175275 134 | 0.000 % |
787.28/787.63 c | 541024 | 2325 264031 899518 | 198398 175769 134 | 0.000 % |
788.28/788.62 c | 541566 | 2325 264031 899518 | 198398 176311 135 | 0.000 % |
789.28/789.67 c | 542162 | 2325 264031 899518 | 198398 176907 135 | 0.000 % |
790.27/790.62 c | 542818 | 2325 264031 899518 | 198398 177563 135 | 0.000 % |
791.37/791.70 c | 543538 | 2325 264031 899518 | 198398 178283 136 | 0.000 % |
792.87/793.21 c | 544330 | 2325 264031 899518 | 198398 179075 136 | 0.000 % |
794.17/794.57 c | 545201 | 2325 264031 899518 | 198398 179946 136 | 0.000 % |
795.57/795.92 c | 546160 | 2325 264031 899518 | 198398 180905 136 | 0.000 % |
797.18/797.57 c | 547214 | 2325 264031 899518 | 198398 181959 136 | 0.000 % |
799.17/799.52 c | 548372 | 2325 264031 899518 | 198398 183117 136 | 0.005 % |
801.07/801.43 c | 549647 | 2325 264031 899518 | 198398 184392 137 | 0.000 % |
803.17/803.56 c | 551048 | 2325 264031 899518 | 2147483647 185793 136 | 0.004 % |
806.67/807.02 c | 552590 | 2325 264031 899518 | 2147483647 187335 137 | 0.000 % |
809.57/809.94 c | 554286 | 2325 264031 899518 | 2147483647 189031 138 | 0.000 % |
812.67/813.08 c | 556149 | 2325 264031 899518 | 2147483647 190894 139 | 0.000 % |
816.27/816.67 c | 558199 | 2325 264031 899518 | 2147483647 192944 139 | 0.004 % |
819.66/820.03 c | 560452 | 2325 264031 899518 | 2147483647 195197 139 | 0.000 % |
824.06/824.49 c | 562930 | 2325 264031 899518 | 2147483647 197675 139 | 0.000 % |
828.86/829.23 c | 565655 | 2325 264031 899518 | 2147483647 200400 139 | 0.000 % |
833.86/834.24 c | 568652 | 2325 264031 899518 | 2147483647 203397 139 | 0.004 % |
839.06/839.41 c | 571948 | 2325 264031 899518 | 2147483647 206693 139 | 0.004 % |
845.66/846.00 c | 575575 | 2325 264031 899518 | 2147483647 210320 139 | 0.005 % |
855.05/855.43 c | 579566 | 2325 264031 899518 | 2147483647 214311 142 | 0.000 % |
864.55/864.97 c | 583951 | 2325 264031 899518 | 2147483647 218696 145 | 0.000 % |
874.65/875.04 c | 588775 | 2325 264031 899518 | 2147483647 223520 146 | 0.000 % |
884.14/884.54 c | 594083 | 2325 264031 899518 | 224745 202261 148 | 0.004 % |
884.34/884.74 c | 594183 | 2325 264031 899518 | 224745 202361 148 | 0.000 % |
884.54/884.94 c | 594293 | 2325 264031 899518 | 224745 202471 148 | 0.005 % |
884.74/885.19 c | 594415 | 2325 264031 899518 | 224745 202593 148 | 0.000 % |
885.04/885.46 c | 594548 | 2325 264031 899518 | 224745 202726 148 | 0.005 % |
885.34/885.74 c | 594694 | 2325 264031 899518 | 224745 202872 148 | 0.000 % |
885.64/886.03 c | 594854 | 2325 264031 899518 | 224745 203032 148 | 0.000 % |
885.94/886.35 c | 595032 | 2325 264031 899518 | 224745 203210 148 | 0.005 % |
886.34/886.79 c | 595226 | 2325 264031 899518 | 224745 203404 148 | 0.000 % |
886.74/887.19 c | 595438 | 2325 264031 899518 | 224745 203616 148 | 0.000 % |
887.24/887.67 c | 595671 | 2325 264031 899518 | 224745 203849 148 | 0.004 % |
887.74/888.13 c | 595930 | 2325 264031 899518 | 224745 204108 148 | 0.005 % |
888.24/888.61 c | 596212 | 2325 264031 899518 | 224745 204390 148 | 0.000 % |
888.74/889.14 c | 596523 | 2325 264031 899518 | 224745 204701 148 | 0.000 % |
889.34/889.73 c | 596862 | 2325 264031 899518 | 224745 205040 148 | 0.000 % |
890.24/890.62 c | 597235 | 2325 264031 899518 | 224745 205413 148 | 0.000 % |
890.84/891.29 c | 597646 | 2325 264031 899518 | 224745 205824 149 | 0.000 % |
891.54/891.97 c | 598096 | 2325 264031 899518 | 224745 206274 149 | 0.000 % |
892.54/892.95 c | 598591 | 2325 264031 899518 | 224745 206769 149 | 0.000 % |
893.64/894.09 c | 599135 | 2325 264031 899518 | 224745 207313 149 | 0.000 % |
894.84/895.23 c | 599731 | 2325 264031 899518 | 224745 207909 149 | 0.000 % |
895.94/896.35 c | 600387 | 2325 264031 899518 | 208178 208565 149 | 0.000 % |
897.64/898.10 c | 601107 | 2325 264031 899518 | 208178 185456 149 | 0.004 % |
899.34/899.75 c | 601900 | 2325 264031 899518 | 208178 186249 148 | 0.004 % |
900.64/901.04 c | 602771 | 2325 264031 899518 | 208178 187120 148 | 0.000 % |
902.13/902.58 c | 603733 | 2325 264031 899518 | 208178 188082 149 | 0.004 % |
903.93/904.33 c | 604786 | 2325 264031 899518 | 208178 189135 148 | 0.004 % |
905.83/906.21 c | 605944 | 2325 264031 899518 | 208178 190293 149 | 0.000 % |
908.14/908.52 c | 607217 | 2325 264031 899518 | 208178 191566 149 | 0.004 % |
910.44/910.86 c | 608618 | 2325 264031 899518 | 208178 192967 148 | 0.004 % |
913.03/913.44 c | 610158 | 2325 264031 899518 | 194349 194507 148 | 0.004 % |
915.94/916.39 c | 611853 | 2325 264031 899518 | 194349 176256 145 | 0.000 % |
919.13/919.56 c | 613718 | 2325 264031 899518 | 194349 178121 145 | 0.005 % |
921.83/922.27 c | 615768 | 2325 264031 899518 | 194349 180171 145 | 0.000 % |
925.73/926.11 c | 618023 | 2325 264031 899518 | 194349 182426 145 | 0.000 % |
930.33/930.70 c | 620501 | 2325 264031 899518 | 2147483647 184904 146 | 0.000 % |
935.42/935.80 c | 623226 | 2325 264031 899518 | 2147483647 187629 148 | 0.000 % |
940.72/941.13 c | 626224 | 2325 264031 899518 | 2147483647 190627 149 | 0.000 % |
946.12/946.56 c | 629521 | 2325 264031 899518 | 2147483647 193924 149 | 0.000 % |
953.42/953.88 c | 633146 | 2325 264031 899518 | 2147483647 197549 152 | 0.000 % |
960.92/961.38 c | 637133 | 2325 264031 899518 | 2147483647 201536 153 | 0.005 % |
968.12/968.57 c | 641518 | 2325 264031 899518 | 2147483647 205921 154 | 0.005 % |
980.41/980.86 c | 646342 | 2325 264031 899518 | 2147483647 210745 157 | 0.000 % |
991.11/991.56 c | 651648 | 2325 264031 899518 | 2147483647 216051 157 | 0.005 % |
1002.81/1003.21 c | 657484 | 2325 264031 899518 | 2147483647 221887 157 | 0.000 % |
1003.00/1003.44 c | 657584 | 2325 264031 899518 | 2147483647 221987 157 | 0.005 % |
1003.30/1003.76 c | 657695 | 2325 264031 899518 | 2147483647 222098 157 | 0.000 % |
1003.60/1004.07 c | 657816 | 2325 264031 899518 | 2147483647 222219 157 | 0.000 % |
1003.91/1004.35 c | 657950 | 2325 264031 899518 | 2147483647 222353 157 | 0.000 % |
1004.20/1004.63 c | 658099 | 2325 264031 899518 | 2147483647 222502 157 | 0.000 % |
1004.60/1005.00 c | 658260 | 2325 264031 899518 | 2147483647 222663 157 | 0.000 % |
1004.91/1005.34 c | 658437 | 2325 264031 899518 | 2147483647 222840 157 | 0.000 % |
1005.40/1005.80 c | 658630 | 2325 264031 899518 | 2147483647 223033 157 | 0.000 % |
1005.80/1006.21 c | 658846 | 2325 264031 899518 | 2147483647 223249 157 | 0.000 % |
1006.30/1006.70 c | 659080 | 2325 264031 899518 | 2147483647 223483 157 | 0.000 % |
1007.00/1007.43 c | 659337 | 2325 264031 899518 | 2147483647 223740 157 | 0.000 % |
1007.60/1008.03 c | 659621 | 2325 264031 899518 | 2147483647 224024 157 | 0.000 % |
1008.40/1008.83 c | 659931 | 2325 264031 899518 | 2147483647 224334 157 | 0.000 % |
1009.10/1009.50 c | 660270 | 2325 264031 899518 | 224404 224673 157 | 0.000 % |
1010.20/1010.62 c | 660642 | 2325 264031 899518 | 224404 194715 159 | 0.000 % |
1010.90/1011.38 c | 661054 | 2325 264031 899518 | 224404 195127 159 | 0.000 % |
1011.80/1012.29 c | 661505 | 2325 264031 899518 | 224404 195578 159 | 0.000 % |
1012.90/1013.32 c | 661998 | 2325 264031 899518 | 224404 196071 159 | 0.000 % |
1013.80/1014.26 c | 662542 | 2325 264031 899518 | 224404 196615 159 | 0.000 % |
1015.00/1015.47 c | 663138 | 2325 264031 899518 | 224404 197211 160 | 0.000 % |
1016.10/1016.52 c | 663793 | 2325 264031 899518 | 224404 197866 160 | 0.000 % |
1017.40/1017.83 c | 664513 | 2325 264031 899518 | 224404 198586 160 | 0.000 % |
1019.00/1019.43 c | 665306 | 2325 264031 899518 | 224404 199379 160 | 0.000 % |
1020.50/1020.98 c | 666181 | 2325 264031 899518 | 224404 200254 160 | 0.000 % |
1022.39/1022.82 c | 667140 | 2325 264031 899518 | 224404 201213 161 | 0.000 % |
1024.39/1024.88 c | 668193 | 2325 264031 899518 | 224404 202266 161 | 0.000 % |
1026.50/1026.95 c | 669353 | 2325 264031 899518 | 224404 203426 161 | 0.004 % |
1028.49/1028.95 c | 670627 | 2325 264031 899518 | 204074 204700 161 | 0.005 % |
1031.30/1031.70 c | 672028 | 2325 264031 899518 | 204074 178650 162 | 0.000 % |
1034.70/1035.18 c | 673568 | 2325 264031 899518 | 204074 180190 163 | 0.000 % |
1038.19/1038.64 c | 675263 | 2325 264031 899518 | 204074 181885 164 | 0.000 % |
1041.29/1041.79 c | 677126 | 2325 264031 899518 | 204074 183748 164 | 0.000 % |
1044.99/1045.45 c | 679176 | 2325 264031 899518 | 204074 185798 164 | 0.000 % |
1048.69/1049.14 c | 681429 | 2325 264031 899518 | 186622 188051 164 | 0.005 % |
1053.09/1053.50 c | 683910 | 2325 264031 899518 | 186622 171727 165 | 0.005 % |
1057.98/1058.41 c | 686636 | 2325 264031 899518 | 186622 174453 165 | 0.005 % |
1063.48/1063.93 c | 689634 | 2325 264031 899518 | 186622 177451 164 | 0.004 % |
1069.48/1069.97 c | 692932 | 2325 264031 899518 | 2147483647 180749 162 | 0.005 % |
1077.28/1077.72 c | 696558 | 2325 264031 899518 | 2147483647 184375 161 | 0.004 % |
1087.17/1087.62 c | 700546 | 2325 264031 899518 | 187817 188363 164 | 0.000 % |
1097.87/1098.34 c | 704931 | 2325 264031 899518 | 187817 167570 162 | 0.000 % |
1106.67/1107.15 c | 709756 | 2325 264031 899518 | 187817 172395 164 | 0.000 % |
1115.98/1116.44 c | 715063 | 2325 264031 899518 | 2147483647 177702 165 | 0.000 % |
1128.17/1128.64 c | 720900 | 2325 264031 899518 | 2147483647 183539 169 | 0.000 % |
1139.57/1140.08 c | 727319 | 2325 264031 899518 | 2147483647 189958 170 | 0.000 % |
1139.87/1140.31 c | 727420 | 2325 264031 899518 | 2147483647 190059 170 | 0.000 % |
1140.07/1140.58 c | 727534 | 2325 264031 899518 | 2147483647 190173 170 | 0.000 % |
1140.37/1140.88 c | 727657 | 2325 264031 899518 | 2147483647 190296 170 | 0.000 % |
1140.67/1141.19 c | 727793 | 2325 264031 899518 | 2147483647 190432 170 | 0.000 % |
1141.07/1141.50 c | 727939 | 2325 264031 899518 | 2147483647 190578 170 | 0.000 % |
1141.37/1141.85 c | 728100 | 2325 264031 899518 | 2147483647 190739 170 | 0.000 % |
1141.77/1142.25 c | 728276 | 2325 264031 899518 | 2147483647 190915 170 | 0.000 % |
1142.27/1142.77 c | 728470 | 2325 264031 899518 | 2147483647 191109 170 | 0.000 % |
1142.77/1143.21 c | 728682 | 2325 264031 899518 | 2147483647 191321 170 | 0.004 % |
1143.17/1143.61 c | 728917 | 2325 264031 899518 | 2147483647 191556 170 | 0.004 % |
1143.57/1144.09 c | 729175 | 2325 264031 899518 | 2147483647 191814 170 | 0.005 % |
1144.07/1144.51 c | 729456 | 2325 264031 899518 | 2147483647 192095 170 | 0.000 % |
1144.67/1145.12 c | 729765 | 2325 264031 899518 | 2147483647 192404 170 | 0.000 % |
1145.37/1145.89 c | 730105 | 2325 264031 899518 | 192641 192744 170 | 0.004 % |
1146.47/1146.91 c | 730478 | 2325 264031 899518 | 192641 167812 167 | 0.000 % |
1147.16/1147.63 c | 730887 | 2325 264031 899518 | 192641 168221 167 | 0.000 % |
1147.87/1148.35 c | 731337 | 2325 264031 899518 | 192641 168671 167 | 0.005 % |
1148.86/1149.32 c | 731832 | 2325 264031 899518 | 192641 169166 167 | 0.005 % |
1149.76/1150.30 c | 732375 | 2325 264031 899518 | 192641 169709 167 | 0.000 % |
1150.96/1151.40 c | 732971 | 2325 264031 899518 | 192641 170305 167 | 0.000 % |
1152.27/1152.74 c | 733626 | 2325 264031 899518 | 192641 170960 167 | 0.004 % |
1153.37/1153.87 c | 734346 | 2325 264031 899518 | 192641 171680 167 | 0.004 % |
1154.86/1155.37 c | 735138 | 2325 264031 899518 | 192641 172472 167 | 0.000 % |
1156.26/1156.74 c | 736009 | 2325 264031 899518 | 192641 173343 167 | 0.000 % |
1158.06/1158.59 c | 736967 | 2325 264031 899518 | 192641 174301 167 | 0.000 % |
1160.06/1160.58 c | 738021 | 2325 264031 899518 | 192641 175355 167 | 0.000 % |
1162.46/1162.99 c | 739179 | 2325 264031 899518 | 192641 176513 168 | 0.000 % |
1165.16/1165.65 c | 740454 | 2325 264031 899518 | 177335 177788 168 | 0.005 % |
1168.06/1168.52 c | 741855 | 2325 264031 899518 | 177335 160325 165 | 0.005 % |
1170.96/1171.42 c | 743398 | 2325 264031 899518 | 177335 161868 165 | 0.004 % |
1174.16/1174.60 c | 745092 | 2325 264031 899518 | 177335 163562 165 | 0.004 % |
1178.15/1178.62 c | 746956 | 2325 264031 899518 | 177335 165426 166 | 0.000 % |
1182.25/1182.73 c | 749008 | 2325 264031 899518 | 177335 167478 167 | 0.000 % |
1187.05/1187.53 c | 751262 | 2325 264031 899518 | 168472 169732 170 | 0.000 % |
1192.25/1192.71 c | 753740 | 2325 264031 899518 | 168472 153607 173 | 0.000 % |
1196.85/1197.40 c | 756465 | 2325 264031 899518 | 168472 156332 173 | 0.005 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834123-1242828191/watcher-1834123-1242828191 -o /tmp/evaluation-result-1834123-1242828191/solver-1834123-1242828191 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834123-1242828191.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 14980
/proc/meminfo: memFree=1828600/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=0
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 310852322 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 273952768082 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14980/statm: 1339 235 195 169 0 50 0
[pid=14981] ppid=14980 vsize=5356 CPUtime=0
/proc/14981/stat : 14981 (SatELiteGTI) R 14980 14980 14661 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310852322 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/14981/statm: 1339 238 198 169 0 50 0
[pid=14983] ppid=14981 vsize=0 CPUtime=0
/proc/14983/stat : 14983 (sed) Z 14981 14980 14661 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310852323 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/14983/statm: 0 0 0 0 0 0 0
[startup+0.033756 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 14980
/proc/meminfo: memFree=1828600/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=0
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310852322 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14980/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102764 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 14980
/proc/meminfo: memFree=1828600/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=0
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310852322 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14980/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302786 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 14980
/proc/meminfo: memFree=1828600/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=0
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310852322 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14980/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701833 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 14980
/proc/meminfo: memFree=1828600/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=0
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310852322 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14980/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50192 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14985
/proc/meminfo: memFree=1806504/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=0
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310852322 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14980/statm: 1339 237 197 169 0 50 0
[pid=14985] ppid=14980 vsize=27456 CPUtime=1.48
/proc/14985/stat : 14985 (SatELite_releas) R 14980 14980 14661 0 -1 4194304 5434 0 0 0 145 3 0 0 25 0 1 0 310852323 28114944 5420 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/14985/statm: 6864 5420 76 173 0 6689 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32812
[startup+3.10111 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14986
/proc/meminfo: memFree=1820584/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=16120 CPUtime=1
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 3886 0 0 0 98 2 0 0 25 0 1 0 310852531 16506880 3872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 4030 3872 77 171 0 3857 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21476
[startup+6.30148 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 14986
/proc/meminfo: memFree=1802856/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=22324 CPUtime=4.2
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 5436 0 0 0 416 4 0 0 25 0 1 0 310852531 22859776 5422 1992294400 134512640 135215339 4294956240 18446744073709551615 134538113 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 5581 5422 77 171 0 5408 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27680
[startup+12.7012 s]
/proc/loadavg: 1.07 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1792488/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=32196 CPUtime=10.59
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 7883 0 0 0 1053 6 0 0 25 0 1 0 310852531 32968704 7869 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 8049 7869 77 171 0 7876 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 37552
[startup+25.5027 s]
/proc/loadavg: 1.06 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1775656/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=48248 CPUtime=23.39
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 11906 0 0 0 2329 10 0 0 25 0 1 0 310852531 49405952 11892 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 12062 11892 77 171 0 11889 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 53604
[startup+51.1027 s]
/proc/loadavg: 1.04 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1752488/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=71336 CPUtime=48.97
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 17695 0 0 0 4881 16 0 0 25 0 1 0 310852531 73048064 17681 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 17834 17681 77 171 0 17661 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 76692
[startup+102.306 s]
/proc/loadavg: 1.01 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1716456/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=107180 CPUtime=100.16
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 26580 0 0 0 9990 26 0 0 25 0 1 0 310852531 109752320 26566 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 26795 26566 77 171 0 26622 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 112536
[startup+162.303 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1682664/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=140980 CPUtime=160.13
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 35067 0 0 0 15978 35 0 0 25 0 1 0 310852531 144363520 35053 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 35245 35053 77 171 0 35072 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 146336
[startup+222.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1655656/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=167796 CPUtime=220.1
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 41713 0 0 0 21967 43 0 0 25 0 1 0 310852531 171823104 41699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 41949 41699 77 171 0 41776 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 173152
[startup+282.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1632680/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=280.07
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47411 0 0 0 27958 49 0 0 25 0 1 0 310852531 194977792 47397 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47397 77 171 0 47429 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 195764
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1632552/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=340.05
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47411 0 0 0 33956 49 0 0 25 0 1 0 310852531 194977792 47397 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47397 77 171 0 47429 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 195764
[startup+402.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1632424/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=400.03
################
# More data... #
################
/proc/14986/statm: 47602 47401 77 171 0 47429 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 195764
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1632168/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=639.95
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47415 0 0 0 63945 50 0 0 25 0 1 0 310852531 194977792 47401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47401 77 171 0 47429 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 195764
[startup+702.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1631912/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=699.93
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47415 0 0 0 69943 50 0 0 25 0 1 0 310852531 194977792 47401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47401 77 171 0 47429 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 195764
[startup+762.306 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1631784/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=759.91
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47415 0 0 0 75941 50 0 0 25 0 1 0 310852531 194977792 47401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47401 77 171 0 47429 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 195764
[startup+822.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1631784/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=819.88
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47415 0 0 0 81938 50 0 0 25 0 1 0 310852531 194977792 47401 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47401 77 171 0 47429 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 195764
[startup+882.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1631720/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=879.86
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47415 0 0 0 87936 50 0 0 25 0 1 0 310852531 194977792 47401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47401 77 171 0 47429 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 195764
[startup+942.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1631656/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=939.84
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47415 0 0 0 93934 50 0 0 25 0 1 0 310852531 194977792 47401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47401 77 171 0 47429 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 195764
[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1631592/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=999.82
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47415 0 0 0 99932 50 0 0 25 0 1 0 310852531 194977792 47401 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47401 77 171 0 47429 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 195764
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1631528/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=1059.8
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47416 0 0 0 105930 50 0 0 25 0 1 0 310852531 194977792 47402 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47402 77 171 0 47429 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 195764
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1631464/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=1119.79
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47416 0 0 0 111928 51 0 0 25 0 1 0 310852531 194977792 47402 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47402 77 171 0 47429 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 195764
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1631336/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=1179.77
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47416 0 0 0 117926 51 0 0 25 0 1 0 310852531 194977792 47402 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47402 77 171 0 47429 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 195764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1631272/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=1197.97
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47416 0 0 0 119746 51 0 0 25 0 1 0 310852531 194977792 47402 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47402 77 171 0 47429 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 195764
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 0.99 1.00 2/66 14986
/proc/meminfo: memFree=1631272/2055920 swapFree=4088384/4192956
[pid=14980] ppid=14978 vsize=5356 CPUtime=2.08
/proc/14980/stat : 14980 (SatELiteGTI) S 14978 14980 14661 0 -1 4194304 336 5688 0 0 0 0 202 6 16 0 1 0 310852322 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14980/statm: 1339 239 197 169 0 50 0
[pid=14986] ppid=14980 vsize=190408 CPUtime=1197.97
/proc/14986/stat : 14986 (minisat_static) R 14980 14980 14661 0 -1 4194304 47416 0 0 0 119746 51 0 0 25 0 1 0 310852531 194977792 47402 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14986/statm: 47602 47402 77 171 0 47429 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 195764
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14980 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=26691
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=61990
# CPU time returned by wait4() is 2.08868
# while last known CPU time is 1200.05
#
# 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.05
CPU user time (s): 1199.48
CPU system time (s): 0.57
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 195764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.02669
system time used= 0.06199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6024
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 14
runsolver used 1.39079 second user time and 3.07653 second system time
The end
Begin job on node20 at 2009-05-20 16:03:11
IDJOB=1834123
IDBENCH=71509
IDSOLVER=671
FILE ID=node20/1834123-1242828191
PBS_JOBID= 9322522
Free space on /tmp= 66216 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v2400c266431g5.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834123-1242828191/watcher-1834123-1242828191 -o /tmp/evaluation-result-1834123-1242828191/solver-1834123-1242828191 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834123-1242828191.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5c381a23100991dd5561d3dc572b8883
RANDOM SEED=1883650595
node20.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 : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.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: 1829080 kB
Buffers: 19140 kB
Cached: 72652 kB
SwapCached: 98676 kB
Active: 105948 kB
Inactive: 86112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1829080 kB
SwapTotal: 4192956 kB
SwapFree: 4088384 kB
Dirty: 5008 kB
Writeback: 0 kB
Mapped: 13424 kB
Slab: 20840 kB
Committed_AS: 1160744 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= 66208 MiB
End job on node20 at 2009-05-20 16:23:14