0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 42000 126000 | 12599 0 0 nan | 0.000 % |
0.00/0.13 c | 0 | 41748 126676 | -- 0 -- -- | -- | -252/676
0.00/0.13 c ==============================================================================
0.00/0.13 c Result : #vars: 9766 #clauses: 41748 #literals: 126676
0.00/0.13 c CPU time: 0.120981 s
0.00/0.13 c ==============================================================================
0.00/0.17 c This is MiniSat 2.0 beta
0.00/0.17 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.17 c ============================[ Problem Statistics ]=============================
0.00/0.17 c | |
0.00/0.17 c | Number of variables: 9766 |
0.00/0.17 c | Number of clauses: 41748 |
0.17/0.20 c | Parsing time: 0.03 s |
0.17/0.21 c ============================[ Search Statistics ]==============================
0.17/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.17/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.17/0.21 c ===============================================================================
0.17/0.21 c | 0 | 9766 41748 126676 | 13916 0 nan | 0.000 % |
0.17/0.24 c | 101 | 9766 41748 126676 | 13916 101 138 | 0.000 % |
0.17/0.27 c | 201 | 9766 41748 126676 | 13916 201 120 | 0.000 % |
0.17/0.30 c | 301 | 9766 41748 126676 | 13916 301 116 | 0.000 % |
0.17/0.34 c | 414 | 9766 41748 126676 | 13916 414 119 | 0.000 % |
0.17/0.37 c | 514 | 9766 41748 126676 | 13916 514 123 | 0.000 % |
0.17/0.40 c | 624 | 9766 41748 126676 | 13916 624 125 | 0.000 % |
0.17/0.44 c | 745 | 9766 41748 126676 | 13916 745 132 | 0.000 % |
0.17/0.48 c | 845 | 9766 41748 126676 | 13916 845 139 | 0.000 % |
0.17/0.51 c | 957 | 9766 41748 126676 | 13916 957 136 | 0.000 % |
0.17/0.55 c | 1078 | 9766 41748 126676 | 13916 1078 136 | 0.000 % |
0.17/0.59 c | 1213 | 9766 41748 126676 | 13916 1213 138 | 0.000 % |
0.17/0.62 c | 1314 | 9766 41748 126676 | 13916 1314 136 | 0.000 % |
0.17/0.66 c | 1424 | 9766 41748 126676 | 13916 1424 138 | 0.000 % |
0.17/0.70 c | 1545 | 9766 41748 126676 | 13916 1545 141 | 0.000 % |
0.17/0.74 c | 1678 | 9766 41748 126676 | 13916 1678 141 | 0.000 % |
0.17/0.79 c | 1824 | 9766 41748 126676 | 13916 1824 140 | 0.000 % |
0.17/0.82 c | 1924 | 9766 41748 126676 | 13916 1924 141 | 0.000 % |
0.17/0.86 c | 2034 | 9766 41748 126676 | 13916 2034 140 | 0.000 % |
0.17/0.89 c | 2155 | 9766 41748 126676 | 13916 2155 140 | 0.000 % |
0.17/0.94 c | 2288 | 9766 41748 126676 | 13916 2288 143 | 0.000 % |
0.17/0.99 c | 2434 | 9766 41748 126676 | 13916 2434 145 | 0.000 % |
0.98/1.05 c | 2594 | 9766 41748 126676 | 13916 2594 145 | 0.000 % |
0.98/1.08 c | 2694 | 9766 41748 126676 | 13916 2694 145 | 0.000 % |
1.08/1.11 c | 2806 | 9766 41748 126676 | 13916 2806 145 | 0.000 % |
1.08/1.15 c | 2927 | 9766 41748 126676 | 13916 2927 145 | 0.000 % |
1.08/1.19 c | 3061 | 9766 41748 126676 | 13916 3061 145 | 0.000 % |
1.18/1.24 c | 3208 | 9766 41748 126676 | 13916 3208 144 | 0.000 % |
1.18/1.28 c | 3368 | 9766 41748 126676 | 13916 3368 144 | 0.000 % |
1.28/1.34 c | 3544 | 9766 41748 126676 | 13916 3544 145 | 0.000 % |
1.28/1.38 c | 3644 | 9766 41748 126676 | 13916 3644 145 | 0.000 % |
1.37/1.42 c | 3757 | 9766 41748 126676 | 13916 3757 144 | 0.000 % |
1.37/1.45 c | 3878 | 9766 41748 126676 | 13916 3878 144 | 0.000 % |
1.47/1.50 c | 4014 | 9766 41748 126676 | 13916 4014 146 | 0.000 % |
1.47/1.55 c | 4161 | 9766 41748 126676 | 13916 4161 146 | 0.000 % |
1.57/1.61 c | 4322 | 9766 41748 126676 | 13916 4322 146 | 0.000 % |
1.57/1.67 c | 4500 | 9766 41748 126676 | 13916 4500 146 | 0.000 % |
1.67/1.73 c | 4694 | 9766 41748 126676 | 13916 4694 146 | 0.000 % |
1.67/1.76 c | 4794 | 9766 41748 126676 | 13916 4794 146 | 0.000 % |
1.78/1.80 c | 4904 | 9766 41748 126676 | 13916 4904 146 | 0.000 % |
1.78/1.84 c | 5025 | 9766 41748 126676 | 13916 5025 146 | 0.000 % |
1.78/1.89 c | 5159 | 9766 41748 126676 | 13916 5159 147 | 0.000 % |
1.88/1.94 c | 5305 | 9766 41748 126676 | 13916 5305 147 | 0.000 % |
1.98/2.00 c | 5466 | 9766 41748 126676 | 13916 5466 147 | 0.000 % |
1.98/2.06 c | 5643 | 9766 41748 126676 | 13916 5643 147 | 0.000 % |
2.08/2.13 c | 5836 | 9766 41748 126676 | 13916 5836 147 | 0.000 % |
2.08/2.20 c | 6048 | 9766 41748 126676 | 13916 6048 147 | 0.000 % |
2.18/2.24 c | 6148 | 9766 41748 126676 | 13916 6148 147 | 0.000 % |
2.18/2.27 c | 6258 | 9766 41748 126676 | 13916 6258 147 | 0.000 % |
2.27/2.32 c | 6379 | 9766 41748 126676 | 13916 6379 147 | 0.000 % |
2.27/2.36 c | 6514 | 9766 41748 126676 | 13916 6514 147 | 0.000 % |
2.37/2.41 c | 6662 | 9766 41748 126676 | 13916 6662 147 | 0.000 % |
2.37/2.47 c | 6822 | 9766 41748 126676 | 13916 6822 147 | 0.000 % |
2.47/2.53 c | 6999 | 9766 41748 126676 | 13916 6999 148 | 0.000 % |
2.57/2.60 c | 7193 | 9766 41748 126676 | 13916 7193 148 | 0.000 % |
2.57/2.68 c | 7405 | 9766 41748 126676 | 13916 7405 150 | 0.000 % |
2.67/2.77 c | 7638 | 9766 41748 126676 | 13916 7638 152 | 0.000 % |
2.77/2.81 c | 7740 | 9766 41748 126676 | 13916 7740 152 | 0.000 % |
2.77/2.84 c | 7850 | 9766 41748 126676 | 13916 7850 151 | 0.000 % |
2.77/2.89 c | 7971 | 9766 41748 126676 | 13916 7971 151 | 0.000 % |
2.87/2.94 c | 8106 | 9766 41748 126676 | 13916 8106 151 | 0.000 % |
2.87/3.00 c | 8254 | 9766 41748 126676 | 13916 8254 151 | 0.000 % |
2.97/3.05 c | 8416 | 9766 41748 126676 | 13916 8416 152 | 0.000 % |
3.07/3.12 c | 8594 | 9766 41748 126676 | 13916 8594 151 | 0.000 % |
3.07/3.19 c | 8787 | 9766 41748 126676 | 13916 8787 151 | 0.000 % |
3.17/3.28 c | 8999 | 9766 41748 126676 | 13916 8999 151 | 0.000 % |
3.27/3.37 c | 9234 | 9766 41748 126676 | 13916 9234 152 | 0.000 % |
3.36/3.46 c | 9490 | 9766 41748 126676 | 13916 9490 152 | 0.000 % |
3.46/3.50 c | 9593 | 9766 41748 126676 | 13916 9593 152 | 0.000 % |
3.46/3.55 c | 9704 | 9766 41748 126676 | 13916 9704 152 | 0.000 % |
3.56/3.60 c | 9827 | 9766 41748 126676 | 13916 9827 152 | 0.000 % |
3.56/3.64 c | 9960 | 9766 41748 126676 | 13916 9960 152 | 0.000 % |
3.66/3.70 c | 10110 | 9766 41748 126676 | 2147483647 10110 152 | 0.000 % |
3.66/3.76 c | 10272 | 9766 41748 126676 | 2147483647 10272 152 | 0.000 % |
3.76/3.83 c | 10448 | 9766 41748 126676 | 2147483647 10448 152 | 0.000 % |
3.87/3.91 c | 10641 | 9766 41748 126676 | 2147483647 10641 152 | 0.000 % |
3.87/3.99 c | 10855 | 9766 41748 126676 | 2147483647 10855 153 | 0.000 % |
3.97/4.07 c | 11089 | 9766 41748 126676 | 2147483647 11089 152 | 0.000 % |
4.07/4.17 c | 11345 | 9766 41748 126676 | 2147483647 11345 152 | 0.000 % |
4.17/4.28 c | 11626 | 9766 41748 126676 | 2147483647 11626 153 | 0.000 % |
4.27/4.33 c | 11729 | 9766 41748 126676 | 2147483647 11729 152 | 0.000 % |
4.27/4.38 c | 11839 | 9766 41748 126676 | 2147483647 11839 152 | 0.000 % |
4.37/4.42 c | 11960 | 9766 41748 126676 | 2147483647 11960 152 | 0.000 % |
4.37/4.48 c | 12094 | 9766 41748 126676 | 2147483647 12094 152 | 0.000 % |
4.46/4.54 c | 12240 | 9766 41748 126676 | 2147483647 12240 152 | 0.000 % |
4.56/4.61 c | 12402 | 9766 41748 126676 | 2147483647 12402 152 | 0.000 % |
4.56/4.68 c | 12579 | 9766 41748 126676 | 2147483647 12579 152 | 0.000 % |
4.66/4.76 c | 12773 | 9766 41748 126676 | 2147483647 12773 152 | 0.000 % |
4.76/4.85 c | 12987 | 9766 41748 126676 | 2147483647 12987 152 | 0.000 % |
4.86/4.94 c | 13220 | 9766 41748 126676 | 2147483647 13220 152 | 0.000 % |
4.96/5.05 c | 13477 | 9766 41748 126676 | 2147483647 13477 153 | 0.000 % |
5.06/5.16 c | 13758 | 9766 41748 126676 | 2147483647 13758 153 | 0.000 % |
5.17/5.27 c | 14067 | 9766 41748 126676 | 2147483647 14067 153 | 0.000 % |
5.26/5.32 c | 14167 | 9766 41748 126676 | 2147483647 14167 153 | 0.000 % |
5.26/5.37 c | 14278 | 9766 41748 126676 | 2147483647 14278 153 | 0.000 % |
5.36/5.42 c | 14399 | 9766 41748 126676 | 2147483647 14399 153 | 0.000 % |
5.36/5.47 c | 14532 | 9766 41748 126676 | 2147483647 14532 153 | 0.000 % |
5.46/5.53 c | 14678 | 9766 41748 126676 | 2147483647 14678 153 | 0.000 % |
5.46/5.60 c | 14838 | 9766 41748 126676 | 2147483647 14838 153 | 0.000 % |
5.56/5.66 c | 15014 | 9766 41748 126676 | 2147483647 15014 153 | 0.000 % |
5.66/5.74 c | 15207 | 9766 41748 126676 | 2147483647 15207 153 | 0.000 % |
5.76/5.82 c | 15420 | 9766 41748 126676 | 2147483647 15420 153 | 0.000 % |
5.86/5.92 c | 15656 | 9766 41748 126676 | 2147483647 15656 153 | 0.000 % |
5.95/6.01 c | 15912 | 9766 41748 126676 | 2147483647 15912 153 | 0.000 % |
6.05/6.12 c | 16193 | 9766 41748 126676 | 2147483647 16193 153 | 0.000 % |
6.15/6.24 c | 16507 | 9766 41748 126676 | 2147483647 16507 154 | 0.000 % |
6.25/6.38 c | 16847 | 9766 41748 126676 | 2147483647 16847 155 | 0.000 % |
6.36/6.42 c | 16948 | 9766 41748 126676 | 2147483647 16948 155 | 0.000 % |
6.36/6.47 c | 17058 | 9766 41748 126676 | 2147483647 17058 155 | 0.000 % |
6.47/6.52 c | 17180 | 9766 41748 126676 | 2147483647 17180 155 | 0.000 % |
6.47/6.58 c | 17313 | 9766 41748 126676 | 2147483647 17313 155 | 0.000 % |
6.56/6.65 c | 17459 | 9766 41748 126676 | 2147483647 17459 154 | 0.000 % |
6.66/6.72 c | 17621 | 9766 41748 126676 | 2147483647 17621 154 | 0.000 % |
6.66/6.79 c | 17797 | 9766 41748 126676 | 2147483647 17797 154 | 0.000 % |
6.76/6.88 c | 17993 | 9766 41748 126676 | 2147483647 17993 154 | 0.000 % |
6.86/6.96 c | 18205 | 9766 41748 126676 | 2147483647 18205 154 | 0.000 % |
6.96/7.06 c | 18438 | 9766 41748 126676 | 2147483647 18438 155 | 0.000 % |
7.06/7.16 c | 18695 | 9766 41748 126676 | 2147483647 18695 155 | 0.000 % |
7.16/7.27 c | 18977 | 9766 41748 126676 | 2147483647 18977 155 | 0.000 % |
7.36/7.40 c | 19287 | 9766 41748 126676 | 2147483647 19287 155 | 0.000 % |
7.45/7.55 c | 19626 | 9766 41748 126676 | 2147483647 19626 155 | 0.000 % |
7.66/7.71 c | 19999 | 9766 41748 126676 | 2147483647 19999 156 | 0.000 % |
7.66/7.75 c | 20099 | 9766 41748 126676 | 2147483647 20099 157 | 0.000 % |
7.66/7.79 c | 20210 | 9766 41748 126676 | 2147483647 20210 156 | 0.000 % |
7.75/7.86 c | 20331 | 9766 41748 126676 | 2147483647 20331 156 | 0.000 % |
7.85/7.92 c | 20464 | 9766 41748 126676 | 2147483647 20464 156 | 0.000 % |
7.85/7.98 c | 20610 | 9766 41748 126676 | 2147483647 20610 156 | 0.000 % |
7.95/8.06 c | 20770 | 9766 41748 126676 | 2147483647 20770 156 | 0.000 % |
8.06/8.13 c | 20949 | 9766 41748 126676 | 2147483647 20949 156 | 0.000 % |
8.16/8.22 c | 21142 | 9766 41748 126676 | 2147483647 21142 156 | 0.000 % |
8.26/8.30 c | 21355 | 9766 41748 126676 | 2147483647 21355 156 | 0.000 % |
8.36/8.40 c | 21588 | 9766 41748 126676 | 2147483647 21588 156 | 0.000 % |
8.46/8.51 c | 21844 | 9766 41748 126676 | 2147483647 21844 156 | 0.000 % |
8.56/8.64 c | 22125 | 9766 41748 126676 | 2147483647 22125 156 | 0.000 % |
8.66/8.76 c | 22434 | 9766 41748 126676 | 2147483647 22434 156 | 0.000 % |
8.86/8.92 c | 22773 | 9766 41748 126676 | 2147483647 22773 156 | 0.000 % |
8.96/9.07 c | 23147 | 9766 41748 126676 | 2147483647 23147 157 | 0.000 % |
9.16/9.25 c | 23556 | 9766 41748 126676 | 2147483647 23556 158 | 0.000 % |
9.16/9.30 c | 23657 | 9766 41748 126676 | 2147483647 23657 157 | 0.000 % |
9.26/9.35 c | 23768 | 9766 41748 126676 | 2147483647 23768 158 | 0.000 % |
9.36/9.40 c | 23892 | 9766 41748 126676 | 2147483647 23892 158 | 0.000 % |
9.36/9.46 c | 24026 | 9766 41748 126676 | 2147483647 24026 157 | 0.000 % |
9.46/9.54 c | 24174 | 9766 41748 126676 | 2147483647 24174 157 | 0.000 % |
9.56/9.60 c | 24336 | 9766 41748 126676 | 2147483647 24336 157 | 0.000 % |
9.56/9.68 c | 24513 | 9766 41748 126676 | 2147483647 24513 157 | 0.000 % |
9.65/9.77 c | 24708 | 9766 41748 126676 | 2147483647 24708 157 | 0.000 % |
9.76/9.88 c | 24922 | 9766 41748 126676 | 2147483647 24922 157 | 0.000 % |
9.86/9.99 c | 25156 | 9766 41748 126676 | 2147483647 25156 157 | 0.000 % |
10.05/10.11 c | 25412 | 9766 41748 126676 | 2147483647 25412 157 | 0.000 % |
10.15/10.24 c | 25694 | 9766 41748 126676 | 2147483647 25694 158 | 0.000 % |
10.25/10.37 c | 26003 | 9766 41748 126676 | 2147483647 26003 158 | 0.000 % |
10.45/10.53 c | 26342 | 9766 41748 126676 | 2147483647 26342 158 | 0.000 % |
10.55/10.69 c | 26714 | 9766 41748 126676 | 2147483647 26714 158 | 0.000 % |
10.75/10.88 c | 27123 | 9766 41748 126676 | 2147483647 27123 158 | 0.000 % |
10.95/11.08 c | 27573 | 9766 41748 126676 | 2147483647 27573 159 | 0.000 % |
11.05/11.13 c | 27675 | 9766 41748 126676 | 2147483647 27675 159 | 0.000 % |
11.05/11.19 c | 27787 | 9766 41748 126676 | 2147483647 27787 159 | 0.000 % |
11.15/11.26 c | 27909 | 9766 41748 126676 | 2147483647 27909 159 | 0.000 % |
11.26/11.33 c | 28043 | 9766 41748 126676 | 2147483647 28043 159 | 0.000 % |
11.36/11.41 c | 28190 | 9766 41748 126676 | 2147483647 28190 159 | 0.000 % |
11.36/11.49 c | 28350 | 9766 41748 126676 | 2147483647 28350 158 | 0.000 % |
11.46/11.58 c | 28526 | 9766 41748 126676 | 2147483647 28526 158 | 0.000 % |
11.56/11.67 c | 28719 | 9766 41748 126676 | 2147483647 28719 158 | 0.000 % |
11.66/11.76 c | 28933 | 9766 41748 126676 | 2147483647 28933 158 | 0.000 % |
11.76/11.87 c | 29166 | 9766 41748 126676 | 2147483647 29166 158 | 0.000 % |
11.86/12.00 c | 29422 | 9766 41748 126676 | 2147483647 29422 159 | 0.000 % |
12.06/12.14 c | 29704 | 9766 41748 126676 | 2147483647 29704 160 | 0.000 % |
12.16/12.28 c | 30015 | 9766 41748 126676 | 2147483647 30015 159 | 0.000 % |
12.36/12.45 c | 30354 | 9766 41748 126676 | 2147483647 30354 159 | 0.000 % |
12.56/12.62 c | 30727 | 9766 41748 126676 | 2147483647 30727 159 | 0.000 % |
12.76/12.81 c | 31136 | 9766 41748 126676 | 2147483647 31136 159 | 0.000 % |
12.95/13.03 c | 31585 | 9766 41748 126676 | 2147483647 31585 159 | 0.000 % |
13.16/13.27 c | 32081 | 9766 41748 126676 | 2147483647 32081 159 | 0.000 % |
13.25/13.33 c | 32181 | 9766 41748 126676 | 2147483647 32181 159 | 0.000 % |
13.25/13.39 c | 32291 | 9766 41748 126676 | 2147483647 32291 159 | 0.000 % |
13.35/13.46 c | 32412 | 9766 41748 126676 | 2147483647 32412 159 | 0.000 % |
13.45/13.53 c | 32545 | 9766 41748 126676 | 2147483647 32545 159 | 0.000 % |
13.55/13.61 c | 32691 | 9766 41748 126676 | 2147483647 32691 159 | 0.000 % |
13.55/13.69 c | 32851 | 9766 41748 126676 | 2147483647 32851 159 | 0.000 % |
13.65/13.79 c | 33028 | 9766 41748 126676 | 2147483647 33028 159 | 0.000 % |
13.85/13.90 c | 33223 | 9766 41748 126676 | 2147483647 33223 159 | 0.000 % |
13.95/14.01 c | 33435 | 9766 41748 126676 | 2147483647 33435 159 | 0.000 % |
14.05/14.13 c | 33669 | 9766 41748 126676 | 2147483647 33669 159 | 0.000 % |
14.16/14.26 c | 33927 | 9766 41748 126676 | 2147483647 33927 159 | 0.000 % |
14.36/14.40 c | 34208 | 9766 41748 126676 | 2147483647 34208 159 | 0.000 % |
14.46/14.57 c | 34517 | 9766 41748 126676 | 2147483647 34517 159 | 0.000 % |
14.65/14.74 c | 34856 | 9766 41748 126676 | 2147483647 34856 160 | 0.000 % |
14.85/14.93 c | 35228 | 9766 41748 126676 | 2147483647 35228 160 | 0.000 % |
15.05/15.14 c | 35637 | 9766 41748 126676 | 2147483647 35637 160 | 0.000 % |
15.26/15.37 c | 36086 | 9766 41748 126676 | 2147483647 36086 160 | 0.000 % |
15.55/15.63 c | 36579 | 9766 41748 126676 | 2147483647 36579 160 | 0.000 % |
15.85/15.91 c | 37123 | 9766 41748 126676 | 2147483647 37123 160 | 0.000 % |
15.85/15.97 c | 37223 | 9766 41748 126676 | 2147483647 37223 160 | 0.000 % |
15.95/16.03 c | 37333 | 9766 41748 126676 | 2147483647 37333 160 | 0.000 % |
15.95/16.09 c | 37454 | 9766 41748 126676 | 2147483647 37454 160 | 0.000 % |
16.05/16.17 c | 37592 | 9766 41748 126676 | 2147483647 37592 160 | 0.000 % |
16.15/16.25 c | 37738 | 9766 41748 126676 | 2147483647 37738 160 | 0.000 % |
16.25/16.34 c | 37899 | 9766 41748 126676 | 2147483647 37899 160 | 0.000 % |
16.35/16.44 c | 38076 | 9766 41748 126676 | 2147483647 38076 160 | 0.000 % |
16.45/16.54 c | 38270 | 9766 41748 126676 | 2147483647 38270 160 | 0.000 % |
16.55/16.66 c | 38484 | 9766 41748 126676 | 2147483647 38484 160 | 0.000 % |
16.65/16.79 c | 38719 | 9766 41748 126676 | 2147483647 38719 160 | 0.000 % |
16.85/16.94 c | 38978 | 9766 41748 126676 | 2147483647 38978 160 | 0.000 % |
17.04/17.10 c | 39259 | 9766 41748 126676 | 2147483647 39259 160 | 0.000 % |
17.14/17.27 c | 39568 | 9766 41748 126676 | 2147483647 39568 160 | 0.000 % |
17.35/17.47 c | 39907 | 9766 41748 126676 | 2147483647 39907 160 | 0.000 % |
17.56/17.66 c | 40279 | 9766 41748 126676 | 2147483647 40279 160 | 0.000 % |
17.75/17.89 c | 40691 | 9766 41748 126676 | 2147483647 40691 160 | 0.000 % |
18.05/18.15 c | 41142 | 9766 41748 126676 | 2147483647 41142 160 | 0.000 % |
18.35/18.42 c | 41635 | 9766 41748 126676 | 2147483647 41635 161 | 0.000 % |
18.65/18.72 c | 42178 | 9766 41748 126676 | 2147483647 42178 161 | 0.000 % |
18.95/19.06 c | 42774 | 9766 41748 126676 | 2147483647 42774 162 | 0.000 % |
19.05/19.12 c | 42878 | 9766 41748 126676 | 2147483647 42878 162 | 0.000 % |
19.05/19.18 c | 42990 | 9766 41748 126676 | 2147483647 42990 162 | 0.000 % |
19.15/19.26 c | 43111 | 9766 41748 126676 | 2147483647 43111 161 | 0.000 % |
19.25/19.34 c | 43246 | 9766 41748 126676 | 2147483647 43246 162 | 0.000 % |
19.34/19.42 c | 43393 | 9766 41748 126676 | 2147483647 43393 162 | 0.000 % |
19.44/19.52 c | 43557 | 9766 41748 126676 | 2147483647 43557 162 | 0.000 % |
19.54/19.63 c | 43733 | 9766 41748 126676 | 2147483647 43733 162 | 0.000 % |
19.65/19.75 c | 43926 | 9766 41748 126676 | 2147483647 43926 162 | 0.000 % |
19.75/19.88 c | 44139 | 9766 41748 126676 | 2147483647 44139 162 | 0.000 % |
19.94/20.01 c | 44373 | 9766 41748 126676 | 2147483647 44373 162 | 0.000 % |
20.04/20.16 c | 44630 | 9766 41748 126676 | 2147483647 44630 162 | 0.000 % |
20.25/20.33 c | 44912 | 9766 41748 126676 | 2147483647 44912 162 | 0.000 % |
20.45/20.51 c | 45222 | 9766 41748 126676 | 2147483647 45222 162 | 0.000 % |
20.65/20.70 c | 45562 | 9766 41748 126676 | 2147483647 45562 162 | 0.000 % |
20.85/20.92 c | 45934 | 9766 41748 126676 | 2147483647 45934 162 | 0.000 % |
21.05/21.16 c | 46343 | 9766 41748 126676 | 2147483647 46343 162 | 0.000 % |
21.35/21.42 c | 46793 | 9766 41748 126676 | 2147483647 46793 162 | 0.000 % |
21.65/21.71 c | 47291 | 9766 41748 126676 | 2147483647 47291 162 | 0.000 % |
21.95/22.03 c | 47835 | 9766 41748 126676 | 2147483647 47835 163 | 0.000 % |
22.24/22.37 c | 48432 | 9766 41748 126676 | 2147483647 48432 163 | 0.000 % |
22.64/22.77 c | 49087 | 9766 41748 126676 | 2147483647 49087 164 | 0.000 % |
22.74/22.83 c | 49187 | 9766 41748 126676 | 2147483647 49187 164 | 0.000 % |
22.84/22.90 c | 49297 | 9766 41748 126676 | 2147483647 49297 164 | 0.000 % |
22.84/22.98 c | 49418 | 9766 41748 126676 | 2147483647 49418 164 | 0.000 % |
22.95/23.06 c | 49553 | 9766 41748 126676 | 2147483647 49553 164 | 0.000 % |
23.05/23.17 c | 49700 | 9766 41748 126676 | 2147483647 49700 164 | 0.000 % |
23.14/23.27 c | 49861 | 9766 41748 126676 | 2147483647 49861 164 | 0.000 % |
23.25/23.38 c | 50037 | 9766 41748 126676 | 2147483647 50037 164 | 0.000 % |
23.45/23.52 c | 50231 | 9766 41748 126676 | 2147483647 50231 164 | 0.000 % |
23.55/23.64 c | 50443 | 9766 41748 126676 | 2147483647 50443 164 | 0.000 % |
23.65/23.79 c | 50676 | 9766 41748 126676 | 2147483647 50676 164 | 0.000 % |
23.85/23.95 c | 50932 | 9766 41748 126676 | 2147483647 50932 164 | 0.000 % |
24.05/24.13 c | 51214 | 9766 41748 126676 | 2147483647 51214 164 | 0.000 % |
24.25/24.33 c | 51523 | 9766 41748 126676 | 2147483647 51523 164 | 0.000 % |
24.44/24.54 c | 51863 | 9766 41748 126676 | 2147483647 51863 164 | 0.000 % |
24.64/24.79 c | 52236 | 9766 41748 126676 | 2147483647 52236 164 | 0.000 % |
24.94/25.06 c | 52645 | 9766 41748 126676 | 2147483647 52645 164 | 0.000 % |
25.25/25.34 c | 53095 | 9766 41748 126676 | 2147483647 53095 165 | 0.000 % |
25.54/25.66 c | 53588 | 9766 41748 126676 | 2147483647 53588 165 | 0.000 % |
25.94/26.00 c | 54132 | 9766 41748 126676 | 2147483647 54132 165 | 0.000 % |
26.24/26.38 c | 54728 | 9766 41748 126676 | 2147483647 54728 165 | 0.000 % |
26.64/26.77 c | 55383 | 9766 41748 126676 | 2147483647 55383 165 | 0.000 % |
27.14/27.23 c | 56103 | 9766 41748 126676 | 2147483647 56103 165 | 0.000 % |
27.24/27.30 c | 56203 | 9766 41748 126676 | 2147483647 56203 165 | 0.000 % |
27.24/27.38 c | 56313 | 9766 41748 126676 | 2147483647 56313 165 | 0.000 % |
27.34/27.47 c | 56434 | 9766 41748 126676 | 2147483647 56434 165 | 0.000 % |
27.44/27.57 c | 56567 | 9766 41748 126676 | 2147483647 56567 165 | 0.000 % |
27.54/27.67 c | 56713 | 9766 41748 126676 | 2147483647 56713 165 | 0.000 % |
27.64/27.79 c | 56873 | 9766 41748 126676 | 2147483647 56873 165 | 0.000 % |
27.84/27.90 c | 57050 | 9766 41748 126676 | 2147483647 57050 165 | 0.000 % |
27.94/28.04 c | 57244 | 9766 41748 126676 | 2147483647 57244 165 | 0.000 % |
28.04/28.19 c | 57458 | 9766 41748 126676 | 2147483647 57458 165 | 0.000 % |
28.24/28.34 c | 57691 | 9766 41748 126676 | 2147483647 57691 165 | 0.000 % |
28.45/28.50 c | 57947 | 9766 41748 126676 | 2147483647 57947 165 | 0.000 % |
28.55/28.68 c | 58230 | 9766 41748 126676 | 2147483647 58230 165 | 0.000 % |
28.74/28.88 c | 58539 | 9766 41748 126676 | 2147483647 58539 165 | 0.000 % |
29.04/29.12 c | 58879 | 9766 41748 126676 | 2147483647 58879 165 | 0.000 % |
29.24/29.36 c | 59254 | 9766 41748 126676 | 2147483647 59254 165 | 0.000 % |
29.54/29.65 c | 59664 | 9766 41748 126676 | 2147483647 59664 165 | 0.000 % |
29.84/29.95 c | 60113 | 9766 41748 126676 | 2147483647 60113 165 | 0.000 % |
30.14/30.27 c | 60607 | 9766 41748 126676 | 2147483647 60607 165 | 0.000 % |
30.54/30.62 c | 61151 | 9766 41748 126676 | 2147483647 61151 165 | 0.000 % |
30.93/31.04 c | 61747 | 9766 41748 126676 | 2147483647 61747 165 | 0.000 % |
31.33/31.47 c | 62403 | 9766 41748 126676 | 2147483647 62403 166 | 0.000 % |
31.83/31.95 c | 63123 | 9766 41748 126676 | 2147483647 63123 166 | 0.000 % |
32.34/32.49 c | 63915 | 9766 41748 126676 | 2147483647 63915 167 | 0.000 % |
32.44/32.57 c | 64015 | 9766 41748 126676 | 2147483647 64015 167 | 0.000 % |
32.54/32.66 c | 64127 | 9766 41748 126676 | 2147483647 64127 167 | 0.000 % |
32.64/32.75 c | 64249 | 9766 41748 126676 | 2147483647 64249 166 | 0.000 % |
32.74/32.86 c | 64382 | 9766 41748 126676 | 2147483647 64382 167 | 0.000 % |
32.84/32.98 c | 64528 | 9766 41748 126676 | 2147483647 64528 166 | 0.000 % |
33.03/33.11 c | 64688 | 9766 41748 126676 | 2147483647 64688 166 | 0.000 % |
33.13/33.24 c | 64865 | 9766 41748 126676 | 2147483647 64865 166 | 0.000 % |
33.23/33.35 c | 65058 | 9766 41748 126676 | 2147483647 65058 166 | 0.000 % |
33.43/33.52 c | 65270 | 9766 41748 126676 | 2147483647 65270 166 | 0.000 % |
33.53/33.69 c | 65503 | 9766 41748 126676 | 2147483647 65503 166 | 0.000 % |
33.83/33.90 c | 65762 | 9766 41748 126676 | 2147483647 65762 166 | 0.000 % |
33.94/34.09 c | 66043 | 9766 41748 126676 | 2147483647 66043 166 | 0.000 % |
34.23/34.32 c | 66352 | 9766 41748 126676 | 2147483647 66352 166 | 0.000 % |
34.43/34.54 c | 66691 | 9766 41748 126676 | 2147483647 66691 166 | 0.000 % |
34.63/34.77 c | 67064 | 9766 41748 126676 | 2147483647 67064 166 | 0.000 % |
34.93/35.05 c | 67474 | 9766 41748 126676 | 2147483647 67474 166 | 0.000 % |
35.23/35.38 c | 67925 | 9766 41748 126676 | 2147483647 67925 166 | 0.000 % |
35.63/35.75 c | 68418 | 9766 41748 126676 | 2147483647 68418 166 | 0.000 % |
36.03/36.10 c | 68962 | 9766 41748 126676 | 2147483647 68962 167 | 0.000 % |
36.43/36.51 c | 69565 | 9766 41748 126676 | 2147483647 69565 167 | 0.000 % |
36.83/36.99 c | 70223 | 9766 41748 126676 | 2147483647 70223 168 | 0.000 % |
37.43/37.54 c | 70943 | 9766 41748 126676 | 2147483647 70943 168 | 0.000 % |
38.03/38.13 c | 71735 | 9766 41748 126676 | 2147483647 71735 169 | 0.000 % |
38.73/38.80 c | 72606 | 9766 41748 126676 | 2147483647 72606 169 | 0.000 % |
38.73/38.88 c | 72706 | 9766 41748 126676 | 2147483647 72706 169 | 0.000 % |
38.83/38.98 c | 72818 | 9766 41748 126676 | 2147483647 72818 169 | 0.000 % |
38.93/39.07 c | 72939 | 9766 41748 126676 | 2147483647 72939 169 | 0.000 % |
39.03/39.18 c | 73074 | 9766 41748 126676 | 2147483647 73074 169 | 0.000 % |
39.23/39.30 c | 73221 | 9766 41748 126676 | 2147483647 73221 169 | 0.000 % |
39.34/39.41 c | 73382 | 9766 41748 126676 | 2147483647 73382 169 | 0.000 % |
39.44/39.53 c | 73559 | 9766 41748 126676 | 2147483647 73559 169 | 0.000 % |
39.54/39.69 c | 73753 | 9766 41748 126676 | 2147483647 73753 169 | 0.000 % |
39.73/39.87 c | 73966 | 9766 41748 126676 | 2147483647 73966 169 | 0.000 % |
39.93/40.06 c | 74201 | 9766 41748 126676 | 2147483647 74201 169 | 0.000 % |
40.13/40.26 c | 74459 | 9766 41748 126676 | 2147483647 74459 169 | 0.000 % |
40.33/40.47 c | 74740 | 9766 41748 126676 | 2147483647 74740 169 | 0.000 % |
40.64/40.72 c | 75049 | 9766 41748 126676 | 2147483647 75049 169 | 0.000 % |
40.83/40.99 c | 75388 | 9766 41748 126676 | 2147483647 75388 169 | 0.000 % |
41.13/41.27 c | 75761 | 9766 41748 126676 | 2147483647 75761 168 | 0.000 % |
41.53/41.60 c | 76170 | 9766 41748 126676 | 2147483647 76170 169 | 0.000 % |
41.82/41.94 c | 76619 | 9766 41748 126676 | 2147483647 76619 169 | 0.000 % |
42.12/42.28 c | 77112 | 9766 41748 126676 | 2147483647 77112 169 | 0.000 % |
42.52/42.68 c | 77654 | 9766 41748 126676 | 2147483647 77654 169 | 0.000 % |
43.03/43.11 c | 78250 | 9766 41748 126676 | 2147483647 78250 169 | 0.000 % |
43.43/43.59 c | 78905 | 9766 41748 126676 | 2147483647 78905 170 | 0.000 % |
44.03/44.11 c | 79625 | 9766 41748 126676 | 2147483647 79625 170 | 0.000 % |
44.63/44.71 c | 80419 | 9766 41748 126676 | 2147483647 80419 170 | 0.000 % |
45.23/45.37 c | 81291 | 9766 41748 126676 | 2147483647 81291 170 | 0.000 % |
46.03/46.16 c | 82250 | 9766 41748 126676 | 2147483647 82250 170 | 0.000 % |
46.13/46.23 c | 82350 | 9766 41748 126676 | 2147483647 82350 170 | 0.000 % |
46.23/46.34 c | 82461 | 9766 41748 126676 | 2147483647 82461 170 | 0.000 % |
46.33/46.45 c | 82583 | 9766 41748 126676 | 2147483647 82583 170 | 0.000 % |
46.43/46.58 c | 82716 | 9766 41748 126676 | 2147483647 82716 170 | 0.000 % |
46.63/46.70 c | 82862 | 9766 41748 126676 | 2147483647 82862 170 | 0.000 % |
46.73/46.83 c | 83022 | 9766 41748 126676 | 2147483647 83022 170 | 0.000 % |
46.93/47.00 c | 83198 | 9766 41748 126676 | 2147483647 83198 170 | 0.000 % |
47.03/47.16 c | 83391 | 9766 41748 126676 | 2147483647 83391 170 | 0.000 % |
47.23/47.33 c | 83604 | 9766 41748 126676 | 2147483647 83604 170 | 0.000 % |
47.42/47.53 c | 83839 | 9766 41748 126676 | 2147483647 83839 170 | 0.000 % |
47.62/47.75 c | 84099 | 9766 41748 126676 | 2147483647 84099 170 | 0.000 % |
47.82/48.00 c | 84380 | 9766 41748 126676 | 2147483647 84380 170 | 0.000 % |
48.12/48.25 c | 84690 | 9766 41748 126676 | 2147483647 84690 170 | 0.000 % |
48.42/48.53 c | 85029 | 9766 41748 126676 | 2147483647 85029 170 | 0.000 % |
48.72/48.86 c | 85401 | 9766 41748 126676 | 2147483647 85401 170 | 0.000 % |
49.12/49.20 c | 85810 | 9766 41748 126676 | 2147483647 85810 170 | 0.000 % |
49.52/49.60 c | 86261 | 9766 41748 126676 | 2147483647 86261 170 | 0.000 % |
49.93/50.01 c | 86754 | 9766 41748 126676 | 2147483647 86754 170 | 0.000 % |
50.33/50.46 c | 87300 | 9766 41748 126676 | 2147483647 87300 170 | 0.000 % |
50.83/50.96 c | 87897 | 9766 41748 126676 | 2147483647 87897 170 | 0.000 % |
51.32/51.49 c | 88552 | 9766 41748 126676 | 2147483647 88552 170 | 0.000 % |
52.02/52.13 c | 89272 | 9766 41748 126676 | 2147483647 89272 171 | 0.000 % |
52.62/52.78 c | 90064 | 9766 41748 126676 | 2147483647 90064 171 | 0.000 % |
53.43/53.51 c | 90936 | 9766 41748 126676 | 2147483647 90936 171 | 0.000 % |
54.22/54.33 c | 91894 | 9766 41748 126676 | 2147483647 91894 172 | 0.000 % |
55.02/55.18 c | 92948 | 9766 41748 126676 | 2147483647 92948 172 | 0.000 % |
55.12/55.28 c | 93050 | 9766 41748 126676 | 2147483647 93050 172 | 0.000 % |
55.22/55.39 c | 93160 | 9766 41748 126676 | 2147483647 93160 172 | 0.000 % |
55.42/55.50 c | 93281 | 9766 41748 126676 | 2147483647 93281 172 | 0.000 % |
55.52/55.64 c | 93414 | 9766 41748 126676 | 2147483647 93414 172 | 0.000 % |
55.62/55.78 c | 93562 | 9766 41748 126676 | 2147483647 93562 172 | 0.000 % |
55.82/55.94 c | 93723 | 9766 41748 126676 | 2147483647 93723 172 | 0.000 % |
55.92/56.10 c | 93901 | 9766 41748 126676 | 2147483647 93901 172 | 0.000 % |
56.12/56.28 c | 94094 | 9766 41748 126676 | 2147483647 94094 172 | 0.000 % |
56.42/56.51 c | 94307 | 9766 41748 126676 | 2147483647 94307 172 | 0.000 % |
56.62/56.72 c | 94540 | 9766 41748 126676 | 2147483647 94540 172 | 0.000 % |
56.82/56.97 c | 94798 | 9766 41748 126676 | 2147483647 94798 172 | 0.000 % |
57.12/57.21 c | 95081 | 9766 41748 126676 | 2147483647 95081 171 | 0.000 % |
57.41/57.51 c | 95395 | 9766 41748 126676 | 2147483647 95395 171 | 0.000 % |
57.72/57.82 c | 95735 | 9766 41748 126676 | 2147483647 95735 171 | 0.000 % |
58.02/58.17 c | 96109 | 9766 41748 126676 | 2147483647 96109 172 | 0.000 % |
58.42/58.50 c | 96519 | 9766 41748 126676 | 2147483647 96519 172 | 0.000 % |
58.82/58.91 c | 96968 | 9766 41748 126676 | 2147483647 96968 172 | 0.000 % |
59.22/59.37 c | 97464 | 9766 41748 126676 | 2147483647 97464 172 | 0.000 % |
59.72/59.87 c | 98008 | 9766 41748 126676 | 2147483647 98008 172 | 0.000 % |
60.32/60.41 c | 98604 | 9766 41748 126676 | 2147483647 98604 172 | 0.000 % |
60.82/60.95 c | 99260 | 9766 41748 126676 | 2147483647 99260 172 | 0.000 % |
61.42/61.57 c | 99980 | 9766 41748 126676 | 2147483647 99980 172 | 0.000 % |
62.11/62.24 c | 100772 | 9766 41748 126676 | 2147483647 100772 173 | 0.000 % |
62.81/62.99 c | 101646 | 9766 41748 126676 | 2147483647 101646 173 | 0.000 % |
63.72/63.83 c | 102605 | 9766 41748 126676 | 2147483647 102605 173 | 0.000 % |
64.62/64.76 c | 103659 | 9766 41748 126676 | 2147483647 103659 174 | 0.000 % |
65.61/65.77 c | 104817 | 9766 41748 126676 | 2147483647 104817 174 | 0.000 % |
65.71/65.88 c | 104917 | 9766 41748 126676 | 2147483647 104917 174 | 0.000 % |
65.82/66.00 c | 105028 | 9766 41748 126676 | 2147483647 105028 174 | 0.000 % |
66.01/66.14 c | 105150 | 9766 41748 126676 | 2147483647 105150 174 | 0.000 % |
66.11/66.28 c | 105283 | 9766 41748 126676 | 2147483647 105283 174 | 0.000 % |
66.31/66.42 c | 105429 | 9766 41748 126676 | 2147483647 105429 174 | 0.000 % |
66.41/66.59 c | 105590 | 9766 41748 126676 | 2147483647 105590 174 | 0.000 % |
66.61/66.77 c | 105766 | 9766 41748 126676 | 2147483647 105766 174 | 0.000 % |
66.81/66.96 c | 105959 | 9766 41748 126676 | 2147483647 105959 174 | 0.000 % |
67.01/67.16 c | 106171 | 9766 41748 126676 | 2147483647 106171 174 | 0.000 % |
67.31/67.40 c | 106404 | 9766 41748 126676 | 2147483647 106404 174 | 0.000 % |
67.51/67.67 c | 106661 | 9766 41748 126676 | 2147483647 106661 174 | 0.000 % |
67.81/67.94 c | 106942 | 9766 41748 126676 | 2147483647 106942 174 | 0.000 % |
68.11/68.23 c | 107251 | 9766 41748 126676 | 2147483647 107251 174 | 0.000 % |
68.41/68.56 c | 107590 | 9766 41748 126676 | 2147483647 107590 174 | 0.000 % |
68.81/68.92 c | 107963 | 9766 41748 126676 | 2147483647 107963 174 | 0.000 % |
69.21/69.31 c | 108375 | 9766 41748 126676 | 2147483647 108375 174 | 0.000 % |
69.62/69.72 c | 108826 | 9766 41748 126676 | 2147483647 108826 174 | 0.000 % |
70.02/70.19 c | 109319 | 9766 41748 126676 | 2147483647 109319 174 | 0.000 % |
70.52/70.70 c | 109861 | 9766 41748 126676 | 2147483647 109861 174 | 0.000 % |
71.11/71.27 c | 110461 | 9766 41748 126676 | 2147483647 110461 174 | 0.000 % |
71.71/71.85 c | 111116 | 9766 41748 126676 | 2147483647 111116 174 | 0.000 % |
72.41/72.55 c | 111836 | 9766 41748 126676 | 2147483647 111836 174 | 0.000 % |
73.21/73.36 c | 112631 | 9766 41748 126676 | 2147483647 112631 175 | 0.000 % |
74.01/74.17 c | 113502 | 9766 41748 126676 | 2147483647 113502 175 | 0.000 % |
75.01/75.11 c | 114463 | 9766 41748 126676 | 2147483647 114463 175 | 0.000 % |
76.01/76.14 c | 115516 | 9766 41748 126676 | 2147483647 115516 175 | 0.000 % |
77.11/77.22 c | 116677 | 9766 41748 126676 | 2147483647 116677 176 | 0.000 % |
78.31/78.42 c | 117951 | 9766 41748 126676 | 2147483647 117951 176 | 0.000 % |
78.41/78.54 c | 118051 | 9766 41748 126676 | 2147483647 118051 176 | 0.000 % |
78.51/78.69 c | 118162 | 9766 41748 126676 | 2147483647 118162 176 | 0.000 % |
78.71/78.83 c | 118285 | 9766 41748 126676 | 2147483647 118285 176 | 0.000 % |
78.81/78.98 c | 118420 | 9766 41748 126676 | 2147483647 118420 176 | 0.000 % |
79.01/79.15 c | 118568 | 9766 41748 126676 | 2147483647 118568 176 | 0.000 % |
79.21/79.33 c | 118730 | 9766 41748 126676 | 2147483647 118730 176 | 0.000 % |
79.41/79.51 c | 118907 | 9766 41748 126676 | 2147483647 118907 176 | 0.000 % |
79.61/79.73 c | 119100 | 9766 41748 126676 | 2147483647 119100 176 | 0.000 % |
79.81/79.96 c | 119313 | 9766 41748 126676 | 2147483647 119313 176 | 0.000 % |
80.11/80.22 c | 119548 | 9766 41748 126676 | 2147483647 119548 176 | 0.000 % |
80.31/80.50 c | 119805 | 9766 41748 126676 | 2147483647 119805 176 | 0.000 % |
80.70/80.81 c | 120087 | 9766 41748 126676 | 2147483647 120087 176 | 0.000 % |
81.00/81.11 c | 120397 | 9766 41748 126676 | 2147483647 120397 176 | 0.000 % |
81.31/81.45 c | 120737 | 9766 41748 126676 | 2147483647 120737 176 | 0.000 % |
81.70/81.86 c | 121115 | 9766 41748 126676 | 2147483647 121115 176 | 0.000 % |
82.10/82.25 c | 121524 | 9766 41748 126676 | 2147483647 121524 176 | 0.000 % |
82.60/82.70 c | 121974 | 9766 41748 126676 | 2147483647 121974 176 | 0.000 % |
83.11/83.21 c | 122469 | 9766 41748 126676 | 2147483647 122469 176 | 0.000 % |
83.61/83.77 c | 123012 | 9766 41748 126676 | 2147483647 123012 176 | 0.000 % |
84.21/84.36 c | 123608 | 9766 41748 126676 | 2147483647 123608 176 | 0.000 % |
84.91/85.02 c | 124263 | 9766 41748 126676 | 2147483647 124263 176 | 0.000 % |
85.61/85.76 c | 124983 | 9766 41748 126676 | 2147483647 124983 176 | 0.000 % |
86.40/86.56 c | 125776 | 9766 41748 126676 | 2147483647 125776 177 | 0.000 % |
87.30/87.44 c | 126649 | 9766 41748 126676 | 2147483647 126649 177 | 0.000 % |
88.20/88.38 c | 127607 | 9766 41748 126676 | 2147483647 127607 177 | 0.000 % |
89.30/89.45 c | 128661 | 9766 41748 126676 | 2147483647 128661 177 | 0.000 % |
90.50/90.61 c | 129820 | 9766 41748 126676 | 2147483647 129820 178 | 0.000 % |
91.70/91.88 c | 131093 | 9766 41748 126676 | 2147483647 131093 178 | 0.000 % |
93.20/93.39 c | 132493 | 9766 41748 126676 | 2147483647 132493 178 | 0.000 % |
93.40/93.52 c | 132593 | 9766 41748 126676 | 2147483647 132593 178 | 0.000 % |
93.50/93.68 c | 132703 | 9766 41748 126676 | 2147483647 132703 178 | 0.000 % |
93.70/93.84 c | 132825 | 9766 41748 126676 | 2147483647 132825 178 | 0.000 % |
93.90/94.00 c | 132958 | 9766 41748 126676 | 2147483647 132958 178 | 0.000 % |
94.00/94.18 c | 133104 | 9766 41748 126676 | 2147483647 133104 178 | 0.000 % |
94.20/94.38 c | 133265 | 9766 41748 126676 | 2147483647 133265 178 | 0.000 % |
94.40/94.57 c | 133441 | 9766 41748 126676 | 2147483647 133441 178 | 0.000 % |
94.70/94.80 c | 133635 | 9766 41748 126676 | 2147483647 133635 178 | 0.000 % |
94.90/95.03 c | 133847 | 9766 41748 126676 | 2147483647 133847 178 | 0.000 % |
95.20/95.30 c | 134080 | 9766 41748 126676 | 2147483647 134080 178 | 0.000 % |
95.50/95.65 c | 134336 | 9766 41748 126676 | 2147483647 134336 178 | 0.000 % |
95.80/95.98 c | 134617 | 9766 41748 126676 | 2147483647 134617 178 | 0.000 % |
96.20/96.33 c | 134929 | 9766 41748 126676 | 2147483647 134929 178 | 0.000 % |
96.60/96.73 c | 135268 | 9766 41748 126676 | 2147483647 135268 178 | 0.000 % |
97.00/97.16 c | 135642 | 9766 41748 126676 | 2147483647 135642 178 | 0.000 % |
97.50/97.62 c | 136052 | 9766 41748 126676 | 2147483647 136052 178 | 0.000 % |
98.00/98.11 c | 136501 | 9766 41748 126676 | 2147483647 136501 178 | 0.000 % |
98.50/98.66 c | 136994 | 9766 41748 126676 | 2147483647 136994 178 | 0.000 % |
99.10/99.24 c | 137536 | 9766 41748 126676 | 2147483647 137536 178 | 0.000 % |
99.69/99.88 c | 138132 | 9766 41748 126676 | 2147483647 138132 178 | 0.000 % |
100.49/100.60 c | 138788 | 9766 41748 126676 | 2147483647 138788 178 | 0.000 % |
101.19/101.34 c | 139509 | 9766 41748 126676 | 2147483647 139509 178 | 0.000 % |
102.09/102.22 c | 140302 | 9766 41748 126676 | 2147483647 140302 178 | 0.000 % |
102.98/103.13 c | 141175 | 9766 41748 126676 | 2147483647 141175 178 | 0.000 % |
104.08/104.21 c | 142135 | 9766 41748 126676 | 2147483647 142135 178 | 0.000 % |
105.18/105.35 c | 143189 | 9766 41748 126676 | 2147483647 143189 179 | 0.000 % |
106.49/106.62 c | 144349 | 9766 41748 126676 | 2147483647 144349 179 | 0.000 % |
107.69/107.89 c | 145624 | 9766 41748 126676 | 2147483647 145624 179 | 0.000 % |
109.28/109.42 c | 147024 | 9766 41748 126676 | 2147483647 147024 180 | 0.000 % |
110.99/111.13 c | 148565 | 9766 41748 126676 | 2147483647 148565 180 | 0.000 % |
111.08/111.28 c | 148666 | 9766 41748 126676 | 2147483647 148666 180 | 0.000 % |
111.28/111.42 c | 148779 | 9766 41748 126676 | 2147483647 148779 180 | 0.000 % |
111.38/111.57 c | 148901 | 9766 41748 126676 | 2147483647 148901 180 | 0.000 % |
111.58/111.74 c | 149034 | 9766 41748 126676 | 2147483647 149034 180 | 0.000 % |
111.78/111.96 c | 149180 | 9766 41748 126676 | 2147483647 149180 180 | 0.000 % |
111.99/112.17 c | 149341 | 9766 41748 126676 | 2147483647 149341 180 | 0.000 % |
112.28/112.40 c | 149519 | 9766 41748 126676 | 2147483647 149519 180 | 0.000 % |
112.48/112.65 c | 149712 | 9766 41748 126676 | 2147483647 149712 180 | 0.000 % |
112.78/112.91 c | 149924 | 9766 41748 126676 | 2147483647 149924 180 | 0.000 % |
113.09/113.23 c | 150158 | 9766 41748 126676 | 2147483647 150158 180 | 0.000 % |
113.38/113.55 c | 150415 | 9766 41748 126676 | 2147483647 150415 180 | 0.000 % |
113.78/113.91 c | 150696 | 9766 41748 126676 | 2147483647 150696 180 | 0.000 % |
114.08/114.27 c | 151005 | 9766 41748 126676 | 2147483647 151005 180 | 0.000 % |
114.48/114.70 c | 151345 | 9766 41748 126676 | 2147483647 151345 180 | 0.000 % |
114.98/115.16 c | 151719 | 9766 41748 126676 | 2147483647 151719 180 | 0.000 % |
115.48/115.64 c | 152129 | 9766 41748 126676 | 2147483647 152129 180 | 0.000 % |
116.08/116.20 c | 152578 | 9766 41748 126676 | 2147483647 152578 180 | 0.000 % |
116.58/116.78 c | 153072 | 9766 41748 126676 | 2147483647 153072 179 | 0.000 % |
117.27/117.47 c | 153614 | 9766 41748 126676 | 2147483647 153614 179 | 0.000 % |
118.07/118.24 c | 154211 | 9766 41748 126676 | 2147483647 154211 179 | 0.000 % |
118.87/119.01 c | 154866 | 9766 41748 126676 | 2147483647 154866 179 | 0.000 % |
119.58/119.77 c | 155587 | 9766 41748 126676 | 2147483647 155587 180 | 0.000 % |
120.58/120.72 c | 156380 | 9766 41748 126676 | 2147483647 156380 180 | 0.000 % |
121.47/121.68 c | 157251 | 9766 41748 126676 | 2147483647 157251 180 | 0.000 % |
122.67/122.81 c | 158209 | 9766 41748 126676 | 2147483647 158209 180 | 0.000 % |
123.77/123.98 c | 159263 | 9766 41748 126676 | 2147483647 159263 180 | 0.000 % |
125.07/125.27 c | 160421 | 9766 41748 126676 | 2147483647 160421 181 | 0.000 % |
126.57/126.74 c | 161694 | 9766 41748 126676 | 2147483647 161694 181 | 0.000 % |
128.27/128.42 c | 163096 | 9766 41748 126676 | 2147483647 163096 181 | 0.000 % |
130.07/130.24 c | 164637 | 9766 41748 126676 | 2147483647 164637 182 | 0.000 % |
132.07/132.24 c | 166331 | 9766 41748 126676 | 2147483647 166331 183 | 0.000 % |
132.17/132.34 c | 166431 | 9766 41748 126676 | 2147483647 166431 183 | 0.000 % |
132.37/132.51 c | 166542 | 9766 41748 126676 | 2147483647 166542 183 | 0.000 % |
132.57/132.70 c | 166663 | 9766 41748 126676 | 2147483647 166663 183 | 0.000 % |
132.77/132.92 c | 166796 | 9766 41748 126676 | 2147483647 166796 182 | 0.000 % |
132.97/133.13 c | 166942 | 9766 41748 126676 | 2147483647 166942 183 | 0.000 % |
133.17/133.33 c | 167106 | 9766 41748 126676 | 2147483647 167106 182 | 0.000 % |
133.37/133.57 c | 167282 | 9766 41748 126676 | 2147483647 167282 182 | 0.000 % |
133.67/133.85 c | 167475 | 9766 41748 126676 | 2147483647 167475 182 | 0.000 % |
133.97/134.13 c | 167687 | 9766 41748 126676 | 2147483647 167687 182 | 0.000 % |
134.26/134.44 c | 167921 | 9766 41748 126676 | 2147483647 167921 182 | 0.000 % |
134.56/134.78 c | 168177 | 9766 41748 126676 | 2147483647 168177 182 | 0.000 % |
134.96/135.17 c | 168458 | 9766 41748 126676 | 2147483647 168458 182 | 0.000 % |
135.46/135.60 c | 168767 | 9766 41748 126676 | 2147483647 168767 182 | 0.000 % |
135.86/136.07 c | 169107 | 9766 41748 126676 | 2147483647 169107 182 | 0.000 % |
136.36/136.50 c | 169479 | 9766 41748 126676 | 2147483647 169479 182 | 0.000 % |
136.86/137.06 c | 169888 | 9766 41748 126676 | 2147483647 169888 182 | 0.000 % |
137.46/137.61 c | 170337 | 9766 41748 126676 | 2147483647 170337 182 | 0.000 % |
138.06/138.27 c | 170830 | 9766 41748 126676 | 2147483647 170830 182 | 0.000 % |
138.77/138.97 c | 171372 | 9766 41748 126676 | 2147483647 171372 182 | 0.000 % |
139.57/139.72 c | 171972 | 9766 41748 126676 | 2147483647 171972 182 | 0.000 % |
140.36/140.56 c | 172629 | 9766 41748 126676 | 2147483647 172629 182 | 0.000 % |
141.26/141.49 c | 173349 | 9766 41748 126676 | 2147483647 173349 182 | 0.000 % |
142.26/142.47 c | 174145 | 9766 41748 126676 | 2147483647 174145 182 | 0.000 % |
143.36/143.58 c | 175016 | 9766 41748 126676 | 2147483647 175016 182 | 0.000 % |
144.66/144.83 c | 175974 | 9766 41748 126676 | 2147483647 175974 182 | 0.000 % |
145.96/146.16 c | 177028 | 9766 41748 126676 | 2147483647 177028 182 | 0.000 % |
147.45/147.62 c | 178188 | 9766 41748 126676 | 2147483647 178188 182 | 0.000 % |
149.06/149.25 c | 179461 | 9766 41748 126676 | 2147483647 179461 183 | 0.000 % |
150.86/151.05 c | 180861 | 9766 41748 126676 | 2147483647 180861 183 | 0.000 % |
152.76/152.99 c | 182401 | 9766 41748 126676 | 2147483647 182401 183 | 0.000 % |
154.96/155.15 c | 184096 | 9766 41748 126676 | 2147483647 184096 183 | 0.000 % |
157.26/157.40 c | 185962 | 9766 41748 126676 | 2147483647 185962 184 | 0.000 % |
157.36/157.56 c | 186063 | 9766 41748 126676 | 2147483647 186063 184 | 0.000 % |
157.56/157.75 c | 186174 | 9766 41748 126676 | 2147483647 186174 184 | 0.000 % |
157.76/157.96 c | 186295 | 9766 41748 126676 | 2147483647 186295 184 | 0.000 % |
157.96/158.19 c | 186429 | 9766 41748 126676 | 2147483647 186429 184 | 0.000 % |
158.16/158.40 c | 186578 | 9766 41748 126676 | 2147483647 186578 184 | 0.000 % |
158.45/158.67 c | 186739 | 9766 41748 126676 | 2147483647 186739 184 | 0.000 % |
158.75/158.96 c | 186915 | 9766 41748 126676 | 2147483647 186915 184 | 0.000 % |
159.05/159.28 c | 187108 | 9766 41748 126676 | 2147483647 187108 184 | 0.000 % |
159.36/159.55 c | 187321 | 9766 41748 126676 | 2147483647 187321 184 | 0.000 % |
159.75/159.91 c | 187554 | 9766 41748 126676 | 2147483647 187554 183 | 0.000 % |
160.15/160.32 c | 187810 | 9766 41748 126676 | 2147483647 187810 184 | 0.000 % |
160.55/160.75 c | 188091 | 9766 41748 126676 | 2147483647 188091 184 | 0.000 % |
161.05/161.21 c | 188400 | 9766 41748 126676 | 2147483647 188400 183 | 0.000 % |
161.55/161.72 c | 188741 | 9766 41748 126676 | 2147483647 188741 183 | 0.000 % |
162.05/162.25 c | 189113 | 9766 41748 126676 | 2147483647 189113 183 | 0.000 % |
162.55/162.78 c | 189524 | 9766 41748 126676 | 2147483647 189524 183 | 0.000 % |
163.15/163.38 c | 189974 | 9766 41748 126676 | 2147483647 189974 183 | 0.000 % |
163.95/164.11 c | 190467 | 9766 41748 126676 | 2147483647 190467 183 | 0.000 % |
164.64/164.83 c | 191009 | 9766 41748 126676 | 2147483647 191009 183 | 0.000 % |
165.45/165.66 c | 191605 | 9766 41748 126676 | 2147483647 191605 183 | 0.000 % |
166.35/166.54 c | 192261 | 9766 41748 126676 | 2147483647 192261 183 | 0.000 % |
167.34/167.51 c | 192981 | 9766 41748 126676 | 2147483647 192981 183 | 0.000 % |
168.34/168.57 c | 193773 | 9766 41748 126676 | 2147483647 193773 184 | 0.000 % |
169.55/169.76 c | 194645 | 9766 41748 126676 | 2147483647 194645 183 | 0.000 % |
170.84/171.01 c | 195603 | 9766 41748 126676 | 2147483647 195603 184 | 0.000 % |
172.24/172.47 c | 196657 | 9766 41748 126676 | 2147483647 196657 184 | 0.000 % |
173.74/173.95 c | 197816 | 9766 41748 126676 | 2147483647 197816 184 | 0.000 % |
175.43/175.67 c | 199089 | 9766 41748 126676 | 2147483647 199089 184 | 0.000 % |
177.44/177.63 c | 200491 | 9766 41748 126676 | 2147483647 200491 184 | 0.000 % |
179.63/179.82 c | 202031 | 9766 41748 126676 | 2147483647 202031 184 | 0.000 % |
182.03/182.29 c | 203725 | 9766 41748 126676 | 2147483647 203725 185 | 0.000 % |
184.54/184.76 c | 205588 | 9766 41748 126676 | 2147483647 205588 185 | 0.000 % |
187.34/187.56 c | 207638 | 9766 41748 126676 | 2147483647 207638 185 | 0.000 % |
187.54/187.70 c | 207739 | 9766 41748 126676 | 2147483647 207739 185 | 0.000 % |
187.63/187.86 c | 207849 | 9766 41748 126676 | 2147483647 207849 185 | 0.000 % |
187.94/188.11 c | 207970 | 9766 41748 126676 | 2147483647 207970 185 | 0.000 % |
188.13/188.31 c | 208105 | 9766 41748 126676 | 2147483647 208105 185 | 0.000 % |
188.33/188.56 c | 208253 | 9766 41748 126676 | 2147483647 208253 185 | 0.000 % |
188.63/188.83 c | 208415 | 9766 41748 126676 | 2147483647 208415 185 | 0.000 % |
188.94/189.14 c | 208592 | 9766 41748 126676 | 2147483647 208592 185 | 0.000 % |
189.23/189.45 c | 208785 | 9766 41748 126676 | 2147483647 208785 185 | 0.000 % |
189.63/189.81 c | 208997 | 9766 41748 126676 | 2147483647 208997 185 | 0.000 % |
189.93/190.19 c | 209230 | 9766 41748 126676 | 2147483647 209230 185 | 0.000 % |
190.33/190.58 c | 209486 | 9766 41748 126676 | 2147483647 209486 185 | 0.000 % |
190.83/191.05 c | 209769 | 9766 41748 126676 | 2147483647 209769 185 | 0.000 % |
191.34/191.55 c | 210078 | 9766 41748 126676 | 2147483647 210078 185 | 0.000 % |
191.93/192.11 c | 210417 | 9766 41748 126676 | 2147483647 210417 185 | 0.000 % |
192.53/192.71 c | 210790 | 9766 41748 126676 | 2147483647 210790 185 | 0.000 % |
193.13/193.34 c | 211199 | 9766 41748 126676 | 2147483647 211199 185 | 0.000 % |
193.83/194.03 c | 211649 | 9766 41748 126676 | 2147483647 211649 185 | 0.000 % |
194.53/194.77 c | 212143 | 9766 41748 126676 | 2147483647 212143 185 | 0.000 % |
195.33/195.59 c | 212685 | 9766 41748 126676 | 2147483647 212685 185 | 0.000 % |
196.24/196.46 c | 213284 | 9766 41748 126676 | 2147483647 213284 185 | 0.000 % |
197.33/197.52 c | 213939 | 9766 41748 126676 | 2147483647 213939 185 | 0.000 % |
198.33/198.59 c | 214662 | 9766 41748 126676 | 2147483647 214662 185 | 0.000 % |
199.43/199.67 c | 215454 | 9766 41748 126676 | 2147483647 215454 185 | 0.000 % |
200.62/200.88 c | 216326 | 9766 41748 126676 | 2147483647 216326 185 | 0.000 % |
202.02/202.22 c | 217285 | 9766 41748 126676 | 2147483647 217285 185 | 0.000 % |
203.43/203.67 c | 218338 | 9766 41748 126676 | 2147483647 218338 185 | 0.000 % |
205.12/205.32 c | 219498 | 9766 41748 126676 | 2147483647 219498 185 | 0.000 % |
206.83/207.10 c | 220773 | 9766 41748 126676 | 2147483647 220773 186 | 0.000 % |
209.02/209.21 c | 222173 | 9766 41748 126676 | 2147483647 222173 186 | 0.000 % |
211.12/211.37 c | 223715 | 9766 41748 126676 | 2147483647 223715 186 | 0.000 % |
213.62/213.86 c | 225409 | 9766 41748 126676 | 2147483647 225409 186 | 0.000 % |
216.31/216.59 c | 227273 | 9766 41748 126676 | 2147483647 227273 186 | 0.000 % |
219.32/219.59 c | 229322 | 9766 41748 126676 | 2147483647 229322 186 | 0.000 % |
222.52/222.73 c | 231575 | 9766 41748 126676 | 2147483647 231575 187 | 0.000 % |
222.72/222.96 c | 231675 | 9766 41748 126676 | 2147483647 231675 187 | 0.000 % |
222.92/223.18 c | 231787 | 9766 41748 126676 | 2147483647 231787 187 | 0.000 % |
223.22/223.42 c | 231908 | 9766 41748 126676 | 2147483647 231908 187 | 0.000 % |
223.42/223.67 c | 232041 | 9766 41748 126676 | 2147483647 232041 187 | 0.000 % |
223.72/223.98 c | 232188 | 9766 41748 126676 | 2147483647 232188 187 | 0.000 % |
224.02/224.27 c | 232348 | 9766 41748 126676 | 2147483647 232348 187 | 0.000 % |
224.32/224.57 c | 232525 | 9766 41748 126676 | 2147483647 232525 187 | 0.000 % |
224.72/224.92 c | 232719 | 9766 41748 126676 | 2147483647 232719 187 | 0.000 % |
225.12/225.31 c | 232933 | 9766 41748 126676 | 2147483647 232933 187 | 0.000 % |
225.52/225.71 c | 233166 | 9766 41748 126676 | 2147483647 233166 187 | 0.000 % |
225.91/226.18 c | 233422 | 9766 41748 126676 | 2147483647 233422 187 | 0.000 % |
226.51/226.70 c | 233704 | 9766 41748 126676 | 2147483647 233704 187 | 0.000 % |
227.01/227.23 c | 234013 | 9766 41748 126676 | 2147483647 234013 187 | 0.000 % |
227.61/227.84 c | 234352 | 9766 41748 126676 | 2147483647 234352 186 | 0.000 % |
228.21/228.47 c | 234724 | 9766 41748 126676 | 2147483647 234724 186 | 0.000 % |
228.92/229.11 c | 235134 | 9766 41748 126676 | 2147483647 235134 186 | 0.000 % |
229.62/229.83 c | 235583 | 9766 41748 126676 | 2147483647 235583 186 | 0.000 % |
230.51/230.76 c | 236076 | 9766 41748 126676 | 2147483647 236076 186 | 0.000 % |
231.41/231.65 c | 236618 | 9766 41748 126676 | 2147483647 236618 186 | 0.000 % |
232.41/232.66 c | 237216 | 9766 41748 126676 | 2147483647 237216 186 | 0.000 % |
233.51/233.71 c | 237871 | 9766 41748 126676 | 2147483647 237871 186 | 0.000 % |
234.51/234.72 c | 238591 | 9766 41748 126676 | 2147483647 238591 186 | 0.000 % |
235.91/236.12 c | 239384 | 9766 41748 126676 | 2147483647 239384 186 | 0.000 % |
237.41/237.61 c | 240256 | 9766 41748 126676 | 2147483647 240256 186 | 0.000 % |
238.80/239.07 c | 241215 | 9766 41748 126676 | 2147483647 241215 186 | 0.000 % |
240.21/240.48 c | 242268 | 9766 41748 126676 | 2147483647 242268 187 | 0.000 % |
242.10/242.34 c | 243426 | 9766 41748 126676 | 2147483647 243426 187 | 0.000 % |
244.02/244.20 c | 244700 | 9766 41748 126676 | 2147483647 244700 187 | 0.000 % |
246.21/246.48 c | 246100 | 9766 41748 126676 | 2147483647 246100 188 | 0.000 % |
248.60/248.81 c | 247643 | 9766 41748 126676 | 2147483647 247643 188 | 0.000 % |
251.30/251.57 c | 249339 | 9766 41748 126676 | 2147483647 249339 188 | 0.000 % |
254.10/254.33 c | 251202 | 9766 41748 126676 | 2147483647 251202 188 | 0.000 % |
257.40/257.66 c | 253251 | 9766 41748 126676 | 2147483647 253251 188 | 0.000 % |
261.09/261.32 c | 255504 | 9766 41748 126676 | 2147483647 255504 188 | 0.000 % |
265.09/265.32 c | 257982 | 9766 41748 126676 | 2147483647 257982 188 | 0.000 % |
265.29/265.54 c | 258084 | 9766 41748 126676 | 2147483647 258084 188 | 0.000 % |
265.59/265.82 c | 258195 | 9766 41748 126676 | 2147483647 258195 188 | 0.000 % |
265.79/266.07 c | 258317 | 9766 41748 126676 | 2147483647 258317 188 | 0.000 % |
266.09/266.34 c | 258450 | 9766 41748 126676 | 2147483647 258450 188 | 0.000 % |
266.39/266.64 c | 258598 | 9766 41748 126676 | 2147483647 258598 188 | 0.000 % |
266.79/267.01 c | 258761 | 9766 41748 126676 | 2147483647 258761 188 | 0.000 % |
267.09/267.31 c | 258937 | 9766 41748 126676 | 2147483647 258937 188 | 0.000 % |
267.39/267.65 c | 259130 | 9766 41748 126676 | 2147483647 259130 188 | 0.000 % |
267.79/268.05 c | 259343 | 9766 41748 126676 | 2147483647 259343 188 | 0.000 % |
268.19/268.48 c | 259576 | 9766 41748 126676 | 2147483647 259576 188 | 0.000 % |
268.79/269.00 c | 259832 | 9766 41748 126676 | 2147483647 259832 188 | 0.000 % |
269.19/269.49 c | 260114 | 9766 41748 126676 | 2147483647 260114 188 | 0.000 % |
269.78/270.03 c | 260424 | 9766 41748 126676 | 2147483647 260424 188 | 0.000 % |
270.40/270.65 c | 260763 | 9766 41748 126676 | 2147483647 260763 188 | 0.000 % |
270.99/271.29 c | 261137 | 9766 41748 126676 | 2147483647 261137 188 | 0.000 % |
271.79/272.02 c | 261546 | 9766 41748 126676 | 2147483647 261546 188 | 0.000 % |
272.59/272.84 c | 261995 | 9766 41748 126676 | 2147483647 261995 188 | 0.000 % |
273.49/273.76 c | 262488 | 9766 41748 126676 | 2147483647 262488 188 | 0.000 % |
274.49/274.74 c | 263030 | 9766 41748 126676 | 2147483647 263030 188 | 0.000 % |
275.58/275.85 c | 263628 | 9766 41748 126676 | 2147483647 263628 188 | 0.000 % |
276.78/277.10 c | 264285 | 9766 41748 126676 | 2147483647 264285 188 | 0.000 % |
278.18/278.42 c | 265005 | 9766 41748 126676 | 2147483647 265005 188 | 0.000 % |
279.58/279.85 c | 265797 | 9766 41748 126676 | 2147483647 265797 188 | 0.000 % |
281.09/281.39 c | 266672 | 9766 41748 126676 | 2147483647 266672 188 | 0.000 % |
282.68/282.95 c | 267632 | 9766 41748 126676 | 2147483647 267632 188 | 0.000 % |
284.48/284.71 c | 268686 | 9766 41748 126676 | 2147483647 268686 188 | 0.000 % |
286.38/286.64 c | 269847 | 9766 41748 126676 | 2147483647 269847 189 | 0.000 % |
288.49/288.75 c | 271121 | 9766 41748 126676 | 2147483647 271121 189 | 0.000 % |
290.88/291.12 c | 272523 | 9766 41748 126676 | 2147483647 272523 189 | 0.000 % |
293.67/293.94 c | 274063 | 9766 41748 126676 | 2147483647 274063 189 | 0.000 % |
296.48/296.75 c | 275759 | 9766 41748 126676 | 2147483647 275759 189 | 0.000 % |
299.99/300.22 c | 277622 | 9766 41748 126676 | 2147483647 277622 189 | 0.000 % |
303.66/303.98 c | 279676 | 9766 41748 126676 | 2147483647 279676 189 | 0.000 % |
307.56/307.87 c | 281929 | 9766 41748 126676 | 2147483647 281929 189 | 0.000 % |
311.85/312.17 c | 284407 | 9766 41748 126676 | 2147483647 284407 190 | 0.000 % |
316.75/317.03 c | 287132 | 9766 41748 126676 | 2147483647 287132 190 | 0.000 % |
316.95/317.26 c | 287233 | 9766 41748 126676 | 2147483647 287233 190 | 0.000 % |
317.25/317.52 c | 287343 | 9766 41748 126676 | 2147483647 287343 190 | 0.000 % |
317.45/317.80 c | 287466 | 9766 41748 126676 | 2147483647 287466 190 | 0.000 % |
317.85/318.11 c | 287599 | 9766 41748 126676 | 2147483647 287599 190 | 0.000 % |
318.15/318.44 c | 287745 | 9766 41748 126676 | 2147483647 287745 190 | 0.000 % |
318.55/318.80 c | 287908 | 9766 41748 126676 | 2147483647 287908 190 | 0.000 % |
318.85/319.19 c | 288084 | 9766 41748 126676 | 2147483647 288084 190 | 0.000 % |
319.35/319.64 c | 288278 | 9766 41748 126676 | 2147483647 288278 190 | 0.000 % |
319.85/320.13 c | 288490 | 9766 41748 126676 | 2147483647 288490 190 | 0.000 % |
320.35/320.63 c | 288726 | 9766 41748 126676 | 2147483647 288726 190 | 0.000 % |
320.85/321.15 c | 288984 | 9766 41748 126676 | 2147483647 288984 190 | 0.000 % |
321.46/321.78 c | 289266 | 9766 41748 126676 | 2147483647 289266 190 | 0.000 % |
322.06/322.38 c | 289577 | 9766 41748 126676 | 2147483647 289577 190 | 0.000 % |
322.76/323.09 c | 289917 | 9766 41748 126676 | 2147483647 289917 190 | 0.000 % |
323.45/323.79 c | 290289 | 9766 41748 126676 | 2147483647 290289 190 | 0.000 % |
324.35/324.65 c | 290700 | 9766 41748 126676 | 2147483647 290700 190 | 0.000 % |
325.35/325.65 c | 291151 | 9766 41748 126676 | 2147483647 291151 190 | 0.000 % |
326.35/326.64 c | 291644 | 9766 41748 126676 | 2147483647 291644 190 | 0.000 % |
327.45/327.71 c | 292187 | 9766 41748 126676 | 2147483647 292187 190 | 0.000 % |
328.55/328.87 c | 292783 | 9766 41748 126676 | 2147483647 292783 190 | 0.000 % |
329.84/330.15 c | 293438 | 9766 41748 126676 | 2147483647 293438 190 | 0.000 % |
331.05/331.37 c | 294159 | 9766 41748 126676 | 2147483647 294159 190 | 0.000 % |
332.55/332.88 c | 294951 | 9766 41748 126676 | 2147483647 294951 190 | 0.000 % |
334.34/334.61 c | 295823 | 9766 41748 126676 | 2147483647 295823 190 | 0.000 % |
336.04/336.36 c | 296781 | 9766 41748 126676 | 2147483647 296781 190 | 0.000 % |
337.95/338.28 c | 297834 | 9766 41748 126676 | 2147483647 297834 190 | 0.000 % |
340.14/340.44 c | 298993 | 9766 41748 126676 | 2147483647 298993 190 | 0.000 % |
342.54/342.83 c | 300266 | 9766 41748 126676 | 2147483647 300266 190 | 0.000 % |
345.15/345.46 c | 301666 | 9766 41748 126676 | 2147483647 301666 190 | 0.000 % |
347.93/348.28 c | 303208 | 9766 41748 126676 | 2147483647 303208 190 | 0.000 % |
351.03/351.34 c | 304904 | 9766 41748 126676 | 2147483647 304904 190 | 0.000 % |
354.53/354.88 c | 306768 | 9766 41748 126676 | 2147483647 306768 190 | 0.000 % |
358.32/358.69 c | 308817 | 9766 41748 126676 | 2147483647 308817 190 | 0.000 % |
362.33/362.70 c | 311071 | 9766 41748 126676 | 2147483647 311071 190 | 0.000 % |
366.92/367.26 c | 313549 | 9766 41748 126676 | 2147483647 313549 190 | 0.000 % |
372.12/372.43 c | 316274 | 9766 41748 126676 | 2147483647 316274 190 | 0.000 % |
378.12/378.44 c | 319271 | 9766 41748 126676 | 2147483647 319271 190 | 0.000 % |
378.32/378.65 c | 319372 | 9766 41748 126676 | 2147483647 319372 190 | 0.000 % |
378.62/378.93 c | 319482 | 9766 41748 126676 | 2147483647 319482 190 | 0.000 % |
378.92/379.25 c | 319603 | 9766 41748 126676 | 2147483647 319603 190 | 0.000 % |
379.22/379.58 c | 319736 | 9766 41748 126676 | 2147483647 319736 190 | 0.000 % |
379.62/379.93 c | 319882 | 9766 41748 126676 | 2147483647 319882 190 | 0.000 % |
380.02/380.34 c | 320043 | 9766 41748 126676 | 2147483647 320043 190 | 0.000 % |
380.52/380.85 c | 320220 | 9766 41748 126676 | 2147483647 320220 190 | 0.000 % |
381.02/381.31 c | 320415 | 9766 41748 126676 | 2147483647 320415 190 | 0.000 % |
381.52/381.83 c | 320628 | 9766 41748 126676 | 2147483647 320628 190 | 0.000 % |
382.02/382.36 c | 320861 | 9766 41748 126676 | 2147483647 320861 190 | 0.000 % |
382.62/382.95 c | 321117 | 9766 41748 126676 | 2147483647 321117 190 | 0.000 % |
383.21/383.59 c | 321399 | 9766 41748 126676 | 2147483647 321399 190 | 0.000 % |
383.92/384.24 c | 321709 | 9766 41748 126676 | 2147483647 321709 190 | 0.000 % |
384.63/384.98 c | 322048 | 9766 41748 126676 | 2147483647 322048 190 | 0.000 % |
385.62/385.90 c | 322420 | 9766 41748 126676 | 2147483647 322420 190 | 0.000 % |
386.52/386.85 c | 322830 | 9766 41748 126676 | 2147483647 322830 190 | 0.000 % |
387.52/387.80 c | 323279 | 9766 41748 126676 | 2147483647 323279 190 | 0.000 % |
388.42/388.74 c | 323772 | 9766 41748 126676 | 2147483647 323772 190 | 0.000 % |
389.62/389.90 c | 324314 | 9766 41748 126676 | 2147483647 324314 190 | 0.000 % |
390.81/391.12 c | 324910 | 9766 41748 126676 | 2147483647 324910 190 | 0.000 % |
392.21/392.51 c | 325565 | 9766 41748 126676 | 2147483647 325565 190 | 0.000 % |
393.90/394.22 c | 326285 | 9766 41748 126676 | 2147483647 326285 190 | 0.000 % |
395.50/395.85 c | 327079 | 9766 41748 126676 | 2147483647 327079 190 | 0.000 % |
397.41/397.71 c | 327952 | 9766 41748 126676 | 2147483647 327952 190 | 0.000 % |
399.30/399.65 c | 328911 | 9766 41748 126676 | 2147483647 328911 190 | 0.000 % |
401.50/401.80 c | 329964 | 9766 41748 126676 | 2147483647 329964 190 | 0.000 % |
403.80/404.19 c | 331122 | 9766 41748 126676 | 2147483647 331122 190 | 0.000 % |
406.30/406.61 c | 332398 | 9766 41748 126676 | 2147483647 332398 190 | 0.000 % |
409.20/409.51 c | 333798 | 9766 41748 126676 | 2147483647 333798 190 | 0.000 % |
412.39/412.73 c | 335338 | 9766 41748 126676 | 2147483647 335338 190 | 0.000 % |
415.90/416.22 c | 337032 | 9766 41748 126676 | 2147483647 337032 191 | 0.000 % |
419.99/420.32 c | 338896 | 9766 41748 126676 | 2147483647 338896 191 | 0.000 % |
424.09/424.46 c | 340945 | 9766 41748 126676 | 2147483647 340945 191 | 0.000 % |
428.60/428.95 c | 343198 | 9766 41748 126676 | 2147483647 343198 191 | 0.000 % |
433.70/434.00 c | 345676 | 9766 41748 126676 | 2147483647 345676 191 | 0.000 % |
438.98/439.34 c | 348403 | 9766 41748 126676 | 2147483647 348403 191 | 0.000 % |
444.98/445.33 c | 351402 | 9766 41748 126676 | 2147483647 351402 191 | 0.000 % |
451.79/452.13 c | 354701 | 9766 41748 126676 | 2147483647 354701 192 | 0.000 % |
451.98/452.36 c | 354801 | 9766 41748 126676 | 2147483647 354801 192 | 0.000 % |
452.28/452.68 c | 354911 | 9766 41748 126676 | 2147483647 354911 192 | 0.000 % |
452.68/453.04 c | 355032 | 9766 41748 126676 | 2147483647 355032 192 | 0.000 % |
453.08/453.49 c | 355168 | 9766 41748 126676 | 2147483647 355168 192 | 0.000 % |
453.58/453.91 c | 355314 | 9766 41748 126676 | 2147483647 355314 192 | 0.000 % |
453.98/454.35 c | 355476 | 9766 41748 126676 | 2147483647 355476 192 | 0.000 % |
454.48/454.82 c | 355652 | 9766 41748 126676 | 2147483647 355652 192 | 0.000 % |
454.98/455.31 c | 355846 | 9766 41748 126676 | 2147483647 355846 191 | 0.000 % |
455.48/455.85 c | 356060 | 9766 41748 126676 | 2147483647 356060 192 | 0.000 % |
456.08/456.50 c | 356294 | 9766 41748 126676 | 2147483647 356294 191 | 0.000 % |
456.88/457.21 c | 356550 | 9766 41748 126676 | 2147483647 356550 191 | 0.000 % |
457.57/457.99 c | 356831 | 9766 41748 126676 | 2147483647 356831 191 | 0.000 % |
458.38/458.70 c | 357141 | 9766 41748 126676 | 2147483647 357141 191 | 0.000 % |
459.07/459.49 c | 357481 | 9766 41748 126676 | 2147483647 357481 192 | 0.000 % |
460.08/460.43 c | 357854 | 9766 41748 126676 | 2147483647 357854 191 | 0.000 % |
461.08/461.40 c | 358265 | 9766 41748 126676 | 2147483647 358265 191 | 0.000 % |
462.08/462.48 c | 358714 | 9766 41748 126676 | 2147483647 358714 191 | 0.000 % |
463.27/463.69 c | 359208 | 9766 41748 126676 | 2147483647 359208 191 | 0.000 % |
464.57/465.00 c | 359750 | 9766 41748 126676 | 2147483647 359750 191 | 0.000 % |
465.97/466.31 c | 360346 | 9766 41748 126676 | 2147483647 360346 191 | 0.000 % |
467.47/467.82 c | 361001 | 9766 41748 126676 | 2147483647 361001 191 | 0.000 % |
469.07/469.49 c | 361722 | 9766 41748 126676 | 2147483647 361722 191 | 0.000 % |
470.88/471.26 c | 362515 | 9766 41748 126676 | 2147483647 362515 191 | 0.000 % |
473.17/473.55 c | 363386 | 9766 41748 126676 | 2147483647 363386 191 | 0.000 % |
475.37/475.77 c | 364344 | 9766 41748 126676 | 2147483647 364344 191 | 0.000 % |
477.76/478.13 c | 365397 | 9766 41748 126676 | 2147483647 365397 191 | 0.000 % |
480.47/480.89 c | 366557 | 9766 41748 126676 | 2147483647 366557 191 | 0.000 % |
483.36/483.71 c | 367834 | 9766 41748 126676 | 2147483647 367834 191 | 0.000 % |
486.46/486.90 c | 369235 | 9766 41748 126676 | 2147483647 369235 192 | 0.000 % |
489.76/490.15 c | 370775 | 9766 41748 126676 | 2147483647 370775 192 | 0.000 % |
493.47/493.87 c | 372469 | 9766 41748 126676 | 2147483647 372469 192 | 0.000 % |
497.56/497.94 c | 374332 | 9766 41748 126676 | 2147483647 374332 192 | 0.000 % |
502.15/502.57 c | 376389 | 9766 41748 126676 | 2147483647 376389 192 | 0.000 % |
506.85/507.21 c | 378643 | 9766 41748 126676 | 2147483647 378643 192 | 0.000 % |
512.26/512.69 c | 381121 | 9766 41748 126676 | 2147483647 381121 192 | 0.000 % |
518.35/518.73 c | 383847 | 9766 41748 126676 | 2147483647 383847 192 | 0.000 % |
525.05/525.46 c | 386844 | 9766 41748 126676 | 2147483647 386844 192 | 0.000 % |
532.44/532.81 c | 390140 | 9766 41748 126676 | 2147483647 390140 193 | 0.000 % |
540.13/540.54 c | 393765 | 9766 41748 126676 | 2147483647 393765 193 | 0.000 % |
540.43/540.81 c | 393872 | 9766 41748 126676 | 2147483647 393872 193 | 0.000 % |
540.73/541.15 c | 393982 | 9766 41748 126676 | 2147483647 393982 193 | 0.000 % |
541.13/541.54 c | 394103 | 9766 41748 126676 | 2147483647 394103 193 | 0.000 % |
541.53/541.93 c | 394236 | 9766 41748 126676 | 2147483647 394236 193 | 0.000 % |
541.93/542.36 c | 394383 | 9766 41748 126676 | 2147483647 394383 193 | 0.000 % |
542.43/542.83 c | 394543 | 9766 41748 126676 | 2147483647 394543 193 | 0.000 % |
543.03/543.45 c | 394721 | 9766 41748 126676 | 2147483647 394721 193 | 0.000 % |
543.63/544.00 c | 394914 | 9766 41748 126676 | 2147483647 394914 193 | 0.000 % |
544.23/544.60 c | 395128 | 9766 41748 126676 | 2147483647 395128 193 | 0.000 % |
544.83/545.24 c | 395361 | 9766 41748 126676 | 2147483647 395361 193 | 0.000 % |
545.53/545.95 c | 395617 | 9766 41748 126676 | 2147483647 395617 193 | 0.000 % |
546.33/546.70 c | 395898 | 9766 41748 126676 | 2147483647 395898 193 | 0.000 % |
547.13/547.51 c | 396208 | 9766 41748 126676 | 2147483647 396208 193 | 0.000 % |
548.04/548.40 c | 396547 | 9766 41748 126676 | 2147483647 396547 193 | 0.000 % |
549.13/549.50 c | 396920 | 9766 41748 126676 | 2147483647 396920 193 | 0.000 % |
550.23/550.62 c | 397330 | 9766 41748 126676 | 2147483647 397330 193 | 0.000 % |
551.33/551.75 c | 397779 | 9766 41748 126676 | 2147483647 397779 193 | 0.000 % |
552.63/553.04 c | 398275 | 9766 41748 126676 | 2147483647 398275 193 | 0.000 % |
554.03/554.47 c | 398818 | 9766 41748 126676 | 2147483647 398818 193 | 0.000 % |
555.53/555.94 c | 399415 | 9766 41748 126676 | 2147483647 399415 193 | 0.000 % |
557.12/557.55 c | 400070 | 9766 41748 126676 | 2147483647 400070 193 | 0.000 % |
559.03/559.41 c | 400792 | 9766 41748 126676 | 2147483647 400792 193 | 0.000 % |
560.83/561.29 c | 401586 | 9766 41748 126676 | 2147483647 401586 193 | 0.000 % |
563.03/563.46 c | 402458 | 9766 41748 126676 | 2147483647 402458 193 | 0.000 % |
565.33/565.77 c | 403416 | 9766 41748 126676 | 2147483647 403416 193 | 0.000 % |
567.92/568.31 c | 404469 | 9766 41748 126676 | 2147483647 404469 193 | 0.000 % |
570.52/570.97 c | 405627 | 9766 41748 126676 | 2147483647 405627 193 | 0.000 % |
573.51/573.91 c | 406901 | 9766 41748 126676 | 2147483647 406901 193 | 0.000 % |
576.91/577.30 c | 408302 | 9766 41748 126676 | 2147483647 408302 193 | 0.000 % |
580.51/580.92 c | 409842 | 9766 41748 126676 | 2147483647 409842 193 | 0.000 % |
584.71/585.12 c | 411537 | 9766 41748 126676 | 2147483647 411537 193 | 0.000 % |
589.31/589.76 c | 413402 | 9766 41748 126676 | 2147483647 413402 193 | 0.000 % |
594.41/594.82 c | 415452 | 9766 41748 126676 | 2147483647 415452 193 | 0.000 % |
599.80/600.22 c | 417705 | 9766 41748 126676 | 2147483647 417705 193 | 0.000 % |
605.31/605.73 c | 420183 | 9766 41748 126676 | 2147483647 420183 193 | 0.000 % |
611.80/612.25 c | 422908 | 9766 41748 126676 | 2147483647 422908 193 | 0.000 % |
619.08/619.57 c | 425905 | 9766 41748 126676 | 2147483647 425905 194 | 0.000 % |
626.97/627.49 c | 429201 | 9766 41748 126676 | 2147483647 429201 194 | 0.000 % |
635.37/635.85 c | 432826 | 9766 41748 126676 | 2147483647 432826 194 | 0.000 % |
644.76/645.23 c | 436813 | 9766 41748 126676 | 2147483647 436813 195 | 0.000 % |
645.07/645.59 c | 436914 | 9766 41748 126676 | 2147483647 436914 195 | 0.000 % |
645.47/645.95 c | 437024 | 9766 41748 126676 | 2147483647 437024 195 | 0.000 % |
645.97/646.41 c | 437145 | 9766 41748 126676 | 2147483647 437145 195 | 0.000 % |
646.37/646.86 c | 437278 | 9766 41748 126676 | 2147483647 437278 195 | 0.000 % |
646.87/647.32 c | 437424 | 9766 41748 126676 | 2147483647 437424 195 | 0.000 % |
647.37/647.88 c | 437584 | 9766 41748 126676 | 2147483647 437584 195 | 0.000 % |
648.06/648.50 c | 437760 | 9766 41748 126676 | 2147483647 437760 195 | 0.000 % |
648.66/649.10 c | 437954 | 9766 41748 126676 | 2147483647 437954 195 | 0.000 % |
649.26/649.79 c | 438166 | 9766 41748 126676 | 2147483647 438166 195 | 0.000 % |
649.96/650.46 c | 438400 | 9766 41748 126676 | 2147483647 438400 195 | 0.000 % |
650.76/651.29 c | 438656 | 9766 41748 126676 | 2147483647 438656 195 | 0.000 % |
651.56/652.09 c | 438937 | 9766 41748 126676 | 2147483647 438937 194 | 0.000 % |
652.56/653.09 c | 439247 | 9766 41748 126676 | 2147483647 439247 195 | 0.000 % |
653.66/654.10 c | 439586 | 9766 41748 126676 | 2147483647 439586 195 | 0.000 % |
654.76/655.21 c | 439958 | 9766 41748 126676 | 2147483647 439958 194 | 0.000 % |
655.86/656.33 c | 440367 | 9766 41748 126676 | 2147483647 440367 194 | 0.000 % |
657.26/657.71 c | 440818 | 9766 41748 126676 | 2147483647 440818 194 | 0.000 % |
658.66/659.18 c | 441311 | 9766 41748 126676 | 2147483647 441311 194 | 0.000 % |
660.26/660.73 c | 441853 | 9766 41748 126676 | 2147483647 441853 194 | 0.000 % |
661.85/662.38 c | 442450 | 9766 41748 126676 | 2147483647 442450 194 | 0.000 % |
663.64/664.12 c | 443105 | 9766 41748 126676 | 2147483647 443105 194 | 0.000 % |
665.44/665.90 c | 443826 | 9766 41748 126676 | 2147483647 443826 194 | 0.000 % |
667.54/668.04 c | 444619 | 9766 41748 126676 | 2147483647 444619 194 | 0.000 % |
670.04/670.53 c | 445490 | 9766 41748 126676 | 2147483647 445490 194 | 0.000 % |
672.44/672.91 c | 446449 | 9766 41748 126676 | 2147483647 446449 194 | 0.000 % |
675.53/676.01 c | 447502 | 9766 41748 126676 | 2147483647 447502 194 | 0.000 % |
678.84/679.39 c | 448660 | 9766 41748 126676 | 2147483647 448660 194 | 0.000 % |
682.23/682.78 c | 449933 | 9766 41748 126676 | 2147483647 449933 194 | 0.000 % |
685.93/686.45 c | 451333 | 9766 41748 126676 | 2147483647 451333 194 | 0.000 % |
690.03/690.51 c | 452873 | 9766 41748 126676 | 2147483647 452873 195 | 0.000 % |
694.13/694.68 c | 454567 | 9766 41748 126676 | 2147483647 454567 195 | 0.000 % |
699.32/699.81 c | 456430 | 9766 41748 126676 | 2147483647 456430 195 | 0.000 % |
704.83/705.37 c | 458479 | 9766 41748 126676 | 2147483647 458479 195 | 0.000 % |
710.52/711.02 c | 460732 | 9766 41748 126676 | 2147483647 460732 195 | 0.000 % |
716.91/717.41 c | 463210 | 9766 41748 126676 | 2147483647 463210 195 | 0.000 % |
723.51/724.05 c | 465935 | 9766 41748 126676 | 2147483647 465935 195 | 0.000 % |
731.11/731.62 c | 468932 | 9766 41748 126676 | 2147483647 468932 195 | 0.000 % |
739.61/740.10 c | 472228 | 9766 41748 126676 | 2147483647 472228 195 | 0.000 % |
749.01/749.53 c | 475853 | 9766 41748 126676 | 2147483647 475853 196 | 0.000 % |
759.61/760.16 c | 479843 | 9766 41748 126676 | 2147483647 479843 196 | 0.000 % |
770.20/770.75 c | 484228 | 9766 41748 126676 | 2147483647 484228 196 | 0.000 % |
770.50/771.07 c | 484330 | 9766 41748 126676 | 2147483647 484330 196 | 0.000 % |
770.99/771.56 c | 484443 | 9766 41748 126676 | 2147483647 484443 196 | 0.000 % |
771.49/772.02 c | 484564 | 9766 41748 126676 | 2147483647 484564 196 | 0.000 % |
771.99/772.57 c | 484697 | 9766 41748 126676 | 2147483647 484697 196 | 0.000 % |
772.49/773.06 c | 484843 | 9766 41748 126676 | 2147483647 484843 196 | 0.000 % |
773.09/773.60 c | 485003 | 9766 41748 126676 | 2147483647 485003 196 | 0.000 % |
773.69/774.28 c | 485180 | 9766 41748 126676 | 2147483647 485180 196 | 0.000 % |
774.39/774.97 c | 485373 | 9766 41748 126676 | 2147483647 485373 196 | 0.000 % |
775.19/775.78 c | 485585 | 9766 41748 126676 | 2147483647 485585 196 | 0.000 % |
776.10/776.63 c | 485818 | 9766 41748 126676 | 2147483647 485818 196 | 0.000 % |
776.99/777.53 c | 486074 | 9766 41748 126676 | 2147483647 486074 196 | 0.000 % |
777.99/778.57 c | 486355 | 9766 41748 126676 | 2147483647 486355 196 | 0.000 % |
779.09/779.69 c | 486665 | 9766 41748 126676 | 2147483647 486665 196 | 0.000 % |
780.19/780.80 c | 487004 | 9766 41748 126676 | 2147483647 487004 196 | 0.000 % |
781.49/782.08 c | 487377 | 9766 41748 126676 | 2147483647 487377 196 | 0.000 % |
782.79/783.35 c | 487786 | 9766 41748 126676 | 2147483647 487786 196 | 0.000 % |
784.19/784.79 c | 488237 | 9766 41748 126676 | 2147483647 488237 196 | 0.000 % |
785.78/786.34 c | 488733 | 9766 41748 126676 | 2147483647 488733 196 | 0.000 % |
787.48/788.09 c | 489277 | 9766 41748 126676 | 2147483647 489277 196 | 0.000 % |
789.39/789.92 c | 489873 | 9766 41748 126676 | 2147483647 489873 196 | 0.000 % |
791.39/791.91 c | 490529 | 9766 41748 126676 | 2147483647 490529 196 | 0.000 % |
793.69/794.22 c | 491249 | 9766 41748 126676 | 2147483647 491249 196 | 0.000 % |
795.98/796.58 c | 492042 | 9766 41748 126676 | 2147483647 492042 196 | 0.000 % |
798.58/799.16 c | 492915 | 9766 41748 126676 | 2147483647 492915 196 | 0.000 % |
801.58/802.13 c | 493873 | 9766 41748 126676 | 2147483647 493873 196 | 0.000 % |
804.47/805.09 c | 494927 | 9766 41748 126676 | 2147483647 494927 196 | 0.000 % |
807.77/808.37 c | 496086 | 9766 41748 126676 | 2147483647 496086 196 | 0.000 % |
811.57/812.12 c | 497359 | 9766 41748 126676 | 2147483647 497359 196 | 0.000 % |
815.57/816.10 c | 498759 | 9766 41748 126676 | 2147483647 498759 196 | 0.000 % |
820.07/820.64 c | 500299 | 9766 41748 126676 | 2147483647 500299 196 | 0.000 % |
824.87/825.47 c | 501993 | 9766 41748 126676 | 2147483647 501993 196 | 0.000 % |
830.37/830.96 c | 503858 | 9766 41748 126676 | 2147483647 503858 196 | 0.000 % |
835.97/836.57 c | 505907 | 9766 41748 126676 | 2147483647 505907 196 | 0.000 % |
842.36/842.92 c | 508161 | 9766 41748 126676 | 2147483647 508161 196 | 0.000 % |
849.16/849.76 c | 510639 | 9766 41748 126676 | 2147483647 510639 196 | 0.000 % |
857.05/857.65 c | 513364 | 9766 41748 126676 | 2147483647 513364 196 | 0.000 % |
865.65/866.22 c | 516361 | 9766 41748 126676 | 2147483647 516361 196 | 0.000 % |
874.65/875.26 c | 519658 | 9766 41748 126676 | 2147483647 519658 196 | 0.000 % |
885.14/885.71 c | 523283 | 9766 41748 126676 | 2147483647 523283 196 | 0.000 % |
896.54/897.14 c | 527271 | 9766 41748 126676 | 2147483647 527271 196 | 0.000 % |
909.23/909.84 c | 531656 | 9766 41748 126676 | 2147483647 531656 197 | 0.000 % |
922.63/923.24 c | 536481 | 9766 41748 126676 | 2147483647 536481 197 | 0.000 % |
922.93/923.60 c | 536584 | 9766 41748 126676 | 2147483647 536584 197 | 0.000 % |
923.53/924.15 c | 536694 | 9766 41748 126676 | 2147483647 536694 197 | 0.000 % |
924.03/924.67 c | 536815 | 9766 41748 126676 | 2147483647 536815 197 | 0.000 % |
924.53/925.16 c | 536949 | 9766 41748 126676 | 2147483647 536949 197 | 0.000 % |
925.13/925.77 c | 537095 | 9766 41748 126676 | 2147483647 537095 197 | 0.000 % |
925.83/926.46 c | 537258 | 9766 41748 126676 | 2147483647 537258 197 | 0.000 % |
926.53/927.17 c | 537434 | 9766 41748 126676 | 2147483647 537434 197 | 0.000 % |
927.32/927.97 c | 537628 | 9766 41748 126676 | 2147483647 537628 197 | 0.000 % |
928.12/928.74 c | 537840 | 9766 41748 126676 | 2147483647 537840 197 | 0.000 % |
929.02/929.65 c | 538074 | 9766 41748 126676 | 2147483647 538074 197 | 0.000 % |
930.03/930.64 c | 538330 | 9766 41748 126676 | 2147483647 538330 197 | 0.000 % |
931.13/931.72 c | 538612 | 9766 41748 126676 | 2147483647 538612 197 | 0.000 % |
932.23/932.83 c | 538921 | 9766 41748 126676 | 2147483647 538921 197 | 0.000 % |
933.42/934.08 c | 539261 | 9766 41748 126676 | 2147483647 539261 196 | 0.000 % |
934.82/935.41 c | 539635 | 9766 41748 126676 | 2147483647 539635 196 | 0.000 % |
936.32/936.91 c | 540044 | 9766 41748 126676 | 2147483647 540044 196 | 0.000 % |
937.92/938.51 c | 540493 | 9766 41748 126676 | 2147483647 540493 196 | 0.000 % |
939.62/940.24 c | 540986 | 9766 41748 126676 | 2147483647 540986 196 | 0.000 % |
941.22/941.89 c | 541528 | 9766 41748 126676 | 2147483647 541528 196 | 0.000 % |
943.41/944.00 c | 542124 | 9766 41748 126676 | 2147483647 542124 196 | 0.000 % |
945.32/946.00 c | 542782 | 9766 41748 126676 | 2147483647 542782 196 | 0.000 % |
947.62/948.26 c | 543502 | 9766 41748 126676 | 2147483647 543502 196 | 0.000 % |
950.52/951.12 c | 544295 | 9766 41748 126676 | 2147483647 544295 196 | 0.000 % |
953.12/953.78 c | 545167 | 9766 41748 126676 | 2147483647 545167 196 | 0.000 % |
956.21/956.86 c | 546125 | 9766 41748 126676 | 2147483647 546125 196 | 0.000 % |
959.72/960.35 c | 547178 | 9766 41748 126676 | 2147483647 547178 196 | 0.000 % |
963.41/964.03 c | 548337 | 9766 41748 126676 | 2147483647 548337 196 | 0.000 % |
967.51/968.11 c | 549612 | 9766 41748 126676 | 2147483647 549612 196 | 0.000 % |
971.71/972.38 c | 551014 | 9766 41748 126676 | 2147483647 551014 196 | 0.000 % |
976.80/977.41 c | 552554 | 9766 41748 126676 | 2147483647 552554 197 | 0.000 % |
982.20/982.83 c | 554249 | 9766 41748 126676 | 2147483647 554249 197 | 0.000 % |
988.31/988.94 c | 556112 | 9766 41748 126676 | 2147483647 556112 197 | 0.000 % |
994.70/995.36 c | 558161 | 9766 41748 126676 | 2147483647 558161 197 | 0.000 % |
1001.90/1002.53 c | 560414 | 9766 41748 126676 | 2147483647 560414 197 | 0.000 % |
1008.99/1009.70 c | 562894 | 9766 41748 126676 | 2147483647 562894 197 | 0.000 % |
1017.59/1018.24 c | 565620 | 9766 41748 126676 | 2147483647 565620 197 | 0.000 % |
1026.48/1027.12 c | 568617 | 9766 41748 126676 | 2147483647 568617 197 | 0.000 % |
1036.48/1037.11 c | 571914 | 9766 41748 126676 | 2147483647 571914 197 | 0.000 % |
1047.38/1048.01 c | 575539 | 9766 41748 126676 | 2147483647 575539 197 | 0.000 % |
1060.27/1060.93 c | 579526 | 9766 41748 126676 | 2147483647 579526 198 | 0.000 % |
1073.86/1074.50 c | 583912 | 9766 41748 126676 | 2147483647 583912 198 | 0.000 % |
1088.86/1089.53 c | 588737 | 9766 41748 126676 | 2147483647 588737 198 | 0.000 % |
1105.05/1105.77 c | 594047 | 9766 41748 126676 | 2147483647 594047 198 | 0.000 % |
1105.55/1106.30 c | 594152 | 9766 41748 126676 | 2147483647 594152 198 | 0.000 % |
1106.15/1106.84 c | 594263 | 9766 41748 126676 | 2147483647 594263 198 | 0.000 % |
1106.74/1107.41 c | 594384 | 9766 41748 126676 | 2147483647 594384 198 | 0.000 % |
1107.34/1108.00 c | 594517 | 9766 41748 126676 | 2147483647 594517 198 | 0.000 % |
1108.05/1108.75 c | 594663 | 9766 41748 126676 | 2147483647 594663 198 | 0.000 % |
1108.74/1109.41 c | 594823 | 9766 41748 126676 | 2147483647 594823 198 | 0.000 % |
1109.34/1110.07 c | 595000 | 9766 41748 126676 | 2147483647 595000 198 | 0.000 % |
1110.25/1110.99 c | 595194 | 9766 41748 126676 | 2147483647 595194 198 | 0.000 % |
1111.25/1111.99 c | 595406 | 9766 41748 126676 | 2147483647 595406 198 | 0.000 % |
1112.24/1112.96 c | 595642 | 9766 41748 126676 | 2147483647 595642 198 | 0.000 % |
1113.24/1113.98 c | 595898 | 9766 41748 126676 | 2147483647 595898 198 | 0.000 % |
1114.54/1115.21 c | 596179 | 9766 41748 126676 | 2147483647 596179 198 | 0.000 % |
1115.64/1116.40 c | 596492 | 9766 41748 126676 | 2147483647 596492 198 | 0.000 % |
1117.04/1117.79 c | 596831 | 9766 41748 126676 | 2147483647 596831 198 | 0.000 % |
1118.63/1119.30 c | 597205 | 9766 41748 126676 | 2147483647 597205 198 | 0.000 % |
1120.14/1120.86 c | 597614 | 9766 41748 126676 | 2147483647 597614 198 | 0.000 % |
1121.83/1122.55 c | 598066 | 9766 41748 126676 | 2147483647 598066 198 | 0.000 % |
1123.83/1124.51 c | 598559 | 9766 41748 126676 | 2147483647 598559 198 | 0.000 % |
1126.03/1126.74 c | 599101 | 9766 41748 126676 | 2147483647 599101 198 | 0.000 % |
1128.23/1128.99 c | 599698 | 9766 41748 126676 | 2147483647 599698 198 | 0.000 % |
1130.63/1131.33 c | 600353 | 9766 41748 126676 | 600002 600353 198 | 0.000 % |
1133.43/1134.15 c | 601074 | 9766 41748 126676 | 600002 523327 198 | 0.000 % |
1136.13/1136.86 c | 601866 | 9766 41748 126676 | 600002 524119 198 | 0.000 % |
1139.13/1139.83 c | 602738 | 9766 41748 126676 | 600002 524991 198 | 0.000 % |
1142.03/1142.75 c | 603696 | 9766 41748 126676 | 600002 525949 198 | 0.000 % |
1145.43/1146.17 c | 604749 | 9766 41748 126676 | 600002 527002 198 | 0.000 % |
1149.03/1149.72 c | 605907 | 9766 41748 126676 | 600002 528160 198 | 0.000 % |
1153.02/1153.76 c | 607185 | 9766 41748 126676 | 600002 529438 198 | 0.000 % |
1157.12/1157.89 c | 608585 | 9766 41748 126676 | 600002 530838 198 | 0.000 % |
1161.92/1162.69 c | 610131 | 9766 41748 126676 | 2147483647 532384 198 | 0.000 % |
1167.12/1167.84 c | 611828 | 9766 41748 126676 | 2147483647 534081 198 | 0.000 % |
1173.02/1173.76 c | 613692 | 9766 41748 126676 | 2147483647 535945 198 | 0.000 % |
1179.41/1180.13 c | 615742 | 9766 41748 126676 | 2147483647 537995 198 | 0.000 % |
1186.61/1187.30 c | 617996 | 9766 41748 126676 | 2147483647 540249 198 | 0.000 % |
1194.01/1194.78 c | 620475 | 9766 41748 126676 | 2147483647 542728 198 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832671-1242786140/watcher-1832671-1242786140 -o /tmp/evaluation-result-1832671-1242786140/solver-1832671-1242786140 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832671-1242786140.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 2466
/proc/meminfo: memFree=1903216/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0
/proc/2466/stat : 2466 (SatELiteGTI) R 2464 2466 1781 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306646621 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210823735795 0 0 4100 65536 0 0 0 17 0 0 0
/proc/2466/statm: 1339 237 197 169 0 50 0
[startup+0.089871 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 2466
/proc/meminfo: memFree=1903216/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306646621 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101871 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 2466
/proc/meminfo: memFree=1903216/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306646621 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301906 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 2466
/proc/meminfo: memFree=1903216/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+0.701951 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 2466
/proc/meminfo: memFree=1903216/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+1.50105 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1897056/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=7044 CPUtime=1.3
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 1557 0 0 0 130 0 0 0 25 0 1 0 306646638 7213056 1543 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 1 0 0
/proc/2472/statm: 1761 1543 77 171 0 1588 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12400
[startup+3.10125 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1894688/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=10080 CPUtime=2.9
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 2308 0 0 0 289 1 0 0 25 0 1 0 306646638 10321920 2294 1992294400 134512640 135215339 4294956240 18446744073709551615 134543258 0 0 4096 3 0 0 0 17 1 0 0
/proc/2472/statm: 2520 2294 77 171 0 2347 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15436
[startup+6.30262 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1888992/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=15496 CPUtime=6.08
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 3651 0 0 0 605 3 0 0 25 0 1 0 306646638 15867904 3637 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 3874 3637 77 171 0 3701 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 20852
[startup+12.7014 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1878696/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=25244 CPUtime=12.49
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 6094 0 0 0 1243 6 0 0 25 0 1 0 306646638 25849856 6080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 6311 6080 77 171 0 6138 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30600
[startup+25.5019 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1862056/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=41296 CPUtime=25.27
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 10098 0 0 0 2517 10 0 0 25 0 1 0 306646638 42287104 10084 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 10324 10084 77 171 0 10151 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 46652
[startup+51.101 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1836520/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=66892 CPUtime=50.86
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 16506 0 0 0 5069 17 0 0 25 0 1 0 306646638 68497408 16492 1992294400 134512640 135215339 4294956240 18446744073709551615 134539375 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 16723 16492 77 171 0 16550 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 72248
[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1794600/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=108396 CPUtime=102.02
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 26815 0 0 0 10173 29 0 0 25 0 1 0 306646638 110997504 26801 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 27099 26801 77 171 0 26926 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 113752
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1754920/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=147996 CPUtime=161.98
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 36758 0 0 0 16158 40 0 0 25 0 1 0 306646638 151547904 36744 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 36999 36744 77 171 0 36826 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 153352
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1719848/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=182860 CPUtime=221.95
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 45434 0 0 0 22144 51 0 0 25 0 1 0 306646638 187248640 45420 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 45715 45421 77 171 0 45542 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 188216
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1690728/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=211908 CPUtime=281.92
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 52720 0 0 0 28132 60 0 0 25 0 1 0 306646638 216993792 52706 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 52977 52706 77 171 0 52804 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 217264
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1662952/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=239232 CPUtime=341.87
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 59571 0 0 0 34119 68 0 0 25 0 1 0 306646638 244973568 59557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 59808 59557 77 171 0 59635 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 244588
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1638824/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=263864 CPUtime=401.83
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 65617 0 0 0 40108 75 0 0 25 0 1 0 306646638 270196736 65603 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 65966 65603 77 171 0 65793 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 269220
[startup+462.302 s]
################
# More data... #
################
/proc/2472/statm: 82764 82466 77 171 0 82591 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 336412
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1548264/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=353100 CPUtime=641.7
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 88043 0 0 0 64068 102 0 0 25 0 1 0 306646638 361574400 88029 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 88275 88029 77 171 0 88102 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 358456
[startup+702.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1530600/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=370792 CPUtime=701.66
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 92490 0 0 0 70058 108 0 0 25 0 1 0 306646638 379691008 92476 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 92698 92476 77 171 0 92525 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 376148
[startup+762.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1509544/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=392428 CPUtime=761.63
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 97687 0 0 0 76050 113 0 0 25 0 1 0 306646638 401846272 97673 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 98107 97673 77 171 0 97934 0
Current children cumulated CPU time (s) 761.8
Current children cumulated vsize (KiB) 397784
[startup+822.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1493224/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=408664 CPUtime=821.6
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 101772 0 0 0 82041 119 0 0 25 0 1 0 306646638 418471936 101758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 102166 101758 77 171 0 101993 0
Current children cumulated CPU time (s) 821.77
Current children cumulated vsize (KiB) 414020
[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1474984/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=426616 CPUtime=881.58
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 106277 0 0 0 88035 123 0 0 25 0 1 0 306646638 436854784 106263 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 106654 106263 77 171 0 106481 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 431972
[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1458600/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=442984 CPUtime=941.55
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 110367 0 0 0 94027 128 0 0 25 0 1 0 306646638 453615616 110353 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 110746 110353 77 171 0 110573 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 448340
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1442408/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=458828 CPUtime=1001.52
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 114368 0 0 0 100020 132 0 0 25 0 1 0 306646638 469839872 114354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 114707 114354 77 171 0 114534 0
Current children cumulated CPU time (s) 1001.69
Current children cumulated vsize (KiB) 464184
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1425064/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=476120 CPUtime=1061.5
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 118700 0 0 0 106011 139 0 0 25 0 1 0 306646638 487546880 118686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 119030 118686 77 171 0 118857 0
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (KiB) 481476
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1408488/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=492360 CPUtime=1121.46
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 122777 0 0 0 112001 145 0 0 25 0 1 0 306646638 504176640 122763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 123090 122763 77 171 0 122917 0
Current children cumulated CPU time (s) 1121.63
Current children cumulated vsize (KiB) 497716
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1406568/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=494208 CPUtime=1181.44
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 123239 0 0 0 117998 146 0 0 25 0 1 0 306646638 506068992 123225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 123552 123225 77 171 0 123379 0
Current children cumulated CPU time (s) 1181.61
Current children cumulated vsize (KiB) 499564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 2472
/proc/meminfo: memFree=1406504/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=494208 CPUtime=1199.83
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 123239 0 0 0 119837 146 0 0 25 0 1 0 306646638 506068992 123225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 123552 123225 77 171 0 123379 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 499564
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 2472
/proc/meminfo: memFree=1406504/2055920 swapFree=4179796/4192956
[pid=2466] ppid=2464 vsize=5356 CPUtime=0.17
/proc/2466/stat : 2466 (SatELiteGTI) S 2464 2466 1781 0 -1 4194304 336 1607 0 0 0 0 16 1 15 0 1 0 306646621 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2466/statm: 1339 239 197 169 0 50 0
[pid=2472] ppid=2466 vsize=494208 CPUtime=1199.83
/proc/2472/stat : 2472 (minisat_static) R 2466 2466 1781 0 -1 4194304 123239 0 0 0 119837 146 0 0 25 0 1 0 306646638 506068992 123225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2472/statm: 123552 123225 77 171 0 123379 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 499564
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2466 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=160975
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.176972
# while last known CPU time is 1200
#
# 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
CPU user time (s): 1198.53
CPU system time (s): 1.47
CPU usage (%): 99.9406
Max. virtual memory (cumulated for all children) (KiB): 499564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.160975
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1943
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= 11
involuntary context switches= 10
runsolver used 1.11083 second user time and 3.35549 second system time
The end
Begin job on node33 at 2009-05-20 04:22:20
IDJOB=1832671
IDBENCH=70299
IDSOLVER=671
FILE ID=node33/1832671-1242786140
PBS_JOBID= 9322332
Free space on /tmp= 66308 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832671-1242786140/watcher-1832671-1242786140 -o /tmp/evaluation-result-1832671-1242786140/solver-1832671-1242786140 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832671-1242786140.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 17df6005fb09e0a5c9a1d88e4e3ac572
RANDOM SEED=74045685
node33.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.212
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.212
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: 1903696 kB
Buffers: 25916 kB
Cached: 78812 kB
SwapCached: 7336 kB
Active: 31496 kB
Inactive: 82228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1903696 kB
SwapTotal: 4192956 kB
SwapFree: 4179796 kB
Dirty: 2336 kB
Writeback: 0 kB
Mapped: 14040 kB
Slab: 24600 kB
Committed_AS: 1044216 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66304 MiB
End job on node33 at 2009-05-20 04:42:23