0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 42000 126000 | 12599 0 0 nan | 0.000 % |
0.00/0.13 c | 0 | 41727 126688 | -- 0 -- -- | -- | -273/688
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 9758 #clauses: 41727 #literals: 126688
0.00/0.14 c CPU time: 0.12698 s
0.00/0.14 c ==============================================================================
0.00/0.18 c This is MiniSat 2.0 beta
0.00/0.18 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.18 c ============================[ Problem Statistics ]=============================
0.00/0.18 c | |
0.00/0.18 c | Number of variables: 9758 |
0.00/0.18 c | Number of clauses: 41727 |
0.16/0.21 c | Parsing time: 0.02 s |
0.16/0.21 c ============================[ Search Statistics ]==============================
0.16/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.16/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.16/0.21 c ===============================================================================
0.16/0.21 c | 0 | 9758 41727 126688 | 13909 0 nan | 0.000 % |
0.16/0.24 c | 100 | 9758 41727 126688 | 13909 100 110 | 0.000 % |
0.16/0.27 c | 200 | 9758 41727 126688 | 13909 200 139 | 0.000 % |
0.16/0.29 c | 300 | 9758 41727 126688 | 13909 300 143 | 0.000 % |
0.16/0.33 c | 410 | 9758 41727 126688 | 13909 410 153 | 0.000 % |
0.16/0.36 c | 510 | 9758 41727 126688 | 13909 510 152 | 0.000 % |
0.16/0.40 c | 621 | 9758 41727 126688 | 13909 621 145 | 0.000 % |
0.16/0.44 c | 743 | 9758 41727 126688 | 13909 743 138 | 0.000 % |
0.16/0.47 c | 844 | 9758 41727 126688 | 13909 844 136 | 0.000 % |
0.16/0.50 c | 955 | 9758 41727 126688 | 13909 955 140 | 0.000 % |
0.16/0.54 c | 1076 | 9758 41727 126688 | 13909 1076 142 | 0.000 % |
0.16/0.58 c | 1209 | 9758 41727 126688 | 13909 1209 146 | 0.000 % |
0.16/0.61 c | 1310 | 9758 41727 126688 | 13909 1310 144 | 0.000 % |
0.16/0.65 c | 1424 | 9758 41727 126688 | 13909 1424 149 | 0.000 % |
0.16/0.69 c | 1546 | 9758 41727 126688 | 13909 1546 148 | 0.000 % |
0.16/0.72 c | 1681 | 9758 41727 126688 | 13909 1681 147 | 0.000 % |
0.16/0.77 c | 1828 | 9758 41727 126688 | 13909 1828 149 | 0.000 % |
0.16/0.80 c | 1928 | 9758 41727 126688 | 13909 1928 148 | 0.000 % |
0.16/0.83 c | 2039 | 9758 41727 126688 | 13909 2039 145 | 0.000 % |
0.16/0.87 c | 2160 | 9758 41727 126688 | 13909 2160 147 | 0.000 % |
0.16/0.91 c | 2296 | 9758 41727 126688 | 13909 2296 146 | 0.000 % |
0.16/0.95 c | 2442 | 9758 41727 126688 | 13909 2442 144 | 0.000 % |
0.16/0.99 c | 2602 | 9758 41727 126688 | 13909 2602 144 | 0.000 % |
0.97/1.02 c | 2703 | 9758 41727 126688 | 13909 2703 143 | 0.000 % |
0.97/1.06 c | 2814 | 9758 41727 126688 | 13909 2814 145 | 0.000 % |
0.97/1.10 c | 2936 | 9758 41727 126688 | 13909 2936 146 | 0.000 % |
1.07/1.14 c | 3070 | 9758 41727 126688 | 13909 3070 146 | 0.000 % |
1.07/1.18 c | 3216 | 9758 41727 126688 | 13909 3216 147 | 0.000 % |
1.16/1.23 c | 3378 | 9758 41727 126688 | 13909 3378 147 | 0.000 % |
1.16/1.29 c | 3554 | 9758 41727 126688 | 13909 3554 147 | 0.000 % |
1.26/1.32 c | 3658 | 9758 41727 126688 | 13909 3658 146 | 0.000 % |
1.26/1.35 c | 3771 | 9758 41727 126688 | 13909 3771 146 | 0.000 % |
1.26/1.39 c | 3892 | 9758 41727 126688 | 13909 3892 147 | 0.000 % |
1.36/1.44 c | 4025 | 9758 41727 126688 | 13909 4025 147 | 0.000 % |
1.36/1.49 c | 4171 | 9758 41727 126688 | 13909 4171 148 | 0.000 % |
1.46/1.54 c | 4331 | 9758 41727 126688 | 13909 4331 149 | 0.000 % |
1.56/1.60 c | 4509 | 9758 41727 126688 | 13909 4509 149 | 0.000 % |
1.56/1.66 c | 4702 | 9758 41727 126688 | 13909 4702 150 | 0.000 % |
1.56/1.69 c | 4802 | 9758 41727 126688 | 13909 4802 149 | 0.000 % |
1.66/1.73 c | 4916 | 9758 41727 126688 | 13909 4916 148 | 0.000 % |
1.66/1.77 c | 5038 | 9758 41727 126688 | 13909 5038 148 | 0.000 % |
1.77/1.81 c | 5172 | 9758 41727 126688 | 13909 5172 149 | 0.000 % |
1.77/1.87 c | 5319 | 9758 41727 126688 | 13909 5319 148 | 0.000 % |
1.87/1.92 c | 5479 | 9758 41727 126688 | 13909 5479 148 | 0.000 % |
1.87/1.98 c | 5656 | 9758 41727 126688 | 13909 5656 148 | 0.000 % |
1.97/2.04 c | 5850 | 9758 41727 126688 | 13909 5850 148 | 0.000 % |
2.07/2.11 c | 6065 | 9758 41727 126688 | 13909 6065 148 | 0.000 % |
2.07/2.15 c | 6165 | 9758 41727 126688 | 13909 6165 148 | 0.000 % |
2.07/2.19 c | 6275 | 9758 41727 126688 | 13909 6275 148 | 0.000 % |
2.17/2.23 c | 6396 | 9758 41727 126688 | 13909 6396 148 | 0.000 % |
2.17/2.27 c | 6529 | 9758 41727 126688 | 13909 6529 148 | 0.000 % |
2.27/2.31 c | 6679 | 9758 41727 126688 | 13909 6679 148 | 0.000 % |
2.27/2.37 c | 6840 | 9758 41727 126688 | 13909 6840 149 | 0.000 % |
2.37/2.43 c | 7016 | 9758 41727 126688 | 13909 7016 149 | 0.000 % |
2.47/2.50 c | 7209 | 9758 41727 126688 | 13909 7209 149 | 0.000 % |
2.47/2.58 c | 7422 | 9758 41727 126688 | 13909 7422 149 | 0.000 % |
2.57/2.66 c | 7656 | 9758 41727 126688 | 13909 7656 149 | 0.000 % |
2.57/2.69 c | 7756 | 9758 41727 126688 | 13909 7756 149 | 0.000 % |
2.67/2.74 c | 7867 | 9758 41727 126688 | 13909 7867 149 | 0.000 % |
2.67/2.78 c | 7989 | 9758 41727 126688 | 13909 7989 149 | 0.000 % |
2.77/2.83 c | 8122 | 9758 41727 126688 | 13909 8122 149 | 0.000 % |
2.77/2.89 c | 8270 | 9758 41727 126688 | 13909 8270 150 | 0.000 % |
2.87/2.95 c | 8430 | 9758 41727 126688 | 13909 8430 150 | 0.000 % |
2.97/3.01 c | 8606 | 9758 41727 126688 | 13909 8606 151 | 0.000 % |
2.97/3.07 c | 8799 | 9758 41727 126688 | 13909 8799 151 | 0.000 % |
3.06/3.14 c | 9011 | 9758 41727 126688 | 13909 9011 151 | 0.000 % |
3.17/3.22 c | 9244 | 9758 41727 126688 | 13909 9244 150 | 0.000 % |
3.27/3.32 c | 9500 | 9758 41727 126688 | 13909 9500 152 | 0.000 % |
3.27/3.35 c | 9601 | 9758 41727 126688 | 13909 9601 151 | 0.000 % |
3.27/3.39 c | 9711 | 9758 41727 126688 | 13909 9711 151 | 0.000 % |
3.36/3.44 c | 9832 | 9758 41727 126688 | 13909 9832 151 | 0.000 % |
3.36/3.49 c | 9965 | 9758 41727 126688 | 13909 9965 151 | 0.000 % |
3.46/3.53 c | 10111 | 9758 41727 126688 | 2147483647 10111 151 | 0.000 % |
3.46/3.59 c | 10271 | 9758 41727 126688 | 2147483647 10271 152 | 0.000 % |
3.56/3.66 c | 10450 | 9758 41727 126688 | 2147483647 10450 152 | 0.000 % |
3.66/3.73 c | 10643 | 9758 41727 126688 | 2147483647 10643 152 | 0.000 % |
3.76/3.81 c | 10857 | 9758 41727 126688 | 2147483647 10857 152 | 0.000 % |
3.76/3.89 c | 11090 | 9758 41727 126688 | 2147483647 11090 153 | 0.000 % |
3.86/3.99 c | 11347 | 9758 41727 126688 | 2147483647 11347 153 | 0.000 % |
3.96/4.09 c | 11628 | 9758 41727 126688 | 2147483647 11628 153 | 0.000 % |
4.06/4.13 c | 11730 | 9758 41727 126688 | 2147483647 11730 153 | 0.000 % |
4.06/4.17 c | 11840 | 9758 41727 126688 | 2147483647 11840 152 | 0.000 % |
4.16/4.22 c | 11962 | 9758 41727 126688 | 2147483647 11962 152 | 0.000 % |
4.16/4.27 c | 12096 | 9758 41727 126688 | 2147483647 12096 153 | 0.000 % |
4.26/4.32 c | 12242 | 9758 41727 126688 | 2147483647 12242 153 | 0.000 % |
4.26/4.38 c | 12403 | 9758 41727 126688 | 2147483647 12403 153 | 0.000 % |
4.36/4.45 c | 12580 | 9758 41727 126688 | 2147483647 12580 153 | 0.000 % |
4.46/4.52 c | 12774 | 9758 41727 126688 | 2147483647 12774 153 | 0.000 % |
4.56/4.61 c | 12988 | 9758 41727 126688 | 2147483647 12988 153 | 0.000 % |
4.56/4.69 c | 13221 | 9758 41727 126688 | 2147483647 13221 153 | 0.000 % |
4.66/4.79 c | 13477 | 9758 41727 126688 | 2147483647 13477 153 | 0.000 % |
4.76/4.89 c | 13759 | 9758 41727 126688 | 2147483647 13759 153 | 0.000 % |
4.96/5.01 c | 14068 | 9758 41727 126688 | 2147483647 14068 154 | 0.000 % |
4.96/5.06 c | 14168 | 9758 41727 126688 | 2147483647 14168 154 | 0.000 % |
5.06/5.10 c | 14282 | 9758 41727 126688 | 2147483647 14282 154 | 0.000 % |
5.06/5.15 c | 14404 | 9758 41727 126688 | 2147483647 14404 154 | 0.000 % |
5.16/5.20 c | 14537 | 9758 41727 126688 | 2147483647 14537 154 | 0.000 % |
5.16/5.26 c | 14684 | 9758 41727 126688 | 2147483647 14684 153 | 0.000 % |
5.26/5.32 c | 14846 | 9758 41727 126688 | 2147483647 14846 153 | 0.000 % |
5.26/5.39 c | 15024 | 9758 41727 126688 | 2147483647 15024 154 | 0.000 % |
5.37/5.48 c | 15217 | 9758 41727 126688 | 2147483647 15217 154 | 0.000 % |
5.47/5.55 c | 15429 | 9758 41727 126688 | 2147483647 15429 154 | 0.000 % |
5.56/5.65 c | 15662 | 9758 41727 126688 | 2147483647 15662 155 | 0.000 % |
5.66/5.75 c | 15919 | 9758 41727 126688 | 2147483647 15919 155 | 0.000 % |
5.76/5.87 c | 16201 | 9758 41727 126688 | 2147483647 16201 156 | 0.000 % |
5.86/6.00 c | 16510 | 9758 41727 126688 | 2147483647 16510 156 | 0.000 % |
6.06/6.14 c | 16850 | 9758 41727 126688 | 2147483647 16850 156 | 0.000 % |
6.06/6.17 c | 16952 | 9758 41727 126688 | 2147483647 16952 156 | 0.000 % |
6.16/6.22 c | 17063 | 9758 41727 126688 | 2147483647 17063 156 | 0.000 % |
6.16/6.28 c | 17186 | 9758 41727 126688 | 2147483647 17186 156 | 0.000 % |
6.26/6.34 c | 17320 | 9758 41727 126688 | 2147483647 17320 156 | 0.000 % |
6.36/6.40 c | 17466 | 9758 41727 126688 | 2147483647 17466 156 | 0.000 % |
6.36/6.46 c | 17626 | 9758 41727 126688 | 2147483647 17626 156 | 0.000 % |
6.46/6.53 c | 17803 | 9758 41727 126688 | 2147483647 17803 156 | 0.000 % |
6.56/6.62 c | 17998 | 9758 41727 126688 | 2147483647 17998 156 | 0.000 % |
6.65/6.71 c | 18210 | 9758 41727 126688 | 2147483647 18210 156 | 0.000 % |
6.75/6.81 c | 18444 | 9758 41727 126688 | 2147483647 18444 157 | 0.000 % |
6.85/6.91 c | 18701 | 9758 41727 126688 | 2147483647 18701 157 | 0.000 % |
6.95/7.02 c | 18982 | 9758 41727 126688 | 2147483647 18982 157 | 0.000 % |
7.05/7.15 c | 19292 | 9758 41727 126688 | 2147483647 19292 158 | 0.000 % |
7.15/7.29 c | 19632 | 9758 41727 126688 | 2147483647 19632 157 | 0.000 % |
7.35/7.45 c | 20004 | 9758 41727 126688 | 2147483647 20004 158 | 0.000 % |
7.45/7.50 c | 20104 | 9758 41727 126688 | 2147483647 20104 158 | 0.000 % |
7.45/7.55 c | 20215 | 9758 41727 126688 | 2147483647 20215 158 | 0.000 % |
7.56/7.61 c | 20336 | 9758 41727 126688 | 2147483647 20336 157 | 0.000 % |
7.56/7.67 c | 20471 | 9758 41727 126688 | 2147483647 20471 157 | 0.000 % |
7.66/7.74 c | 20618 | 9758 41727 126688 | 2147483647 20618 157 | 0.000 % |
7.76/7.81 c | 20778 | 9758 41727 126688 | 2147483647 20778 157 | 0.000 % |
7.76/7.88 c | 20954 | 9758 41727 126688 | 2147483647 20954 157 | 0.000 % |
7.86/7.97 c | 21148 | 9758 41727 126688 | 2147483647 21148 157 | 0.000 % |
7.96/8.05 c | 21360 | 9758 41727 126688 | 2147483647 21360 156 | 0.000 % |
8.06/8.15 c | 21594 | 9758 41727 126688 | 2147483647 21594 157 | 0.000 % |
8.16/8.27 c | 21850 | 9758 41727 126688 | 2147483647 21850 157 | 0.000 % |
8.26/8.39 c | 22134 | 9758 41727 126688 | 2147483647 22134 156 | 0.000 % |
8.46/8.53 c | 22444 | 9758 41727 126688 | 2147483647 22444 157 | 0.000 % |
8.55/8.69 c | 22783 | 9758 41727 126688 | 2147483647 22783 157 | 0.000 % |
8.76/8.84 c | 23156 | 9758 41727 126688 | 2147483647 23156 157 | 0.000 % |
8.95/9.03 c | 23565 | 9758 41727 126688 | 2147483647 23565 157 | 0.000 % |
8.95/9.08 c | 23665 | 9758 41727 126688 | 2147483647 23665 157 | 0.000 % |
9.05/9.14 c | 23775 | 9758 41727 126688 | 2147483647 23775 157 | 0.000 % |
9.15/9.20 c | 23897 | 9758 41727 126688 | 2147483647 23897 157 | 0.000 % |
9.15/9.26 c | 24032 | 9758 41727 126688 | 2147483647 24032 157 | 0.000 % |
9.25/9.34 c | 24178 | 9758 41727 126688 | 2147483647 24178 157 | 0.000 % |
9.35/9.41 c | 24338 | 9758 41727 126688 | 2147483647 24338 157 | 0.000 % |
9.35/9.50 c | 24514 | 9758 41727 126688 | 2147483647 24514 157 | 0.000 % |
9.45/9.59 c | 24707 | 9758 41727 126688 | 2147483647 24707 157 | 0.000 % |
9.55/9.69 c | 24920 | 9758 41727 126688 | 2147483647 24920 157 | 0.000 % |
9.75/9.81 c | 25153 | 9758 41727 126688 | 2147483647 25153 158 | 0.000 % |
9.85/9.93 c | 25409 | 9758 41727 126688 | 2147483647 25409 158 | 0.000 % |
9.95/10.06 c | 25693 | 9758 41727 126688 | 2147483647 25693 158 | 0.000 % |
10.06/10.19 c | 26002 | 9758 41727 126688 | 2147483647 26002 158 | 0.000 % |
10.26/10.36 c | 26343 | 9758 41727 126688 | 2147483647 26343 158 | 0.000 % |
10.46/10.52 c | 26715 | 9758 41727 126688 | 2147483647 26715 159 | 0.000 % |
10.66/10.70 c | 27125 | 9758 41727 126688 | 2147483647 27125 159 | 0.000 % |
10.86/10.93 c | 27574 | 9758 41727 126688 | 2147483647 27574 160 | 0.000 % |
10.86/10.98 c | 27674 | 9758 41727 126688 | 2147483647 27674 159 | 0.000 % |
10.96/11.03 c | 27785 | 9758 41727 126688 | 2147483647 27785 159 | 0.000 % |
10.96/11.09 c | 27906 | 9758 41727 126688 | 2147483647 27906 159 | 0.000 % |
11.05/11.16 c | 28039 | 9758 41727 126688 | 2147483647 28039 159 | 0.000 % |
11.15/11.23 c | 28185 | 9758 41727 126688 | 2147483647 28185 159 | 0.000 % |
11.25/11.31 c | 28345 | 9758 41727 126688 | 2147483647 28345 159 | 0.000 % |
11.35/11.40 c | 28521 | 9758 41727 126688 | 2147483647 28521 159 | 0.000 % |
11.45/11.50 c | 28716 | 9758 41727 126688 | 2147483647 28716 159 | 0.000 % |
11.55/11.61 c | 28928 | 9758 41727 126688 | 2147483647 28928 159 | 0.000 % |
11.65/11.72 c | 29161 | 9758 41727 126688 | 2147483647 29161 159 | 0.000 % |
11.75/11.84 c | 29417 | 9758 41727 126688 | 2147483647 29417 159 | 0.000 % |
11.85/11.99 c | 29698 | 9758 41727 126688 | 2147483647 29698 160 | 0.000 % |
12.06/12.13 c | 30007 | 9758 41727 126688 | 2147483647 30007 160 | 0.000 % |
12.25/12.31 c | 30346 | 9758 41727 126688 | 2147483647 30346 160 | 0.000 % |
12.35/12.49 c | 30719 | 9758 41727 126688 | 2147483647 30719 160 | 0.000 % |
12.55/12.69 c | 31128 | 9758 41727 126688 | 2147483647 31128 160 | 0.000 % |
12.85/12.91 c | 31577 | 9758 41727 126688 | 2147483647 31577 160 | 0.000 % |
13.05/13.15 c | 32070 | 9758 41727 126688 | 2147483647 32070 160 | 0.000 % |
13.05/13.20 c | 32170 | 9758 41727 126688 | 2147483647 32170 160 | 0.000 % |
13.15/13.25 c | 32281 | 9758 41727 126688 | 2147483647 32281 160 | 0.000 % |
13.25/13.31 c | 32403 | 9758 41727 126688 | 2147483647 32403 160 | 0.000 % |
13.25/13.38 c | 32536 | 9758 41727 126688 | 2147483647 32536 160 | 0.000 % |
13.35/13.47 c | 32683 | 9758 41727 126688 | 2147483647 32683 160 | 0.000 % |
13.45/13.54 c | 32843 | 9758 41727 126688 | 2147483647 32843 160 | 0.000 % |
13.55/13.64 c | 33019 | 9758 41727 126688 | 2147483647 33019 159 | 0.000 % |
13.65/13.74 c | 33213 | 9758 41727 126688 | 2147483647 33213 159 | 0.000 % |
13.75/13.85 c | 33425 | 9758 41727 126688 | 2147483647 33425 159 | 0.000 % |
13.85/13.96 c | 33660 | 9758 41727 126688 | 2147483647 33660 159 | 0.000 % |
14.05/14.10 c | 33918 | 9758 41727 126688 | 2147483647 33918 159 | 0.000 % |
14.16/14.24 c | 34199 | 9758 41727 126688 | 2147483647 34199 159 | 0.000 % |
14.35/14.40 c | 34511 | 9758 41727 126688 | 2147483647 34511 159 | 0.000 % |
14.45/14.58 c | 34850 | 9758 41727 126688 | 2147483647 34850 159 | 0.000 % |
14.65/14.78 c | 35224 | 9758 41727 126688 | 2147483647 35224 160 | 0.000 % |
14.85/14.99 c | 35633 | 9758 41727 126688 | 2147483647 35633 160 | 0.000 % |
15.15/15.22 c | 36082 | 9758 41727 126688 | 2147483647 36082 160 | 0.000 % |
15.35/15.47 c | 36575 | 9758 41727 126688 | 2147483647 36575 161 | 0.000 % |
15.65/15.74 c | 37117 | 9758 41727 126688 | 2147483647 37117 161 | 0.000 % |
15.75/15.80 c | 37217 | 9758 41727 126688 | 2147483647 37217 161 | 0.000 % |
15.75/15.87 c | 37329 | 9758 41727 126688 | 2147483647 37329 161 | 0.000 % |
15.85/15.94 c | 37451 | 9758 41727 126688 | 2147483647 37451 161 | 0.000 % |
15.94/16.02 c | 37584 | 9758 41727 126688 | 2147483647 37584 161 | 0.000 % |
16.04/16.11 c | 37732 | 9758 41727 126688 | 2147483647 37732 161 | 0.000 % |
16.04/16.19 c | 37892 | 9758 41727 126688 | 2147483647 37892 161 | 0.000 % |
16.14/16.29 c | 38068 | 9758 41727 126688 | 2147483647 38068 161 | 0.000 % |
16.25/16.39 c | 38261 | 9758 41727 126688 | 2147483647 38261 161 | 0.000 % |
16.46/16.51 c | 38473 | 9758 41727 126688 | 2147483647 38473 161 | 0.000 % |
16.55/16.65 c | 38707 | 9758 41727 126688 | 2147483647 38707 161 | 0.000 % |
16.65/16.77 c | 38963 | 9758 41727 126688 | 2147483647 38963 161 | 0.000 % |
16.85/16.92 c | 39244 | 9758 41727 126688 | 2147483647 39244 161 | 0.000 % |
16.95/17.09 c | 39553 | 9758 41727 126688 | 2147483647 39553 161 | 0.000 % |
17.15/17.27 c | 39894 | 9758 41727 126688 | 2147483647 39894 161 | 0.000 % |
17.35/17.49 c | 40267 | 9758 41727 126688 | 2147483647 40267 162 | 0.000 % |
17.65/17.71 c | 40679 | 9758 41727 126688 | 2147483647 40679 162 | 0.000 % |
17.85/17.95 c | 41130 | 9758 41727 126688 | 2147483647 41130 163 | 0.000 % |
18.15/18.23 c | 41626 | 9758 41727 126688 | 2147483647 41626 163 | 0.000 % |
18.45/18.53 c | 42170 | 9758 41727 126688 | 2147483647 42170 163 | 0.000 % |
18.75/18.85 c | 42769 | 9758 41727 126688 | 2147483647 42769 163 | 0.000 % |
18.84/18.91 c | 42871 | 9758 41727 126688 | 2147483647 42871 163 | 0.000 % |
18.84/18.98 c | 42982 | 9758 41727 126688 | 2147483647 42982 163 | 0.000 % |
18.94/19.05 c | 43103 | 9758 41727 126688 | 2147483647 43103 163 | 0.000 % |
19.04/19.12 c | 43236 | 9758 41727 126688 | 2147483647 43236 163 | 0.000 % |
19.14/19.22 c | 43382 | 9758 41727 126688 | 2147483647 43382 163 | 0.000 % |
19.24/19.31 c | 43542 | 9758 41727 126688 | 2147483647 43542 163 | 0.000 % |
19.34/19.42 c | 43719 | 9758 41727 126688 | 2147483647 43719 163 | 0.000 % |
19.45/19.53 c | 43913 | 9758 41727 126688 | 2147483647 43913 163 | 0.000 % |
19.55/19.65 c | 44126 | 9758 41727 126688 | 2147483647 44126 163 | 0.000 % |
19.65/19.79 c | 44361 | 9758 41727 126688 | 2147483647 44361 163 | 0.000 % |
19.85/19.97 c | 44618 | 9758 41727 126688 | 2147483647 44618 163 | 0.000 % |
20.05/20.12 c | 44901 | 9758 41727 126688 | 2147483647 44901 163 | 0.000 % |
20.25/20.31 c | 45210 | 9758 41727 126688 | 2147483647 45210 163 | 0.000 % |
20.45/20.52 c | 45550 | 9758 41727 126688 | 2147483647 45550 163 | 0.000 % |
20.65/20.74 c | 45922 | 9758 41727 126688 | 2147483647 45922 163 | 0.000 % |
20.85/20.98 c | 46331 | 9758 41727 126688 | 2147483647 46331 163 | 0.000 % |
21.14/21.23 c | 46780 | 9758 41727 126688 | 2147483647 46780 163 | 0.000 % |
21.44/21.50 c | 47274 | 9758 41727 126688 | 2147483647 47274 164 | 0.000 % |
21.74/21.81 c | 47817 | 9758 41727 126688 | 2147483647 47817 164 | 0.000 % |
22.04/22.14 c | 48413 | 9758 41727 126688 | 2147483647 48413 164 | 0.000 % |
22.44/22.55 c | 49069 | 9758 41727 126688 | 2147483647 49069 164 | 0.000 % |
22.54/22.62 c | 49170 | 9758 41727 126688 | 2147483647 49170 164 | 0.000 % |
22.54/22.69 c | 49280 | 9758 41727 126688 | 2147483647 49280 164 | 0.000 % |
22.64/22.77 c | 49401 | 9758 41727 126688 | 2147483647 49401 164 | 0.000 % |
22.74/22.86 c | 49534 | 9758 41727 126688 | 2147483647 49534 164 | 0.000 % |
22.84/22.97 c | 49680 | 9758 41727 126688 | 2147483647 49680 164 | 0.000 % |
22.94/23.08 c | 49843 | 9758 41727 126688 | 2147483647 49843 164 | 0.000 % |
23.04/23.19 c | 50020 | 9758 41727 126688 | 2147483647 50020 164 | 0.000 % |
23.24/23.31 c | 50213 | 9758 41727 126688 | 2147483647 50213 164 | 0.000 % |
23.34/23.44 c | 50425 | 9758 41727 126688 | 2147483647 50425 164 | 0.000 % |
23.44/23.58 c | 50658 | 9758 41727 126688 | 2147483647 50658 164 | 0.000 % |
23.64/23.74 c | 50921 | 9758 41727 126688 | 2147483647 50921 164 | 0.000 % |
23.84/23.90 c | 51202 | 9758 41727 126688 | 2147483647 51202 164 | 0.000 % |
23.94/24.08 c | 51511 | 9758 41727 126688 | 2147483647 51511 164 | 0.000 % |
24.24/24.30 c | 51851 | 9758 41727 126688 | 2147483647 51851 164 | 0.000 % |
24.44/24.52 c | 52223 | 9758 41727 126688 | 2147483647 52223 164 | 0.000 % |
24.64/24.78 c | 52633 | 9758 41727 126688 | 2147483647 52633 164 | 0.000 % |
24.94/25.05 c | 53084 | 9758 41727 126688 | 2147483647 53084 164 | 0.000 % |
25.24/25.35 c | 53577 | 9758 41727 126688 | 2147483647 53577 164 | 0.000 % |
25.54/25.68 c | 54120 | 9758 41727 126688 | 2147483647 54120 165 | 0.000 % |
25.93/26.06 c | 54716 | 9758 41727 126688 | 2147483647 54716 165 | 0.000 % |
26.34/26.44 c | 55372 | 9758 41727 126688 | 2147483647 55372 165 | 0.000 % |
26.74/26.87 c | 56092 | 9758 41727 126688 | 2147483647 56092 166 | 0.000 % |
26.84/26.95 c | 56192 | 9758 41727 126688 | 2147483647 56192 166 | 0.000 % |
26.94/27.03 c | 56302 | 9758 41727 126688 | 2147483647 56302 166 | 0.000 % |
27.04/27.12 c | 56423 | 9758 41727 126688 | 2147483647 56423 166 | 0.000 % |
27.14/27.21 c | 56558 | 9758 41727 126688 | 2147483647 56558 166 | 0.000 % |
27.24/27.32 c | 56705 | 9758 41727 126688 | 2147483647 56705 166 | 0.000 % |
27.34/27.43 c | 56865 | 9758 41727 126688 | 2147483647 56865 166 | 0.000 % |
27.44/27.56 c | 57041 | 9758 41727 126688 | 2147483647 57041 166 | 0.000 % |
27.64/27.70 c | 57235 | 9758 41727 126688 | 2147483647 57235 166 | 0.000 % |
27.74/27.84 c | 57447 | 9758 41727 126688 | 2147483647 57447 166 | 0.000 % |
27.94/28.01 c | 57680 | 9758 41727 126688 | 2147483647 57680 166 | 0.000 % |
28.04/28.19 c | 57936 | 9758 41727 126688 | 2147483647 57936 166 | 0.000 % |
28.24/28.38 c | 58217 | 9758 41727 126688 | 2147483647 58217 166 | 0.000 % |
28.44/28.58 c | 58526 | 9758 41727 126688 | 2147483647 58526 166 | 0.000 % |
28.73/28.81 c | 58869 | 9758 41727 126688 | 2147483647 58869 166 | 0.000 % |
28.93/29.05 c | 59242 | 9758 41727 126688 | 2147483647 59242 166 | 0.000 % |
29.23/29.32 c | 59652 | 9758 41727 126688 | 2147483647 59652 166 | 0.000 % |
29.54/29.63 c | 60101 | 9758 41727 126688 | 2147483647 60101 166 | 0.000 % |
29.83/29.96 c | 60595 | 9758 41727 126688 | 2147483647 60595 166 | 0.000 % |
30.23/30.33 c | 61139 | 9758 41727 126688 | 2147483647 61139 166 | 0.000 % |
30.64/30.73 c | 61735 | 9758 41727 126688 | 2147483647 61735 166 | 0.000 % |
31.04/31.14 c | 62391 | 9758 41727 126688 | 2147483647 62391 166 | 0.000 % |
31.54/31.63 c | 63111 | 9758 41727 126688 | 2147483647 63111 166 | 0.000 % |
32.03/32.15 c | 63905 | 9758 41727 126688 | 2147483647 63905 167 | 0.000 % |
32.13/32.23 c | 64005 | 9758 41727 126688 | 2147483647 64005 167 | 0.000 % |
32.23/32.32 c | 64116 | 9758 41727 126688 | 2147483647 64116 167 | 0.000 % |
32.33/32.42 c | 64238 | 9758 41727 126688 | 2147483647 64238 167 | 0.000 % |
32.43/32.51 c | 64371 | 9758 41727 126688 | 2147483647 64371 167 | 0.000 % |
32.53/32.62 c | 64517 | 9758 41727 126688 | 2147483647 64517 167 | 0.000 % |
32.63/32.74 c | 64678 | 9758 41727 126688 | 2147483647 64678 166 | 0.000 % |
32.73/32.88 c | 64855 | 9758 41727 126688 | 2147483647 64855 166 | 0.000 % |
32.93/33.02 c | 65048 | 9758 41727 126688 | 2147483647 65048 166 | 0.000 % |
33.03/33.19 c | 65261 | 9758 41727 126688 | 2147483647 65261 166 | 0.000 % |
33.23/33.36 c | 65494 | 9758 41727 126688 | 2147483647 65494 167 | 0.000 % |
33.44/33.55 c | 65750 | 9758 41727 126688 | 2147483647 65750 167 | 0.000 % |
33.63/33.78 c | 66032 | 9758 41727 126688 | 2147483647 66032 167 | 0.000 % |
33.94/34.01 c | 66342 | 9758 41727 126688 | 2147483647 66342 167 | 0.000 % |
34.13/34.25 c | 66683 | 9758 41727 126688 | 2147483647 66683 167 | 0.000 % |
34.43/34.51 c | 67055 | 9758 41727 126688 | 2147483647 67055 167 | 0.000 % |
34.73/34.82 c | 67464 | 9758 41727 126688 | 2147483647 67464 166 | 0.000 % |
35.03/35.11 c | 67914 | 9758 41727 126688 | 2147483647 67914 167 | 0.000 % |
35.33/35.46 c | 68407 | 9758 41727 126688 | 2147483647 68407 167 | 0.000 % |
35.73/35.82 c | 68953 | 9758 41727 126688 | 2147483647 68953 167 | 0.000 % |
36.13/36.25 c | 69549 | 9758 41727 126688 | 2147483647 69549 167 | 0.000 % |
36.63/36.70 c | 70207 | 9758 41727 126688 | 2147483647 70207 167 | 0.000 % |
37.03/37.19 c | 70928 | 9758 41727 126688 | 2147483647 70928 167 | 0.000 % |
37.63/37.73 c | 71724 | 9758 41727 126688 | 2147483647 71724 168 | 0.000 % |
38.23/38.36 c | 72596 | 9758 41727 126688 | 2147483647 72596 168 | 0.000 % |
38.33/38.46 c | 72697 | 9758 41727 126688 | 2147483647 72697 168 | 0.000 % |
38.43/38.55 c | 72807 | 9758 41727 126688 | 2147483647 72807 168 | 0.000 % |
38.53/38.66 c | 72930 | 9758 41727 126688 | 2147483647 72930 168 | 0.000 % |
38.63/38.77 c | 73063 | 9758 41727 126688 | 2147483647 73063 168 | 0.000 % |
38.73/38.89 c | 73209 | 9758 41727 126688 | 2147483647 73209 168 | 0.000 % |
38.83/38.99 c | 73369 | 9758 41727 126688 | 2147483647 73369 168 | 0.000 % |
39.03/39.14 c | 73546 | 9758 41727 126688 | 2147483647 73546 168 | 0.000 % |
39.23/39.30 c | 73739 | 9758 41727 126688 | 2147483647 73739 168 | 0.000 % |
39.33/39.45 c | 73951 | 9758 41727 126688 | 2147483647 73951 168 | 0.000 % |
39.53/39.65 c | 74185 | 9758 41727 126688 | 2147483647 74185 168 | 0.000 % |
39.74/39.85 c | 74442 | 9758 41727 126688 | 2147483647 74442 168 | 0.000 % |
39.93/40.07 c | 74723 | 9758 41727 126688 | 2147483647 74723 168 | 0.000 % |
40.23/40.31 c | 75032 | 9758 41727 126688 | 2147483647 75032 168 | 0.000 % |
40.43/40.59 c | 75371 | 9758 41727 126688 | 2147483647 75371 168 | 0.000 % |
40.73/40.85 c | 75743 | 9758 41727 126688 | 2147483647 75743 168 | 0.000 % |
41.02/41.16 c | 76152 | 9758 41727 126688 | 2147483647 76152 168 | 0.000 % |
41.32/41.50 c | 76602 | 9758 41727 126688 | 2147483647 76602 168 | 0.000 % |
41.72/41.85 c | 77095 | 9758 41727 126688 | 2147483647 77095 168 | 0.000 % |
42.13/42.27 c | 77639 | 9758 41727 126688 | 2147483647 77639 168 | 0.000 % |
42.52/42.67 c | 78235 | 9758 41727 126688 | 2147483647 78235 169 | 0.000 % |
43.02/43.15 c | 78893 | 9758 41727 126688 | 2147483647 78893 169 | 0.000 % |
43.52/43.69 c | 79614 | 9758 41727 126688 | 2147483647 79614 170 | 0.000 % |
44.12/44.24 c | 80406 | 9758 41727 126688 | 2147483647 80406 170 | 0.000 % |
44.72/44.86 c | 81277 | 9758 41727 126688 | 2147483647 81277 170 | 0.000 % |
45.52/45.60 c | 82237 | 9758 41727 126688 | 2147483647 82237 170 | 0.000 % |
45.52/45.69 c | 82337 | 9758 41727 126688 | 2147483647 82337 170 | 0.000 % |
45.62/45.79 c | 82447 | 9758 41727 126688 | 2147483647 82447 170 | 0.000 % |
45.72/45.89 c | 82568 | 9758 41727 126688 | 2147483647 82568 170 | 0.000 % |
45.92/46.02 c | 82703 | 9758 41727 126688 | 2147483647 82703 170 | 0.000 % |
46.03/46.16 c | 82849 | 9758 41727 126688 | 2147483647 82849 170 | 0.000 % |
46.13/46.28 c | 83009 | 9758 41727 126688 | 2147483647 83009 170 | 0.000 % |
46.32/46.43 c | 83185 | 9758 41727 126688 | 2147483647 83185 170 | 0.000 % |
46.42/46.60 c | 83379 | 9758 41727 126688 | 2147483647 83379 170 | 0.000 % |
46.62/46.77 c | 83591 | 9758 41727 126688 | 2147483647 83591 170 | 0.000 % |
46.82/46.98 c | 83824 | 9758 41727 126688 | 2147483647 83824 170 | 0.000 % |
47.02/47.19 c | 84080 | 9758 41727 126688 | 2147483647 84080 170 | 0.000 % |
47.32/47.43 c | 84362 | 9758 41727 126688 | 2147483647 84362 170 | 0.000 % |
47.62/47.70 c | 84674 | 9758 41727 126688 | 2147483647 84674 170 | 0.000 % |
47.82/47.98 c | 85013 | 9758 41727 126688 | 2147483647 85013 170 | 0.000 % |
48.12/48.28 c | 85385 | 9758 41727 126688 | 2147483647 85385 170 | 0.000 % |
48.52/48.62 c | 85795 | 9758 41727 126688 | 2147483647 85795 170 | 0.000 % |
48.82/48.97 c | 86244 | 9758 41727 126688 | 2147483647 86244 170 | 0.000 % |
49.22/49.40 c | 86740 | 9758 41727 126688 | 2147483647 86740 170 | 0.000 % |
49.72/49.83 c | 87284 | 9758 41727 126688 | 2147483647 87284 171 | 0.000 % |
50.21/50.30 c | 87882 | 9758 41727 126688 | 2147483647 87882 171 | 0.000 % |
50.71/50.85 c | 88539 | 9758 41727 126688 | 2147483647 88539 171 | 0.000 % |
51.31/51.46 c | 89260 | 9758 41727 126688 | 2147483647 89260 171 | 0.000 % |
52.02/52.11 c | 90054 | 9758 41727 126688 | 2147483647 90054 171 | 0.000 % |
52.72/52.83 c | 90925 | 9758 41727 126688 | 2147483647 90925 172 | 0.000 % |
53.41/53.55 c | 91884 | 9758 41727 126688 | 2147483647 91884 172 | 0.000 % |
54.32/54.40 c | 92938 | 9758 41727 126688 | 2147483647 92938 172 | 0.000 % |
54.42/54.50 c | 93040 | 9758 41727 126688 | 2147483647 93040 172 | 0.000 % |
54.52/54.63 c | 93152 | 9758 41727 126688 | 2147483647 93152 172 | 0.000 % |
54.62/54.73 c | 93273 | 9758 41727 126688 | 2147483647 93273 172 | 0.000 % |
54.72/54.86 c | 93406 | 9758 41727 126688 | 2147483647 93406 172 | 0.000 % |
54.92/55.00 c | 93552 | 9758 41727 126688 | 2147483647 93552 172 | 0.000 % |
55.02/55.14 c | 93712 | 9758 41727 126688 | 2147483647 93712 172 | 0.000 % |
55.22/55.30 c | 93889 | 9758 41727 126688 | 2147483647 93889 172 | 0.000 % |
55.42/55.50 c | 94082 | 9758 41727 126688 | 2147483647 94082 172 | 0.000 % |
55.62/55.71 c | 94294 | 9758 41727 126688 | 2147483647 94294 172 | 0.000 % |
55.82/55.91 c | 94527 | 9758 41727 126688 | 2147483647 94527 172 | 0.000 % |
56.02/56.15 c | 94783 | 9758 41727 126688 | 2147483647 94783 172 | 0.000 % |
56.22/56.39 c | 95065 | 9758 41727 126688 | 2147483647 95065 172 | 0.000 % |
56.52/56.66 c | 95376 | 9758 41727 126688 | 2147483647 95376 172 | 0.000 % |
56.82/56.97 c | 95715 | 9758 41727 126688 | 2147483647 95715 172 | 0.000 % |
57.21/57.30 c | 96087 | 9758 41727 126688 | 2147483647 96087 172 | 0.000 % |
57.51/57.65 c | 96497 | 9758 41727 126688 | 2147483647 96497 172 | 0.000 % |
57.91/58.03 c | 96947 | 9758 41727 126688 | 2147483647 96947 172 | 0.000 % |
58.31/58.48 c | 97441 | 9758 41727 126688 | 2147483647 97441 172 | 0.000 % |
58.82/58.95 c | 97983 | 9758 41727 126688 | 2147483647 97983 172 | 0.000 % |
59.32/59.48 c | 98579 | 9758 41727 126688 | 2147483647 98579 172 | 0.000 % |
59.91/60.03 c | 99235 | 9758 41727 126688 | 2147483647 99235 173 | 0.000 % |
60.51/60.64 c | 99956 | 9758 41727 126688 | 2147483647 99956 173 | 0.000 % |
61.21/61.33 c | 100748 | 9758 41727 126688 | 2147483647 100748 173 | 0.000 % |
61.92/62.07 c | 101621 | 9758 41727 126688 | 2147483647 101621 173 | 0.000 % |
62.71/62.86 c | 102582 | 9758 41727 126688 | 2147483647 102582 174 | 0.000 % |
63.72/63.84 c | 103635 | 9758 41727 126688 | 2147483647 103635 174 | 0.000 % |
64.71/64.82 c | 104793 | 9758 41727 126688 | 2147483647 104793 174 | 0.000 % |
64.81/64.93 c | 104893 | 9758 41727 126688 | 2147483647 104893 174 | 0.000 % |
64.91/65.04 c | 105003 | 9758 41727 126688 | 2147483647 105003 174 | 0.000 % |
65.01/65.18 c | 105124 | 9758 41727 126688 | 2147483647 105124 174 | 0.000 % |
65.21/65.33 c | 105257 | 9758 41727 126688 | 2147483647 105257 174 | 0.000 % |
65.31/65.47 c | 105403 | 9758 41727 126688 | 2147483647 105403 174 | 0.000 % |
65.51/65.66 c | 105563 | 9758 41727 126688 | 2147483647 105563 174 | 0.000 % |
65.71/65.84 c | 105739 | 9758 41727 126688 | 2147483647 105739 174 | 0.000 % |
65.91/66.04 c | 105933 | 9758 41727 126688 | 2147483647 105933 174 | 0.000 % |
66.11/66.23 c | 106145 | 9758 41727 126688 | 2147483647 106145 174 | 0.000 % |
66.31/66.45 c | 106378 | 9758 41727 126688 | 2147483647 106378 174 | 0.000 % |
66.60/66.70 c | 106635 | 9758 41727 126688 | 2147483647 106635 174 | 0.000 % |
66.80/66.97 c | 106917 | 9758 41727 126688 | 2147483647 106917 174 | 0.000 % |
67.10/67.24 c | 107226 | 9758 41727 126688 | 2147483647 107226 174 | 0.000 % |
67.40/67.56 c | 107565 | 9758 41727 126688 | 2147483647 107565 174 | 0.000 % |
67.80/67.94 c | 107937 | 9758 41727 126688 | 2147483647 107937 174 | 0.000 % |
68.20/68.32 c | 108346 | 9758 41727 126688 | 2147483647 108346 174 | 0.000 % |
68.61/68.74 c | 108795 | 9758 41727 126688 | 2147483647 108795 174 | 0.000 % |
69.11/69.21 c | 109290 | 9758 41727 126688 | 2147483647 109290 174 | 0.000 % |
69.61/69.73 c | 109833 | 9758 41727 126688 | 2147483647 109833 174 | 0.000 % |
70.11/70.27 c | 110431 | 9758 41727 126688 | 2147483647 110431 174 | 0.000 % |
70.70/70.84 c | 111087 | 9758 41727 126688 | 2147483647 111087 174 | 0.000 % |
71.41/71.53 c | 111809 | 9758 41727 126688 | 2147483647 111809 175 | 0.000 % |
72.21/72.34 c | 112602 | 9758 41727 126688 | 2147483647 112602 175 | 0.000 % |
73.01/73.13 c | 113474 | 9758 41727 126688 | 2147483647 113474 175 | 0.000 % |
73.80/73.99 c | 114434 | 9758 41727 126688 | 2147483647 114434 175 | 0.000 % |
74.91/75.01 c | 115487 | 9758 41727 126688 | 2147483647 115487 175 | 0.000 % |
75.90/76.10 c | 116647 | 9758 41727 126688 | 2147483647 116647 175 | 0.000 % |
77.10/77.27 c | 117921 | 9758 41727 126688 | 2147483647 117921 176 | 0.000 % |
77.20/77.38 c | 118023 | 9758 41727 126688 | 2147483647 118023 176 | 0.000 % |
77.40/77.53 c | 118133 | 9758 41727 126688 | 2147483647 118133 176 | 0.000 % |
77.50/77.67 c | 118254 | 9758 41727 126688 | 2147483647 118254 176 | 0.000 % |
77.70/77.81 c | 118387 | 9758 41727 126688 | 2147483647 118387 176 | 0.000 % |
77.80/77.98 c | 118533 | 9758 41727 126688 | 2147483647 118533 176 | 0.000 % |
78.01/78.17 c | 118694 | 9758 41727 126688 | 2147483647 118694 176 | 0.000 % |
78.20/78.35 c | 118870 | 9758 41727 126688 | 2147483647 118870 176 | 0.000 % |
78.40/78.55 c | 119065 | 9758 41727 126688 | 2147483647 119065 176 | 0.000 % |
78.60/78.78 c | 119277 | 9758 41727 126688 | 2147483647 119277 175 | 0.000 % |
78.90/79.02 c | 119511 | 9758 41727 126688 | 2147483647 119511 175 | 0.000 % |
79.20/79.31 c | 119767 | 9758 41727 126688 | 2147483647 119767 175 | 0.000 % |
79.50/79.61 c | 120048 | 9758 41727 126688 | 2147483647 120048 175 | 0.000 % |
79.80/79.95 c | 120357 | 9758 41727 126688 | 2147483647 120357 175 | 0.000 % |
80.20/80.32 c | 120696 | 9758 41727 126688 | 2147483647 120696 175 | 0.000 % |
80.60/80.71 c | 121068 | 9758 41727 126688 | 2147483647 121068 175 | 0.000 % |
81.00/81.12 c | 121477 | 9758 41727 126688 | 2147483647 121477 175 | 0.000 % |
81.50/81.62 c | 121928 | 9758 41727 126688 | 2147483647 121928 175 | 0.000 % |
81.90/82.09 c | 122421 | 9758 41727 126688 | 2147483647 122421 175 | 0.000 % |
82.50/82.63 c | 122963 | 9758 41727 126688 | 2147483647 122963 175 | 0.000 % |
83.10/83.26 c | 123560 | 9758 41727 126688 | 2147483647 123560 175 | 0.000 % |
83.80/83.92 c | 124215 | 9758 41727 126688 | 2147483647 124215 175 | 0.000 % |
84.50/84.64 c | 124935 | 9758 41727 126688 | 2147483647 124935 175 | 0.000 % |
85.29/85.44 c | 125727 | 9758 41727 126688 | 2147483647 125727 176 | 0.000 % |
86.09/86.25 c | 126598 | 9758 41727 126688 | 2147483647 126598 176 | 0.000 % |
87.09/87.24 c | 127556 | 9758 41727 126688 | 2147483647 127556 177 | 0.000 % |
88.19/88.37 c | 128609 | 9758 41727 126688 | 2147483647 128609 177 | 0.000 % |
89.39/89.55 c | 129768 | 9758 41727 126688 | 2147483647 129768 177 | 0.000 % |
90.69/90.87 c | 131041 | 9758 41727 126688 | 2147483647 131041 177 | 0.000 % |
92.08/92.27 c | 132441 | 9758 41727 126688 | 2147483647 132441 178 | 0.000 % |
92.19/92.38 c | 132541 | 9758 41727 126688 | 2147483647 132541 178 | 0.000 % |
92.38/92.53 c | 132655 | 9758 41727 126688 | 2147483647 132655 178 | 0.000 % |
92.49/92.69 c | 132776 | 9758 41727 126688 | 2147483647 132776 178 | 0.000 % |
92.69/92.86 c | 132910 | 9758 41727 126688 | 2147483647 132910 177 | 0.000 % |
92.89/93.05 c | 133057 | 9758 41727 126688 | 2147483647 133057 177 | 0.000 % |
93.09/93.24 c | 133221 | 9758 41727 126688 | 2147483647 133221 177 | 0.000 % |
93.29/93.45 c | 133398 | 9758 41727 126688 | 2147483647 133398 177 | 0.000 % |
93.49/93.68 c | 133591 | 9758 41727 126688 | 2147483647 133591 177 | 0.000 % |
93.78/93.94 c | 133803 | 9758 41727 126688 | 2147483647 133803 177 | 0.000 % |
94.08/94.20 c | 134038 | 9758 41727 126688 | 2147483647 134038 177 | 0.000 % |
94.39/94.53 c | 134295 | 9758 41727 126688 | 2147483647 134295 177 | 0.000 % |
94.68/94.85 c | 134577 | 9758 41727 126688 | 2147483647 134577 177 | 0.000 % |
95.08/95.23 c | 134886 | 9758 41727 126688 | 2147483647 134886 177 | 0.000 % |
95.39/95.59 c | 135225 | 9758 41727 126688 | 2147483647 135225 177 | 0.000 % |
95.79/95.99 c | 135597 | 9758 41727 126688 | 2147483647 135597 177 | 0.000 % |
96.29/96.47 c | 136006 | 9758 41727 126688 | 2147483647 136006 177 | 0.000 % |
96.79/96.98 c | 136456 | 9758 41727 126688 | 2147483647 136456 177 | 0.000 % |
97.39/97.56 c | 136950 | 9758 41727 126688 | 2147483647 136950 178 | 0.000 % |
97.98/98.17 c | 137493 | 9758 41727 126688 | 2147483647 137493 178 | 0.000 % |
98.58/98.77 c | 138090 | 9758 41727 126688 | 2147483647 138090 178 | 0.000 % |
99.28/99.49 c | 138745 | 9758 41727 126688 | 2147483647 138745 178 | 0.000 % |
100.08/100.25 c | 139468 | 9758 41727 126688 | 2147483647 139468 178 | 0.000 % |
100.88/101.10 c | 140260 | 9758 41727 126688 | 2147483647 140260 178 | 0.000 % |
101.89/102.04 c | 141132 | 9758 41727 126688 | 2147483647 141132 178 | 0.000 % |
102.79/102.99 c | 142090 | 9758 41727 126688 | 2147483647 142090 178 | 0.000 % |
103.98/104.11 c | 143143 | 9758 41727 126688 | 2147483647 143143 178 | 0.000 % |
105.18/105.34 c | 144302 | 9758 41727 126688 | 2147483647 144302 178 | 0.000 % |
106.59/106.74 c | 145577 | 9758 41727 126688 | 2147483647 145577 178 | 0.000 % |
108.08/108.30 c | 146978 | 9758 41727 126688 | 2147483647 146978 179 | 0.000 % |
109.78/109.96 c | 148519 | 9758 41727 126688 | 2147483647 148519 179 | 0.000 % |
109.98/110.11 c | 148619 | 9758 41727 126688 | 2147483647 148619 179 | 0.000 % |
110.08/110.26 c | 148731 | 9758 41727 126688 | 2147483647 148731 179 | 0.000 % |
110.28/110.41 c | 148853 | 9758 41727 126688 | 2147483647 148853 179 | 0.000 % |
110.38/110.59 c | 148986 | 9758 41727 126688 | 2147483647 148986 179 | 0.000 % |
110.58/110.79 c | 149133 | 9758 41727 126688 | 2147483647 149133 179 | 0.000 % |
110.88/111.02 c | 149293 | 9758 41727 126688 | 2147483647 149293 179 | 0.000 % |
111.08/111.23 c | 149469 | 9758 41727 126688 | 2147483647 149469 179 | 0.000 % |
111.28/111.47 c | 149662 | 9758 41727 126688 | 2147483647 149662 179 | 0.000 % |
111.58/111.75 c | 149874 | 9758 41727 126688 | 2147483647 149874 179 | 0.000 % |
111.88/112.05 c | 150108 | 9758 41727 126688 | 2147483647 150108 179 | 0.000 % |
112.18/112.39 c | 150369 | 9758 41727 126688 | 2147483647 150369 179 | 0.000 % |
112.57/112.75 c | 150651 | 9758 41727 126688 | 2147483647 150651 179 | 0.000 % |
112.98/113.13 c | 150960 | 9758 41727 126688 | 2147483647 150960 179 | 0.000 % |
113.38/113.53 c | 151299 | 9758 41727 126688 | 2147483647 151299 179 | 0.000 % |
113.78/113.96 c | 151671 | 9758 41727 126688 | 2147483647 151671 179 | 0.000 % |
114.28/114.47 c | 152080 | 9758 41727 126688 | 2147483647 152080 179 | 0.000 % |
114.78/114.97 c | 152531 | 9758 41727 126688 | 2147483647 152531 179 | 0.000 % |
115.38/115.58 c | 153025 | 9758 41727 126688 | 2147483647 153025 179 | 0.000 % |
116.08/116.23 c | 153567 | 9758 41727 126688 | 2147483647 153567 179 | 0.000 % |
116.77/116.95 c | 154164 | 9758 41727 126688 | 2147483647 154164 179 | 0.000 % |
117.58/117.71 c | 154819 | 9758 41727 126688 | 2147483647 154819 179 | 0.000 % |
118.38/118.52 c | 155539 | 9758 41727 126688 | 2147483647 155539 179 | 0.000 % |
119.38/119.51 c | 156331 | 9758 41727 126688 | 2147483647 156331 179 | 0.000 % |
120.28/120.48 c | 157203 | 9758 41727 126688 | 2147483647 157203 179 | 0.000 % |
121.37/121.54 c | 158161 | 9758 41727 126688 | 2147483647 158161 179 | 0.000 % |
122.57/122.78 c | 159214 | 9758 41727 126688 | 2147483647 159214 179 | 0.000 % |
123.97/124.11 c | 160374 | 9758 41727 126688 | 2147483647 160374 179 | 0.000 % |
125.37/125.52 c | 161647 | 9758 41727 126688 | 2147483647 161647 180 | 0.000 % |
126.97/127.16 c | 163047 | 9758 41727 126688 | 2147483647 163047 180 | 0.000 % |
128.87/129.05 c | 164589 | 9758 41727 126688 | 2147483647 164589 181 | 0.000 % |
130.87/131.06 c | 166283 | 9758 41727 126688 | 2147483647 166283 181 | 0.000 % |
131.07/131.21 c | 166384 | 9758 41727 126688 | 2147483647 166384 181 | 0.000 % |
131.17/131.35 c | 166494 | 9758 41727 126688 | 2147483647 166494 181 | 0.000 % |
131.37/131.55 c | 166615 | 9758 41727 126688 | 2147483647 166615 181 | 0.000 % |
131.57/131.74 c | 166748 | 9758 41727 126688 | 2147483647 166748 181 | 0.000 % |
131.77/131.95 c | 166894 | 9758 41727 126688 | 2147483647 166894 181 | 0.000 % |
131.97/132.20 c | 167055 | 9758 41727 126688 | 2147483647 167055 181 | 0.000 % |
132.27/132.47 c | 167233 | 9758 41727 126688 | 2147483647 167233 181 | 0.000 % |
132.57/132.73 c | 167426 | 9758 41727 126688 | 2147483647 167426 181 | 0.000 % |
132.87/133.05 c | 167639 | 9758 41727 126688 | 2147483647 167639 181 | 0.000 % |
133.17/133.36 c | 167873 | 9758 41727 126688 | 2147483647 167873 181 | 0.000 % |
133.57/133.72 c | 168131 | 9758 41727 126688 | 2147483647 168131 181 | 0.000 % |
133.87/134.08 c | 168413 | 9758 41727 126688 | 2147483647 168413 181 | 0.000 % |
134.27/134.50 c | 168722 | 9758 41727 126688 | 2147483647 168722 181 | 0.000 % |
134.77/134.93 c | 169062 | 9758 41727 126688 | 2147483647 169062 181 | 0.000 % |
135.26/135.45 c | 169434 | 9758 41727 126688 | 2147483647 169434 180 | 0.000 % |
135.76/135.96 c | 169843 | 9758 41727 126688 | 2147483647 169843 180 | 0.000 % |
136.37/136.59 c | 170293 | 9758 41727 126688 | 2147483647 170293 180 | 0.000 % |
137.07/137.21 c | 170787 | 9758 41727 126688 | 2147483647 170787 180 | 0.000 % |
137.77/137.92 c | 171329 | 9758 41727 126688 | 2147483647 171329 180 | 0.000 % |
138.47/138.69 c | 171926 | 9758 41727 126688 | 2147483647 171926 180 | 0.000 % |
139.26/139.47 c | 172581 | 9758 41727 126688 | 2147483647 172581 181 | 0.000 % |
140.26/140.45 c | 173301 | 9758 41727 126688 | 2147483647 173301 181 | 0.000 % |
141.27/141.49 c | 174095 | 9758 41727 126688 | 2147483647 174095 181 | 0.000 % |
142.36/142.57 c | 174966 | 9758 41727 126688 | 2147483647 174966 181 | 0.000 % |
143.66/143.81 c | 175924 | 9758 41727 126688 | 2147483647 175924 181 | 0.000 % |
144.96/145.11 c | 176977 | 9758 41727 126688 | 2147483647 176977 181 | 0.000 % |
146.46/146.64 c | 178138 | 9758 41727 126688 | 2147483647 178138 181 | 0.000 % |
147.96/148.16 c | 179411 | 9758 41727 126688 | 2147483647 179411 181 | 0.000 % |
149.76/149.92 c | 180813 | 9758 41727 126688 | 2147483647 180813 181 | 0.000 % |
151.67/151.88 c | 182353 | 9758 41727 126688 | 2147483647 182353 181 | 0.000 % |
153.87/154.04 c | 184048 | 9758 41727 126688 | 2147483647 184048 181 | 0.000 % |
156.26/156.44 c | 185911 | 9758 41727 126688 | 2147483647 185911 182 | 0.000 % |
156.36/156.60 c | 186011 | 9758 41727 126688 | 2147483647 186011 182 | 0.000 % |
156.56/156.77 c | 186121 | 9758 41727 126688 | 2147483647 186121 182 | 0.000 % |
156.76/156.96 c | 186242 | 9758 41727 126688 | 2147483647 186242 182 | 0.000 % |
156.96/157.17 c | 186375 | 9758 41727 126688 | 2147483647 186375 182 | 0.000 % |
157.26/157.41 c | 186521 | 9758 41727 126688 | 2147483647 186521 182 | 0.000 % |
157.46/157.66 c | 186681 | 9758 41727 126688 | 2147483647 186681 182 | 0.000 % |
157.76/157.94 c | 186858 | 9758 41727 126688 | 2147483647 186858 182 | 0.000 % |
158.06/158.22 c | 187051 | 9758 41727 126688 | 2147483647 187051 182 | 0.000 % |
158.36/158.57 c | 187263 | 9758 41727 126688 | 2147483647 187263 182 | 0.000 % |
158.75/158.91 c | 187497 | 9758 41727 126688 | 2147483647 187497 182 | 0.000 % |
159.05/159.28 c | 187753 | 9758 41727 126688 | 2147483647 187753 182 | 0.000 % |
159.45/159.65 c | 188034 | 9758 41727 126688 | 2147483647 188034 182 | 0.000 % |
159.86/160.05 c | 188343 | 9758 41727 126688 | 2147483647 188343 182 | 0.000 % |
160.37/160.51 c | 188682 | 9758 41727 126688 | 2147483647 188682 182 | 0.000 % |
160.86/161.03 c | 189054 | 9758 41727 126688 | 2147483647 189054 182 | 0.000 % |
161.47/161.63 c | 189464 | 9758 41727 126688 | 2147483647 189464 182 | 0.000 % |
162.16/162.30 c | 189914 | 9758 41727 126688 | 2147483647 189914 182 | 0.000 % |
162.76/162.91 c | 190407 | 9758 41727 126688 | 2147483647 190407 182 | 0.000 % |
163.56/163.70 c | 190950 | 9758 41727 126688 | 2147483647 190950 182 | 0.000 % |
164.25/164.48 c | 191546 | 9758 41727 126688 | 2147483647 191546 181 | 0.000 % |
165.25/165.45 c | 192201 | 9758 41727 126688 | 2147483647 192201 181 | 0.000 % |
166.25/166.43 c | 192922 | 9758 41727 126688 | 2147483647 192922 182 | 0.000 % |
167.36/167.50 c | 193714 | 9758 41727 126688 | 2147483647 193714 182 | 0.000 % |
168.46/168.66 c | 194585 | 9758 41727 126688 | 2147483647 194585 182 | 0.000 % |
169.76/169.90 c | 195543 | 9758 41727 126688 | 2147483647 195543 182 | 0.000 % |
171.15/171.38 c | 196597 | 9758 41727 126688 | 2147483647 196597 182 | 0.000 % |
172.75/172.94 c | 197756 | 9758 41727 126688 | 2147483647 197756 182 | 0.000 % |
174.46/174.66 c | 199029 | 9758 41727 126688 | 2147483647 199029 182 | 0.000 % |
176.44/176.61 c | 200429 | 9758 41727 126688 | 2147483647 200429 183 | 0.000 % |
178.65/178.80 c | 201969 | 9758 41727 126688 | 2147483647 201969 183 | 0.000 % |
180.95/181.10 c | 203666 | 9758 41727 126688 | 2147483647 203666 183 | 0.000 % |
183.34/183.55 c | 205529 | 9758 41727 126688 | 2147483647 205529 184 | 0.000 % |
186.15/186.33 c | 207578 | 9758 41727 126688 | 2147483647 207578 184 | 0.000 % |
186.35/186.53 c | 207679 | 9758 41727 126688 | 2147483647 207679 184 | 0.000 % |
186.55/186.72 c | 207790 | 9758 41727 126688 | 2147483647 207790 184 | 0.000 % |
186.75/186.94 c | 207916 | 9758 41727 126688 | 2147483647 207916 184 | 0.000 % |
186.94/187.17 c | 208049 | 9758 41727 126688 | 2147483647 208049 184 | 0.000 % |
187.24/187.43 c | 208201 | 9758 41727 126688 | 2147483647 208201 184 | 0.000 % |
187.44/187.69 c | 208361 | 9758 41727 126688 | 2147483647 208361 184 | 0.000 % |
187.74/187.96 c | 208537 | 9758 41727 126688 | 2147483647 208537 184 | 0.000 % |
188.04/188.26 c | 208731 | 9758 41727 126688 | 2147483647 208731 184 | 0.000 % |
188.44/188.61 c | 208943 | 9758 41727 126688 | 2147483647 208943 184 | 0.000 % |
188.84/189.05 c | 209176 | 9758 41727 126688 | 2147483647 209176 184 | 0.000 % |
189.24/189.47 c | 209432 | 9758 41727 126688 | 2147483647 209432 184 | 0.000 % |
189.74/189.94 c | 209713 | 9758 41727 126688 | 2147483647 209713 184 | 0.000 % |
190.24/190.41 c | 210023 | 9758 41727 126688 | 2147483647 210023 184 | 0.000 % |
190.74/190.96 c | 210364 | 9758 41727 126688 | 2147483647 210364 184 | 0.000 % |
191.34/191.59 c | 210736 | 9758 41727 126688 | 2147483647 210736 184 | 0.000 % |
192.04/192.25 c | 211145 | 9758 41727 126688 | 2147483647 211145 184 | 0.000 % |
192.73/192.93 c | 211595 | 9758 41727 126688 | 2147483647 211595 184 | 0.000 % |
193.45/193.66 c | 212089 | 9758 41727 126688 | 2147483647 212089 184 | 0.000 % |
194.34/194.56 c | 212633 | 9758 41727 126688 | 2147483647 212633 184 | 0.000 % |
195.24/195.40 c | 213229 | 9758 41727 126688 | 2147483647 213229 184 | 0.000 % |
196.14/196.37 c | 213884 | 9758 41727 126688 | 2147483647 213884 184 | 0.000 % |
197.24/197.43 c | 214604 | 9758 41727 126688 | 2147483647 214604 184 | 0.000 % |
198.33/198.51 c | 215396 | 9758 41727 126688 | 2147483647 215396 184 | 0.000 % |
199.53/199.79 c | 216267 | 9758 41727 126688 | 2147483647 216267 184 | 0.000 % |
201.04/201.24 c | 217226 | 9758 41727 126688 | 2147483647 217226 184 | 0.000 % |
202.54/202.79 c | 218280 | 9758 41727 126688 | 2147483647 218280 184 | 0.000 % |
204.34/204.51 c | 219440 | 9758 41727 126688 | 2147483647 219440 184 | 0.000 % |
206.03/206.26 c | 220717 | 9758 41727 126688 | 2147483647 220717 184 | 0.000 % |
208.03/208.29 c | 222117 | 9758 41727 126688 | 2147483647 222117 184 | 0.000 % |
210.43/210.64 c | 223658 | 9758 41727 126688 | 2147483647 223658 184 | 0.000 % |
213.03/213.27 c | 225354 | 9758 41727 126688 | 2147483647 225354 184 | 0.000 % |
215.73/215.94 c | 227219 | 9758 41727 126688 | 2147483647 227219 184 | 0.000 % |
218.64/218.84 c | 229270 | 9758 41727 126688 | 2147483647 229270 185 | 0.000 % |
221.92/222.12 c | 231524 | 9758 41727 126688 | 2147483647 231524 185 | 0.000 % |
222.12/222.32 c | 231626 | 9758 41727 126688 | 2147483647 231626 185 | 0.000 % |
222.32/222.54 c | 231736 | 9758 41727 126688 | 2147483647 231736 185 | 0.000 % |
222.52/222.77 c | 231860 | 9758 41727 126688 | 2147483647 231860 185 | 0.000 % |
222.72/222.99 c | 231994 | 9758 41727 126688 | 2147483647 231994 185 | 0.000 % |
223.02/223.29 c | 232142 | 9758 41727 126688 | 2147483647 232142 185 | 0.000 % |
223.32/223.57 c | 232302 | 9758 41727 126688 | 2147483647 232302 185 | 0.000 % |
223.62/223.86 c | 232479 | 9758 41727 126688 | 2147483647 232479 185 | 0.000 % |
223.92/224.16 c | 232672 | 9758 41727 126688 | 2147483647 232672 185 | 0.000 % |
224.32/224.56 c | 232884 | 9758 41727 126688 | 2147483647 232884 185 | 0.000 % |
224.71/224.93 c | 233117 | 9758 41727 126688 | 2147483647 233117 185 | 0.000 % |
225.11/225.37 c | 233376 | 9758 41727 126688 | 2147483647 233376 185 | 0.000 % |
225.62/225.86 c | 233657 | 9758 41727 126688 | 2147483647 233657 185 | 0.000 % |
226.12/226.37 c | 233970 | 9758 41727 126688 | 2147483647 233970 185 | 0.000 % |
226.72/226.96 c | 234309 | 9758 41727 126688 | 2147483647 234309 185 | 0.000 % |
227.32/227.56 c | 234681 | 9758 41727 126688 | 2147483647 234681 185 | 0.000 % |
228.02/228.26 c | 235090 | 9758 41727 126688 | 2147483647 235090 185 | 0.000 % |
228.82/229.08 c | 235539 | 9758 41727 126688 | 2147483647 235539 185 | 0.000 % |
229.72/229.92 c | 236033 | 9758 41727 126688 | 2147483647 236033 185 | 0.000 % |
230.73/230.90 c | 236576 | 9758 41727 126688 | 2147483647 236576 185 | 0.000 % |
231.62/231.86 c | 237172 | 9758 41727 126688 | 2147483647 237172 185 | 0.000 % |
232.62/232.80 c | 237827 | 9758 41727 126688 | 2147483647 237827 185 | 0.000 % |
233.72/233.92 c | 238547 | 9758 41727 126688 | 2147483647 238547 185 | 0.000 % |
235.12/235.32 c | 239341 | 9758 41727 126688 | 2147483647 239341 185 | 0.000 % |
236.42/236.68 c | 240214 | 9758 41727 126688 | 2147483647 240214 185 | 0.000 % |
238.02/238.28 c | 241173 | 9758 41727 126688 | 2147483647 241173 185 | 0.000 % |
239.71/239.96 c | 242227 | 9758 41727 126688 | 2147483647 242227 185 | 0.000 % |
241.61/241.85 c | 243385 | 9758 41727 126688 | 2147483647 243385 185 | 0.000 % |
243.51/243.74 c | 244658 | 9758 41727 126688 | 2147483647 244658 186 | 0.000 % |
245.71/245.95 c | 246058 | 9758 41727 126688 | 2147483647 246058 186 | 0.000 % |
248.41/248.61 c | 247598 | 9758 41727 126688 | 2147483647 247598 186 | 0.000 % |
251.11/251.39 c | 249292 | 9758 41727 126688 | 2147483647 249292 186 | 0.000 % |
254.11/254.35 c | 251155 | 9758 41727 126688 | 2147483647 251155 186 | 0.000 % |
257.31/257.54 c | 253204 | 9758 41727 126688 | 2147483647 253204 186 | 0.000 % |
260.81/261.03 c | 255457 | 9758 41727 126688 | 2147483647 255457 186 | 0.000 % |
264.50/264.72 c | 257937 | 9758 41727 126688 | 2147483647 257937 187 | 0.000 % |
264.71/264.92 c | 258037 | 9758 41727 126688 | 2147483647 258037 187 | 0.000 % |
264.91/265.19 c | 258147 | 9758 41727 126688 | 2147483647 258147 186 | 0.000 % |
265.20/265.46 c | 258272 | 9758 41727 126688 | 2147483647 258272 186 | 0.000 % |
265.50/265.71 c | 258406 | 9758 41727 126688 | 2147483647 258406 186 | 0.000 % |
265.70/265.98 c | 258553 | 9758 41727 126688 | 2147483647 258553 186 | 0.000 % |
266.10/266.32 c | 258713 | 9758 41727 126688 | 2147483647 258713 186 | 0.000 % |
266.50/266.70 c | 258889 | 9758 41727 126688 | 2147483647 258889 186 | 0.000 % |
266.80/267.08 c | 259082 | 9758 41727 126688 | 2147483647 259082 186 | 0.000 % |
267.30/267.58 c | 259296 | 9758 41727 126688 | 2147483647 259296 186 | 0.000 % |
267.80/268.02 c | 259529 | 9758 41727 126688 | 2147483647 259529 186 | 0.000 % |
268.30/268.59 c | 259787 | 9758 41727 126688 | 2147483647 259787 186 | 0.000 % |
268.90/269.10 c | 260068 | 9758 41727 126688 | 2147483647 260068 186 | 0.000 % |
269.50/269.73 c | 260379 | 9758 41727 126688 | 2147483647 260379 186 | 0.000 % |
270.10/270.34 c | 260719 | 9758 41727 126688 | 2147483647 260719 186 | 0.000 % |
270.79/271.02 c | 261092 | 9758 41727 126688 | 2147483647 261092 186 | 0.000 % |
271.60/271.80 c | 261503 | 9758 41727 126688 | 2147483647 261503 186 | 0.000 % |
272.40/272.68 c | 261952 | 9758 41727 126688 | 2147483647 261952 186 | 0.000 % |
273.30/273.58 c | 262448 | 9758 41727 126688 | 2147483647 262448 186 | 0.000 % |
274.30/274.50 c | 262990 | 9758 41727 126688 | 2147483647 262990 186 | 0.000 % |
275.30/275.57 c | 263588 | 9758 41727 126688 | 2147483647 263588 186 | 0.000 % |
276.69/276.91 c | 264244 | 9758 41727 126688 | 2147483647 264244 186 | 0.000 % |
277.89/278.11 c | 264966 | 9758 41727 126688 | 2147483647 264966 186 | 0.000 % |
279.19/279.42 c | 265758 | 9758 41727 126688 | 2147483647 265758 186 | 0.000 % |
280.60/280.89 c | 266629 | 9758 41727 126688 | 2147483647 266629 186 | 0.000 % |
282.30/282.57 c | 267587 | 9758 41727 126688 | 2147483647 267587 186 | 0.000 % |
284.19/284.46 c | 268642 | 9758 41727 126688 | 2147483647 268642 186 | 0.000 % |
286.19/286.47 c | 269800 | 9758 41727 126688 | 2147483647 269800 186 | 0.000 % |
288.29/288.58 c | 271073 | 9758 41727 126688 | 2147483647 271073 186 | 0.000 % |
290.79/291.01 c | 272473 | 9758 41727 126688 | 2147483647 272473 186 | 0.000 % |
293.28/293.60 c | 274013 | 9758 41727 126688 | 2147483647 274013 186 | 0.000 % |
296.29/296.51 c | 275707 | 9758 41727 126688 | 2147483647 275707 187 | 0.000 % |
299.29/299.52 c | 277571 | 9758 41727 126688 | 2147483647 277571 187 | 0.000 % |
302.88/303.16 c | 279621 | 9758 41727 126688 | 2147483647 279621 187 | 0.000 % |
306.48/306.79 c | 281874 | 9758 41727 126688 | 2147483647 281874 187 | 0.000 % |
310.99/311.20 c | 284352 | 9758 41727 126688 | 2147483647 284352 187 | 0.000 % |
315.88/316.11 c | 287078 | 9758 41727 126688 | 2147483647 287078 188 | 0.000 % |
316.08/316.37 c | 287178 | 9758 41727 126688 | 2147483647 287178 188 | 0.000 % |
316.38/316.64 c | 287289 | 9758 41727 126688 | 2147483647 287289 188 | 0.000 % |
316.68/316.93 c | 287410 | 9758 41727 126688 | 2147483647 287410 188 | 0.000 % |
316.98/317.26 c | 287544 | 9758 41727 126688 | 2147483647 287544 188 | 0.000 % |
317.38/317.64 c | 287690 | 9758 41727 126688 | 2147483647 287690 188 | 0.000 % |
317.68/317.98 c | 287851 | 9758 41727 126688 | 2147483647 287851 188 | 0.000 % |
318.18/318.41 c | 288027 | 9758 41727 126688 | 2147483647 288027 188 | 0.000 % |
318.58/318.88 c | 288221 | 9758 41727 126688 | 2147483647 288221 188 | 0.000 % |
319.08/319.30 c | 288434 | 9758 41727 126688 | 2147483647 288434 187 | 0.000 % |
319.58/319.81 c | 288667 | 9758 41727 126688 | 2147483647 288667 187 | 0.000 % |
319.98/320.27 c | 288924 | 9758 41727 126688 | 2147483647 288924 187 | 0.000 % |
320.57/320.84 c | 289205 | 9758 41727 126688 | 2147483647 289205 187 | 0.000 % |
321.17/321.47 c | 289514 | 9758 41727 126688 | 2147483647 289514 187 | 0.000 % |
321.98/322.28 c | 289853 | 9758 41727 126688 | 2147483647 289853 187 | 0.000 % |
322.87/323.11 c | 290225 | 9758 41727 126688 | 2147483647 290225 187 | 0.000 % |
323.77/324.00 c | 290634 | 9758 41727 126688 | 2147483647 290634 187 | 0.000 % |
324.57/324.86 c | 291083 | 9758 41727 126688 | 2147483647 291083 187 | 0.000 % |
325.57/325.87 c | 291576 | 9758 41727 126688 | 2147483647 291576 187 | 0.000 % |
326.58/326.89 c | 292119 | 9758 41727 126688 | 2147483647 292119 187 | 0.000 % |
327.77/328.06 c | 292716 | 9758 41727 126688 | 2147483647 292716 187 | 0.000 % |
328.97/329.22 c | 293372 | 9758 41727 126688 | 2147483647 293372 187 | 0.000 % |
330.27/330.58 c | 294092 | 9758 41727 126688 | 2147483647 294092 187 | 0.000 % |
331.88/332.17 c | 294884 | 9758 41727 126688 | 2147483647 294884 187 | 0.000 % |
333.47/333.79 c | 295756 | 9758 41727 126688 | 2147483647 295756 187 | 0.000 % |
335.18/335.49 c | 296714 | 9758 41727 126688 | 2147483647 296714 187 | 0.000 % |
337.27/337.53 c | 297767 | 9758 41727 126688 | 2147483647 297767 187 | 0.000 % |
339.37/339.66 c | 298926 | 9758 41727 126688 | 2147483647 298926 187 | 0.000 % |
341.77/342.08 c | 300199 | 9758 41727 126688 | 2147483647 300199 187 | 0.000 % |
344.37/344.65 c | 301600 | 9758 41727 126688 | 2147483647 301600 188 | 0.000 % |
347.16/347.42 c | 303140 | 9758 41727 126688 | 2147483647 303140 188 | 0.000 % |
350.16/350.44 c | 304835 | 9758 41727 126688 | 2147483647 304835 188 | 0.000 % |
353.67/353.99 c | 306698 | 9758 41727 126688 | 2147483647 306698 188 | 0.000 % |
357.65/357.94 c | 308748 | 9758 41727 126688 | 2147483647 308748 188 | 0.000 % |
361.86/362.13 c | 311001 | 9758 41727 126688 | 2147483647 311001 188 | 0.000 % |
366.56/366.80 c | 313479 | 9758 41727 126688 | 2147483647 313479 188 | 0.000 % |
371.45/371.76 c | 316204 | 9758 41727 126688 | 2147483647 316204 189 | 0.000 % |
377.25/377.50 c | 319201 | 9758 41727 126688 | 2147483647 319201 189 | 0.000 % |
377.45/377.70 c | 319302 | 9758 41727 126688 | 2147483647 319302 189 | 0.000 % |
377.65/377.98 c | 319413 | 9758 41727 126688 | 2147483647 319413 189 | 0.000 % |
378.06/378.30 c | 319534 | 9758 41727 126688 | 2147483647 319534 189 | 0.000 % |
378.45/378.70 c | 319668 | 9758 41727 126688 | 2147483647 319668 189 | 0.000 % |
378.75/379.08 c | 319816 | 9758 41727 126688 | 2147483647 319816 189 | 0.000 % |
379.16/379.47 c | 319980 | 9758 41727 126688 | 2147483647 319980 189 | 0.000 % |
379.55/379.86 c | 320158 | 9758 41727 126688 | 2147483647 320158 189 | 0.000 % |
380.05/380.31 c | 320351 | 9758 41727 126688 | 2147483647 320351 189 | 0.000 % |
380.45/380.77 c | 320563 | 9758 41727 126688 | 2147483647 320563 189 | 0.000 % |
380.95/381.29 c | 320796 | 9758 41727 126688 | 2147483647 320796 189 | 0.000 % |
381.65/381.91 c | 321052 | 9758 41727 126688 | 2147483647 321052 189 | 0.000 % |
382.25/382.53 c | 321334 | 9758 41727 126688 | 2147483647 321334 189 | 0.000 % |
382.94/383.24 c | 321643 | 9758 41727 126688 | 2147483647 321643 189 | 0.000 % |
383.74/384.05 c | 321982 | 9758 41727 126688 | 2147483647 321982 189 | 0.000 % |
384.55/384.85 c | 322354 | 9758 41727 126688 | 2147483647 322354 189 | 0.000 % |
385.35/385.69 c | 322763 | 9758 41727 126688 | 2147483647 322763 189 | 0.000 % |
386.45/386.73 c | 323214 | 9758 41727 126688 | 2147483647 323214 189 | 0.000 % |
387.35/387.69 c | 323708 | 9758 41727 126688 | 2147483647 323708 189 | 0.000 % |
388.45/388.76 c | 324252 | 9758 41727 126688 | 2147483647 324252 189 | 0.000 % |
389.64/389.97 c | 324849 | 9758 41727 126688 | 2147483647 324849 189 | 0.000 % |
390.95/391.26 c | 325504 | 9758 41727 126688 | 2147483647 325504 189 | 0.000 % |
392.65/392.91 c | 326224 | 9758 41727 126688 | 2147483647 326224 189 | 0.000 % |
394.25/394.53 c | 327016 | 9758 41727 126688 | 2147483647 327016 189 | 0.000 % |
396.24/396.50 c | 327888 | 9758 41727 126688 | 2147483647 327888 189 | 0.000 % |
398.14/398.49 c | 328847 | 9758 41727 126688 | 2147483647 328847 189 | 0.000 % |
400.24/400.57 c | 329900 | 9758 41727 126688 | 2147483647 329900 189 | 0.000 % |
402.54/402.83 c | 331060 | 9758 41727 126688 | 2147483647 331060 189 | 0.000 % |
405.44/405.71 c | 332333 | 9758 41727 126688 | 2147483647 332333 189 | 0.000 % |
408.13/408.43 c | 333733 | 9758 41727 126688 | 2147483647 333733 190 | 0.000 % |
411.44/411.73 c | 335275 | 9758 41727 126688 | 2147483647 335275 190 | 0.000 % |
414.83/415.20 c | 336969 | 9758 41727 126688 | 2147483647 336969 190 | 0.000 % |
418.63/418.94 c | 338834 | 9758 41727 126688 | 2147483647 338834 190 | 0.000 % |
422.72/423.01 c | 340883 | 9758 41727 126688 | 2147483647 340883 190 | 0.000 % |
427.23/427.54 c | 343137 | 9758 41727 126688 | 2147483647 343137 190 | 0.000 % |
432.42/432.72 c | 345615 | 9758 41727 126688 | 2147483647 345615 190 | 0.000 % |
438.02/438.31 c | 348340 | 9758 41727 126688 | 2147483647 348340 190 | 0.000 % |
443.82/444.12 c | 351337 | 9758 41727 126688 | 2147483647 351337 190 | 0.000 % |
450.51/450.83 c | 354635 | 9758 41727 126688 | 2147483647 354635 191 | 0.000 % |
450.72/451.10 c | 354736 | 9758 41727 126688 | 2147483647 354736 191 | 0.000 % |
451.01/451.38 c | 354847 | 9758 41727 126688 | 2147483647 354847 191 | 0.000 % |
451.41/451.73 c | 354968 | 9758 41727 126688 | 2147483647 354968 191 | 0.000 % |
451.82/452.10 c | 355101 | 9758 41727 126688 | 2147483647 355101 191 | 0.000 % |
452.21/452.54 c | 355249 | 9758 41727 126688 | 2147483647 355249 191 | 0.000 % |
452.61/452.91 c | 355411 | 9758 41727 126688 | 2147483647 355411 191 | 0.000 % |
453.11/453.44 c | 355587 | 9758 41727 126688 | 2147483647 355587 191 | 0.000 % |
453.61/453.96 c | 355782 | 9758 41727 126688 | 2147483647 355782 191 | 0.000 % |
454.22/454.51 c | 355997 | 9758 41727 126688 | 2147483647 355997 191 | 0.000 % |
454.81/455.14 c | 356231 | 9758 41727 126688 | 2147483647 356231 191 | 0.000 % |
455.41/455.80 c | 356487 | 9758 41727 126688 | 2147483647 356487 190 | 0.000 % |
456.22/456.52 c | 356769 | 9758 41727 126688 | 2147483647 356769 190 | 0.000 % |
457.01/457.31 c | 357078 | 9758 41727 126688 | 2147483647 357078 190 | 0.000 % |
457.91/458.21 c | 357417 | 9758 41727 126688 | 2147483647 357417 190 | 0.000 % |
458.81/459.13 c | 357790 | 9758 41727 126688 | 2147483647 357790 190 | 0.000 % |
459.81/460.12 c | 358200 | 9758 41727 126688 | 2147483647 358200 190 | 0.000 % |
460.81/461.18 c | 358651 | 9758 41727 126688 | 2147483647 358651 190 | 0.000 % |
462.01/462.33 c | 359145 | 9758 41727 126688 | 2147483647 359145 190 | 0.000 % |
463.30/463.66 c | 359688 | 9758 41727 126688 | 2147483647 359688 190 | 0.000 % |
464.71/465.03 c | 360284 | 9758 41727 126688 | 2147483647 360284 190 | 0.000 % |
466.21/466.58 c | 360939 | 9758 41727 126688 | 2147483647 360939 190 | 0.000 % |
467.81/468.18 c | 361661 | 9758 41727 126688 | 2147483647 361661 190 | 0.000 % |
469.41/469.76 c | 362453 | 9758 41727 126688 | 2147483647 362453 190 | 0.000 % |
471.40/471.71 c | 363325 | 9758 41727 126688 | 2147483647 363325 190 | 0.000 % |
473.61/473.98 c | 364283 | 9758 41727 126688 | 2147483647 364283 190 | 0.000 % |
476.01/476.34 c | 365336 | 9758 41727 126688 | 2147483647 365336 190 | 0.000 % |
478.60/478.90 c | 366494 | 9758 41727 126688 | 2147483647 366494 190 | 0.000 % |
481.41/481.77 c | 367767 | 9758 41727 126688 | 2147483647 367767 190 | 0.000 % |
484.40/484.77 c | 369169 | 9758 41727 126688 | 2147483647 369169 190 | 0.000 % |
487.90/488.23 c | 370711 | 9758 41727 126688 | 2147483647 370711 190 | 0.000 % |
491.40/491.79 c | 372405 | 9758 41727 126688 | 2147483647 372405 191 | 0.000 % |
495.29/495.68 c | 374269 | 9758 41727 126688 | 2147483647 374269 191 | 0.000 % |
499.69/500.04 c | 376319 | 9758 41727 126688 | 2147483647 376319 191 | 0.000 % |
504.69/505.08 c | 378572 | 9758 41727 126688 | 2147483647 378572 191 | 0.000 % |
510.29/510.65 c | 381050 | 9758 41727 126688 | 2147483647 381050 191 | 0.000 % |
516.59/516.95 c | 383778 | 9758 41727 126688 | 2147483647 383778 192 | 0.000 % |
523.29/523.69 c | 386775 | 9758 41727 126688 | 2147483647 386775 192 | 0.000 % |
530.48/530.83 c | 390072 | 9758 41727 126688 | 2147483647 390072 192 | 0.000 % |
538.28/538.64 c | 393699 | 9758 41727 126688 | 2147483647 393699 192 | 0.000 % |
538.58/538.98 c | 393799 | 9758 41727 126688 | 2147483647 393799 192 | 0.000 % |
538.88/539.30 c | 393911 | 9758 41727 126688 | 2147483647 393911 192 | 0.000 % |
539.28/539.65 c | 394033 | 9758 41727 126688 | 2147483647 394033 192 | 0.000 % |
539.68/540.09 c | 394168 | 9758 41727 126688 | 2147483647 394168 192 | 0.000 % |
540.18/540.53 c | 394315 | 9758 41727 126688 | 2147483647 394315 192 | 0.000 % |
540.68/541.05 c | 394478 | 9758 41727 126688 | 2147483647 394478 192 | 0.000 % |
541.18/541.59 c | 394656 | 9758 41727 126688 | 2147483647 394656 192 | 0.000 % |
541.78/542.10 c | 394849 | 9758 41727 126688 | 2147483647 394849 192 | 0.000 % |
542.37/542.71 c | 395061 | 9758 41727 126688 | 2147483647 395061 192 | 0.000 % |
543.08/543.45 c | 395295 | 9758 41727 126688 | 2147483647 395295 192 | 0.000 % |
543.77/544.19 c | 395553 | 9758 41727 126688 | 2147483647 395553 192 | 0.000 % |
544.57/544.92 c | 395834 | 9758 41727 126688 | 2147483647 395834 192 | 0.000 % |
545.37/545.74 c | 396143 | 9758 41727 126688 | 2147483647 396143 192 | 0.000 % |
546.17/546.58 c | 396482 | 9758 41727 126688 | 2147483647 396482 192 | 0.000 % |
547.17/547.54 c | 396854 | 9758 41727 126688 | 2147483647 396854 192 | 0.000 % |
548.07/548.47 c | 397264 | 9758 41727 126688 | 2147483647 397264 192 | 0.000 % |
549.27/549.62 c | 397713 | 9758 41727 126688 | 2147483647 397713 192 | 0.000 % |
550.47/550.88 c | 398206 | 9758 41727 126688 | 2147483647 398206 192 | 0.000 % |
551.96/552.34 c | 398748 | 9758 41727 126688 | 2147483647 398748 192 | 0.000 % |
553.46/553.86 c | 399344 | 9758 41727 126688 | 2147483647 399344 192 | 0.000 % |
554.97/555.39 c | 399999 | 9758 41727 126688 | 2147483647 399999 192 | 0.000 % |
556.67/557.09 c | 400720 | 9758 41727 126688 | 2147483647 400720 192 | 0.000 % |
558.77/559.18 c | 401513 | 9758 41727 126688 | 2147483647 401513 192 | 0.000 % |
561.07/561.44 c | 402384 | 9758 41727 126688 | 2147483647 402384 192 | 0.000 % |
563.36/563.73 c | 403344 | 9758 41727 126688 | 2147483647 403344 192 | 0.000 % |
565.96/566.32 c | 404399 | 9758 41727 126688 | 2147483647 404399 192 | 0.000 % |
568.77/569.12 c | 405559 | 9758 41727 126688 | 2147483647 405559 192 | 0.000 % |
572.06/572.46 c | 406832 | 9758 41727 126688 | 2147483647 406832 192 | 0.000 % |
575.66/576.02 c | 408232 | 9758 41727 126688 | 2147483647 408232 192 | 0.000 % |
579.27/579.69 c | 409775 | 9758 41727 126688 | 2147483647 409775 192 | 0.000 % |
583.34/583.77 c | 411470 | 9758 41727 126688 | 2147483647 411470 192 | 0.000 % |
587.65/588.00 c | 413333 | 9758 41727 126688 | 2147483647 413333 192 | 0.000 % |
592.55/592.91 c | 415382 | 9758 41727 126688 | 2147483647 415382 192 | 0.000 % |
598.05/598.46 c | 417636 | 9758 41727 126688 | 2147483647 417636 193 | 0.000 % |
604.25/604.62 c | 420115 | 9758 41727 126688 | 2147483647 420115 193 | 0.000 % |
610.34/610.75 c | 422840 | 9758 41727 126688 | 2147483647 422840 193 | 0.000 % |
617.54/617.99 c | 425837 | 9758 41727 126688 | 2147483647 425837 193 | 0.000 % |
625.54/625.93 c | 429134 | 9758 41727 126688 | 2147483647 429134 193 | 0.000 % |
634.03/634.45 c | 432762 | 9758 41727 126688 | 2147483647 432762 194 | 0.000 % |
643.43/643.86 c | 436749 | 9758 41727 126688 | 2147483647 436749 194 | 0.000 % |
643.73/644.10 c | 436849 | 9758 41727 126688 | 2147483647 436849 194 | 0.000 % |
644.03/644.49 c | 436962 | 9758 41727 126688 | 2147483647 436962 194 | 0.000 % |
644.52/644.92 c | 437084 | 9758 41727 126688 | 2147483647 437084 194 | 0.000 % |
644.92/645.38 c | 437219 | 9758 41727 126688 | 2147483647 437219 194 | 0.000 % |
645.42/645.84 c | 437365 | 9758 41727 126688 | 2147483647 437365 194 | 0.000 % |
645.92/646.35 c | 437525 | 9758 41727 126688 | 2147483647 437525 194 | 0.000 % |
646.52/646.93 c | 437702 | 9758 41727 126688 | 2147483647 437702 194 | 0.000 % |
647.02/647.45 c | 437895 | 9758 41727 126688 | 2147483647 437895 194 | 0.000 % |
647.62/648.08 c | 438107 | 9758 41727 126688 | 2147483647 438107 194 | 0.000 % |
648.43/648.88 c | 438340 | 9758 41727 126688 | 2147483647 438340 194 | 0.000 % |
649.23/649.69 c | 438596 | 9758 41727 126688 | 2147483647 438596 194 | 0.000 % |
650.23/650.63 c | 438877 | 9758 41727 126688 | 2147483647 438877 194 | 0.000 % |
651.13/651.58 c | 439187 | 9758 41727 126688 | 2147483647 439187 194 | 0.000 % |
652.23/652.65 c | 439528 | 9758 41727 126688 | 2147483647 439528 194 | 0.000 % |
653.32/653.75 c | 439900 | 9758 41727 126688 | 2147483647 439900 194 | 0.000 % |
654.62/655.00 c | 440311 | 9758 41727 126688 | 2147483647 440311 194 | 0.000 % |
655.82/656.23 c | 440762 | 9758 41727 126688 | 2147483647 440762 194 | 0.000 % |
657.22/657.61 c | 441255 | 9758 41727 126688 | 2147483647 441255 194 | 0.000 % |
658.62/659.09 c | 441797 | 9758 41727 126688 | 2147483647 441797 194 | 0.000 % |
660.42/660.81 c | 442395 | 9758 41727 126688 | 2147483647 442395 194 | 0.000 % |
662.12/662.58 c | 443054 | 9758 41727 126688 | 2147483647 443054 194 | 0.000 % |
664.22/664.63 c | 443776 | 9758 41727 126688 | 2147483647 443776 194 | 0.000 % |
666.32/666.72 c | 444568 | 9758 41727 126688 | 2147483647 444568 194 | 0.000 % |
668.82/669.24 c | 445441 | 9758 41727 126688 | 2147483647 445441 194 | 0.000 % |
671.41/671.88 c | 446401 | 9758 41727 126688 | 2147483647 446401 194 | 0.000 % |
674.31/674.76 c | 447454 | 9758 41727 126688 | 2147483647 447454 194 | 0.000 % |
677.41/677.89 c | 448613 | 9758 41727 126688 | 2147483647 448613 194 | 0.000 % |
680.80/681.28 c | 449886 | 9758 41727 126688 | 2147483647 449886 194 | 0.000 % |
684.30/684.78 c | 451287 | 9758 41727 126688 | 2147483647 451287 194 | 0.000 % |
687.80/688.24 c | 452829 | 9758 41727 126688 | 2147483647 452829 194 | 0.000 % |
692.10/692.54 c | 454523 | 9758 41727 126688 | 2147483647 454523 194 | 0.000 % |
697.30/697.79 c | 456390 | 9758 41727 126688 | 2147483647 456390 194 | 0.000 % |
702.90/703.35 c | 458439 | 9758 41727 126688 | 2147483647 458439 194 | 0.000 % |
708.80/709.27 c | 460692 | 9758 41727 126688 | 2147483647 460692 194 | 0.000 % |
715.19/715.62 c | 463170 | 9758 41727 126688 | 2147483647 463170 195 | 0.000 % |
722.09/722.57 c | 465895 | 9758 41727 126688 | 2147483647 465895 195 | 0.000 % |
730.18/730.64 c | 468892 | 9758 41727 126688 | 2147483647 468892 195 | 0.000 % |
738.98/739.41 c | 472188 | 9758 41727 126688 | 2147483647 472188 195 | 0.000 % |
748.68/749.15 c | 475816 | 9758 41727 126688 | 2147483647 475816 195 | 0.000 % |
759.17/759.62 c | 479803 | 9758 41727 126688 | 2147483647 479803 196 | 0.000 % |
769.86/770.39 c | 484188 | 9758 41727 126688 | 2147483647 484188 196 | 0.000 % |
770.26/770.76 c | 484289 | 9758 41727 126688 | 2147483647 484289 196 | 0.000 % |
770.67/771.14 c | 484399 | 9758 41727 126688 | 2147483647 484399 196 | 0.000 % |
771.16/771.63 c | 484520 | 9758 41727 126688 | 2147483647 484520 196 | 0.000 % |
771.67/772.19 c | 484654 | 9758 41727 126688 | 2147483647 484654 196 | 0.000 % |
772.26/772.71 c | 484801 | 9758 41727 126688 | 2147483647 484801 196 | 0.000 % |
772.77/773.28 c | 484961 | 9758 41727 126688 | 2147483647 484961 196 | 0.000 % |
773.46/773.95 c | 485137 | 9758 41727 126688 | 2147483647 485137 196 | 0.000 % |
774.16/774.63 c | 485330 | 9758 41727 126688 | 2147483647 485330 196 | 0.000 % |
774.86/775.35 c | 485544 | 9758 41727 126688 | 2147483647 485544 196 | 0.000 % |
775.86/776.31 c | 485778 | 9758 41727 126688 | 2147483647 485778 196 | 0.000 % |
776.66/777.16 c | 486034 | 9758 41727 126688 | 2147483647 486034 196 | 0.000 % |
777.67/778.17 c | 486317 | 9758 41727 126688 | 2147483647 486317 196 | 0.000 % |
778.77/779.21 c | 486627 | 9758 41727 126688 | 2147483647 486627 196 | 0.000 % |
779.76/780.26 c | 486968 | 9758 41727 126688 | 2147483647 486968 196 | 0.000 % |
780.96/781.44 c | 487340 | 9758 41727 126688 | 2147483647 487340 196 | 0.000 % |
782.26/782.77 c | 487749 | 9758 41727 126688 | 2147483647 487749 196 | 0.000 % |
783.76/784.28 c | 488200 | 9758 41727 126688 | 2147483647 488200 196 | 0.000 % |
785.35/785.87 c | 488693 | 9758 41727 126688 | 2147483647 488693 196 | 0.000 % |
787.16/787.66 c | 489236 | 9758 41727 126688 | 2147483647 489236 196 | 0.000 % |
789.05/789.55 c | 489832 | 9758 41727 126688 | 2147483647 489832 196 | 0.000 % |
790.96/791.43 c | 490488 | 9758 41727 126688 | 2147483647 490488 196 | 0.000 % |
793.16/793.68 c | 491208 | 9758 41727 126688 | 2147483647 491208 196 | 0.000 % |
795.65/796.16 c | 492000 | 9758 41727 126688 | 2147483647 492000 196 | 0.000 % |
798.35/798.83 c | 492873 | 9758 41727 126688 | 2147483647 492873 196 | 0.000 % |
801.15/801.63 c | 493832 | 9758 41727 126688 | 2147483647 493832 196 | 0.000 % |
804.26/804.77 c | 494886 | 9758 41727 126688 | 2147483647 494886 196 | 0.000 % |
807.44/807.90 c | 496046 | 9758 41727 126688 | 2147483647 496046 196 | 0.000 % |
811.23/811.79 c | 497319 | 9758 41727 126688 | 2147483647 497319 196 | 0.000 % |
815.53/816.00 c | 498719 | 9758 41727 126688 | 2147483647 498719 196 | 0.000 % |
820.03/820.51 c | 500259 | 9758 41727 126688 | 2147483647 500259 196 | 0.000 % |
824.53/825.07 c | 501953 | 9758 41727 126688 | 2147483647 501953 196 | 0.000 % |
829.52/830.03 c | 503818 | 9758 41727 126688 | 2147483647 503818 197 | 0.000 % |
835.22/835.77 c | 505868 | 9758 41727 126688 | 2147483647 505868 197 | 0.000 % |
841.81/842.32 c | 508121 | 9758 41727 126688 | 2147483647 508121 197 | 0.000 % |
849.42/849.91 c | 510600 | 9758 41727 126688 | 2147483647 510600 197 | 0.000 % |
857.00/857.59 c | 513326 | 9758 41727 126688 | 2147483647 513326 197 | 0.000 % |
865.20/865.75 c | 516323 | 9758 41727 126688 | 2147483647 516323 197 | 0.000 % |
874.39/874.94 c | 519619 | 9758 41727 126688 | 2147483647 519619 197 | 0.000 % |
884.69/885.22 c | 523244 | 9758 41727 126688 | 2147483647 523244 197 | 0.000 % |
895.79/896.37 c | 527231 | 9758 41727 126688 | 2147483647 527231 197 | 0.000 % |
907.99/908.58 c | 531617 | 9758 41727 126688 | 2147483647 531617 198 | 0.000 % |
921.38/921.98 c | 536440 | 9758 41727 126688 | 2147483647 536440 198 | 0.000 % |
921.77/922.39 c | 536540 | 9758 41727 126688 | 2147483647 536540 198 | 0.000 % |
922.38/922.93 c | 536650 | 9758 41727 126688 | 2147483647 536650 198 | 0.000 % |
922.87/923.45 c | 536771 | 9758 41727 126688 | 2147483647 536771 198 | 0.000 % |
923.38/923.97 c | 536905 | 9758 41727 126688 | 2147483647 536905 198 | 0.000 % |
923.98/924.55 c | 537053 | 9758 41727 126688 | 2147483647 537053 198 | 0.000 % |
924.68/925.24 c | 537213 | 9758 41727 126688 | 2147483647 537213 198 | 0.000 % |
925.38/925.92 c | 537390 | 9758 41727 126688 | 2147483647 537390 198 | 0.000 % |
926.08/926.67 c | 537583 | 9758 41727 126688 | 2147483647 537583 198 | 0.000 % |
926.97/927.56 c | 537795 | 9758 41727 126688 | 2147483647 537795 198 | 0.000 % |
927.88/928.42 c | 538028 | 9758 41727 126688 | 2147483647 538028 198 | 0.000 % |
928.88/929.44 c | 538285 | 9758 41727 126688 | 2147483647 538285 198 | 0.000 % |
929.87/930.42 c | 538568 | 9758 41727 126688 | 2147483647 538568 198 | 0.000 % |
930.97/931.53 c | 538878 | 9758 41727 126688 | 2147483647 538878 198 | 0.000 % |
932.27/932.82 c | 539218 | 9758 41727 126688 | 2147483647 539218 198 | 0.000 % |
933.47/934.09 c | 539590 | 9758 41727 126688 | 2147483647 539590 198 | 0.000 % |
935.07/935.61 c | 540000 | 9758 41727 126688 | 2147483647 540000 198 | 0.000 % |
936.67/937.29 c | 540449 | 9758 41727 126688 | 2147483647 540449 198 | 0.000 % |
938.27/938.85 c | 540942 | 9758 41727 126688 | 2147483647 540942 197 | 0.000 % |
940.07/940.66 c | 541485 | 9758 41727 126688 | 2147483647 541485 198 | 0.000 % |
942.27/942.86 c | 542081 | 9758 41727 126688 | 2147483647 542081 197 | 0.000 % |
944.67/945.28 c | 542737 | 9758 41727 126688 | 2147483647 542737 197 | 0.000 % |
947.16/947.74 c | 543457 | 9758 41727 126688 | 2147483647 543457 197 | 0.000 % |
949.96/950.53 c | 544251 | 9758 41727 126688 | 2147483647 544251 197 | 0.000 % |
952.56/953.15 c | 545123 | 9758 41727 126688 | 2147483647 545123 197 | 0.000 % |
955.46/956.03 c | 546082 | 9758 41727 126688 | 2147483647 546082 198 | 0.000 % |
959.26/959.81 c | 547137 | 9758 41727 126688 | 2147483647 547137 198 | 0.000 % |
963.36/963.95 c | 548297 | 9758 41727 126688 | 2147483647 548297 198 | 0.000 % |
967.26/967.80 c | 549571 | 9758 41727 126688 | 2147483647 549571 198 | 0.000 % |
971.85/972.49 c | 550971 | 9758 41727 126688 | 2147483647 550971 198 | 0.000 % |
976.56/977.12 c | 552511 | 9758 41727 126688 | 2147483647 552511 198 | 0.000 % |
981.75/982.32 c | 554206 | 9758 41727 126688 | 2147483647 554206 198 | 0.000 % |
987.44/988.06 c | 556070 | 9758 41727 126688 | 2147483647 556070 197 | 0.000 % |
994.14/994.75 c | 558119 | 9758 41727 126688 | 2147483647 558119 198 | 0.000 % |
1001.04/1001.66 c | 560372 | 9758 41727 126688 | 2147483647 560372 198 | 0.000 % |
1008.73/1009.32 c | 562852 | 9758 41727 126688 | 2147483647 562852 198 | 0.000 % |
1016.83/1017.42 c | 565577 | 9758 41727 126688 | 2147483647 565577 198 | 0.000 % |
1026.13/1026.71 c | 568575 | 9758 41727 126688 | 2147483647 568575 198 | 0.000 % |
1036.52/1037.13 c | 571872 | 9758 41727 126688 | 2147483647 571872 198 | 0.000 % |
1048.02/1048.70 c | 575497 | 9758 41727 126688 | 2147483647 575497 198 | 0.000 % |
1059.82/1060.46 c | 579485 | 9758 41727 126688 | 2147483647 579485 199 | 0.000 % |
1073.11/1073.75 c | 583870 | 9758 41727 126688 | 2147483647 583870 199 | 0.000 % |
1088.00/1088.62 c | 588694 | 9758 41727 126688 | 2147483647 588694 199 | 0.000 % |
1104.30/1104.94 c | 594000 | 9758 41727 126688 | 2147483647 594000 200 | 0.000 % |
1104.80/1105.49 c | 594100 | 9758 41727 126688 | 2147483647 594100 200 | 0.000 % |
1105.40/1106.07 c | 594210 | 9758 41727 126688 | 2147483647 594210 200 | 0.000 % |
1106.00/1106.62 c | 594332 | 9758 41727 126688 | 2147483647 594332 200 | 0.000 % |
1106.59/1107.26 c | 594465 | 9758 41727 126688 | 2147483647 594465 200 | 0.000 % |
1107.39/1108.00 c | 594612 | 9758 41727 126688 | 2147483647 594612 200 | 0.000 % |
1108.10/1108.73 c | 594775 | 9758 41727 126688 | 2147483647 594775 200 | 0.000 % |
1108.79/1109.46 c | 594956 | 9758 41727 126688 | 2147483647 594956 200 | 0.000 % |
1109.69/1110.35 c | 595149 | 9758 41727 126688 | 2147483647 595149 200 | 0.000 % |
1110.49/1111.14 c | 595362 | 9758 41727 126688 | 2147483647 595362 200 | 0.000 % |
1111.50/1112.11 c | 595595 | 9758 41727 126688 | 2147483647 595595 200 | 0.000 % |
1112.69/1113.32 c | 595851 | 9758 41727 126688 | 2147483647 595851 200 | 0.000 % |
1113.79/1114.43 c | 596132 | 9758 41727 126688 | 2147483647 596132 200 | 0.000 % |
1115.09/1115.73 c | 596441 | 9758 41727 126688 | 2147483647 596441 200 | 0.000 % |
1116.49/1117.13 c | 596782 | 9758 41727 126688 | 2147483647 596782 200 | 0.000 % |
1117.89/1118.57 c | 597154 | 9758 41727 126688 | 2147483647 597154 200 | 0.000 % |
1119.39/1120.04 c | 597565 | 9758 41727 126688 | 2147483647 597565 200 | 0.000 % |
1121.29/1121.90 c | 598017 | 9758 41727 126688 | 2147483647 598017 200 | 0.000 % |
1123.08/1123.78 c | 598510 | 9758 41727 126688 | 2147483647 598510 200 | 0.000 % |
1125.28/1125.95 c | 599052 | 9758 41727 126688 | 2147483647 599052 200 | 0.000 % |
1127.68/1128.30 c | 599650 | 9758 41727 126688 | 2147483647 599650 200 | 0.000 % |
1129.87/1130.55 c | 600306 | 9758 41727 126688 | 600001 600306 199 | 0.000 % |
1132.87/1133.55 c | 601027 | 9758 41727 126688 | 600001 522787 199 | 0.000 % |
1135.37/1136.05 c | 601821 | 9758 41727 126688 | 600001 523581 199 | 0.000 % |
1138.17/1138.85 c | 602692 | 9758 41727 126688 | 600001 524452 199 | 0.000 % |
1141.37/1142.04 c | 603651 | 9758 41727 126688 | 600001 525411 199 | 0.000 % |
1144.87/1145.53 c | 604704 | 9758 41727 126688 | 600001 526464 199 | 0.000 % |
1148.27/1148.98 c | 605863 | 9758 41727 126688 | 600001 527623 199 | 0.000 % |
1152.27/1152.95 c | 607137 | 9758 41727 126688 | 600001 528897 199 | 0.000 % |
1156.57/1157.21 c | 608539 | 9758 41727 126688 | 600001 530299 199 | 0.000 % |
1161.66/1162.36 c | 610079 | 9758 41727 126688 | 2147483647 531839 199 | 0.000 % |
1166.56/1167.27 c | 611774 | 9758 41727 126688 | 2147483647 533534 199 | 0.000 % |
1172.45/1173.12 c | 613640 | 9758 41727 126688 | 2147483647 535400 199 | 0.000 % |
1178.65/1179.30 c | 615690 | 9758 41727 126688 | 2147483647 537450 199 | 0.000 % |
1185.05/1185.74 c | 617944 | 9758 41727 126688 | 2147483647 539704 199 | 0.000 % |
1192.45/1193.19 c | 620422 | 9758 41727 126688 | 2147483647 542182 199 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832677-1242786227/watcher-1832677-1242786227 -o /tmp/evaluation-result-1832677-1242786227/solver-1832677-1242786227 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832677-1242786227.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.00 1.00 3/65 1155
/proc/meminfo: memFree=1747448/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306652596 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/1155/statm: 1339 235 195 169 0 50 0
[pid=1156] ppid=1155 vsize=5356 CPUtime=0
/proc/1156/stat : 1156 (SatELiteGTI) S 1155 1155 556 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306652596 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/1156/statm: 1339 238 198 169 0 50 0
[pid=1158] ppid=1156 vsize=5356 CPUtime=0
/proc/1158/stat : 1158 (SatELiteGTI) R 1156 1155 556 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807578407 0 0 4096 0 0 0 0 17 1 0 0
/proc/1158/statm: 1339 239 199 169 0 50 0
[startup+0.0416021 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1155
/proc/meminfo: memFree=1747448/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306652596 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1155/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101605 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1155
/proc/meminfo: memFree=1747448/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306652596 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1155/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301618 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1155
/proc/meminfo: memFree=1747448/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+0.701661 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1155
/proc/meminfo: memFree=1747448/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+1.50175 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1741224/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=7308 CPUtime=1.3
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 1602 0 0 0 130 0 0 0 25 0 1 0 306652614 7483392 1588 1992294400 134512640 135215339 4294956240 18446744073709551615 134541005 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 1827 1588 77 171 0 1654 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12664
[startup+3.10192 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1738920/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=10256 CPUtime=2.9
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 2358 0 0 0 289 1 0 0 25 0 1 0 306652614 10502144 2344 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 2564 2344 77 171 0 2391 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15612
[startup+6.30226 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1732840/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=15932 CPUtime=6.1
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 3771 0 0 0 608 2 0 0 25 0 1 0 306652614 16314368 3757 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 3983 3757 77 171 0 3810 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21288
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1722728/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=25552 CPUtime=12.49
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 6157 0 0 0 1245 4 0 0 25 0 1 0 306652614 26165248 6143 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 6388 6143 77 171 0 6215 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 30908
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1706088/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=41604 CPUtime=25.28
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 10168 0 0 0 2520 8 0 0 25 0 1 0 306652614 42602496 10154 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 10401 10155 77 171 0 10228 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 46960
[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1680168/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=67596 CPUtime=50.85
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 16679 0 0 0 5070 15 0 0 25 0 1 0 306652614 69218304 16665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528644 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 16899 16665 77 171 0 16726 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 72952
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1638376/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=108832 CPUtime=102.03
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 26936 0 0 0 10175 28 0 0 25 0 1 0 306652614 111443968 26922 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 27208 26922 77 171 0 27035 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 114188
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1599912/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=147244 CPUtime=162
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 36575 0 0 0 16161 39 0 0 25 0 1 0 306652614 150777856 36561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 36811 36561 77 171 0 36638 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 152600
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1565032/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=181840 CPUtime=221.96
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 45185 0 0 0 22149 47 0 0 25 0 1 0 306652614 186204160 45171 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 45460 45171 77 171 0 45287 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 187196
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1536680/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=210224 CPUtime=281.94
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 52310 0 0 0 28139 55 0 0 25 0 1 0 306652614 215269376 52296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 52556 52296 77 171 0 52383 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 215580
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1509608/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=236760 CPUtime=341.91
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 58970 0 0 0 34128 63 0 0 25 0 1 0 306652614 242442240 58956 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 59190 58956 77 171 0 59017 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 242116
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1483816/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=263108 CPUtime=401.88
################
# More data... #
################
/proc/1161/statm: 82509 82221 77 171 0 82336 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 335392
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1393128/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=352608 CPUtime=641.77
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 87908 0 0 0 64081 96 0 0 25 0 1 0 306652614 361070592 87894 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 88152 87894 77 171 0 87979 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 357964
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1374952/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=370692 CPUtime=701.74
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 92454 0 0 0 70071 103 0 0 25 0 1 0 306652614 379588608 92440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 92673 92440 77 171 0 92500 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 376048
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1353448/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=392724 CPUtime=761.71
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 97742 0 0 0 76063 108 0 0 25 0 1 0 306652614 402149376 97728 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 98181 97728 77 171 0 98008 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 398080
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1335976/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=410148 CPUtime=821.67
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 102122 0 0 0 82054 113 0 0 25 0 1 0 306652614 419991552 102108 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 102537 102108 77 171 0 102364 0
Current children cumulated CPU time (s) 821.83
Current children cumulated vsize (KiB) 415504
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1316840/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=428892 CPUtime=881.64
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 106823 0 0 0 88046 118 0 0 25 0 1 0 306652614 439185408 106809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 107223 106809 77 171 0 107050 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 434248
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1300200/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=445392 CPUtime=941.61
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 110996 0 0 0 94038 123 0 0 25 0 1 0 306652614 456081408 110982 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 111348 110982 77 171 0 111175 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 450748
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1284264/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=461100 CPUtime=1001.58
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 114928 0 0 0 100030 128 0 0 25 0 1 0 306652614 472166400 114914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 115275 114914 77 171 0 115102 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 466456
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1266408/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=478920 CPUtime=1061.56
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 119404 0 0 0 106023 133 0 0 25 0 1 0 306652614 490414080 119390 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 119730 119390 77 171 0 119557 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 484276
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1161
/proc/meminfo: memFree=1249320/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=495552 CPUtime=1121.52
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 123591 0 0 0 112014 138 0 0 25 0 1 0 306652614 507445248 123577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 123888 123577 77 171 0 123715 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 500908
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1163
/proc/meminfo: memFree=1247272/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=497268 CPUtime=1181.49
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 124020 0 0 0 118011 138 0 0 25 0 1 0 306652614 509202432 124006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 124317 124006 77 171 0 124144 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 502624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 1163
/proc/meminfo: memFree=1247272/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=497268 CPUtime=1199.89
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 124020 0 0 0 119851 138 0 0 25 0 1 0 306652614 509202432 124006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 124317 124006 77 171 0 124144 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 502624
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 1163
/proc/meminfo: memFree=1247272/2055920 swapFree=4179368/4192956
[pid=1155] ppid=1153 vsize=5356 CPUtime=0.16
/proc/1155/stat : 1155 (SatELiteGTI) S 1153 1155 556 0 -1 4194304 336 1610 0 0 0 0 16 0 15 0 1 0 306652596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1155/statm: 1339 239 197 169 0 50 0
[pid=1161] ppid=1155 vsize=497268 CPUtime=1199.89
/proc/1161/stat : 1161 (minisat_static) R 1155 1155 556 0 -1 4194304 124020 0 0 0 119851 138 0 0 25 0 1 0 306652614 509202432 124006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1161/statm: 124317 124006 77 171 0 124144 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 502624
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1155 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=169974
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=9998
# CPU time returned by wait4() is 0.179972
# while last known CPU time is 1200.05
#
# 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.05
CPU user time (s): 1198.67
CPU system time (s): 1.38
CPU usage (%): 99.9449
Max. virtual memory (cumulated for all children) (KiB): 502624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.169974
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 20
runsolver used 1.08183 second user time and 3.37549 second system time
The end
Begin job on node81 at 2009-05-20 04:23:48
IDJOB=1832677
IDBENCH=70302
IDSOLVER=671
FILE ID=node81/1832677-1242786227
PBS_JOBID= 9322343
Free space on /tmp= 126528 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832677-1242786227/watcher-1832677-1242786227 -o /tmp/evaluation-result-1832677-1242786227/solver-1832677-1242786227 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832677-1242786227.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f6a466c72f4f8727dda0aabdbbe355f0
RANDOM SEED=961223373
node81.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1747992 kB
Buffers: 32908 kB
Cached: 226748 kB
SwapCached: 7176 kB
Active: 101480 kB
Inactive: 166856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1747992 kB
SwapTotal: 4192956 kB
SwapFree: 4179368 kB
Dirty: 2328 kB
Writeback: 0 kB
Mapped: 13756 kB
Slab: 25400 kB
Committed_AS: 938836 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126524 MiB
End job on node81 at 2009-05-20 04:43:50