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.18 c | 0 | 50039 152040 | -- 0 -- -- | -- | -361/840
0.00/0.18 c ==============================================================================
0.00/0.18 c Result : #vars: 11682 #clauses: 50039 #literals: 152040
0.00/0.18 c CPU time: 0.170974 s
0.00/0.18 c ==============================================================================
0.00/0.23 c This is MiniSat 2.0 beta
0.00/0.23 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.23 c ============================[ Problem Statistics ]=============================
0.00/0.23 c | |
0.00/0.23 c | Number of variables: 11682 |
0.00/0.23 c | Number of clauses: 50039 |
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 | 11682 50039 152040 | 16679 0 nan | 0.000 % |
0.22/0.31 c | 100 | 11682 50039 152040 | 16679 100 161 | 0.000 % |
0.22/0.35 c | 200 | 11682 50039 152040 | 16679 200 151 | 0.000 % |
0.22/0.38 c | 302 | 11682 50039 152040 | 16679 302 143 | 0.000 % |
0.22/0.42 c | 412 | 11682 50039 152040 | 16679 412 147 | 0.000 % |
0.22/0.46 c | 513 | 11682 50039 152040 | 16679 513 143 | 0.000 % |
0.22/0.50 c | 623 | 11682 50039 152040 | 16679 623 142 | 0.000 % |
0.22/0.54 c | 744 | 11682 50039 152040 | 16679 744 145 | 0.000 % |
0.22/0.57 c | 844 | 11682 50039 152040 | 16679 844 144 | 0.000 % |
0.22/0.61 c | 954 | 11682 50039 152040 | 16679 954 145 | 0.000 % |
0.22/0.66 c | 1076 | 11682 50039 152040 | 16679 1076 158 | 0.000 % |
0.22/0.71 c | 1211 | 11682 50039 152040 | 16679 1211 156 | 0.000 % |
0.22/0.74 c | 1314 | 11682 50039 152040 | 16679 1314 157 | 0.000 % |
0.22/0.79 c | 1424 | 11682 50039 152040 | 16679 1424 157 | 0.000 % |
0.22/0.83 c | 1545 | 11682 50039 152040 | 16679 1545 158 | 0.000 % |
0.22/0.88 c | 1679 | 11682 50039 152040 | 16679 1679 157 | 0.000 % |
0.22/0.93 c | 1827 | 11682 50039 152040 | 16679 1827 157 | 0.000 % |
0.22/0.97 c | 1927 | 11682 50039 152040 | 16679 1927 158 | 0.000 % |
0.97/1.01 c | 2040 | 11682 50039 152040 | 16679 2040 159 | 0.000 % |
0.97/1.06 c | 2163 | 11682 50039 152040 | 16679 2163 159 | 0.000 % |
1.07/1.12 c | 2296 | 11682 50039 152040 | 16679 2296 158 | 0.000 % |
1.07/1.17 c | 2443 | 11682 50039 152040 | 16679 2443 157 | 0.000 % |
1.16/1.24 c | 2603 | 11682 50039 152040 | 16679 2603 161 | 0.000 % |
1.16/1.29 c | 2705 | 11682 50039 152040 | 16679 2705 160 | 0.000 % |
1.26/1.33 c | 2816 | 11682 50039 152040 | 16679 2816 158 | 0.000 % |
1.26/1.38 c | 2937 | 11682 50039 152040 | 16679 2937 159 | 0.000 % |
1.36/1.43 c | 3070 | 11682 50039 152040 | 16679 3070 160 | 0.000 % |
1.36/1.49 c | 3217 | 11682 50039 152040 | 16679 3217 162 | 0.000 % |
1.46/1.55 c | 3377 | 11682 50039 152040 | 16679 3377 161 | 0.000 % |
1.57/1.62 c | 3555 | 11682 50039 152040 | 16679 3555 162 | 0.000 % |
1.57/1.66 c | 3655 | 11682 50039 152040 | 16679 3655 161 | 0.000 % |
1.67/1.70 c | 3766 | 11682 50039 152040 | 16679 3766 161 | 0.000 % |
1.67/1.75 c | 3887 | 11682 50039 152040 | 16679 3887 162 | 0.000 % |
1.77/1.81 c | 4020 | 11682 50039 152040 | 16679 4020 163 | 0.000 % |
1.77/1.87 c | 4167 | 11682 50039 152040 | 16679 4167 163 | 0.000 % |
1.87/1.93 c | 4327 | 11682 50039 152040 | 16679 4327 163 | 0.000 % |
1.97/2.00 c | 4503 | 11682 50039 152040 | 16679 4503 163 | 0.000 % |
1.97/2.08 c | 4697 | 11682 50039 152040 | 16679 4697 163 | 0.000 % |
2.07/2.12 c | 4797 | 11682 50039 152040 | 16679 4797 163 | 0.000 % |
2.07/2.17 c | 4909 | 11682 50039 152040 | 16679 4909 163 | 0.000 % |
2.17/2.22 c | 5031 | 11682 50039 152040 | 16679 5031 163 | 0.000 % |
2.17/2.28 c | 5167 | 11682 50039 152040 | 16679 5167 163 | 0.000 % |
2.27/2.34 c | 5315 | 11682 50039 152040 | 16679 5315 164 | 0.000 % |
2.37/2.41 c | 5478 | 11682 50039 152040 | 16679 5478 166 | 0.000 % |
2.37/2.49 c | 5655 | 11682 50039 152040 | 16679 5655 166 | 0.000 % |
2.47/2.56 c | 5848 | 11682 50039 152040 | 16679 5848 166 | 0.000 % |
2.57/2.66 c | 6061 | 11682 50039 152040 | 16679 6061 166 | 0.000 % |
2.67/2.70 c | 6161 | 11682 50039 152040 | 16679 6161 166 | 0.000 % |
2.67/2.75 c | 6271 | 11682 50039 152040 | 16679 6271 165 | 0.000 % |
2.77/2.80 c | 6395 | 11682 50039 152040 | 16679 6395 164 | 0.000 % |
2.77/2.86 c | 6529 | 11682 50039 152040 | 16679 6529 164 | 0.000 % |
2.87/2.92 c | 6679 | 11682 50039 152040 | 16679 6679 165 | 0.000 % |
2.87/2.99 c | 6839 | 11682 50039 152040 | 16679 6839 165 | 0.000 % |
2.97/3.07 c | 7016 | 11682 50039 152040 | 16679 7016 164 | 0.000 % |
3.07/3.15 c | 7210 | 11682 50039 152040 | 16679 7210 164 | 0.000 % |
3.17/3.23 c | 7422 | 11682 50039 152040 | 16679 7422 165 | 0.000 % |
3.27/3.32 c | 7655 | 11682 50039 152040 | 16679 7655 165 | 0.000 % |
3.27/3.36 c | 7756 | 11682 50039 152040 | 16679 7756 166 | 0.000 % |
3.36/3.42 c | 7867 | 11682 50039 152040 | 16679 7867 165 | 0.000 % |
3.36/3.47 c | 7989 | 11682 50039 152040 | 16679 7989 164 | 0.000 % |
3.46/3.52 c | 8124 | 11682 50039 152040 | 16679 8124 164 | 0.000 % |
3.46/3.59 c | 8270 | 11682 50039 152040 | 16679 8270 164 | 0.000 % |
3.56/3.65 c | 8431 | 11682 50039 152040 | 16679 8431 163 | 0.000 % |
3.66/3.73 c | 8608 | 11682 50039 152040 | 16679 8608 164 | 0.000 % |
3.76/3.81 c | 8801 | 11682 50039 152040 | 16679 8801 164 | 0.000 % |
3.86/3.91 c | 9013 | 11682 50039 152040 | 16679 9013 165 | 0.000 % |
3.96/4.01 c | 9246 | 11682 50039 152040 | 16679 9246 165 | 0.000 % |
4.06/4.12 c | 9502 | 11682 50039 152040 | 16679 9502 165 | 0.000 % |
4.06/4.16 c | 9603 | 11682 50039 152040 | 16679 9603 165 | 0.000 % |
4.16/4.21 c | 9715 | 11682 50039 152040 | 16679 9715 165 | 0.000 % |
4.16/4.27 c | 9836 | 11682 50039 152040 | 16679 9836 166 | 0.000 % |
4.27/4.33 c | 9970 | 11682 50039 152040 | 16679 9970 165 | 0.000 % |
4.27/4.39 c | 10116 | 11682 50039 152040 | 2147483647 10116 166 | 0.000 % |
4.37/4.46 c | 10276 | 11682 50039 152040 | 2147483647 10276 166 | 0.000 % |
4.47/4.54 c | 10452 | 11682 50039 152040 | 2147483647 10452 165 | 0.000 % |
4.57/4.63 c | 10645 | 11682 50039 152040 | 2147483647 10645 165 | 0.000 % |
4.67/4.73 c | 10858 | 11682 50039 152040 | 2147483647 10858 166 | 0.000 % |
4.76/4.83 c | 11094 | 11682 50039 152040 | 2147483647 11094 168 | 0.000 % |
4.86/4.95 c | 11350 | 11682 50039 152040 | 2147483647 11350 169 | 0.000 % |
4.96/5.08 c | 11633 | 11682 50039 152040 | 2147483647 11633 169 | 0.000 % |
5.06/5.13 c | 11733 | 11682 50039 152040 | 2147483647 11733 169 | 0.000 % |
5.06/5.18 c | 11843 | 11682 50039 152040 | 2147483647 11843 169 | 0.000 % |
5.17/5.23 c | 11965 | 11682 50039 152040 | 2147483647 11965 169 | 0.000 % |
5.17/5.29 c | 12099 | 11682 50039 152040 | 2147483647 12099 168 | 0.000 % |
5.27/5.36 c | 12247 | 11682 50039 152040 | 2147483647 12247 168 | 0.000 % |
5.37/5.44 c | 12407 | 11682 50039 152040 | 2147483647 12407 168 | 0.000 % |
5.47/5.52 c | 12585 | 11682 50039 152040 | 2147483647 12585 168 | 0.000 % |
5.47/5.59 c | 12779 | 11682 50039 152040 | 2147483647 12779 168 | 0.000 % |
5.67/5.70 c | 12993 | 11682 50039 152040 | 2147483647 12993 169 | 0.000 % |
5.77/5.80 c | 13226 | 11682 50039 152040 | 2147483647 13226 169 | 0.000 % |
5.87/5.92 c | 13485 | 11682 50039 152040 | 2147483647 13485 169 | 0.000 % |
5.97/6.05 c | 13767 | 11682 50039 152040 | 2147483647 13767 169 | 0.000 % |
6.07/6.19 c | 14076 | 11682 50039 152040 | 2147483647 14076 169 | 0.000 % |
6.17/6.24 c | 14177 | 11682 50039 152040 | 2147483647 14177 169 | 0.000 % |
6.17/6.29 c | 14288 | 11682 50039 152040 | 2147483647 14288 169 | 0.000 % |
6.26/6.35 c | 14409 | 11682 50039 152040 | 2147483647 14409 169 | 0.000 % |
6.36/6.41 c | 14544 | 11682 50039 152040 | 2147483647 14544 169 | 0.000 % |
6.36/6.48 c | 14690 | 11682 50039 152040 | 2147483647 14690 169 | 0.000 % |
6.47/6.56 c | 14851 | 11682 50039 152040 | 2147483647 14851 169 | 0.000 % |
6.57/6.65 c | 15027 | 11682 50039 152040 | 2147483647 15027 169 | 0.000 % |
6.66/6.74 c | 15220 | 11682 50039 152040 | 2147483647 15220 170 | 0.000 % |
6.76/6.85 c | 15433 | 11682 50039 152040 | 2147483647 15433 170 | 0.000 % |
6.86/6.98 c | 15667 | 11682 50039 152040 | 2147483647 15667 170 | 0.000 % |
7.07/7.10 c | 15923 | 11682 50039 152040 | 2147483647 15923 170 | 0.000 % |
7.17/7.24 c | 16206 | 11682 50039 152040 | 2147483647 16206 170 | 0.000 % |
7.27/7.38 c | 16515 | 11682 50039 152040 | 2147483647 16515 171 | 0.000 % |
7.47/7.54 c | 16855 | 11682 50039 152040 | 2147483647 16855 171 | 0.000 % |
7.47/7.59 c | 16955 | 11682 50039 152040 | 2147483647 16955 171 | 0.000 % |
7.57/7.65 c | 17065 | 11682 50039 152040 | 2147483647 17065 171 | 0.000 % |
7.67/7.71 c | 17188 | 11682 50039 152040 | 2147483647 17188 171 | 0.000 % |
7.67/7.78 c | 17322 | 11682 50039 152040 | 2147483647 17322 172 | 0.000 % |
7.77/7.85 c | 17468 | 11682 50039 152040 | 2147483647 17468 171 | 0.000 % |
7.87/7.93 c | 17628 | 11682 50039 152040 | 2147483647 17628 171 | 0.000 % |
7.97/8.02 c | 17804 | 11682 50039 152040 | 2147483647 17804 171 | 0.000 % |
8.07/8.11 c | 17997 | 11682 50039 152040 | 2147483647 17997 171 | 0.000 % |
8.17/8.22 c | 18209 | 11682 50039 152040 | 2147483647 18209 171 | 0.000 % |
8.27/8.34 c | 18443 | 11682 50039 152040 | 2147483647 18443 171 | 0.000 % |
8.37/8.47 c | 18700 | 11682 50039 152040 | 2147483647 18700 172 | 0.000 % |
8.56/8.61 c | 18982 | 11682 50039 152040 | 2147483647 18982 172 | 0.000 % |
8.67/8.77 c | 19295 | 11682 50039 152040 | 2147483647 19295 172 | 0.000 % |
8.86/8.94 c | 19635 | 11682 50039 152040 | 2147483647 19635 173 | 0.000 % |
9.06/9.13 c | 20007 | 11682 50039 152040 | 2147483647 20007 173 | 0.000 % |
9.06/9.19 c | 20107 | 11682 50039 152040 | 2147483647 20107 172 | 0.000 % |
9.16/9.26 c | 20217 | 11682 50039 152040 | 2147483647 20217 173 | 0.000 % |
9.26/9.31 c | 20338 | 11682 50039 152040 | 2147483647 20338 173 | 0.000 % |
9.26/9.39 c | 20474 | 11682 50039 152040 | 2147483647 20474 172 | 0.000 % |
9.36/9.47 c | 20622 | 11682 50039 152040 | 2147483647 20622 172 | 0.000 % |
9.46/9.56 c | 20785 | 11682 50039 152040 | 2147483647 20785 172 | 0.000 % |
9.56/9.65 c | 20961 | 11682 50039 152040 | 2147483647 20961 172 | 0.000 % |
9.66/9.76 c | 21155 | 11682 50039 152040 | 2147483647 21155 172 | 0.000 % |
9.77/9.86 c | 21367 | 11682 50039 152040 | 2147483647 21367 172 | 0.000 % |
9.87/9.97 c | 21600 | 11682 50039 152040 | 2147483647 21600 172 | 0.000 % |
10.07/10.11 c | 21856 | 11682 50039 152040 | 2147483647 21856 172 | 0.000 % |
10.17/10.26 c | 22138 | 11682 50039 152040 | 2147483647 22138 173 | 0.000 % |
10.37/10.42 c | 22449 | 11682 50039 152040 | 2147483647 22449 173 | 0.000 % |
10.57/10.60 c | 22788 | 11682 50039 152040 | 2147483647 22788 173 | 0.000 % |
10.77/10.80 c | 23162 | 11682 50039 152040 | 2147483647 23162 174 | 0.000 % |
10.97/11.03 c | 23571 | 11682 50039 152040 | 2147483647 23571 174 | 0.000 % |
10.97/11.09 c | 23671 | 11682 50039 152040 | 2147483647 23671 174 | 0.000 % |
11.07/11.16 c | 23781 | 11682 50039 152040 | 2147483647 23781 174 | 0.000 % |
11.17/11.23 c | 23903 | 11682 50039 152040 | 2147483647 23903 174 | 0.000 % |
11.17/11.29 c | 24039 | 11682 50039 152040 | 2147483647 24039 174 | 0.000 % |
11.27/11.38 c | 24186 | 11682 50039 152040 | 2147483647 24186 174 | 0.000 % |
11.36/11.47 c | 24348 | 11682 50039 152040 | 2147483647 24348 173 | 0.000 % |
11.46/11.56 c | 24524 | 11682 50039 152040 | 2147483647 24524 173 | 0.000 % |
11.56/11.67 c | 24719 | 11682 50039 152040 | 2147483647 24719 173 | 0.000 % |
11.66/11.79 c | 24931 | 11682 50039 152040 | 2147483647 24931 173 | 0.000 % |
11.86/11.94 c | 25164 | 11682 50039 152040 | 2147483647 25164 173 | 0.000 % |
11.97/12.07 c | 25420 | 11682 50039 152040 | 2147483647 25420 173 | 0.000 % |
12.16/12.23 c | 25701 | 11682 50039 152040 | 2147483647 25701 173 | 0.000 % |
12.26/12.39 c | 26012 | 11682 50039 152040 | 2147483647 26012 174 | 0.000 % |
12.46/12.58 c | 26352 | 11682 50039 152040 | 2147483647 26352 174 | 0.000 % |
12.66/12.79 c | 26725 | 11682 50039 152040 | 2147483647 26725 174 | 0.000 % |
12.97/13.02 c | 27134 | 11682 50039 152040 | 2147483647 27134 174 | 0.000 % |
13.17/13.27 c | 27585 | 11682 50039 152040 | 2147483647 27585 174 | 0.000 % |
13.27/13.33 c | 27685 | 11682 50039 152040 | 2147483647 27685 174 | 0.000 % |
13.37/13.40 c | 27796 | 11682 50039 152040 | 2147483647 27796 174 | 0.000 % |
13.37/13.46 c | 27917 | 11682 50039 152040 | 2147483647 27917 174 | 0.000 % |
13.47/13.55 c | 28052 | 11682 50039 152040 | 2147483647 28052 173 | 0.000 % |
13.57/13.63 c | 28202 | 11682 50039 152040 | 2147483647 28202 173 | 0.000 % |
13.66/13.73 c | 28363 | 11682 50039 152040 | 2147483647 28363 173 | 0.000 % |
13.76/13.83 c | 28540 | 11682 50039 152040 | 2147483647 28540 173 | 0.000 % |
13.86/13.94 c | 28734 | 11682 50039 152040 | 2147483647 28734 173 | 0.000 % |
13.96/14.06 c | 28947 | 11682 50039 152040 | 2147483647 28947 173 | 0.000 % |
14.06/14.19 c | 29183 | 11682 50039 152040 | 2147483647 29183 173 | 0.000 % |
14.27/14.34 c | 29439 | 11682 50039 152040 | 2147483647 29439 174 | 0.000 % |
14.36/14.49 c | 29721 | 11682 50039 152040 | 2147483647 29721 175 | 0.000 % |
14.56/14.66 c | 30031 | 11682 50039 152040 | 2147483647 30031 174 | 0.000 % |
14.76/14.84 c | 30370 | 11682 50039 152040 | 2147483647 30370 174 | 0.000 % |
14.97/15.06 c | 30743 | 11682 50039 152040 | 2147483647 30743 175 | 0.000 % |
15.27/15.31 c | 31152 | 11682 50039 152040 | 2147483647 31152 175 | 0.000 % |
15.47/15.55 c | 31602 | 11682 50039 152040 | 2147483647 31602 176 | 0.000 % |
15.76/15.84 c | 32096 | 11682 50039 152040 | 2147483647 32096 176 | 0.000 % |
15.86/15.91 c | 32196 | 11682 50039 152040 | 2147483647 32196 176 | 0.000 % |
15.86/15.98 c | 32307 | 11682 50039 152040 | 2147483647 32307 176 | 0.000 % |
15.96/16.06 c | 32428 | 11682 50039 152040 | 2147483647 32428 176 | 0.000 % |
16.06/16.14 c | 32561 | 11682 50039 152040 | 2147483647 32561 176 | 0.000 % |
16.16/16.24 c | 32708 | 11682 50039 152040 | 2147483647 32708 176 | 0.000 % |
16.26/16.33 c | 32869 | 11682 50039 152040 | 2147483647 32869 176 | 0.000 % |
16.37/16.44 c | 33047 | 11682 50039 152040 | 2147483647 33047 176 | 0.000 % |
16.47/16.55 c | 33240 | 11682 50039 152040 | 2147483647 33240 176 | 0.000 % |
16.56/16.68 c | 33452 | 11682 50039 152040 | 2147483647 33452 176 | 0.000 % |
16.76/16.82 c | 33685 | 11682 50039 152040 | 2147483647 33685 176 | 0.000 % |
16.86/16.99 c | 33941 | 11682 50039 152040 | 2147483647 33941 176 | 0.000 % |
17.06/17.14 c | 34223 | 11682 50039 152040 | 2147483647 34223 176 | 0.000 % |
17.26/17.33 c | 34532 | 11682 50039 152040 | 2147483647 34532 176 | 0.000 % |
17.46/17.54 c | 34871 | 11682 50039 152040 | 2147483647 34871 176 | 0.000 % |
17.67/17.76 c | 35244 | 11682 50039 152040 | 2147483647 35244 176 | 0.000 % |
17.87/17.99 c | 35653 | 11682 50039 152040 | 2147483647 35653 176 | 0.000 % |
18.17/18.27 c | 36102 | 11682 50039 152040 | 2147483647 36102 176 | 0.000 % |
18.46/18.58 c | 36596 | 11682 50039 152040 | 2147483647 36596 177 | 0.000 % |
18.86/18.91 c | 37139 | 11682 50039 152040 | 2147483647 37139 178 | 0.000 % |
18.86/18.98 c | 37240 | 11682 50039 152040 | 2147483647 37240 178 | 0.000 % |
18.96/19.06 c | 37350 | 11682 50039 152040 | 2147483647 37350 178 | 0.000 % |
19.06/19.14 c | 37472 | 11682 50039 152040 | 2147483647 37472 178 | 0.000 % |
19.16/19.23 c | 37605 | 11682 50039 152040 | 2147483647 37605 178 | 0.000 % |
19.26/19.33 c | 37751 | 11682 50039 152040 | 2147483647 37751 178 | 0.000 % |
19.36/19.43 c | 37912 | 11682 50039 152040 | 2147483647 37912 178 | 0.000 % |
19.46/19.55 c | 38088 | 11682 50039 152040 | 2147483647 38088 178 | 0.000 % |
19.56/19.67 c | 38282 | 11682 50039 152040 | 2147483647 38282 178 | 0.000 % |
19.76/19.80 c | 38494 | 11682 50039 152040 | 2147483647 38494 178 | 0.000 % |
19.86/19.96 c | 38730 | 11682 50039 152040 | 2147483647 38730 178 | 0.000 % |
20.06/20.12 c | 38986 | 11682 50039 152040 | 2147483647 38986 177 | 0.000 % |
20.16/20.29 c | 39268 | 11682 50039 152040 | 2147483647 39268 177 | 0.000 % |
20.36/20.49 c | 39578 | 11682 50039 152040 | 2147483647 39578 177 | 0.000 % |
20.66/20.71 c | 39918 | 11682 50039 152040 | 2147483647 39918 178 | 0.000 % |
20.87/20.94 c | 40290 | 11682 50039 152040 | 2147483647 40290 178 | 0.000 % |
21.16/21.20 c | 40701 | 11682 50039 152040 | 2147483647 40701 178 | 0.000 % |
21.36/21.49 c | 41150 | 11682 50039 152040 | 2147483647 41150 178 | 0.000 % |
21.76/21.82 c | 41644 | 11682 50039 152040 | 2147483647 41644 178 | 0.000 % |
22.06/22.18 c | 42188 | 11682 50039 152040 | 2147483647 42188 178 | 0.000 % |
22.46/22.56 c | 42785 | 11682 50039 152040 | 2147483647 42785 178 | 0.000 % |
22.56/22.63 c | 42885 | 11682 50039 152040 | 2147483647 42885 178 | 0.000 % |
22.66/22.71 c | 42997 | 11682 50039 152040 | 2147483647 42997 178 | 0.000 % |
22.66/22.79 c | 43119 | 11682 50039 152040 | 2147483647 43119 178 | 0.000 % |
22.76/22.89 c | 43252 | 11682 50039 152040 | 2147483647 43252 178 | 0.000 % |
22.86/23.00 c | 43400 | 11682 50039 152040 | 2147483647 43400 178 | 0.000 % |
23.06/23.11 c | 43560 | 11682 50039 152040 | 2147483647 43560 177 | 0.000 % |
23.17/23.24 c | 43737 | 11682 50039 152040 | 2147483647 43737 177 | 0.000 % |
23.27/23.37 c | 43932 | 11682 50039 152040 | 2147483647 43932 177 | 0.000 % |
23.47/23.53 c | 44145 | 11682 50039 152040 | 2147483647 44145 178 | 0.000 % |
23.57/23.68 c | 44378 | 11682 50039 152040 | 2147483647 44378 178 | 0.000 % |
23.76/23.86 c | 44635 | 11682 50039 152040 | 2147483647 44635 178 | 0.000 % |
23.96/24.04 c | 44918 | 11682 50039 152040 | 2147483647 44918 178 | 0.000 % |
24.17/24.25 c | 45227 | 11682 50039 152040 | 2147483647 45227 178 | 0.000 % |
24.36/24.48 c | 45568 | 11682 50039 152040 | 2147483647 45568 178 | 0.000 % |
24.66/24.73 c | 45940 | 11682 50039 152040 | 2147483647 45940 178 | 0.000 % |
24.86/24.98 c | 46349 | 11682 50039 152040 | 2147483647 46349 178 | 0.000 % |
25.16/25.29 c | 46801 | 11682 50039 152040 | 2147483647 46801 179 | 0.000 % |
25.56/25.61 c | 47296 | 11682 50039 152040 | 2147483647 47296 179 | 0.000 % |
25.86/26.00 c | 47840 | 11682 50039 152040 | 2147483647 47840 180 | 0.000 % |
26.27/26.38 c | 48436 | 11682 50039 152040 | 2147483647 48436 180 | 0.000 % |
26.76/26.81 c | 49091 | 11682 50039 152040 | 2147483647 49091 181 | 0.000 % |
26.76/26.89 c | 49192 | 11682 50039 152040 | 2147483647 49192 181 | 0.000 % |
26.86/26.99 c | 49302 | 11682 50039 152040 | 2147483647 49302 181 | 0.000 % |
26.96/27.07 c | 49423 | 11682 50039 152040 | 2147483647 49423 181 | 0.000 % |
27.06/27.18 c | 49558 | 11682 50039 152040 | 2147483647 49558 180 | 0.000 % |
27.16/27.29 c | 49705 | 11682 50039 152040 | 2147483647 49705 180 | 0.000 % |
27.36/27.41 c | 49865 | 11682 50039 152040 | 2147483647 49865 180 | 0.000 % |
27.46/27.53 c | 50041 | 11682 50039 152040 | 2147483647 50041 180 | 0.000 % |
27.56/27.68 c | 50236 | 11682 50039 152040 | 2147483647 50236 180 | 0.000 % |
27.76/27.83 c | 50449 | 11682 50039 152040 | 2147483647 50449 180 | 0.000 % |
27.96/28.01 c | 50683 | 11682 50039 152040 | 2147483647 50683 180 | 0.000 % |
28.06/28.18 c | 50939 | 11682 50039 152040 | 2147483647 50939 180 | 0.000 % |
28.26/28.39 c | 51225 | 11682 50039 152040 | 2147483647 51225 180 | 0.000 % |
28.56/28.61 c | 51534 | 11682 50039 152040 | 2147483647 51534 180 | 0.000 % |
28.76/28.86 c | 51877 | 11682 50039 152040 | 2147483647 51877 180 | 0.000 % |
29.06/29.11 c | 52251 | 11682 50039 152040 | 2147483647 52251 180 | 0.000 % |
29.36/29.41 c | 52662 | 11682 50039 152040 | 2147483647 52662 180 | 0.000 % |
29.66/29.72 c | 53111 | 11682 50039 152040 | 2147483647 53111 180 | 0.000 % |
29.96/30.08 c | 53606 | 11682 50039 152040 | 2147483647 53606 180 | 0.000 % |
30.36/30.45 c | 54148 | 11682 50039 152040 | 2147483647 54148 181 | 0.000 % |
30.77/30.89 c | 54744 | 11682 50039 152040 | 2147483647 54744 181 | 0.000 % |
31.26/31.34 c | 55401 | 11682 50039 152040 | 2147483647 55401 182 | 0.000 % |
31.76/31.84 c | 56121 | 11682 50039 152040 | 2147483647 56121 182 | 0.000 % |
31.86/31.93 c | 56221 | 11682 50039 152040 | 2147483647 56221 182 | 0.000 % |
31.96/32.02 c | 56331 | 11682 50039 152040 | 2147483647 56331 182 | 0.000 % |
32.06/32.11 c | 56452 | 11682 50039 152040 | 2147483647 56452 182 | 0.000 % |
32.16/32.22 c | 56587 | 11682 50039 152040 | 2147483647 56587 182 | 0.000 % |
32.26/32.34 c | 56733 | 11682 50039 152040 | 2147483647 56733 182 | 0.000 % |
32.36/32.46 c | 56893 | 11682 50039 152040 | 2147483647 56893 182 | 0.000 % |
32.56/32.60 c | 57069 | 11682 50039 152040 | 2147483647 57069 182 | 0.000 % |
32.66/32.77 c | 57263 | 11682 50039 152040 | 2147483647 57263 182 | 0.000 % |
32.86/32.93 c | 57475 | 11682 50039 152040 | 2147483647 57475 182 | 0.000 % |
33.06/33.11 c | 57708 | 11682 50039 152040 | 2147483647 57708 182 | 0.000 % |
33.25/33.31 c | 57967 | 11682 50039 152040 | 2147483647 57967 182 | 0.000 % |
33.45/33.53 c | 58248 | 11682 50039 152040 | 2147483647 58248 182 | 0.000 % |
33.65/33.76 c | 58558 | 11682 50039 152040 | 2147483647 58558 182 | 0.000 % |
33.97/34.03 c | 58900 | 11682 50039 152040 | 2147483647 58900 182 | 0.000 % |
34.26/34.31 c | 59273 | 11682 50039 152040 | 2147483647 59273 182 | 0.000 % |
34.46/34.59 c | 59682 | 11682 50039 152040 | 2147483647 59682 182 | 0.000 % |
34.86/34.93 c | 60131 | 11682 50039 152040 | 2147483647 60131 182 | 0.000 % |
35.26/35.32 c | 60624 | 11682 50039 152040 | 2147483647 60624 182 | 0.000 % |
35.66/35.73 c | 61166 | 11682 50039 152040 | 2147483647 61166 183 | 0.000 % |
36.06/36.15 c | 61765 | 11682 50039 152040 | 2147483647 61765 184 | 0.000 % |
36.56/36.65 c | 62420 | 11682 50039 152040 | 2147483647 62420 184 | 0.000 % |
37.16/37.24 c | 63140 | 11682 50039 152040 | 2147483647 63140 184 | 0.000 % |
37.76/37.85 c | 63933 | 11682 50039 152040 | 2147483647 63933 185 | 0.000 % |
37.86/37.93 c | 64034 | 11682 50039 152040 | 2147483647 64034 184 | 0.000 % |
37.96/38.03 c | 64144 | 11682 50039 152040 | 2147483647 64144 184 | 0.000 % |
38.06/38.14 c | 64267 | 11682 50039 152040 | 2147483647 64267 184 | 0.000 % |
38.15/38.25 c | 64400 | 11682 50039 152040 | 2147483647 64400 184 | 0.000 % |
38.25/38.37 c | 64549 | 11682 50039 152040 | 2147483647 64549 184 | 0.000 % |
38.46/38.53 c | 64709 | 11682 50039 152040 | 2147483647 64709 184 | 0.000 % |
38.55/38.68 c | 64886 | 11682 50039 152040 | 2147483647 64886 184 | 0.000 % |
38.75/38.82 c | 65079 | 11682 50039 152040 | 2147483647 65079 184 | 0.000 % |
38.95/39.01 c | 65294 | 11682 50039 152040 | 2147483647 65294 184 | 0.000 % |
39.15/39.20 c | 65527 | 11682 50039 152040 | 2147483647 65527 184 | 0.000 % |
39.35/39.41 c | 65784 | 11682 50039 152040 | 2147483647 65784 184 | 0.000 % |
39.56/39.62 c | 66065 | 11682 50039 152040 | 2147483647 66065 184 | 0.000 % |
39.76/39.88 c | 66375 | 11682 50039 152040 | 2147483647 66375 184 | 0.000 % |
40.06/40.17 c | 66714 | 11682 50039 152040 | 2147483647 66714 184 | 0.000 % |
40.36/40.46 c | 67086 | 11682 50039 152040 | 2147483647 67086 184 | 0.000 % |
40.66/40.79 c | 67495 | 11682 50039 152040 | 2147483647 67495 184 | 0.000 % |
41.06/41.16 c | 67945 | 11682 50039 152040 | 2147483647 67945 185 | 0.000 % |
41.46/41.55 c | 68438 | 11682 50039 152040 | 2147483647 68438 185 | 0.000 % |
41.86/41.98 c | 68982 | 11682 50039 152040 | 2147483647 68982 185 | 0.000 % |
42.35/42.49 c | 69579 | 11682 50039 152040 | 2147483647 69579 186 | 0.000 % |
42.95/43.02 c | 70234 | 11682 50039 152040 | 2147483647 70234 186 | 0.000 % |
43.56/43.61 c | 70955 | 11682 50039 152040 | 2147483647 70955 186 | 0.000 % |
44.16/44.23 c | 71752 | 11682 50039 152040 | 2147483647 71752 187 | 0.000 % |
44.86/44.93 c | 72624 | 11682 50039 152040 | 2147483647 72624 187 | 0.000 % |
44.96/45.03 c | 72724 | 11682 50039 152040 | 2147483647 72724 187 | 0.000 % |
45.06/45.14 c | 72834 | 11682 50039 152040 | 2147483647 72834 187 | 0.000 % |
45.16/45.25 c | 72957 | 11682 50039 152040 | 2147483647 72957 187 | 0.000 % |
45.26/45.37 c | 73090 | 11682 50039 152040 | 2147483647 73090 187 | 0.000 % |
45.46/45.53 c | 73238 | 11682 50039 152040 | 2147483647 73238 187 | 0.000 % |
45.56/45.68 c | 73398 | 11682 50039 152040 | 2147483647 73398 187 | 0.000 % |
45.76/45.82 c | 73575 | 11682 50039 152040 | 2147483647 73575 187 | 0.000 % |
45.96/46.00 c | 73768 | 11682 50039 152040 | 2147483647 73768 186 | 0.000 % |
46.06/46.19 c | 73980 | 11682 50039 152040 | 2147483647 73980 186 | 0.000 % |
46.26/46.38 c | 74213 | 11682 50039 152040 | 2147483647 74213 186 | 0.000 % |
46.55/46.62 c | 74471 | 11682 50039 152040 | 2147483647 74471 186 | 0.000 % |
46.75/46.86 c | 74752 | 11682 50039 152040 | 2147483647 74752 186 | 0.000 % |
47.05/47.12 c | 75063 | 11682 50039 152040 | 2147483647 75063 186 | 0.000 % |
47.35/47.41 c | 75404 | 11682 50039 152040 | 2147483647 75404 186 | 0.000 % |
47.65/47.73 c | 75777 | 11682 50039 152040 | 2147483647 75777 186 | 0.000 % |
47.95/48.07 c | 76186 | 11682 50039 152040 | 2147483647 76186 187 | 0.000 % |
48.35/48.46 c | 76636 | 11682 50039 152040 | 2147483647 76636 187 | 0.000 % |
48.75/48.88 c | 77130 | 11682 50039 152040 | 2147483647 77130 187 | 0.000 % |
49.25/49.31 c | 77672 | 11682 50039 152040 | 2147483647 77672 186 | 0.000 % |
49.76/49.83 c | 78269 | 11682 50039 152040 | 2147483647 78269 187 | 0.000 % |
50.26/50.37 c | 78924 | 11682 50039 152040 | 2147483647 78924 187 | 0.000 % |
50.85/50.98 c | 79644 | 11682 50039 152040 | 2147483647 79644 188 | 0.000 % |
51.56/51.64 c | 80436 | 11682 50039 152040 | 2147483647 80436 188 | 0.000 % |
52.25/52.38 c | 81307 | 11682 50039 152040 | 2147483647 81307 188 | 0.000 % |
53.15/53.22 c | 82266 | 11682 50039 152040 | 2147483647 82266 188 | 0.000 % |
53.26/53.31 c | 82368 | 11682 50039 152040 | 2147483647 82368 188 | 0.000 % |
53.36/53.42 c | 82478 | 11682 50039 152040 | 2147483647 82478 188 | 0.000 % |
53.46/53.54 c | 82599 | 11682 50039 152040 | 2147483647 82599 188 | 0.000 % |
53.56/53.68 c | 82736 | 11682 50039 152040 | 2147483647 82736 188 | 0.000 % |
53.76/53.83 c | 82882 | 11682 50039 152040 | 2147483647 82882 188 | 0.000 % |
53.86/53.99 c | 83043 | 11682 50039 152040 | 2147483647 83043 188 | 0.000 % |
54.05/54.16 c | 83219 | 11682 50039 152040 | 2147483647 83219 188 | 0.000 % |
54.25/54.34 c | 83412 | 11682 50039 152040 | 2147483647 83412 188 | 0.000 % |
54.45/54.53 c | 83626 | 11682 50039 152040 | 2147483647 83626 188 | 0.000 % |
54.65/54.74 c | 83860 | 11682 50039 152040 | 2147483647 83860 187 | 0.000 % |
54.86/54.97 c | 84116 | 11682 50039 152040 | 2147483647 84116 187 | 0.000 % |
55.15/55.23 c | 84399 | 11682 50039 152040 | 2147483647 84399 187 | 0.000 % |
55.45/55.52 c | 84708 | 11682 50039 152040 | 2147483647 84708 187 | 0.000 % |
55.75/55.83 c | 85047 | 11682 50039 152040 | 2147483647 85047 187 | 0.000 % |
56.16/56.20 c | 85419 | 11682 50039 152040 | 2147483647 85419 188 | 0.000 % |
56.46/56.55 c | 85828 | 11682 50039 152040 | 2147483647 85828 188 | 0.000 % |
56.85/56.94 c | 86280 | 11682 50039 152040 | 2147483647 86280 188 | 0.000 % |
57.25/57.39 c | 86773 | 11682 50039 152040 | 2147483647 86773 188 | 0.000 % |
57.75/57.84 c | 87315 | 11682 50039 152040 | 2147483647 87315 188 | 0.000 % |
58.26/58.36 c | 87914 | 11682 50039 152040 | 2147483647 87914 188 | 0.000 % |
58.85/58.94 c | 88569 | 11682 50039 152040 | 2147483647 88569 188 | 0.000 % |
59.56/59.61 c | 89289 | 11682 50039 152040 | 2147483647 89289 189 | 0.000 % |
60.25/60.32 c | 90083 | 11682 50039 152040 | 2147483647 90083 189 | 0.000 % |
61.05/61.12 c | 90954 | 11682 50039 152040 | 2147483647 90954 190 | 0.000 % |
61.95/62.06 c | 91912 | 11682 50039 152040 | 2147483647 91912 190 | 0.000 % |
62.95/63.00 c | 92967 | 11682 50039 152040 | 2147483647 92967 191 | 0.000 % |
63.05/63.11 c | 93069 | 11682 50039 152040 | 2147483647 93069 191 | 0.000 % |
63.15/63.23 c | 93179 | 11682 50039 152040 | 2147483647 93179 191 | 0.000 % |
63.25/63.36 c | 93300 | 11682 50039 152040 | 2147483647 93300 190 | 0.000 % |
63.45/63.52 c | 93434 | 11682 50039 152040 | 2147483647 93434 190 | 0.000 % |
63.55/63.68 c | 93581 | 11682 50039 152040 | 2147483647 93581 190 | 0.000 % |
63.76/63.87 c | 93741 | 11682 50039 152040 | 2147483647 93741 190 | 0.000 % |
63.95/64.07 c | 93918 | 11682 50039 152040 | 2147483647 93918 190 | 0.000 % |
64.15/64.27 c | 94111 | 11682 50039 152040 | 2147483647 94111 190 | 0.000 % |
64.35/64.48 c | 94324 | 11682 50039 152040 | 2147483647 94324 190 | 0.000 % |
64.65/64.72 c | 94557 | 11682 50039 152040 | 2147483647 94557 190 | 0.000 % |
64.86/64.98 c | 94816 | 11682 50039 152040 | 2147483647 94816 190 | 0.000 % |
65.15/65.27 c | 95097 | 11682 50039 152040 | 2147483647 95097 190 | 0.000 % |
65.45/65.59 c | 95408 | 11682 50039 152040 | 2147483647 95408 190 | 0.000 % |
65.85/65.95 c | 95749 | 11682 50039 152040 | 2147483647 95749 190 | 0.000 % |
66.15/66.29 c | 96124 | 11682 50039 152040 | 2147483647 96124 190 | 0.000 % |
66.55/66.67 c | 96533 | 11682 50039 152040 | 2147483647 96533 190 | 0.000 % |
66.96/67.08 c | 96983 | 11682 50039 152040 | 2147483647 96983 190 | 0.000 % |
67.45/67.55 c | 97477 | 11682 50039 152040 | 2147483647 97477 190 | 0.000 % |
67.95/68.04 c | 98020 | 11682 50039 152040 | 2147483647 98020 190 | 0.000 % |
68.54/68.67 c | 98620 | 11682 50039 152040 | 2147483647 98620 190 | 0.000 % |
69.25/69.34 c | 99275 | 11682 50039 152040 | 2147483647 99275 190 | 0.000 % |
69.95/70.04 c | 99995 | 11682 50039 152040 | 2147483647 99995 190 | 0.000 % |
70.65/70.77 c | 100788 | 11682 50039 152040 | 2147483647 100788 190 | 0.000 % |
71.45/71.59 c | 101661 | 11682 50039 152040 | 2147483647 101661 190 | 0.000 % |
72.35/72.49 c | 102619 | 11682 50039 152040 | 2147483647 102619 191 | 0.000 % |
73.35/73.47 c | 103676 | 11682 50039 152040 | 2147483647 103676 191 | 0.000 % |
74.45/74.54 c | 104835 | 11682 50039 152040 | 2147483647 104835 192 | 0.000 % |
74.55/74.64 c | 104936 | 11682 50039 152040 | 2147483647 104936 192 | 0.000 % |
74.65/74.78 c | 105047 | 11682 50039 152040 | 2147483647 105047 192 | 0.000 % |
74.85/74.93 c | 105171 | 11682 50039 152040 | 2147483647 105171 192 | 0.000 % |
74.95/75.08 c | 105304 | 11682 50039 152040 | 2147483647 105304 192 | 0.000 % |
75.15/75.26 c | 105451 | 11682 50039 152040 | 2147483647 105451 192 | 0.000 % |
75.35/75.46 c | 105613 | 11682 50039 152040 | 2147483647 105613 192 | 0.000 % |
75.55/75.66 c | 105789 | 11682 50039 152040 | 2147483647 105789 192 | 0.000 % |
75.75/75.88 c | 105982 | 11682 50039 152040 | 2147483647 105982 192 | 0.000 % |
76.05/76.11 c | 106195 | 11682 50039 152040 | 2147483647 106195 192 | 0.000 % |
76.25/76.34 c | 106428 | 11682 50039 152040 | 2147483647 106428 192 | 0.000 % |
76.54/76.61 c | 106688 | 11682 50039 152040 | 2147483647 106688 192 | 0.000 % |
76.85/76.91 c | 106970 | 11682 50039 152040 | 2147483647 106970 192 | 0.000 % |
77.14/77.22 c | 107279 | 11682 50039 152040 | 2147483647 107279 192 | 0.000 % |
77.44/77.59 c | 107618 | 11682 50039 152040 | 2147483647 107618 192 | 0.000 % |
77.85/77.98 c | 107991 | 11682 50039 152040 | 2147483647 107991 192 | 0.000 % |
78.35/78.40 c | 108402 | 11682 50039 152040 | 2147483647 108402 192 | 0.000 % |
78.75/78.88 c | 108851 | 11682 50039 152040 | 2147483647 108851 192 | 0.000 % |
79.24/79.38 c | 109344 | 11682 50039 152040 | 2147483647 109344 192 | 0.000 % |
79.84/79.94 c | 109887 | 11682 50039 152040 | 2147483647 109887 192 | 0.000 % |
80.45/80.57 c | 110484 | 11682 50039 152040 | 2147483647 110484 192 | 0.000 % |
81.15/81.26 c | 111139 | 11682 50039 152040 | 2147483647 111139 192 | 0.000 % |
81.95/82.02 c | 111859 | 11682 50039 152040 | 2147483647 111859 192 | 0.000 % |
82.74/82.84 c | 112652 | 11682 50039 152040 | 2147483647 112652 192 | 0.000 % |
83.64/83.71 c | 113523 | 11682 50039 152040 | 2147483647 113523 193 | 0.000 % |
84.64/84.72 c | 114483 | 11682 50039 152040 | 2147483647 114483 193 | 0.000 % |
85.74/85.89 c | 115536 | 11682 50039 152040 | 2147483647 115536 193 | 0.000 % |
86.94/87.10 c | 116694 | 11682 50039 152040 | 2147483647 116694 193 | 0.000 % |
88.24/88.36 c | 117967 | 11682 50039 152040 | 2147483647 117967 194 | 0.000 % |
88.34/88.48 c | 118069 | 11682 50039 152040 | 2147483647 118069 194 | 0.000 % |
88.55/88.63 c | 118180 | 11682 50039 152040 | 2147483647 118180 194 | 0.000 % |
88.65/88.78 c | 118301 | 11682 50039 152040 | 2147483647 118301 194 | 0.000 % |
88.85/88.95 c | 118435 | 11682 50039 152040 | 2147483647 118435 194 | 0.000 % |
89.05/89.12 c | 118581 | 11682 50039 152040 | 2147483647 118581 194 | 0.000 % |
89.25/89.33 c | 118741 | 11682 50039 152040 | 2147483647 118741 194 | 0.000 % |
89.45/89.53 c | 118917 | 11682 50039 152040 | 2147483647 118917 194 | 0.000 % |
89.65/89.78 c | 119113 | 11682 50039 152040 | 2147483647 119113 194 | 0.000 % |
89.95/90.05 c | 119325 | 11682 50039 152040 | 2147483647 119325 194 | 0.000 % |
90.25/90.33 c | 119558 | 11682 50039 152040 | 2147483647 119558 194 | 0.000 % |
90.54/90.64 c | 119816 | 11682 50039 152040 | 2147483647 119816 194 | 0.000 % |
90.84/90.95 c | 120098 | 11682 50039 152040 | 2147483647 120098 194 | 0.000 % |
91.25/91.32 c | 120407 | 11682 50039 152040 | 2147483647 120407 194 | 0.000 % |
91.55/91.69 c | 120746 | 11682 50039 152040 | 2147483647 120746 193 | 0.000 % |
91.94/92.08 c | 121118 | 11682 50039 152040 | 2147483647 121118 193 | 0.000 % |
92.44/92.54 c | 121527 | 11682 50039 152040 | 2147483647 121527 193 | 0.000 % |
92.94/93.09 c | 121981 | 11682 50039 152040 | 2147483647 121981 193 | 0.000 % |
93.54/93.64 c | 122475 | 11682 50039 152040 | 2147483647 122475 193 | 0.000 % |
94.14/94.21 c | 123017 | 11682 50039 152040 | 2147483647 123017 193 | 0.000 % |
94.74/94.87 c | 123613 | 11682 50039 152040 | 2147483647 123613 193 | 0.000 % |
95.54/95.62 c | 124269 | 11682 50039 152040 | 2147483647 124269 193 | 0.000 % |
96.35/96.45 c | 124990 | 11682 50039 152040 | 2147483647 124990 193 | 0.000 % |
97.24/97.32 c | 125782 | 11682 50039 152040 | 2147483647 125782 194 | 0.000 % |
98.14/98.25 c | 126654 | 11682 50039 152040 | 2147483647 126654 194 | 0.000 % |
99.24/99.36 c | 127612 | 11682 50039 152040 | 2147483647 127612 194 | 0.000 % |
100.44/100.53 c | 128667 | 11682 50039 152040 | 2147483647 128667 195 | 0.000 % |
101.74/101.88 c | 129825 | 11682 50039 152040 | 2147483647 129825 195 | 0.000 % |
103.14/103.25 c | 131101 | 11682 50039 152040 | 2147483647 131101 195 | 0.000 % |
104.64/104.77 c | 132501 | 11682 50039 152040 | 2147483647 132501 196 | 0.000 % |
104.84/104.93 c | 132602 | 11682 50039 152040 | 2147483647 132602 196 | 0.000 % |
104.94/105.08 c | 132712 | 11682 50039 152040 | 2147483647 132712 195 | 0.000 % |
105.14/105.23 c | 132835 | 11682 50039 152040 | 2147483647 132835 195 | 0.000 % |
105.34/105.41 c | 132968 | 11682 50039 152040 | 2147483647 132968 195 | 0.000 % |
105.45/105.59 c | 133115 | 11682 50039 152040 | 2147483647 133115 195 | 0.000 % |
105.74/105.82 c | 133275 | 11682 50039 152040 | 2147483647 133275 195 | 0.000 % |
105.94/106.04 c | 133451 | 11682 50039 152040 | 2147483647 133451 195 | 0.000 % |
106.14/106.27 c | 133644 | 11682 50039 152040 | 2147483647 133644 195 | 0.000 % |
106.44/106.52 c | 133856 | 11682 50039 152040 | 2147483647 133856 195 | 0.000 % |
106.74/106.81 c | 134089 | 11682 50039 152040 | 2147483647 134089 195 | 0.000 % |
107.04/107.14 c | 134345 | 11682 50039 152040 | 2147483647 134345 195 | 0.000 % |
107.44/107.52 c | 134626 | 11682 50039 152040 | 2147483647 134626 195 | 0.000 % |
107.74/107.86 c | 134936 | 11682 50039 152040 | 2147483647 134936 195 | 0.000 % |
108.14/108.25 c | 135275 | 11682 50039 152040 | 2147483647 135275 195 | 0.000 % |
108.54/108.69 c | 135648 | 11682 50039 152040 | 2147483647 135648 195 | 0.000 % |
109.03/109.17 c | 136058 | 11682 50039 152040 | 2147483647 136058 195 | 0.000 % |
109.63/109.73 c | 136507 | 11682 50039 152040 | 2147483647 136507 195 | 0.000 % |
110.24/110.35 c | 137000 | 11682 50039 152040 | 2147483647 137000 195 | 0.000 % |
110.94/111.00 c | 137542 | 11682 50039 152040 | 2147483647 137542 195 | 0.000 % |
111.64/111.72 c | 138138 | 11682 50039 152040 | 2147483647 138138 195 | 0.000 % |
112.43/112.53 c | 138793 | 11682 50039 152040 | 2147483647 138793 195 | 0.000 % |
113.24/113.36 c | 139513 | 11682 50039 152040 | 2147483647 139513 196 | 0.000 % |
114.34/114.40 c | 140305 | 11682 50039 152040 | 2147483647 140305 196 | 0.000 % |
115.24/115.38 c | 141176 | 11682 50039 152040 | 2147483647 141176 196 | 0.000 % |
116.33/116.48 c | 142135 | 11682 50039 152040 | 2147483647 142135 196 | 0.000 % |
117.63/117.79 c | 143188 | 11682 50039 152040 | 2147483647 143188 196 | 0.000 % |
119.02/119.13 c | 144347 | 11682 50039 152040 | 2147483647 144347 196 | 0.000 % |
120.53/120.63 c | 145621 | 11682 50039 152040 | 2147483647 145621 197 | 0.000 % |
122.12/122.22 c | 147021 | 11682 50039 152040 | 2147483647 147021 197 | 0.000 % |
123.93/124.04 c | 148562 | 11682 50039 152040 | 2147483647 148562 197 | 0.000 % |
124.03/124.19 c | 148664 | 11682 50039 152040 | 2147483647 148664 197 | 0.000 % |
124.23/124.35 c | 148774 | 11682 50039 152040 | 2147483647 148774 197 | 0.000 % |
124.43/124.53 c | 148896 | 11682 50039 152040 | 2147483647 148896 197 | 0.000 % |
124.63/124.73 c | 149030 | 11682 50039 152040 | 2147483647 149030 197 | 0.000 % |
124.83/124.99 c | 149178 | 11682 50039 152040 | 2147483647 149178 197 | 0.000 % |
125.13/125.23 c | 149338 | 11682 50039 152040 | 2147483647 149338 197 | 0.000 % |
125.33/125.45 c | 149515 | 11682 50039 152040 | 2147483647 149515 197 | 0.000 % |
125.63/125.72 c | 149710 | 11682 50039 152040 | 2147483647 149710 197 | 0.000 % |
125.93/126.03 c | 149923 | 11682 50039 152040 | 2147483647 149923 197 | 0.000 % |
126.23/126.36 c | 150156 | 11682 50039 152040 | 2147483647 150156 197 | 0.000 % |
126.62/126.70 c | 150414 | 11682 50039 152040 | 2147483647 150414 197 | 0.000 % |
126.92/127.06 c | 150695 | 11682 50039 152040 | 2147483647 150695 197 | 0.000 % |
127.32/127.48 c | 151006 | 11682 50039 152040 | 2147483647 151006 197 | 0.000 % |
127.82/127.93 c | 151346 | 11682 50039 152040 | 2147483647 151346 196 | 0.000 % |
128.33/128.40 c | 151718 | 11682 50039 152040 | 2147483647 151718 196 | 0.000 % |
128.83/128.91 c | 152128 | 11682 50039 152040 | 2147483647 152128 196 | 0.000 % |
129.33/129.45 c | 152577 | 11682 50039 152040 | 2147483647 152577 196 | 0.000 % |
129.93/130.08 c | 153070 | 11682 50039 152040 | 2147483647 153070 196 | 0.000 % |
130.63/130.79 c | 153612 | 11682 50039 152040 | 2147483647 153612 196 | 0.000 % |
131.43/131.54 c | 154209 | 11682 50039 152040 | 2147483647 154209 196 | 0.000 % |
132.22/132.32 c | 154864 | 11682 50039 152040 | 2147483647 154864 196 | 0.000 % |
133.03/133.18 c | 155584 | 11682 50039 152040 | 2147483647 155584 196 | 0.000 % |
134.03/134.14 c | 156377 | 11682 50039 152040 | 2147483647 156377 196 | 0.000 % |
135.13/135.24 c | 157249 | 11682 50039 152040 | 2147483647 157249 196 | 0.000 % |
136.33/136.45 c | 158211 | 11682 50039 152040 | 2147483647 158211 196 | 0.000 % |
137.63/137.80 c | 159265 | 11682 50039 152040 | 2147483647 159265 197 | 0.000 % |
139.02/139.19 c | 160423 | 11682 50039 152040 | 2147483647 160423 197 | 0.000 % |
140.63/140.74 c | 161696 | 11682 50039 152040 | 2147483647 161696 197 | 0.000 % |
142.42/142.53 c | 163098 | 11682 50039 152040 | 2147483647 163098 197 | 0.000 % |
144.42/144.51 c | 164640 | 11682 50039 152040 | 2147483647 164640 197 | 0.000 % |
146.52/146.61 c | 166337 | 11682 50039 152040 | 2147483647 166337 198 | 0.000 % |
146.62/146.74 c | 166437 | 11682 50039 152040 | 2147483647 166437 197 | 0.000 % |
146.82/146.92 c | 166548 | 11682 50039 152040 | 2147483647 166548 197 | 0.000 % |
147.02/147.13 c | 166670 | 11682 50039 152040 | 2147483647 166670 197 | 0.000 % |
147.22/147.35 c | 166804 | 11682 50039 152040 | 2147483647 166804 197 | 0.000 % |
147.42/147.58 c | 166950 | 11682 50039 152040 | 2147483647 166950 197 | 0.000 % |
147.72/147.80 c | 167110 | 11682 50039 152040 | 2147483647 167110 197 | 0.000 % |
147.92/148.08 c | 167286 | 11682 50039 152040 | 2147483647 167286 197 | 0.000 % |
148.22/148.33 c | 167480 | 11682 50039 152040 | 2147483647 167480 197 | 0.000 % |
148.52/148.62 c | 167692 | 11682 50039 152040 | 2147483647 167692 197 | 0.000 % |
148.82/148.98 c | 167927 | 11682 50039 152040 | 2147483647 167927 197 | 0.000 % |
149.22/149.32 c | 168183 | 11682 50039 152040 | 2147483647 168183 197 | 0.000 % |
149.61/149.74 c | 168466 | 11682 50039 152040 | 2147483647 168466 197 | 0.000 % |
150.01/150.17 c | 168776 | 11682 50039 152040 | 2147483647 168776 197 | 0.000 % |
150.52/150.62 c | 169116 | 11682 50039 152040 | 2147483647 169116 197 | 0.000 % |
151.02/151.14 c | 169488 | 11682 50039 152040 | 2147483647 169488 197 | 0.000 % |
151.63/151.71 c | 169897 | 11682 50039 152040 | 2147483647 169897 197 | 0.000 % |
152.22/152.33 c | 170346 | 11682 50039 152040 | 2147483647 170346 197 | 0.000 % |
152.92/153.05 c | 170839 | 11682 50039 152040 | 2147483647 170839 197 | 0.000 % |
153.72/153.80 c | 171382 | 11682 50039 152040 | 2147483647 171382 197 | 0.000 % |
154.51/154.61 c | 171979 | 11682 50039 152040 | 2147483647 171979 197 | 0.000 % |
155.41/155.52 c | 172634 | 11682 50039 152040 | 2147483647 172634 197 | 0.000 % |
156.32/156.46 c | 173357 | 11682 50039 152040 | 2147483647 173357 197 | 0.000 % |
157.42/157.50 c | 174150 | 11682 50039 152040 | 2147483647 174150 198 | 0.000 % |
158.61/158.73 c | 175021 | 11682 50039 152040 | 2147483647 175021 198 | 0.000 % |
160.01/160.10 c | 175981 | 11682 50039 152040 | 2147483647 175981 198 | 0.000 % |
161.31/161.48 c | 177036 | 11682 50039 152040 | 2147483647 177036 198 | 0.000 % |
163.01/163.17 c | 178195 | 11682 50039 152040 | 2147483647 178195 198 | 0.000 % |
164.72/164.83 c | 179469 | 11682 50039 152040 | 2147483647 179469 198 | 0.000 % |
166.41/166.56 c | 180869 | 11682 50039 152040 | 2147483647 180869 199 | 0.000 % |
168.41/168.56 c | 182409 | 11682 50039 152040 | 2147483647 182409 199 | 0.000 % |
170.61/170.72 c | 184103 | 11682 50039 152040 | 2147483647 184103 199 | 0.000 % |
173.01/173.13 c | 185968 | 11682 50039 152040 | 2147483647 185968 200 | 0.000 % |
173.21/173.31 c | 186068 | 11682 50039 152040 | 2147483647 186068 200 | 0.000 % |
173.41/173.52 c | 186179 | 11682 50039 152040 | 2147483647 186179 200 | 0.000 % |
173.62/173.72 c | 186301 | 11682 50039 152040 | 2147483647 186301 200 | 0.000 % |
173.82/173.95 c | 186438 | 11682 50039 152040 | 2147483647 186438 200 | 0.000 % |
174.02/174.18 c | 186584 | 11682 50039 152040 | 2147483647 186584 200 | 0.000 % |
174.32/174.48 c | 186745 | 11682 50039 152040 | 2147483647 186745 200 | 0.000 % |
174.62/174.74 c | 186923 | 11682 50039 152040 | 2147483647 186923 200 | 0.000 % |
174.92/175.07 c | 187118 | 11682 50039 152040 | 2147483647 187118 200 | 0.000 % |
175.22/175.39 c | 187330 | 11682 50039 152040 | 2147483647 187330 200 | 0.000 % |
175.62/175.78 c | 187563 | 11682 50039 152040 | 2147483647 187563 200 | 0.000 % |
176.12/176.22 c | 187821 | 11682 50039 152040 | 2147483647 187821 200 | 0.000 % |
176.51/176.69 c | 188102 | 11682 50039 152040 | 2147483647 188102 200 | 0.000 % |
177.02/177.19 c | 188413 | 11682 50039 152040 | 2147483647 188413 200 | 0.000 % |
177.61/177.72 c | 188753 | 11682 50039 152040 | 2147483647 188753 200 | 0.000 % |
178.21/178.32 c | 189126 | 11682 50039 152040 | 2147483647 189126 200 | 0.000 % |
178.81/178.98 c | 189535 | 11682 50039 152040 | 2147483647 189535 200 | 0.000 % |
179.51/179.69 c | 189987 | 11682 50039 152040 | 2147483647 189987 200 | 0.000 % |
180.21/180.35 c | 190480 | 11682 50039 152040 | 2147483647 190480 200 | 0.000 % |
181.01/181.13 c | 191022 | 11682 50039 152040 | 2147483647 191022 200 | 0.000 % |
181.91/182.04 c | 191618 | 11682 50039 152040 | 2147483647 191618 200 | 0.000 % |
182.91/183.01 c | 192275 | 11682 50039 152040 | 2147483647 192275 200 | 0.000 % |
183.91/184.00 c | 192997 | 11682 50039 152040 | 2147483647 192997 200 | 0.000 % |
185.01/185.15 c | 193789 | 11682 50039 152040 | 2147483647 193789 200 | 0.000 % |
186.21/186.38 c | 194662 | 11682 50039 152040 | 2147483647 194662 200 | 0.000 % |
187.61/187.79 c | 195620 | 11682 50039 152040 | 2147483647 195620 200 | 0.000 % |
189.20/189.32 c | 196675 | 11682 50039 152040 | 2147483647 196675 200 | 0.000 % |
190.80/190.92 c | 197833 | 11682 50039 152040 | 2147483647 197833 200 | 0.000 % |
192.61/192.74 c | 199106 | 11682 50039 152040 | 2147483647 199106 200 | 0.000 % |
194.70/194.81 c | 200508 | 11682 50039 152040 | 2147483647 200508 201 | 0.000 % |
196.91/197.05 c | 202049 | 11682 50039 152040 | 2147483647 202049 201 | 0.000 % |
199.51/199.65 c | 203743 | 11682 50039 152040 | 2147483647 203743 201 | 0.000 % |
202.21/202.39 c | 205607 | 11682 50039 152040 | 2147483647 205607 201 | 0.000 % |
205.20/205.33 c | 207656 | 11682 50039 152040 | 2147483647 207656 202 | 0.000 % |
205.40/205.51 c | 207756 | 11682 50039 152040 | 2147483647 207756 202 | 0.000 % |
205.61/205.73 c | 207868 | 11682 50039 152040 | 2147483647 207868 202 | 0.000 % |
205.80/205.95 c | 207992 | 11682 50039 152040 | 2147483647 207992 202 | 0.000 % |
206.10/206.24 c | 208126 | 11682 50039 152040 | 2147483647 208126 202 | 0.000 % |
206.30/206.49 c | 208272 | 11682 50039 152040 | 2147483647 208272 202 | 0.000 % |
206.60/206.76 c | 208432 | 11682 50039 152040 | 2147483647 208432 202 | 0.000 % |
206.90/207.06 c | 208608 | 11682 50039 152040 | 2147483647 208608 202 | 0.000 % |
207.20/207.39 c | 208801 | 11682 50039 152040 | 2147483647 208801 202 | 0.000 % |
207.60/207.79 c | 209015 | 11682 50039 152040 | 2147483647 209015 202 | 0.000 % |
208.10/208.23 c | 209249 | 11682 50039 152040 | 2147483647 209249 202 | 0.000 % |
208.50/208.67 c | 209507 | 11682 50039 152040 | 2147483647 209507 202 | 0.000 % |
209.00/209.12 c | 209788 | 11682 50039 152040 | 2147483647 209788 202 | 0.000 % |
209.50/209.63 c | 210098 | 11682 50039 152040 | 2147483647 210098 202 | 0.000 % |
210.11/210.21 c | 210437 | 11682 50039 152040 | 2147483647 210437 202 | 0.000 % |
210.70/210.81 c | 210810 | 11682 50039 152040 | 2147483647 210810 202 | 0.000 % |
211.30/211.48 c | 211219 | 11682 50039 152040 | 2147483647 211219 202 | 0.000 % |
212.00/212.17 c | 211668 | 11682 50039 152040 | 2147483647 211668 202 | 0.000 % |
212.90/213.00 c | 212161 | 11682 50039 152040 | 2147483647 212161 202 | 0.000 % |
213.70/213.85 c | 212703 | 11682 50039 152040 | 2147483647 212703 202 | 0.000 % |
214.60/214.76 c | 213299 | 11682 50039 152040 | 2147483647 213299 202 | 0.000 % |
215.70/215.80 c | 213954 | 11682 50039 152040 | 2147483647 213954 202 | 0.000 % |
216.70/216.87 c | 214674 | 11682 50039 152040 | 2147483647 214674 202 | 0.000 % |
217.90/218.06 c | 215467 | 11682 50039 152040 | 2147483647 215467 202 | 0.000 % |
219.20/219.35 c | 216339 | 11682 50039 152040 | 2147483647 216339 202 | 0.000 % |
220.70/220.86 c | 217297 | 11682 50039 152040 | 2147483647 217297 202 | 0.000 % |
222.40/222.50 c | 218350 | 11682 50039 152040 | 2147483647 218350 202 | 0.000 % |
224.20/224.32 c | 219508 | 11682 50039 152040 | 2147483647 219508 202 | 0.000 % |
226.20/226.31 c | 220781 | 11682 50039 152040 | 2147483647 220781 203 | 0.000 % |
228.10/228.25 c | 222182 | 11682 50039 152040 | 2147483647 222182 203 | 0.000 % |
230.50/230.61 c | 223722 | 11682 50039 152040 | 2147483647 223722 203 | 0.000 % |
232.90/233.04 c | 225416 | 11682 50039 152040 | 2147483647 225416 204 | 0.000 % |
235.80/235.92 c | 227280 | 11682 50039 152040 | 2147483647 227280 204 | 0.000 % |
238.90/239.06 c | 229330 | 11682 50039 152040 | 2147483647 229330 204 | 0.000 % |
242.50/242.66 c | 231583 | 11682 50039 152040 | 2147483647 231583 205 | 0.000 % |
242.70/242.89 c | 231683 | 11682 50039 152040 | 2147483647 231683 205 | 0.000 % |
242.90/243.08 c | 231793 | 11682 50039 152040 | 2147483647 231793 204 | 0.000 % |
243.10/243.30 c | 231915 | 11682 50039 152040 | 2147483647 231915 204 | 0.000 % |
243.39/243.54 c | 232048 | 11682 50039 152040 | 2147483647 232048 204 | 0.000 % |
243.69/243.87 c | 232194 | 11682 50039 152040 | 2147483647 232194 204 | 0.000 % |
244.00/244.18 c | 232355 | 11682 50039 152040 | 2147483647 232355 204 | 0.000 % |
244.39/244.52 c | 232531 | 11682 50039 152040 | 2147483647 232531 204 | 0.000 % |
244.79/244.95 c | 232724 | 11682 50039 152040 | 2147483647 232724 204 | 0.000 % |
245.19/245.33 c | 232936 | 11682 50039 152040 | 2147483647 232936 204 | 0.000 % |
245.59/245.75 c | 233170 | 11682 50039 152040 | 2147483647 233170 204 | 0.000 % |
246.09/246.21 c | 233426 | 11682 50039 152040 | 2147483647 233426 204 | 0.000 % |
246.59/246.72 c | 233707 | 11682 50039 152040 | 2147483647 233707 204 | 0.000 % |
247.09/247.23 c | 234016 | 11682 50039 152040 | 2147483647 234016 204 | 0.000 % |
247.79/247.92 c | 234355 | 11682 50039 152040 | 2147483647 234355 204 | 0.000 % |
248.39/248.56 c | 234729 | 11682 50039 152040 | 2147483647 234729 204 | 0.000 % |
249.09/249.27 c | 235140 | 11682 50039 152040 | 2147483647 235140 204 | 0.000 % |
249.90/250.05 c | 235590 | 11682 50039 152040 | 2147483647 235590 204 | 0.000 % |
250.79/250.94 c | 236085 | 11682 50039 152040 | 2147483647 236085 204 | 0.000 % |
251.80/251.97 c | 236630 | 11682 50039 152040 | 2147483647 236630 204 | 0.000 % |
252.90/253.01 c | 237227 | 11682 50039 152040 | 2147483647 237227 204 | 0.000 % |
253.90/254.07 c | 237882 | 11682 50039 152040 | 2147483647 237882 204 | 0.000 % |
255.19/255.32 c | 238605 | 11682 50039 152040 | 2147483647 238605 204 | 0.000 % |
256.59/256.71 c | 239397 | 11682 50039 152040 | 2147483647 239397 204 | 0.000 % |
257.98/258.19 c | 240268 | 11682 50039 152040 | 2147483647 240268 204 | 0.000 % |
259.59/259.71 c | 241227 | 11682 50039 152040 | 2147483647 241227 204 | 0.000 % |
261.39/261.59 c | 242280 | 11682 50039 152040 | 2147483647 242280 204 | 0.000 % |
263.29/263.42 c | 243439 | 11682 50039 152040 | 2147483647 243439 205 | 0.000 % |
265.49/265.62 c | 244712 | 11682 50039 152040 | 2147483647 244712 205 | 0.000 % |
267.68/267.85 c | 246112 | 11682 50039 152040 | 2147483647 246112 205 | 0.000 % |
270.19/270.38 c | 247652 | 11682 50039 152040 | 2147483647 247652 205 | 0.000 % |
272.89/273.09 c | 249347 | 11682 50039 152040 | 2147483647 249347 205 | 0.000 % |
275.99/276.11 c | 251210 | 11682 50039 152040 | 2147483647 251210 206 | 0.000 % |
279.68/279.81 c | 253259 | 11682 50039 152040 | 2147483647 253259 206 | 0.000 % |
283.48/283.61 c | 255512 | 11682 50039 152040 | 2147483647 255512 207 | 0.000 % |
287.78/287.99 c | 257993 | 11682 50039 152040 | 2147483647 257993 207 | 0.000 % |
288.08/288.25 c | 258094 | 11682 50039 152040 | 2147483647 258094 207 | 0.000 % |
288.38/288.52 c | 258206 | 11682 50039 152040 | 2147483647 258206 207 | 0.000 % |
288.68/288.80 c | 258328 | 11682 50039 152040 | 2147483647 258328 207 | 0.000 % |
288.88/289.07 c | 258462 | 11682 50039 152040 | 2147483647 258462 207 | 0.000 % |
289.18/289.38 c | 258609 | 11682 50039 152040 | 2147483647 258609 207 | 0.000 % |
289.58/289.75 c | 258771 | 11682 50039 152040 | 2147483647 258771 207 | 0.000 % |
289.88/290.08 c | 258947 | 11682 50039 152040 | 2147483647 258947 207 | 0.000 % |
290.38/290.50 c | 259140 | 11682 50039 152040 | 2147483647 259140 207 | 0.000 % |
290.78/290.92 c | 259352 | 11682 50039 152040 | 2147483647 259352 207 | 0.000 % |
291.18/291.38 c | 259586 | 11682 50039 152040 | 2147483647 259586 207 | 0.000 % |
291.77/291.95 c | 259842 | 11682 50039 152040 | 2147483647 259842 206 | 0.000 % |
292.39/292.51 c | 260123 | 11682 50039 152040 | 2147483647 260123 206 | 0.000 % |
292.88/293.07 c | 260432 | 11682 50039 152040 | 2147483647 260432 206 | 0.000 % |
293.68/293.81 c | 260772 | 11682 50039 152040 | 2147483647 260772 206 | 0.000 % |
294.38/294.57 c | 261145 | 11682 50039 152040 | 2147483647 261145 206 | 0.000 % |
295.18/295.40 c | 261554 | 11682 50039 152040 | 2147483647 261554 206 | 0.000 % |
296.07/296.26 c | 262003 | 11682 50039 152040 | 2147483647 262003 206 | 0.000 % |
297.08/297.23 c | 262497 | 11682 50039 152040 | 2147483647 262497 206 | 0.000 % |
298.08/298.21 c | 263039 | 11682 50039 152040 | 2147483647 263039 206 | 0.000 % |
299.28/299.45 c | 263636 | 11682 50039 152040 | 2147483647 263636 206 | 0.000 % |
300.48/300.64 c | 264291 | 11682 50039 152040 | 2147483647 264291 206 | 0.000 % |
301.87/302.01 c | 265011 | 11682 50039 152040 | 2147483647 265011 206 | 0.000 % |
303.38/303.60 c | 265805 | 11682 50039 152040 | 2147483647 265805 207 | 0.000 % |
305.08/305.21 c | 266676 | 11682 50039 152040 | 2147483647 266676 206 | 0.000 % |
306.78/306.97 c | 267635 | 11682 50039 152040 | 2147483647 267635 206 | 0.000 % |
308.78/308.92 c | 268688 | 11682 50039 152040 | 2147483647 268688 206 | 0.000 % |
310.87/311.01 c | 269847 | 11682 50039 152040 | 2147483647 269847 206 | 0.000 % |
313.07/313.23 c | 271120 | 11682 50039 152040 | 2147483647 271120 207 | 0.000 % |
315.58/315.77 c | 272520 | 11682 50039 152040 | 2147483647 272520 207 | 0.000 % |
318.47/318.64 c | 274060 | 11682 50039 152040 | 2147483647 274060 207 | 0.000 % |
321.77/321.93 c | 275754 | 11682 50039 152040 | 2147483647 275754 207 | 0.000 % |
324.97/325.19 c | 277619 | 11682 50039 152040 | 2147483647 277619 207 | 0.000 % |
328.57/328.77 c | 279668 | 11682 50039 152040 | 2147483647 279668 207 | 0.000 % |
332.67/332.86 c | 281921 | 11682 50039 152040 | 2147483647 281921 208 | 0.000 % |
337.16/337.38 c | 284399 | 11682 50039 152040 | 2147483647 284399 208 | 0.000 % |
341.97/342.14 c | 287125 | 11682 50039 152040 | 2147483647 287125 208 | 0.000 % |
342.17/342.39 c | 287225 | 11682 50039 152040 | 2147483647 287225 208 | 0.000 % |
342.47/342.64 c | 287337 | 11682 50039 152040 | 2147483647 287337 208 | 0.000 % |
342.77/342.95 c | 287458 | 11682 50039 152040 | 2147483647 287458 208 | 0.000 % |
343.17/343.33 c | 287591 | 11682 50039 152040 | 2147483647 287591 208 | 0.000 % |
343.57/343.73 c | 287739 | 11682 50039 152040 | 2147483647 287739 208 | 0.000 % |
343.97/344.13 c | 287899 | 11682 50039 152040 | 2147483647 287899 208 | 0.000 % |
344.37/344.55 c | 288075 | 11682 50039 152040 | 2147483647 288075 208 | 0.000 % |
344.87/345.04 c | 288272 | 11682 50039 152040 | 2147483647 288272 208 | 0.000 % |
345.27/345.50 c | 288484 | 11682 50039 152040 | 2147483647 288484 208 | 0.000 % |
345.76/345.98 c | 288720 | 11682 50039 152040 | 2147483647 288720 208 | 0.000 % |
346.37/346.54 c | 288977 | 11682 50039 152040 | 2147483647 288977 208 | 0.000 % |
346.96/347.11 c | 289259 | 11682 50039 152040 | 2147483647 289259 208 | 0.000 % |
347.66/347.82 c | 289569 | 11682 50039 152040 | 2147483647 289569 208 | 0.000 % |
348.47/348.63 c | 289909 | 11682 50039 152040 | 2147483647 289909 208 | 0.000 % |
349.36/349.51 c | 290281 | 11682 50039 152040 | 2147483647 290281 208 | 0.000 % |
350.16/350.35 c | 290690 | 11682 50039 152040 | 2147483647 290690 208 | 0.000 % |
351.16/351.33 c | 291142 | 11682 50039 152040 | 2147483647 291142 208 | 0.000 % |
352.16/352.32 c | 291635 | 11682 50039 152040 | 2147483647 291635 208 | 0.000 % |
353.26/353.41 c | 292178 | 11682 50039 152040 | 2147483647 292178 208 | 0.000 % |
354.36/354.56 c | 292774 | 11682 50039 152040 | 2147483647 292774 208 | 0.000 % |
355.77/355.90 c | 293429 | 11682 50039 152040 | 2147483647 293429 207 | 0.000 % |
357.27/357.44 c | 294149 | 11682 50039 152040 | 2147483647 294149 207 | 0.000 % |
358.86/359.05 c | 294941 | 11682 50039 152040 | 2147483647 294941 208 | 0.000 % |
360.56/360.71 c | 295813 | 11682 50039 152040 | 2147483647 295813 208 | 0.000 % |
362.46/362.69 c | 296771 | 11682 50039 152040 | 2147483647 296771 208 | 0.000 % |
364.66/364.80 c | 297825 | 11682 50039 152040 | 2147483647 297825 208 | 0.000 % |
366.86/367.08 c | 298985 | 11682 50039 152040 | 2147483647 298985 208 | 0.000 % |
369.25/369.45 c | 300258 | 11682 50039 152040 | 2147483647 300258 208 | 0.000 % |
371.96/372.12 c | 301658 | 11682 50039 152040 | 2147483647 301658 208 | 0.000 % |
375.25/375.42 c | 303202 | 11682 50039 152040 | 2147483647 303202 208 | 0.000 % |
378.46/378.65 c | 304896 | 11682 50039 152040 | 2147483647 304896 208 | 0.000 % |
382.05/382.28 c | 306759 | 11682 50039 152040 | 2147483647 306759 208 | 0.000 % |
386.06/386.26 c | 308808 | 11682 50039 152040 | 2147483647 308808 208 | 0.000 % |
390.46/390.68 c | 311061 | 11682 50039 152040 | 2147483647 311061 209 | 0.000 % |
395.55/395.78 c | 313539 | 11682 50039 152040 | 2147483647 313539 209 | 0.000 % |
401.04/401.27 c | 316264 | 11682 50039 152040 | 2147483647 316264 209 | 0.000 % |
406.95/407.19 c | 319262 | 11682 50039 152040 | 2147483647 319262 209 | 0.000 % |
407.25/407.45 c | 319364 | 11682 50039 152040 | 2147483647 319364 209 | 0.000 % |
407.55/407.76 c | 319476 | 11682 50039 152040 | 2147483647 319476 209 | 0.000 % |
407.95/408.12 c | 319597 | 11682 50039 152040 | 2147483647 319597 209 | 0.000 % |
408.25/408.48 c | 319730 | 11682 50039 152040 | 2147483647 319730 209 | 0.000 % |
408.65/408.87 c | 319878 | 11682 50039 152040 | 2147483647 319878 209 | 0.000 % |
409.05/409.25 c | 320039 | 11682 50039 152040 | 2147483647 320039 209 | 0.000 % |
409.54/409.73 c | 320216 | 11682 50039 152040 | 2147483647 320216 209 | 0.000 % |
410.05/410.23 c | 320410 | 11682 50039 152040 | 2147483647 320410 209 | 0.000 % |
410.54/410.79 c | 320623 | 11682 50039 152040 | 2147483647 320623 209 | 0.000 % |
411.15/411.31 c | 320856 | 11682 50039 152040 | 2147483647 320856 209 | 0.000 % |
411.64/411.90 c | 321113 | 11682 50039 152040 | 2147483647 321113 209 | 0.000 % |
412.35/412.55 c | 321394 | 11682 50039 152040 | 2147483647 321394 209 | 0.000 % |
413.04/413.30 c | 321703 | 11682 50039 152040 | 2147483647 321703 209 | 0.000 % |
413.84/414.01 c | 322044 | 11682 50039 152040 | 2147483647 322044 209 | 0.000 % |
414.74/414.92 c | 322417 | 11682 50039 152040 | 2147483647 322417 209 | 0.000 % |
415.74/415.91 c | 322827 | 11682 50039 152040 | 2147483647 322827 209 | 0.000 % |
416.74/416.92 c | 323277 | 11682 50039 152040 | 2147483647 323277 209 | 0.000 % |
417.84/418.03 c | 323772 | 11682 50039 152040 | 2147483647 323772 209 | 0.000 % |
419.14/419.32 c | 324314 | 11682 50039 152040 | 2147483647 324314 209 | 0.000 % |
420.45/420.60 c | 324911 | 11682 50039 152040 | 2147483647 324911 209 | 0.000 % |
421.74/421.97 c | 325566 | 11682 50039 152040 | 2147483647 325566 209 | 0.000 % |
423.35/423.58 c | 326287 | 11682 50039 152040 | 2147483647 326287 209 | 0.000 % |
425.24/425.40 c | 327079 | 11682 50039 152040 | 2147483647 327079 209 | 0.000 % |
427.14/427.40 c | 327950 | 11682 50039 152040 | 2147483647 327950 209 | 0.000 % |
429.34/429.50 c | 328908 | 11682 50039 152040 | 2147483647 328908 209 | 0.000 % |
431.44/431.65 c | 329961 | 11682 50039 152040 | 2147483647 329961 209 | 0.000 % |
433.84/434.08 c | 331119 | 11682 50039 152040 | 2147483647 331119 209 | 0.000 % |
436.45/436.69 c | 332395 | 11682 50039 152040 | 2147483647 332395 209 | 0.000 % |
439.44/439.62 c | 333796 | 11682 50039 152040 | 2147483647 333796 210 | 0.000 % |
442.74/442.91 c | 335337 | 11682 50039 152040 | 2147483647 335337 210 | 0.000 % |
446.24/446.50 c | 337032 | 11682 50039 152040 | 2147483647 337032 210 | 0.000 % |
450.44/450.60 c | 338896 | 11682 50039 152040 | 2147483647 338896 210 | 0.000 % |
454.73/454.92 c | 340945 | 11682 50039 152040 | 2147483647 340945 210 | 0.000 % |
459.33/459.54 c | 343199 | 11682 50039 152040 | 2147483647 343199 210 | 0.000 % |
464.43/464.68 c | 345680 | 11682 50039 152040 | 2147483647 345680 210 | 0.000 % |
470.13/470.37 c | 348409 | 11682 50039 152040 | 2147483647 348409 211 | 0.000 % |
476.73/476.94 c | 351407 | 11682 50039 152040 | 2147483647 351407 211 | 0.000 % |
483.82/484.09 c | 354704 | 11682 50039 152040 | 2147483647 354704 211 | 0.000 % |
484.12/484.33 c | 354804 | 11682 50039 152040 | 2147483647 354804 211 | 0.000 % |
484.42/484.67 c | 354915 | 11682 50039 152040 | 2147483647 354915 211 | 0.000 % |
484.83/485.06 c | 355037 | 11682 50039 152040 | 2147483647 355037 211 | 0.000 % |
485.22/485.48 c | 355170 | 11682 50039 152040 | 2147483647 355170 211 | 0.000 % |
485.62/485.82 c | 355316 | 11682 50039 152040 | 2147483647 355316 211 | 0.000 % |
486.02/486.24 c | 355476 | 11682 50039 152040 | 2147483647 355476 211 | 0.000 % |
486.52/486.74 c | 355653 | 11682 50039 152040 | 2147483647 355653 211 | 0.000 % |
487.03/487.25 c | 355847 | 11682 50039 152040 | 2147483647 355847 211 | 0.000 % |
487.63/487.81 c | 356060 | 11682 50039 152040 | 2147483647 356060 211 | 0.000 % |
488.23/488.46 c | 356293 | 11682 50039 152040 | 2147483647 356293 211 | 0.000 % |
488.93/489.13 c | 356550 | 11682 50039 152040 | 2147483647 356550 211 | 0.000 % |
489.63/489.87 c | 356832 | 11682 50039 152040 | 2147483647 356832 211 | 0.000 % |
490.53/490.74 c | 357143 | 11682 50039 152040 | 2147483647 357143 211 | 0.000 % |
491.33/491.55 c | 357482 | 11682 50039 152040 | 2147483647 357482 211 | 0.000 % |
492.32/492.52 c | 357854 | 11682 50039 152040 | 2147483647 357854 211 | 0.000 % |
493.42/493.68 c | 358263 | 11682 50039 152040 | 2147483647 358263 211 | 0.000 % |
494.62/494.81 c | 358712 | 11682 50039 152040 | 2147483647 358712 211 | 0.000 % |
495.82/496.03 c | 359207 | 11682 50039 152040 | 2147483647 359207 211 | 0.000 % |
497.12/497.36 c | 359751 | 11682 50039 152040 | 2147483647 359751 211 | 0.000 % |
498.62/498.81 c | 360347 | 11682 50039 152040 | 2147483647 360347 211 | 0.000 % |
500.12/500.35 c | 361005 | 11682 50039 152040 | 2147483647 361005 211 | 0.000 % |
501.92/502.11 c | 361725 | 11682 50039 152040 | 2147483647 361725 211 | 0.000 % |
503.82/504.04 c | 362519 | 11682 50039 152040 | 2147483647 362519 211 | 0.000 % |
505.92/506.18 c | 363391 | 11682 50039 152040 | 2147483647 363391 211 | 0.000 % |
508.21/508.41 c | 364350 | 11682 50039 152040 | 2147483647 364350 211 | 0.000 % |
510.62/510.80 c | 365406 | 11682 50039 152040 | 2147483647 365406 211 | 0.000 % |
513.12/513.34 c | 366564 | 11682 50039 152040 | 2147483647 366564 211 | 0.000 % |
516.12/516.35 c | 367837 | 11682 50039 152040 | 2147483647 367837 211 | 0.000 % |
519.42/519.62 c | 369237 | 11682 50039 152040 | 2147483647 369237 211 | 0.000 % |
522.82/523.04 c | 370777 | 11682 50039 152040 | 2147483647 370777 211 | 0.000 % |
526.81/527.06 c | 372472 | 11682 50039 152040 | 2147483647 372472 211 | 0.000 % |
531.01/531.23 c | 374336 | 11682 50039 152040 | 2147483647 374336 211 | 0.000 % |
535.61/535.80 c | 376387 | 11682 50039 152040 | 2147483647 376387 212 | 0.000 % |
540.60/540.88 c | 378642 | 11682 50039 152040 | 2147483647 378642 212 | 0.000 % |
546.30/546.52 c | 381121 | 11682 50039 152040 | 2147483647 381121 212 | 0.000 % |
552.30/552.59 c | 383846 | 11682 50039 152040 | 2147483647 383846 212 | 0.000 % |
559.20/559.42 c | 386843 | 11682 50039 152040 | 2147483647 386843 213 | 0.000 % |
566.50/566.74 c | 390142 | 11682 50039 152040 | 2147483647 390142 213 | 0.000 % |
575.00/575.25 c | 393770 | 11682 50039 152040 | 2147483647 393770 213 | 0.000 % |
575.29/575.52 c | 393870 | 11682 50039 152040 | 2147483647 393870 213 | 0.000 % |
575.59/575.83 c | 393983 | 11682 50039 152040 | 2147483647 393983 213 | 0.000 % |
575.99/576.21 c | 394108 | 11682 50039 152040 | 2147483647 394108 213 | 0.000 % |
576.29/576.59 c | 394241 | 11682 50039 152040 | 2147483647 394241 213 | 0.000 % |
576.80/577.03 c | 394389 | 11682 50039 152040 | 2147483647 394389 213 | 0.000 % |
577.30/577.50 c | 394550 | 11682 50039 152040 | 2147483647 394550 213 | 0.000 % |
577.80/578.05 c | 394726 | 11682 50039 152040 | 2147483647 394726 213 | 0.000 % |
578.40/578.60 c | 394921 | 11682 50039 152040 | 2147483647 394921 213 | 0.000 % |
579.00/579.22 c | 395134 | 11682 50039 152040 | 2147483647 395134 213 | 0.000 % |
579.70/579.94 c | 395367 | 11682 50039 152040 | 2147483647 395367 213 | 0.000 % |
580.50/580.73 c | 395623 | 11682 50039 152040 | 2147483647 395623 213 | 0.000 % |
581.29/581.56 c | 395905 | 11682 50039 152040 | 2147483647 395905 213 | 0.000 % |
582.19/582.45 c | 396214 | 11682 50039 152040 | 2147483647 396214 213 | 0.000 % |
582.99/583.25 c | 396554 | 11682 50039 152040 | 2147483647 396554 213 | 0.000 % |
584.09/584.33 c | 396927 | 11682 50039 152040 | 2147483647 396927 213 | 0.000 % |
585.20/585.49 c | 397336 | 11682 50039 152040 | 2147483647 397336 213 | 0.000 % |
586.49/586.72 c | 397786 | 11682 50039 152040 | 2147483647 397786 213 | 0.000 % |
587.69/587.99 c | 398279 | 11682 50039 152040 | 2147483647 398279 213 | 0.000 % |
589.20/589.47 c | 398822 | 11682 50039 152040 | 2147483647 398822 213 | 0.000 % |
590.79/591.04 c | 399418 | 11682 50039 152040 | 2147483647 399418 213 | 0.000 % |
592.49/592.72 c | 400073 | 11682 50039 152040 | 2147483647 400073 213 | 0.000 % |
594.39/594.69 c | 400796 | 11682 50039 152040 | 2147483647 400796 213 | 0.000 % |
596.69/596.90 c | 401588 | 11682 50039 152040 | 2147483647 401588 213 | 0.000 % |
598.99/599.20 c | 402459 | 11682 50039 152040 | 2147483647 402459 213 | 0.000 % |
601.29/601.58 c | 403418 | 11682 50039 152040 | 2147483647 403418 213 | 0.000 % |
604.09/604.32 c | 404473 | 11682 50039 152040 | 2147483647 404473 213 | 0.000 % |
606.89/607.11 c | 405632 | 11682 50039 152040 | 2147483647 405632 213 | 0.000 % |
610.09/610.39 c | 406905 | 11682 50039 152040 | 2147483647 406905 213 | 0.000 % |
613.60/613.83 c | 408306 | 11682 50039 152040 | 2147483647 408306 213 | 0.000 % |
617.49/617.73 c | 409846 | 11682 50039 152040 | 2147483647 409846 213 | 0.000 % |
621.58/621.83 c | 411540 | 11682 50039 152040 | 2147483647 411540 213 | 0.000 % |
626.49/626.78 c | 413404 | 11682 50039 152040 | 2147483647 413404 213 | 0.000 % |
631.68/631.98 c | 415454 | 11682 50039 152040 | 2147483647 415454 214 | 0.000 % |
637.38/637.66 c | 417707 | 11682 50039 152040 | 2147483647 417707 214 | 0.000 % |
643.38/643.64 c | 420185 | 11682 50039 152040 | 2147483647 420185 214 | 0.000 % |
649.88/650.14 c | 422911 | 11682 50039 152040 | 2147483647 422911 214 | 0.000 % |
657.48/657.76 c | 425908 | 11682 50039 152040 | 2147483647 425908 214 | 0.000 % |
665.47/665.75 c | 429207 | 11682 50039 152040 | 2147483647 429207 214 | 0.000 % |
674.57/674.87 c | 432833 | 11682 50039 152040 | 2147483647 432833 215 | 0.000 % |
684.77/685.00 c | 436821 | 11682 50039 152040 | 2147483647 436821 215 | 0.000 % |
685.07/685.35 c | 436921 | 11682 50039 152040 | 2147483647 436921 215 | 0.000 % |
685.46/685.74 c | 437033 | 11682 50039 152040 | 2147483647 437033 215 | 0.000 % |
685.96/686.21 c | 437155 | 11682 50039 152040 | 2147483647 437155 215 | 0.000 % |
686.46/686.71 c | 437288 | 11682 50039 152040 | 2147483647 437288 215 | 0.000 % |
686.96/687.24 c | 437435 | 11682 50039 152040 | 2147483647 437435 215 | 0.000 % |
687.46/687.79 c | 437595 | 11682 50039 152040 | 2147483647 437595 215 | 0.000 % |
688.06/688.36 c | 437772 | 11682 50039 152040 | 2147483647 437772 215 | 0.000 % |
688.76/689.02 c | 437965 | 11682 50039 152040 | 2147483647 437965 215 | 0.000 % |
689.47/689.72 c | 438178 | 11682 50039 152040 | 2147483647 438178 215 | 0.000 % |
690.27/690.52 c | 438411 | 11682 50039 152040 | 2147483647 438411 215 | 0.000 % |
691.07/691.37 c | 438667 | 11682 50039 152040 | 2147483647 438667 215 | 0.000 % |
691.97/692.26 c | 438949 | 11682 50039 152040 | 2147483647 438949 215 | 0.000 % |
692.96/693.21 c | 439259 | 11682 50039 152040 | 2147483647 439259 214 | 0.000 % |
693.87/694.16 c | 439598 | 11682 50039 152040 | 2147483647 439598 214 | 0.000 % |
695.06/695.36 c | 439972 | 11682 50039 152040 | 2147483647 439972 214 | 0.000 % |
696.26/696.56 c | 440383 | 11682 50039 152040 | 2147483647 440383 214 | 0.000 % |
697.76/698.01 c | 440833 | 11682 50039 152040 | 2147483647 440833 214 | 0.000 % |
699.26/699.52 c | 441327 | 11682 50039 152040 | 2147483647 441327 214 | 0.000 % |
700.76/701.01 c | 441870 | 11682 50039 152040 | 2147483647 441870 214 | 0.000 % |
702.57/702.83 c | 442466 | 11682 50039 152040 | 2147483647 442466 214 | 0.000 % |
704.56/704.82 c | 443125 | 11682 50039 152040 | 2147483647 443125 214 | 0.000 % |
706.56/706.87 c | 443845 | 11682 50039 152040 | 2147483647 443845 214 | 0.000 % |
708.66/708.93 c | 444640 | 11682 50039 152040 | 2147483647 444640 214 | 0.000 % |
711.06/711.39 c | 445512 | 11682 50039 152040 | 2147483647 445512 214 | 0.000 % |
713.96/714.23 c | 446470 | 11682 50039 152040 | 2147483647 446470 214 | 0.000 % |
716.65/716.93 c | 447524 | 11682 50039 152040 | 2147483647 447524 214 | 0.000 % |
719.96/720.24 c | 448682 | 11682 50039 152040 | 2147483647 448682 215 | 0.000 % |
723.45/723.74 c | 449955 | 11682 50039 152040 | 2147483647 449955 214 | 0.000 % |
727.35/727.68 c | 451360 | 11682 50039 152040 | 2147483647 451360 215 | 0.000 % |
731.74/732.05 c | 452901 | 11682 50039 152040 | 2147483647 452901 215 | 0.000 % |
736.15/736.46 c | 454595 | 11682 50039 152040 | 2147483647 454595 215 | 0.000 % |
741.55/741.85 c | 456460 | 11682 50039 152040 | 2147483647 456460 215 | 0.000 % |
746.64/746.98 c | 458509 | 11682 50039 152040 | 2147483647 458509 215 | 0.000 % |
753.15/753.42 c | 460762 | 11682 50039 152040 | 2147483647 460762 215 | 0.000 % |
759.94/760.25 c | 463240 | 11682 50039 152040 | 2147483647 463240 215 | 0.000 % |
767.14/767.45 c | 465965 | 11682 50039 152040 | 2147483647 465965 216 | 0.000 % |
775.34/775.64 c | 468962 | 11682 50039 152040 | 2147483647 468962 216 | 0.000 % |
783.94/784.23 c | 472258 | 11682 50039 152040 | 2147483647 472258 216 | 0.000 % |
793.83/794.15 c | 475883 | 11682 50039 152040 | 2147483647 475883 216 | 0.000 % |
805.33/805.62 c | 479871 | 11682 50039 152040 | 2147483647 479871 216 | 0.000 % |
817.32/817.64 c | 484256 | 11682 50039 152040 | 2147483647 484256 217 | 0.000 % |
817.62/817.98 c | 484357 | 11682 50039 152040 | 2147483647 484357 217 | 0.000 % |
818.02/818.39 c | 484468 | 11682 50039 152040 | 2147483647 484468 217 | 0.000 % |
818.53/818.85 c | 484589 | 11682 50039 152040 | 2147483647 484589 217 | 0.000 % |
819.13/819.42 c | 484725 | 11682 50039 152040 | 2147483647 484725 217 | 0.000 % |
819.63/819.96 c | 484873 | 11682 50039 152040 | 2147483647 484873 217 | 0.000 % |
820.23/820.60 c | 485037 | 11682 50039 152040 | 2147483647 485037 217 | 0.000 % |
820.92/821.29 c | 485213 | 11682 50039 152040 | 2147483647 485213 217 | 0.000 % |
821.62/821.93 c | 485406 | 11682 50039 152040 | 2147483647 485406 217 | 0.000 % |
822.32/822.67 c | 485620 | 11682 50039 152040 | 2147483647 485620 217 | 0.000 % |
823.12/823.48 c | 485853 | 11682 50039 152040 | 2147483647 485853 217 | 0.000 % |
823.92/824.26 c | 486110 | 11682 50039 152040 | 2147483647 486110 217 | 0.000 % |
824.92/825.24 c | 486392 | 11682 50039 152040 | 2147483647 486392 217 | 0.000 % |
825.92/826.28 c | 486701 | 11682 50039 152040 | 2147483647 486701 217 | 0.000 % |
827.02/827.39 c | 487041 | 11682 50039 152040 | 2147483647 487041 217 | 0.000 % |
828.32/828.63 c | 487413 | 11682 50039 152040 | 2147483647 487413 217 | 0.000 % |
829.62/829.90 c | 487822 | 11682 50039 152040 | 2147483647 487822 217 | 0.000 % |
831.12/831.41 c | 488271 | 11682 50039 152040 | 2147483647 488271 217 | 0.000 % |
832.62/832.94 c | 488764 | 11682 50039 152040 | 2147483647 488764 217 | 0.000 % |
834.32/834.62 c | 489307 | 11682 50039 152040 | 2147483647 489307 217 | 0.000 % |
836.12/836.43 c | 489906 | 11682 50039 152040 | 2147483647 489906 217 | 0.000 % |
838.22/838.58 c | 490561 | 11682 50039 152040 | 2147483647 490561 217 | 0.000 % |
840.71/841.01 c | 491283 | 11682 50039 152040 | 2147483647 491283 217 | 0.000 % |
843.12/843.49 c | 492075 | 11682 50039 152040 | 2147483647 492075 217 | 0.000 % |
845.92/846.21 c | 492946 | 11682 50039 152040 | 2147483647 492946 217 | 0.000 % |
848.71/849.03 c | 493906 | 11682 50039 152040 | 2147483647 493906 217 | 0.000 % |
851.72/852.09 c | 494960 | 11682 50039 152040 | 2147483647 494960 217 | 0.000 % |
855.22/855.53 c | 496118 | 11682 50039 152040 | 2147483647 496118 217 | 0.000 % |
859.02/859.30 c | 497392 | 11682 50039 152040 | 2147483647 497392 217 | 0.000 % |
863.22/863.53 c | 498792 | 11682 50039 152040 | 2147483647 498792 217 | 0.000 % |
867.91/868.23 c | 500333 | 11682 50039 152040 | 2147483647 500333 217 | 0.000 % |
873.12/873.40 c | 502027 | 11682 50039 152040 | 2147483647 502027 217 | 0.000 % |
879.01/879.37 c | 503890 | 11682 50039 152040 | 2147483647 503890 217 | 0.000 % |
885.01/885.40 c | 505941 | 11682 50039 152040 | 2147483647 505941 217 | 0.000 % |
891.11/891.46 c | 508195 | 11682 50039 152040 | 2147483647 508195 217 | 0.000 % |
898.50/898.86 c | 510673 | 11682 50039 152040 | 2147483647 510673 217 | 0.000 % |
906.50/906.81 c | 513400 | 11682 50039 152040 | 2147483647 513400 217 | 0.000 % |
914.80/915.12 c | 516399 | 11682 50039 152040 | 2147483647 516399 218 | 0.000 % |
924.30/924.70 c | 519697 | 11682 50039 152040 | 2147483647 519697 218 | 0.000 % |
934.89/935.28 c | 523323 | 11682 50039 152040 | 2147483647 523323 218 | 0.000 % |
946.59/946.98 c | 527310 | 11682 50039 152040 | 2147483647 527310 218 | 0.000 % |
959.29/959.61 c | 531696 | 11682 50039 152040 | 2147483647 531696 219 | 0.000 % |
972.68/973.04 c | 536519 | 11682 50039 152040 | 2147483647 536519 219 | 0.000 % |
973.28/973.62 c | 536619 | 11682 50039 152040 | 2147483647 536619 219 | 0.000 % |
973.68/974.08 c | 536731 | 11682 50039 152040 | 2147483647 536731 219 | 0.000 % |
974.28/974.64 c | 536859 | 11682 50039 152040 | 2147483647 536859 219 | 0.000 % |
974.78/975.18 c | 536994 | 11682 50039 152040 | 2147483647 536994 219 | 0.000 % |
975.38/975.77 c | 537142 | 11682 50039 152040 | 2147483647 537142 219 | 0.000 % |
976.08/976.47 c | 537302 | 11682 50039 152040 | 2147483647 537302 219 | 0.000 % |
976.88/977.23 c | 537478 | 11682 50039 152040 | 2147483647 537478 219 | 0.000 % |
977.68/978.03 c | 537671 | 11682 50039 152040 | 2147483647 537671 219 | 0.000 % |
978.38/978.79 c | 537883 | 11682 50039 152040 | 2147483647 537883 219 | 0.000 % |
979.38/979.70 c | 538117 | 11682 50039 152040 | 2147483647 538117 219 | 0.000 % |
980.27/980.69 c | 538373 | 11682 50039 152040 | 2147483647 538373 219 | 0.000 % |
981.37/981.74 c | 538654 | 11682 50039 152040 | 2147483647 538654 219 | 0.000 % |
982.57/982.97 c | 538963 | 11682 50039 152040 | 2147483647 538963 219 | 0.000 % |
983.87/984.22 c | 539302 | 11682 50039 152040 | 2147483647 539302 219 | 0.000 % |
985.18/985.59 c | 539674 | 11682 50039 152040 | 2147483647 539674 219 | 0.000 % |
986.67/987.08 c | 540085 | 11682 50039 152040 | 2147483647 540085 219 | 0.000 % |
988.27/988.68 c | 540535 | 11682 50039 152040 | 2147483647 540535 219 | 0.000 % |
990.08/990.47 c | 541028 | 11682 50039 152040 | 2147483647 541028 219 | 0.000 % |
991.97/992.39 c | 541570 | 11682 50039 152040 | 2147483647 541570 219 | 0.000 % |
994.17/994.51 c | 542167 | 11682 50039 152040 | 2147483647 542167 219 | 0.000 % |
996.27/996.69 c | 542826 | 11682 50039 152040 | 2147483647 542826 219 | 0.000 % |
998.76/999.14 c | 543546 | 11682 50039 152040 | 2147483647 543546 219 | 0.000 % |
1001.57/1001.97 c | 544339 | 11682 50039 152040 | 2147483647 544339 219 | 0.000 % |
1004.47/1004.87 c | 545211 | 11682 50039 152040 | 2147483647 545211 219 | 0.000 % |
1007.76/1008.18 c | 546170 | 11682 50039 152040 | 2147483647 546170 219 | 0.000 % |
1011.36/1011.75 c | 547223 | 11682 50039 152040 | 2147483647 547223 219 | 0.000 % |
1015.17/1015.55 c | 548387 | 11682 50039 152040 | 2147483647 548387 219 | 0.000 % |
1019.37/1019.76 c | 549660 | 11682 50039 152040 | 2147483647 549660 219 | 0.000 % |
1024.16/1024.56 c | 551060 | 11682 50039 152040 | 2147483647 551060 219 | 0.000 % |
1029.16/1029.58 c | 552600 | 11682 50039 152040 | 2147483647 552600 219 | 0.000 % |
1034.36/1034.77 c | 554296 | 11682 50039 152040 | 2147483647 554296 219 | 0.000 % |
1040.26/1040.67 c | 556160 | 11682 50039 152040 | 2147483647 556160 219 | 0.000 % |
1047.25/1047.60 c | 558211 | 11682 50039 152040 | 2147483647 558211 219 | 0.000 % |
1054.35/1054.71 c | 560464 | 11682 50039 152040 | 2147483647 560464 219 | 0.000 % |
1061.95/1062.37 c | 562943 | 11682 50039 152040 | 2147483647 562943 219 | 0.000 % |
1070.55/1070.95 c | 565668 | 11682 50039 152040 | 2147483647 565668 220 | 0.000 % |
1079.65/1080.07 c | 568665 | 11682 50039 152040 | 2147483647 568665 220 | 0.000 % |
1090.34/1090.75 c | 571962 | 11682 50039 152040 | 2147483647 571962 220 | 0.000 % |
1101.64/1102.00 c | 575587 | 11682 50039 152040 | 2147483647 575587 220 | 0.000 % |
1114.74/1115.18 c | 579574 | 11682 50039 152040 | 2147483647 579574 220 | 0.000 % |
1129.23/1129.66 c | 583963 | 11682 50039 152040 | 2147483647 583963 220 | 0.000 % |
1144.12/1144.53 c | 588786 | 11682 50039 152040 | 2147483647 588786 220 | 0.000 % |
1161.02/1161.49 c | 594091 | 11682 50039 152040 | 2147483647 594091 221 | 0.000 % |
1161.62/1162.04 c | 594192 | 11682 50039 152040 | 2147483647 594192 221 | 0.000 % |
1162.12/1162.56 c | 594302 | 11682 50039 152040 | 2147483647 594302 221 | 0.000 % |
1162.72/1163.19 c | 594423 | 11682 50039 152040 | 2147483647 594423 221 | 0.000 % |
1163.43/1163.83 c | 594556 | 11682 50039 152040 | 2147483647 594556 221 | 0.000 % |
1164.12/1164.58 c | 594702 | 11682 50039 152040 | 2147483647 594702 221 | 0.000 % |
1164.82/1165.27 c | 594862 | 11682 50039 152040 | 2147483647 594862 221 | 0.000 % |
1165.72/1166.16 c | 595038 | 11682 50039 152040 | 2147483647 595038 221 | 0.000 % |
1166.72/1167.16 c | 595231 | 11682 50039 152040 | 2147483647 595231 221 | 0.000 % |
1167.62/1168.03 c | 595445 | 11682 50039 152040 | 2147483647 595445 221 | 0.000 % |
1168.52/1168.98 c | 595678 | 11682 50039 152040 | 2147483647 595678 221 | 0.000 % |
1169.72/1170.14 c | 595934 | 11682 50039 152040 | 2147483647 595934 221 | 0.000 % |
1170.92/1171.34 c | 596215 | 11682 50039 152040 | 2147483647 596215 221 | 0.000 % |
1172.12/1172.59 c | 596524 | 11682 50039 152040 | 2147483647 596524 221 | 0.000 % |
1173.61/1174.01 c | 596864 | 11682 50039 152040 | 2147483647 596864 221 | 0.000 % |
1175.21/1175.65 c | 597236 | 11682 50039 152040 | 2147483647 597236 221 | 0.000 % |
1176.91/1177.31 c | 597647 | 11682 50039 152040 | 2147483647 597647 221 | 0.000 % |
1178.72/1179.12 c | 598096 | 11682 50039 152040 | 2147483647 598096 221 | 0.000 % |
1180.72/1181.16 c | 598590 | 11682 50039 152040 | 2147483647 598590 221 | 0.000 % |
1182.91/1183.30 c | 599135 | 11682 50039 152040 | 2147483647 599135 221 | 0.000 % |
1185.32/1185.78 c | 599733 | 11682 50039 152040 | 2147483647 599733 221 | 0.000 % |
1188.01/1188.46 c | 600389 | 11682 50039 152040 | 2147483647 600389 221 | 0.000 % |
1190.71/1191.10 c | 601110 | 11682 50039 152040 | 2147483647 601110 220 | 0.000 % |
1193.51/1193.99 c | 601902 | 11682 50039 152040 | 2147483647 601902 221 | 0.000 % |
1196.71/1197.19 c | 602773 | 11682 50039 152040 | 2147483647 602773 220 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832817-1242788345/watcher-1832817-1242788345 -o /tmp/evaluation-result-1832817-1242788345/solver-1832817-1242788345 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832817-1242788345.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7123
/proc/meminfo: memFree=1819880/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 306867946 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7123/statm: 1339 237 197 169 0 50 0
[startup+0.0891679 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7123
/proc/meminfo: memFree=1819880/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 306867946 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7123/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101169 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7123
/proc/meminfo: memFree=1819880/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 310 249 0 0 0 0 0 0 17 0 1 0 306867946 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7123/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301203 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7123
/proc/meminfo: memFree=1819880/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356
[startup+0.701242 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 7123
/proc/meminfo: memFree=1819880/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 5356
[startup+1.50132 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7129
/proc/meminfo: memFree=1813144/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=7192 CPUtime=1.24
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 1650 0 0 0 124 0 0 0 25 0 1 0 306867970 7364608 1636 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 1798 1636 77 171 0 1625 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12548
[startup+3.10147 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7129
/proc/meminfo: memFree=1811160/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=9964 CPUtime=2.85
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 2328 0 0 0 284 1 0 0 25 0 1 0 306867970 10203136 2314 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 2491 2314 77 171 0 2318 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15320
[startup+6.3028 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7129
/proc/meminfo: memFree=1805528/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=15160 CPUtime=6.04
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 3637 0 0 0 601 3 0 0 25 0 1 0 306867970 15523840 3623 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 3790 3623 77 171 0 3617 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20516
[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7129
/proc/meminfo: memFree=1795864/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=24312 CPUtime=12.44
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 5922 0 0 0 1239 5 0 0 25 0 1 0 306867970 24895488 5908 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 6078 5908 77 171 0 5905 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 29668
[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7129
/proc/meminfo: memFree=1779544/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=40132 CPUtime=25.25
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 9858 0 0 0 2514 11 0 0 25 0 1 0 306867970 41095168 9844 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 10033 9844 77 171 0 9860 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45488
[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7129
/proc/meminfo: memFree=1752856/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=66924 CPUtime=50.83
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 16560 0 0 0 5066 17 0 0 25 0 1 0 306867970 68530176 16546 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 16731 16546 77 171 0 16558 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 72280
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7129
/proc/meminfo: memFree=1709400/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=109620 CPUtime=102.03
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 27261 0 0 0 10173 30 0 0 25 0 1 0 306867970 112250880 27247 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 27405 27247 77 171 0 27232 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 114976
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7135
/proc/meminfo: memFree=1669528/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=149624 CPUtime=161.99
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 37230 0 0 0 16158 41 0 0 25 0 1 0 306867970 153214976 37216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 37406 37216 77 171 0 37233 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 154980
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7135
/proc/meminfo: memFree=1632152/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=186860 CPUtime=221.98
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 46474 0 0 0 22148 50 0 0 25 0 1 0 306867970 191344640 46460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 46715 46460 77 171 0 46542 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 192216
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7135
/proc/meminfo: memFree=1598040/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=221048 CPUtime=281.96
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 55059 0 0 0 28136 60 0 0 25 0 1 0 306867970 226353152 55045 1992294400 134512640 135215339 4294956240 18446744073709551615 134525710 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 55262 55045 77 171 0 55089 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 226404
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7135
/proc/meminfo: memFree=1568216/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=250228 CPUtime=341.95
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 62387 0 0 0 34125 70 0 0 25 0 1 0 306867970 256233472 62373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 62557 62373 77 171 0 62384 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 255584
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7135
/proc/meminfo: memFree=1541784/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=277244 CPUtime=401.93
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 69024 0 0 0 40115 78 0 0 25 0 1 0 306867970 283897856 69010 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 69311 69010 77 171 0 69138 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 282600
[startup+462.302 s]
################
# More data... #
################
/proc/7129/statm: 87758 87526 77 171 0 87585 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 356388
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7135
/proc/meminfo: memFree=1445400/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=372416 CPUtime=641.86
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 92897 0 0 0 64081 105 0 0 25 0 1 0 306867970 381353984 92883 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 93104 92883 77 171 0 92931 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 377772
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7135
/proc/meminfo: memFree=1424024/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=393536 CPUtime=701.84
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 98224 0 0 0 70072 112 0 0 25 0 1 0 306867970 402980864 98210 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 98384 98210 77 171 0 98211 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 398892
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7135
/proc/meminfo: memFree=1403224/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=413996 CPUtime=761.82
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 103344 0 0 0 76063 119 0 0 25 0 1 0 306867970 423931904 103330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 103499 103330 77 171 0 103326 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 419352
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 7135
/proc/meminfo: memFree=1381592/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=436556 CPUtime=821.8
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 108772 0 0 0 82055 125 0 0 25 0 1 0 306867970 447033344 108758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 109139 108758 77 171 0 108966 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 441912
[startup+882.302 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 7135
/proc/meminfo: memFree=1363672/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=454244 CPUtime=881.78
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 113206 0 0 0 88048 130 0 0 25 0 1 0 306867970 465145856 113192 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 113561 113192 77 171 0 113388 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 459600
[startup+942.302 s]
/proc/loadavg: 1.12 1.03 1.01 2/66 7135
/proc/meminfo: memFree=1342808/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=475104 CPUtime=941.77
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 118449 0 0 0 94041 136 0 0 25 0 1 0 306867970 486506496 118435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 118776 118435 77 171 0 118603 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 480460
[startup+1002.3 s]
/proc/loadavg: 1.18 1.05 1.01 2/66 7135
/proc/meminfo: memFree=1323800/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=493592 CPUtime=1001.75
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 123103 0 0 0 100033 142 0 0 25 0 1 0 306867970 505438208 123089 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 123398 123089 77 171 0 123225 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 498948
[startup+1062.3 s]
/proc/loadavg: 1.17 1.07 1.02 2/66 7135
/proc/meminfo: memFree=1306520/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=511016 CPUtime=1061.73
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 127465 0 0 0 106028 145 0 0 25 0 1 0 306867970 523280384 127451 1992294400 134512640 135215339 4294956240 18446744073709551615 134538272 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 127754 127451 77 171 0 127581 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 516372
[startup+1122.3 s]
/proc/loadavg: 1.06 1.05 1.01 2/66 7135
/proc/meminfo: memFree=1288024/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=529100 CPUtime=1121.71
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 132006 0 0 0 112021 150 0 0 25 0 1 0 306867970 541798400 131992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 132275 131992 77 171 0 132102 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 534456
[startup+1182.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/66 7135
/proc/meminfo: memFree=1271192/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=545864 CPUtime=1181.7
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 136215 0 0 0 118015 155 0 0 25 0 1 0 306867970 558964736 136201 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 136466 136201 77 171 0 136293 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 551220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 7135
/proc/meminfo: memFree=1266648/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=550088 CPUtime=1199.89
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 137291 0 0 0 119833 156 0 0 25 0 1 0 306867970 563290112 137277 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 137522 137277 77 171 0 137349 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 555444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 7135
/proc/meminfo: memFree=1266648/2055920 swapFree=4179960/4192956
[pid=7123] ppid=7121 vsize=5356 CPUtime=0.22
/proc/7123/stat : 7123 (SatELiteGTI) S 7121 7123 6445 0 -1 4194304 336 1841 0 0 0 0 21 1 16 0 1 0 306867946 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7123/statm: 1339 239 197 169 0 50 0
[pid=7129] ppid=7123 vsize=550088 CPUtime=1199.89
/proc/7129/stat : 7129 (minisat_static) R 7123 7123 6445 0 -1 4194304 137291 0 0 0 119833 156 0 0 25 0 1 0 306867970 563290112 137277 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7129/statm: 137522 137277 77 171 0 137349 0
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (KiB) 555444
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7123 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=221966
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.236963
# while last known CPU time is 1200.11
#
# 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.11
CPU user time (s): 1198.54
CPU system time (s): 1.57
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 555444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.221966
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= 2177
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.39279 second user time and 3.03654 second system time
The end
Begin job on node17 at 2009-05-20 04:59:06
IDJOB=1832817
IDBENCH=70372
IDSOLVER=671
FILE ID=node17/1832817-1242788345
PBS_JOBID= 9322325
Free space on /tmp= 66452 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832817-1242788345/watcher-1832817-1242788345 -o /tmp/evaluation-result-1832817-1242788345/solver-1832817-1242788345 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832817-1242788345.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2b1b5cba2ea775d4b0eb4b407240568e
RANDOM SEED=1339491074
node17.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.234
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.234
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: 1820424 kB
Buffers: 34824 kB
Cached: 131724 kB
SwapCached: 7328 kB
Active: 36124 kB
Inactive: 139468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1820424 kB
SwapTotal: 4192956 kB
SwapFree: 4179960 kB
Dirty: 2508 kB
Writeback: 0 kB
Mapped: 14076 kB
Slab: 45884 kB
Committed_AS: 1020648 kB
PageTables: 1456 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= 66452 MiB
End job on node17 at 2009-05-20 05:19:08