0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 58800 176400 | 17639 0 0 nan | 0.000 % |
0.00/0.21 c | 0 | 58396 177294 | -- 0 -- -- | -- | -404/894
0.00/0.21 c ==============================================================================
0.00/0.21 c Result : #vars: 13648 #clauses: 58396 #literals: 177294
0.00/0.21 c CPU time: 0.19297 s
0.00/0.21 c ==============================================================================
0.00/0.27 c This is MiniSat 2.0 beta
0.00/0.27 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.28 c ============================[ Problem Statistics ]=============================
0.00/0.28 c | |
0.00/0.28 c | Number of variables: 13648 |
0.00/0.28 c | Number of clauses: 58396 |
0.26/0.32 c | Parsing time: 0.04 s |
0.26/0.32 c ============================[ Search Statistics ]==============================
0.26/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.26/0.32 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.26/0.32 c ===============================================================================
0.26/0.32 c | 0 | 13648 58396 177294 | 19465 0 nan | 0.000 % |
0.26/0.37 c | 101 | 13648 58396 177294 | 19465 101 148 | 0.000 % |
0.26/0.41 c | 202 | 13648 58396 177294 | 19465 202 154 | 0.000 % |
0.26/0.46 c | 302 | 13648 58396 177294 | 19465 302 161 | 0.000 % |
0.26/0.51 c | 412 | 13648 58396 177294 | 19465 412 154 | 0.000 % |
0.26/0.55 c | 512 | 13648 58396 177294 | 19465 512 158 | 0.000 % |
0.26/0.60 c | 623 | 13648 58396 177294 | 19465 623 157 | 0.000 % |
0.26/0.66 c | 744 | 13648 58396 177294 | 19465 744 162 | 0.000 % |
0.26/0.70 c | 844 | 13648 58396 177294 | 19465 844 163 | 0.000 % |
0.26/0.75 c | 954 | 13648 58396 177294 | 19465 954 162 | 0.000 % |
0.26/0.80 c | 1075 | 13648 58396 177294 | 19465 1075 164 | 0.000 % |
0.26/0.86 c | 1208 | 13648 58396 177294 | 19465 1208 162 | 0.000 % |
0.26/0.90 c | 1309 | 13648 58396 177294 | 19465 1309 164 | 0.000 % |
0.26/0.95 c | 1419 | 13648 58396 177294 | 19465 1419 164 | 0.000 % |
0.98/1.01 c | 1540 | 13648 58396 177294 | 19465 1540 165 | 0.000 % |
0.98/1.07 c | 1673 | 13648 58396 177294 | 19465 1673 169 | 0.000 % |
1.08/1.14 c | 1819 | 13648 58396 177294 | 19465 1819 172 | 0.000 % |
1.08/1.18 c | 1919 | 13648 58396 177294 | 19465 1919 169 | 0.000 % |
1.17/1.23 c | 2029 | 13648 58396 177294 | 19465 2029 168 | 0.000 % |
1.17/1.29 c | 2151 | 13648 58396 177294 | 19465 2151 169 | 0.000 % |
1.27/1.34 c | 2286 | 13648 58396 177294 | 19465 2286 171 | 0.000 % |
1.37/1.40 c | 2433 | 13648 58396 177294 | 19465 2433 169 | 0.000 % |
1.37/1.47 c | 2593 | 13648 58396 177294 | 19465 2593 167 | 0.000 % |
1.47/1.51 c | 2693 | 13648 58396 177294 | 19465 2693 167 | 0.000 % |
1.47/1.57 c | 2804 | 13648 58396 177294 | 19465 2804 168 | 0.000 % |
1.57/1.62 c | 2926 | 13648 58396 177294 | 19465 2926 167 | 0.000 % |
1.57/1.68 c | 3059 | 13648 58396 177294 | 19465 3059 167 | 0.000 % |
1.67/1.76 c | 3206 | 13648 58396 177294 | 19465 3206 171 | 0.000 % |
1.77/1.83 c | 3367 | 13648 58396 177294 | 19465 3367 171 | 0.000 % |
1.87/1.91 c | 3545 | 13648 58396 177294 | 19465 3545 171 | 0.000 % |
1.87/1.95 c | 3645 | 13648 58396 177294 | 19465 3645 170 | 0.000 % |
1.97/2.00 c | 3755 | 13648 58396 177294 | 19465 3755 169 | 0.000 % |
1.97/2.06 c | 3877 | 13648 58396 177294 | 19465 3877 171 | 0.000 % |
2.07/2.12 c | 4010 | 13648 58396 177294 | 19465 4010 171 | 0.000 % |
2.07/2.19 c | 4157 | 13648 58396 177294 | 19465 4157 170 | 0.000 % |
2.17/2.26 c | 4318 | 13648 58396 177294 | 19465 4318 170 | 0.000 % |
2.27/2.34 c | 4494 | 13648 58396 177294 | 19465 4494 170 | 0.000 % |
2.37/2.44 c | 4689 | 13648 58396 177294 | 19465 4689 170 | 0.000 % |
2.37/2.48 c | 4790 | 13648 58396 177294 | 19465 4790 170 | 0.000 % |
2.47/2.54 c | 4901 | 13648 58396 177294 | 19465 4901 171 | 0.000 % |
2.47/2.59 c | 5022 | 13648 58396 177294 | 19465 5022 171 | 0.000 % |
2.57/2.66 c | 5156 | 13648 58396 177294 | 19465 5156 172 | 0.000 % |
2.66/2.74 c | 5304 | 13648 58396 177294 | 19465 5304 172 | 0.000 % |
2.76/2.81 c | 5465 | 13648 58396 177294 | 19465 5465 172 | 0.000 % |
2.76/2.89 c | 5641 | 13648 58396 177294 | 19465 5641 172 | 0.000 % |
2.86/2.98 c | 5834 | 13648 58396 177294 | 19465 5834 172 | 0.000 % |
2.96/3.09 c | 6046 | 13648 58396 177294 | 19465 6046 173 | 0.000 % |
3.06/3.14 c | 6147 | 13648 58396 177294 | 19465 6147 173 | 0.000 % |
3.06/3.20 c | 6260 | 13648 58396 177294 | 19465 6260 174 | 0.000 % |
3.17/3.26 c | 6382 | 13648 58396 177294 | 19465 6382 173 | 0.000 % |
3.27/3.32 c | 6515 | 13648 58396 177294 | 19465 6515 174 | 0.000 % |
3.37/3.40 c | 6661 | 13648 58396 177294 | 19465 6661 175 | 0.000 % |
3.37/3.48 c | 6822 | 13648 58396 177294 | 19465 6822 176 | 0.000 % |
3.47/3.57 c | 6999 | 13648 58396 177294 | 19465 6999 177 | 0.000 % |
3.57/3.66 c | 7192 | 13648 58396 177294 | 19465 7192 178 | 0.000 % |
3.67/3.76 c | 7404 | 13648 58396 177294 | 19465 7404 179 | 0.000 % |
3.77/3.88 c | 7637 | 13648 58396 177294 | 19465 7637 179 | 0.000 % |
3.87/3.93 c | 7737 | 13648 58396 177294 | 19465 7737 178 | 0.000 % |
3.87/3.99 c | 7847 | 13648 58396 177294 | 19465 7847 178 | 0.000 % |
3.97/4.06 c | 7970 | 13648 58396 177294 | 19465 7970 178 | 0.000 % |
4.07/4.13 c | 8103 | 13648 58396 177294 | 19465 8103 178 | 0.000 % |
4.17/4.20 c | 8251 | 13648 58396 177294 | 19465 8251 178 | 0.000 % |
4.17/4.29 c | 8413 | 13648 58396 177294 | 19465 8413 177 | 0.000 % |
4.27/4.38 c | 8590 | 13648 58396 177294 | 19465 8590 177 | 0.000 % |
4.37/4.48 c | 8783 | 13648 58396 177294 | 19465 8783 176 | 0.000 % |
4.47/4.59 c | 8997 | 13648 58396 177294 | 19465 8997 178 | 0.000 % |
4.66/4.71 c | 9231 | 13648 58396 177294 | 19465 9231 178 | 0.000 % |
4.76/4.84 c | 9489 | 13648 58396 177294 | 19465 9489 179 | 0.000 % |
4.76/4.89 c | 9589 | 13648 58396 177294 | 19465 9589 179 | 0.000 % |
4.86/4.95 c | 9700 | 13648 58396 177294 | 19465 9700 179 | 0.000 % |
4.96/5.02 c | 9822 | 13648 58396 177294 | 19465 9822 179 | 0.000 % |
4.96/5.09 c | 9956 | 13648 58396 177294 | 19465 9956 179 | 0.000 % |
5.06/5.17 c | 10102 | 13648 58396 177294 | 2147483647 10102 180 | 0.000 % |
5.16/5.25 c | 10263 | 13648 58396 177294 | 2147483647 10263 179 | 0.000 % |
5.26/5.33 c | 10439 | 13648 58396 177294 | 2147483647 10439 180 | 0.000 % |
5.37/5.44 c | 10633 | 13648 58396 177294 | 2147483647 10633 181 | 0.000 % |
5.47/5.55 c | 10846 | 13648 58396 177294 | 2147483647 10846 181 | 0.000 % |
5.56/5.67 c | 11079 | 13648 58396 177294 | 2147483647 11079 181 | 0.000 % |
5.76/5.80 c | 11337 | 13648 58396 177294 | 2147483647 11337 182 | 0.000 % |
5.86/5.94 c | 11621 | 13648 58396 177294 | 2147483647 11621 183 | 0.000 % |
5.86/6.00 c | 11722 | 13648 58396 177294 | 2147483647 11722 183 | 0.000 % |
5.96/6.05 c | 11833 | 13648 58396 177294 | 2147483647 11833 183 | 0.000 % |
6.06/6.12 c | 11954 | 13648 58396 177294 | 2147483647 11954 183 | 0.000 % |
6.16/6.20 c | 12087 | 13648 58396 177294 | 2147483647 12087 183 | 0.000 % |
6.16/6.29 c | 12236 | 13648 58396 177294 | 2147483647 12236 183 | 0.000 % |
6.27/6.38 c | 12400 | 13648 58396 177294 | 2147483647 12400 183 | 0.000 % |
6.37/6.48 c | 12576 | 13648 58396 177294 | 2147483647 12576 184 | 0.000 % |
6.47/6.59 c | 12769 | 13648 58396 177294 | 2147483647 12769 184 | 0.000 % |
6.66/6.70 c | 12983 | 13648 58396 177294 | 2147483647 12983 185 | 0.000 % |
6.76/6.83 c | 13217 | 13648 58396 177294 | 2147483647 13217 185 | 0.000 % |
6.86/6.96 c | 13474 | 13648 58396 177294 | 2147483647 13474 186 | 0.000 % |
7.06/7.11 c | 13755 | 13648 58396 177294 | 2147483647 13755 186 | 0.000 % |
7.16/7.27 c | 14064 | 13648 58396 177294 | 2147483647 14064 185 | 0.000 % |
7.26/7.33 c | 14166 | 13648 58396 177294 | 2147483647 14166 185 | 0.000 % |
7.26/7.39 c | 14277 | 13648 58396 177294 | 2147483647 14277 185 | 0.000 % |
7.36/7.45 c | 14398 | 13648 58396 177294 | 2147483647 14398 185 | 0.000 % |
7.46/7.53 c | 14534 | 13648 58396 177294 | 2147483647 14534 186 | 0.000 % |
7.56/7.61 c | 14680 | 13648 58396 177294 | 2147483647 14680 185 | 0.000 % |
7.56/7.70 c | 14841 | 13648 58396 177294 | 2147483647 14841 185 | 0.000 % |
7.66/7.79 c | 15017 | 13648 58396 177294 | 2147483647 15017 185 | 0.000 % |
7.86/7.90 c | 15210 | 13648 58396 177294 | 2147483647 15210 185 | 0.000 % |
7.96/8.01 c | 15423 | 13648 58396 177294 | 2147483647 15423 184 | 0.000 % |
8.06/8.13 c | 15656 | 13648 58396 177294 | 2147483647 15656 184 | 0.000 % |
8.16/8.27 c | 15914 | 13648 58396 177294 | 2147483647 15914 185 | 0.000 % |
8.36/8.42 c | 16199 | 13648 58396 177294 | 2147483647 16199 185 | 0.000 % |
8.46/8.58 c | 16509 | 13648 58396 177294 | 2147483647 16509 186 | 0.000 % |
8.66/8.77 c | 16849 | 13648 58396 177294 | 2147483647 16849 186 | 0.000 % |
8.76/8.83 c | 16949 | 13648 58396 177294 | 2147483647 16949 186 | 0.000 % |
8.76/8.90 c | 17059 | 13648 58396 177294 | 2147483647 17059 185 | 0.000 % |
8.86/8.97 c | 17181 | 13648 58396 177294 | 2147483647 17181 185 | 0.000 % |
8.95/9.05 c | 17315 | 13648 58396 177294 | 2147483647 17315 185 | 0.000 % |
9.05/9.13 c | 17464 | 13648 58396 177294 | 2147483647 17464 185 | 0.000 % |
9.15/9.22 c | 17626 | 13648 58396 177294 | 2147483647 17626 185 | 0.000 % |
9.25/9.32 c | 17802 | 13648 58396 177294 | 2147483647 17802 185 | 0.000 % |
9.35/9.44 c | 17995 | 13648 58396 177294 | 2147483647 17995 185 | 0.000 % |
9.45/9.56 c | 18210 | 13648 58396 177294 | 2147483647 18210 185 | 0.000 % |
9.55/9.70 c | 18447 | 13648 58396 177294 | 2147483647 18447 185 | 0.000 % |
9.75/9.83 c | 18705 | 13648 58396 177294 | 2147483647 18705 186 | 0.000 % |
9.86/9.99 c | 18986 | 13648 58396 177294 | 2147483647 18986 186 | 0.000 % |
10.06/10.17 c | 19298 | 13648 58396 177294 | 2147483647 19298 186 | 0.000 % |
10.26/10.39 c | 19637 | 13648 58396 177294 | 2147483647 19637 188 | 0.000 % |
10.56/10.61 c | 20010 | 13648 58396 177294 | 2147483647 20010 189 | 0.000 % |
10.56/10.68 c | 20112 | 13648 58396 177294 | 2147483647 20112 189 | 0.000 % |
10.66/10.74 c | 20227 | 13648 58396 177294 | 2147483647 20227 189 | 0.000 % |
10.76/10.82 c | 20348 | 13648 58396 177294 | 2147483647 20348 189 | 0.000 % |
10.76/10.90 c | 20481 | 13648 58396 177294 | 2147483647 20481 188 | 0.000 % |
10.86/10.99 c | 20627 | 13648 58396 177294 | 2147483647 20627 189 | 0.000 % |
10.96/11.08 c | 20787 | 13648 58396 177294 | 2147483647 20787 189 | 0.000 % |
11.06/11.19 c | 20964 | 13648 58396 177294 | 2147483647 20964 188 | 0.000 % |
11.26/11.30 c | 21157 | 13648 58396 177294 | 2147483647 21157 189 | 0.000 % |
11.36/11.42 c | 21370 | 13648 58396 177294 | 2147483647 21370 189 | 0.000 % |
11.46/11.55 c | 21603 | 13648 58396 177294 | 2147483647 21603 189 | 0.000 % |
11.66/11.70 c | 21859 | 13648 58396 177294 | 2147483647 21859 188 | 0.000 % |
11.76/11.85 c | 22145 | 13648 58396 177294 | 2147483647 22145 188 | 0.000 % |
11.96/12.04 c | 22454 | 13648 58396 177294 | 2147483647 22454 188 | 0.000 % |
12.16/12.23 c | 22797 | 13648 58396 177294 | 2147483647 22797 188 | 0.000 % |
12.36/12.45 c | 23169 | 13648 58396 177294 | 2147483647 23169 188 | 0.000 % |
12.56/12.67 c | 23579 | 13648 58396 177294 | 2147483647 23579 188 | 0.000 % |
12.66/12.74 c | 23679 | 13648 58396 177294 | 2147483647 23679 188 | 0.000 % |
12.76/12.81 c | 23789 | 13648 58396 177294 | 2147483647 23789 188 | 0.000 % |
12.76/12.89 c | 23911 | 13648 58396 177294 | 2147483647 23911 188 | 0.000 % |
12.85/12.96 c | 24044 | 13648 58396 177294 | 2147483647 24044 188 | 0.000 % |
12.95/13.06 c | 24191 | 13648 58396 177294 | 2147483647 24191 187 | 0.000 % |
13.06/13.16 c | 24351 | 13648 58396 177294 | 2147483647 24351 187 | 0.000 % |
13.16/13.27 c | 24527 | 13648 58396 177294 | 2147483647 24527 187 | 0.000 % |
13.25/13.38 c | 24720 | 13648 58396 177294 | 2147483647 24720 187 | 0.000 % |
13.45/13.51 c | 24934 | 13648 58396 177294 | 2147483647 24934 188 | 0.000 % |
13.55/13.65 c | 25167 | 13648 58396 177294 | 2147483647 25167 188 | 0.000 % |
13.75/13.81 c | 25423 | 13648 58396 177294 | 2147483647 25423 188 | 0.000 % |
13.85/14.00 c | 25704 | 13648 58396 177294 | 2147483647 25704 188 | 0.000 % |
14.05/14.18 c | 26015 | 13648 58396 177294 | 2147483647 26015 188 | 0.000 % |
14.26/14.38 c | 26354 | 13648 58396 177294 | 2147483647 26354 189 | 0.000 % |
14.55/14.60 c | 26728 | 13648 58396 177294 | 2147483647 26728 189 | 0.000 % |
14.75/14.84 c | 27138 | 13648 58396 177294 | 2147483647 27138 190 | 0.000 % |
15.05/15.10 c | 27587 | 13648 58396 177294 | 2147483647 27587 190 | 0.000 % |
15.05/15.17 c | 27687 | 13648 58396 177294 | 2147483647 27687 190 | 0.000 % |
15.15/15.24 c | 27800 | 13648 58396 177294 | 2147483647 27800 190 | 0.000 % |
15.26/15.32 c | 27921 | 13648 58396 177294 | 2147483647 27921 190 | 0.000 % |
15.36/15.42 c | 28057 | 13648 58396 177294 | 2147483647 28057 190 | 0.000 % |
15.45/15.51 c | 28203 | 13648 58396 177294 | 2147483647 28203 190 | 0.000 % |
15.55/15.61 c | 28364 | 13648 58396 177294 | 2147483647 28364 189 | 0.000 % |
15.65/15.72 c | 28540 | 13648 58396 177294 | 2147483647 28540 189 | 0.000 % |
15.75/15.85 c | 28733 | 13648 58396 177294 | 2147483647 28733 189 | 0.000 % |
15.85/15.99 c | 28945 | 13648 58396 177294 | 2147483647 28945 190 | 0.000 % |
16.05/16.14 c | 29179 | 13648 58396 177294 | 2147483647 29179 189 | 0.000 % |
16.25/16.31 c | 29435 | 13648 58396 177294 | 2147483647 29435 189 | 0.000 % |
16.35/16.47 c | 29717 | 13648 58396 177294 | 2147483647 29717 190 | 0.000 % |
16.55/16.66 c | 30026 | 13648 58396 177294 | 2147483647 30026 190 | 0.000 % |
16.75/16.89 c | 30368 | 13648 58396 177294 | 2147483647 30368 190 | 0.000 % |
17.04/17.11 c | 30742 | 13648 58396 177294 | 2147483647 30742 190 | 0.000 % |
17.25/17.37 c | 31151 | 13648 58396 177294 | 2147483647 31151 191 | 0.000 % |
17.55/17.63 c | 31600 | 13648 58396 177294 | 2147483647 31600 191 | 0.000 % |
17.85/17.91 c | 32093 | 13648 58396 177294 | 2147483647 32093 191 | 0.000 % |
17.85/17.98 c | 32193 | 13648 58396 177294 | 2147483647 32193 191 | 0.000 % |
17.95/18.06 c | 32304 | 13648 58396 177294 | 2147483647 32304 191 | 0.000 % |
18.05/18.15 c | 32425 | 13648 58396 177294 | 2147483647 32425 191 | 0.000 % |
18.15/18.24 c | 32558 | 13648 58396 177294 | 2147483647 32558 191 | 0.000 % |
18.25/18.35 c | 32707 | 13648 58396 177294 | 2147483647 32707 191 | 0.000 % |
18.35/18.45 c | 32867 | 13648 58396 177294 | 2147483647 32867 191 | 0.000 % |
18.45/18.56 c | 33043 | 13648 58396 177294 | 2147483647 33043 190 | 0.000 % |
18.65/18.70 c | 33236 | 13648 58396 177294 | 2147483647 33236 191 | 0.000 % |
18.74/18.84 c | 33449 | 13648 58396 177294 | 2147483647 33449 190 | 0.000 % |
18.84/18.98 c | 33683 | 13648 58396 177294 | 2147483647 33683 190 | 0.000 % |
19.04/19.16 c | 33940 | 13648 58396 177294 | 2147483647 33940 190 | 0.000 % |
19.25/19.35 c | 34223 | 13648 58396 177294 | 2147483647 34223 190 | 0.000 % |
19.45/19.55 c | 34532 | 13648 58396 177294 | 2147483647 34532 191 | 0.000 % |
19.65/19.80 c | 34872 | 13648 58396 177294 | 2147483647 34872 191 | 0.000 % |
19.95/20.04 c | 35245 | 13648 58396 177294 | 2147483647 35245 191 | 0.000 % |
20.25/20.30 c | 35655 | 13648 58396 177294 | 2147483647 35655 192 | 0.000 % |
20.44/20.59 c | 36104 | 13648 58396 177294 | 2147483647 36104 192 | 0.000 % |
20.85/20.93 c | 36597 | 13648 58396 177294 | 2147483647 36597 193 | 0.000 % |
21.14/21.28 c | 37140 | 13648 58396 177294 | 2147483647 37140 193 | 0.000 % |
21.24/21.35 c | 37241 | 13648 58396 177294 | 2147483647 37241 193 | 0.000 % |
21.35/21.43 c | 37352 | 13648 58396 177294 | 2147483647 37352 193 | 0.000 % |
21.45/21.52 c | 37473 | 13648 58396 177294 | 2147483647 37473 193 | 0.000 % |
21.55/21.61 c | 37607 | 13648 58396 177294 | 2147483647 37607 193 | 0.000 % |
21.65/21.71 c | 37755 | 13648 58396 177294 | 2147483647 37755 192 | 0.000 % |
21.75/21.83 c | 37916 | 13648 58396 177294 | 2147483647 37916 192 | 0.000 % |
21.85/21.95 c | 38094 | 13648 58396 177294 | 2147483647 38094 193 | 0.000 % |
22.05/22.11 c | 38287 | 13648 58396 177294 | 2147483647 38287 192 | 0.000 % |
22.15/22.26 c | 38500 | 13648 58396 177294 | 2147483647 38500 193 | 0.000 % |
22.35/22.43 c | 38735 | 13648 58396 177294 | 2147483647 38735 193 | 0.000 % |
22.45/22.59 c | 38991 | 13648 58396 177294 | 2147483647 38991 193 | 0.000 % |
22.65/22.79 c | 39274 | 13648 58396 177294 | 2147483647 39274 193 | 0.000 % |
22.84/22.99 c | 39583 | 13648 58396 177294 | 2147483647 39583 193 | 0.000 % |
23.14/23.23 c | 39923 | 13648 58396 177294 | 2147483647 39923 193 | 0.000 % |
23.44/23.50 c | 40296 | 13648 58396 177294 | 2147483647 40296 193 | 0.000 % |
23.64/23.77 c | 40706 | 13648 58396 177294 | 2147483647 40706 193 | 0.000 % |
23.94/24.10 c | 41156 | 13648 58396 177294 | 2147483647 41156 194 | 0.000 % |
24.34/24.43 c | 41649 | 13648 58396 177294 | 2147483647 41649 194 | 0.000 % |
24.74/24.81 c | 42192 | 13648 58396 177294 | 2147483647 42192 194 | 0.000 % |
25.15/25.23 c | 42793 | 13648 58396 177294 | 2147483647 42793 195 | 0.000 % |
25.25/25.31 c | 42893 | 13648 58396 177294 | 2147483647 42893 195 | 0.000 % |
25.25/25.39 c | 43004 | 13648 58396 177294 | 2147483647 43004 194 | 0.000 % |
25.34/25.49 c | 43125 | 13648 58396 177294 | 2147483647 43125 194 | 0.000 % |
25.44/25.59 c | 43258 | 13648 58396 177294 | 2147483647 43258 194 | 0.000 % |
25.64/25.70 c | 43408 | 13648 58396 177294 | 2147483647 43408 194 | 0.000 % |
25.74/25.82 c | 43568 | 13648 58396 177294 | 2147483647 43568 194 | 0.000 % |
25.84/25.97 c | 43745 | 13648 58396 177294 | 2147483647 43745 194 | 0.000 % |
26.04/26.11 c | 43938 | 13648 58396 177294 | 2147483647 43938 194 | 0.000 % |
26.14/26.29 c | 44151 | 13648 58396 177294 | 2147483647 44151 194 | 0.000 % |
26.34/26.45 c | 44386 | 13648 58396 177294 | 2147483647 44386 194 | 0.000 % |
26.54/26.65 c | 44642 | 13648 58396 177294 | 2147483647 44642 194 | 0.000 % |
26.74/26.84 c | 44924 | 13648 58396 177294 | 2147483647 44924 194 | 0.000 % |
26.94/27.04 c | 45234 | 13648 58396 177294 | 2147483647 45234 193 | 0.000 % |
27.13/27.27 c | 45573 | 13648 58396 177294 | 2147483647 45573 193 | 0.000 % |
27.45/27.53 c | 45945 | 13648 58396 177294 | 2147483647 45945 194 | 0.000 % |
27.74/27.82 c | 46354 | 13648 58396 177294 | 2147483647 46354 194 | 0.000 % |
28.04/28.14 c | 46804 | 13648 58396 177294 | 2147483647 46804 195 | 0.000 % |
28.34/28.49 c | 47298 | 13648 58396 177294 | 2147483647 47298 195 | 0.000 % |
28.74/28.88 c | 47842 | 13648 58396 177294 | 2147483647 47842 195 | 0.000 % |
29.24/29.30 c | 48438 | 13648 58396 177294 | 2147483647 48438 196 | 0.000 % |
29.65/29.77 c | 49093 | 13648 58396 177294 | 2147483647 49093 196 | 0.000 % |
29.74/29.87 c | 49195 | 13648 58396 177294 | 2147483647 49195 196 | 0.000 % |
29.84/29.96 c | 49306 | 13648 58396 177294 | 2147483647 49306 196 | 0.000 % |
29.94/30.05 c | 49427 | 13648 58396 177294 | 2147483647 49427 196 | 0.000 % |
30.04/30.16 c | 49560 | 13648 58396 177294 | 2147483647 49560 196 | 0.000 % |
30.14/30.28 c | 49707 | 13648 58396 177294 | 2147483647 49707 196 | 0.000 % |
30.34/30.41 c | 49869 | 13648 58396 177294 | 2147483647 49869 196 | 0.000 % |
30.44/30.54 c | 50045 | 13648 58396 177294 | 2147483647 50045 196 | 0.000 % |
30.54/30.70 c | 50239 | 13648 58396 177294 | 2147483647 50239 196 | 0.000 % |
30.74/30.87 c | 50451 | 13648 58396 177294 | 2147483647 50451 196 | 0.000 % |
30.94/31.06 c | 50684 | 13648 58396 177294 | 2147483647 50684 196 | 0.000 % |
31.14/31.26 c | 50940 | 13648 58396 177294 | 2147483647 50940 196 | 0.000 % |
31.34/31.47 c | 51221 | 13648 58396 177294 | 2147483647 51221 196 | 0.000 % |
31.64/31.71 c | 51530 | 13648 58396 177294 | 2147483647 51530 196 | 0.000 % |
31.83/31.98 c | 51869 | 13648 58396 177294 | 2147483647 51869 197 | 0.000 % |
32.13/32.27 c | 52243 | 13648 58396 177294 | 2147483647 52243 197 | 0.000 % |
32.43/32.58 c | 52652 | 13648 58396 177294 | 2147483647 52652 197 | 0.000 % |
32.84/32.94 c | 53102 | 13648 58396 177294 | 2147483647 53102 197 | 0.000 % |
33.24/33.30 c | 53595 | 13648 58396 177294 | 2147483647 53595 197 | 0.000 % |
33.63/33.74 c | 54138 | 13648 58396 177294 | 2147483647 54138 197 | 0.000 % |
34.13/34.22 c | 54734 | 13648 58396 177294 | 2147483647 54734 197 | 0.000 % |
34.63/34.73 c | 55389 | 13648 58396 177294 | 2147483647 55389 198 | 0.000 % |
35.14/35.27 c | 56112 | 13648 58396 177294 | 2147483647 56112 199 | 0.000 % |
35.23/35.35 c | 56212 | 13648 58396 177294 | 2147483647 56212 199 | 0.000 % |
35.33/35.46 c | 56322 | 13648 58396 177294 | 2147483647 56322 199 | 0.000 % |
35.43/35.57 c | 56443 | 13648 58396 177294 | 2147483647 56443 199 | 0.000 % |
35.53/35.68 c | 56576 | 13648 58396 177294 | 2147483647 56576 199 | 0.000 % |
35.73/35.82 c | 56724 | 13648 58396 177294 | 2147483647 56724 199 | 0.000 % |
35.83/35.94 c | 56885 | 13648 58396 177294 | 2147483647 56885 199 | 0.000 % |
35.93/36.08 c | 57063 | 13648 58396 177294 | 2147483647 57063 199 | 0.000 % |
36.13/36.24 c | 57257 | 13648 58396 177294 | 2147483647 57257 199 | 0.000 % |
36.33/36.41 c | 57472 | 13648 58396 177294 | 2147483647 57472 199 | 0.000 % |
36.53/36.60 c | 57706 | 13648 58396 177294 | 2147483647 57706 199 | 0.000 % |
36.73/36.81 c | 57963 | 13648 58396 177294 | 2147483647 57963 199 | 0.000 % |
36.92/37.04 c | 58245 | 13648 58396 177294 | 2147483647 58245 199 | 0.000 % |
37.12/37.28 c | 58554 | 13648 58396 177294 | 2147483647 58554 199 | 0.000 % |
37.43/37.55 c | 58893 | 13648 58396 177294 | 2147483647 58893 199 | 0.000 % |
37.73/37.85 c | 59266 | 13648 58396 177294 | 2147483647 59266 199 | 0.000 % |
38.03/38.15 c | 59675 | 13648 58396 177294 | 2147483647 59675 199 | 0.000 % |
38.44/38.55 c | 60125 | 13648 58396 177294 | 2147483647 60125 200 | 0.000 % |
38.83/38.96 c | 60618 | 13648 58396 177294 | 2147483647 60618 200 | 0.000 % |
39.33/39.41 c | 61160 | 13648 58396 177294 | 2147483647 61160 200 | 0.000 % |
39.73/39.88 c | 61757 | 13648 58396 177294 | 2147483647 61757 201 | 0.000 % |
40.32/40.41 c | 62414 | 13648 58396 177294 | 2147483647 62414 201 | 0.000 % |
40.83/40.96 c | 63134 | 13648 58396 177294 | 2147483647 63134 201 | 0.000 % |
41.53/41.64 c | 63926 | 13648 58396 177294 | 2147483647 63926 201 | 0.000 % |
41.63/41.74 c | 64026 | 13648 58396 177294 | 2147483647 64026 201 | 0.000 % |
41.73/41.85 c | 64137 | 13648 58396 177294 | 2147483647 64137 201 | 0.000 % |
41.83/41.97 c | 64258 | 13648 58396 177294 | 2147483647 64258 201 | 0.000 % |
41.93/42.09 c | 64393 | 13648 58396 177294 | 2147483647 64393 201 | 0.000 % |
42.13/42.22 c | 64539 | 13648 58396 177294 | 2147483647 64539 201 | 0.000 % |
42.23/42.35 c | 64700 | 13648 58396 177294 | 2147483647 64700 201 | 0.000 % |
42.43/42.51 c | 64877 | 13648 58396 177294 | 2147483647 64877 201 | 0.000 % |
42.53/42.69 c | 65071 | 13648 58396 177294 | 2147483647 65071 201 | 0.000 % |
42.73/42.89 c | 65284 | 13648 58396 177294 | 2147483647 65284 201 | 0.000 % |
42.93/43.08 c | 65518 | 13648 58396 177294 | 2147483647 65518 201 | 0.000 % |
43.23/43.33 c | 65779 | 13648 58396 177294 | 2147483647 65779 201 | 0.000 % |
43.43/43.56 c | 66060 | 13648 58396 177294 | 2147483647 66060 201 | 0.000 % |
43.73/43.84 c | 66371 | 13648 58396 177294 | 2147483647 66371 201 | 0.000 % |
44.03/44.15 c | 66711 | 13648 58396 177294 | 2147483647 66711 201 | 0.000 % |
44.33/44.47 c | 67084 | 13648 58396 177294 | 2147483647 67084 202 | 0.000 % |
44.73/44.84 c | 67494 | 13648 58396 177294 | 2147483647 67494 202 | 0.000 % |
45.12/45.23 c | 67944 | 13648 58396 177294 | 2147483647 67944 202 | 0.000 % |
45.52/45.66 c | 68438 | 13648 58396 177294 | 2147483647 68438 202 | 0.000 % |
46.03/46.12 c | 68982 | 13648 58396 177294 | 2147483647 68982 203 | 0.000 % |
46.42/46.59 c | 69580 | 13648 58396 177294 | 2147483647 69580 203 | 0.000 % |
47.02/47.15 c | 70239 | 13648 58396 177294 | 2147483647 70239 203 | 0.000 % |
47.63/47.77 c | 70959 | 13648 58396 177294 | 2147483647 70959 204 | 0.000 % |
48.33/48.44 c | 71751 | 13648 58396 177294 | 2147483647 71751 204 | 0.000 % |
49.02/49.18 c | 72623 | 13648 58396 177294 | 2147483647 72623 205 | 0.000 % |
49.12/49.27 c | 72723 | 13648 58396 177294 | 2147483647 72723 204 | 0.000 % |
49.22/49.37 c | 72833 | 13648 58396 177294 | 2147483647 72833 204 | 0.000 % |
49.32/49.48 c | 72955 | 13648 58396 177294 | 2147483647 72955 204 | 0.000 % |
49.52/49.61 c | 73088 | 13648 58396 177294 | 2147483647 73088 204 | 0.000 % |
49.62/49.75 c | 73235 | 13648 58396 177294 | 2147483647 73235 204 | 0.000 % |
49.72/49.89 c | 73395 | 13648 58396 177294 | 2147483647 73395 204 | 0.000 % |
49.92/50.02 c | 73571 | 13648 58396 177294 | 2147483647 73571 204 | 0.000 % |
50.12/50.20 c | 73765 | 13648 58396 177294 | 2147483647 73765 204 | 0.000 % |
50.32/50.40 c | 73979 | 13648 58396 177294 | 2147483647 73979 204 | 0.000 % |
50.52/50.64 c | 74214 | 13648 58396 177294 | 2147483647 74214 204 | 0.000 % |
50.72/50.88 c | 74472 | 13648 58396 177294 | 2147483647 74472 204 | 0.000 % |
51.01/51.13 c | 74755 | 13648 58396 177294 | 2147483647 74755 204 | 0.000 % |
51.21/51.39 c | 75064 | 13648 58396 177294 | 2147483647 75064 204 | 0.000 % |
51.52/51.68 c | 75404 | 13648 58396 177294 | 2147483647 75404 204 | 0.000 % |
51.92/52.05 c | 75778 | 13648 58396 177294 | 2147483647 75778 204 | 0.000 % |
52.32/52.44 c | 76187 | 13648 58396 177294 | 2147483647 76187 204 | 0.000 % |
52.72/52.85 c | 76636 | 13648 58396 177294 | 2147483647 76636 204 | 0.000 % |
53.12/53.28 c | 77130 | 13648 58396 177294 | 2147483647 77130 204 | 0.000 % |
53.61/53.75 c | 77673 | 13648 58396 177294 | 2147483647 77673 204 | 0.000 % |
54.11/54.27 c | 78270 | 13648 58396 177294 | 2147483647 78270 204 | 0.000 % |
54.72/54.88 c | 78925 | 13648 58396 177294 | 2147483647 78925 204 | 0.000 % |
55.41/55.54 c | 79649 | 13648 58396 177294 | 2147483647 79649 205 | 0.000 % |
56.11/56.23 c | 80442 | 13648 58396 177294 | 2147483647 80442 205 | 0.000 % |
56.91/57.03 c | 81314 | 13648 58396 177294 | 2147483647 81314 205 | 0.000 % |
57.72/57.85 c | 82273 | 13648 58396 177294 | 2147483647 82273 205 | 0.000 % |
57.82/57.96 c | 82375 | 13648 58396 177294 | 2147483647 82375 205 | 0.000 % |
57.92/58.08 c | 82486 | 13648 58396 177294 | 2147483647 82486 205 | 0.000 % |
58.12/58.22 c | 82608 | 13648 58396 177294 | 2147483647 82608 205 | 0.000 % |
58.22/58.35 c | 82742 | 13648 58396 177294 | 2147483647 82742 204 | 0.000 % |
58.31/58.49 c | 82888 | 13648 58396 177294 | 2147483647 82888 204 | 0.000 % |
58.51/58.65 c | 83049 | 13648 58396 177294 | 2147483647 83049 204 | 0.000 % |
58.71/58.84 c | 83226 | 13648 58396 177294 | 2147483647 83226 204 | 0.000 % |
58.91/59.03 c | 83419 | 13648 58396 177294 | 2147483647 83419 204 | 0.000 % |
59.11/59.23 c | 83631 | 13648 58396 177294 | 2147483647 83631 204 | 0.000 % |
59.31/59.44 c | 83865 | 13648 58396 177294 | 2147483647 83865 204 | 0.000 % |
59.61/59.72 c | 84121 | 13648 58396 177294 | 2147483647 84121 204 | 0.000 % |
59.81/59.98 c | 84402 | 13648 58396 177294 | 2147483647 84402 204 | 0.000 % |
60.11/60.29 c | 84712 | 13648 58396 177294 | 2147483647 84712 204 | 0.000 % |
60.42/60.59 c | 85053 | 13648 58396 177294 | 2147483647 85053 204 | 0.000 % |
60.81/60.95 c | 85425 | 13648 58396 177294 | 2147483647 85425 204 | 0.000 % |
61.21/61.36 c | 85834 | 13648 58396 177294 | 2147483647 85834 204 | 0.000 % |
61.61/61.79 c | 86283 | 13648 58396 177294 | 2147483647 86283 204 | 0.000 % |
62.11/62.26 c | 86777 | 13648 58396 177294 | 2147483647 86777 204 | 0.000 % |
62.61/62.75 c | 87319 | 13648 58396 177294 | 2147483647 87319 205 | 0.000 % |
63.11/63.28 c | 87915 | 13648 58396 177294 | 2147483647 87915 205 | 0.000 % |
63.81/63.92 c | 88570 | 13648 58396 177294 | 2147483647 88570 205 | 0.000 % |
64.51/64.60 c | 89291 | 13648 58396 177294 | 2147483647 89291 205 | 0.000 % |
65.21/65.32 c | 90083 | 13648 58396 177294 | 2147483647 90083 205 | 0.000 % |
66.00/66.12 c | 90956 | 13648 58396 177294 | 2147483647 90956 206 | 0.000 % |
66.91/67.04 c | 91914 | 13648 58396 177294 | 2147483647 91914 206 | 0.000 % |
67.91/68.04 c | 92967 | 13648 58396 177294 | 2147483647 92967 206 | 0.000 % |
68.01/68.14 c | 93067 | 13648 58396 177294 | 2147483647 93067 206 | 0.000 % |
68.11/68.26 c | 93177 | 13648 58396 177294 | 2147483647 93177 206 | 0.000 % |
68.20/68.40 c | 93298 | 13648 58396 177294 | 2147483647 93298 206 | 0.000 % |
68.40/68.55 c | 93431 | 13648 58396 177294 | 2147483647 93431 206 | 0.000 % |
68.60/68.70 c | 93577 | 13648 58396 177294 | 2147483647 93577 206 | 0.000 % |
68.70/68.86 c | 93737 | 13648 58396 177294 | 2147483647 93737 206 | 0.000 % |
68.90/69.06 c | 93913 | 13648 58396 177294 | 2147483647 93913 206 | 0.000 % |
69.11/69.28 c | 94107 | 13648 58396 177294 | 2147483647 94107 206 | 0.000 % |
69.41/69.51 c | 94319 | 13648 58396 177294 | 2147483647 94319 206 | 0.000 % |
69.61/69.74 c | 94553 | 13648 58396 177294 | 2147483647 94553 206 | 0.000 % |
69.81/69.98 c | 94809 | 13648 58396 177294 | 2147483647 94809 206 | 0.000 % |
70.11/70.28 c | 95090 | 13648 58396 177294 | 2147483647 95090 206 | 0.000 % |
70.51/70.62 c | 95399 | 13648 58396 177294 | 2147483647 95399 206 | 0.000 % |
70.80/70.95 c | 95739 | 13648 58396 177294 | 2147483647 95739 206 | 0.000 % |
71.10/71.30 c | 96111 | 13648 58396 177294 | 2147483647 96111 206 | 0.000 % |
71.60/71.75 c | 96520 | 13648 58396 177294 | 2147483647 96520 206 | 0.000 % |
72.10/72.23 c | 96969 | 13648 58396 177294 | 2147483647 96969 206 | 0.000 % |
72.61/72.75 c | 97462 | 13648 58396 177294 | 2147483647 97462 207 | 0.000 % |
73.10/73.29 c | 98004 | 13648 58396 177294 | 2147483647 98004 207 | 0.000 % |
73.70/73.88 c | 98601 | 13648 58396 177294 | 2147483647 98601 207 | 0.000 % |
74.40/74.51 c | 99257 | 13648 58396 177294 | 2147483647 99257 207 | 0.000 % |
75.11/75.23 c | 99978 | 13648 58396 177294 | 2147483647 99978 208 | 0.000 % |
75.81/75.92 c | 100772 | 13648 58396 177294 | 2147483647 100772 208 | 0.000 % |
76.60/76.79 c | 101643 | 13648 58396 177294 | 2147483647 101643 209 | 0.000 % |
77.60/77.72 c | 102602 | 13648 58396 177294 | 2147483647 102602 209 | 0.000 % |
78.61/78.79 c | 103658 | 13648 58396 177294 | 2147483647 103658 209 | 0.000 % |
79.90/80.01 c | 104816 | 13648 58396 177294 | 2147483647 104816 210 | 0.000 % |
80.00/80.13 c | 104916 | 13648 58396 177294 | 2147483647 104916 210 | 0.000 % |
80.10/80.26 c | 105027 | 13648 58396 177294 | 2147483647 105027 209 | 0.000 % |
80.30/80.42 c | 105150 | 13648 58396 177294 | 2147483647 105150 209 | 0.000 % |
80.40/80.58 c | 105283 | 13648 58396 177294 | 2147483647 105283 209 | 0.000 % |
80.60/80.73 c | 105430 | 13648 58396 177294 | 2147483647 105430 209 | 0.000 % |
80.80/80.90 c | 105590 | 13648 58396 177294 | 2147483647 105590 209 | 0.000 % |
81.00/81.11 c | 105767 | 13648 58396 177294 | 2147483647 105767 209 | 0.000 % |
81.21/81.33 c | 105960 | 13648 58396 177294 | 2147483647 105960 209 | 0.000 % |
81.40/81.57 c | 106172 | 13648 58396 177294 | 2147483647 106172 209 | 0.000 % |
81.70/81.83 c | 106406 | 13648 58396 177294 | 2147483647 106406 209 | 0.000 % |
82.00/82.11 c | 106662 | 13648 58396 177294 | 2147483647 106662 209 | 0.000 % |
82.20/82.39 c | 106943 | 13648 58396 177294 | 2147483647 106943 209 | 0.000 % |
82.59/82.72 c | 107254 | 13648 58396 177294 | 2147483647 107254 209 | 0.000 % |
83.00/83.10 c | 107593 | 13648 58396 177294 | 2147483647 107593 209 | 0.000 % |
83.41/83.52 c | 107968 | 13648 58396 177294 | 2147483647 107968 209 | 0.000 % |
83.80/83.93 c | 108377 | 13648 58396 177294 | 2147483647 108377 209 | 0.000 % |
84.30/84.44 c | 108827 | 13648 58396 177294 | 2147483647 108827 209 | 0.000 % |
84.80/84.97 c | 109322 | 13648 58396 177294 | 2147483647 109322 209 | 0.000 % |
85.50/85.61 c | 109867 | 13648 58396 177294 | 2147483647 109867 209 | 0.000 % |
86.09/86.27 c | 110464 | 13648 58396 177294 | 2147483647 110464 209 | 0.000 % |
86.80/86.96 c | 111119 | 13648 58396 177294 | 2147483647 111119 210 | 0.000 % |
87.60/87.71 c | 111840 | 13648 58396 177294 | 2147483647 111840 210 | 0.000 % |
88.40/88.57 c | 112632 | 13648 58396 177294 | 2147483647 112632 210 | 0.000 % |
89.40/89.53 c | 113503 | 13648 58396 177294 | 2147483647 113503 210 | 0.000 % |
90.40/90.51 c | 114461 | 13648 58396 177294 | 2147483647 114461 210 | 0.000 % |
91.49/91.61 c | 115515 | 13648 58396 177294 | 2147483647 115515 210 | 0.000 % |
92.70/92.85 c | 116675 | 13648 58396 177294 | 2147483647 116675 211 | 0.000 % |
94.09/94.29 c | 117948 | 13648 58396 177294 | 2147483647 117948 211 | 0.000 % |
94.29/94.42 c | 118048 | 13648 58396 177294 | 2147483647 118048 211 | 0.000 % |
94.40/94.58 c | 118160 | 13648 58396 177294 | 2147483647 118160 211 | 0.000 % |
94.59/94.75 c | 118281 | 13648 58396 177294 | 2147483647 118281 211 | 0.000 % |
94.79/94.91 c | 118415 | 13648 58396 177294 | 2147483647 118415 211 | 0.000 % |
94.99/95.10 c | 118562 | 13648 58396 177294 | 2147483647 118562 211 | 0.000 % |
95.19/95.33 c | 118723 | 13648 58396 177294 | 2147483647 118723 211 | 0.000 % |
95.39/95.55 c | 118899 | 13648 58396 177294 | 2147483647 118899 211 | 0.000 % |
95.60/95.79 c | 119094 | 13648 58396 177294 | 2147483647 119094 211 | 0.000 % |
95.89/96.07 c | 119308 | 13648 58396 177294 | 2147483647 119308 211 | 0.000 % |
96.19/96.35 c | 119542 | 13648 58396 177294 | 2147483647 119542 211 | 0.000 % |
96.49/96.68 c | 119801 | 13648 58396 177294 | 2147483647 119801 211 | 0.000 % |
96.78/97.00 c | 120083 | 13648 58396 177294 | 2147483647 120083 211 | 0.000 % |
97.18/97.35 c | 120393 | 13648 58396 177294 | 2147483647 120393 211 | 0.000 % |
97.58/97.73 c | 120732 | 13648 58396 177294 | 2147483647 120732 211 | 0.000 % |
97.98/98.15 c | 121106 | 13648 58396 177294 | 2147483647 121106 211 | 0.000 % |
98.48/98.63 c | 121516 | 13648 58396 177294 | 2147483647 121516 211 | 0.000 % |
98.99/99.16 c | 121966 | 13648 58396 177294 | 2147483647 121966 211 | 0.000 % |
99.59/99.72 c | 122461 | 13648 58396 177294 | 2147483647 122461 211 | 0.000 % |
100.18/100.30 c | 123005 | 13648 58396 177294 | 2147483647 123005 211 | 0.000 % |
100.78/100.95 c | 123602 | 13648 58396 177294 | 2147483647 123602 211 | 0.000 % |
101.58/101.70 c | 124257 | 13648 58396 177294 | 2147483647 124257 211 | 0.000 % |
102.38/102.51 c | 124977 | 13648 58396 177294 | 2147483647 124977 211 | 0.000 % |
103.19/103.36 c | 125771 | 13648 58396 177294 | 2147483647 125771 212 | 0.000 % |
104.18/104.37 c | 126646 | 13648 58396 177294 | 2147483647 126646 212 | 0.000 % |
105.28/105.43 c | 127604 | 13648 58396 177294 | 2147483647 127604 212 | 0.000 % |
106.39/106.59 c | 128657 | 13648 58396 177294 | 2147483647 128657 212 | 0.000 % |
107.69/107.89 c | 129816 | 13648 58396 177294 | 2147483647 129816 212 | 0.000 % |
109.18/109.32 c | 131089 | 13648 58396 177294 | 2147483647 131089 212 | 0.000 % |
110.68/110.84 c | 132492 | 13648 58396 177294 | 2147483647 132492 213 | 0.000 % |
110.78/110.97 c | 132592 | 13648 58396 177294 | 2147483647 132592 213 | 0.000 % |
110.98/111.14 c | 132702 | 13648 58396 177294 | 2147483647 132702 213 | 0.000 % |
111.18/111.31 c | 132826 | 13648 58396 177294 | 2147483647 132826 213 | 0.000 % |
111.38/111.51 c | 132962 | 13648 58396 177294 | 2147483647 132962 213 | 0.000 % |
111.58/111.70 c | 133111 | 13648 58396 177294 | 2147483647 133111 213 | 0.000 % |
111.78/111.93 c | 133271 | 13648 58396 177294 | 2147483647 133271 213 | 0.000 % |
111.98/112.14 c | 133447 | 13648 58396 177294 | 2147483647 133447 213 | 0.000 % |
112.28/112.40 c | 133640 | 13648 58396 177294 | 2147483647 133640 213 | 0.000 % |
112.48/112.68 c | 133852 | 13648 58396 177294 | 2147483647 133852 213 | 0.000 % |
112.78/112.98 c | 134088 | 13648 58396 177294 | 2147483647 134088 213 | 0.000 % |
113.18/113.34 c | 134346 | 13648 58396 177294 | 2147483647 134346 212 | 0.000 % |
113.57/113.73 c | 134627 | 13648 58396 177294 | 2147483647 134627 212 | 0.000 % |
113.97/114.14 c | 134938 | 13648 58396 177294 | 2147483647 134938 212 | 0.000 % |
114.38/114.57 c | 135278 | 13648 58396 177294 | 2147483647 135278 212 | 0.000 % |
114.88/115.01 c | 135651 | 13648 58396 177294 | 2147483647 135651 212 | 0.000 % |
115.38/115.51 c | 136061 | 13648 58396 177294 | 2147483647 136061 213 | 0.000 % |
115.88/116.07 c | 136510 | 13648 58396 177294 | 2147483647 136510 213 | 0.000 % |
116.58/116.73 c | 137005 | 13648 58396 177294 | 2147483647 137005 213 | 0.000 % |
117.28/117.42 c | 137548 | 13648 58396 177294 | 2147483647 137548 213 | 0.000 % |
117.97/118.14 c | 138144 | 13648 58396 177294 | 2147483647 138144 213 | 0.000 % |
118.77/118.96 c | 138799 | 13648 58396 177294 | 2147483647 138799 213 | 0.000 % |
119.68/119.80 c | 139520 | 13648 58396 177294 | 2147483647 139520 213 | 0.000 % |
120.57/120.78 c | 140315 | 13648 58396 177294 | 2147483647 140315 213 | 0.000 % |
121.67/121.84 c | 141189 | 13648 58396 177294 | 2147483647 141189 213 | 0.000 % |
122.87/123.00 c | 142150 | 13648 58396 177294 | 2147483647 142150 213 | 0.000 % |
124.08/124.28 c | 143203 | 13648 58396 177294 | 2147483647 143203 214 | 0.000 % |
125.57/125.71 c | 144361 | 13648 58396 177294 | 2147483647 144361 214 | 0.000 % |
127.07/127.29 c | 145635 | 13648 58396 177294 | 2147483647 145635 214 | 0.000 % |
128.77/128.97 c | 147035 | 13648 58396 177294 | 2147483647 147035 214 | 0.000 % |
130.77/130.91 c | 148575 | 13648 58396 177294 | 2147483647 148575 215 | 0.000 % |
130.87/131.07 c | 148675 | 13648 58396 177294 | 2147483647 148675 215 | 0.000 % |
131.07/131.23 c | 148785 | 13648 58396 177294 | 2147483647 148785 214 | 0.000 % |
131.27/131.40 c | 148906 | 13648 58396 177294 | 2147483647 148906 214 | 0.000 % |
131.47/131.62 c | 149039 | 13648 58396 177294 | 2147483647 149039 214 | 0.000 % |
131.67/131.87 c | 149186 | 13648 58396 177294 | 2147483647 149186 214 | 0.000 % |
131.97/132.10 c | 149346 | 13648 58396 177294 | 2147483647 149346 214 | 0.000 % |
132.18/132.35 c | 149522 | 13648 58396 177294 | 2147483647 149522 214 | 0.000 % |
132.47/132.63 c | 149715 | 13648 58396 177294 | 2147483647 149715 214 | 0.000 % |
132.77/132.94 c | 149931 | 13648 58396 177294 | 2147483647 149931 214 | 0.000 % |
133.07/133.29 c | 150165 | 13648 58396 177294 | 2147483647 150165 214 | 0.000 % |
133.47/133.66 c | 150422 | 13648 58396 177294 | 2147483647 150422 214 | 0.000 % |
133.87/134.08 c | 150705 | 13648 58396 177294 | 2147483647 150705 214 | 0.000 % |
134.37/134.51 c | 151015 | 13648 58396 177294 | 2147483647 151015 214 | 0.000 % |
134.77/135.00 c | 151354 | 13648 58396 177294 | 2147483647 151354 214 | 0.000 % |
135.27/135.47 c | 151727 | 13648 58396 177294 | 2147483647 151727 214 | 0.000 % |
135.87/136.02 c | 152136 | 13648 58396 177294 | 2147483647 152136 214 | 0.000 % |
136.37/136.60 c | 152586 | 13648 58396 177294 | 2147483647 152586 214 | 0.000 % |
137.07/137.23 c | 153079 | 13648 58396 177294 | 2147483647 153079 214 | 0.000 % |
137.77/137.95 c | 153622 | 13648 58396 177294 | 2147483647 153622 214 | 0.000 % |
138.57/138.74 c | 154218 | 13648 58396 177294 | 2147483647 154218 214 | 0.000 % |
139.36/139.56 c | 154873 | 13648 58396 177294 | 2147483647 154873 214 | 0.000 % |
140.36/140.52 c | 155593 | 13648 58396 177294 | 2147483647 155593 215 | 0.000 % |
141.46/141.63 c | 156392 | 13648 58396 177294 | 2147483647 156392 215 | 0.000 % |
142.55/142.79 c | 157265 | 13648 58396 177294 | 2147483647 157265 215 | 0.000 % |
143.85/144.03 c | 158224 | 13648 58396 177294 | 2147483647 158224 215 | 0.000 % |
145.24/145.44 c | 159277 | 13648 58396 177294 | 2147483647 159277 215 | 0.000 % |
146.85/147.00 c | 160438 | 13648 58396 177294 | 2147483647 160438 215 | 0.000 % |
148.44/148.64 c | 161711 | 13648 58396 177294 | 2147483647 161711 215 | 0.000 % |
150.35/150.56 c | 163111 | 13648 58396 177294 | 2147483647 163111 215 | 0.000 % |
152.34/152.51 c | 164651 | 13648 58396 177294 | 2147483647 164651 215 | 0.000 % |
154.54/154.74 c | 166345 | 13648 58396 177294 | 2147483647 166345 216 | 0.000 % |
154.64/154.89 c | 166445 | 13648 58396 177294 | 2147483647 166445 216 | 0.000 % |
154.85/155.06 c | 166555 | 13648 58396 177294 | 2147483647 166555 216 | 0.000 % |
155.04/155.27 c | 166676 | 13648 58396 177294 | 2147483647 166676 216 | 0.000 % |
155.24/155.49 c | 166810 | 13648 58396 177294 | 2147483647 166810 216 | 0.000 % |
155.54/155.71 c | 166956 | 13648 58396 177294 | 2147483647 166956 216 | 0.000 % |
155.74/155.96 c | 167120 | 13648 58396 177294 | 2147483647 167120 216 | 0.000 % |
156.04/156.24 c | 167296 | 13648 58396 177294 | 2147483647 167296 215 | 0.000 % |
156.34/156.52 c | 167489 | 13648 58396 177294 | 2147483647 167489 215 | 0.000 % |
156.64/156.86 c | 167703 | 13648 58396 177294 | 2147483647 167703 215 | 0.000 % |
156.94/157.20 c | 167938 | 13648 58396 177294 | 2147483647 167938 215 | 0.000 % |
157.44/157.60 c | 168194 | 13648 58396 177294 | 2147483647 168194 215 | 0.000 % |
157.75/157.98 c | 168475 | 13648 58396 177294 | 2147483647 168475 215 | 0.000 % |
158.25/158.44 c | 168784 | 13648 58396 177294 | 2147483647 168784 215 | 0.000 % |
158.74/158.94 c | 169123 | 13648 58396 177294 | 2147483647 169123 216 | 0.000 % |
159.24/159.44 c | 169496 | 13648 58396 177294 | 2147483647 169496 215 | 0.000 % |
159.84/160.02 c | 169905 | 13648 58396 177294 | 2147483647 169905 215 | 0.000 % |
160.44/160.64 c | 170355 | 13648 58396 177294 | 2147483647 170355 215 | 0.000 % |
161.14/161.30 c | 170849 | 13648 58396 177294 | 2147483647 170849 215 | 0.000 % |
161.84/162.06 c | 171391 | 13648 58396 177294 | 2147483647 171391 215 | 0.000 % |
162.74/162.93 c | 171987 | 13648 58396 177294 | 2147483647 171987 215 | 0.000 % |
163.65/163.81 c | 172642 | 13648 58396 177294 | 2147483647 172642 215 | 0.000 % |
164.64/164.83 c | 173362 | 13648 58396 177294 | 2147483647 173362 216 | 0.000 % |
165.73/165.91 c | 174155 | 13648 58396 177294 | 2147483647 174155 216 | 0.000 % |
166.94/167.16 c | 175028 | 13648 58396 177294 | 2147483647 175028 216 | 0.000 % |
168.44/168.60 c | 175986 | 13648 58396 177294 | 2147483647 175986 216 | 0.000 % |
169.74/169.99 c | 177040 | 13648 58396 177294 | 2147483647 177040 216 | 0.000 % |
171.44/171.69 c | 178199 | 13648 58396 177294 | 2147483647 178199 217 | 0.000 % |
173.24/173.43 c | 179472 | 13648 58396 177294 | 2147483647 179472 217 | 0.000 % |
175.23/175.41 c | 180872 | 13648 58396 177294 | 2147483647 180872 217 | 0.000 % |
177.44/177.60 c | 182412 | 13648 58396 177294 | 2147483647 182412 217 | 0.000 % |
179.73/179.97 c | 184106 | 13648 58396 177294 | 2147483647 184106 218 | 0.000 % |
182.23/182.43 c | 185969 | 13648 58396 177294 | 2147483647 185969 218 | 0.000 % |
182.33/182.58 c | 186069 | 13648 58396 177294 | 2147483647 186069 218 | 0.000 % |
182.63/182.81 c | 186179 | 13648 58396 177294 | 2147483647 186179 218 | 0.000 % |
182.83/183.00 c | 186301 | 13648 58396 177294 | 2147483647 186301 218 | 0.000 % |
183.03/183.24 c | 186434 | 13648 58396 177294 | 2147483647 186434 218 | 0.000 % |
183.33/183.51 c | 186580 | 13648 58396 177294 | 2147483647 186580 218 | 0.000 % |
183.53/183.80 c | 186740 | 13648 58396 177294 | 2147483647 186740 218 | 0.000 % |
183.83/184.07 c | 186917 | 13648 58396 177294 | 2147483647 186917 218 | 0.000 % |
184.13/184.37 c | 187110 | 13648 58396 177294 | 2147483647 187110 218 | 0.000 % |
184.53/184.72 c | 187323 | 13648 58396 177294 | 2147483647 187323 218 | 0.000 % |
184.82/185.06 c | 187556 | 13648 58396 177294 | 2147483647 187556 218 | 0.000 % |
185.22/185.49 c | 187813 | 13648 58396 177294 | 2147483647 187813 218 | 0.000 % |
185.73/185.94 c | 188095 | 13648 58396 177294 | 2147483647 188095 218 | 0.000 % |
186.22/186.49 c | 188407 | 13648 58396 177294 | 2147483647 188407 218 | 0.000 % |
186.82/187.03 c | 188747 | 13648 58396 177294 | 2147483647 188747 218 | 0.000 % |
187.42/187.61 c | 189119 | 13648 58396 177294 | 2147483647 189119 218 | 0.000 % |
188.02/188.28 c | 189528 | 13648 58396 177294 | 2147483647 189528 218 | 0.000 % |
188.72/188.92 c | 189979 | 13648 58396 177294 | 2147483647 189979 217 | 0.000 % |
189.42/189.65 c | 190473 | 13648 58396 177294 | 2147483647 190473 217 | 0.000 % |
190.32/190.50 c | 191015 | 13648 58396 177294 | 2147483647 191015 217 | 0.000 % |
191.12/191.37 c | 191611 | 13648 58396 177294 | 2147483647 191611 217 | 0.000 % |
192.12/192.38 c | 192267 | 13648 58396 177294 | 2147483647 192267 218 | 0.000 % |
193.32/193.51 c | 192989 | 13648 58396 177294 | 2147483647 192989 218 | 0.000 % |
194.52/194.71 c | 193781 | 13648 58396 177294 | 2147483647 193781 218 | 0.000 % |
195.82/196.05 c | 194652 | 13648 58396 177294 | 2147483647 194652 218 | 0.000 % |
197.21/197.46 c | 195610 | 13648 58396 177294 | 2147483647 195610 218 | 0.000 % |
198.62/198.87 c | 196663 | 13648 58396 177294 | 2147483647 196663 218 | 0.000 % |
200.31/200.56 c | 197821 | 13648 58396 177294 | 2147483647 197821 218 | 0.000 % |
202.22/202.41 c | 199094 | 13648 58396 177294 | 2147483647 199094 218 | 0.000 % |
204.21/204.49 c | 200494 | 13648 58396 177294 | 2147483647 200494 219 | 0.000 % |
206.52/206.75 c | 202036 | 13648 58396 177294 | 2147483647 202036 219 | 0.000 % |
209.01/209.27 c | 203730 | 13648 58396 177294 | 2147483647 203730 219 | 0.000 % |
211.71/211.95 c | 205594 | 13648 58396 177294 | 2147483647 205594 219 | 0.000 % |
214.91/215.12 c | 207643 | 13648 58396 177294 | 2147483647 207643 219 | 0.000 % |
215.11/215.30 c | 207743 | 13648 58396 177294 | 2147483647 207743 219 | 0.000 % |
215.31/215.50 c | 207853 | 13648 58396 177294 | 2147483647 207853 219 | 0.000 % |
215.51/215.75 c | 207974 | 13648 58396 177294 | 2147483647 207974 219 | 0.000 % |
215.71/215.96 c | 208108 | 13648 58396 177294 | 2147483647 208108 219 | 0.000 % |
216.01/216.22 c | 208254 | 13648 58396 177294 | 2147483647 208254 219 | 0.000 % |
216.31/216.53 c | 208416 | 13648 58396 177294 | 2147483647 208416 219 | 0.000 % |
216.62/216.82 c | 208592 | 13648 58396 177294 | 2147483647 208592 219 | 0.000 % |
217.02/217.20 c | 208786 | 13648 58396 177294 | 2147483647 208786 219 | 0.000 % |
217.32/217.58 c | 208999 | 13648 58396 177294 | 2147483647 208999 219 | 0.000 % |
217.71/217.98 c | 209232 | 13648 58396 177294 | 2147483647 209232 219 | 0.000 % |
218.21/218.43 c | 209489 | 13648 58396 177294 | 2147483647 209489 219 | 0.000 % |
218.62/218.90 c | 209770 | 13648 58396 177294 | 2147483647 209770 219 | 0.000 % |
219.11/219.37 c | 210080 | 13648 58396 177294 | 2147483647 210080 219 | 0.000 % |
219.82/220.01 c | 210419 | 13648 58396 177294 | 2147483647 210419 219 | 0.000 % |
220.41/220.66 c | 210791 | 13648 58396 177294 | 2147483647 210791 219 | 0.000 % |
221.21/221.41 c | 211201 | 13648 58396 177294 | 2147483647 211201 219 | 0.000 % |
221.91/222.10 c | 211652 | 13648 58396 177294 | 2147483647 211652 219 | 0.000 % |
222.71/222.94 c | 212146 | 13648 58396 177294 | 2147483647 212146 219 | 0.000 % |
223.51/223.78 c | 212688 | 13648 58396 177294 | 2147483647 212688 219 | 0.000 % |
224.50/224.77 c | 213284 | 13648 58396 177294 | 2147483647 213284 219 | 0.000 % |
225.51/225.74 c | 213939 | 13648 58396 177294 | 2147483647 213939 219 | 0.000 % |
226.71/226.91 c | 214659 | 13648 58396 177294 | 2147483647 214659 219 | 0.000 % |
227.91/228.17 c | 215451 | 13648 58396 177294 | 2147483647 215451 219 | 0.000 % |
229.30/229.54 c | 216322 | 13648 58396 177294 | 2147483647 216322 219 | 0.000 % |
230.81/231.08 c | 217282 | 13648 58396 177294 | 2147483647 217282 219 | 0.000 % |
232.50/232.76 c | 218335 | 13648 58396 177294 | 2147483647 218335 219 | 0.000 % |
234.29/234.59 c | 219493 | 13648 58396 177294 | 2147483647 219493 219 | 0.000 % |
236.40/236.63 c | 220767 | 13648 58396 177294 | 2147483647 220767 219 | 0.000 % |
238.59/238.82 c | 222168 | 13648 58396 177294 | 2147483647 222168 219 | 0.000 % |
240.89/241.12 c | 223711 | 13648 58396 177294 | 2147483647 223711 219 | 0.000 % |
243.70/243.93 c | 225407 | 13648 58396 177294 | 2147483647 225407 220 | 0.000 % |
246.69/246.95 c | 227272 | 13648 58396 177294 | 2147483647 227272 220 | 0.000 % |
249.79/250.07 c | 229321 | 13648 58396 177294 | 2147483647 229321 220 | 0.000 % |
253.49/253.77 c | 231574 | 13648 58396 177294 | 2147483647 231574 221 | 0.000 % |
253.69/254.00 c | 231674 | 13648 58396 177294 | 2147483647 231674 220 | 0.000 % |
253.99/254.26 c | 231785 | 13648 58396 177294 | 2147483647 231785 220 | 0.000 % |
254.29/254.51 c | 231908 | 13648 58396 177294 | 2147483647 231908 220 | 0.000 % |
254.49/254.79 c | 232041 | 13648 58396 177294 | 2147483647 232041 220 | 0.000 % |
254.79/255.09 c | 232187 | 13648 58396 177294 | 2147483647 232187 220 | 0.000 % |
255.19/255.40 c | 232348 | 13648 58396 177294 | 2147483647 232348 220 | 0.000 % |
255.49/255.72 c | 232524 | 13648 58396 177294 | 2147483647 232524 220 | 0.000 % |
255.89/256.14 c | 232717 | 13648 58396 177294 | 2147483647 232717 220 | 0.000 % |
256.29/256.54 c | 232930 | 13648 58396 177294 | 2147483647 232930 220 | 0.000 % |
256.79/257.00 c | 233163 | 13648 58396 177294 | 2147483647 233163 220 | 0.000 % |
257.19/257.47 c | 233419 | 13648 58396 177294 | 2147483647 233419 220 | 0.000 % |
257.69/257.99 c | 233701 | 13648 58396 177294 | 2147483647 233701 220 | 0.000 % |
258.29/258.56 c | 234013 | 13648 58396 177294 | 2147483647 234013 220 | 0.000 % |
258.99/259.22 c | 234352 | 13648 58396 177294 | 2147483647 234352 220 | 0.000 % |
259.69/259.92 c | 234724 | 13648 58396 177294 | 2147483647 234724 220 | 0.000 % |
260.39/260.66 c | 235134 | 13648 58396 177294 | 2147483647 235134 220 | 0.000 % |
261.18/261.44 c | 235583 | 13648 58396 177294 | 2147483647 235583 220 | 0.000 % |
262.09/262.33 c | 236077 | 13648 58396 177294 | 2147483647 236077 220 | 0.000 % |
263.09/263.39 c | 236619 | 13648 58396 177294 | 2147483647 236619 220 | 0.000 % |
264.18/264.44 c | 237215 | 13648 58396 177294 | 2147483647 237215 220 | 0.000 % |
265.28/265.55 c | 237870 | 13648 58396 177294 | 2147483647 237870 220 | 0.000 % |
266.48/266.74 c | 238592 | 13648 58396 177294 | 2147483647 238592 220 | 0.000 % |
267.78/268.09 c | 239385 | 13648 58396 177294 | 2147483647 239385 220 | 0.000 % |
269.29/269.59 c | 240256 | 13648 58396 177294 | 2147483647 240256 220 | 0.000 % |
270.89/271.10 c | 241214 | 13648 58396 177294 | 2147483647 241214 220 | 0.000 % |
272.68/272.95 c | 242267 | 13648 58396 177294 | 2147483647 242267 221 | 0.000 % |
274.59/274.86 c | 243425 | 13648 58396 177294 | 2147483647 243425 221 | 0.000 % |
276.68/276.98 c | 244698 | 13648 58396 177294 | 2147483647 244698 220 | 0.000 % |
279.08/279.38 c | 246098 | 13648 58396 177294 | 2147483647 246098 221 | 0.000 % |
281.87/282.18 c | 247639 | 13648 58396 177294 | 2147483647 247639 221 | 0.000 % |
284.68/284.99 c | 249334 | 13648 58396 177294 | 2147483647 249334 222 | 0.000 % |
287.98/288.23 c | 251197 | 13648 58396 177294 | 2147483647 251197 222 | 0.000 % |
291.37/291.67 c | 253247 | 13648 58396 177294 | 2147483647 253247 222 | 0.000 % |
294.97/295.28 c | 255502 | 13648 58396 177294 | 2147483647 255502 223 | 0.000 % |
299.27/299.50 c | 257980 | 13648 58396 177294 | 2147483647 257980 223 | 0.000 % |
299.47/299.75 c | 258081 | 13648 58396 177294 | 2147483647 258081 223 | 0.000 % |
299.77/300.02 c | 258191 | 13648 58396 177294 | 2147483647 258191 223 | 0.000 % |
299.97/300.30 c | 258312 | 13648 58396 177294 | 2147483647 258312 223 | 0.000 % |
300.27/300.59 c | 258446 | 13648 58396 177294 | 2147483647 258446 223 | 0.000 % |
300.57/300.89 c | 258593 | 13648 58396 177294 | 2147483647 258593 223 | 0.000 % |
300.97/301.27 c | 258754 | 13648 58396 177294 | 2147483647 258754 223 | 0.000 % |
301.37/301.67 c | 258931 | 13648 58396 177294 | 2147483647 258931 223 | 0.000 % |
301.76/302.05 c | 259124 | 13648 58396 177294 | 2147483647 259124 223 | 0.000 % |
302.17/302.47 c | 259336 | 13648 58396 177294 | 2147483647 259336 223 | 0.000 % |
302.66/302.92 c | 259569 | 13648 58396 177294 | 2147483647 259569 223 | 0.000 % |
303.17/303.50 c | 259825 | 13648 58396 177294 | 2147483647 259825 223 | 0.000 % |
303.77/304.06 c | 260106 | 13648 58396 177294 | 2147483647 260106 223 | 0.000 % |
304.37/304.63 c | 260416 | 13648 58396 177294 | 2147483647 260416 223 | 0.000 % |
305.07/305.36 c | 260756 | 13648 58396 177294 | 2147483647 260756 222 | 0.000 % |
305.77/306.06 c | 261129 | 13648 58396 177294 | 2147483647 261129 222 | 0.000 % |
306.57/306.81 c | 261538 | 13648 58396 177294 | 2147483647 261538 222 | 0.000 % |
307.47/307.75 c | 261987 | 13648 58396 177294 | 2147483647 261987 222 | 0.000 % |
308.37/308.66 c | 262481 | 13648 58396 177294 | 2147483647 262481 222 | 0.000 % |
309.47/309.70 c | 263023 | 13648 58396 177294 | 2147483647 263023 222 | 0.000 % |
310.66/310.95 c | 263622 | 13648 58396 177294 | 2147483647 263622 222 | 0.000 % |
311.96/312.21 c | 264277 | 13648 58396 177294 | 2147483647 264277 222 | 0.000 % |
313.27/313.55 c | 264997 | 13648 58396 177294 | 2147483647 264997 222 | 0.000 % |
314.56/314.82 c | 265790 | 13648 58396 177294 | 2147483647 265790 222 | 0.000 % |
316.06/316.39 c | 266663 | 13648 58396 177294 | 2147483647 266663 222 | 0.000 % |
317.86/318.14 c | 267621 | 13648 58396 177294 | 2147483647 267621 222 | 0.000 % |
319.87/320.13 c | 268675 | 13648 58396 177294 | 2147483647 268675 222 | 0.000 % |
322.06/322.38 c | 269833 | 13648 58396 177294 | 2147483647 269833 222 | 0.000 % |
324.45/324.74 c | 271110 | 13648 58396 177294 | 2147483647 271110 222 | 0.000 % |
326.95/327.21 c | 272512 | 13648 58396 177294 | 2147483647 272512 222 | 0.000 % |
329.95/330.24 c | 274052 | 13648 58396 177294 | 2147483647 274052 222 | 0.000 % |
333.14/333.49 c | 275746 | 13648 58396 177294 | 2147483647 275746 223 | 0.000 % |
336.45/336.73 c | 277609 | 13648 58396 177294 | 2147483647 277609 223 | 0.000 % |
340.04/340.39 c | 279659 | 13648 58396 177294 | 2147483647 279659 223 | 0.000 % |
344.14/344.47 c | 281913 | 13648 58396 177294 | 2147483647 281913 224 | 0.000 % |
348.45/348.72 c | 284391 | 13648 58396 177294 | 2147483647 284391 224 | 0.000 % |
353.54/353.84 c | 287120 | 13648 58396 177294 | 2147483647 287120 225 | 0.000 % |
353.74/354.04 c | 287224 | 13648 58396 177294 | 2147483647 287224 225 | 0.000 % |
354.04/354.31 c | 287338 | 13648 58396 177294 | 2147483647 287338 225 | 0.000 % |
354.34/354.63 c | 287460 | 13648 58396 177294 | 2147483647 287460 225 | 0.000 % |
354.64/354.92 c | 287593 | 13648 58396 177294 | 2147483647 287593 225 | 0.000 % |
354.95/355.29 c | 287740 | 13648 58396 177294 | 2147483647 287740 225 | 0.000 % |
355.34/355.62 c | 287901 | 13648 58396 177294 | 2147483647 287901 225 | 0.000 % |
355.74/356.03 c | 288079 | 13648 58396 177294 | 2147483647 288079 225 | 0.000 % |
356.14/356.49 c | 288272 | 13648 58396 177294 | 2147483647 288272 225 | 0.000 % |
356.64/356.94 c | 288486 | 13648 58396 177294 | 2147483647 288486 225 | 0.000 % |
357.14/357.44 c | 288719 | 13648 58396 177294 | 2147483647 288719 225 | 0.000 % |
357.64/357.99 c | 288976 | 13648 58396 177294 | 2147483647 288976 224 | 0.000 % |
358.24/358.56 c | 289257 | 13648 58396 177294 | 2147483647 289257 224 | 0.000 % |
358.93/359.24 c | 289567 | 13648 58396 177294 | 2147483647 289567 224 | 0.000 % |
359.63/359.96 c | 289907 | 13648 58396 177294 | 2147483647 289907 224 | 0.000 % |
360.44/360.74 c | 290279 | 13648 58396 177294 | 2147483647 290279 224 | 0.000 % |
361.23/361.56 c | 290690 | 13648 58396 177294 | 2147483647 290690 224 | 0.000 % |
362.24/362.56 c | 291144 | 13648 58396 177294 | 2147483647 291144 224 | 0.000 % |
363.24/363.58 c | 291638 | 13648 58396 177294 | 2147483647 291638 224 | 0.000 % |
364.43/364.72 c | 292182 | 13648 58396 177294 | 2147483647 292182 224 | 0.000 % |
365.63/365.99 c | 292778 | 13648 58396 177294 | 2147483647 292778 224 | 0.000 % |
366.92/367.28 c | 293433 | 13648 58396 177294 | 2147483647 293433 224 | 0.000 % |
368.43/368.76 c | 294154 | 13648 58396 177294 | 2147483647 294154 224 | 0.000 % |
370.03/370.39 c | 294946 | 13648 58396 177294 | 2147483647 294946 224 | 0.000 % |
371.93/372.26 c | 295817 | 13648 58396 177294 | 2147483647 295817 224 | 0.000 % |
373.82/374.15 c | 296775 | 13648 58396 177294 | 2147483647 296775 225 | 0.000 % |
376.03/376.30 c | 297828 | 13648 58396 177294 | 2147483647 297828 225 | 0.000 % |
378.32/378.67 c | 298986 | 13648 58396 177294 | 2147483647 298986 225 | 0.000 % |
380.82/381.13 c | 300259 | 13648 58396 177294 | 2147483647 300259 225 | 0.000 % |
383.62/383.94 c | 301660 | 13648 58396 177294 | 2147483647 301660 225 | 0.000 % |
386.72/387.03 c | 303201 | 13648 58396 177294 | 2147483647 303201 225 | 0.000 % |
390.12/390.41 c | 304896 | 13648 58396 177294 | 2147483647 304896 225 | 0.000 % |
393.82/394.13 c | 306760 | 13648 58396 177294 | 2147483647 306760 226 | 0.000 % |
398.12/398.42 c | 308810 | 13648 58396 177294 | 2147483647 308810 226 | 0.000 % |
402.52/402.82 c | 311067 | 13648 58396 177294 | 2147483647 311067 226 | 0.000 % |
407.41/407.77 c | 313546 | 13648 58396 177294 | 2147483647 313546 226 | 0.000 % |
412.81/413.10 c | 316271 | 13648 58396 177294 | 2147483647 316271 227 | 0.000 % |
418.91/419.20 c | 319268 | 13648 58396 177294 | 2147483647 319268 227 | 0.000 % |
419.11/419.44 c | 319369 | 13648 58396 177294 | 2147483647 319369 227 | 0.000 % |
419.41/419.73 c | 319480 | 13648 58396 177294 | 2147483647 319480 227 | 0.000 % |
419.71/420.07 c | 319601 | 13648 58396 177294 | 2147483647 319601 227 | 0.000 % |
420.01/420.39 c | 319737 | 13648 58396 177294 | 2147483647 319737 227 | 0.000 % |
420.41/420.72 c | 319883 | 13648 58396 177294 | 2147483647 319883 227 | 0.000 % |
420.81/421.13 c | 320043 | 13648 58396 177294 | 2147483647 320043 227 | 0.000 % |
421.21/421.54 c | 320220 | 13648 58396 177294 | 2147483647 320220 227 | 0.000 % |
421.71/422.01 c | 320413 | 13648 58396 177294 | 2147483647 320413 227 | 0.000 % |
422.21/422.56 c | 320626 | 13648 58396 177294 | 2147483647 320626 227 | 0.000 % |
422.81/423.11 c | 320859 | 13648 58396 177294 | 2147483647 320859 227 | 0.000 % |
423.40/423.75 c | 321115 | 13648 58396 177294 | 2147483647 321115 227 | 0.000 % |
424.00/424.38 c | 321396 | 13648 58396 177294 | 2147483647 321396 227 | 0.000 % |
424.70/425.08 c | 321706 | 13648 58396 177294 | 2147483647 321706 227 | 0.000 % |
425.50/425.81 c | 322045 | 13648 58396 177294 | 2147483647 322045 227 | 0.000 % |
426.41/426.73 c | 322420 | 13648 58396 177294 | 2147483647 322420 227 | 0.000 % |
427.30/427.66 c | 322829 | 13648 58396 177294 | 2147483647 322829 227 | 0.000 % |
428.40/428.74 c | 323278 | 13648 58396 177294 | 2147483647 323278 227 | 0.000 % |
429.51/429.81 c | 323772 | 13648 58396 177294 | 2147483647 323772 227 | 0.000 % |
430.71/431.02 c | 324315 | 13648 58396 177294 | 2147483647 324315 227 | 0.000 % |
432.01/432.40 c | 324911 | 13648 58396 177294 | 2147483647 324911 227 | 0.000 % |
433.50/433.87 c | 325568 | 13648 58396 177294 | 2147483647 325568 227 | 0.000 % |
435.20/435.50 c | 326289 | 13648 58396 177294 | 2147483647 326289 227 | 0.000 % |
436.91/437.27 c | 327081 | 13648 58396 177294 | 2147483647 327081 227 | 0.000 % |
438.80/439.15 c | 327952 | 13648 58396 177294 | 2147483647 327952 227 | 0.000 % |
441.00/441.32 c | 328910 | 13648 58396 177294 | 2147483647 328910 227 | 0.000 % |
443.20/443.52 c | 329965 | 13648 58396 177294 | 2147483647 329965 227 | 0.000 % |
445.50/445.88 c | 331123 | 13648 58396 177294 | 2147483647 331123 227 | 0.000 % |
448.30/448.63 c | 332396 | 13648 58396 177294 | 2147483647 332396 227 | 0.000 % |
451.29/451.68 c | 333796 | 13648 58396 177294 | 2147483647 333796 227 | 0.000 % |
454.70/455.07 c | 335336 | 13648 58396 177294 | 2147483647 335336 227 | 0.000 % |
458.19/458.56 c | 337032 | 13648 58396 177294 | 2147483647 337032 227 | 0.000 % |
462.10/462.47 c | 338895 | 13648 58396 177294 | 2147483647 338895 227 | 0.000 % |
466.49/466.81 c | 340944 | 13648 58396 177294 | 2147483647 340944 228 | 0.000 % |
471.29/471.67 c | 343198 | 13648 58396 177294 | 2147483647 343198 228 | 0.000 % |
476.18/476.59 c | 345677 | 13648 58396 177294 | 2147483647 345677 228 | 0.000 % |
482.09/482.42 c | 348404 | 13648 58396 177294 | 2147483647 348404 229 | 0.000 % |
488.68/489.08 c | 351402 | 13648 58396 177294 | 2147483647 351402 229 | 0.000 % |
496.09/496.46 c | 354701 | 13648 58396 177294 | 2147483647 354701 230 | 0.000 % |
496.38/496.71 c | 354803 | 13648 58396 177294 | 2147483647 354803 230 | 0.000 % |
496.68/497.00 c | 354916 | 13648 58396 177294 | 2147483647 354916 230 | 0.000 % |
496.98/497.32 c | 355037 | 13648 58396 177294 | 2147483647 355037 230 | 0.000 % |
497.38/497.74 c | 355170 | 13648 58396 177294 | 2147483647 355170 230 | 0.000 % |
497.78/498.16 c | 355318 | 13648 58396 177294 | 2147483647 355318 230 | 0.000 % |
498.28/498.60 c | 355478 | 13648 58396 177294 | 2147483647 355478 230 | 0.000 % |
498.68/499.08 c | 355655 | 13648 58396 177294 | 2147483647 355655 230 | 0.000 % |
499.18/499.57 c | 355849 | 13648 58396 177294 | 2147483647 355849 230 | 0.000 % |
499.78/500.13 c | 356064 | 13648 58396 177294 | 2147483647 356064 230 | 0.000 % |
500.38/500.77 c | 356297 | 13648 58396 177294 | 2147483647 356297 230 | 0.000 % |
501.08/501.44 c | 356553 | 13648 58396 177294 | 2147483647 356553 230 | 0.000 % |
501.77/502.20 c | 356834 | 13648 58396 177294 | 2147483647 356834 230 | 0.000 % |
502.57/502.96 c | 357143 | 13648 58396 177294 | 2147483647 357143 230 | 0.000 % |
503.48/503.83 c | 357482 | 13648 58396 177294 | 2147483647 357482 230 | 0.000 % |
504.37/504.72 c | 357854 | 13648 58396 177294 | 2147483647 357854 230 | 0.000 % |
505.37/505.79 c | 358265 | 13648 58396 177294 | 2147483647 358265 230 | 0.000 % |
506.47/506.89 c | 358714 | 13648 58396 177294 | 2147483647 358714 230 | 0.000 % |
507.67/508.09 c | 359210 | 13648 58396 177294 | 2147483647 359210 230 | 0.000 % |
508.97/509.38 c | 359753 | 13648 58396 177294 | 2147483647 359753 230 | 0.000 % |
510.37/510.72 c | 360349 | 13648 58396 177294 | 2147483647 360349 230 | 0.000 % |
511.97/512.33 c | 361004 | 13648 58396 177294 | 2147483647 361004 230 | 0.000 % |
513.78/514.19 c | 361726 | 13648 58396 177294 | 2147483647 361726 230 | 0.000 % |
515.58/515.92 c | 362518 | 13648 58396 177294 | 2147483647 362518 230 | 0.000 % |
517.67/518.02 c | 363389 | 13648 58396 177294 | 2147483647 363389 230 | 0.000 % |
519.67/520.01 c | 364348 | 13648 58396 177294 | 2147483647 364348 230 | 0.000 % |
522.08/522.49 c | 365401 | 13648 58396 177294 | 2147483647 365401 230 | 0.000 % |
524.87/525.27 c | 366559 | 13648 58396 177294 | 2147483647 366559 230 | 0.000 % |
528.07/528.42 c | 367833 | 13648 58396 177294 | 2147483647 367833 230 | 0.000 % |
531.06/531.43 c | 369233 | 13648 58396 177294 | 2147483647 369233 230 | 0.000 % |
534.47/534.90 c | 370774 | 13648 58396 177294 | 2147483647 370774 230 | 0.000 % |
538.26/538.66 c | 372469 | 13648 58396 177294 | 2147483647 372469 230 | 0.000 % |
542.36/542.79 c | 374333 | 13648 58396 177294 | 2147483647 374333 230 | 0.000 % |
547.26/547.63 c | 376382 | 13648 58396 177294 | 2147483647 376382 231 | 0.000 % |
552.15/552.58 c | 378635 | 13648 58396 177294 | 2147483647 378635 231 | 0.000 % |
557.75/558.11 c | 381114 | 13648 58396 177294 | 2147483647 381114 231 | 0.000 % |
563.86/564.27 c | 383841 | 13648 58396 177294 | 2147483647 383841 232 | 0.000 % |
570.65/571.01 c | 386838 | 13648 58396 177294 | 2147483647 386838 233 | 0.000 % |
578.15/578.56 c | 390134 | 13648 58396 177294 | 2147483647 390134 233 | 0.000 % |
586.65/587.04 c | 393759 | 13648 58396 177294 | 2147483647 393759 233 | 0.000 % |
586.95/587.33 c | 393860 | 13648 58396 177294 | 2147483647 393860 233 | 0.000 % |
587.35/587.72 c | 393970 | 13648 58396 177294 | 2147483647 393970 233 | 0.000 % |
587.75/588.12 c | 394091 | 13648 58396 177294 | 2147483647 394091 233 | 0.000 % |
588.15/588.57 c | 394225 | 13648 58396 177294 | 2147483647 394225 233 | 0.000 % |
588.65/589.06 c | 394373 | 13648 58396 177294 | 2147483647 394373 233 | 0.000 % |
589.15/589.55 c | 394535 | 13648 58396 177294 | 2147483647 394535 233 | 0.000 % |
589.74/590.12 c | 394711 | 13648 58396 177294 | 2147483647 394711 233 | 0.000 % |
590.25/590.69 c | 394904 | 13648 58396 177294 | 2147483647 394904 233 | 0.000 % |
590.94/591.33 c | 395116 | 13648 58396 177294 | 2147483647 395116 233 | 0.000 % |
591.54/591.99 c | 395349 | 13648 58396 177294 | 2147483647 395349 233 | 0.000 % |
592.45/592.80 c | 395608 | 13648 58396 177294 | 2147483647 395608 233 | 0.000 % |
593.14/593.55 c | 395889 | 13648 58396 177294 | 2147483647 395889 233 | 0.000 % |
594.04/594.40 c | 396203 | 13648 58396 177294 | 2147483647 396203 233 | 0.000 % |
594.94/595.33 c | 396542 | 13648 58396 177294 | 2147483647 396542 233 | 0.000 % |
595.94/596.39 c | 396916 | 13648 58396 177294 | 2147483647 396916 233 | 0.000 % |
597.04/597.49 c | 397325 | 13648 58396 177294 | 2147483647 397325 233 | 0.000 % |
598.23/598.61 c | 397776 | 13648 58396 177294 | 2147483647 397776 233 | 0.000 % |
599.44/599.88 c | 398270 | 13648 58396 177294 | 2147483647 398270 233 | 0.000 % |
600.84/601.23 c | 398812 | 13648 58396 177294 | 2147483647 398812 233 | 0.000 % |
602.44/602.81 c | 399408 | 13648 58396 177294 | 2147483647 399408 233 | 0.000 % |
603.94/604.36 c | 400063 | 13648 58396 177294 | 2147483647 400063 233 | 0.000 % |
605.83/606.26 c | 400783 | 13648 58396 177294 | 2147483647 400783 233 | 0.000 % |
607.94/608.32 c | 401576 | 13648 58396 177294 | 2147483647 401576 233 | 0.000 % |
610.23/610.67 c | 402447 | 13648 58396 177294 | 2147483647 402447 233 | 0.000 % |
612.63/613.09 c | 403405 | 13648 58396 177294 | 2147483647 403405 233 | 0.000 % |
615.33/615.76 c | 404460 | 13648 58396 177294 | 2147483647 404460 233 | 0.000 % |
618.23/618.64 c | 405618 | 13648 58396 177294 | 2147483647 405618 233 | 0.000 % |
621.33/621.78 c | 406891 | 13648 58396 177294 | 2147483647 406891 233 | 0.000 % |
624.83/625.24 c | 408291 | 13648 58396 177294 | 2147483647 408291 233 | 0.000 % |
628.74/629.14 c | 409835 | 13648 58396 177294 | 2147483647 409835 233 | 0.000 % |
632.63/633.09 c | 411529 | 13648 58396 177294 | 2147483647 411529 233 | 0.000 % |
637.12/637.55 c | 413393 | 13648 58396 177294 | 2147483647 413393 234 | 0.000 % |
642.42/642.84 c | 415442 | 13648 58396 177294 | 2147483647 415442 234 | 0.000 % |
647.71/648.13 c | 417695 | 13648 58396 177294 | 2147483647 417695 235 | 0.000 % |
653.71/654.12 c | 420173 | 13648 58396 177294 | 2147483647 420173 235 | 0.000 % |
660.10/660.60 c | 422898 | 13648 58396 177294 | 2147483647 422898 235 | 0.000 % |
667.80/668.21 c | 425895 | 13648 58396 177294 | 2147483647 425895 235 | 0.000 % |
675.80/676.27 c | 429191 | 13648 58396 177294 | 2147483647 429191 235 | 0.000 % |
684.20/684.68 c | 432816 | 13648 58396 177294 | 2147483647 432816 236 | 0.000 % |
693.99/694.46 c | 436803 | 13648 58396 177294 | 2147483647 436803 236 | 0.000 % |
694.39/694.80 c | 436904 | 13648 58396 177294 | 2147483647 436904 236 | 0.000 % |
694.69/695.15 c | 437014 | 13648 58396 177294 | 2147483647 437014 236 | 0.000 % |
695.20/695.64 c | 437135 | 13648 58396 177294 | 2147483647 437135 236 | 0.000 % |
695.70/696.10 c | 437268 | 13648 58396 177294 | 2147483647 437268 236 | 0.000 % |
696.10/696.59 c | 437414 | 13648 58396 177294 | 2147483647 437414 236 | 0.000 % |
696.70/697.10 c | 437575 | 13648 58396 177294 | 2147483647 437575 236 | 0.000 % |
697.30/697.71 c | 437751 | 13648 58396 177294 | 2147483647 437751 236 | 0.000 % |
697.90/698.34 c | 437946 | 13648 58396 177294 | 2147483647 437946 236 | 0.000 % |
698.60/699.02 c | 438160 | 13648 58396 177294 | 2147483647 438160 236 | 0.000 % |
699.29/699.73 c | 438393 | 13648 58396 177294 | 2147483647 438393 236 | 0.000 % |
700.20/700.62 c | 438649 | 13648 58396 177294 | 2147483647 438649 236 | 0.000 % |
700.99/701.49 c | 438930 | 13648 58396 177294 | 2147483647 438930 236 | 0.000 % |
701.99/702.45 c | 439240 | 13648 58396 177294 | 2147483647 439240 236 | 0.000 % |
702.99/703.43 c | 439579 | 13648 58396 177294 | 2147483647 439579 236 | 0.000 % |
704.09/704.58 c | 439953 | 13648 58396 177294 | 2147483647 439953 236 | 0.000 % |
705.39/705.80 c | 440362 | 13648 58396 177294 | 2147483647 440362 236 | 0.000 % |
706.59/707.08 c | 440815 | 13648 58396 177294 | 2147483647 440815 236 | 0.000 % |
708.09/708.55 c | 441309 | 13648 58396 177294 | 2147483647 441309 236 | 0.000 % |
709.69/710.13 c | 441853 | 13648 58396 177294 | 2147483647 441853 236 | 0.000 % |
711.39/711.90 c | 442449 | 13648 58396 177294 | 2147483647 442449 236 | 0.000 % |
713.29/713.74 c | 443104 | 13648 58396 177294 | 2147483647 443104 236 | 0.000 % |
715.08/715.57 c | 443824 | 13648 58396 177294 | 2147483647 443824 236 | 0.000 % |
717.29/717.75 c | 444616 | 13648 58396 177294 | 2147483647 444616 236 | 0.000 % |
719.89/720.30 c | 445488 | 13648 58396 177294 | 2147483647 445488 236 | 0.000 % |
722.68/723.11 c | 446447 | 13648 58396 177294 | 2147483647 446447 236 | 0.000 % |
725.38/725.88 c | 447500 | 13648 58396 177294 | 2147483647 447500 236 | 0.000 % |
728.78/729.21 c | 448659 | 13648 58396 177294 | 2147483647 448659 236 | 0.000 % |
732.27/732.73 c | 449932 | 13648 58396 177294 | 2147483647 449932 236 | 0.000 % |
736.07/736.50 c | 451332 | 13648 58396 177294 | 2147483647 451332 236 | 0.000 % |
740.18/740.65 c | 452872 | 13648 58396 177294 | 2147483647 452872 236 | 0.000 % |
744.77/745.23 c | 454567 | 13648 58396 177294 | 2147483647 454567 236 | 0.000 % |
749.87/750.39 c | 456432 | 13648 58396 177294 | 2147483647 456432 236 | 0.000 % |
754.77/755.21 c | 458481 | 13648 58396 177294 | 2147483647 458481 237 | 0.000 % |
760.96/761.40 c | 460734 | 13648 58396 177294 | 2147483647 460734 237 | 0.000 % |
767.57/768.03 c | 463212 | 13648 58396 177294 | 2147483647 463212 237 | 0.000 % |
774.97/775.45 c | 465937 | 13648 58396 177294 | 2147483647 465937 237 | 0.000 % |
783.16/783.63 c | 468934 | 13648 58396 177294 | 2147483647 468934 237 | 0.000 % |
792.26/792.70 c | 472230 | 13648 58396 177294 | 2147483647 472230 238 | 0.000 % |
801.75/802.28 c | 475855 | 13648 58396 177294 | 2147483647 475855 238 | 0.000 % |
812.15/812.64 c | 479842 | 13648 58396 177294 | 2147483647 479842 238 | 0.000 % |
824.04/824.58 c | 484227 | 13648 58396 177294 | 2147483647 484227 239 | 0.000 % |
824.45/824.98 c | 484327 | 13648 58396 177294 | 2147483647 484327 239 | 0.000 % |
824.84/825.38 c | 484438 | 13648 58396 177294 | 2147483647 484438 239 | 0.000 % |
825.34/825.81 c | 484560 | 13648 58396 177294 | 2147483647 484560 239 | 0.000 % |
825.94/826.43 c | 484693 | 13648 58396 177294 | 2147483647 484693 239 | 0.000 % |
826.54/827.03 c | 484839 | 13648 58396 177294 | 2147483647 484839 239 | 0.000 % |
827.04/827.55 c | 484999 | 13648 58396 177294 | 2147483647 484999 239 | 0.000 % |
827.75/828.23 c | 485175 | 13648 58396 177294 | 2147483647 485175 239 | 0.000 % |
828.44/828.95 c | 485370 | 13648 58396 177294 | 2147483647 485370 238 | 0.000 % |
829.24/829.71 c | 485582 | 13648 58396 177294 | 2147483647 485582 238 | 0.000 % |
830.14/830.60 c | 485815 | 13648 58396 177294 | 2147483647 485815 238 | 0.000 % |
831.04/831.51 c | 486072 | 13648 58396 177294 | 2147483647 486072 238 | 0.000 % |
831.94/832.45 c | 486355 | 13648 58396 177294 | 2147483647 486355 238 | 0.000 % |
833.04/833.52 c | 486665 | 13648 58396 177294 | 2147483647 486665 238 | 0.000 % |
834.13/834.67 c | 487006 | 13648 58396 177294 | 2147483647 487006 238 | 0.000 % |
835.44/835.99 c | 487378 | 13648 58396 177294 | 2147483647 487378 238 | 0.000 % |
836.84/837.32 c | 487788 | 13648 58396 177294 | 2147483647 487788 238 | 0.000 % |
838.14/838.61 c | 488240 | 13648 58396 177294 | 2147483647 488240 238 | 0.000 % |
839.64/840.16 c | 488734 | 13648 58396 177294 | 2147483647 488734 238 | 0.000 % |
841.44/841.94 c | 489276 | 13648 58396 177294 | 2147483647 489276 238 | 0.000 % |
843.24/843.72 c | 489873 | 13648 58396 177294 | 2147483647 489873 238 | 0.000 % |
845.24/845.78 c | 490528 | 13648 58396 177294 | 2147483647 490528 238 | 0.000 % |
847.83/848.32 c | 491249 | 13648 58396 177294 | 2147483647 491249 238 | 0.000 % |
850.33/850.83 c | 492041 | 13648 58396 177294 | 2147483647 492041 238 | 0.000 % |
853.14/853.68 c | 492913 | 13648 58396 177294 | 2147483647 492913 238 | 0.000 % |
855.93/856.47 c | 493871 | 13648 58396 177294 | 2147483647 493871 238 | 0.000 % |
859.03/859.51 c | 494927 | 13648 58396 177294 | 2147483647 494927 238 | 0.000 % |
862.22/862.78 c | 496085 | 13648 58396 177294 | 2147483647 496085 238 | 0.000 % |
866.12/866.68 c | 497358 | 13648 58396 177294 | 2147483647 497358 239 | 0.000 % |
870.23/870.74 c | 498761 | 13648 58396 177294 | 2147483647 498761 239 | 0.000 % |
874.92/875.46 c | 500302 | 13648 58396 177294 | 2147483647 500302 239 | 0.000 % |
879.63/880.13 c | 501998 | 13648 58396 177294 | 2147483647 501998 239 | 0.000 % |
884.62/885.19 c | 503862 | 13648 58396 177294 | 2147483647 503862 239 | 0.000 % |
890.42/890.99 c | 505912 | 13648 58396 177294 | 2147483647 505912 239 | 0.000 % |
897.12/897.68 c | 508167 | 13648 58396 177294 | 2147483647 508167 239 | 0.000 % |
904.11/904.68 c | 510645 | 13648 58396 177294 | 2147483647 510645 239 | 0.000 % |
911.70/912.21 c | 513372 | 13648 58396 177294 | 2147483647 513372 239 | 0.000 % |
920.30/920.84 c | 516369 | 13648 58396 177294 | 2147483647 516369 239 | 0.000 % |
929.90/930.43 c | 519666 | 13648 58396 177294 | 2147483647 519666 239 | 0.000 % |
940.19/940.73 c | 523292 | 13648 58396 177294 | 2147483647 523292 240 | 0.000 % |
951.69/952.21 c | 527279 | 13648 58396 177294 | 2147483647 527279 240 | 0.000 % |
964.49/965.03 c | 531665 | 13648 58396 177294 | 2147483647 531665 240 | 0.000 % |
978.78/979.31 c | 536489 | 13648 58396 177294 | 2147483647 536489 240 | 0.000 % |
979.18/979.75 c | 536590 | 13648 58396 177294 | 2147483647 536590 240 | 0.000 % |
979.68/980.24 c | 536702 | 13648 58396 177294 | 2147483647 536702 240 | 0.000 % |
980.18/980.72 c | 536823 | 13648 58396 177294 | 2147483647 536823 240 | 0.000 % |
980.69/981.30 c | 536958 | 13648 58396 177294 | 2147483647 536958 240 | 0.000 % |
981.28/981.88 c | 537104 | 13648 58396 177294 | 2147483647 537104 240 | 0.000 % |
981.99/982.55 c | 537264 | 13648 58396 177294 | 2147483647 537264 240 | 0.000 % |
982.69/983.24 c | 537445 | 13648 58396 177294 | 2147483647 537445 240 | 0.000 % |
983.49/984.03 c | 537638 | 13648 58396 177294 | 2147483647 537638 240 | 0.000 % |
984.29/984.87 c | 537850 | 13648 58396 177294 | 2147483647 537850 240 | 0.000 % |
985.09/985.65 c | 538083 | 13648 58396 177294 | 2147483647 538083 240 | 0.000 % |
986.28/986.81 c | 538340 | 13648 58396 177294 | 2147483647 538340 240 | 0.000 % |
987.29/987.86 c | 538622 | 13648 58396 177294 | 2147483647 538622 240 | 0.000 % |
988.48/989.04 c | 538934 | 13648 58396 177294 | 2147483647 538934 240 | 0.000 % |
989.68/990.20 c | 539274 | 13648 58396 177294 | 2147483647 539274 240 | 0.000 % |
991.08/991.60 c | 539648 | 13648 58396 177294 | 2147483647 539648 240 | 0.000 % |
992.38/992.98 c | 540057 | 13648 58396 177294 | 2147483647 540057 240 | 0.000 % |
994.18/994.70 c | 540507 | 13648 58396 177294 | 2147483647 540507 240 | 0.000 % |
995.97/996.51 c | 541001 | 13648 58396 177294 | 2147483647 541001 240 | 0.000 % |
997.87/998.50 c | 541545 | 13648 58396 177294 | 2147483647 541545 240 | 0.000 % |
999.97/1000.53 c | 542143 | 13648 58396 177294 | 2147483647 542143 240 | 0.000 % |
1002.07/1002.64 c | 542800 | 13648 58396 177294 | 2147483647 542800 240 | 0.000 % |
1004.47/1005.06 c | 543520 | 13648 58396 177294 | 2147483647 543520 240 | 0.000 % |
1007.37/1007.91 c | 544314 | 13648 58396 177294 | 2147483647 544314 240 | 0.000 % |
1010.27/1010.86 c | 545186 | 13648 58396 177294 | 2147483647 545186 240 | 0.000 % |
1013.37/1013.97 c | 546148 | 13648 58396 177294 | 2147483647 546148 240 | 0.000 % |
1016.66/1017.26 c | 547201 | 13648 58396 177294 | 2147483647 547201 240 | 0.000 % |
1020.46/1021.08 c | 548361 | 13648 58396 177294 | 2147483647 548361 240 | 0.000 % |
1024.96/1025.51 c | 549635 | 13648 58396 177294 | 2147483647 549635 240 | 0.000 % |
1029.36/1029.95 c | 551035 | 13648 58396 177294 | 2147483647 551035 240 | 0.000 % |
1033.86/1034.42 c | 552575 | 13648 58396 177294 | 2147483647 552575 240 | 0.000 % |
1039.45/1040.00 c | 554269 | 13648 58396 177294 | 2147483647 554269 240 | 0.000 % |
1045.34/1045.96 c | 556132 | 13648 58396 177294 | 2147483647 556132 240 | 0.000 % |
1052.15/1052.75 c | 558182 | 13648 58396 177294 | 2147483647 558182 240 | 0.000 % |
1058.94/1059.57 c | 560436 | 13648 58396 177294 | 2147483647 560436 240 | 0.000 % |
1066.24/1066.80 c | 562915 | 13648 58396 177294 | 2147483647 562915 241 | 0.000 % |
1074.34/1074.90 c | 565640 | 13648 58396 177294 | 2147483647 565640 241 | 0.000 % |
1083.74/1084.33 c | 568637 | 13648 58396 177294 | 2147483647 568637 241 | 0.000 % |
1094.23/1094.82 c | 571933 | 13648 58396 177294 | 2147483647 571933 241 | 0.000 % |
1105.02/1105.64 c | 575558 | 13648 58396 177294 | 2147483647 575558 241 | 0.000 % |
1117.62/1118.21 c | 579545 | 13648 58396 177294 | 2147483647 579545 242 | 0.000 % |
1131.91/1132.57 c | 583930 | 13648 58396 177294 | 2147483647 583930 242 | 0.000 % |
1146.41/1147.00 c | 588753 | 13648 58396 177294 | 2147483647 588753 243 | 0.000 % |
1164.10/1164.75 c | 594058 | 13648 58396 177294 | 2147483647 594058 243 | 0.000 % |
1164.70/1165.34 c | 594159 | 13648 58396 177294 | 2147483647 594159 243 | 0.000 % |
1165.20/1165.90 c | 594270 | 13648 58396 177294 | 2147483647 594270 243 | 0.000 % |
1165.80/1166.41 c | 594392 | 13648 58396 177294 | 2147483647 594392 243 | 0.000 % |
1166.40/1167.09 c | 594525 | 13648 58396 177294 | 2147483647 594525 243 | 0.000 % |
1167.20/1167.81 c | 594672 | 13648 58396 177294 | 2147483647 594672 243 | 0.000 % |
1167.90/1168.53 c | 594833 | 13648 58396 177294 | 2147483647 594833 243 | 0.000 % |
1168.61/1169.24 c | 595010 | 13648 58396 177294 | 2147483647 595010 243 | 0.000 % |
1169.50/1170.16 c | 595203 | 13648 58396 177294 | 2147483647 595203 243 | 0.000 % |
1170.40/1171.03 c | 595415 | 13648 58396 177294 | 2147483647 595415 243 | 0.000 % |
1171.30/1171.96 c | 595649 | 13648 58396 177294 | 2147483647 595649 243 | 0.000 % |
1172.60/1173.22 c | 595906 | 13648 58396 177294 | 2147483647 595906 243 | 0.000 % |
1173.80/1174.40 c | 596187 | 13648 58396 177294 | 2147483647 596187 243 | 0.000 % |
1174.90/1175.57 c | 596497 | 13648 58396 177294 | 2147483647 596497 243 | 0.000 % |
1176.29/1176.96 c | 596836 | 13648 58396 177294 | 2147483647 596836 243 | 0.000 % |
1177.78/1178.43 c | 597208 | 13648 58396 177294 | 2147483647 597208 243 | 0.000 % |
1179.38/1180.07 c | 597617 | 13648 58396 177294 | 2147483647 597617 243 | 0.000 % |
1181.18/1181.84 c | 598067 | 13648 58396 177294 | 2147483647 598067 243 | 0.000 % |
1183.18/1183.82 c | 598561 | 13648 58396 177294 | 2147483647 598561 243 | 0.000 % |
1185.38/1186.08 c | 599103 | 13648 58396 177294 | 2147483647 599103 243 | 0.000 % |
1187.68/1188.37 c | 599699 | 13648 58396 177294 | 2147483647 599699 243 | 0.000 % |
1190.07/1190.75 c | 600355 | 13648 58396 177294 | 2147483647 600355 243 | 0.000 % |
1192.68/1193.39 c | 601076 | 13648 58396 177294 | 2147483647 601076 243 | 0.000 % |
1195.77/1196.44 c | 601868 | 13648 58396 177294 | 2147483647 601868 243 | 0.000 % |
1198.98/1199.64 c | 602739 | 13648 58396 177294 | 2147483647 602739 243 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832729-1242787099/watcher-1832729-1242787099 -o /tmp/evaluation-result-1832729-1242787099/solver-1832729-1242787099 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832729-1242787099.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.98 1.00 1.00 3/64 15963
/proc/meminfo: memFree=1639008/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306737506 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 236437864530 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15963/statm: 1339 235 195 169 0 50 0
[pid=15964] ppid=15963 vsize=5356 CPUtime=0
/proc/15964/stat : 15964 (SatELiteGTI) S 15963 15963 15126 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306737506 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/15964/statm: 1339 238 198 169 0 50 0
[pid=15966] ppid=15964 vsize=88 CPUtime=0
/proc/15966/stat : 15966 (sed) R 15964 15963 15126 0 -1 4194304 19 0 0 0 0 0 0 0 18 0 1 0 306737506 90112 1 1992294400 0 0 548682069787 18446744073709551615 236437695783 0 0 4096 0 0 0 0 17 0 0 0
/proc/15966/statm: 46 4 0 11 0 9 0
[startup+0.0854229 s]
/proc/loadavg: 0.98 1.00 1.00 3/64 15963
/proc/meminfo: memFree=1639008/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306737506 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15963/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101421 s]
/proc/loadavg: 0.98 1.00 1.00 3/64 15963
/proc/meminfo: memFree=1639008/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306737506 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15963/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301444 s]
/proc/loadavg: 0.98 1.00 1.00 3/64 15963
/proc/meminfo: memFree=1639008/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356
[startup+0.701482 s]
/proc/loadavg: 0.98 1.00 1.00 3/64 15963
/proc/meminfo: memFree=1639008/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5356
[startup+1.50157 s]
/proc/loadavg: 0.98 1.00 1.00 2/66 15969
/proc/meminfo: memFree=1631624/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=7404 CPUtime=1.21
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 1730 0 0 0 120 1 0 0 25 0 1 0 306737534 7581696 1716 1992294400 134512640 135215339 4294956240 18446744073709551615 134538249 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 1851 1716 77 171 0 1678 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12760
[startup+3.10275 s]
/proc/loadavg: 0.98 1.00 1.00 2/66 15969
/proc/meminfo: memFree=1629704/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=9916 CPUtime=2.8
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 2369 0 0 0 279 1 0 0 25 0 1 0 306737534 10153984 2355 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 2479 2355 77 171 0 2306 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15272
[startup+6.30113 s]
/proc/loadavg: 0.98 1.00 1.00 2/66 15969
/proc/meminfo: memFree=1624392/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=14996 CPUtime=6.01
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 3613 0 0 0 598 3 0 0 25 0 1 0 306737534 15355904 3599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/15969/statm: 3749 3599 77 171 0 3576 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20352
[startup+12.7028 s]
/proc/loadavg: 0.98 1.00 1.00 2/66 15969
/proc/meminfo: memFree=1614672/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=24024 CPUtime=12.4
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 5891 0 0 0 1236 4 0 0 25 0 1 0 306737534 24600576 5877 1992294400 134512640 135215339 4294956240 18446744073709551615 134529130 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 6006 5877 77 171 0 5833 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 29380
[startup+25.5013 s]
/proc/loadavg: 0.98 1.00 1.00 2/66 15969
/proc/meminfo: memFree=1597968/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=40376 CPUtime=25.18
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 9946 0 0 0 2509 9 0 0 25 0 1 0 306737534 41345024 9932 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 10094 9932 77 171 0 9921 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 45732
[startup+51.1012 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15969
/proc/meminfo: memFree=1570000/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=68484 CPUtime=50.75
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 16976 0 0 0 5060 15 0 0 25 0 1 0 306737534 70127616 16962 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 17121 16962 77 171 0 16948 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 73840
[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15969
/proc/meminfo: memFree=1523792/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=113948 CPUtime=101.93
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 28349 0 0 0 10163 30 0 0 25 0 1 0 306737534 116682752 28335 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 28487 28335 77 171 0 28314 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 119304
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15969
/proc/meminfo: memFree=1480720/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=157256 CPUtime=161.88
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 39147 0 0 0 16145 43 0 0 25 0 1 0 306737534 161030144 39133 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 39314 39133 77 171 0 39141 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 162612
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15969
/proc/meminfo: memFree=1442000/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=195680 CPUtime=221.85
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 48700 0 0 0 22131 54 0 0 25 0 1 0 306737534 200376320 48686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 48920 48686 77 171 0 48747 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 201036
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15969
/proc/meminfo: memFree=1408016/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=229876 CPUtime=281.81
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 57270 0 0 0 28118 63 0 0 25 0 1 0 306737534 235393024 57256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 57469 57256 77 171 0 57296 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 235232
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15969
/proc/meminfo: memFree=1375184/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=261956 CPUtime=341.79
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 65348 0 0 0 34107 72 0 0 25 0 1 0 306737534 268242944 65334 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 65489 65334 77 171 0 65316 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 267312
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1344336/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=292844 CPUtime=401.76
################
# More data... #
################
/proc/15969/statm: 94553 94350 77 171 0 94380 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 383568
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1234576/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=401844 CPUtime=641.66
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 100279 0 0 0 64056 110 0 0 25 0 1 0 306737534 411488256 100265 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 100461 100265 77 171 0 100288 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 407200
[startup+702.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1207824/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=428376 CPUtime=701.63
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 106956 0 0 0 70045 118 0 0 25 0 1 0 306737534 438657024 106942 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 107094 106942 77 171 0 106921 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 433732
[startup+762.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1184976/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=450948 CPUtime=761.61
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 112612 0 0 0 76037 124 0 0 25 0 1 0 306737534 461770752 112598 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 112737 112598 77 171 0 112564 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 456304
[startup+822.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1160592/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=476420 CPUtime=821.59
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 118762 0 0 0 82028 131 0 0 25 0 1 0 306737534 487854080 118748 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 119105 118748 77 171 0 118932 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 481776
[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1141200/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=495296 CPUtime=881.56
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 123516 0 0 0 88020 136 0 0 25 0 1 0 306737534 507183104 123502 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 123824 123502 77 171 0 123651 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 500652
[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1118864/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=517868 CPUtime=941.54
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 129188 0 0 0 94012 142 0 0 25 0 1 0 306737534 530296832 129174 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 129467 129174 77 171 0 129294 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 523224
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1098896/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=537272 CPUtime=1001.5
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 134046 0 0 0 100003 147 0 0 25 0 1 0 306737534 550166528 134032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 134318 134032 77 171 0 134145 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 542628
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1080464/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=555884 CPUtime=1061.48
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 138700 0 0 0 105995 153 0 0 25 0 1 0 306737534 569225216 138686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 138971 138686 77 171 0 138798 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 561240
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1057616/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=578192 CPUtime=1121.46
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 144318 0 0 0 111986 160 0 0 25 0 1 0 306737534 592068608 144304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 144548 144304 77 171 0 144375 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 583548
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1037648/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=597992 CPUtime=1181.42
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 149289 0 0 0 117976 166 0 0 25 0 1 0 306737534 612343808 149275 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 149498 149275 77 171 0 149325 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 603348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1032784/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=602744 CPUtime=1199.82
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 150453 0 0 0 119814 168 0 0 25 0 1 0 306737534 617209856 150439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 150686 150439 77 171 0 150513 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 608100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 15971
/proc/meminfo: memFree=1032784/2055920 swapFree=4087080/4192956
[pid=15963] ppid=15961 vsize=5356 CPUtime=0.26
/proc/15963/stat : 15963 (SatELiteGTI) S 15961 15963 15126 0 -1 4194304 336 2069 0 0 0 0 25 1 16 0 1 0 306737506 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15963/statm: 1339 239 197 169 0 50 0
[pid=15969] ppid=15963 vsize=602744 CPUtime=1199.82
/proc/15969/stat : 15969 (minisat_static) R 15963 15963 15126 0 -1 4194304 150453 0 0 0 119814 168 0 0 25 0 1 0 306737534 617209856 150439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/15969/statm: 150686 150439 77 171 0 150513 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 608100
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15963 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=254961
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=21996
# CPU time returned by wait4() is 0.276957
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.08
CPU user time (s): 1198.39
CPU system time (s): 1.69
CPU usage (%): 99.9473
Max. virtual memory (cumulated for all children) (KiB): 608100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.254961
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2405
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= 11
runsolver used 1.22181 second user time and 3.24451 second system time
The end
Begin job on node62 at 2009-05-20 04:38:19
IDJOB=1832729
IDBENCH=70328
IDSOLVER=671
FILE ID=node62/1832729-1242787099
PBS_JOBID= 9322371
Free space on /tmp= 66272 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/14000/unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832729-1242787099/watcher-1832729-1242787099 -o /tmp/evaluation-result-1832729-1242787099/solver-1832729-1242787099 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832729-1242787099.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b4b21d0b7e1c85f1ed2d73fe388ea563
RANDOM SEED=271168274
node62.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.220
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.220
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: 1639488 kB
Buffers: 31832 kB
Cached: 237828 kB
SwapCached: 99512 kB
Active: 124668 kB
Inactive: 247008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1639488 kB
SwapTotal: 4192956 kB
SwapFree: 4087080 kB
Dirty: 2680 kB
Writeback: 0 kB
Mapped: 14824 kB
Slab: 30628 kB
Committed_AS: 834980 kB
PageTables: 1476 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66268 MiB
End job on node62 at 2009-05-20 04:58:22