0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 50400 151200 | 15119 0 0 nan | 0.000 % |
0.00/0.17 c | 0 | 50017 151971 | -- 0 -- -- | -- | -383/771
0.00/0.17 c ==============================================================================
0.00/0.17 c Result : #vars: 11671 #clauses: 50017 #literals: 151971
0.00/0.17 c CPU time: 0.156976 s
0.00/0.17 c ==============================================================================
0.00/0.22 c This is MiniSat 2.0 beta
0.00/0.22 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.22 c ============================[ Problem Statistics ]=============================
0.00/0.22 c | |
0.00/0.22 c | Number of variables: 11671 |
0.00/0.22 c | Number of clauses: 50017 |
0.00/0.25 c | Parsing time: 0.03 s |
0.00/0.26 c ============================[ Search Statistics ]==============================
0.00/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.26 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.26 c ===============================================================================
0.00/0.26 c | 0 | 11671 50017 151971 | 16672 0 nan | 0.000 % |
0.00/0.30 c | 100 | 11671 50017 151971 | 16672 100 163 | 0.000 % |
0.21/0.33 c | 201 | 11671 50017 151971 | 16672 201 160 | 0.000 % |
0.21/0.37 c | 302 | 11671 50017 151971 | 16672 302 147 | 0.000 % |
0.21/0.41 c | 412 | 11671 50017 151971 | 16672 412 148 | 0.000 % |
0.21/0.45 c | 512 | 11671 50017 151971 | 16672 512 152 | 0.000 % |
0.21/0.49 c | 622 | 11671 50017 151971 | 16672 622 154 | 0.000 % |
0.21/0.53 c | 743 | 11671 50017 151971 | 16672 743 154 | 0.000 % |
0.21/0.57 c | 843 | 11671 50017 151971 | 16672 843 153 | 0.000 % |
0.21/0.60 c | 953 | 11671 50017 151971 | 16672 953 151 | 0.000 % |
0.21/0.65 c | 1075 | 11671 50017 151971 | 16672 1075 150 | 0.000 % |
0.21/0.70 c | 1208 | 11671 50017 151971 | 16672 1208 150 | 0.000 % |
0.21/0.75 c | 1309 | 11671 50017 151971 | 16672 1309 151 | 0.000 % |
0.21/0.79 c | 1419 | 11671 50017 151971 | 16672 1419 153 | 0.000 % |
0.21/0.83 c | 1540 | 11671 50017 151971 | 16672 1540 152 | 0.000 % |
0.21/0.88 c | 1675 | 11671 50017 151971 | 16672 1675 151 | 0.000 % |
0.21/0.94 c | 1822 | 11671 50017 151971 | 16672 1822 149 | 0.000 % |
0.21/0.98 c | 1928 | 11671 50017 151971 | 16672 1928 152 | 0.000 % |
0.98/1.02 c | 2038 | 11671 50017 151971 | 16672 2038 152 | 0.000 % |
0.98/1.07 c | 2159 | 11671 50017 151971 | 16672 2159 154 | 0.000 % |
1.09/1.13 c | 2292 | 11671 50017 151971 | 16672 2292 158 | 0.000 % |
1.09/1.18 c | 2440 | 11671 50017 151971 | 16672 2440 157 | 0.000 % |
1.18/1.24 c | 2602 | 11671 50017 151971 | 16672 2602 156 | 0.000 % |
1.18/1.28 c | 2702 | 11671 50017 151971 | 16672 2702 155 | 0.000 % |
1.28/1.32 c | 2812 | 11671 50017 151971 | 16672 2812 157 | 0.000 % |
1.28/1.37 c | 2934 | 11671 50017 151971 | 16672 2934 158 | 0.000 % |
1.38/1.42 c | 3067 | 11671 50017 151971 | 16672 3067 157 | 0.000 % |
1.38/1.47 c | 3215 | 11671 50017 151971 | 16672 3215 158 | 0.000 % |
1.48/1.53 c | 3375 | 11671 50017 151971 | 16672 3375 157 | 0.000 % |
1.48/1.60 c | 3552 | 11671 50017 151971 | 16672 3552 159 | 0.000 % |
1.58/1.64 c | 3652 | 11671 50017 151971 | 16672 3652 159 | 0.000 % |
1.58/1.68 c | 3762 | 11671 50017 151971 | 16672 3762 158 | 0.000 % |
1.68/1.73 c | 3884 | 11671 50017 151971 | 16672 3884 158 | 0.000 % |
1.68/1.79 c | 4018 | 11671 50017 151971 | 16672 4018 157 | 0.000 % |
1.78/1.84 c | 4167 | 11671 50017 151971 | 16672 4167 157 | 0.000 % |
1.88/1.91 c | 4327 | 11671 50017 151971 | 16672 4327 159 | 0.000 % |
1.88/1.98 c | 4503 | 11671 50017 151971 | 16672 4503 162 | 0.000 % |
1.98/2.06 c | 4696 | 11671 50017 151971 | 16672 4696 163 | 0.000 % |
1.98/2.10 c | 4799 | 11671 50017 151971 | 16672 4799 163 | 0.000 % |
2.08/2.15 c | 4909 | 11671 50017 151971 | 16672 4909 164 | 0.000 % |
2.08/2.20 c | 5030 | 11671 50017 151971 | 16672 5030 163 | 0.000 % |
2.18/2.25 c | 5165 | 11671 50017 151971 | 16672 5165 163 | 0.000 % |
2.28/2.31 c | 5312 | 11671 50017 151971 | 16672 5312 163 | 0.000 % |
2.28/2.37 c | 5472 | 11671 50017 151971 | 16672 5472 164 | 0.000 % |
2.37/2.44 c | 5648 | 11671 50017 151971 | 16672 5648 162 | 0.000 % |
2.47/2.51 c | 5842 | 11671 50017 151971 | 16672 5842 162 | 0.000 % |
2.47/2.59 c | 6054 | 11671 50017 151971 | 16672 6054 162 | 0.000 % |
2.57/2.64 c | 6155 | 11671 50017 151971 | 16672 6155 162 | 0.000 % |
2.57/2.68 c | 6265 | 11671 50017 151971 | 16672 6265 161 | 0.000 % |
2.67/2.74 c | 6387 | 11671 50017 151971 | 16672 6387 162 | 0.000 % |
2.67/2.80 c | 6521 | 11671 50017 151971 | 16672 6521 162 | 0.000 % |
2.77/2.86 c | 6669 | 11671 50017 151971 | 16672 6669 163 | 0.000 % |
2.87/2.93 c | 6830 | 11671 50017 151971 | 16672 6830 163 | 0.000 % |
2.97/3.01 c | 7007 | 11671 50017 151971 | 16672 7007 163 | 0.000 % |
2.97/3.09 c | 7201 | 11671 50017 151971 | 16672 7201 163 | 0.000 % |
3.07/3.17 c | 7413 | 11671 50017 151971 | 16672 7413 164 | 0.000 % |
3.17/3.28 c | 7646 | 11671 50017 151971 | 16672 7646 164 | 0.000 % |
3.27/3.32 c | 7746 | 11671 50017 151971 | 16672 7746 164 | 0.000 % |
3.27/3.36 c | 7856 | 11671 50017 151971 | 16672 7856 164 | 0.000 % |
3.37/3.42 c | 7977 | 11671 50017 151971 | 16672 7977 163 | 0.000 % |
3.37/3.48 c | 8110 | 11671 50017 151971 | 16672 8110 164 | 0.000 % |
3.47/3.54 c | 8258 | 11671 50017 151971 | 16672 8258 164 | 0.000 % |
3.57/3.60 c | 8418 | 11671 50017 151971 | 16672 8418 163 | 0.000 % |
3.57/3.68 c | 8594 | 11671 50017 151971 | 16672 8594 163 | 0.000 % |
3.67/3.76 c | 8790 | 11671 50017 151971 | 16672 8790 164 | 0.000 % |
3.77/3.86 c | 9004 | 11671 50017 151971 | 16672 9004 164 | 0.000 % |
3.87/3.95 c | 9237 | 11671 50017 151971 | 16672 9237 164 | 0.000 % |
3.97/4.07 c | 9495 | 11671 50017 151971 | 16672 9495 164 | 0.000 % |
4.07/4.11 c | 9595 | 11671 50017 151971 | 16672 9595 164 | 0.000 % |
4.07/4.16 c | 9705 | 11671 50017 151971 | 16672 9705 164 | 0.000 % |
4.17/4.20 c | 9828 | 11671 50017 151971 | 16672 9828 164 | 0.000 % |
4.17/4.25 c | 9961 | 11671 50017 151971 | 16672 9961 163 | 0.000 % |
4.27/4.33 c | 10108 | 11671 50017 151971 | 2147483647 10108 163 | 0.000 % |
4.27/4.40 c | 10269 | 11671 50017 151971 | 2147483647 10269 164 | 0.000 % |
4.37/4.48 c | 10445 | 11671 50017 151971 | 2147483647 10445 164 | 0.000 % |
4.47/4.56 c | 10638 | 11671 50017 151971 | 2147483647 10638 164 | 0.000 % |
4.57/4.65 c | 10850 | 11671 50017 151971 | 2147483647 10850 165 | 0.000 % |
4.66/4.74 c | 11084 | 11671 50017 151971 | 2147483647 11084 165 | 0.000 % |
4.76/4.85 c | 11340 | 11671 50017 151971 | 2147483647 11340 165 | 0.000 % |
4.87/4.96 c | 11622 | 11671 50017 151971 | 2147483647 11622 165 | 0.000 % |
4.97/5.01 c | 11722 | 11671 50017 151971 | 2147483647 11722 165 | 0.000 % |
4.97/5.06 c | 11833 | 11671 50017 151971 | 2147483647 11833 165 | 0.000 % |
5.07/5.11 c | 11955 | 11671 50017 151971 | 2147483647 11955 165 | 0.000 % |
5.07/5.18 c | 12089 | 11671 50017 151971 | 2147483647 12089 165 | 0.000 % |
5.17/5.24 c | 12235 | 11671 50017 151971 | 2147483647 12235 165 | 0.000 % |
5.27/5.32 c | 12395 | 11671 50017 151971 | 2147483647 12395 166 | 0.000 % |
5.38/5.40 c | 12571 | 11671 50017 151971 | 2147483647 12571 166 | 0.000 % |
5.38/5.48 c | 12766 | 11671 50017 151971 | 2147483647 12766 166 | 0.000 % |
5.47/5.58 c | 12979 | 11671 50017 151971 | 2147483647 12979 167 | 0.000 % |
5.57/5.69 c | 13212 | 11671 50017 151971 | 2147483647 13212 166 | 0.000 % |
5.77/5.81 c | 13469 | 11671 50017 151971 | 2147483647 13469 167 | 0.000 % |
5.87/5.93 c | 13751 | 11671 50017 151971 | 2147483647 13751 167 | 0.000 % |
5.97/6.06 c | 14062 | 11671 50017 151971 | 2147483647 14062 168 | 0.000 % |
6.07/6.12 c | 14163 | 11671 50017 151971 | 2147483647 14163 167 | 0.000 % |
6.07/6.17 c | 14273 | 11671 50017 151971 | 2147483647 14273 167 | 0.000 % |
6.17/6.23 c | 14395 | 11671 50017 151971 | 2147483647 14395 167 | 0.000 % |
6.27/6.30 c | 14528 | 11671 50017 151971 | 2147483647 14528 167 | 0.000 % |
6.27/6.37 c | 14674 | 11671 50017 151971 | 2147483647 14674 167 | 0.000 % |
6.37/6.44 c | 14834 | 11671 50017 151971 | 2147483647 14834 167 | 0.000 % |
6.47/6.53 c | 15010 | 11671 50017 151971 | 2147483647 15010 168 | 0.000 % |
6.57/6.62 c | 15204 | 11671 50017 151971 | 2147483647 15204 168 | 0.000 % |
6.67/6.72 c | 15416 | 11671 50017 151971 | 2147483647 15416 168 | 0.000 % |
6.77/6.82 c | 15650 | 11671 50017 151971 | 2147483647 15650 168 | 0.000 % |
6.86/6.95 c | 15907 | 11671 50017 151971 | 2147483647 15907 168 | 0.000 % |
6.96/7.08 c | 16190 | 11671 50017 151971 | 2147483647 16190 168 | 0.000 % |
7.17/7.22 c | 16500 | 11671 50017 151971 | 2147483647 16500 168 | 0.000 % |
7.27/7.38 c | 16839 | 11671 50017 151971 | 2147483647 16839 167 | 0.000 % |
7.37/7.43 c | 16939 | 11671 50017 151971 | 2147483647 16939 167 | 0.000 % |
7.37/7.49 c | 17050 | 11671 50017 151971 | 2147483647 17050 167 | 0.000 % |
7.47/7.55 c | 17171 | 11671 50017 151971 | 2147483647 17171 167 | 0.000 % |
7.57/7.62 c | 17305 | 11671 50017 151971 | 2147483647 17305 167 | 0.000 % |
7.57/7.70 c | 17451 | 11671 50017 151971 | 2147483647 17451 168 | 0.000 % |
7.67/7.78 c | 17611 | 11671 50017 151971 | 2147483647 17611 167 | 0.000 % |
7.77/7.87 c | 17787 | 11671 50017 151971 | 2147483647 17787 167 | 0.000 % |
7.87/7.98 c | 17980 | 11671 50017 151971 | 2147483647 17980 168 | 0.000 % |
7.97/8.08 c | 18196 | 11671 50017 151971 | 2147483647 18196 168 | 0.000 % |
8.17/8.21 c | 18429 | 11671 50017 151971 | 2147483647 18429 168 | 0.000 % |
8.27/8.34 c | 18686 | 11671 50017 151971 | 2147483647 18686 168 | 0.000 % |
8.37/8.48 c | 18968 | 11671 50017 151971 | 2147483647 18968 169 | 0.000 % |
8.57/8.64 c | 19277 | 11671 50017 151971 | 2147483647 19277 170 | 0.000 % |
8.77/8.81 c | 19616 | 11671 50017 151971 | 2147483647 19616 170 | 0.000 % |
8.87/8.99 c | 19990 | 11671 50017 151971 | 2147483647 19990 170 | 0.000 % |
8.97/9.04 c | 20090 | 11671 50017 151971 | 2147483647 20090 169 | 0.000 % |
9.07/9.10 c | 20202 | 11671 50017 151971 | 2147483647 20202 169 | 0.000 % |
9.07/9.16 c | 20323 | 11671 50017 151971 | 2147483647 20323 169 | 0.000 % |
9.17/9.23 c | 20457 | 11671 50017 151971 | 2147483647 20457 169 | 0.000 % |
9.27/9.31 c | 20604 | 11671 50017 151971 | 2147483647 20604 169 | 0.000 % |
9.36/9.40 c | 20764 | 11671 50017 151971 | 2147483647 20764 169 | 0.000 % |
9.36/9.49 c | 20940 | 11671 50017 151971 | 2147483647 20940 169 | 0.000 % |
9.46/9.59 c | 21133 | 11671 50017 151971 | 2147483647 21133 169 | 0.000 % |
9.66/9.70 c | 21346 | 11671 50017 151971 | 2147483647 21346 169 | 0.000 % |
9.77/9.83 c | 21581 | 11671 50017 151971 | 2147483647 21581 169 | 0.000 % |
9.87/9.96 c | 21838 | 11671 50017 151971 | 2147483647 21838 169 | 0.000 % |
10.06/10.11 c | 22121 | 11671 50017 151971 | 2147483647 22121 169 | 0.000 % |
10.16/10.25 c | 22430 | 11671 50017 151971 | 2147483647 22430 169 | 0.000 % |
10.36/10.43 c | 22769 | 11671 50017 151971 | 2147483647 22769 169 | 0.000 % |
10.56/10.63 c | 23141 | 11671 50017 151971 | 2147483647 23141 170 | 0.000 % |
10.77/10.83 c | 23553 | 11671 50017 151971 | 2147483647 23553 170 | 0.000 % |
10.77/10.90 c | 23655 | 11671 50017 151971 | 2147483647 23655 170 | 0.000 % |
10.87/10.96 c | 23766 | 11671 50017 151971 | 2147483647 23766 170 | 0.000 % |
10.97/11.04 c | 23887 | 11671 50017 151971 | 2147483647 23887 170 | 0.000 % |
11.06/11.11 c | 24022 | 11671 50017 151971 | 2147483647 24022 170 | 0.000 % |
11.06/11.19 c | 24170 | 11671 50017 151971 | 2147483647 24170 170 | 0.000 % |
11.16/11.28 c | 24330 | 11671 50017 151971 | 2147483647 24330 170 | 0.000 % |
11.26/11.37 c | 24507 | 11671 50017 151971 | 2147483647 24507 170 | 0.000 % |
11.36/11.47 c | 24700 | 11671 50017 151971 | 2147483647 24700 170 | 0.000 % |
11.46/11.58 c | 24913 | 11671 50017 151971 | 2147483647 24913 170 | 0.000 % |
11.66/11.70 c | 25147 | 11671 50017 151971 | 2147483647 25147 170 | 0.000 % |
11.76/11.82 c | 25404 | 11671 50017 151971 | 2147483647 25404 170 | 0.000 % |
11.86/11.98 c | 25687 | 11671 50017 151971 | 2147483647 25687 171 | 0.000 % |
12.06/12.16 c | 25996 | 11671 50017 151971 | 2147483647 25996 171 | 0.000 % |
12.25/12.34 c | 26336 | 11671 50017 151971 | 2147483647 26336 171 | 0.000 % |
12.45/12.54 c | 26708 | 11671 50017 151971 | 2147483647 26708 172 | 0.000 % |
12.65/12.77 c | 27117 | 11671 50017 151971 | 2147483647 27117 172 | 0.000 % |
12.95/13.04 c | 27567 | 11671 50017 151971 | 2147483647 27567 173 | 0.000 % |
13.06/13.11 c | 27668 | 11671 50017 151971 | 2147483647 27668 173 | 0.000 % |
13.06/13.18 c | 27778 | 11671 50017 151971 | 2147483647 27778 173 | 0.000 % |
13.16/13.26 c | 27900 | 11671 50017 151971 | 2147483647 27900 173 | 0.000 % |
13.25/13.34 c | 28034 | 11671 50017 151971 | 2147483647 28034 173 | 0.000 % |
13.35/13.43 c | 28180 | 11671 50017 151971 | 2147483647 28180 173 | 0.000 % |
13.45/13.52 c | 28340 | 11671 50017 151971 | 2147483647 28340 173 | 0.000 % |
13.55/13.61 c | 28517 | 11671 50017 151971 | 2147483647 28517 173 | 0.000 % |
13.65/13.73 c | 28712 | 11671 50017 151971 | 2147483647 28712 173 | 0.000 % |
13.75/13.85 c | 28925 | 11671 50017 151971 | 2147483647 28925 173 | 0.000 % |
13.85/13.99 c | 29159 | 11671 50017 151971 | 2147483647 29159 173 | 0.000 % |
14.05/14.14 c | 29416 | 11671 50017 151971 | 2147483647 29416 173 | 0.000 % |
14.25/14.30 c | 29698 | 11671 50017 151971 | 2147483647 29698 173 | 0.000 % |
14.35/14.48 c | 30009 | 11671 50017 151971 | 2147483647 30009 173 | 0.000 % |
14.55/14.66 c | 30348 | 11671 50017 151971 | 2147483647 30348 174 | 0.000 % |
14.75/14.86 c | 30720 | 11671 50017 151971 | 2147483647 30720 174 | 0.000 % |
15.05/15.10 c | 31130 | 11671 50017 151971 | 2147483647 31130 174 | 0.000 % |
15.26/15.36 c | 31580 | 11671 50017 151971 | 2147483647 31580 175 | 0.000 % |
15.55/15.65 c | 32074 | 11671 50017 151971 | 2147483647 32074 176 | 0.000 % |
15.65/15.73 c | 32174 | 11671 50017 151971 | 2147483647 32174 176 | 0.000 % |
15.65/15.80 c | 32286 | 11671 50017 151971 | 2147483647 32286 176 | 0.000 % |
15.75/15.87 c | 32407 | 11671 50017 151971 | 2147483647 32407 176 | 0.000 % |
15.85/15.95 c | 32541 | 11671 50017 151971 | 2147483647 32541 176 | 0.000 % |
15.95/16.05 c | 32687 | 11671 50017 151971 | 2147483647 32687 176 | 0.000 % |
16.05/16.14 c | 32848 | 11671 50017 151971 | 2147483647 32848 176 | 0.000 % |
16.15/16.24 c | 33024 | 11671 50017 151971 | 2147483647 33024 176 | 0.000 % |
16.25/16.36 c | 33217 | 11671 50017 151971 | 2147483647 33217 176 | 0.000 % |
16.35/16.48 c | 33429 | 11671 50017 151971 | 2147483647 33429 176 | 0.000 % |
16.55/16.62 c | 33663 | 11671 50017 151971 | 2147483647 33663 176 | 0.000 % |
16.65/16.77 c | 33919 | 11671 50017 151971 | 2147483647 33919 176 | 0.000 % |
16.85/16.93 c | 34201 | 11671 50017 151971 | 2147483647 34201 176 | 0.000 % |
17.05/17.11 c | 34510 | 11671 50017 151971 | 2147483647 34510 176 | 0.000 % |
17.25/17.30 c | 34849 | 11671 50017 151971 | 2147483647 34849 177 | 0.000 % |
17.45/17.52 c | 35221 | 11671 50017 151971 | 2147483647 35221 177 | 0.000 % |
17.65/17.77 c | 35631 | 11671 50017 151971 | 2147483647 35631 177 | 0.000 % |
17.95/18.04 c | 36080 | 11671 50017 151971 | 2147483647 36080 177 | 0.000 % |
18.25/18.32 c | 36574 | 11671 50017 151971 | 2147483647 36574 177 | 0.000 % |
18.55/18.64 c | 37116 | 11671 50017 151971 | 2147483647 37116 177 | 0.000 % |
18.65/18.71 c | 37216 | 11671 50017 151971 | 2147483647 37216 177 | 0.000 % |
18.65/18.78 c | 37327 | 11671 50017 151971 | 2147483647 37327 177 | 0.000 % |
18.75/18.86 c | 37448 | 11671 50017 151971 | 2147483647 37448 177 | 0.000 % |
18.85/18.96 c | 37581 | 11671 50017 151971 | 2147483647 37581 177 | 0.000 % |
18.95/19.06 c | 37729 | 11671 50017 151971 | 2147483647 37729 177 | 0.000 % |
19.05/19.17 c | 37889 | 11671 50017 151971 | 2147483647 37889 177 | 0.000 % |
19.15/19.28 c | 38065 | 11671 50017 151971 | 2147483647 38065 177 | 0.000 % |
19.35/19.41 c | 38258 | 11671 50017 151971 | 2147483647 38258 177 | 0.000 % |
19.45/19.54 c | 38471 | 11671 50017 151971 | 2147483647 38471 177 | 0.000 % |
19.55/19.68 c | 38704 | 11671 50017 151971 | 2147483647 38704 176 | 0.000 % |
19.75/19.84 c | 38962 | 11671 50017 151971 | 2147483647 38962 176 | 0.000 % |
19.94/20.00 c | 39244 | 11671 50017 151971 | 2147483647 39244 176 | 0.000 % |
20.05/20.18 c | 39553 | 11671 50017 151971 | 2147483647 39553 176 | 0.000 % |
20.35/20.40 c | 39892 | 11671 50017 151971 | 2147483647 39892 177 | 0.000 % |
20.55/20.64 c | 40264 | 11671 50017 151971 | 2147483647 40264 177 | 0.000 % |
20.75/20.88 c | 40675 | 11671 50017 151971 | 2147483647 40675 177 | 0.000 % |
21.04/21.16 c | 41125 | 11671 50017 151971 | 2147483647 41125 177 | 0.000 % |
21.34/21.46 c | 41620 | 11671 50017 151971 | 2147483647 41620 178 | 0.000 % |
21.74/21.81 c | 42164 | 11671 50017 151971 | 2147483647 42164 178 | 0.000 % |
22.04/22.16 c | 42762 | 11671 50017 151971 | 2147483647 42762 178 | 0.000 % |
22.14/22.24 c | 42862 | 11671 50017 151971 | 2147483647 42862 178 | 0.000 % |
22.24/22.31 c | 42973 | 11671 50017 151971 | 2147483647 42973 178 | 0.000 % |
22.24/22.40 c | 43096 | 11671 50017 151971 | 2147483647 43096 178 | 0.000 % |
22.35/22.48 c | 43229 | 11671 50017 151971 | 2147483647 43229 178 | 0.000 % |
22.45/22.58 c | 43375 | 11671 50017 151971 | 2147483647 43375 178 | 0.000 % |
22.55/22.69 c | 43535 | 11671 50017 151971 | 2147483647 43535 178 | 0.000 % |
22.75/22.81 c | 43711 | 11671 50017 151971 | 2147483647 43711 178 | 0.000 % |
22.85/22.94 c | 43907 | 11671 50017 151971 | 2147483647 43907 178 | 0.000 % |
22.95/23.09 c | 44120 | 11671 50017 151971 | 2147483647 44120 178 | 0.000 % |
23.15/23.24 c | 44355 | 11671 50017 151971 | 2147483647 44355 177 | 0.000 % |
23.35/23.40 c | 44614 | 11671 50017 151971 | 2147483647 44614 177 | 0.000 % |
23.45/23.59 c | 44895 | 11671 50017 151971 | 2147483647 44895 177 | 0.000 % |
23.65/23.79 c | 45204 | 11671 50017 151971 | 2147483647 45204 177 | 0.000 % |
23.95/24.00 c | 45543 | 11671 50017 151971 | 2147483647 45543 177 | 0.000 % |
24.15/24.25 c | 45916 | 11671 50017 151971 | 2147483647 45916 177 | 0.000 % |
24.44/24.53 c | 46326 | 11671 50017 151971 | 2147483647 46326 177 | 0.000 % |
24.74/24.82 c | 46776 | 11671 50017 151971 | 2147483647 46776 178 | 0.000 % |
25.04/25.15 c | 47271 | 11671 50017 151971 | 2147483647 47271 178 | 0.000 % |
25.44/25.52 c | 47815 | 11671 50017 151971 | 2147483647 47815 178 | 0.000 % |
25.84/25.91 c | 48413 | 11671 50017 151971 | 2147483647 48413 178 | 0.000 % |
26.25/26.34 c | 49070 | 11671 50017 151971 | 2147483647 49070 179 | 0.000 % |
26.35/26.43 c | 49171 | 11671 50017 151971 | 2147483647 49171 179 | 0.000 % |
26.44/26.50 c | 49281 | 11671 50017 151971 | 2147483647 49281 179 | 0.000 % |
26.54/26.60 c | 49403 | 11671 50017 151971 | 2147483647 49403 179 | 0.000 % |
26.64/26.71 c | 49536 | 11671 50017 151971 | 2147483647 49536 179 | 0.000 % |
26.74/26.82 c | 49684 | 11671 50017 151971 | 2147483647 49684 179 | 0.000 % |
26.84/26.93 c | 49844 | 11671 50017 151971 | 2147483647 49844 179 | 0.000 % |
26.94/27.06 c | 50020 | 11671 50017 151971 | 2147483647 50020 179 | 0.000 % |
27.14/27.21 c | 50213 | 11671 50017 151971 | 2147483647 50213 179 | 0.000 % |
27.24/27.35 c | 50426 | 11671 50017 151971 | 2147483647 50426 179 | 0.000 % |
27.44/27.53 c | 50659 | 11671 50017 151971 | 2147483647 50659 179 | 0.000 % |
27.64/27.71 c | 50915 | 11671 50017 151971 | 2147483647 50915 179 | 0.000 % |
27.85/27.90 c | 51197 | 11671 50017 151971 | 2147483647 51197 179 | 0.000 % |
28.05/28.12 c | 51507 | 11671 50017 151971 | 2147483647 51507 179 | 0.000 % |
28.24/28.35 c | 51846 | 11671 50017 151971 | 2147483647 51846 179 | 0.000 % |
28.45/28.59 c | 52218 | 11671 50017 151971 | 2147483647 52218 179 | 0.000 % |
28.74/28.86 c | 52627 | 11671 50017 151971 | 2147483647 52627 180 | 0.000 % |
29.04/29.14 c | 53077 | 11671 50017 151971 | 2147483647 53077 180 | 0.000 % |
29.34/29.47 c | 53570 | 11671 50017 151971 | 2147483647 53570 180 | 0.000 % |
29.75/29.84 c | 54114 | 11671 50017 151971 | 2147483647 54114 180 | 0.000 % |
30.14/30.25 c | 54710 | 11671 50017 151971 | 2147483647 54710 180 | 0.000 % |
30.65/30.71 c | 55365 | 11671 50017 151971 | 2147483647 55365 181 | 0.000 % |
31.14/31.22 c | 56085 | 11671 50017 151971 | 2147483647 56085 181 | 0.000 % |
31.24/31.31 c | 56186 | 11671 50017 151971 | 2147483647 56186 181 | 0.000 % |
31.34/31.40 c | 56297 | 11671 50017 151971 | 2147483647 56297 181 | 0.000 % |
31.34/31.50 c | 56418 | 11671 50017 151971 | 2147483647 56418 181 | 0.000 % |
31.54/31.60 c | 56553 | 11671 50017 151971 | 2147483647 56553 181 | 0.000 % |
31.64/31.71 c | 56699 | 11671 50017 151971 | 2147483647 56699 181 | 0.000 % |
31.75/31.83 c | 56859 | 11671 50017 151971 | 2147483647 56859 181 | 0.000 % |
31.85/31.94 c | 57035 | 11671 50017 151971 | 2147483647 57035 181 | 0.000 % |
32.04/32.12 c | 57228 | 11671 50017 151971 | 2147483647 57228 181 | 0.000 % |
32.14/32.28 c | 57441 | 11671 50017 151971 | 2147483647 57441 181 | 0.000 % |
32.34/32.46 c | 57674 | 11671 50017 151971 | 2147483647 57674 181 | 0.000 % |
32.54/32.64 c | 57931 | 11671 50017 151971 | 2147483647 57931 181 | 0.000 % |
32.74/32.87 c | 58212 | 11671 50017 151971 | 2147483647 58212 181 | 0.000 % |
32.94/33.07 c | 58522 | 11671 50017 151971 | 2147483647 58522 182 | 0.000 % |
33.23/33.32 c | 58861 | 11671 50017 151971 | 2147483647 58861 182 | 0.000 % |
33.43/33.58 c | 59235 | 11671 50017 151971 | 2147483647 59235 182 | 0.000 % |
33.73/33.88 c | 59644 | 11671 50017 151971 | 2147483647 59644 182 | 0.000 % |
34.13/34.20 c | 60093 | 11671 50017 151971 | 2147483647 60093 183 | 0.000 % |
34.44/34.54 c | 60587 | 11671 50017 151971 | 2147483647 60587 183 | 0.000 % |
34.84/34.96 c | 61130 | 11671 50017 151971 | 2147483647 61130 183 | 0.000 % |
35.24/35.38 c | 61726 | 11671 50017 151971 | 2147483647 61726 184 | 0.000 % |
35.74/35.87 c | 62383 | 11671 50017 151971 | 2147483647 62383 184 | 0.000 % |
36.24/36.38 c | 63103 | 11671 50017 151971 | 2147483647 63103 184 | 0.000 % |
36.84/36.95 c | 63896 | 11671 50017 151971 | 2147483647 63896 185 | 0.000 % |
36.94/37.04 c | 63998 | 11671 50017 151971 | 2147483647 63998 185 | 0.000 % |
37.03/37.14 c | 64109 | 11671 50017 151971 | 2147483647 64109 184 | 0.000 % |
37.13/37.24 c | 64231 | 11671 50017 151971 | 2147483647 64231 184 | 0.000 % |
37.24/37.34 c | 64364 | 11671 50017 151971 | 2147483647 64364 184 | 0.000 % |
37.34/37.44 c | 64511 | 11671 50017 151971 | 2147483647 64511 184 | 0.000 % |
37.43/37.59 c | 64676 | 11671 50017 151971 | 2147483647 64676 184 | 0.000 % |
37.63/37.74 c | 64854 | 11671 50017 151971 | 2147483647 64854 184 | 0.000 % |
37.74/37.89 c | 65048 | 11671 50017 151971 | 2147483647 65048 184 | 0.000 % |
37.94/38.07 c | 65260 | 11671 50017 151971 | 2147483647 65260 184 | 0.000 % |
38.14/38.26 c | 65496 | 11671 50017 151971 | 2147483647 65496 184 | 0.000 % |
38.34/38.46 c | 65752 | 11671 50017 151971 | 2147483647 65752 184 | 0.000 % |
38.54/38.68 c | 66034 | 11671 50017 151971 | 2147483647 66034 184 | 0.000 % |
38.84/38.96 c | 66343 | 11671 50017 151971 | 2147483647 66343 185 | 0.000 % |
39.04/39.19 c | 66682 | 11671 50017 151971 | 2147483647 66682 185 | 0.000 % |
39.34/39.49 c | 67055 | 11671 50017 151971 | 2147483647 67055 184 | 0.000 % |
39.74/39.83 c | 67465 | 11671 50017 151971 | 2147483647 67465 185 | 0.000 % |
40.03/40.17 c | 67914 | 11671 50017 151971 | 2147483647 67914 185 | 0.000 % |
40.43/40.56 c | 68407 | 11671 50017 151971 | 2147483647 68407 185 | 0.000 % |
40.83/40.98 c | 68951 | 11671 50017 151971 | 2147483647 68951 185 | 0.000 % |
41.34/41.44 c | 69547 | 11671 50017 151971 | 2147483647 69547 185 | 0.000 % |
41.84/41.96 c | 70203 | 11671 50017 151971 | 2147483647 70203 185 | 0.000 % |
42.34/42.46 c | 70925 | 11671 50017 151971 | 2147483647 70925 186 | 0.000 % |
42.93/43.06 c | 71718 | 11671 50017 151971 | 2147483647 71718 186 | 0.000 % |
43.63/43.76 c | 72589 | 11671 50017 151971 | 2147483647 72589 186 | 0.000 % |
43.73/43.86 c | 72689 | 11671 50017 151971 | 2147483647 72689 186 | 0.000 % |
43.83/43.96 c | 72799 | 11671 50017 151971 | 2147483647 72799 186 | 0.000 % |
43.94/44.07 c | 72924 | 11671 50017 151971 | 2147483647 72924 186 | 0.000 % |
44.04/44.19 c | 73057 | 11671 50017 151971 | 2147483647 73057 186 | 0.000 % |
44.24/44.32 c | 73204 | 11671 50017 151971 | 2147483647 73204 186 | 0.000 % |
44.34/44.47 c | 73364 | 11671 50017 151971 | 2147483647 73364 186 | 0.000 % |
44.54/44.62 c | 73543 | 11671 50017 151971 | 2147483647 73543 186 | 0.000 % |
44.74/44.80 c | 73737 | 11671 50017 151971 | 2147483647 73737 186 | 0.000 % |
44.84/44.99 c | 73950 | 11671 50017 151971 | 2147483647 73950 186 | 0.000 % |
45.04/45.18 c | 74183 | 11671 50017 151971 | 2147483647 74183 185 | 0.000 % |
45.24/45.39 c | 74442 | 11671 50017 151971 | 2147483647 74442 186 | 0.000 % |
45.53/45.63 c | 74723 | 11671 50017 151971 | 2147483647 74723 186 | 0.000 % |
45.73/45.88 c | 75032 | 11671 50017 151971 | 2147483647 75032 186 | 0.000 % |
46.14/46.20 c | 75371 | 11671 50017 151971 | 2147483647 75371 186 | 0.000 % |
46.43/46.53 c | 75743 | 11671 50017 151971 | 2147483647 75743 186 | 0.000 % |
46.73/46.87 c | 76152 | 11671 50017 151971 | 2147483647 76152 185 | 0.000 % |
47.13/47.22 c | 76602 | 11671 50017 151971 | 2147483647 76602 185 | 0.000 % |
47.53/47.61 c | 77096 | 11671 50017 151971 | 2147483647 77096 186 | 0.000 % |
47.93/48.08 c | 77641 | 11671 50017 151971 | 2147483647 77641 186 | 0.000 % |
48.43/48.57 c | 78237 | 11671 50017 151971 | 2147483647 78237 186 | 0.000 % |
49.03/49.12 c | 78892 | 11671 50017 151971 | 2147483647 78892 187 | 0.000 % |
49.63/49.70 c | 79612 | 11671 50017 151971 | 2147483647 79612 186 | 0.000 % |
50.23/50.35 c | 80405 | 11671 50017 151971 | 2147483647 80405 187 | 0.000 % |
50.93/51.06 c | 81276 | 11671 50017 151971 | 2147483647 81276 188 | 0.000 % |
51.73/51.82 c | 82236 | 11671 50017 151971 | 2147483647 82236 188 | 0.000 % |
51.83/51.93 c | 82336 | 11671 50017 151971 | 2147483647 82336 188 | 0.000 % |
51.93/52.03 c | 82446 | 11671 50017 151971 | 2147483647 82446 188 | 0.000 % |
52.03/52.15 c | 82570 | 11671 50017 151971 | 2147483647 82570 188 | 0.000 % |
52.13/52.29 c | 82705 | 11671 50017 151971 | 2147483647 82705 188 | 0.000 % |
52.33/52.43 c | 82854 | 11671 50017 151971 | 2147483647 82854 188 | 0.000 % |
52.42/52.59 c | 83015 | 11671 50017 151971 | 2147483647 83015 188 | 0.000 % |
52.64/52.77 c | 83193 | 11671 50017 151971 | 2147483647 83193 188 | 0.000 % |
52.83/52.96 c | 83386 | 11671 50017 151971 | 2147483647 83386 188 | 0.000 % |
53.03/53.18 c | 83598 | 11671 50017 151971 | 2147483647 83598 188 | 0.000 % |
53.33/53.40 c | 83831 | 11671 50017 151971 | 2147483647 83831 188 | 0.000 % |
53.53/53.63 c | 84087 | 11671 50017 151971 | 2147483647 84087 188 | 0.000 % |
53.73/53.88 c | 84368 | 11671 50017 151971 | 2147483647 84368 188 | 0.000 % |
54.03/54.16 c | 84677 | 11671 50017 151971 | 2147483647 84677 188 | 0.000 % |
54.33/54.44 c | 85020 | 11671 50017 151971 | 2147483647 85020 188 | 0.000 % |
54.63/54.80 c | 85392 | 11671 50017 151971 | 2147483647 85392 188 | 0.000 % |
55.03/55.13 c | 85802 | 11671 50017 151971 | 2147483647 85802 188 | 0.000 % |
55.43/55.57 c | 86251 | 11671 50017 151971 | 2147483647 86251 188 | 0.000 % |
55.92/56.06 c | 86747 | 11671 50017 151971 | 2147483647 86747 188 | 0.000 % |
56.42/56.54 c | 87289 | 11671 50017 151971 | 2147483647 87289 188 | 0.000 % |
56.92/57.08 c | 87885 | 11671 50017 151971 | 2147483647 87885 189 | 0.000 % |
57.42/57.59 c | 88540 | 11671 50017 151971 | 2147483647 88540 189 | 0.000 % |
58.13/58.23 c | 89260 | 11671 50017 151971 | 2147483647 89260 189 | 0.000 % |
58.82/58.95 c | 90054 | 11671 50017 151971 | 2147483647 90054 190 | 0.000 % |
59.72/59.81 c | 90927 | 11671 50017 151971 | 2147483647 90927 190 | 0.000 % |
60.51/60.60 c | 91885 | 11671 50017 151971 | 2147483647 91885 191 | 0.000 % |
61.42/61.53 c | 92938 | 11671 50017 151971 | 2147483647 92938 191 | 0.000 % |
61.52/61.64 c | 93038 | 11671 50017 151971 | 2147483647 93038 191 | 0.000 % |
61.61/61.77 c | 93148 | 11671 50017 151971 | 2147483647 93148 191 | 0.000 % |
61.81/61.91 c | 93269 | 11671 50017 151971 | 2147483647 93269 191 | 0.000 % |
61.92/62.05 c | 93403 | 11671 50017 151971 | 2147483647 93403 191 | 0.000 % |
62.02/62.19 c | 93550 | 11671 50017 151971 | 2147483647 93550 191 | 0.000 % |
62.22/62.37 c | 93710 | 11671 50017 151971 | 2147483647 93710 191 | 0.000 % |
62.42/62.54 c | 93887 | 11671 50017 151971 | 2147483647 93887 191 | 0.000 % |
62.62/62.73 c | 94080 | 11671 50017 151971 | 2147483647 94080 191 | 0.000 % |
62.82/62.94 c | 94292 | 11671 50017 151971 | 2147483647 94292 191 | 0.000 % |
63.02/63.18 c | 94525 | 11671 50017 151971 | 2147483647 94525 191 | 0.000 % |
63.32/63.44 c | 94781 | 11671 50017 151971 | 2147483647 94781 191 | 0.000 % |
63.62/63.71 c | 95062 | 11671 50017 151971 | 2147483647 95062 191 | 0.000 % |
63.92/64.04 c | 95372 | 11671 50017 151971 | 2147483647 95372 191 | 0.000 % |
64.21/64.32 c | 95713 | 11671 50017 151971 | 2147483647 95713 191 | 0.000 % |
64.51/64.66 c | 96085 | 11671 50017 151971 | 2147483647 96085 191 | 0.000 % |
64.91/65.07 c | 96494 | 11671 50017 151971 | 2147483647 96494 191 | 0.000 % |
65.41/65.51 c | 96943 | 11671 50017 151971 | 2147483647 96943 191 | 0.000 % |
65.82/65.96 c | 97436 | 11671 50017 151971 | 2147483647 97436 191 | 0.000 % |
66.31/66.47 c | 97978 | 11671 50017 151971 | 2147483647 97978 191 | 0.000 % |
66.82/66.98 c | 98575 | 11671 50017 151971 | 2147483647 98575 191 | 0.000 % |
67.42/67.58 c | 99230 | 11671 50017 151971 | 2147483647 99230 191 | 0.000 % |
68.12/68.24 c | 99950 | 11671 50017 151971 | 2147483647 99950 191 | 0.000 % |
68.81/68.96 c | 100742 | 11671 50017 151971 | 2147483647 100742 191 | 0.000 % |
69.61/69.75 c | 101615 | 11671 50017 151971 | 2147483647 101615 191 | 0.000 % |
70.52/70.69 c | 102574 | 11671 50017 151971 | 2147483647 102574 191 | 0.000 % |
71.61/71.77 c | 103627 | 11671 50017 151971 | 2147483647 103627 192 | 0.000 % |
72.61/72.79 c | 104786 | 11671 50017 151971 | 2147483647 104786 192 | 0.000 % |
72.81/72.91 c | 104886 | 11671 50017 151971 | 2147483647 104886 192 | 0.000 % |
72.91/73.05 c | 104996 | 11671 50017 151971 | 2147483647 104996 192 | 0.000 % |
73.01/73.18 c | 105120 | 11671 50017 151971 | 2147483647 105120 192 | 0.000 % |
73.21/73.35 c | 105253 | 11671 50017 151971 | 2147483647 105253 192 | 0.000 % |
73.41/73.51 c | 105399 | 11671 50017 151971 | 2147483647 105399 192 | 0.000 % |
73.51/73.67 c | 105559 | 11671 50017 151971 | 2147483647 105559 192 | 0.000 % |
73.81/73.90 c | 105736 | 11671 50017 151971 | 2147483647 105736 192 | 0.000 % |
74.01/74.11 c | 105929 | 11671 50017 151971 | 2147483647 105929 192 | 0.000 % |
74.21/74.35 c | 106143 | 11671 50017 151971 | 2147483647 106143 192 | 0.000 % |
74.41/74.58 c | 106380 | 11671 50017 151971 | 2147483647 106380 191 | 0.000 % |
74.72/74.87 c | 106640 | 11671 50017 151971 | 2147483647 106640 191 | 0.000 % |
75.01/75.17 c | 106921 | 11671 50017 151971 | 2147483647 106921 191 | 0.000 % |
75.31/75.49 c | 107233 | 11671 50017 151971 | 2147483647 107233 191 | 0.000 % |
75.72/75.83 c | 107572 | 11671 50017 151971 | 2147483647 107572 191 | 0.000 % |
76.11/76.21 c | 107945 | 11671 50017 151971 | 2147483647 107945 191 | 0.000 % |
76.51/76.68 c | 108354 | 11671 50017 151971 | 2147483647 108354 191 | 0.000 % |
77.01/77.15 c | 108805 | 11671 50017 151971 | 2147483647 108805 192 | 0.000 % |
77.51/77.62 c | 109299 | 11671 50017 151971 | 2147483647 109299 192 | 0.000 % |
78.01/78.18 c | 109842 | 11671 50017 151971 | 2147483647 109842 192 | 0.000 % |
78.61/78.77 c | 110438 | 11671 50017 151971 | 2147483647 110438 192 | 0.000 % |
79.31/79.42 c | 111094 | 11671 50017 151971 | 2147483647 111094 192 | 0.000 % |
80.01/80.15 c | 111817 | 11671 50017 151971 | 2147483647 111817 192 | 0.000 % |
80.81/80.93 c | 112611 | 11671 50017 151971 | 2147483647 112611 193 | 0.000 % |
81.61/81.79 c | 113482 | 11671 50017 151971 | 2147483647 113482 193 | 0.000 % |
82.60/82.72 c | 114442 | 11671 50017 151971 | 2147483647 114442 193 | 0.000 % |
83.71/83.88 c | 115495 | 11671 50017 151971 | 2147483647 115495 194 | 0.000 % |
84.81/84.98 c | 116655 | 11671 50017 151971 | 2147483647 116655 194 | 0.000 % |
86.10/86.28 c | 117929 | 11671 50017 151971 | 2147483647 117929 194 | 0.000 % |
86.30/86.40 c | 118029 | 11671 50017 151971 | 2147483647 118029 194 | 0.000 % |
86.40/86.54 c | 118142 | 11671 50017 151971 | 2147483647 118142 194 | 0.000 % |
86.60/86.70 c | 118269 | 11671 50017 151971 | 2147483647 118269 194 | 0.000 % |
86.71/86.89 c | 118403 | 11671 50017 151971 | 2147483647 118403 194 | 0.000 % |
86.91/87.05 c | 118550 | 11671 50017 151971 | 2147483647 118550 194 | 0.000 % |
87.11/87.25 c | 118711 | 11671 50017 151971 | 2147483647 118711 194 | 0.000 % |
87.31/87.45 c | 118888 | 11671 50017 151971 | 2147483647 118888 194 | 0.000 % |
87.51/87.67 c | 119081 | 11671 50017 151971 | 2147483647 119081 194 | 0.000 % |
87.81/87.93 c | 119294 | 11671 50017 151971 | 2147483647 119294 194 | 0.000 % |
88.11/88.21 c | 119528 | 11671 50017 151971 | 2147483647 119528 193 | 0.000 % |
88.41/88.51 c | 119785 | 11671 50017 151971 | 2147483647 119785 194 | 0.000 % |
88.71/88.82 c | 120066 | 11671 50017 151971 | 2147483647 120066 194 | 0.000 % |
89.01/89.18 c | 120375 | 11671 50017 151971 | 2147483647 120375 194 | 0.000 % |
89.40/89.56 c | 120716 | 11671 50017 151971 | 2147483647 120716 193 | 0.000 % |
89.80/89.99 c | 121088 | 11671 50017 151971 | 2147483647 121088 193 | 0.000 % |
90.30/90.46 c | 121497 | 11671 50017 151971 | 2147483647 121497 193 | 0.000 % |
90.80/90.95 c | 121946 | 11671 50017 151971 | 2147483647 121946 193 | 0.000 % |
91.31/91.48 c | 122439 | 11671 50017 151971 | 2147483647 122439 193 | 0.000 % |
91.91/92.05 c | 122983 | 11671 50017 151971 | 2147483647 122983 193 | 0.000 % |
92.60/92.70 c | 123584 | 11671 50017 151971 | 2147483647 123584 193 | 0.000 % |
93.31/93.45 c | 124239 | 11671 50017 151971 | 2147483647 124239 193 | 0.000 % |
94.20/94.30 c | 124964 | 11671 50017 151971 | 2147483647 124964 194 | 0.000 % |
95.10/95.22 c | 125757 | 11671 50017 151971 | 2147483647 125757 194 | 0.000 % |
96.01/96.13 c | 126630 | 11671 50017 151971 | 2147483647 126630 194 | 0.000 % |
97.01/97.14 c | 127589 | 11671 50017 151971 | 2147483647 127589 194 | 0.000 % |
98.20/98.30 c | 128642 | 11671 50017 151971 | 2147483647 128642 194 | 0.000 % |
99.40/99.56 c | 129800 | 11671 50017 151971 | 2147483647 129800 195 | 0.000 % |
100.80/100.95 c | 131075 | 11671 50017 151971 | 2147483647 131075 195 | 0.000 % |
102.39/102.56 c | 132476 | 11671 50017 151971 | 2147483647 132476 195 | 0.000 % |
102.50/102.69 c | 132577 | 11671 50017 151971 | 2147483647 132577 195 | 0.000 % |
102.70/102.86 c | 132687 | 11671 50017 151971 | 2147483647 132687 195 | 0.000 % |
102.90/103.00 c | 132809 | 11671 50017 151971 | 2147483647 132809 195 | 0.000 % |
103.00/103.17 c | 132942 | 11671 50017 151971 | 2147483647 132942 195 | 0.000 % |
103.20/103.36 c | 133088 | 11671 50017 151971 | 2147483647 133088 195 | 0.000 % |
103.40/103.56 c | 133249 | 11671 50017 151971 | 2147483647 133249 195 | 0.000 % |
103.60/103.79 c | 133425 | 11671 50017 151971 | 2147483647 133425 195 | 0.000 % |
103.90/104.00 c | 133622 | 11671 50017 151971 | 2147483647 133622 195 | 0.000 % |
104.10/104.24 c | 133834 | 11671 50017 151971 | 2147483647 133834 195 | 0.000 % |
104.40/104.53 c | 134067 | 11671 50017 151971 | 2147483647 134067 195 | 0.000 % |
104.70/104.84 c | 134323 | 11671 50017 151971 | 2147483647 134323 195 | 0.000 % |
105.00/105.18 c | 134604 | 11671 50017 151971 | 2147483647 134604 195 | 0.000 % |
105.40/105.56 c | 134913 | 11671 50017 151971 | 2147483647 134913 195 | 0.000 % |
105.80/105.96 c | 135252 | 11671 50017 151971 | 2147483647 135252 195 | 0.000 % |
106.29/106.41 c | 135626 | 11671 50017 151971 | 2147483647 135626 195 | 0.000 % |
106.69/106.89 c | 136035 | 11671 50017 151971 | 2147483647 136035 195 | 0.000 % |
107.29/107.41 c | 136484 | 11671 50017 151971 | 2147483647 136484 195 | 0.000 % |
107.90/108.03 c | 136977 | 11671 50017 151971 | 2147483647 136977 195 | 0.000 % |
108.50/108.64 c | 137519 | 11671 50017 151971 | 2147483647 137519 195 | 0.000 % |
109.20/109.37 c | 138117 | 11671 50017 151971 | 2147483647 138117 195 | 0.000 % |
109.90/110.05 c | 138773 | 11671 50017 151971 | 2147483647 138773 195 | 0.000 % |
110.79/110.92 c | 139493 | 11671 50017 151971 | 2147483647 139493 195 | 0.000 % |
111.69/111.83 c | 140285 | 11671 50017 151971 | 2147483647 140285 195 | 0.000 % |
112.70/112.88 c | 141156 | 11671 50017 151971 | 2147483647 141156 195 | 0.000 % |
113.89/114.02 c | 142114 | 11671 50017 151971 | 2147483647 142114 195 | 0.000 % |
115.09/115.26 c | 143167 | 11671 50017 151971 | 2147483647 143167 195 | 0.000 % |
116.40/116.56 c | 144327 | 11671 50017 151971 | 2147483647 144327 195 | 0.000 % |
117.89/118.07 c | 145601 | 11671 50017 151971 | 2147483647 145601 196 | 0.000 % |
119.49/119.66 c | 147001 | 11671 50017 151971 | 2147483647 147001 196 | 0.000 % |
121.39/121.55 c | 148541 | 11671 50017 151971 | 2147483647 148541 196 | 0.000 % |
121.49/121.69 c | 148641 | 11671 50017 151971 | 2147483647 148641 196 | 0.000 % |
121.69/121.84 c | 148751 | 11671 50017 151971 | 2147483647 148751 196 | 0.000 % |
121.89/122.02 c | 148872 | 11671 50017 151971 | 2147483647 148872 196 | 0.000 % |
122.09/122.21 c | 149005 | 11671 50017 151971 | 2147483647 149005 196 | 0.000 % |
122.29/122.43 c | 149151 | 11671 50017 151971 | 2147483647 149151 196 | 0.000 % |
122.49/122.67 c | 149311 | 11671 50017 151971 | 2147483647 149311 196 | 0.000 % |
122.78/122.93 c | 149487 | 11671 50017 151971 | 2147483647 149487 196 | 0.000 % |
122.99/123.18 c | 149680 | 11671 50017 151971 | 2147483647 149680 196 | 0.000 % |
123.28/123.48 c | 149892 | 11671 50017 151971 | 2147483647 149892 196 | 0.000 % |
123.68/123.80 c | 150125 | 11671 50017 151971 | 2147483647 150125 196 | 0.000 % |
123.98/124.14 c | 150381 | 11671 50017 151971 | 2147483647 150381 196 | 0.000 % |
124.38/124.51 c | 150665 | 11671 50017 151971 | 2147483647 150665 196 | 0.000 % |
124.78/124.91 c | 150974 | 11671 50017 151971 | 2147483647 150974 196 | 0.000 % |
125.19/125.36 c | 151313 | 11671 50017 151971 | 2147483647 151313 196 | 0.000 % |
125.68/125.82 c | 151685 | 11671 50017 151971 | 2147483647 151685 196 | 0.000 % |
126.19/126.38 c | 152094 | 11671 50017 151971 | 2147483647 152094 196 | 0.000 % |
126.79/126.92 c | 152543 | 11671 50017 151971 | 2147483647 152543 196 | 0.000 % |
127.39/127.58 c | 153036 | 11671 50017 151971 | 2147483647 153036 196 | 0.000 % |
128.09/128.26 c | 153579 | 11671 50017 151971 | 2147483647 153579 196 | 0.000 % |
128.89/129.04 c | 154175 | 11671 50017 151971 | 2147483647 154175 196 | 0.000 % |
129.69/129.84 c | 154830 | 11671 50017 151971 | 2147483647 154830 196 | 0.000 % |
130.58/130.79 c | 155550 | 11671 50017 151971 | 2147483647 155550 196 | 0.000 % |
131.68/131.85 c | 156344 | 11671 50017 151971 | 2147483647 156344 196 | 0.000 % |
132.79/132.97 c | 157215 | 11671 50017 151971 | 2147483647 157215 196 | 0.000 % |
133.99/134.17 c | 158175 | 11671 50017 151971 | 2147483647 158175 196 | 0.000 % |
135.28/135.45 c | 159230 | 11671 50017 151971 | 2147483647 159230 196 | 0.000 % |
136.68/136.87 c | 160389 | 11671 50017 151971 | 2147483647 160389 197 | 0.000 % |
138.28/138.45 c | 161662 | 11671 50017 151971 | 2147483647 161662 197 | 0.000 % |
140.08/140.26 c | 163063 | 11671 50017 151971 | 2147483647 163063 197 | 0.000 % |
142.08/142.23 c | 164605 | 11671 50017 151971 | 2147483647 164605 197 | 0.000 % |
144.17/144.39 c | 166299 | 11671 50017 151971 | 2147483647 166299 197 | 0.000 % |
144.37/144.56 c | 166399 | 11671 50017 151971 | 2147483647 166399 197 | 0.000 % |
144.57/144.74 c | 166509 | 11671 50017 151971 | 2147483647 166509 197 | 0.000 % |
144.77/144.94 c | 166632 | 11671 50017 151971 | 2147483647 166632 197 | 0.000 % |
144.98/145.15 c | 166766 | 11671 50017 151971 | 2147483647 166766 197 | 0.000 % |
145.17/145.36 c | 166914 | 11671 50017 151971 | 2147483647 166914 197 | 0.000 % |
145.48/145.61 c | 167076 | 11671 50017 151971 | 2147483647 167076 197 | 0.000 % |
145.78/145.90 c | 167253 | 11671 50017 151971 | 2147483647 167253 197 | 0.000 % |
145.98/146.17 c | 167446 | 11671 50017 151971 | 2147483647 167446 197 | 0.000 % |
146.37/146.51 c | 167658 | 11671 50017 151971 | 2147483647 167658 197 | 0.000 % |
146.67/146.83 c | 167893 | 11671 50017 151971 | 2147483647 167893 197 | 0.000 % |
147.07/147.21 c | 168151 | 11671 50017 151971 | 2147483647 168151 197 | 0.000 % |
147.47/147.60 c | 168434 | 11671 50017 151971 | 2147483647 168434 197 | 0.000 % |
147.87/148.03 c | 168743 | 11671 50017 151971 | 2147483647 168743 197 | 0.000 % |
148.37/148.55 c | 169082 | 11671 50017 151971 | 2147483647 169082 197 | 0.000 % |
148.87/149.05 c | 169454 | 11671 50017 151971 | 2147483647 169454 197 | 0.000 % |
149.47/149.63 c | 169863 | 11671 50017 151971 | 2147483647 169863 197 | 0.000 % |
150.07/150.26 c | 170312 | 11671 50017 151971 | 2147483647 170312 197 | 0.000 % |
150.67/150.88 c | 170807 | 11671 50017 151971 | 2147483647 170807 197 | 0.000 % |
151.37/151.59 c | 171349 | 11671 50017 151971 | 2147483647 171349 197 | 0.000 % |
152.16/152.36 c | 171947 | 11671 50017 151971 | 2147483647 171947 197 | 0.000 % |
153.06/153.26 c | 172603 | 11671 50017 151971 | 2147483647 172603 197 | 0.000 % |
154.06/154.25 c | 173323 | 11671 50017 151971 | 2147483647 173323 197 | 0.000 % |
155.07/155.28 c | 174117 | 11671 50017 151971 | 2147483647 174117 197 | 0.000 % |
156.16/156.35 c | 174990 | 11671 50017 151971 | 2147483647 174990 197 | 0.000 % |
157.56/157.70 c | 175951 | 11671 50017 151971 | 2147483647 175951 198 | 0.000 % |
158.86/159.07 c | 177004 | 11671 50017 151971 | 2147483647 177004 198 | 0.000 % |
160.47/160.64 c | 178163 | 11671 50017 151971 | 2147483647 178163 198 | 0.000 % |
162.06/162.27 c | 179437 | 11671 50017 151971 | 2147483647 179437 198 | 0.000 % |
163.96/164.14 c | 180838 | 11671 50017 151971 | 2147483647 180838 198 | 0.000 % |
165.76/165.93 c | 182378 | 11671 50017 151971 | 2147483647 182378 199 | 0.000 % |
167.96/168.11 c | 184072 | 11671 50017 151971 | 2147483647 184072 200 | 0.000 % |
170.46/170.63 c | 185937 | 11671 50017 151971 | 2147483647 185937 200 | 0.000 % |
170.56/170.78 c | 186037 | 11671 50017 151971 | 2147483647 186037 200 | 0.000 % |
170.76/170.98 c | 186147 | 11671 50017 151971 | 2147483647 186147 200 | 0.000 % |
170.96/171.19 c | 186268 | 11671 50017 151971 | 2147483647 186268 200 | 0.000 % |
171.26/171.40 c | 186401 | 11671 50017 151971 | 2147483647 186401 200 | 0.000 % |
171.47/171.65 c | 186549 | 11671 50017 151971 | 2147483647 186549 200 | 0.000 % |
171.76/171.93 c | 186709 | 11671 50017 151971 | 2147483647 186709 200 | 0.000 % |
172.06/172.22 c | 186889 | 11671 50017 151971 | 2147483647 186889 200 | 0.000 % |
172.36/172.54 c | 187082 | 11671 50017 151971 | 2147483647 187082 200 | 0.000 % |
172.66/172.86 c | 187294 | 11671 50017 151971 | 2147483647 187294 200 | 0.000 % |
173.06/173.22 c | 187528 | 11671 50017 151971 | 2147483647 187528 200 | 0.000 % |
173.46/173.67 c | 187784 | 11671 50017 151971 | 2147483647 187784 200 | 0.000 % |
173.96/174.14 c | 188065 | 11671 50017 151971 | 2147483647 188065 200 | 0.000 % |
174.46/174.63 c | 188374 | 11671 50017 151971 | 2147483647 188374 200 | 0.000 % |
174.86/175.09 c | 188715 | 11671 50017 151971 | 2147483647 188715 200 | 0.000 % |
175.45/175.67 c | 189087 | 11671 50017 151971 | 2147483647 189087 200 | 0.000 % |
176.05/176.29 c | 189496 | 11671 50017 151971 | 2147483647 189496 200 | 0.000 % |
176.75/176.98 c | 189945 | 11671 50017 151971 | 2147483647 189945 200 | 0.000 % |
177.46/177.69 c | 190438 | 11671 50017 151971 | 2147483647 190438 200 | 0.000 % |
178.26/178.50 c | 190980 | 11671 50017 151971 | 2147483647 190980 200 | 0.000 % |
179.16/179.40 c | 191578 | 11671 50017 151971 | 2147483647 191578 200 | 0.000 % |
180.26/180.40 c | 192233 | 11671 50017 151971 | 2147483647 192233 200 | 0.000 % |
181.26/181.44 c | 192953 | 11671 50017 151971 | 2147483647 192953 200 | 0.000 % |
182.36/182.53 c | 193746 | 11671 50017 151971 | 2147483647 193746 200 | 0.000 % |
183.55/183.79 c | 194617 | 11671 50017 151971 | 2147483647 194617 200 | 0.000 % |
184.85/185.08 c | 195575 | 11671 50017 151971 | 2147483647 195575 200 | 0.000 % |
186.45/186.64 c | 196629 | 11671 50017 151971 | 2147483647 196629 200 | 0.000 % |
188.06/188.23 c | 197788 | 11671 50017 151971 | 2147483647 197788 201 | 0.000 % |
189.85/190.01 c | 199062 | 11671 50017 151971 | 2147483647 199062 200 | 0.000 % |
191.75/191.95 c | 200464 | 11671 50017 151971 | 2147483647 200464 200 | 0.000 % |
193.84/194.03 c | 202004 | 11671 50017 151971 | 2147483647 202004 201 | 0.000 % |
196.45/196.65 c | 203698 | 11671 50017 151971 | 2147483647 203698 201 | 0.000 % |
199.24/199.42 c | 205561 | 11671 50017 151971 | 2147483647 205561 201 | 0.000 % |
202.25/202.46 c | 207612 | 11671 50017 151971 | 2147483647 207612 201 | 0.000 % |
202.45/202.64 c | 207713 | 11671 50017 151971 | 2147483647 207713 201 | 0.000 % |
202.65/202.85 c | 207823 | 11671 50017 151971 | 2147483647 207823 201 | 0.000 % |
202.85/203.09 c | 207944 | 11671 50017 151971 | 2147483647 207944 201 | 0.000 % |
203.15/203.34 c | 208077 | 11671 50017 151971 | 2147483647 208077 201 | 0.000 % |
203.45/203.65 c | 208224 | 11671 50017 151971 | 2147483647 208224 201 | 0.000 % |
203.74/203.97 c | 208384 | 11671 50017 151971 | 2147483647 208384 201 | 0.000 % |
204.14/204.30 c | 208560 | 11671 50017 151971 | 2147483647 208560 201 | 0.000 % |
204.45/204.64 c | 208753 | 11671 50017 151971 | 2147483647 208753 201 | 0.000 % |
204.84/205.02 c | 208967 | 11671 50017 151971 | 2147483647 208967 201 | 0.000 % |
205.24/205.42 c | 209200 | 11671 50017 151971 | 2147483647 209200 201 | 0.000 % |
205.64/205.82 c | 209457 | 11671 50017 151971 | 2147483647 209457 201 | 0.000 % |
206.14/206.34 c | 209739 | 11671 50017 151971 | 2147483647 209739 201 | 0.000 % |
206.64/206.86 c | 210048 | 11671 50017 151971 | 2147483647 210048 201 | 0.000 % |
207.24/207.44 c | 210387 | 11671 50017 151971 | 2147483647 210387 201 | 0.000 % |
207.84/208.02 c | 210760 | 11671 50017 151971 | 2147483647 210760 201 | 0.000 % |
208.53/208.70 c | 211169 | 11671 50017 151971 | 2147483647 211169 201 | 0.000 % |
209.13/209.39 c | 211618 | 11671 50017 151971 | 2147483647 211618 201 | 0.000 % |
209.95/210.16 c | 212112 | 11671 50017 151971 | 2147483647 212112 201 | 0.000 % |
210.84/211.02 c | 212655 | 11671 50017 151971 | 2147483647 212655 201 | 0.000 % |
211.74/211.92 c | 213252 | 11671 50017 151971 | 2147483647 213252 201 | 0.000 % |
212.73/212.99 c | 213909 | 11671 50017 151971 | 2147483647 213909 201 | 0.000 % |
213.93/214.17 c | 214629 | 11671 50017 151971 | 2147483647 214629 201 | 0.000 % |
215.23/215.46 c | 215425 | 11671 50017 151971 | 2147483647 215425 201 | 0.000 % |
216.63/216.84 c | 216297 | 11671 50017 151971 | 2147483647 216297 201 | 0.000 % |
218.13/218.36 c | 217255 | 11671 50017 151971 | 2147483647 217255 201 | 0.000 % |
219.73/219.92 c | 218308 | 11671 50017 151971 | 2147483647 218308 201 | 0.000 % |
221.63/221.82 c | 219467 | 11671 50017 151971 | 2147483647 219467 202 | 0.000 % |
223.63/223.81 c | 220740 | 11671 50017 151971 | 2147483647 220740 202 | 0.000 % |
225.73/225.93 c | 222141 | 11671 50017 151971 | 2147483647 222141 202 | 0.000 % |
228.13/228.35 c | 223681 | 11671 50017 151971 | 2147483647 223681 202 | 0.000 % |
230.74/230.94 c | 225375 | 11671 50017 151971 | 2147483647 225375 203 | 0.000 % |
233.73/233.94 c | 227241 | 11671 50017 151971 | 2147483647 227241 203 | 0.000 % |
237.02/237.27 c | 229291 | 11671 50017 151971 | 2147483647 229291 204 | 0.000 % |
240.62/240.84 c | 231545 | 11671 50017 151971 | 2147483647 231545 204 | 0.000 % |
240.82/241.09 c | 231646 | 11671 50017 151971 | 2147483647 231646 204 | 0.000 % |
241.12/241.33 c | 231761 | 11671 50017 151971 | 2147483647 231761 204 | 0.000 % |
241.32/241.58 c | 231882 | 11671 50017 151971 | 2147483647 231882 204 | 0.000 % |
241.62/241.85 c | 232015 | 11671 50017 151971 | 2147483647 232015 204 | 0.000 % |
241.91/242.17 c | 232162 | 11671 50017 151971 | 2147483647 232162 204 | 0.000 % |
242.21/242.45 c | 232323 | 11671 50017 151971 | 2147483647 232323 204 | 0.000 % |
242.51/242.78 c | 232499 | 11671 50017 151971 | 2147483647 232499 204 | 0.000 % |
242.92/243.13 c | 232692 | 11671 50017 151971 | 2147483647 232692 204 | 0.000 % |
243.31/243.51 c | 232905 | 11671 50017 151971 | 2147483647 232905 204 | 0.000 % |
243.71/243.94 c | 233138 | 11671 50017 151971 | 2147483647 233138 204 | 0.000 % |
244.11/244.39 c | 233396 | 11671 50017 151971 | 2147483647 233396 204 | 0.000 % |
244.62/244.84 c | 233679 | 11671 50017 151971 | 2147483647 233679 204 | 0.000 % |
245.22/245.41 c | 233989 | 11671 50017 151971 | 2147483647 233989 204 | 0.000 % |
245.72/245.97 c | 234328 | 11671 50017 151971 | 2147483647 234328 204 | 0.000 % |
246.42/246.63 c | 234701 | 11671 50017 151971 | 2147483647 234701 204 | 0.000 % |
247.12/247.32 c | 235110 | 11671 50017 151971 | 2147483647 235110 204 | 0.000 % |
247.82/248.07 c | 235561 | 11671 50017 151971 | 2147483647 235561 204 | 0.000 % |
248.71/248.97 c | 236054 | 11671 50017 151971 | 2147483647 236054 204 | 0.000 % |
249.72/249.90 c | 236597 | 11671 50017 151971 | 2147483647 236597 204 | 0.000 % |
250.71/250.94 c | 237193 | 11671 50017 151971 | 2147483647 237193 204 | 0.000 % |
251.82/252.05 c | 237849 | 11671 50017 151971 | 2147483647 237849 204 | 0.000 % |
253.12/253.33 c | 238570 | 11671 50017 151971 | 2147483647 238570 204 | 0.000 % |
254.41/254.68 c | 239362 | 11671 50017 151971 | 2147483647 239362 204 | 0.000 % |
255.91/256.20 c | 240236 | 11671 50017 151971 | 2147483647 240236 204 | 0.000 % |
257.51/257.79 c | 241194 | 11671 50017 151971 | 2147483647 241194 204 | 0.000 % |
259.32/259.56 c | 242248 | 11671 50017 151971 | 2147483647 242248 204 | 0.000 % |
261.31/261.57 c | 243407 | 11671 50017 151971 | 2147483647 243407 204 | 0.000 % |
263.32/263.55 c | 244680 | 11671 50017 151971 | 2147483647 244680 204 | 0.000 % |
265.61/265.87 c | 246080 | 11671 50017 151971 | 2147483647 246080 204 | 0.000 % |
268.31/268.52 c | 247621 | 11671 50017 151971 | 2147483647 247621 204 | 0.000 % |
271.01/271.25 c | 249316 | 11671 50017 151971 | 2147483647 249316 204 | 0.000 % |
274.11/274.38 c | 251179 | 11671 50017 151971 | 2147483647 251179 204 | 0.000 % |
277.51/277.78 c | 253228 | 11671 50017 151971 | 2147483647 253228 205 | 0.000 % |
281.30/281.55 c | 255482 | 11671 50017 151971 | 2147483647 255482 205 | 0.000 % |
285.38/285.64 c | 257961 | 11671 50017 151971 | 2147483647 257961 206 | 0.000 % |
285.58/285.84 c | 258061 | 11671 50017 151971 | 2147483647 258061 206 | 0.000 % |
285.88/286.10 c | 258171 | 11671 50017 151971 | 2147483647 258171 206 | 0.000 % |
286.09/286.37 c | 258292 | 11671 50017 151971 | 2147483647 258292 206 | 0.000 % |
286.39/286.67 c | 258425 | 11671 50017 151971 | 2147483647 258425 206 | 0.000 % |
286.69/286.98 c | 258574 | 11671 50017 151971 | 2147483647 258574 206 | 0.000 % |
287.09/287.31 c | 258734 | 11671 50017 151971 | 2147483647 258734 206 | 0.000 % |
287.49/287.72 c | 258911 | 11671 50017 151971 | 2147483647 258911 206 | 0.000 % |
287.79/288.09 c | 259104 | 11671 50017 151971 | 2147483647 259104 206 | 0.000 % |
288.29/288.53 c | 259316 | 11671 50017 151971 | 2147483647 259316 206 | 0.000 % |
288.79/289.03 c | 259550 | 11671 50017 151971 | 2147483647 259550 206 | 0.000 % |
289.29/289.59 c | 259807 | 11671 50017 151971 | 2147483647 259807 206 | 0.000 % |
289.99/290.20 c | 260088 | 11671 50017 151971 | 2147483647 260088 206 | 0.000 % |
290.58/290.83 c | 260397 | 11671 50017 151971 | 2147483647 260397 206 | 0.000 % |
291.19/291.47 c | 260736 | 11671 50017 151971 | 2147483647 260736 206 | 0.000 % |
291.88/292.12 c | 261110 | 11671 50017 151971 | 2147483647 261110 206 | 0.000 % |
292.68/292.94 c | 261520 | 11671 50017 151971 | 2147483647 261520 206 | 0.000 % |
293.58/293.81 c | 261969 | 11671 50017 151971 | 2147483647 261969 206 | 0.000 % |
294.48/294.71 c | 262462 | 11671 50017 151971 | 2147483647 262462 206 | 0.000 % |
295.38/295.63 c | 263004 | 11671 50017 151971 | 2147483647 263004 206 | 0.000 % |
296.58/296.83 c | 263603 | 11671 50017 151971 | 2147483647 263603 206 | 0.000 % |
297.79/298.03 c | 264259 | 11671 50017 151971 | 2147483647 264259 206 | 0.000 % |
299.08/299.39 c | 264980 | 11671 50017 151971 | 2147483647 264980 206 | 0.000 % |
300.68/300.99 c | 265777 | 11671 50017 151971 | 2147483647 265777 206 | 0.000 % |
302.37/302.65 c | 266649 | 11671 50017 151971 | 2147483647 266649 206 | 0.000 % |
303.98/304.29 c | 267607 | 11671 50017 151971 | 2147483647 267607 206 | 0.000 % |
305.78/306.06 c | 268660 | 11671 50017 151971 | 2147483647 268660 206 | 0.000 % |
307.78/308.06 c | 269818 | 11671 50017 151971 | 2147483647 269818 206 | 0.000 % |
310.07/310.35 c | 271092 | 11671 50017 151971 | 2147483647 271092 206 | 0.000 % |
312.77/313.05 c | 272493 | 11671 50017 151971 | 2147483647 272493 206 | 0.000 % |
315.57/315.81 c | 274033 | 11671 50017 151971 | 2147483647 274033 206 | 0.000 % |
318.87/319.10 c | 275727 | 11671 50017 151971 | 2147483647 275727 206 | 0.000 % |
322.16/322.49 c | 277590 | 11671 50017 151971 | 2147483647 277590 206 | 0.000 % |
325.97/326.26 c | 279640 | 11671 50017 151971 | 2147483647 279640 207 | 0.000 % |
329.96/330.29 c | 281893 | 11671 50017 151971 | 2147483647 281893 207 | 0.000 % |
334.56/334.85 c | 284372 | 11671 50017 151971 | 2147483647 284372 207 | 0.000 % |
339.56/339.82 c | 287097 | 11671 50017 151971 | 2147483647 287097 207 | 0.000 % |
339.86/340.10 c | 287198 | 11671 50017 151971 | 2147483647 287198 207 | 0.000 % |
340.06/340.38 c | 287309 | 11671 50017 151971 | 2147483647 287309 207 | 0.000 % |
340.36/340.63 c | 287433 | 11671 50017 151971 | 2147483647 287433 207 | 0.000 % |
340.66/340.96 c | 287567 | 11671 50017 151971 | 2147483647 287567 207 | 0.000 % |
341.06/341.35 c | 287713 | 11671 50017 151971 | 2147483647 287713 207 | 0.000 % |
341.46/341.73 c | 287874 | 11671 50017 151971 | 2147483647 287874 207 | 0.000 % |
341.76/342.10 c | 288052 | 11671 50017 151971 | 2147483647 288052 207 | 0.000 % |
342.26/342.54 c | 288249 | 11671 50017 151971 | 2147483647 288249 207 | 0.000 % |
342.75/343.03 c | 288463 | 11671 50017 151971 | 2147483647 288463 207 | 0.000 % |
343.25/343.53 c | 288696 | 11671 50017 151971 | 2147483647 288696 207 | 0.000 % |
343.75/344.02 c | 288955 | 11671 50017 151971 | 2147483647 288955 207 | 0.000 % |
344.36/344.62 c | 289236 | 11671 50017 151971 | 2147483647 289236 207 | 0.000 % |
344.96/345.28 c | 289546 | 11671 50017 151971 | 2147483647 289546 207 | 0.000 % |
345.76/346.02 c | 289885 | 11671 50017 151971 | 2147483647 289885 207 | 0.000 % |
346.46/346.78 c | 290258 | 11671 50017 151971 | 2147483647 290258 207 | 0.000 % |
347.36/347.68 c | 290668 | 11671 50017 151971 | 2147483647 290668 207 | 0.000 % |
348.25/348.58 c | 291117 | 11671 50017 151971 | 2147483647 291117 207 | 0.000 % |
349.25/349.57 c | 291610 | 11671 50017 151971 | 2147483647 291610 207 | 0.000 % |
350.45/350.75 c | 292152 | 11671 50017 151971 | 2147483647 292152 207 | 0.000 % |
351.75/352.01 c | 292748 | 11671 50017 151971 | 2147483647 292748 207 | 0.000 % |
353.05/353.34 c | 293403 | 11671 50017 151971 | 2147483647 293403 207 | 0.000 % |
354.55/354.81 c | 294124 | 11671 50017 151971 | 2147483647 294124 207 | 0.000 % |
356.05/356.39 c | 294917 | 11671 50017 151971 | 2147483647 294917 207 | 0.000 % |
357.85/358.12 c | 295788 | 11671 50017 151971 | 2147483647 295788 207 | 0.000 % |
359.65/359.99 c | 296748 | 11671 50017 151971 | 2147483647 296748 207 | 0.000 % |
361.75/362.05 c | 297802 | 11671 50017 151971 | 2147483647 297802 207 | 0.000 % |
363.94/364.28 c | 298960 | 11671 50017 151971 | 2147483647 298960 207 | 0.000 % |
366.45/366.74 c | 300233 | 11671 50017 151971 | 2147483647 300233 207 | 0.000 % |
369.05/369.33 c | 301633 | 11671 50017 151971 | 2147483647 301633 207 | 0.000 % |
371.84/372.16 c | 303174 | 11671 50017 151971 | 2147483647 303174 207 | 0.000 % |
375.14/375.46 c | 304868 | 11671 50017 151971 | 2147483647 304868 208 | 0.000 % |
378.74/379.02 c | 306731 | 11671 50017 151971 | 2147483647 306731 208 | 0.000 % |
382.73/383.02 c | 308780 | 11671 50017 151971 | 2147483647 308780 208 | 0.000 % |
386.84/387.16 c | 311033 | 11671 50017 151971 | 2147483647 311033 208 | 0.000 % |
391.53/391.82 c | 313511 | 11671 50017 151971 | 2147483647 313511 209 | 0.000 % |
396.93/397.26 c | 316237 | 11671 50017 151971 | 2147483647 316237 209 | 0.000 % |
402.92/403.24 c | 319236 | 11671 50017 151971 | 2147483647 319236 209 | 0.000 % |
403.23/403.52 c | 319339 | 11671 50017 151971 | 2147483647 319339 209 | 0.000 % |
403.53/403.81 c | 319449 | 11671 50017 151971 | 2147483647 319449 209 | 0.000 % |
403.82/404.17 c | 319570 | 11671 50017 151971 | 2147483647 319570 209 | 0.000 % |
404.22/404.56 c | 319704 | 11671 50017 151971 | 2147483647 319704 209 | 0.000 % |
404.63/404.93 c | 319852 | 11671 50017 151971 | 2147483647 319852 209 | 0.000 % |
405.03/405.31 c | 320013 | 11671 50017 151971 | 2147483647 320013 209 | 0.000 % |
405.53/405.81 c | 320189 | 11671 50017 151971 | 2147483647 320189 209 | 0.000 % |
406.03/406.30 c | 320384 | 11671 50017 151971 | 2147483647 320384 209 | 0.000 % |
406.53/406.85 c | 320598 | 11671 50017 151971 | 2147483647 320598 209 | 0.000 % |
407.13/407.45 c | 320833 | 11671 50017 151971 | 2147483647 320833 209 | 0.000 % |
407.83/408.12 c | 321090 | 11671 50017 151971 | 2147483647 321090 209 | 0.000 % |
408.43/408.76 c | 321372 | 11671 50017 151971 | 2147483647 321372 209 | 0.000 % |
409.22/409.56 c | 321681 | 11671 50017 151971 | 2147483647 321681 209 | 0.000 % |
410.03/410.32 c | 322020 | 11671 50017 151971 | 2147483647 322020 209 | 0.000 % |
410.92/411.22 c | 322393 | 11671 50017 151971 | 2147483647 322393 209 | 0.000 % |
411.72/412.08 c | 322804 | 11671 50017 151971 | 2147483647 322804 209 | 0.000 % |
412.82/413.12 c | 323253 | 11671 50017 151971 | 2147483647 323253 209 | 0.000 % |
413.92/414.25 c | 323747 | 11671 50017 151971 | 2147483647 323747 209 | 0.000 % |
415.12/415.43 c | 324293 | 11671 50017 151971 | 2147483647 324293 209 | 0.000 % |
416.31/416.67 c | 324889 | 11671 50017 151971 | 2147483647 324889 209 | 0.000 % |
417.81/418.10 c | 325544 | 11671 50017 151971 | 2147483647 325544 209 | 0.000 % |
419.41/419.79 c | 326265 | 11671 50017 151971 | 2147483647 326265 209 | 0.000 % |
421.11/421.48 c | 327058 | 11671 50017 151971 | 2147483647 327058 209 | 0.000 % |
423.22/423.51 c | 327929 | 11671 50017 151971 | 2147483647 327929 209 | 0.000 % |
425.21/425.58 c | 328887 | 11671 50017 151971 | 2147483647 328887 209 | 0.000 % |
427.52/427.80 c | 329941 | 11671 50017 151971 | 2147483647 329941 209 | 0.000 % |
429.81/430.19 c | 331099 | 11671 50017 151971 | 2147483647 331099 209 | 0.000 % |
432.61/432.99 c | 332373 | 11671 50017 151971 | 2147483647 332373 209 | 0.000 % |
435.61/435.96 c | 333775 | 11671 50017 151971 | 2147483647 333775 209 | 0.000 % |
438.71/439.06 c | 335315 | 11671 50017 151971 | 2147483647 335315 209 | 0.000 % |
442.51/442.83 c | 337009 | 11671 50017 151971 | 2147483647 337009 209 | 0.000 % |
446.71/447.00 c | 338872 | 11671 50017 151971 | 2147483647 338872 209 | 0.000 % |
450.90/451.29 c | 340923 | 11671 50017 151971 | 2147483647 340923 209 | 0.000 % |
455.80/456.11 c | 343177 | 11671 50017 151971 | 2147483647 343177 209 | 0.000 % |
460.79/461.11 c | 345655 | 11671 50017 151971 | 2147483647 345655 209 | 0.000 % |
466.59/466.92 c | 348381 | 11671 50017 151971 | 2147483647 348381 210 | 0.000 % |
472.79/473.13 c | 351379 | 11671 50017 151971 | 2147483647 351379 210 | 0.000 % |
479.89/480.26 c | 354676 | 11671 50017 151971 | 2147483647 354676 210 | 0.000 % |
480.19/480.56 c | 354776 | 11671 50017 151971 | 2147483647 354776 210 | 0.000 % |
480.49/480.86 c | 354886 | 11671 50017 151971 | 2147483647 354886 210 | 0.000 % |
480.79/481.20 c | 355007 | 11671 50017 151971 | 2147483647 355007 210 | 0.000 % |
481.29/481.63 c | 355142 | 11671 50017 151971 | 2147483647 355142 210 | 0.000 % |
481.59/481.98 c | 355288 | 11671 50017 151971 | 2147483647 355288 210 | 0.000 % |
482.09/482.42 c | 355450 | 11671 50017 151971 | 2147483647 355450 210 | 0.000 % |
482.49/482.81 c | 355626 | 11671 50017 151971 | 2147483647 355626 210 | 0.000 % |
482.98/483.36 c | 355819 | 11671 50017 151971 | 2147483647 355819 210 | 0.000 % |
483.48/483.88 c | 356031 | 11671 50017 151971 | 2147483647 356031 210 | 0.000 % |
484.19/484.51 c | 356264 | 11671 50017 151971 | 2147483647 356264 210 | 0.000 % |
484.79/485.17 c | 356521 | 11671 50017 151971 | 2147483647 356521 210 | 0.000 % |
485.59/485.91 c | 356802 | 11671 50017 151971 | 2147483647 356802 210 | 0.000 % |
486.29/486.66 c | 357112 | 11671 50017 151971 | 2147483647 357112 210 | 0.000 % |
487.09/487.48 c | 357452 | 11671 50017 151971 | 2147483647 357452 210 | 0.000 % |
487.99/488.40 c | 357825 | 11671 50017 151971 | 2147483647 357825 210 | 0.000 % |
489.09/489.42 c | 358234 | 11671 50017 151971 | 2147483647 358234 210 | 0.000 % |
490.09/490.48 c | 358684 | 11671 50017 151971 | 2147483647 358684 210 | 0.000 % |
491.39/491.74 c | 359178 | 11671 50017 151971 | 2147483647 359178 210 | 0.000 % |
492.68/493.03 c | 359720 | 11671 50017 151971 | 2147483647 359720 210 | 0.000 % |
494.08/494.44 c | 360318 | 11671 50017 151971 | 2147483647 360318 210 | 0.000 % |
495.58/495.94 c | 360975 | 11671 50017 151971 | 2147483647 360975 210 | 0.000 % |
497.18/497.57 c | 361695 | 11671 50017 151971 | 2147483647 361695 210 | 0.000 % |
498.89/499.26 c | 362487 | 11671 50017 151971 | 2147483647 362487 210 | 0.000 % |
501.08/501.41 c | 363358 | 11671 50017 151971 | 2147483647 363358 210 | 0.000 % |
503.18/503.58 c | 364317 | 11671 50017 151971 | 2147483647 364317 210 | 0.000 % |
505.48/505.88 c | 365370 | 11671 50017 151971 | 2147483647 365370 210 | 0.000 % |
508.07/508.49 c | 366528 | 11671 50017 151971 | 2147483647 366528 210 | 0.000 % |
510.97/511.34 c | 367804 | 11671 50017 151971 | 2147483647 367804 210 | 0.000 % |
513.97/514.33 c | 369204 | 11671 50017 151971 | 2147483647 369204 210 | 0.000 % |
517.37/517.74 c | 370744 | 11671 50017 151971 | 2147483647 370744 210 | 0.000 % |
521.07/521.48 c | 372438 | 11671 50017 151971 | 2147483647 372438 210 | 0.000 % |
525.16/525.57 c | 374302 | 11671 50017 151971 | 2147483647 374302 211 | 0.000 % |
529.67/530.06 c | 376353 | 11671 50017 151971 | 2147483647 376353 211 | 0.000 % |
534.76/535.18 c | 378606 | 11671 50017 151971 | 2147483647 378606 211 | 0.000 % |
540.16/540.51 c | 381085 | 11671 50017 151971 | 2147483647 381085 211 | 0.000 % |
546.46/546.83 c | 383810 | 11671 50017 151971 | 2147483647 383810 212 | 0.000 % |
552.95/553.35 c | 386808 | 11671 50017 151971 | 2147483647 386808 212 | 0.000 % |
560.25/560.67 c | 390105 | 11671 50017 151971 | 2147483647 390105 212 | 0.000 % |
568.35/568.73 c | 393732 | 11671 50017 151971 | 2147483647 393732 213 | 0.000 % |
568.65/569.02 c | 393835 | 11671 50017 151971 | 2147483647 393835 213 | 0.000 % |
568.95/569.38 c | 393945 | 11671 50017 151971 | 2147483647 393945 213 | 0.000 % |
569.35/569.77 c | 394066 | 11671 50017 151971 | 2147483647 394066 213 | 0.000 % |
569.85/570.23 c | 394199 | 11671 50017 151971 | 2147483647 394199 213 | 0.000 % |
570.25/570.67 c | 394346 | 11671 50017 151971 | 2147483647 394346 213 | 0.000 % |
570.75/571.16 c | 394506 | 11671 50017 151971 | 2147483647 394506 213 | 0.000 % |
571.34/571.74 c | 394683 | 11671 50017 151971 | 2147483647 394683 213 | 0.000 % |
571.94/572.34 c | 394878 | 11671 50017 151971 | 2147483647 394878 213 | 0.000 % |
572.54/572.98 c | 395090 | 11671 50017 151971 | 2147483647 395090 213 | 0.000 % |
573.34/573.77 c | 395324 | 11671 50017 151971 | 2147483647 395324 213 | 0.000 % |
574.14/574.50 c | 395580 | 11671 50017 151971 | 2147483647 395580 213 | 0.000 % |
574.94/575.40 c | 395863 | 11671 50017 151971 | 2147483647 395863 213 | 0.000 % |
575.94/576.35 c | 396172 | 11671 50017 151971 | 2147483647 396172 213 | 0.000 % |
576.94/577.35 c | 396512 | 11671 50017 151971 | 2147483647 396512 213 | 0.000 % |
578.04/578.45 c | 396884 | 11671 50017 151971 | 2147483647 396884 213 | 0.000 % |
579.15/579.58 c | 397293 | 11671 50017 151971 | 2147483647 397293 213 | 0.000 % |
580.45/580.86 c | 397742 | 11671 50017 151971 | 2147483647 397742 213 | 0.000 % |
581.74/582.18 c | 398238 | 11671 50017 151971 | 2147483647 398238 213 | 0.000 % |
583.14/583.52 c | 398787 | 11671 50017 151971 | 2147483647 398787 213 | 0.000 % |
584.54/584.91 c | 399383 | 11671 50017 151971 | 2147483647 399383 213 | 0.000 % |
586.14/586.50 c | 400038 | 11671 50017 151971 | 2147483647 400038 213 | 0.000 % |
587.94/588.38 c | 400758 | 11671 50017 151971 | 2147483647 400758 213 | 0.000 % |
589.94/590.36 c | 401551 | 11671 50017 151971 | 2147483647 401551 213 | 0.000 % |
592.44/592.81 c | 402422 | 11671 50017 151971 | 2147483647 402422 213 | 0.000 % |
594.75/595.14 c | 403383 | 11671 50017 151971 | 2147483647 403383 213 | 0.000 % |
597.33/597.75 c | 404437 | 11671 50017 151971 | 2147483647 404437 213 | 0.000 % |
600.23/600.60 c | 405595 | 11671 50017 151971 | 2147483647 405595 213 | 0.000 % |
603.33/603.74 c | 406870 | 11671 50017 151971 | 2147483647 406870 213 | 0.000 % |
606.83/607.23 c | 408271 | 11671 50017 151971 | 2147483647 408271 213 | 0.000 % |
610.73/611.15 c | 409814 | 11671 50017 151971 | 2147483647 409814 213 | 0.000 % |
614.63/615.09 c | 411508 | 11671 50017 151971 | 2147483647 411508 214 | 0.000 % |
619.42/619.85 c | 413372 | 11671 50017 151971 | 2147483647 413372 214 | 0.000 % |
624.52/624.96 c | 415422 | 11671 50017 151971 | 2147483647 415422 214 | 0.000 % |
630.02/630.45 c | 417675 | 11671 50017 151971 | 2147483647 417675 214 | 0.000 % |
635.91/636.34 c | 420153 | 11671 50017 151971 | 2147483647 420153 214 | 0.000 % |
642.61/643.10 c | 422878 | 11671 50017 151971 | 2147483647 422878 214 | 0.000 % |
650.31/650.74 c | 425875 | 11671 50017 151971 | 2147483647 425875 214 | 0.000 % |
658.70/659.19 c | 429171 | 11671 50017 151971 | 2147483647 429171 215 | 0.000 % |
667.30/667.74 c | 432797 | 11671 50017 151971 | 2147483647 432797 215 | 0.000 % |
677.21/677.67 c | 436784 | 11671 50017 151971 | 2147483647 436784 215 | 0.000 % |
677.51/677.99 c | 436885 | 11671 50017 151971 | 2147483647 436885 215 | 0.000 % |
677.90/678.40 c | 436995 | 11671 50017 151971 | 2147483647 436995 215 | 0.000 % |
678.40/678.84 c | 437119 | 11671 50017 151971 | 2147483647 437119 215 | 0.000 % |
678.90/679.31 c | 437253 | 11671 50017 151971 | 2147483647 437253 215 | 0.000 % |
679.40/679.81 c | 437401 | 11671 50017 151971 | 2147483647 437401 215 | 0.000 % |
679.90/680.33 c | 437561 | 11671 50017 151971 | 2147483647 437561 215 | 0.000 % |
680.50/680.94 c | 437737 | 11671 50017 151971 | 2147483647 437737 215 | 0.000 % |
681.20/681.60 c | 437930 | 11671 50017 151971 | 2147483647 437930 215 | 0.000 % |
681.80/682.22 c | 438144 | 11671 50017 151971 | 2147483647 438144 215 | 0.000 % |
682.50/682.97 c | 438377 | 11671 50017 151971 | 2147483647 438377 215 | 0.000 % |
683.30/683.70 c | 438634 | 11671 50017 151971 | 2147483647 438634 215 | 0.000 % |
684.00/684.47 c | 438915 | 11671 50017 151971 | 2147483647 438915 215 | 0.000 % |
684.90/685.34 c | 439224 | 11671 50017 151971 | 2147483647 439224 215 | 0.000 % |
685.89/686.39 c | 439563 | 11671 50017 151971 | 2147483647 439563 215 | 0.000 % |
687.09/687.59 c | 439935 | 11671 50017 151971 | 2147483647 439935 215 | 0.000 % |
688.29/688.79 c | 440346 | 11671 50017 151971 | 2147483647 440346 215 | 0.000 % |
689.69/690.15 c | 440797 | 11671 50017 151971 | 2147483647 440797 215 | 0.000 % |
691.19/691.63 c | 441290 | 11671 50017 151971 | 2147483647 441290 215 | 0.000 % |
692.69/693.17 c | 441832 | 11671 50017 151971 | 2147483647 441832 215 | 0.000 % |
694.29/694.73 c | 442428 | 11671 50017 151971 | 2147483647 442428 215 | 0.000 % |
696.08/696.57 c | 443084 | 11671 50017 151971 | 2147483647 443084 215 | 0.000 % |
698.19/698.68 c | 443805 | 11671 50017 151971 | 2147483647 443805 215 | 0.000 % |
700.38/700.84 c | 444599 | 11671 50017 151971 | 2147483647 444599 215 | 0.000 % |
702.99/703.43 c | 445470 | 11671 50017 151971 | 2147483647 445470 215 | 0.000 % |
705.48/705.97 c | 446429 | 11671 50017 151971 | 2147483647 446429 215 | 0.000 % |
708.38/708.86 c | 447483 | 11671 50017 151971 | 2147483647 447483 215 | 0.000 % |
711.58/712.06 c | 448641 | 11671 50017 151971 | 2147483647 448641 215 | 0.000 % |
715.18/715.62 c | 449915 | 11671 50017 151971 | 2147483647 449915 215 | 0.000 % |
718.99/719.43 c | 451316 | 11671 50017 151971 | 2147483647 451316 215 | 0.000 % |
723.18/723.65 c | 452856 | 11671 50017 151971 | 2147483647 452856 215 | 0.000 % |
727.48/727.95 c | 454550 | 11671 50017 151971 | 2147483647 454550 215 | 0.000 % |
732.57/733.06 c | 456413 | 11671 50017 151971 | 2147483647 456413 215 | 0.000 % |
737.97/738.47 c | 458464 | 11671 50017 151971 | 2147483647 458464 215 | 0.000 % |
744.07/744.55 c | 460717 | 11671 50017 151971 | 2147483647 460717 216 | 0.000 % |
750.57/751.09 c | 463195 | 11671 50017 151971 | 2147483647 463195 216 | 0.000 % |
757.76/758.24 c | 465920 | 11671 50017 151971 | 2147483647 465920 216 | 0.000 % |
765.96/766.40 c | 468917 | 11671 50017 151971 | 2147483647 468917 216 | 0.000 % |
774.46/774.99 c | 472214 | 11671 50017 151971 | 2147483647 472214 216 | 0.000 % |
784.15/784.63 c | 475839 | 11671 50017 151971 | 2147483647 475839 217 | 0.000 % |
794.95/795.43 c | 479826 | 11671 50017 151971 | 2147483647 479826 217 | 0.000 % |
806.74/807.21 c | 484212 | 11671 50017 151971 | 2147483647 484212 217 | 0.000 % |
807.04/807.53 c | 484314 | 11671 50017 151971 | 2147483647 484314 217 | 0.000 % |
807.44/807.96 c | 484425 | 11671 50017 151971 | 2147483647 484425 217 | 0.000 % |
807.94/808.43 c | 484546 | 11671 50017 151971 | 2147483647 484546 217 | 0.000 % |
808.44/808.92 c | 484679 | 11671 50017 151971 | 2147483647 484679 217 | 0.000 % |
809.04/809.51 c | 484825 | 11671 50017 151971 | 2147483647 484825 217 | 0.000 % |
809.64/810.13 c | 484986 | 11671 50017 151971 | 2147483647 484986 217 | 0.000 % |
810.24/810.76 c | 485162 | 11671 50017 151971 | 2147483647 485162 217 | 0.000 % |
810.94/811.41 c | 485357 | 11671 50017 151971 | 2147483647 485357 217 | 0.000 % |
811.53/812.09 c | 485571 | 11671 50017 151971 | 2147483647 485571 217 | 0.000 % |
812.45/812.96 c | 485804 | 11671 50017 151971 | 2147483647 485804 217 | 0.000 % |
813.34/813.85 c | 486061 | 11671 50017 151971 | 2147483647 486061 217 | 0.000 % |
814.24/814.79 c | 486343 | 11671 50017 151971 | 2147483647 486343 217 | 0.000 % |
815.24/815.78 c | 486652 | 11671 50017 151971 | 2147483647 486652 217 | 0.000 % |
816.44/816.90 c | 486991 | 11671 50017 151971 | 2147483647 486991 217 | 0.000 % |
817.53/818.09 c | 487365 | 11671 50017 151971 | 2147483647 487365 217 | 0.000 % |
818.94/819.45 c | 487775 | 11671 50017 151971 | 2147483647 487775 217 | 0.000 % |
820.44/820.90 c | 488224 | 11671 50017 151971 | 2147483647 488224 217 | 0.000 % |
821.83/822.32 c | 488719 | 11671 50017 151971 | 2147483647 488719 217 | 0.000 % |
823.44/823.95 c | 489261 | 11671 50017 151971 | 2147483647 489261 217 | 0.000 % |
825.33/825.81 c | 489857 | 11671 50017 151971 | 2147483647 489857 217 | 0.000 % |
827.22/827.75 c | 490512 | 11671 50017 151971 | 2147483647 490512 217 | 0.000 % |
829.53/830.07 c | 491232 | 11671 50017 151971 | 2147483647 491232 217 | 0.000 % |
831.93/832.44 c | 492024 | 11671 50017 151971 | 2147483647 492024 217 | 0.000 % |
834.72/835.27 c | 492896 | 11671 50017 151971 | 2147483647 492896 217 | 0.000 % |
837.82/838.36 c | 493854 | 11671 50017 151971 | 2147483647 493854 217 | 0.000 % |
841.12/841.68 c | 494907 | 11671 50017 151971 | 2147483647 494907 217 | 0.000 % |
844.62/845.11 c | 496065 | 11671 50017 151971 | 2147483647 496065 217 | 0.000 % |
848.32/848.82 c | 497340 | 11671 50017 151971 | 2147483647 497340 217 | 0.000 % |
852.52/853.08 c | 498740 | 11671 50017 151971 | 2147483647 498740 217 | 0.000 % |
857.02/857.50 c | 500280 | 11671 50017 151971 | 2147483647 500280 217 | 0.000 % |
862.42/862.91 c | 501976 | 11671 50017 151971 | 2147483647 501976 217 | 0.000 % |
867.81/868.36 c | 503840 | 11671 50017 151971 | 2147483647 503840 217 | 0.000 % |
873.71/874.23 c | 505889 | 11671 50017 151971 | 2147483647 505889 217 | 0.000 % |
880.00/880.52 c | 508143 | 11671 50017 151971 | 2147483647 508143 217 | 0.000 % |
887.21/887.71 c | 510621 | 11671 50017 151971 | 2147483647 510621 217 | 0.000 % |
894.80/895.32 c | 513346 | 11671 50017 151971 | 2147483647 513346 217 | 0.000 % |
903.71/904.27 c | 516344 | 11671 50017 151971 | 2147483647 516344 218 | 0.000 % |
913.19/913.79 c | 519640 | 11671 50017 151971 | 2147483647 519640 217 | 0.000 % |
923.39/923.91 c | 523267 | 11671 50017 151971 | 2147483647 523267 218 | 0.000 % |
934.59/935.11 c | 527256 | 11671 50017 151971 | 2147483647 527256 218 | 0.000 % |
946.28/946.80 c | 531642 | 11671 50017 151971 | 2147483647 531642 219 | 0.000 % |
960.07/960.61 c | 536467 | 11671 50017 151971 | 2147483647 536467 219 | 0.000 % |
960.37/960.96 c | 536567 | 11671 50017 151971 | 2147483647 536567 219 | 0.000 % |
960.87/961.48 c | 536677 | 11671 50017 151971 | 2147483647 536677 219 | 0.000 % |
961.37/961.98 c | 536800 | 11671 50017 151971 | 2147483647 536800 219 | 0.000 % |
961.87/962.47 c | 536933 | 11671 50017 151971 | 2147483647 536933 219 | 0.000 % |
962.47/963.06 c | 537079 | 11671 50017 151971 | 2147483647 537079 219 | 0.000 % |
963.17/963.79 c | 537239 | 11671 50017 151971 | 2147483647 537239 219 | 0.000 % |
963.97/964.50 c | 537415 | 11671 50017 151971 | 2147483647 537415 219 | 0.000 % |
964.67/965.20 c | 537608 | 11671 50017 151971 | 2147483647 537608 219 | 0.000 % |
965.57/966.10 c | 537820 | 11671 50017 151971 | 2147483647 537820 219 | 0.000 % |
966.47/967.01 c | 538055 | 11671 50017 151971 | 2147483647 538055 219 | 0.000 % |
967.47/968.07 c | 538313 | 11671 50017 151971 | 2147483647 538313 219 | 0.000 % |
968.57/969.15 c | 538596 | 11671 50017 151971 | 2147483647 538596 219 | 0.000 % |
969.76/970.32 c | 538907 | 11671 50017 151971 | 2147483647 538907 219 | 0.000 % |
970.86/971.45 c | 539247 | 11671 50017 151971 | 2147483647 539247 219 | 0.000 % |
972.27/972.89 c | 539620 | 11671 50017 151971 | 2147483647 539620 219 | 0.000 % |
973.87/974.41 c | 540029 | 11671 50017 151971 | 2147483647 540029 219 | 0.000 % |
975.46/976.08 c | 540478 | 11671 50017 151971 | 2147483647 540478 219 | 0.000 % |
977.16/977.79 c | 540974 | 11671 50017 151971 | 2147483647 540974 219 | 0.000 % |
979.16/979.78 c | 541517 | 11671 50017 151971 | 2147483647 541517 219 | 0.000 % |
981.37/981.99 c | 542113 | 11671 50017 151971 | 2147483647 542113 219 | 0.000 % |
983.56/984.18 c | 542768 | 11671 50017 151971 | 2147483647 542768 219 | 0.000 % |
986.07/986.60 c | 543489 | 11671 50017 151971 | 2147483647 543489 219 | 0.000 % |
988.66/989.28 c | 544281 | 11671 50017 151971 | 2147483647 544281 219 | 0.000 % |
991.76/992.30 c | 545153 | 11671 50017 151971 | 2147483647 545153 219 | 0.000 % |
994.87/995.40 c | 546111 | 11671 50017 151971 | 2147483647 546111 219 | 0.000 % |
998.46/999.04 c | 547164 | 11671 50017 151971 | 2147483647 547164 219 | 0.000 % |
1002.25/1002.81 c | 548322 | 11671 50017 151971 | 2147483647 548322 219 | 0.000 % |
1006.55/1007.17 c | 549596 | 11671 50017 151971 | 2147483647 549596 219 | 0.000 % |
1011.15/1011.73 c | 550996 | 11671 50017 151971 | 2147483647 550996 219 | 0.000 % |
1016.15/1016.78 c | 552536 | 11671 50017 151971 | 2147483647 552536 219 | 0.000 % |
1021.64/1022.23 c | 554231 | 11671 50017 151971 | 2147483647 554231 219 | 0.000 % |
1027.75/1028.32 c | 556096 | 11671 50017 151971 | 2147483647 556096 219 | 0.000 % |
1034.25/1034.89 c | 558147 | 11671 50017 151971 | 2147483647 558147 219 | 0.000 % |
1041.24/1041.90 c | 560403 | 11671 50017 151971 | 2147483647 560403 220 | 0.000 % |
1048.94/1049.57 c | 562883 | 11671 50017 151971 | 2147483647 562883 220 | 0.000 % |
1057.43/1058.07 c | 565611 | 11671 50017 151971 | 2147483647 565611 220 | 0.000 % |
1066.93/1067.50 c | 568608 | 11671 50017 151971 | 2147483647 568608 220 | 0.000 % |
1077.22/1077.85 c | 571904 | 11671 50017 151971 | 2147483647 571904 220 | 0.000 % |
1088.22/1088.85 c | 575529 | 11671 50017 151971 | 2147483647 575529 220 | 0.000 % |
1101.31/1101.91 c | 579517 | 11671 50017 151971 | 2147483647 579517 220 | 0.000 % |
1115.11/1115.75 c | 583905 | 11671 50017 151971 | 2147483647 583905 220 | 0.000 % |
1130.01/1130.62 c | 588730 | 11671 50017 151971 | 2147483647 588730 221 | 0.000 % |
1146.20/1146.82 c | 594036 | 11671 50017 151971 | 2147483647 594036 221 | 0.000 % |
1146.60/1147.29 c | 594136 | 11671 50017 151971 | 2147483647 594136 221 | 0.000 % |
1147.20/1147.87 c | 594246 | 11671 50017 151971 | 2147483647 594246 221 | 0.000 % |
1147.80/1148.41 c | 594368 | 11671 50017 151971 | 2147483647 594368 221 | 0.000 % |
1148.40/1149.03 c | 594501 | 11671 50017 151971 | 2147483647 594501 221 | 0.000 % |
1149.10/1149.77 c | 594648 | 11671 50017 151971 | 2147483647 594648 221 | 0.000 % |
1149.80/1150.41 c | 594810 | 11671 50017 151971 | 2147483647 594810 221 | 0.000 % |
1150.50/1151.18 c | 594986 | 11671 50017 151971 | 2147483647 594986 221 | 0.000 % |
1151.40/1152.09 c | 595179 | 11671 50017 151971 | 2147483647 595179 221 | 0.000 % |
1152.39/1153.04 c | 595393 | 11671 50017 151971 | 2147483647 595393 221 | 0.000 % |
1153.39/1154.06 c | 595626 | 11671 50017 151971 | 2147483647 595626 221 | 0.000 % |
1154.40/1155.03 c | 595883 | 11671 50017 151971 | 2147483647 595883 221 | 0.000 % |
1155.29/1155.93 c | 596168 | 11671 50017 151971 | 2147483647 596168 221 | 0.000 % |
1156.49/1157.12 c | 596478 | 11671 50017 151971 | 2147483647 596478 221 | 0.000 % |
1157.89/1158.53 c | 596820 | 11671 50017 151971 | 2147483647 596820 221 | 0.000 % |
1159.29/1159.97 c | 597192 | 11671 50017 151971 | 2147483647 597192 221 | 0.000 % |
1160.79/1161.40 c | 597603 | 11671 50017 151971 | 2147483647 597603 221 | 0.000 % |
1162.49/1163.12 c | 598055 | 11671 50017 151971 | 2147483647 598055 221 | 0.000 % |
1164.39/1165.04 c | 598551 | 11671 50017 151971 | 2147483647 598551 221 | 0.000 % |
1166.59/1167.29 c | 599095 | 11671 50017 151971 | 2147483647 599095 221 | 0.000 % |
1168.99/1169.65 c | 599693 | 11671 50017 151971 | 2147483647 599693 221 | 0.000 % |
1171.49/1172.19 c | 600350 | 11671 50017 151971 | 2147483647 600350 221 | 0.000 % |
1174.28/1174.99 c | 601070 | 11671 50017 151971 | 2147483647 601070 221 | 0.000 % |
1177.39/1178.03 c | 601862 | 11671 50017 151971 | 2147483647 601862 221 | 0.000 % |
1180.58/1181.27 c | 602734 | 11671 50017 151971 | 2147483647 602734 221 | 0.000 % |
1184.17/1184.82 c | 603696 | 11671 50017 151971 | 2147483647 603696 221 | 0.000 % |
1187.68/1188.32 c | 604750 | 11671 50017 151971 | 2147483647 604750 221 | 0.000 % |
1191.48/1192.19 c | 605910 | 11671 50017 151971 | 2147483647 605910 221 | 0.000 % |
1196.08/1196.75 c | 607184 | 11671 50017 151971 | 2147483647 607184 221 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832805-1242788183/watcher-1832805-1242788183 -o /tmp/evaluation-result-1832805-1242788183/solver-1832805-1242788183 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832805-1242788183.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: 1.00 1.03 1.00 3/65 19626
/proc/meminfo: memFree=1789544/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306848288 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 234046062674 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/19626/statm: 1339 236 196 169 0 50 0
[startup+0.079795 s]
/proc/loadavg: 1.00 1.03 1.00 3/65 19626
/proc/meminfo: memFree=1789544/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306848288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19626/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102794 s]
/proc/loadavg: 1.00 1.03 1.00 3/65 19626
/proc/meminfo: memFree=1789544/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306848288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19626/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301811 s]
/proc/loadavg: 1.00 1.03 1.00 3/65 19626
/proc/meminfo: memFree=1789544/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+0.701846 s]
/proc/loadavg: 1.00 1.03 1.00 3/65 19626
/proc/meminfo: memFree=1789544/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+1.50293 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 19632
/proc/meminfo: memFree=1782872/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=7204 CPUtime=1.27
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 1641 0 0 0 127 0 0 0 25 0 1 0 306848311 7376896 1627 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 1801 1627 77 171 0 1628 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12560
[startup+3.1011 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 19632
/proc/meminfo: memFree=1780696/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=9984 CPUtime=2.86
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 2343 0 0 0 286 0 0 0 25 0 1 0 306848311 10223616 2329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 2496 2329 77 171 0 2323 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15340
[startup+6.30143 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 19632
/proc/meminfo: memFree=1775056/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=15168 CPUtime=6.06
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 3649 0 0 0 605 1 0 0 25 0 1 0 306848311 15532032 3635 1992294400 134512640 135215339 4294956240 18446744073709551615 134724025 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 3792 3635 77 171 0 3619 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20524
[startup+12.7011 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 19632
/proc/meminfo: memFree=1765464/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=24432 CPUtime=12.44
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 5945 0 0 0 1241 3 0 0 25 0 1 0 306848311 25018368 5931 1992294400 134512640 135215339 4294956240 18446744073709551615 134525112 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 6108 5931 77 171 0 5935 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 29788
[startup+25.5014 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 19632
/proc/meminfo: memFree=1748888/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=40388 CPUtime=25.23
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 9919 0 0 0 2516 7 0 0 25 0 1 0 306848311 41357312 9905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 10097 9905 77 171 0 9924 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 45744
[startup+51.1011 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 19632
/proc/meminfo: memFree=1721624/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=68104 CPUtime=50.82
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 16873 0 0 0 5067 15 0 0 25 0 1 0 306848311 69738496 16859 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 17026 16859 77 171 0 16853 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 73460
[startup+102.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 19632
/proc/meminfo: memFree=1677400/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=111316 CPUtime=101.99
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 27673 0 0 0 10173 26 0 0 25 0 1 0 306848311 113987584 27659 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 27829 27659 77 171 0 27656 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 116672
[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 19632
/proc/meminfo: memFree=1637784/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=151052 CPUtime=161.95
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 37603 0 0 0 16157 38 0 0 25 0 1 0 306848311 154677248 37589 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 37763 37589 77 171 0 37590 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 156408
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 19632
/proc/meminfo: memFree=1601176/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=187364 CPUtime=221.92
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 46608 0 0 0 22143 49 0 0 25 0 1 0 306848311 191860736 46594 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 46841 46594 77 171 0 46668 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 192720
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1567688/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=220760 CPUtime=281.88
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 54993 0 0 0 28129 59 0 0 25 0 1 0 306848311 226058240 54979 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19632/statm: 55190 54979 77 171 0 55017 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 226116
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1537880/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=250068 CPUtime=341.85
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 62339 0 0 0 34119 66 0 0 25 0 1 0 306848311 256069632 62325 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 62517 62325 77 171 0 62344 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 255424
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1510296/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=278396 CPUtime=401.82
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 69304 0 0 0 40109 73 0 0 25 0 1 0 306848311 285077504 69290 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 69599 69290 77 171 0 69426 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 283752
[startup+462.301 s]
################
# More data... #
################
/proc/19632/statm: 88178 87939 77 171 0 88005 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 358068
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1411032/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=376208 CPUtime=641.71
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 93857 0 0 0 64067 104 0 0 25 0 1 0 306848311 385236992 93843 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 94052 93843 77 171 0 93879 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 381564
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1389976/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=397196 CPUtime=701.68
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 99129 0 0 0 70057 111 0 0 25 0 1 0 306848311 406728704 99115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 99299 99115 77 171 0 99126 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 402552
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1368856/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=418964 CPUtime=761.66
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 104355 0 0 0 76050 116 0 0 25 0 1 0 306848311 429019136 104341 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 104741 104341 77 171 0 104568 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 424320
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1347864/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=439952 CPUtime=821.62
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 109625 0 0 0 82040 122 0 0 25 0 1 0 306848311 450510848 109611 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 109988 109611 77 171 0 109815 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 445308
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1329304/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=458036 CPUtime=881.6
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 114183 0 0 0 88032 128 0 0 25 0 1 0 306848311 469028864 114169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 114509 114169 77 171 0 114336 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 463392
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1307544/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=480080 CPUtime=941.57
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 119708 0 0 0 94022 135 0 0 25 0 1 0 306848311 491601920 119694 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 120020 119694 77 171 0 119847 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 485436
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1289496/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=497504 CPUtime=1001.54
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 124076 0 0 0 100014 140 0 0 25 0 1 0 306848311 509444096 124062 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 124376 124062 77 171 0 124203 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 502860
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1272088/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=515060 CPUtime=1061.52
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 128473 0 0 0 106007 145 0 0 25 0 1 0 306848311 527421440 128459 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 128765 128459 77 171 0 128592 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 520416
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1252888/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=533804 CPUtime=1121.5
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 133182 0 0 0 112001 149 0 0 25 0 1 0 306848311 546615296 133168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 133451 133168 77 171 0 133278 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 539160
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1236312/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=550304 CPUtime=1181.47
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 137328 0 0 0 117993 154 0 0 25 0 1 0 306848311 563511296 137314 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 137576 137314 77 171 0 137403 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 555660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1230808/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=555452 CPUtime=1199.87
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 138635 0 0 0 119831 156 0 0 25 0 1 0 306848311 568782848 138621 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 138863 138622 77 171 0 138690 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 560808
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: 1.00 1.00 1.00 2/67 19638
/proc/meminfo: memFree=1230808/2055920 swapFree=4178336/4192956
[pid=19626] ppid=19624 vsize=5356 CPUtime=0.21
/proc/19626/stat : 19626 (SatELiteGTI) S 19624 19626 18960 0 -1 4194304 336 1840 0 0 0 0 20 1 15 0 1 0 306848288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19626/statm: 1339 239 197 169 0 50 0
[pid=19632] ppid=19626 vsize=555452 CPUtime=1199.87
/proc/19632/stat : 19632 (minisat_static) R 19626 19626 18960 0 -1 4194304 138635 0 0 0 119831 156 0 0 25 0 1 0 306848311 568782848 138621 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/19632/statm: 138863 138622 77 171 0 138690 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 560808
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19626 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=203968
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 0.220965
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.08
CPU user time (s): 1198.51
CPU system time (s): 1.57
CPU usage (%): 99.9474
Max. virtual memory (cumulated for all children) (KiB): 560808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.203968
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 10
runsolver used 1.13283 second user time and 3.33549 second system time
The end
Begin job on node79 at 2009-05-20 04:56:23
IDJOB=1832805
IDBENCH=70366
IDSOLVER=671
FILE ID=node79/1832805-1242788183
PBS_JOBID= 9322298
Free space on /tmp= 66332 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832805-1242788183/watcher-1832805-1242788183 -o /tmp/evaluation-result-1832805-1242788183/solver-1832805-1242788183 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832805-1242788183.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3489273d9d670dd6da5e410852c60205
RANDOM SEED=1105137007
node79.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1790088 kB
Buffers: 27956 kB
Cached: 188456 kB
SwapCached: 9348 kB
Active: 84056 kB
Inactive: 143732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1790088 kB
SwapTotal: 4192956 kB
SwapFree: 4178336 kB
Dirty: 2504 kB
Writeback: 0 kB
Mapped: 15564 kB
Slab: 24084 kB
Committed_AS: 1032168 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= 66332 MiB
End job on node79 at 2009-05-20 05:16:26