0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 50400 151200 | 15119 0 0 nan | 0.000 % |
0.00/0.17 c | 0 | 50033 151886 | -- 0 -- -- | -- | -367/686
0.00/0.17 c ==============================================================================
0.00/0.17 c Result : #vars: 11704 #clauses: 50033 #literals: 151886
0.00/0.17 c CPU time: 0.165974 s
0.00/0.17 c ==============================================================================
0.00/0.23 c This is MiniSat 2.0 beta
0.00/0.23 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.23 c ============================[ Problem Statistics ]=============================
0.00/0.23 c | |
0.00/0.23 c | Number of variables: 11704 |
0.00/0.23 c | Number of clauses: 50033 |
0.00/0.27 c | Parsing time: 0.03 s |
0.00/0.27 c ============================[ Search Statistics ]==============================
0.00/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.27 c ===============================================================================
0.00/0.27 c | 0 | 11704 50033 151886 | 16677 0 nan | 0.000 % |
0.22/0.31 c | 100 | 11704 50033 151886 | 16677 100 157 | 0.000 % |
0.22/0.35 c | 202 | 11704 50033 151886 | 16677 202 143 | 0.000 % |
0.22/0.39 c | 303 | 11704 50033 151886 | 16677 303 155 | 0.000 % |
0.22/0.43 c | 413 | 11704 50033 151886 | 16677 413 168 | 0.000 % |
0.22/0.47 c | 513 | 11704 50033 151886 | 16677 513 166 | 0.000 % |
0.22/0.51 c | 623 | 11704 50033 151886 | 16677 623 163 | 0.000 % |
0.22/0.55 c | 744 | 11704 50033 151886 | 16677 744 162 | 0.000 % |
0.22/0.59 c | 844 | 11704 50033 151886 | 16677 844 166 | 0.000 % |
0.22/0.63 c | 954 | 11704 50033 151886 | 16677 954 163 | 0.000 % |
0.22/0.68 c | 1075 | 11704 50033 151886 | 16677 1075 161 | 0.000 % |
0.22/0.72 c | 1208 | 11704 50033 151886 | 16677 1208 163 | 0.000 % |
0.22/0.76 c | 1309 | 11704 50033 151886 | 16677 1309 162 | 0.000 % |
0.22/0.80 c | 1419 | 11704 50033 151886 | 16677 1419 161 | 0.000 % |
0.22/0.84 c | 1541 | 11704 50033 151886 | 16677 1541 158 | 0.000 % |
0.22/0.90 c | 1674 | 11704 50033 151886 | 16677 1674 155 | 0.000 % |
0.22/0.95 c | 1824 | 11704 50033 151886 | 16677 1824 154 | 0.000 % |
0.22/0.99 c | 1925 | 11704 50033 151886 | 16677 1925 154 | 0.000 % |
0.98/1.04 c | 2035 | 11704 50033 151886 | 16677 2035 153 | 0.000 % |
0.98/1.09 c | 2158 | 11704 50033 151886 | 16677 2158 154 | 0.000 % |
1.07/1.14 c | 2291 | 11704 50033 151886 | 16677 2291 155 | 0.000 % |
1.17/1.20 c | 2438 | 11704 50033 151886 | 16677 2438 156 | 0.000 % |
1.17/1.26 c | 2598 | 11704 50033 151886 | 16677 2598 156 | 0.000 % |
1.27/1.30 c | 2699 | 11704 50033 151886 | 16677 2699 154 | 0.000 % |
1.27/1.35 c | 2809 | 11704 50033 151886 | 16677 2809 153 | 0.000 % |
1.38/1.40 c | 2931 | 11704 50033 151886 | 16677 2931 153 | 0.000 % |
1.38/1.45 c | 3065 | 11704 50033 151886 | 16677 3065 152 | 0.000 % |
1.48/1.51 c | 3212 | 11704 50033 151886 | 16677 3212 153 | 0.000 % |
1.48/1.58 c | 3373 | 11704 50033 151886 | 16677 3373 153 | 0.000 % |
1.58/1.65 c | 3549 | 11704 50033 151886 | 16677 3549 155 | 0.000 % |
1.58/1.69 c | 3649 | 11704 50033 151886 | 16677 3649 156 | 0.000 % |
1.68/1.74 c | 3760 | 11704 50033 151886 | 16677 3760 156 | 0.000 % |
1.68/1.79 c | 3881 | 11704 50033 151886 | 16677 3881 157 | 0.000 % |
1.78/1.84 c | 4015 | 11704 50033 151886 | 16677 4015 158 | 0.000 % |
1.88/1.90 c | 4161 | 11704 50033 151886 | 16677 4161 159 | 0.000 % |
1.88/1.96 c | 4324 | 11704 50033 151886 | 16677 4324 158 | 0.000 % |
1.98/2.03 c | 4503 | 11704 50033 151886 | 16677 4503 159 | 0.000 % |
2.08/2.12 c | 4697 | 11704 50033 151886 | 16677 4697 159 | 0.000 % |
2.08/2.16 c | 4797 | 11704 50033 151886 | 16677 4797 160 | 0.000 % |
2.08/2.20 c | 4909 | 11704 50033 151886 | 16677 4909 160 | 0.000 % |
2.18/2.25 c | 5031 | 11704 50033 151886 | 16677 5031 160 | 0.000 % |
2.28/2.31 c | 5166 | 11704 50033 151886 | 16677 5166 160 | 0.000 % |
2.28/2.37 c | 5312 | 11704 50033 151886 | 16677 5312 161 | 0.000 % |
2.38/2.44 c | 5473 | 11704 50033 151886 | 16677 5473 161 | 0.000 % |
2.48/2.52 c | 5649 | 11704 50033 151886 | 16677 5649 161 | 0.000 % |
2.57/2.60 c | 5845 | 11704 50033 151886 | 16677 5845 161 | 0.000 % |
2.57/2.69 c | 6058 | 11704 50033 151886 | 16677 6058 162 | 0.000 % |
2.67/2.74 c | 6158 | 11704 50033 151886 | 16677 6158 162 | 0.000 % |
2.67/2.79 c | 6268 | 11704 50033 151886 | 16677 6268 162 | 0.000 % |
2.77/2.84 c | 6389 | 11704 50033 151886 | 16677 6389 162 | 0.000 % |
2.87/2.90 c | 6522 | 11704 50033 151886 | 16677 6522 162 | 0.000 % |
2.87/2.97 c | 6670 | 11704 50033 151886 | 16677 6670 163 | 0.000 % |
2.97/3.05 c | 6830 | 11704 50033 151886 | 16677 6830 165 | 0.000 % |
3.07/3.12 c | 7006 | 11704 50033 151886 | 16677 7006 164 | 0.000 % |
3.18/3.20 c | 7199 | 11704 50033 151886 | 16677 7199 165 | 0.000 % |
3.18/3.30 c | 7414 | 11704 50033 151886 | 16677 7414 164 | 0.000 % |
3.37/3.40 c | 7648 | 11704 50033 151886 | 16677 7648 164 | 0.000 % |
3.37/3.45 c | 7751 | 11704 50033 151886 | 16677 7751 164 | 0.000 % |
3.37/3.49 c | 7863 | 11704 50033 151886 | 16677 7863 163 | 0.000 % |
3.47/3.55 c | 7986 | 11704 50033 151886 | 16677 7986 163 | 0.000 % |
3.57/3.61 c | 8119 | 11704 50033 151886 | 16677 8119 163 | 0.000 % |
3.57/3.67 c | 8266 | 11704 50033 151886 | 16677 8266 165 | 0.000 % |
3.67/3.74 c | 8426 | 11704 50033 151886 | 16677 8426 164 | 0.000 % |
3.77/3.82 c | 8603 | 11704 50033 151886 | 16677 8603 165 | 0.000 % |
3.87/3.90 c | 8796 | 11704 50033 151886 | 16677 8796 164 | 0.000 % |
3.87/3.99 c | 9009 | 11704 50033 151886 | 16677 9009 164 | 0.000 % |
3.97/4.09 c | 9242 | 11704 50033 151886 | 16677 9242 164 | 0.000 % |
4.17/4.20 c | 9500 | 11704 50033 151886 | 16677 9500 166 | 0.000 % |
4.17/4.25 c | 9600 | 11704 50033 151886 | 16677 9600 166 | 0.000 % |
4.27/4.30 c | 9710 | 11704 50033 151886 | 16677 9710 166 | 0.000 % |
4.27/4.35 c | 9832 | 11704 50033 151886 | 16677 9832 166 | 0.000 % |
4.37/4.42 c | 9967 | 11704 50033 151886 | 16677 9967 166 | 0.000 % |
4.37/4.48 c | 10113 | 11704 50033 151886 | 2147483647 10113 165 | 0.000 % |
4.47/4.55 c | 10273 | 11704 50033 151886 | 2147483647 10273 165 | 0.000 % |
4.57/4.64 c | 10449 | 11704 50033 151886 | 2147483647 10449 166 | 0.000 % |
4.67/4.72 c | 10642 | 11704 50033 151886 | 2147483647 10642 166 | 0.000 % |
4.77/4.82 c | 10856 | 11704 50033 151886 | 2147483647 10856 166 | 0.000 % |
4.87/4.92 c | 11089 | 11704 50033 151886 | 2147483647 11089 166 | 0.000 % |
4.98/5.03 c | 11348 | 11704 50033 151886 | 2147483647 11348 167 | 0.000 % |
5.08/5.15 c | 11629 | 11704 50033 151886 | 2147483647 11629 167 | 0.000 % |
5.18/5.20 c | 11732 | 11704 50033 151886 | 2147483647 11732 166 | 0.000 % |
5.18/5.25 c | 11842 | 11704 50033 151886 | 2147483647 11842 166 | 0.000 % |
5.27/5.31 c | 11963 | 11704 50033 151886 | 2147483647 11963 166 | 0.000 % |
5.27/5.38 c | 12098 | 11704 50033 151886 | 2147483647 12098 166 | 0.000 % |
5.38/5.45 c | 12244 | 11704 50033 151886 | 2147483647 12244 166 | 0.000 % |
5.48/5.52 c | 12405 | 11704 50033 151886 | 2147483647 12405 167 | 0.000 % |
5.57/5.60 c | 12583 | 11704 50033 151886 | 2147483647 12583 167 | 0.000 % |
5.67/5.70 c | 12776 | 11704 50033 151886 | 2147483647 12776 167 | 0.000 % |
5.77/5.80 c | 12988 | 11704 50033 151886 | 2147483647 12988 167 | 0.000 % |
5.87/5.91 c | 13221 | 11704 50033 151886 | 2147483647 13221 167 | 0.000 % |
5.97/6.03 c | 13477 | 11704 50033 151886 | 2147483647 13477 167 | 0.000 % |
6.07/6.17 c | 13758 | 11704 50033 151886 | 2147483647 13758 168 | 0.000 % |
6.27/6.31 c | 14067 | 11704 50033 151886 | 2147483647 14067 168 | 0.000 % |
6.27/6.36 c | 14168 | 11704 50033 151886 | 2147483647 14168 168 | 0.000 % |
6.37/6.42 c | 14278 | 11704 50033 151886 | 2147483647 14278 168 | 0.000 % |
6.37/6.48 c | 14400 | 11704 50033 151886 | 2147483647 14400 168 | 0.000 % |
6.48/6.55 c | 14535 | 11704 50033 151886 | 2147483647 14535 168 | 0.000 % |
6.58/6.62 c | 14681 | 11704 50033 151886 | 2147483647 14681 168 | 0.000 % |
6.67/6.70 c | 14842 | 11704 50033 151886 | 2147483647 14842 168 | 0.000 % |
6.67/6.79 c | 15019 | 11704 50033 151886 | 2147483647 15019 168 | 0.000 % |
6.77/6.89 c | 15212 | 11704 50033 151886 | 2147483647 15212 168 | 0.000 % |
6.87/6.99 c | 15424 | 11704 50033 151886 | 2147483647 15424 168 | 0.000 % |
7.07/7.12 c | 15657 | 11704 50033 151886 | 2147483647 15657 169 | 0.000 % |
7.17/7.24 c | 15917 | 11704 50033 151886 | 2147483647 15917 169 | 0.000 % |
7.27/7.37 c | 16201 | 11704 50033 151886 | 2147483647 16201 169 | 0.000 % |
7.47/7.52 c | 16510 | 11704 50033 151886 | 2147483647 16510 169 | 0.000 % |
7.57/7.67 c | 16850 | 11704 50033 151886 | 2147483647 16850 169 | 0.000 % |
7.67/7.73 c | 16951 | 11704 50033 151886 | 2147483647 16951 169 | 0.000 % |
7.67/7.78 c | 17061 | 11704 50033 151886 | 2147483647 17061 169 | 0.000 % |
7.77/7.85 c | 17182 | 11704 50033 151886 | 2147483647 17182 169 | 0.000 % |
7.87/7.92 c | 17315 | 11704 50033 151886 | 2147483647 17315 169 | 0.000 % |
7.97/8.00 c | 17461 | 11704 50033 151886 | 2147483647 17461 169 | 0.000 % |
7.97/8.08 c | 17623 | 11704 50033 151886 | 2147483647 17623 169 | 0.000 % |
8.07/8.17 c | 17803 | 11704 50033 151886 | 2147483647 17803 169 | 0.000 % |
8.17/8.26 c | 17996 | 11704 50033 151886 | 2147483647 17996 169 | 0.000 % |
8.27/8.38 c | 18209 | 11704 50033 151886 | 2147483647 18209 168 | 0.000 % |
8.47/8.50 c | 18445 | 11704 50033 151886 | 2147483647 18445 168 | 0.000 % |
8.57/8.63 c | 18701 | 11704 50033 151886 | 2147483647 18701 169 | 0.000 % |
8.67/8.77 c | 18983 | 11704 50033 151886 | 2147483647 18983 169 | 0.000 % |
8.87/8.91 c | 19292 | 11704 50033 151886 | 2147483647 19292 170 | 0.000 % |
8.97/9.08 c | 19631 | 11704 50033 151886 | 2147483647 19631 170 | 0.000 % |
9.17/9.27 c | 20004 | 11704 50033 151886 | 2147483647 20004 171 | 0.000 % |
9.27/9.33 c | 20104 | 11704 50033 151886 | 2147483647 20104 171 | 0.000 % |
9.27/9.39 c | 20214 | 11704 50033 151886 | 2147483647 20214 171 | 0.000 % |
9.37/9.45 c | 20336 | 11704 50033 151886 | 2147483647 20336 171 | 0.000 % |
9.47/9.52 c | 20471 | 11704 50033 151886 | 2147483647 20471 171 | 0.000 % |
9.57/9.60 c | 20617 | 11704 50033 151886 | 2147483647 20617 171 | 0.000 % |
9.57/9.68 c | 20778 | 11704 50033 151886 | 2147483647 20778 171 | 0.000 % |
9.67/9.78 c | 20956 | 11704 50033 151886 | 2147483647 20956 171 | 0.000 % |
9.78/9.88 c | 21150 | 11704 50033 151886 | 2147483647 21150 172 | 0.000 % |
9.88/9.99 c | 21362 | 11704 50033 151886 | 2147483647 21362 171 | 0.000 % |
10.07/10.11 c | 21598 | 11704 50033 151886 | 2147483647 21598 171 | 0.000 % |
10.17/10.26 c | 21854 | 11704 50033 151886 | 2147483647 21854 172 | 0.000 % |
10.37/10.41 c | 22135 | 11704 50033 151886 | 2147483647 22135 172 | 0.000 % |
10.47/10.57 c | 22444 | 11704 50033 151886 | 2147483647 22444 173 | 0.000 % |
10.67/10.75 c | 22783 | 11704 50033 151886 | 2147483647 22783 173 | 0.000 % |
10.87/10.95 c | 23155 | 11704 50033 151886 | 2147483647 23155 173 | 0.000 % |
11.07/11.16 c | 23565 | 11704 50033 151886 | 2147483647 23565 174 | 0.000 % |
11.17/11.22 c | 23667 | 11704 50033 151886 | 2147483647 23667 174 | 0.000 % |
11.17/11.29 c | 23777 | 11704 50033 151886 | 2147483647 23777 174 | 0.000 % |
11.27/11.36 c | 23899 | 11704 50033 151886 | 2147483647 23899 174 | 0.000 % |
11.37/11.43 c | 24032 | 11704 50033 151886 | 2147483647 24032 174 | 0.000 % |
11.47/11.52 c | 24178 | 11704 50033 151886 | 2147483647 24178 174 | 0.000 % |
11.57/11.61 c | 24338 | 11704 50033 151886 | 2147483647 24338 174 | 0.000 % |
11.67/11.71 c | 24514 | 11704 50033 151886 | 2147483647 24514 174 | 0.000 % |
11.77/11.82 c | 24707 | 11704 50033 151886 | 2147483647 24707 174 | 0.000 % |
11.87/11.93 c | 24921 | 11704 50033 151886 | 2147483647 24921 174 | 0.000 % |
11.97/12.06 c | 25154 | 11704 50033 151886 | 2147483647 25154 174 | 0.000 % |
12.17/12.21 c | 25412 | 11704 50033 151886 | 2147483647 25412 174 | 0.000 % |
12.27/12.36 c | 25694 | 11704 50033 151886 | 2147483647 25694 174 | 0.000 % |
12.47/12.54 c | 26004 | 11704 50033 151886 | 2147483647 26004 174 | 0.000 % |
12.67/12.73 c | 26347 | 11704 50033 151886 | 2147483647 26347 174 | 0.000 % |
12.87/12.95 c | 26719 | 11704 50033 151886 | 2147483647 26719 175 | 0.000 % |
13.08/13.18 c | 27130 | 11704 50033 151886 | 2147483647 27130 175 | 0.000 % |
13.37/13.43 c | 27579 | 11704 50033 151886 | 2147483647 27579 176 | 0.000 % |
13.47/13.50 c | 27682 | 11704 50033 151886 | 2147483647 27682 176 | 0.000 % |
13.47/13.57 c | 27792 | 11704 50033 151886 | 2147483647 27792 176 | 0.000 % |
13.57/13.65 c | 27915 | 11704 50033 151886 | 2147483647 27915 176 | 0.000 % |
13.67/13.73 c | 28049 | 11704 50033 151886 | 2147483647 28049 176 | 0.000 % |
13.77/13.82 c | 28196 | 11704 50033 151886 | 2147483647 28196 176 | 0.000 % |
13.87/13.92 c | 28356 | 11704 50033 151886 | 2147483647 28356 176 | 0.000 % |
13.97/14.01 c | 28532 | 11704 50033 151886 | 2147483647 28532 176 | 0.000 % |
14.07/14.13 c | 28725 | 11704 50033 151886 | 2147483647 28725 176 | 0.000 % |
14.17/14.26 c | 28939 | 11704 50033 151886 | 2147483647 28939 176 | 0.000 % |
14.37/14.40 c | 29172 | 11704 50033 151886 | 2147483647 29172 176 | 0.000 % |
14.47/14.56 c | 29428 | 11704 50033 151886 | 2147483647 29428 176 | 0.000 % |
14.66/14.72 c | 29709 | 11704 50033 151886 | 2147483647 29709 176 | 0.000 % |
14.76/14.89 c | 30020 | 11704 50033 151886 | 2147483647 30020 176 | 0.000 % |
14.96/15.09 c | 30359 | 11704 50033 151886 | 2147483647 30359 175 | 0.000 % |
15.27/15.31 c | 30734 | 11704 50033 151886 | 2147483647 30734 175 | 0.000 % |
15.46/15.55 c | 31143 | 11704 50033 151886 | 2147483647 31143 176 | 0.000 % |
15.77/15.80 c | 31592 | 11704 50033 151886 | 2147483647 31592 176 | 0.000 % |
15.97/16.09 c | 32085 | 11704 50033 151886 | 2147483647 32085 176 | 0.000 % |
16.07/16.15 c | 32186 | 11704 50033 151886 | 2147483647 32186 176 | 0.000 % |
16.17/16.22 c | 32296 | 11704 50033 151886 | 2147483647 32296 176 | 0.000 % |
16.27/16.30 c | 32419 | 11704 50033 151886 | 2147483647 32419 176 | 0.000 % |
16.27/16.38 c | 32552 | 11704 50033 151886 | 2147483647 32552 176 | 0.000 % |
16.37/16.47 c | 32698 | 11704 50033 151886 | 2147483647 32698 176 | 0.000 % |
16.47/16.58 c | 32858 | 11704 50033 151886 | 2147483647 32858 176 | 0.000 % |
16.57/16.68 c | 33034 | 11704 50033 151886 | 2147483647 33034 176 | 0.000 % |
16.76/16.81 c | 33227 | 11704 50033 151886 | 2147483647 33227 176 | 0.000 % |
16.86/16.93 c | 33440 | 11704 50033 151886 | 2147483647 33440 176 | 0.000 % |
16.96/17.07 c | 33676 | 11704 50033 151886 | 2147483647 33676 176 | 0.000 % |
17.16/17.22 c | 33933 | 11704 50033 151886 | 2147483647 33933 176 | 0.000 % |
17.26/17.39 c | 34218 | 11704 50033 151886 | 2147483647 34218 176 | 0.000 % |
17.47/17.59 c | 34527 | 11704 50033 151886 | 2147483647 34527 176 | 0.000 % |
17.77/17.80 c | 34866 | 11704 50033 151886 | 2147483647 34866 176 | 0.000 % |
17.97/18.04 c | 35238 | 11704 50033 151886 | 2147483647 35238 177 | 0.000 % |
18.27/18.31 c | 35647 | 11704 50033 151886 | 2147483647 35647 177 | 0.000 % |
18.58/18.61 c | 36096 | 11704 50033 151886 | 2147483647 36096 177 | 0.000 % |
18.87/18.91 c | 36590 | 11704 50033 151886 | 2147483647 36590 178 | 0.000 % |
19.17/19.23 c | 37134 | 11704 50033 151886 | 2147483647 37134 178 | 0.000 % |
19.17/19.29 c | 37234 | 11704 50033 151886 | 2147483647 37234 178 | 0.000 % |
19.27/19.37 c | 37345 | 11704 50033 151886 | 2147483647 37345 178 | 0.000 % |
19.37/19.45 c | 37466 | 11704 50033 151886 | 2147483647 37466 178 | 0.000 % |
19.47/19.54 c | 37599 | 11704 50033 151886 | 2147483647 37599 178 | 0.000 % |
19.57/19.64 c | 37745 | 11704 50033 151886 | 2147483647 37745 178 | 0.000 % |
19.67/19.74 c | 37906 | 11704 50033 151886 | 2147483647 37906 178 | 0.000 % |
19.77/19.86 c | 38084 | 11704 50033 151886 | 2147483647 38084 178 | 0.000 % |
19.87/19.99 c | 38279 | 11704 50033 151886 | 2147483647 38279 178 | 0.000 % |
20.07/20.13 c | 38492 | 11704 50033 151886 | 2147483647 38492 178 | 0.000 % |
20.17/20.29 c | 38726 | 11704 50033 151886 | 2147483647 38726 178 | 0.000 % |
20.37/20.45 c | 38982 | 11704 50033 151886 | 2147483647 38982 178 | 0.000 % |
20.57/20.65 c | 39263 | 11704 50033 151886 | 2147483647 39263 178 | 0.000 % |
20.77/20.84 c | 39572 | 11704 50033 151886 | 2147483647 39572 178 | 0.000 % |
20.96/21.07 c | 39913 | 11704 50033 151886 | 2147483647 39913 178 | 0.000 % |
21.27/21.32 c | 40285 | 11704 50033 151886 | 2147483647 40285 178 | 0.000 % |
21.47/21.57 c | 40696 | 11704 50033 151886 | 2147483647 40696 178 | 0.000 % |
21.77/21.89 c | 41145 | 11704 50033 151886 | 2147483647 41145 178 | 0.000 % |
22.17/22.22 c | 41639 | 11704 50033 151886 | 2147483647 41639 178 | 0.000 % |
22.47/22.55 c | 42182 | 11704 50033 151886 | 2147483647 42182 178 | 0.000 % |
22.86/22.95 c | 42780 | 11704 50033 151886 | 2147483647 42780 178 | 0.000 % |
22.97/23.02 c | 42881 | 11704 50033 151886 | 2147483647 42881 178 | 0.000 % |
22.97/23.09 c | 42993 | 11704 50033 151886 | 2147483647 42993 178 | 0.000 % |
23.07/23.19 c | 43114 | 11704 50033 151886 | 2147483647 43114 178 | 0.000 % |
23.16/23.29 c | 43247 | 11704 50033 151886 | 2147483647 43247 178 | 0.000 % |
23.27/23.39 c | 43393 | 11704 50033 151886 | 2147483647 43393 178 | 0.000 % |
23.47/23.51 c | 43553 | 11704 50033 151886 | 2147483647 43553 178 | 0.000 % |
23.57/23.63 c | 43729 | 11704 50033 151886 | 2147483647 43729 178 | 0.000 % |
23.67/23.78 c | 43924 | 11704 50033 151886 | 2147483647 43924 179 | 0.000 % |
23.87/23.93 c | 44137 | 11704 50033 151886 | 2147483647 44137 179 | 0.000 % |
23.97/24.10 c | 44370 | 11704 50033 151886 | 2147483647 44370 179 | 0.000 % |
24.17/24.28 c | 44628 | 11704 50033 151886 | 2147483647 44628 179 | 0.000 % |
24.37/24.48 c | 44910 | 11704 50033 151886 | 2147483647 44910 179 | 0.000 % |
24.57/24.69 c | 45220 | 11704 50033 151886 | 2147483647 45220 179 | 0.000 % |
24.87/24.92 c | 45559 | 11704 50033 151886 | 2147483647 45559 179 | 0.000 % |
25.07/25.19 c | 45931 | 11704 50033 151886 | 2147483647 45931 180 | 0.000 % |
25.36/25.43 c | 46341 | 11704 50033 151886 | 2147483647 46341 180 | 0.000 % |
25.66/25.72 c | 46793 | 11704 50033 151886 | 2147483647 46793 180 | 0.000 % |
25.97/26.05 c | 47288 | 11704 50033 151886 | 2147483647 47288 180 | 0.000 % |
26.37/26.40 c | 47830 | 11704 50033 151886 | 2147483647 47830 180 | 0.000 % |
26.77/26.80 c | 48427 | 11704 50033 151886 | 2147483647 48427 181 | 0.000 % |
27.16/27.27 c | 49082 | 11704 50033 151886 | 2147483647 49082 181 | 0.000 % |
27.26/27.35 c | 49183 | 11704 50033 151886 | 2147483647 49183 181 | 0.000 % |
27.37/27.45 c | 49293 | 11704 50033 151886 | 2147483647 49293 181 | 0.000 % |
27.47/27.54 c | 49415 | 11704 50033 151886 | 2147483647 49415 181 | 0.000 % |
27.56/27.64 c | 49549 | 11704 50033 151886 | 2147483647 49549 181 | 0.000 % |
27.66/27.76 c | 49695 | 11704 50033 151886 | 2147483647 49695 181 | 0.000 % |
27.76/27.87 c | 49855 | 11704 50033 151886 | 2147483647 49855 181 | 0.000 % |
27.96/28.00 c | 50031 | 11704 50033 151886 | 2147483647 50031 181 | 0.000 % |
28.06/28.15 c | 50225 | 11704 50033 151886 | 2147483647 50225 181 | 0.000 % |
28.26/28.31 c | 50438 | 11704 50033 151886 | 2147483647 50438 181 | 0.000 % |
28.36/28.48 c | 50673 | 11704 50033 151886 | 2147483647 50673 181 | 0.000 % |
28.56/28.68 c | 50929 | 11704 50033 151886 | 2147483647 50929 180 | 0.000 % |
28.76/28.89 c | 51211 | 11704 50033 151886 | 2147483647 51211 181 | 0.000 % |
29.06/29.10 c | 51520 | 11704 50033 151886 | 2147483647 51520 181 | 0.000 % |
29.27/29.35 c | 51859 | 11704 50033 151886 | 2147483647 51859 181 | 0.000 % |
29.57/29.60 c | 52232 | 11704 50033 151886 | 2147483647 52232 181 | 0.000 % |
29.77/29.88 c | 52641 | 11704 50033 151886 | 2147483647 52641 181 | 0.000 % |
30.16/30.21 c | 53091 | 11704 50033 151886 | 2147483647 53091 181 | 0.000 % |
30.46/30.55 c | 53584 | 11704 50033 151886 | 2147483647 53584 181 | 0.000 % |
30.86/30.94 c | 54127 | 11704 50033 151886 | 2147483647 54127 181 | 0.000 % |
31.26/31.36 c | 54724 | 11704 50033 151886 | 2147483647 54724 182 | 0.000 % |
31.76/31.87 c | 55379 | 11704 50033 151886 | 2147483647 55379 182 | 0.000 % |
32.37/32.40 c | 56099 | 11704 50033 151886 | 2147483647 56099 182 | 0.000 % |
32.37/32.49 c | 56199 | 11704 50033 151886 | 2147483647 56199 182 | 0.000 % |
32.46/32.58 c | 56312 | 11704 50033 151886 | 2147483647 56312 182 | 0.000 % |
32.56/32.68 c | 56433 | 11704 50033 151886 | 2147483647 56433 182 | 0.000 % |
32.66/32.79 c | 56567 | 11704 50033 151886 | 2147483647 56567 182 | 0.000 % |
32.87/32.91 c | 56715 | 11704 50033 151886 | 2147483647 56715 182 | 0.000 % |
32.97/33.04 c | 56875 | 11704 50033 151886 | 2147483647 56875 182 | 0.000 % |
33.06/33.18 c | 57054 | 11704 50033 151886 | 2147483647 57054 182 | 0.000 % |
33.26/33.32 c | 57247 | 11704 50033 151886 | 2147483647 57247 182 | 0.000 % |
33.36/33.48 c | 57459 | 11704 50033 151886 | 2147483647 57459 182 | 0.000 % |
33.56/33.65 c | 57693 | 11704 50033 151886 | 2147483647 57693 182 | 0.000 % |
33.76/33.84 c | 57949 | 11704 50033 151886 | 2147483647 57949 182 | 0.000 % |
33.96/34.07 c | 58230 | 11704 50033 151886 | 2147483647 58230 182 | 0.000 % |
34.26/34.30 c | 58540 | 11704 50033 151886 | 2147483647 58540 182 | 0.000 % |
34.46/34.55 c | 58879 | 11704 50033 151886 | 2147483647 58879 182 | 0.000 % |
34.76/34.84 c | 59251 | 11704 50033 151886 | 2147483647 59251 182 | 0.000 % |
35.06/35.13 c | 59663 | 11704 50033 151886 | 2147483647 59663 182 | 0.000 % |
35.36/35.47 c | 60112 | 11704 50033 151886 | 2147483647 60112 182 | 0.000 % |
35.76/35.87 c | 60605 | 11704 50033 151886 | 2147483647 60605 183 | 0.000 % |
36.16/36.27 c | 61147 | 11704 50033 151886 | 2147483647 61147 183 | 0.000 % |
36.66/36.74 c | 61745 | 11704 50033 151886 | 2147483647 61745 183 | 0.000 % |
37.06/37.20 c | 62401 | 11704 50033 151886 | 2147483647 62401 184 | 0.000 % |
37.66/37.74 c | 63121 | 11704 50033 151886 | 2147483647 63121 184 | 0.000 % |
38.25/38.34 c | 63915 | 11704 50033 151886 | 2147483647 63915 184 | 0.000 % |
38.36/38.43 c | 64018 | 11704 50033 151886 | 2147483647 64018 184 | 0.000 % |
38.46/38.55 c | 64129 | 11704 50033 151886 | 2147483647 64129 184 | 0.000 % |
38.55/38.65 c | 64252 | 11704 50033 151886 | 2147483647 64252 184 | 0.000 % |
38.65/38.76 c | 64387 | 11704 50033 151886 | 2147483647 64387 184 | 0.000 % |
38.75/38.89 c | 64535 | 11704 50033 151886 | 2147483647 64535 184 | 0.000 % |
38.95/39.03 c | 64695 | 11704 50033 151886 | 2147483647 64695 184 | 0.000 % |
39.05/39.19 c | 64873 | 11704 50033 151886 | 2147483647 64873 184 | 0.000 % |
39.25/39.35 c | 65066 | 11704 50033 151886 | 2147483647 65066 184 | 0.000 % |
39.46/39.55 c | 65279 | 11704 50033 151886 | 2147483647 65279 184 | 0.000 % |
39.65/39.74 c | 65512 | 11704 50033 151886 | 2147483647 65512 184 | 0.000 % |
39.85/39.95 c | 65768 | 11704 50033 151886 | 2147483647 65768 184 | 0.000 % |
40.05/40.17 c | 66049 | 11704 50033 151886 | 2147483647 66049 184 | 0.000 % |
40.36/40.44 c | 66360 | 11704 50033 151886 | 2147483647 66360 184 | 0.000 % |
40.66/40.72 c | 66699 | 11704 50033 151886 | 2147483647 66699 184 | 0.000 % |
40.96/41.01 c | 67073 | 11704 50033 151886 | 2147483647 67073 184 | 0.000 % |
41.26/41.36 c | 67483 | 11704 50033 151886 | 2147483647 67483 184 | 0.000 % |
41.66/41.72 c | 67933 | 11704 50033 151886 | 2147483647 67933 185 | 0.000 % |
42.05/42.11 c | 68428 | 11704 50033 151886 | 2147483647 68428 185 | 0.000 % |
42.45/42.55 c | 68971 | 11704 50033 151886 | 2147483647 68971 185 | 0.000 % |
42.95/43.06 c | 69567 | 11704 50033 151886 | 2147483647 69567 185 | 0.000 % |
43.55/43.60 c | 70223 | 11704 50033 151886 | 2147483647 70223 185 | 0.000 % |
44.15/44.20 c | 70944 | 11704 50033 151886 | 2147483647 70944 185 | 0.000 % |
44.75/44.86 c | 71737 | 11704 50033 151886 | 2147483647 71737 186 | 0.000 % |
45.45/45.54 c | 72608 | 11704 50033 151886 | 2147483647 72608 186 | 0.000 % |
45.56/45.64 c | 72709 | 11704 50033 151886 | 2147483647 72709 186 | 0.000 % |
45.66/45.74 c | 72820 | 11704 50033 151886 | 2147483647 72820 186 | 0.000 % |
45.76/45.85 c | 72941 | 11704 50033 151886 | 2147483647 72941 186 | 0.000 % |
45.86/45.99 c | 73075 | 11704 50033 151886 | 2147483647 73075 186 | 0.000 % |
46.06/46.13 c | 73221 | 11704 50033 151886 | 2147483647 73221 186 | 0.000 % |
46.16/46.28 c | 73381 | 11704 50033 151886 | 2147483647 73381 186 | 0.000 % |
46.36/46.44 c | 73557 | 11704 50033 151886 | 2147483647 73557 186 | 0.000 % |
46.55/46.62 c | 73751 | 11704 50033 151886 | 2147483647 73751 186 | 0.000 % |
46.75/46.81 c | 73963 | 11704 50033 151886 | 2147483647 73963 186 | 0.000 % |
46.95/47.01 c | 74196 | 11704 50033 151886 | 2147483647 74196 186 | 0.000 % |
47.16/47.23 c | 74452 | 11704 50033 151886 | 2147483647 74452 186 | 0.000 % |
47.35/47.47 c | 74734 | 11704 50033 151886 | 2147483647 74734 186 | 0.000 % |
47.65/47.74 c | 75044 | 11704 50033 151886 | 2147483647 75044 186 | 0.000 % |
47.95/48.04 c | 75385 | 11704 50033 151886 | 2147483647 75385 186 | 0.000 % |
48.26/48.34 c | 75757 | 11704 50033 151886 | 2147483647 75757 186 | 0.000 % |
48.65/48.71 c | 76166 | 11704 50033 151886 | 2147483647 76166 186 | 0.000 % |
48.95/49.04 c | 76615 | 11704 50033 151886 | 2147483647 76615 187 | 0.000 % |
49.35/49.46 c | 77109 | 11704 50033 151886 | 2147483647 77109 187 | 0.000 % |
49.85/49.90 c | 77651 | 11704 50033 151886 | 2147483647 77651 187 | 0.000 % |
50.34/50.40 c | 78249 | 11704 50033 151886 | 2147483647 78249 187 | 0.000 % |
50.84/50.98 c | 78904 | 11704 50033 151886 | 2147483647 78904 187 | 0.000 % |
51.45/51.55 c | 79625 | 11704 50033 151886 | 2147483647 79625 188 | 0.000 % |
52.05/52.19 c | 80417 | 11704 50033 151886 | 2147483647 80417 188 | 0.000 % |
52.85/52.90 c | 81290 | 11704 50033 151886 | 2147483647 81290 189 | 0.000 % |
53.65/53.73 c | 82248 | 11704 50033 151886 | 2147483647 82248 189 | 0.000 % |
53.75/53.83 c | 82348 | 11704 50033 151886 | 2147483647 82348 189 | 0.000 % |
53.85/53.94 c | 82458 | 11704 50033 151886 | 2147483647 82458 189 | 0.000 % |
53.95/54.06 c | 82580 | 11704 50033 151886 | 2147483647 82580 189 | 0.000 % |
54.15/54.20 c | 82715 | 11704 50033 151886 | 2147483647 82715 189 | 0.000 % |
54.25/54.35 c | 82861 | 11704 50033 151886 | 2147483647 82861 189 | 0.000 % |
54.45/54.50 c | 83021 | 11704 50033 151886 | 2147483647 83021 189 | 0.000 % |
54.55/54.67 c | 83197 | 11704 50033 151886 | 2147483647 83197 189 | 0.000 % |
54.75/54.87 c | 83391 | 11704 50033 151886 | 2147483647 83391 189 | 0.000 % |
54.95/55.08 c | 83606 | 11704 50033 151886 | 2147483647 83606 189 | 0.000 % |
55.25/55.31 c | 83840 | 11704 50033 151886 | 2147483647 83840 189 | 0.000 % |
55.44/55.55 c | 84096 | 11704 50033 151886 | 2147483647 84096 189 | 0.000 % |
55.74/55.84 c | 84377 | 11704 50033 151886 | 2147483647 84377 189 | 0.000 % |
55.95/56.09 c | 84686 | 11704 50033 151886 | 2147483647 84686 189 | 0.000 % |
56.24/56.38 c | 85026 | 11704 50033 151886 | 2147483647 85026 189 | 0.000 % |
56.64/56.72 c | 85399 | 11704 50033 151886 | 2147483647 85399 189 | 0.000 % |
57.05/57.12 c | 85810 | 11704 50033 151886 | 2147483647 85810 189 | 0.000 % |
57.44/57.51 c | 86261 | 11704 50033 151886 | 2147483647 86261 189 | 0.000 % |
57.84/57.95 c | 86756 | 11704 50033 151886 | 2147483647 86756 189 | 0.000 % |
58.34/58.41 c | 87300 | 11704 50033 151886 | 2147483647 87300 190 | 0.000 % |
58.85/58.95 c | 87896 | 11704 50033 151886 | 2147483647 87896 190 | 0.000 % |
59.45/59.53 c | 88552 | 11704 50033 151886 | 2147483647 88552 190 | 0.000 % |
60.15/60.24 c | 89272 | 11704 50033 151886 | 2147483647 89272 190 | 0.000 % |
60.85/60.98 c | 90064 | 11704 50033 151886 | 2147483647 90064 190 | 0.000 % |
61.74/61.81 c | 90937 | 11704 50033 151886 | 2147483647 90937 191 | 0.000 % |
62.54/62.65 c | 91899 | 11704 50033 151886 | 2147483647 91899 191 | 0.000 % |
63.55/63.65 c | 92952 | 11704 50033 151886 | 2147483647 92952 192 | 0.000 % |
63.65/63.78 c | 93052 | 11704 50033 151886 | 2147483647 93052 192 | 0.000 % |
63.84/63.92 c | 93162 | 11704 50033 151886 | 2147483647 93162 192 | 0.000 % |
63.94/64.05 c | 93283 | 11704 50033 151886 | 2147483647 93283 192 | 0.000 % |
64.04/64.20 c | 93416 | 11704 50033 151886 | 2147483647 93416 192 | 0.000 % |
64.24/64.35 c | 93562 | 11704 50033 151886 | 2147483647 93562 192 | 0.000 % |
64.44/64.53 c | 93722 | 11704 50033 151886 | 2147483647 93722 192 | 0.000 % |
64.64/64.73 c | 93898 | 11704 50033 151886 | 2147483647 93898 192 | 0.000 % |
64.85/64.94 c | 94091 | 11704 50033 151886 | 2147483647 94091 191 | 0.000 % |
65.04/65.17 c | 94303 | 11704 50033 151886 | 2147483647 94303 191 | 0.000 % |
65.34/65.41 c | 94536 | 11704 50033 151886 | 2147483647 94536 191 | 0.000 % |
65.54/65.66 c | 94792 | 11704 50033 151886 | 2147483647 94792 191 | 0.000 % |
65.84/65.92 c | 95074 | 11704 50033 151886 | 2147483647 95074 192 | 0.000 % |
66.14/66.23 c | 95384 | 11704 50033 151886 | 2147483647 95384 192 | 0.000 % |
66.44/66.56 c | 95724 | 11704 50033 151886 | 2147483647 95724 192 | 0.000 % |
66.84/66.92 c | 96097 | 11704 50033 151886 | 2147483647 96097 192 | 0.000 % |
67.24/67.32 c | 96506 | 11704 50033 151886 | 2147483647 96506 192 | 0.000 % |
67.64/67.75 c | 96956 | 11704 50033 151886 | 2147483647 96956 192 | 0.000 % |
68.15/68.22 c | 97449 | 11704 50033 151886 | 2147483647 97449 192 | 0.000 % |
68.64/68.76 c | 97991 | 11704 50033 151886 | 2147483647 97991 192 | 0.000 % |
69.25/69.34 c | 98587 | 11704 50033 151886 | 2147483647 98587 192 | 0.000 % |
69.84/69.95 c | 99242 | 11704 50033 151886 | 2147483647 99242 192 | 0.000 % |
70.54/70.64 c | 99963 | 11704 50033 151886 | 2147483647 99963 193 | 0.000 % |
71.34/71.42 c | 100756 | 11704 50033 151886 | 2147483647 100756 193 | 0.000 % |
72.14/72.29 c | 101628 | 11704 50033 151886 | 2147483647 101628 193 | 0.000 % |
73.14/73.25 c | 102591 | 11704 50033 151886 | 2147483647 102591 193 | 0.000 % |
74.14/74.26 c | 103646 | 11704 50033 151886 | 2147483647 103646 193 | 0.000 % |
75.24/75.35 c | 104804 | 11704 50033 151886 | 2147483647 104804 193 | 0.000 % |
75.34/75.47 c | 104904 | 11704 50033 151886 | 2147483647 104904 193 | 0.000 % |
75.54/75.61 c | 105014 | 11704 50033 151886 | 2147483647 105014 193 | 0.000 % |
75.64/75.76 c | 105135 | 11704 50033 151886 | 2147483647 105135 193 | 0.000 % |
75.84/75.93 c | 105268 | 11704 50033 151886 | 2147483647 105268 193 | 0.000 % |
75.93/76.09 c | 105414 | 11704 50033 151886 | 2147483647 105414 193 | 0.000 % |
76.13/76.28 c | 105576 | 11704 50033 151886 | 2147483647 105576 193 | 0.000 % |
76.33/76.48 c | 105754 | 11704 50033 151886 | 2147483647 105754 193 | 0.000 % |
76.63/76.72 c | 105947 | 11704 50033 151886 | 2147483647 105947 193 | 0.000 % |
76.84/76.94 c | 106159 | 11704 50033 151886 | 2147483647 106159 193 | 0.000 % |
77.14/77.20 c | 106394 | 11704 50033 151886 | 2147483647 106394 193 | 0.000 % |
77.34/77.49 c | 106650 | 11704 50033 151886 | 2147483647 106650 193 | 0.000 % |
77.74/77.81 c | 106931 | 11704 50033 151886 | 2147483647 106931 193 | 0.000 % |
78.04/78.11 c | 107240 | 11704 50033 151886 | 2147483647 107240 193 | 0.000 % |
78.34/78.47 c | 107579 | 11704 50033 151886 | 2147483647 107579 193 | 0.000 % |
78.74/78.84 c | 107951 | 11704 50033 151886 | 2147483647 107951 193 | 0.000 % |
79.14/79.27 c | 108363 | 11704 50033 151886 | 2147483647 108363 193 | 0.000 % |
79.64/79.73 c | 108815 | 11704 50033 151886 | 2147483647 108815 193 | 0.000 % |
80.14/80.24 c | 109309 | 11704 50033 151886 | 2147483647 109309 193 | 0.000 % |
80.73/80.82 c | 109853 | 11704 50033 151886 | 2147483647 109853 193 | 0.000 % |
81.34/81.44 c | 110449 | 11704 50033 151886 | 2147483647 110449 193 | 0.000 % |
82.03/82.13 c | 111104 | 11704 50033 151886 | 2147483647 111104 193 | 0.000 % |
82.83/82.90 c | 111826 | 11704 50033 151886 | 2147483647 111826 193 | 0.000 % |
83.64/83.73 c | 112618 | 11704 50033 151886 | 2147483647 112618 193 | 0.000 % |
84.54/84.65 c | 113489 | 11704 50033 151886 | 2147483647 113489 193 | 0.000 % |
85.54/85.63 c | 114447 | 11704 50033 151886 | 2147483647 114447 194 | 0.000 % |
86.53/86.69 c | 115502 | 11704 50033 151886 | 2147483647 115502 194 | 0.000 % |
87.84/87.93 c | 116662 | 11704 50033 151886 | 2147483647 116662 194 | 0.000 % |
89.13/89.23 c | 117936 | 11704 50033 151886 | 2147483647 117936 195 | 0.000 % |
89.23/89.35 c | 118037 | 11704 50033 151886 | 2147483647 118037 195 | 0.000 % |
89.33/89.49 c | 118147 | 11704 50033 151886 | 2147483647 118147 195 | 0.000 % |
89.53/89.64 c | 118271 | 11704 50033 151886 | 2147483647 118271 195 | 0.000 % |
89.73/89.80 c | 118404 | 11704 50033 151886 | 2147483647 118404 195 | 0.000 % |
89.83/89.97 c | 118553 | 11704 50033 151886 | 2147483647 118553 195 | 0.000 % |
90.04/90.18 c | 118713 | 11704 50033 151886 | 2147483647 118713 195 | 0.000 % |
90.33/90.42 c | 118889 | 11704 50033 151886 | 2147483647 118889 195 | 0.000 % |
90.53/90.66 c | 119084 | 11704 50033 151886 | 2147483647 119084 194 | 0.000 % |
90.83/90.93 c | 119297 | 11704 50033 151886 | 2147483647 119297 194 | 0.000 % |
91.13/91.22 c | 119530 | 11704 50033 151886 | 2147483647 119530 195 | 0.000 % |
91.43/91.55 c | 119786 | 11704 50033 151886 | 2147483647 119786 194 | 0.000 % |
91.73/91.83 c | 120067 | 11704 50033 151886 | 2147483647 120067 194 | 0.000 % |
92.03/92.17 c | 120378 | 11704 50033 151886 | 2147483647 120378 195 | 0.000 % |
92.42/92.54 c | 120717 | 11704 50033 151886 | 2147483647 120717 195 | 0.000 % |
92.83/92.98 c | 121089 | 11704 50033 151886 | 2147483647 121089 195 | 0.000 % |
93.33/93.50 c | 121499 | 11704 50033 151886 | 2147483647 121499 195 | 0.000 % |
93.83/93.97 c | 121949 | 11704 50033 151886 | 2147483647 121949 195 | 0.000 % |
94.33/94.48 c | 122442 | 11704 50033 151886 | 2147483647 122442 195 | 0.000 % |
94.93/95.10 c | 122985 | 11704 50033 151886 | 2147483647 122985 195 | 0.000 % |
95.63/95.80 c | 123582 | 11704 50033 151886 | 2147483647 123582 195 | 0.000 % |
96.42/96.53 c | 124237 | 11704 50033 151886 | 2147483647 124237 195 | 0.000 % |
97.13/97.25 c | 124957 | 11704 50033 151886 | 2147483647 124957 195 | 0.000 % |
97.93/98.05 c | 125749 | 11704 50033 151886 | 2147483647 125749 196 | 0.000 % |
98.83/98.97 c | 126621 | 11704 50033 151886 | 2147483647 126621 196 | 0.000 % |
99.93/100.03 c | 127579 | 11704 50033 151886 | 2147483647 127579 196 | 0.000 % |
101.12/101.26 c | 128632 | 11704 50033 151886 | 2147483647 128632 196 | 0.000 % |
102.42/102.58 c | 129790 | 11704 50033 151886 | 2147483647 129790 196 | 0.000 % |
103.82/103.96 c | 131064 | 11704 50033 151886 | 2147483647 131064 197 | 0.000 % |
105.42/105.54 c | 132466 | 11704 50033 151886 | 2147483647 132466 197 | 0.000 % |
105.52/105.66 c | 132566 | 11704 50033 151886 | 2147483647 132566 197 | 0.000 % |
105.72/105.82 c | 132677 | 11704 50033 151886 | 2147483647 132677 197 | 0.000 % |
105.82/105.99 c | 132799 | 11704 50033 151886 | 2147483647 132799 197 | 0.000 % |
106.02/106.15 c | 132932 | 11704 50033 151886 | 2147483647 132932 197 | 0.000 % |
106.22/106.33 c | 133079 | 11704 50033 151886 | 2147483647 133079 197 | 0.000 % |
106.42/106.55 c | 133240 | 11704 50033 151886 | 2147483647 133240 197 | 0.000 % |
106.62/106.78 c | 133417 | 11704 50033 151886 | 2147483647 133417 197 | 0.000 % |
106.92/107.02 c | 133612 | 11704 50033 151886 | 2147483647 133612 197 | 0.000 % |
107.12/107.30 c | 133824 | 11704 50033 151886 | 2147483647 133824 197 | 0.000 % |
107.42/107.59 c | 134057 | 11704 50033 151886 | 2147483647 134057 197 | 0.000 % |
107.82/107.93 c | 134314 | 11704 50033 151886 | 2147483647 134314 197 | 0.000 % |
108.12/108.28 c | 134595 | 11704 50033 151886 | 2147483647 134595 197 | 0.000 % |
108.61/108.71 c | 134905 | 11704 50033 151886 | 2147483647 134905 197 | 0.000 % |
109.01/109.12 c | 135246 | 11704 50033 151886 | 2147483647 135246 197 | 0.000 % |
109.41/109.59 c | 135618 | 11704 50033 151886 | 2147483647 135618 197 | 0.000 % |
109.93/110.09 c | 136027 | 11704 50033 151886 | 2147483647 136027 197 | 0.000 % |
110.52/110.65 c | 136478 | 11704 50033 151886 | 2147483647 136478 197 | 0.000 % |
111.12/111.26 c | 136972 | 11704 50033 151886 | 2147483647 136972 197 | 0.000 % |
111.82/111.90 c | 137516 | 11704 50033 151886 | 2147483647 137516 197 | 0.000 % |
112.41/112.58 c | 138112 | 11704 50033 151886 | 2147483647 138112 197 | 0.000 % |
113.22/113.35 c | 138767 | 11704 50033 151886 | 2147483647 138767 197 | 0.000 % |
114.12/114.20 c | 139490 | 11704 50033 151886 | 2147483647 139490 197 | 0.000 % |
115.02/115.15 c | 140284 | 11704 50033 151886 | 2147483647 140284 197 | 0.000 % |
116.01/116.12 c | 141155 | 11704 50033 151886 | 2147483647 141155 198 | 0.000 % |
117.02/117.11 c | 142113 | 11704 50033 151886 | 2147483647 142113 198 | 0.000 % |
118.32/118.40 c | 143166 | 11704 50033 151886 | 2147483647 143166 198 | 0.000 % |
119.61/119.74 c | 144326 | 11704 50033 151886 | 2147483647 144326 199 | 0.000 % |
121.12/121.21 c | 145599 | 11704 50033 151886 | 2147483647 145599 199 | 0.000 % |
122.82/122.92 c | 146999 | 11704 50033 151886 | 2147483647 146999 199 | 0.000 % |
124.61/124.78 c | 148540 | 11704 50033 151886 | 2147483647 148540 200 | 0.000 % |
124.81/124.95 c | 148640 | 11704 50033 151886 | 2147483647 148640 200 | 0.000 % |
125.01/125.12 c | 148751 | 11704 50033 151886 | 2147483647 148751 200 | 0.000 % |
125.22/125.30 c | 148876 | 11704 50033 151886 | 2147483647 148876 200 | 0.000 % |
125.41/125.52 c | 149012 | 11704 50033 151886 | 2147483647 149012 200 | 0.000 % |
125.61/125.77 c | 149160 | 11704 50033 151886 | 2147483647 149160 200 | 0.000 % |
125.81/125.97 c | 149320 | 11704 50033 151886 | 2147483647 149320 200 | 0.000 % |
126.11/126.21 c | 149499 | 11704 50033 151886 | 2147483647 149499 200 | 0.000 % |
126.31/126.49 c | 149692 | 11704 50033 151886 | 2147483647 149692 200 | 0.000 % |
126.61/126.79 c | 149907 | 11704 50033 151886 | 2147483647 149907 200 | 0.000 % |
127.01/127.10 c | 150140 | 11704 50033 151886 | 2147483647 150140 199 | 0.000 % |
127.31/127.46 c | 150396 | 11704 50033 151886 | 2147483647 150396 200 | 0.000 % |
127.72/127.86 c | 150678 | 11704 50033 151886 | 2147483647 150678 200 | 0.000 % |
128.11/128.23 c | 150987 | 11704 50033 151886 | 2147483647 150987 199 | 0.000 % |
128.52/128.70 c | 151330 | 11704 50033 151886 | 2147483647 151330 199 | 0.000 % |
129.11/129.21 c | 151702 | 11704 50033 151886 | 2147483647 151702 199 | 0.000 % |
129.62/129.73 c | 152111 | 11704 50033 151886 | 2147483647 152111 199 | 0.000 % |
130.21/130.36 c | 152560 | 11704 50033 151886 | 2147483647 152560 199 | 0.000 % |
130.81/130.99 c | 153054 | 11704 50033 151886 | 2147483647 153054 199 | 0.000 % |
131.61/131.75 c | 153596 | 11704 50033 151886 | 2147483647 153596 199 | 0.000 % |
132.31/132.49 c | 154192 | 11704 50033 151886 | 2147483647 154192 199 | 0.000 % |
133.21/133.31 c | 154847 | 11704 50033 151886 | 2147483647 154847 199 | 0.000 % |
134.11/134.26 c | 155568 | 11704 50033 151886 | 2147483647 155568 199 | 0.000 % |
135.11/135.25 c | 156361 | 11704 50033 151886 | 2147483647 156361 199 | 0.000 % |
136.22/136.37 c | 157232 | 11704 50033 151886 | 2147483647 157232 200 | 0.000 % |
137.51/137.62 c | 158190 | 11704 50033 151886 | 2147483647 158190 199 | 0.000 % |
138.81/138.94 c | 159243 | 11704 50033 151886 | 2147483647 159243 199 | 0.000 % |
140.30/140.46 c | 160402 | 11704 50033 151886 | 2147483647 160402 199 | 0.000 % |
141.91/142.04 c | 161678 | 11704 50033 151886 | 2147483647 161678 199 | 0.000 % |
143.70/143.85 c | 163078 | 11704 50033 151886 | 2147483647 163078 200 | 0.000 % |
145.71/145.84 c | 164620 | 11704 50033 151886 | 2147483647 164620 201 | 0.000 % |
147.80/147.96 c | 166314 | 11704 50033 151886 | 2147483647 166314 201 | 0.000 % |
148.01/148.12 c | 166414 | 11704 50033 151886 | 2147483647 166414 201 | 0.000 % |
148.21/148.30 c | 166524 | 11704 50033 151886 | 2147483647 166524 201 | 0.000 % |
148.41/148.51 c | 166645 | 11704 50033 151886 | 2147483647 166645 201 | 0.000 % |
148.61/148.71 c | 166781 | 11704 50033 151886 | 2147483647 166781 201 | 0.000 % |
148.80/148.91 c | 166927 | 11704 50033 151886 | 2147483647 166927 201 | 0.000 % |
149.00/149.11 c | 167087 | 11704 50033 151886 | 2147483647 167087 201 | 0.000 % |
149.30/149.41 c | 167263 | 11704 50033 151886 | 2147483647 167263 201 | 0.000 % |
149.60/149.70 c | 167456 | 11704 50033 151886 | 2147483647 167456 201 | 0.000 % |
149.89/150.03 c | 167673 | 11704 50033 151886 | 2147483647 167673 201 | 0.000 % |
150.19/150.35 c | 167907 | 11704 50033 151886 | 2147483647 167907 201 | 0.000 % |
150.60/150.72 c | 168164 | 11704 50033 151886 | 2147483647 168164 201 | 0.000 % |
151.00/151.13 c | 168448 | 11704 50033 151886 | 2147483647 168448 201 | 0.000 % |
151.40/151.58 c | 168757 | 11704 50033 151886 | 2147483647 168757 201 | 0.000 % |
151.90/152.03 c | 169097 | 11704 50033 151886 | 2147483647 169097 201 | 0.000 % |
152.40/152.52 c | 169469 | 11704 50033 151886 | 2147483647 169469 201 | 0.000 % |
153.00/153.10 c | 169879 | 11704 50033 151886 | 2147483647 169879 201 | 0.000 % |
153.49/153.61 c | 170328 | 11704 50033 151886 | 2147483647 170328 201 | 0.000 % |
153.99/154.18 c | 170822 | 11704 50033 151886 | 2147483647 170822 201 | 0.000 % |
154.79/154.92 c | 171366 | 11704 50033 151886 | 2147483647 171366 201 | 0.000 % |
155.59/155.74 c | 171964 | 11704 50033 151886 | 2147483647 171964 201 | 0.000 % |
156.49/156.61 c | 172619 | 11704 50033 151886 | 2147483647 172619 201 | 0.000 % |
157.39/157.55 c | 173339 | 11704 50033 151886 | 2147483647 173339 201 | 0.000 % |
158.50/158.61 c | 174131 | 11704 50033 151886 | 2147483647 174131 201 | 0.000 % |
159.59/159.73 c | 175004 | 11704 50033 151886 | 2147483647 175004 202 | 0.000 % |
160.89/161.05 c | 175962 | 11704 50033 151886 | 2147483647 175962 202 | 0.000 % |
162.29/162.47 c | 177015 | 11704 50033 151886 | 2147483647 177015 202 | 0.000 % |
163.89/164.08 c | 178173 | 11704 50033 151886 | 2147483647 178173 202 | 0.000 % |
165.69/165.82 c | 179446 | 11704 50033 151886 | 2147483647 179446 202 | 0.000 % |
167.59/167.77 c | 180846 | 11704 50033 151886 | 2147483647 180846 202 | 0.000 % |
169.79/169.92 c | 182389 | 11704 50033 151886 | 2147483647 182389 202 | 0.000 % |
172.09/172.21 c | 184083 | 11704 50033 151886 | 2147483647 184083 203 | 0.000 % |
174.58/174.78 c | 185946 | 11704 50033 151886 | 2147483647 185946 203 | 0.000 % |
174.80/174.97 c | 186048 | 11704 50033 151886 | 2147483647 186048 203 | 0.000 % |
174.99/175.18 c | 186158 | 11704 50033 151886 | 2147483647 186158 203 | 0.000 % |
175.19/175.39 c | 186279 | 11704 50033 151886 | 2147483647 186279 203 | 0.000 % |
175.49/175.61 c | 186413 | 11704 50033 151886 | 2147483647 186413 203 | 0.000 % |
175.69/175.88 c | 186561 | 11704 50033 151886 | 2147483647 186561 203 | 0.000 % |
175.99/176.16 c | 186721 | 11704 50033 151886 | 2147483647 186721 203 | 0.000 % |
176.29/176.46 c | 186898 | 11704 50033 151886 | 2147483647 186898 203 | 0.000 % |
176.59/176.78 c | 187091 | 11704 50033 151886 | 2147483647 187091 203 | 0.000 % |
176.99/177.14 c | 187303 | 11704 50033 151886 | 2147483647 187303 203 | 0.000 % |
177.39/177.52 c | 187537 | 11704 50033 151886 | 2147483647 187537 203 | 0.000 % |
177.79/177.91 c | 187793 | 11704 50033 151886 | 2147483647 187793 203 | 0.000 % |
178.19/178.38 c | 188074 | 11704 50033 151886 | 2147483647 188074 203 | 0.000 % |
178.69/178.88 c | 188383 | 11704 50033 151886 | 2147483647 188383 203 | 0.000 % |
179.28/179.42 c | 188722 | 11704 50033 151886 | 2147483647 188722 203 | 0.000 % |
179.88/180.01 c | 189095 | 11704 50033 151886 | 2147483647 189095 203 | 0.000 % |
180.48/180.64 c | 189504 | 11704 50033 151886 | 2147483647 189504 203 | 0.000 % |
181.18/181.35 c | 189953 | 11704 50033 151886 | 2147483647 189953 203 | 0.000 % |
181.99/182.17 c | 190446 | 11704 50033 151886 | 2147483647 190446 203 | 0.000 % |
182.79/182.93 c | 190989 | 11704 50033 151886 | 2147483647 190989 203 | 0.000 % |
183.69/183.84 c | 191586 | 11704 50033 151886 | 2147483647 191586 203 | 0.000 % |
184.69/184.85 c | 192241 | 11704 50033 151886 | 2147483647 192241 203 | 0.000 % |
185.79/185.91 c | 192961 | 11704 50033 151886 | 2147483647 192961 203 | 0.000 % |
186.88/187.08 c | 193756 | 11704 50033 151886 | 2147483647 193756 203 | 0.000 % |
188.19/188.34 c | 194627 | 11704 50033 151886 | 2147483647 194627 203 | 0.000 % |
189.48/189.68 c | 195590 | 11704 50033 151886 | 2147483647 195590 204 | 0.000 % |
191.08/191.29 c | 196644 | 11704 50033 151886 | 2147483647 196644 204 | 0.000 % |
192.88/193.03 c | 197803 | 11704 50033 151886 | 2147483647 197803 204 | 0.000 % |
194.78/194.90 c | 199076 | 11704 50033 151886 | 2147483647 199076 204 | 0.000 % |
196.78/196.99 c | 200476 | 11704 50033 151886 | 2147483647 200476 204 | 0.000 % |
198.99/199.16 c | 202016 | 11704 50033 151886 | 2147483647 202016 204 | 0.000 % |
201.58/201.77 c | 203710 | 11704 50033 151886 | 2147483647 203710 204 | 0.000 % |
204.38/204.51 c | 205573 | 11704 50033 151886 | 2147483647 205573 204 | 0.000 % |
207.47/207.60 c | 207623 | 11704 50033 151886 | 2147483647 207623 205 | 0.000 % |
207.57/207.78 c | 207724 | 11704 50033 151886 | 2147483647 207724 205 | 0.000 % |
207.78/207.99 c | 207834 | 11704 50033 151886 | 2147483647 207834 205 | 0.000 % |
208.07/208.21 c | 207955 | 11704 50033 151886 | 2147483647 207955 205 | 0.000 % |
208.27/208.46 c | 208088 | 11704 50033 151886 | 2147483647 208088 205 | 0.000 % |
208.57/208.72 c | 208235 | 11704 50033 151886 | 2147483647 208235 205 | 0.000 % |
208.87/209.02 c | 208396 | 11704 50033 151886 | 2147483647 208396 205 | 0.000 % |
209.17/209.35 c | 208573 | 11704 50033 151886 | 2147483647 208573 205 | 0.000 % |
209.57/209.73 c | 208766 | 11704 50033 151886 | 2147483647 208766 204 | 0.000 % |
209.87/210.08 c | 208978 | 11704 50033 151886 | 2147483647 208978 204 | 0.000 % |
210.38/210.51 c | 209211 | 11704 50033 151886 | 2147483647 209211 204 | 0.000 % |
210.78/210.97 c | 209469 | 11704 50033 151886 | 2147483647 209469 204 | 0.000 % |
211.28/211.44 c | 209750 | 11704 50033 151886 | 2147483647 209750 204 | 0.000 % |
211.78/211.98 c | 210061 | 11704 50033 151886 | 2147483647 210061 204 | 0.000 % |
212.38/212.56 c | 210401 | 11704 50033 151886 | 2147483647 210401 204 | 0.000 % |
213.08/213.21 c | 210773 | 11704 50033 151886 | 2147483647 210773 204 | 0.000 % |
213.78/213.92 c | 211183 | 11704 50033 151886 | 2147483647 211183 204 | 0.000 % |
214.48/214.68 c | 211632 | 11704 50033 151886 | 2147483647 211632 204 | 0.000 % |
215.28/215.49 c | 212126 | 11704 50033 151886 | 2147483647 212126 204 | 0.000 % |
216.27/216.40 c | 212669 | 11704 50033 151886 | 2147483647 212669 204 | 0.000 % |
217.17/217.35 c | 213266 | 11704 50033 151886 | 2147483647 213266 204 | 0.000 % |
218.17/218.31 c | 213922 | 11704 50033 151886 | 2147483647 213922 204 | 0.000 % |
219.27/219.47 c | 214644 | 11704 50033 151886 | 2147483647 214644 204 | 0.000 % |
220.57/220.74 c | 215436 | 11704 50033 151886 | 2147483647 215436 204 | 0.000 % |
221.87/222.08 c | 216309 | 11704 50033 151886 | 2147483647 216309 204 | 0.000 % |
223.38/223.50 c | 217267 | 11704 50033 151886 | 2147483647 217267 205 | 0.000 % |
224.97/225.17 c | 218320 | 11704 50033 151886 | 2147483647 218320 205 | 0.000 % |
226.87/227.00 c | 219479 | 11704 50033 151886 | 2147483647 219479 205 | 0.000 % |
228.67/228.89 c | 220752 | 11704 50033 151886 | 2147483647 220752 205 | 0.000 % |
230.87/231.07 c | 222153 | 11704 50033 151886 | 2147483647 222153 205 | 0.000 % |
233.37/233.51 c | 223693 | 11704 50033 151886 | 2147483647 223693 205 | 0.000 % |
235.96/236.10 c | 225389 | 11704 50033 151886 | 2147483647 225389 206 | 0.000 % |
238.66/238.87 c | 227252 | 11704 50033 151886 | 2147483647 227252 206 | 0.000 % |
242.06/242.21 c | 229302 | 11704 50033 151886 | 2147483647 229302 206 | 0.000 % |
245.66/245.86 c | 231556 | 11704 50033 151886 | 2147483647 231556 206 | 0.000 % |
245.96/246.12 c | 231656 | 11704 50033 151886 | 2147483647 231656 206 | 0.000 % |
246.16/246.35 c | 231766 | 11704 50033 151886 | 2147483647 231766 206 | 0.000 % |
246.36/246.59 c | 231887 | 11704 50033 151886 | 2147483647 231887 206 | 0.000 % |
246.66/246.87 c | 232021 | 11704 50033 151886 | 2147483647 232021 206 | 0.000 % |
246.96/247.16 c | 232169 | 11704 50033 151886 | 2147483647 232169 206 | 0.000 % |
247.26/247.48 c | 232329 | 11704 50033 151886 | 2147483647 232329 206 | 0.000 % |
247.67/247.81 c | 232506 | 11704 50033 151886 | 2147483647 232506 206 | 0.000 % |
248.07/248.24 c | 232699 | 11704 50033 151886 | 2147483647 232699 206 | 0.000 % |
248.47/248.63 c | 232911 | 11704 50033 151886 | 2147483647 232911 206 | 0.000 % |
248.87/249.06 c | 233144 | 11704 50033 151886 | 2147483647 233144 206 | 0.000 % |
249.36/249.52 c | 233400 | 11704 50033 151886 | 2147483647 233400 206 | 0.000 % |
249.86/250.03 c | 233682 | 11704 50033 151886 | 2147483647 233682 206 | 0.000 % |
250.36/250.57 c | 233992 | 11704 50033 151886 | 2147483647 233992 206 | 0.000 % |
250.96/251.15 c | 234334 | 11704 50033 151886 | 2147483647 234334 206 | 0.000 % |
251.66/251.81 c | 234706 | 11704 50033 151886 | 2147483647 234706 206 | 0.000 % |
252.36/252.53 c | 235115 | 11704 50033 151886 | 2147483647 235115 206 | 0.000 % |
253.06/253.27 c | 235564 | 11704 50033 151886 | 2147483647 235564 206 | 0.000 % |
253.96/254.19 c | 236057 | 11704 50033 151886 | 2147483647 236057 206 | 0.000 % |
254.85/255.08 c | 236599 | 11704 50033 151886 | 2147483647 236599 206 | 0.000 % |
255.86/256.09 c | 237195 | 11704 50033 151886 | 2147483647 237195 206 | 0.000 % |
257.06/257.23 c | 237852 | 11704 50033 151886 | 2147483647 237852 206 | 0.000 % |
258.37/258.51 c | 238572 | 11704 50033 151886 | 2147483647 238572 206 | 0.000 % |
259.86/260.01 c | 239366 | 11704 50033 151886 | 2147483647 239366 206 | 0.000 % |
261.36/261.51 c | 240237 | 11704 50033 151886 | 2147483647 240237 206 | 0.000 % |
262.96/263.15 c | 241195 | 11704 50033 151886 | 2147483647 241195 206 | 0.000 % |
264.75/264.94 c | 242252 | 11704 50033 151886 | 2147483647 242252 206 | 0.000 % |
266.75/266.92 c | 243411 | 11704 50033 151886 | 2147483647 243411 206 | 0.000 % |
268.75/268.97 c | 244684 | 11704 50033 151886 | 2147483647 244684 206 | 0.000 % |
271.15/271.31 c | 246084 | 11704 50033 151886 | 2147483647 246084 206 | 0.000 % |
273.76/273.94 c | 247624 | 11704 50033 151886 | 2147483647 247624 206 | 0.000 % |
276.55/276.74 c | 249320 | 11704 50033 151886 | 2147483647 249320 206 | 0.000 % |
279.65/279.88 c | 251185 | 11704 50033 151886 | 2147483647 251185 207 | 0.000 % |
283.16/283.38 c | 253234 | 11704 50033 151886 | 2147483647 253234 207 | 0.000 % |
287.05/287.24 c | 255492 | 11704 50033 151886 | 2147483647 255492 207 | 0.000 % |
291.25/291.47 c | 257970 | 11704 50033 151886 | 2147483647 257970 207 | 0.000 % |
291.45/291.66 c | 258070 | 11704 50033 151886 | 2147483647 258070 207 | 0.000 % |
291.75/291.97 c | 258183 | 11704 50033 151886 | 2147483647 258183 207 | 0.000 % |
292.05/292.24 c | 258305 | 11704 50033 151886 | 2147483647 258305 207 | 0.000 % |
292.35/292.51 c | 258438 | 11704 50033 151886 | 2147483647 258438 207 | 0.000 % |
292.65/292.83 c | 258585 | 11704 50033 151886 | 2147483647 258585 207 | 0.000 % |
293.05/293.20 c | 258745 | 11704 50033 151886 | 2147483647 258745 207 | 0.000 % |
293.35/293.56 c | 258921 | 11704 50033 151886 | 2147483647 258921 207 | 0.000 % |
293.75/293.99 c | 259115 | 11704 50033 151886 | 2147483647 259115 207 | 0.000 % |
294.25/294.43 c | 259327 | 11704 50033 151886 | 2147483647 259327 207 | 0.000 % |
294.74/294.90 c | 259560 | 11704 50033 151886 | 2147483647 259560 207 | 0.000 % |
295.34/295.52 c | 259816 | 11704 50033 151886 | 2147483647 259816 207 | 0.000 % |
295.85/296.02 c | 260097 | 11704 50033 151886 | 2147483647 260097 207 | 0.000 % |
296.55/296.71 c | 260406 | 11704 50033 151886 | 2147483647 260406 207 | 0.000 % |
297.15/297.39 c | 260748 | 11704 50033 151886 | 2147483647 260748 207 | 0.000 % |
297.85/298.09 c | 261120 | 11704 50033 151886 | 2147483647 261120 207 | 0.000 % |
298.75/298.90 c | 261529 | 11704 50033 151886 | 2147483647 261529 207 | 0.000 % |
299.64/299.81 c | 261978 | 11704 50033 151886 | 2147483647 261978 207 | 0.000 % |
300.54/300.78 c | 262472 | 11704 50033 151886 | 2147483647 262472 207 | 0.000 % |
301.54/301.79 c | 263014 | 11704 50033 151886 | 2147483647 263014 207 | 0.000 % |
302.75/302.91 c | 263610 | 11704 50033 151886 | 2147483647 263610 207 | 0.000 % |
303.94/304.13 c | 264266 | 11704 50033 151886 | 2147483647 264266 207 | 0.000 % |
305.24/305.44 c | 264987 | 11704 50033 151886 | 2147483647 264987 207 | 0.000 % |
306.75/306.96 c | 265779 | 11704 50033 151886 | 2147483647 265779 207 | 0.000 % |
308.24/308.41 c | 266651 | 11704 50033 151886 | 2147483647 266651 207 | 0.000 % |
309.85/310.09 c | 267613 | 11704 50033 151886 | 2147483647 267613 207 | 0.000 % |
311.74/311.96 c | 268666 | 11704 50033 151886 | 2147483647 268666 207 | 0.000 % |
313.84/314.04 c | 269828 | 11704 50033 151886 | 2147483647 269828 207 | 0.000 % |
316.14/316.34 c | 271103 | 11704 50033 151886 | 2147483647 271103 207 | 0.000 % |
318.64/318.88 c | 272504 | 11704 50033 151886 | 2147483647 272504 207 | 0.000 % |
321.54/321.73 c | 274046 | 11704 50033 151886 | 2147483647 274046 207 | 0.000 % |
324.64/324.88 c | 275740 | 11704 50033 151886 | 2147483647 275740 207 | 0.000 % |
328.04/328.29 c | 277603 | 11704 50033 151886 | 2147483647 277603 207 | 0.000 % |
331.73/331.96 c | 279653 | 11704 50033 151886 | 2147483647 279653 207 | 0.000 % |
335.93/336.14 c | 281906 | 11704 50033 151886 | 2147483647 281906 208 | 0.000 % |
340.54/340.76 c | 284384 | 11704 50033 151886 | 2147483647 284384 208 | 0.000 % |
345.33/345.56 c | 287109 | 11704 50033 151886 | 2147483647 287109 209 | 0.000 % |
345.63/345.80 c | 287211 | 11704 50033 151886 | 2147483647 287211 209 | 0.000 % |
345.84/346.04 c | 287322 | 11704 50033 151886 | 2147483647 287322 209 | 0.000 % |
346.14/346.36 c | 287444 | 11704 50033 151886 | 2147483647 287444 209 | 0.000 % |
346.53/346.72 c | 287579 | 11704 50033 151886 | 2147483647 287579 209 | 0.000 % |
346.83/347.08 c | 287725 | 11704 50033 151886 | 2147483647 287725 209 | 0.000 % |
347.23/347.44 c | 287886 | 11704 50033 151886 | 2147483647 287886 209 | 0.000 % |
347.63/347.84 c | 288062 | 11704 50033 151886 | 2147483647 288062 209 | 0.000 % |
348.03/348.28 c | 288255 | 11704 50033 151886 | 2147483647 288255 208 | 0.000 % |
348.53/348.72 c | 288468 | 11704 50033 151886 | 2147483647 288468 208 | 0.000 % |
349.03/349.29 c | 288701 | 11704 50033 151886 | 2147483647 288701 208 | 0.000 % |
349.63/349.85 c | 288959 | 11704 50033 151886 | 2147483647 288959 208 | 0.000 % |
350.23/350.48 c | 289241 | 11704 50033 151886 | 2147483647 289241 208 | 0.000 % |
350.93/351.15 c | 289550 | 11704 50033 151886 | 2147483647 289550 208 | 0.000 % |
351.73/351.94 c | 289889 | 11704 50033 151886 | 2147483647 289889 208 | 0.000 % |
352.63/352.82 c | 290261 | 11704 50033 151886 | 2147483647 290261 208 | 0.000 % |
353.43/353.64 c | 290672 | 11704 50033 151886 | 2147483647 290672 208 | 0.000 % |
354.33/354.57 c | 291123 | 11704 50033 151886 | 2147483647 291123 208 | 0.000 % |
355.43/355.61 c | 291619 | 11704 50033 151886 | 2147483647 291619 208 | 0.000 % |
356.53/356.72 c | 292161 | 11704 50033 151886 | 2147483647 292161 208 | 0.000 % |
357.73/357.91 c | 292757 | 11704 50033 151886 | 2147483647 292757 208 | 0.000 % |
359.03/359.29 c | 293414 | 11704 50033 151886 | 2147483647 293414 208 | 0.000 % |
360.53/360.75 c | 294135 | 11704 50033 151886 | 2147483647 294135 208 | 0.000 % |
362.02/362.26 c | 294927 | 11704 50033 151886 | 2147483647 294927 208 | 0.000 % |
363.73/363.97 c | 295799 | 11704 50033 151886 | 2147483647 295799 208 | 0.000 % |
365.63/365.87 c | 296757 | 11704 50033 151886 | 2147483647 296757 208 | 0.000 % |
367.62/367.84 c | 297810 | 11704 50033 151886 | 2147483647 297810 208 | 0.000 % |
369.92/370.11 c | 298971 | 11704 50033 151886 | 2147483647 298971 208 | 0.000 % |
372.33/372.53 c | 300247 | 11704 50033 151886 | 2147483647 300247 208 | 0.000 % |
375.02/375.26 c | 301647 | 11704 50033 151886 | 2147483647 301647 209 | 0.000 % |
378.12/378.36 c | 303189 | 11704 50033 151886 | 2147483647 303189 209 | 0.000 % |
381.62/381.85 c | 304884 | 11704 50033 151886 | 2147483647 304884 209 | 0.000 % |
385.12/385.37 c | 306748 | 11704 50033 151886 | 2147483647 306748 209 | 0.000 % |
389.22/389.47 c | 308797 | 11704 50033 151886 | 2147483647 308797 209 | 0.000 % |
393.62/393.89 c | 311052 | 11704 50033 151886 | 2147483647 311052 210 | 0.000 % |
398.82/399.09 c | 313531 | 11704 50033 151886 | 2147483647 313531 210 | 0.000 % |
404.41/404.65 c | 316256 | 11704 50033 151886 | 2147483647 316256 210 | 0.000 % |
409.81/410.08 c | 319254 | 11704 50033 151886 | 2147483647 319254 210 | 0.000 % |
410.12/410.32 c | 319354 | 11704 50033 151886 | 2147483647 319354 210 | 0.000 % |
410.41/410.62 c | 319465 | 11704 50033 151886 | 2147483647 319465 210 | 0.000 % |
410.71/410.96 c | 319586 | 11704 50033 151886 | 2147483647 319586 210 | 0.000 % |
411.12/411.36 c | 319719 | 11704 50033 151886 | 2147483647 319719 210 | 0.000 % |
411.51/411.73 c | 319865 | 11704 50033 151886 | 2147483647 319865 210 | 0.000 % |
411.81/412.08 c | 320025 | 11704 50033 151886 | 2147483647 320025 210 | 0.000 % |
412.31/412.58 c | 320201 | 11704 50033 151886 | 2147483647 320201 210 | 0.000 % |
412.81/413.06 c | 320394 | 11704 50033 151886 | 2147483647 320394 210 | 0.000 % |
413.31/413.57 c | 320606 | 11704 50033 151886 | 2147483647 320606 210 | 0.000 % |
413.91/414.16 c | 320840 | 11704 50033 151886 | 2147483647 320840 210 | 0.000 % |
414.51/414.73 c | 321097 | 11704 50033 151886 | 2147483647 321097 210 | 0.000 % |
415.21/415.47 c | 321378 | 11704 50033 151886 | 2147483647 321378 210 | 0.000 % |
416.01/416.29 c | 321687 | 11704 50033 151886 | 2147483647 321687 210 | 0.000 % |
416.90/417.11 c | 322027 | 11704 50033 151886 | 2147483647 322027 210 | 0.000 % |
417.82/418.05 c | 322399 | 11704 50033 151886 | 2147483647 322399 210 | 0.000 % |
418.61/418.88 c | 322808 | 11704 50033 151886 | 2147483647 322808 210 | 0.000 % |
419.61/419.84 c | 323257 | 11704 50033 151886 | 2147483647 323257 210 | 0.000 % |
420.71/420.94 c | 323750 | 11704 50033 151886 | 2147483647 323750 210 | 0.000 % |
421.90/422.16 c | 324292 | 11704 50033 151886 | 2147483647 324292 210 | 0.000 % |
423.31/423.50 c | 324891 | 11704 50033 151886 | 2147483647 324891 210 | 0.000 % |
424.71/424.98 c | 325546 | 11704 50033 151886 | 2147483647 325546 210 | 0.000 % |
426.40/426.62 c | 326266 | 11704 50033 151886 | 2147483647 326266 210 | 0.000 % |
428.10/428.32 c | 327058 | 11704 50033 151886 | 2147483647 327058 210 | 0.000 % |
430.11/430.32 c | 327930 | 11704 50033 151886 | 2147483647 327930 210 | 0.000 % |
432.30/432.55 c | 328889 | 11704 50033 151886 | 2147483647 328889 210 | 0.000 % |
434.60/434.83 c | 329942 | 11704 50033 151886 | 2147483647 329942 210 | 0.000 % |
437.00/437.21 c | 331100 | 11704 50033 151886 | 2147483647 331100 210 | 0.000 % |
439.60/439.88 c | 332373 | 11704 50033 151886 | 2147483647 332373 210 | 0.000 % |
442.80/443.00 c | 333773 | 11704 50033 151886 | 2147483647 333773 210 | 0.000 % |
446.00/446.28 c | 335315 | 11704 50033 151886 | 2147483647 335315 210 | 0.000 % |
449.61/449.89 c | 337012 | 11704 50033 151886 | 2147483647 337012 210 | 0.000 % |
453.60/453.89 c | 338876 | 11704 50033 151886 | 2147483647 338876 210 | 0.000 % |
457.99/458.21 c | 340926 | 11704 50033 151886 | 2147483647 340926 210 | 0.000 % |
462.59/462.88 c | 343179 | 11704 50033 151886 | 2147483647 343179 210 | 0.000 % |
468.00/468.22 c | 345658 | 11704 50033 151886 | 2147483647 345658 211 | 0.000 % |
473.89/474.11 c | 348383 | 11704 50033 151886 | 2147483647 348383 211 | 0.000 % |
480.59/480.83 c | 351380 | 11704 50033 151886 | 2147483647 351380 211 | 0.000 % |
487.89/488.17 c | 354676 | 11704 50033 151886 | 2147483647 354676 211 | 0.000 % |
488.19/488.41 c | 354776 | 11704 50033 151886 | 2147483647 354776 211 | 0.000 % |
488.49/488.72 c | 354889 | 11704 50033 151886 | 2147483647 354889 211 | 0.000 % |
488.89/489.12 c | 355010 | 11704 50033 151886 | 2147483647 355010 211 | 0.000 % |
489.29/489.53 c | 355144 | 11704 50033 151886 | 2147483647 355144 211 | 0.000 % |
489.68/489.98 c | 355291 | 11704 50033 151886 | 2147483647 355291 211 | 0.000 % |
490.18/490.48 c | 355452 | 11704 50033 151886 | 2147483647 355452 211 | 0.000 % |
490.68/490.90 c | 355628 | 11704 50033 151886 | 2147483647 355628 211 | 0.000 % |
491.18/491.44 c | 355821 | 11704 50033 151886 | 2147483647 355821 211 | 0.000 % |
491.78/492.03 c | 356033 | 11704 50033 151886 | 2147483647 356033 211 | 0.000 % |
492.49/492.73 c | 356267 | 11704 50033 151886 | 2147483647 356267 211 | 0.000 % |
493.28/493.57 c | 356527 | 11704 50033 151886 | 2147483647 356527 211 | 0.000 % |
494.08/494.34 c | 356808 | 11704 50033 151886 | 2147483647 356808 211 | 0.000 % |
494.88/495.18 c | 357117 | 11704 50033 151886 | 2147483647 357117 211 | 0.000 % |
495.79/496.04 c | 357458 | 11704 50033 151886 | 2147483647 357458 211 | 0.000 % |
496.68/496.92 c | 357830 | 11704 50033 151886 | 2147483647 357830 211 | 0.000 % |
497.58/497.88 c | 358240 | 11704 50033 151886 | 2147483647 358240 211 | 0.000 % |
498.68/498.98 c | 358691 | 11704 50033 151886 | 2147483647 358691 211 | 0.000 % |
499.78/500.03 c | 359184 | 11704 50033 151886 | 2147483647 359184 211 | 0.000 % |
501.08/501.34 c | 359727 | 11704 50033 151886 | 2147483647 359727 211 | 0.000 % |
502.58/502.84 c | 360325 | 11704 50033 151886 | 2147483647 360325 211 | 0.000 % |
504.08/504.38 c | 360983 | 11704 50033 151886 | 2147483647 360983 211 | 0.000 % |
505.88/506.15 c | 361705 | 11704 50033 151886 | 2147483647 361705 211 | 0.000 % |
507.77/508.03 c | 362497 | 11704 50033 151886 | 2147483647 362497 211 | 0.000 % |
509.88/510.20 c | 363368 | 11704 50033 151886 | 2147483647 363368 211 | 0.000 % |
512.18/512.45 c | 364327 | 11704 50033 151886 | 2147483647 364327 211 | 0.000 % |
514.78/515.02 c | 365383 | 11704 50033 151886 | 2147483647 365383 211 | 0.000 % |
517.47/517.75 c | 366542 | 11704 50033 151886 | 2147483647 366542 211 | 0.000 % |
520.48/520.77 c | 367815 | 11704 50033 151886 | 2147483647 367815 211 | 0.000 % |
523.67/523.92 c | 369215 | 11704 50033 151886 | 2147483647 369215 211 | 0.000 % |
527.27/527.52 c | 370757 | 11704 50033 151886 | 2147483647 370757 211 | 0.000 % |
530.98/531.21 c | 372451 | 11704 50033 151886 | 2147483647 372451 212 | 0.000 % |
535.17/535.43 c | 374317 | 11704 50033 151886 | 2147483647 374317 212 | 0.000 % |
539.97/540.30 c | 376367 | 11704 50033 151886 | 2147483647 376367 212 | 0.000 % |
545.07/545.40 c | 378620 | 11704 50033 151886 | 2147483647 378620 212 | 0.000 % |
550.67/550.96 c | 381098 | 11704 50033 151886 | 2147483647 381098 213 | 0.000 % |
557.16/557.44 c | 383823 | 11704 50033 151886 | 2147483647 383823 213 | 0.000 % |
564.46/564.77 c | 386821 | 11704 50033 151886 | 2147483647 386821 213 | 0.000 % |
571.96/572.23 c | 390117 | 11704 50033 151886 | 2147483647 390117 213 | 0.000 % |
580.26/580.55 c | 393742 | 11704 50033 151886 | 2147483647 393742 214 | 0.000 % |
580.57/580.83 c | 393843 | 11704 50033 151886 | 2147483647 393843 214 | 0.000 % |
580.86/581.19 c | 393954 | 11704 50033 151886 | 2147483647 393954 214 | 0.000 % |
581.26/581.56 c | 394076 | 11704 50033 151886 | 2147483647 394076 214 | 0.000 % |
581.66/581.99 c | 394210 | 11704 50033 151886 | 2147483647 394210 214 | 0.000 % |
582.16/582.49 c | 394357 | 11704 50033 151886 | 2147483647 394357 214 | 0.000 % |
582.76/583.07 c | 394518 | 11704 50033 151886 | 2147483647 394518 214 | 0.000 % |
583.36/583.65 c | 394694 | 11704 50033 151886 | 2147483647 394694 214 | 0.000 % |
583.96/584.23 c | 394888 | 11704 50033 151886 | 2147483647 394888 214 | 0.000 % |
584.56/584.89 c | 395101 | 11704 50033 151886 | 2147483647 395101 214 | 0.000 % |
585.35/585.64 c | 395334 | 11704 50033 151886 | 2147483647 395334 214 | 0.000 % |
586.06/586.36 c | 395590 | 11704 50033 151886 | 2147483647 395590 214 | 0.000 % |
586.95/587.25 c | 395872 | 11704 50033 151886 | 2147483647 395872 214 | 0.000 % |
587.85/588.11 c | 396182 | 11704 50033 151886 | 2147483647 396182 214 | 0.000 % |
588.85/589.10 c | 396522 | 11704 50033 151886 | 2147483647 396522 213 | 0.000 % |
589.96/590.22 c | 396896 | 11704 50033 151886 | 2147483647 396896 213 | 0.000 % |
590.96/591.27 c | 397305 | 11704 50033 151886 | 2147483647 397305 213 | 0.000 % |
592.16/592.46 c | 397754 | 11704 50033 151886 | 2147483647 397754 213 | 0.000 % |
593.46/593.73 c | 398247 | 11704 50033 151886 | 2147483647 398247 213 | 0.000 % |
594.95/595.21 c | 398789 | 11704 50033 151886 | 2147483647 398789 213 | 0.000 % |
596.45/596.76 c | 399385 | 11704 50033 151886 | 2147483647 399385 213 | 0.000 % |
598.25/598.53 c | 400040 | 11704 50033 151886 | 2147483647 400040 213 | 0.000 % |
600.25/600.55 c | 400762 | 11704 50033 151886 | 2147483647 400762 213 | 0.000 % |
602.35/602.61 c | 401555 | 11704 50033 151886 | 2147483647 401555 213 | 0.000 % |
604.55/604.87 c | 402426 | 11704 50033 151886 | 2147483647 402426 213 | 0.000 % |
607.05/607.30 c | 403385 | 11704 50033 151886 | 2147483647 403385 213 | 0.000 % |
609.65/609.93 c | 404438 | 11704 50033 151886 | 2147483647 404438 213 | 0.000 % |
612.45/612.78 c | 405596 | 11704 50033 151886 | 2147483647 405596 213 | 0.000 % |
615.65/615.91 c | 406870 | 11704 50033 151886 | 2147483647 406870 213 | 0.000 % |
619.05/619.38 c | 408270 | 11704 50033 151886 | 2147483647 408270 214 | 0.000 % |
623.24/623.57 c | 409810 | 11704 50033 151886 | 2147483647 409810 214 | 0.000 % |
627.45/627.70 c | 411504 | 11704 50033 151886 | 2147483647 411504 214 | 0.000 % |
632.04/632.38 c | 413368 | 11704 50033 151886 | 2147483647 413368 214 | 0.000 % |
637.14/637.47 c | 415418 | 11704 50033 151886 | 2147483647 415418 214 | 0.000 % |
642.84/643.17 c | 417674 | 11704 50033 151886 | 2147483647 417674 214 | 0.000 % |
648.84/649.19 c | 420153 | 11704 50033 151886 | 2147483647 420153 214 | 0.000 % |
655.34/655.66 c | 422879 | 11704 50033 151886 | 2147483647 422879 214 | 0.000 % |
663.13/663.46 c | 425877 | 11704 50033 151886 | 2147483647 425877 215 | 0.000 % |
671.33/671.66 c | 429173 | 11704 50033 151886 | 2147483647 429173 215 | 0.000 % |
680.83/681.19 c | 432801 | 11704 50033 151886 | 2147483647 432801 215 | 0.000 % |
690.83/691.14 c | 436788 | 11704 50033 151886 | 2147483647 436788 215 | 0.000 % |
691.13/691.50 c | 436890 | 11704 50033 151886 | 2147483647 436890 215 | 0.000 % |
691.53/691.87 c | 437002 | 11704 50033 151886 | 2147483647 437002 215 | 0.000 % |
692.03/692.33 c | 437123 | 11704 50033 151886 | 2147483647 437123 215 | 0.000 % |
692.43/692.75 c | 437258 | 11704 50033 151886 | 2147483647 437258 215 | 0.000 % |
692.93/693.28 c | 437405 | 11704 50033 151886 | 2147483647 437405 215 | 0.000 % |
693.53/693.88 c | 437565 | 11704 50033 151886 | 2147483647 437565 215 | 0.000 % |
694.13/694.49 c | 437744 | 11704 50033 151886 | 2147483647 437744 215 | 0.000 % |
694.83/695.15 c | 437937 | 11704 50033 151886 | 2147483647 437937 215 | 0.000 % |
695.63/695.92 c | 438149 | 11704 50033 151886 | 2147483647 438149 215 | 0.000 % |
696.33/696.61 c | 438384 | 11704 50033 151886 | 2147483647 438384 215 | 0.000 % |
697.03/697.39 c | 438640 | 11704 50033 151886 | 2147483647 438640 215 | 0.000 % |
697.92/698.30 c | 438924 | 11704 50033 151886 | 2147483647 438924 215 | 0.000 % |
698.92/699.20 c | 439236 | 11704 50033 151886 | 2147483647 439236 215 | 0.000 % |
699.92/700.29 c | 439576 | 11704 50033 151886 | 2147483647 439576 215 | 0.000 % |
701.22/701.55 c | 439949 | 11704 50033 151886 | 2147483647 439949 215 | 0.000 % |
702.53/702.86 c | 440360 | 11704 50033 151886 | 2147483647 440360 215 | 0.000 % |
703.93/704.22 c | 440809 | 11704 50033 151886 | 2147483647 440809 215 | 0.000 % |
705.43/705.73 c | 441303 | 11704 50033 151886 | 2147483647 441303 215 | 0.000 % |
707.03/707.30 c | 441846 | 11704 50033 151886 | 2147483647 441846 215 | 0.000 % |
708.82/709.19 c | 442445 | 11704 50033 151886 | 2147483647 442445 215 | 0.000 % |
710.72/711.09 c | 443101 | 11704 50033 151886 | 2147483647 443101 215 | 0.000 % |
712.82/713.19 c | 443821 | 11704 50033 151886 | 2147483647 443821 215 | 0.000 % |
715.13/715.46 c | 444613 | 11704 50033 151886 | 2147483647 444613 215 | 0.000 % |
717.42/717.76 c | 445484 | 11704 50033 151886 | 2147483647 445484 215 | 0.000 % |
719.82/720.19 c | 446444 | 11704 50033 151886 | 2147483647 446444 215 | 0.000 % |
722.92/723.29 c | 447497 | 11704 50033 151886 | 2147483647 447497 215 | 0.000 % |
726.22/726.56 c | 448655 | 11704 50033 151886 | 2147483647 448655 215 | 0.000 % |
729.82/730.12 c | 449929 | 11704 50033 151886 | 2147483647 449929 215 | 0.000 % |
733.42/733.79 c | 451334 | 11704 50033 151886 | 2147483647 451334 215 | 0.000 % |
737.91/738.23 c | 452874 | 11704 50033 151886 | 2147483647 452874 215 | 0.000 % |
742.62/742.90 c | 454569 | 11704 50033 151886 | 2147483647 454569 215 | 0.000 % |
747.61/747.96 c | 456432 | 11704 50033 151886 | 2147483647 456432 215 | 0.000 % |
753.01/753.34 c | 458481 | 11704 50033 151886 | 2147483647 458481 215 | 0.000 % |
759.01/759.39 c | 460735 | 11704 50033 151886 | 2147483647 460735 216 | 0.000 % |
765.81/766.18 c | 463213 | 11704 50033 151886 | 2147483647 463213 216 | 0.000 % |
773.41/773.75 c | 465939 | 11704 50033 151886 | 2147483647 465939 216 | 0.000 % |
781.10/781.46 c | 468937 | 11704 50033 151886 | 2147483647 468937 216 | 0.000 % |
789.90/790.26 c | 472233 | 11704 50033 151886 | 2147483647 472233 217 | 0.000 % |
799.20/799.51 c | 475858 | 11704 50033 151886 | 2147483647 475858 217 | 0.000 % |
809.99/810.32 c | 479846 | 11704 50033 151886 | 2147483647 479846 218 | 0.000 % |
822.19/822.56 c | 484231 | 11704 50033 151886 | 2147483647 484231 218 | 0.000 % |
822.59/822.98 c | 484332 | 11704 50033 151886 | 2147483647 484332 218 | 0.000 % |
823.09/823.44 c | 484442 | 11704 50033 151886 | 2147483647 484442 218 | 0.000 % |
823.49/823.88 c | 484563 | 11704 50033 151886 | 2147483647 484563 218 | 0.000 % |
824.19/824.53 c | 484696 | 11704 50033 151886 | 2147483647 484696 218 | 0.000 % |
824.69/825.08 c | 484842 | 11704 50033 151886 | 2147483647 484842 218 | 0.000 % |
825.39/825.70 c | 485002 | 11704 50033 151886 | 2147483647 485002 218 | 0.000 % |
825.99/826.38 c | 485179 | 11704 50033 151886 | 2147483647 485179 218 | 0.000 % |
826.80/827.14 c | 485373 | 11704 50033 151886 | 2147483647 485373 218 | 0.000 % |
827.49/827.86 c | 485586 | 11704 50033 151886 | 2147483647 485586 218 | 0.000 % |
828.39/828.73 c | 485819 | 11704 50033 151886 | 2147483647 485819 218 | 0.000 % |
829.29/829.65 c | 486075 | 11704 50033 151886 | 2147483647 486075 218 | 0.000 % |
830.39/830.76 c | 486356 | 11704 50033 151886 | 2147483647 486356 218 | 0.000 % |
831.39/831.79 c | 486665 | 11704 50033 151886 | 2147483647 486665 218 | 0.000 % |
832.68/833.02 c | 487005 | 11704 50033 151886 | 2147483647 487005 218 | 0.000 % |
833.98/834.32 c | 487378 | 11704 50033 151886 | 2147483647 487378 218 | 0.000 % |
835.18/835.51 c | 487788 | 11704 50033 151886 | 2147483647 487788 218 | 0.000 % |
836.59/836.91 c | 488237 | 11704 50033 151886 | 2147483647 488237 218 | 0.000 % |
838.09/838.48 c | 488730 | 11704 50033 151886 | 2147483647 488730 218 | 0.000 % |
839.89/840.23 c | 489273 | 11704 50033 151886 | 2147483647 489273 218 | 0.000 % |
841.78/842.15 c | 489869 | 11704 50033 151886 | 2147483647 489869 218 | 0.000 % |
843.88/844.29 c | 490524 | 11704 50033 151886 | 2147483647 490524 218 | 0.000 % |
846.38/846.70 c | 491245 | 11704 50033 151886 | 2147483647 491245 218 | 0.000 % |
848.99/849.30 c | 492037 | 11704 50033 151886 | 2147483647 492037 218 | 0.000 % |
851.79/852.11 c | 492908 | 11704 50033 151886 | 2147483647 492908 218 | 0.000 % |
854.78/855.11 c | 493866 | 11704 50033 151886 | 2147483647 493866 218 | 0.000 % |
857.88/858.27 c | 494919 | 11704 50033 151886 | 2147483647 494919 218 | 0.000 % |
861.38/861.75 c | 496077 | 11704 50033 151886 | 2147483647 496077 218 | 0.000 % |
865.39/865.76 c | 497352 | 11704 50033 151886 | 2147483647 497352 218 | 0.000 % |
869.57/869.93 c | 498752 | 11704 50033 151886 | 2147483647 498752 218 | 0.000 % |
874.08/874.46 c | 500295 | 11704 50033 151886 | 2147483647 500295 218 | 0.000 % |
878.88/879.29 c | 501991 | 11704 50033 151886 | 2147483647 501991 218 | 0.000 % |
884.57/884.94 c | 503856 | 11704 50033 151886 | 2147483647 503856 218 | 0.000 % |
890.87/891.24 c | 505906 | 11704 50033 151886 | 2147483647 505906 218 | 0.000 % |
897.57/897.97 c | 508159 | 11704 50033 151886 | 2147483647 508159 218 | 0.000 % |
905.27/905.60 c | 510637 | 11704 50033 151886 | 2147483647 510637 218 | 0.000 % |
912.67/913.09 c | 513363 | 11704 50033 151886 | 2147483647 513363 218 | 0.000 % |
921.26/921.63 c | 516361 | 11704 50033 151886 | 2147483647 516361 219 | 0.000 % |
930.06/930.46 c | 519658 | 11704 50033 151886 | 2147483647 519658 219 | 0.000 % |
940.76/941.17 c | 523284 | 11704 50033 151886 | 2147483647 523284 219 | 0.000 % |
952.65/953.01 c | 527271 | 11704 50033 151886 | 2147483647 527271 219 | 0.000 % |
966.05/966.42 c | 531656 | 11704 50033 151886 | 2147483647 531656 219 | 0.000 % |
980.34/980.79 c | 536480 | 11704 50033 151886 | 2147483647 536480 220 | 0.000 % |
980.75/981.16 c | 536580 | 11704 50033 151886 | 2147483647 536580 220 | 0.000 % |
981.34/981.72 c | 536690 | 11704 50033 151886 | 2147483647 536690 220 | 0.000 % |
981.85/982.22 c | 536812 | 11704 50033 151886 | 2147483647 536812 220 | 0.000 % |
982.35/982.76 c | 536947 | 11704 50033 151886 | 2147483647 536947 220 | 0.000 % |
982.96/983.32 c | 537093 | 11704 50033 151886 | 2147483647 537093 220 | 0.000 % |
983.65/984.03 c | 537255 | 11704 50033 151886 | 2147483647 537255 220 | 0.000 % |
984.25/984.67 c | 537431 | 11704 50033 151886 | 2147483647 537431 220 | 0.000 % |
985.05/985.44 c | 537627 | 11704 50033 151886 | 2147483647 537627 220 | 0.000 % |
985.75/986.15 c | 537840 | 11704 50033 151886 | 2147483647 537840 220 | 0.000 % |
986.65/987.09 c | 538073 | 11704 50033 151886 | 2147483647 538073 220 | 0.000 % |
987.65/988.09 c | 538332 | 11704 50033 151886 | 2147483647 538332 220 | 0.000 % |
988.84/989.20 c | 538614 | 11704 50033 151886 | 2147483647 538614 220 | 0.000 % |
989.94/990.30 c | 538924 | 11704 50033 151886 | 2147483647 538924 220 | 0.000 % |
991.24/991.61 c | 539263 | 11704 50033 151886 | 2147483647 539263 220 | 0.000 % |
992.55/992.98 c | 539636 | 11704 50033 151886 | 2147483647 539636 220 | 0.000 % |
994.14/994.55 c | 540045 | 11704 50033 151886 | 2147483647 540045 220 | 0.000 % |
995.84/996.28 c | 540495 | 11704 50033 151886 | 2147483647 540495 220 | 0.000 % |
997.64/998.04 c | 540988 | 11704 50033 151886 | 2147483647 540988 220 | 0.000 % |
999.64/1000.00 c | 541530 | 11704 50033 151886 | 2147483647 541530 220 | 0.000 % |
1001.84/1002.22 c | 542129 | 11704 50033 151886 | 2147483647 542129 220 | 0.000 % |
1004.14/1004.55 c | 542785 | 11704 50033 151886 | 2147483647 542785 219 | 0.000 % |
1006.54/1006.99 c | 543506 | 11704 50033 151886 | 2147483647 543506 219 | 0.000 % |
1009.34/1009.75 c | 544299 | 11704 50033 151886 | 2147483647 544299 219 | 0.000 % |
1012.23/1012.61 c | 545171 | 11704 50033 151886 | 2147483647 545171 220 | 0.000 % |
1015.34/1015.77 c | 546129 | 11704 50033 151886 | 2147483647 546129 220 | 0.000 % |
1018.83/1019.28 c | 547183 | 11704 50033 151886 | 2147483647 547183 220 | 0.000 % |
1022.63/1023.03 c | 548343 | 11704 50033 151886 | 2147483647 548343 220 | 0.000 % |
1026.34/1026.75 c | 549616 | 11704 50033 151886 | 2147483647 549616 220 | 0.000 % |
1030.73/1031.13 c | 551016 | 11704 50033 151886 | 2147483647 551016 220 | 0.000 % |
1035.93/1036.33 c | 552558 | 11704 50033 151886 | 2147483647 552558 220 | 0.000 % |
1041.73/1042.19 c | 554252 | 11704 50033 151886 | 2147483647 554252 220 | 0.000 % |
1047.83/1048.21 c | 556117 | 11704 50033 151886 | 2147483647 556117 220 | 0.000 % |
1054.03/1054.45 c | 558166 | 11704 50033 151886 | 2147483647 558166 220 | 0.000 % |
1061.32/1061.75 c | 560421 | 11704 50033 151886 | 2147483647 560421 220 | 0.000 % |
1069.42/1069.84 c | 562900 | 11704 50033 151886 | 2147483647 562900 220 | 0.000 % |
1078.31/1078.75 c | 565626 | 11704 50033 151886 | 2147483647 565626 220 | 0.000 % |
1087.62/1088.04 c | 568623 | 11704 50033 151886 | 2147483647 568623 221 | 0.000 % |
1098.41/1098.86 c | 571922 | 11704 50033 151886 | 2147483647 571922 221 | 0.000 % |
1110.31/1110.73 c | 575548 | 11704 50033 151886 | 2147483647 575548 221 | 0.000 % |
1123.40/1123.88 c | 579535 | 11704 50033 151886 | 2147483647 579535 221 | 0.000 % |
1137.70/1138.13 c | 583920 | 11704 50033 151886 | 2147483647 583920 221 | 0.000 % |
1152.30/1152.73 c | 588743 | 11704 50033 151886 | 2147483647 588743 222 | 0.000 % |
1169.19/1169.64 c | 594049 | 11704 50033 151886 | 2147483647 594049 223 | 0.000 % |
1169.69/1170.18 c | 594149 | 11704 50033 151886 | 2147483647 594149 223 | 0.000 % |
1170.19/1170.60 c | 594259 | 11704 50033 151886 | 2147483647 594259 223 | 0.000 % |
1170.69/1171.15 c | 594380 | 11704 50033 151886 | 2147483647 594380 223 | 0.000 % |
1171.29/1171.78 c | 594517 | 11704 50033 151886 | 2147483647 594517 223 | 0.000 % |
1172.10/1172.50 c | 594663 | 11704 50033 151886 | 2147483647 594663 223 | 0.000 % |
1172.69/1173.19 c | 594823 | 11704 50033 151886 | 2147483647 594823 223 | 0.000 % |
1173.49/1173.91 c | 594999 | 11704 50033 151886 | 2147483647 594999 223 | 0.000 % |
1174.39/1174.82 c | 595194 | 11704 50033 151886 | 2147483647 595194 223 | 0.000 % |
1175.29/1175.71 c | 595406 | 11704 50033 151886 | 2147483647 595406 223 | 0.000 % |
1176.29/1176.72 c | 595639 | 11704 50033 151886 | 2147483647 595639 223 | 0.000 % |
1177.39/1177.82 c | 595896 | 11704 50033 151886 | 2147483647 595896 223 | 0.000 % |
1178.49/1178.92 c | 596178 | 11704 50033 151886 | 2147483647 596178 223 | 0.000 % |
1179.68/1180.16 c | 596489 | 11704 50033 151886 | 2147483647 596489 223 | 0.000 % |
1180.99/1181.43 c | 596828 | 11704 50033 151886 | 2147483647 596828 223 | 0.000 % |
1182.48/1182.97 c | 597200 | 11704 50033 151886 | 2147483647 597200 223 | 0.000 % |
1184.20/1184.60 c | 597609 | 11704 50033 151886 | 2147483647 597609 223 | 0.000 % |
1185.79/1186.26 c | 598058 | 11704 50033 151886 | 2147483647 598058 223 | 0.000 % |
1187.79/1188.26 c | 598553 | 11704 50033 151886 | 2147483647 598553 222 | 0.000 % |
1189.99/1190.43 c | 599095 | 11704 50033 151886 | 2147483647 599095 222 | 0.000 % |
1192.59/1193.02 c | 599692 | 11704 50033 151886 | 2147483647 599692 222 | 0.000 % |
1195.09/1195.58 c | 600349 | 11704 50033 151886 | 2147483647 600349 222 | 0.000 % |
1197.78/1198.29 c | 601069 | 11704 50033 151886 | 2147483647 601069 222 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832815-1242788311/watcher-1832815-1242788311 -o /tmp/evaluation-result-1832815-1242788311/solver-1832815-1242788311 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832815-1242788311.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.91 0.98 0.99 3/64 7658
/proc/meminfo: memFree=1643920/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0
/proc/7658/stat : 7658 (SatELiteGTI) R 7656 7658 6992 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306864650 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237787867635 0 0 4100 65536 0 0 0 17 0 0 0
/proc/7658/statm: 1339 237 197 169 0 50 0
[startup+0.036688 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 7658
/proc/meminfo: memFree=1643920/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306864650 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7658/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101694 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 7658
/proc/meminfo: memFree=1643920/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306864650 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7658/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301727 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 7658
/proc/meminfo: memFree=1643920/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356
[startup+0.702767 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 7658
/proc/meminfo: memFree=1643920/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356
[startup+1.50284 s]
/proc/loadavg: 0.91 0.98 0.99 2/66 7664
/proc/meminfo: memFree=1637248/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=7060 CPUtime=1.26
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 1615 0 0 0 125 1 0 0 25 0 1 0 306864673 7229440 1601 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 1765 1601 77 171 0 1592 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12416
[startup+3.102 s]
/proc/loadavg: 0.91 0.98 0.99 2/66 7664
/proc/meminfo: memFree=1635328/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=9832 CPUtime=2.85
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 2304 0 0 0 284 1 0 0 25 0 1 0 306864673 10067968 2290 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 2458 2290 77 171 0 2285 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15188
[startup+6.30133 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 7664
/proc/meminfo: memFree=1629760/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=14980 CPUtime=6.05
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 3580 0 0 0 603 2 0 0 25 0 1 0 306864673 15339520 3566 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 3745 3566 77 171 0 3572 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20336
[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 7664
/proc/meminfo: memFree=1619912/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=24092 CPUtime=12.45
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 5879 0 0 0 1242 3 0 0 25 0 1 0 306864673 24670208 5865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 6023 5865 77 171 0 5850 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29448
[startup+25.5013 s]
/proc/loadavg: 0.94 0.98 0.99 2/66 7664
/proc/meminfo: memFree=1603912/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=39780 CPUtime=25.24
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 9785 0 0 0 2516 8 0 0 25 0 1 0 306864673 40734720 9771 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 9945 9771 77 171 0 9772 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45136
[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 7664
/proc/meminfo: memFree=1577352/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=66316 CPUtime=50.82
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 16413 0 0 0 5069 13 0 0 25 0 1 0 306864673 67907584 16399 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 16579 16399 77 171 0 16406 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 71672
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 7664
/proc/meminfo: memFree=1533384/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=109664 CPUtime=102.01
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 27263 0 0 0 10177 24 0 0 25 0 1 0 306864673 112295936 27249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528936 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 27416 27249 77 171 0 27243 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 115020
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1491336/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=151908 CPUtime=161.97
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 37788 0 0 0 16161 36 0 0 25 0 1 0 306864673 155553792 37774 1992294400 134512640 135215339 4294956240 18446744073709551615 134528860 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 37977 37774 77 171 0 37804 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 157264
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1455880/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=187032 CPUtime=221.95
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 46521 0 0 0 22149 46 0 0 25 0 1 0 306864673 191520768 46507 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 46758 46507 77 171 0 46585 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 192388
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1423560/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=219504 CPUtime=281.93
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 54668 0 0 0 28139 54 0 0 25 0 1 0 306864673 224772096 54654 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 54876 54654 77 171 0 54703 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 224860
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1394184/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=248416 CPUtime=341.91
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 61919 0 0 0 34128 63 0 0 25 0 1 0 306864673 254377984 61905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 62104 61905 77 171 0 61931 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 253772
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1366856/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=276352 CPUtime=401.89
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 68782 0 0 0 40118 71 0 0 25 0 1 0 306864673 282984448 68768 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 69088 68768 77 171 0 68915 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 281708
[startup+462.301 s]
################
# More data... #
################
/proc/7664/statm: 87602 87375 77 171 0 87429 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 355764
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1270728/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=371000 CPUtime=641.82
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 92555 0 0 0 64083 99 0 0 25 0 1 0 306864673 379904000 92541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 92750 92541 77 171 0 92577 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 376356
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1248840/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=392648 CPUtime=701.81
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 98001 0 0 0 70075 106 0 0 25 0 1 0 306864673 402071552 97987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 98162 97987 77 171 0 97989 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 398004
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1228744/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=412584 CPUtime=761.8
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 102986 0 0 0 76069 111 0 0 25 0 1 0 306864673 422486016 102972 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 103146 102972 77 171 0 102973 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 417940
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1204872/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=437520 CPUtime=821.77
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 109018 0 0 0 82060 117 0 0 25 0 1 0 306864673 448020480 109004 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 109380 109005 77 171 0 109207 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 442876
[startup+882.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1186760/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=455076 CPUtime=881.76
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 113435 0 0 0 88053 123 0 0 25 0 1 0 306864673 465997824 113421 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 113769 113421 77 171 0 113596 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 460432
[startup+942.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1167304/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=474480 CPUtime=941.74
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 118299 0 0 0 94045 129 0 0 25 0 1 0 306864673 485867520 118285 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 118620 118285 77 171 0 118447 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 479836
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1148808/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=492696 CPUtime=1001.72
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 122859 0 0 0 100036 136 0 0 25 0 1 0 306864673 504520704 122845 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 123174 122845 77 171 0 123001 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 498052
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1131592/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=509856 CPUtime=1061.7
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 127182 0 0 0 106029 141 0 0 25 0 1 0 306864673 522092544 127168 1992294400 134512640 135215339 4294956240 18446744073709551615 134539375 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 127464 127168 77 171 0 127291 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 515212
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1112392/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=528868 CPUtime=1121.69
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 131939 0 0 0 112021 148 0 0 25 0 1 0 306864673 541560832 131925 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 132217 131925 77 171 0 132044 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 534224
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1092296/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=548804 CPUtime=1181.67
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 136941 0 0 0 118014 153 0 0 25 0 1 0 306864673 561975296 136927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 137201 136927 77 171 0 137028 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 554160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1088264/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=552504 CPUtime=1199.86
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 137897 0 0 0 119831 155 0 0 25 0 1 0 306864673 565764096 137883 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 138126 137883 77 171 0 137953 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 557860
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: 0.99 0.98 0.99 2/66 7670
/proc/meminfo: memFree=1088264/2055920 swapFree=4180428/4192956
[pid=7658] ppid=7656 vsize=5356 CPUtime=0.22
/proc/7658/stat : 7658 (SatELiteGTI) S 7656 7658 6992 0 -1 4194304 336 1838 0 0 0 0 21 1 16 0 1 0 306864650 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7658/statm: 1339 239 197 169 0 50 0
[pid=7664] ppid=7658 vsize=552504 CPUtime=1199.86
/proc/7664/stat : 7664 (minisat_static) R 7658 7658 6992 0 -1 4194304 137897 0 0 0 119831 155 0 0 25 0 1 0 306864673 565764096 137883 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/7664/statm: 138126 137883 77 171 0 137953 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 557860
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7658 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=218966
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.233963
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1198.52
CPU system time (s): 1.56
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 557860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.218966
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 7
runsolver used 1.44378 second user time and 3.01954 second system time
The end
Begin job on node24 at 2009-05-20 04:58:31
IDJOB=1832815
IDBENCH=70371
IDSOLVER=671
FILE ID=node24/1832815-1242788311
PBS_JOBID= 9322322
Free space on /tmp= 66148 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832815-1242788311/watcher-1832815-1242788311 -o /tmp/evaluation-result-1832815-1242788311/solver-1832815-1242788311 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832815-1242788311.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b3388c169ab5d49a74d975bbdbf2ea31
RANDOM SEED=1850925805
node24.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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
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: 1644464 kB
Buffers: 30732 kB
Cached: 328844 kB
SwapCached: 6876 kB
Active: 233180 kB
Inactive: 135368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1644464 kB
SwapTotal: 4192956 kB
SwapFree: 4180428 kB
Dirty: 2516 kB
Writeback: 0 kB
Mapped: 14060 kB
Slab: 28896 kB
Committed_AS: 1027248 kB
PageTables: 1444 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= 66144 MiB
End job on node24 at 2009-05-20 05:18:34