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.14 c | 0 | 41731 126700 | -- 0 -- -- | -- | -269/700
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 9761 #clauses: 41731 #literals: 126700
0.00/0.14 c CPU time: 0.134979 s
0.00/0.14 c ==============================================================================
0.00/0.19 c This is MiniSat 2.0 beta
0.00/0.19 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.19 c ============================[ Problem Statistics ]=============================
0.00/0.19 c | |
0.00/0.19 c | Number of variables: 9761 |
0.00/0.19 c | Number of clauses: 41731 |
0.17/0.21 c | Parsing time: 0.03 s |
0.17/0.22 c ============================[ Search Statistics ]==============================
0.17/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.17/0.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.17/0.22 c ===============================================================================
0.17/0.22 c | 0 | 9761 41731 126700 | 13910 0 nan | 0.000 % |
0.17/0.25 c | 100 | 9761 41731 126700 | 13910 100 122 | 0.000 % |
0.17/0.27 c | 200 | 9761 41731 126700 | 13910 200 110 | 0.000 % |
0.17/0.30 c | 301 | 9761 41731 126700 | 13910 301 115 | 0.000 % |
0.17/0.33 c | 411 | 9761 41731 126700 | 13910 411 117 | 0.000 % |
0.17/0.36 c | 511 | 9761 41731 126700 | 13910 511 117 | 0.000 % |
0.17/0.40 c | 621 | 9761 41731 126700 | 13910 621 115 | 0.000 % |
0.17/0.43 c | 742 | 9761 41731 126700 | 13910 742 128 | 0.000 % |
0.17/0.46 c | 843 | 9761 41731 126700 | 13910 843 128 | 0.000 % |
0.17/0.49 c | 954 | 9761 41731 126700 | 13910 954 134 | 0.000 % |
0.17/0.53 c | 1076 | 9761 41731 126700 | 13910 1076 137 | 0.000 % |
0.17/0.57 c | 1210 | 9761 41731 126700 | 13910 1210 140 | 0.000 % |
0.17/0.60 c | 1311 | 9761 41731 126700 | 13910 1311 148 | 0.000 % |
0.17/0.64 c | 1421 | 9761 41731 126700 | 13910 1421 149 | 0.000 % |
0.17/0.67 c | 1544 | 9761 41731 126700 | 13910 1544 149 | 0.000 % |
0.17/0.71 c | 1677 | 9761 41731 126700 | 13910 1677 149 | 0.000 % |
0.17/0.76 c | 1823 | 9761 41731 126700 | 13910 1823 151 | 0.000 % |
0.17/0.80 c | 1923 | 9761 41731 126700 | 13910 1923 150 | 0.000 % |
0.17/0.83 c | 2033 | 9761 41731 126700 | 13910 2033 149 | 0.000 % |
0.17/0.87 c | 2154 | 9761 41731 126700 | 13910 2154 149 | 0.000 % |
0.17/0.91 c | 2291 | 9761 41731 126700 | 13910 2291 149 | 0.000 % |
0.17/0.96 c | 2437 | 9761 41731 126700 | 13910 2437 149 | 0.000 % |
0.98/1.01 c | 2599 | 9761 41731 126700 | 13910 2599 149 | 0.000 % |
0.98/1.04 c | 2700 | 9761 41731 126700 | 13910 2700 148 | 0.000 % |
0.98/1.08 c | 2813 | 9761 41731 126700 | 13910 2813 148 | 0.000 % |
1.08/1.12 c | 2935 | 9761 41731 126700 | 13910 2935 148 | 0.000 % |
1.08/1.16 c | 3068 | 9761 41731 126700 | 13910 3068 150 | 0.000 % |
1.17/1.21 c | 3215 | 9761 41731 126700 | 13910 3215 150 | 0.000 % |
1.17/1.27 c | 3375 | 9761 41731 126700 | 13910 3375 150 | 0.000 % |
1.27/1.33 c | 3552 | 9761 41731 126700 | 13910 3552 149 | 0.000 % |
1.27/1.36 c | 3655 | 9761 41731 126700 | 13910 3655 149 | 0.000 % |
1.27/1.40 c | 3765 | 9761 41731 126700 | 13910 3765 149 | 0.000 % |
1.37/1.44 c | 3888 | 9761 41731 126700 | 13910 3888 148 | 0.000 % |
1.37/1.48 c | 4022 | 9761 41731 126700 | 13910 4022 148 | 0.000 % |
1.47/1.54 c | 4169 | 9761 41731 126700 | 13910 4169 148 | 0.000 % |
1.47/1.59 c | 4329 | 9761 41731 126700 | 13910 4329 149 | 0.000 % |
1.57/1.65 c | 4505 | 9761 41731 126700 | 13910 4505 149 | 0.000 % |
1.67/1.71 c | 4700 | 9761 41731 126700 | 13910 4700 150 | 0.000 % |
1.67/1.75 c | 4800 | 9761 41731 126700 | 13910 4800 150 | 0.000 % |
1.67/1.79 c | 4910 | 9761 41731 126700 | 13910 4910 150 | 0.000 % |
1.77/1.84 c | 5031 | 9761 41731 126700 | 13910 5031 151 | 0.000 % |
1.77/1.88 c | 5165 | 9761 41731 126700 | 13910 5165 150 | 0.000 % |
1.87/1.93 c | 5312 | 9761 41731 126700 | 13910 5312 151 | 0.000 % |
1.87/1.98 c | 5472 | 9761 41731 126700 | 13910 5472 151 | 0.000 % |
1.97/2.04 c | 5648 | 9761 41731 126700 | 13910 5648 150 | 0.000 % |
2.07/2.11 c | 5841 | 9761 41731 126700 | 13910 5841 151 | 0.000 % |
2.07/2.18 c | 6056 | 9761 41731 126700 | 13910 6056 150 | 0.000 % |
2.17/2.22 c | 6157 | 9761 41731 126700 | 13910 6157 150 | 0.000 % |
2.17/2.26 c | 6268 | 9761 41731 126700 | 13910 6268 150 | 0.000 % |
2.17/2.30 c | 6389 | 9761 41731 126700 | 13910 6389 150 | 0.000 % |
2.27/2.34 c | 6522 | 9761 41731 126700 | 13910 6522 150 | 0.000 % |
2.37/2.40 c | 6670 | 9761 41731 126700 | 13910 6670 151 | 0.000 % |
2.37/2.45 c | 6830 | 9761 41731 126700 | 13910 6830 150 | 0.000 % |
2.47/2.52 c | 7006 | 9761 41731 126700 | 13910 7006 150 | 0.000 % |
2.47/2.59 c | 7200 | 9761 41731 126700 | 13910 7200 151 | 0.000 % |
2.57/2.66 c | 7414 | 9761 41731 126700 | 13910 7414 152 | 0.000 % |
2.67/2.74 c | 7649 | 9761 41731 126700 | 13910 7649 151 | 0.000 % |
2.67/2.78 c | 7749 | 9761 41731 126700 | 13910 7749 151 | 0.000 % |
2.77/2.82 c | 7860 | 9761 41731 126700 | 13910 7860 150 | 0.000 % |
2.77/2.87 c | 7981 | 9761 41731 126700 | 13910 7981 149 | 0.000 % |
2.87/2.92 c | 8114 | 9761 41731 126700 | 13910 8114 149 | 0.000 % |
2.87/2.97 c | 8260 | 9761 41731 126700 | 13910 8260 150 | 0.000 % |
2.97/3.03 c | 8421 | 9761 41731 126700 | 13910 8421 150 | 0.000 % |
2.97/3.09 c | 8599 | 9761 41731 126700 | 13910 8599 151 | 0.000 % |
3.07/3.16 c | 8792 | 9761 41731 126700 | 13910 8792 151 | 0.000 % |
3.17/3.24 c | 9005 | 9761 41731 126700 | 13910 9005 151 | 0.000 % |
3.27/3.32 c | 9238 | 9761 41731 126700 | 13910 9238 150 | 0.000 % |
3.37/3.42 c | 9494 | 9761 41731 126700 | 13910 9494 151 | 0.000 % |
3.37/3.46 c | 9594 | 9761 41731 126700 | 13910 9594 151 | 0.000 % |
3.47/3.50 c | 9706 | 9761 41731 126700 | 13910 9706 150 | 0.000 % |
3.47/3.55 c | 9831 | 9761 41731 126700 | 13910 9831 150 | 0.000 % |
3.57/3.60 c | 9965 | 9761 41731 126700 | 13910 9965 151 | 0.000 % |
3.57/3.66 c | 10113 | 9761 41731 126700 | 2147483647 10113 151 | 0.000 % |
3.67/3.72 c | 10275 | 9761 41731 126700 | 2147483647 10275 151 | 0.000 % |
3.67/3.80 c | 10452 | 9761 41731 126700 | 2147483647 10452 151 | 0.000 % |
3.76/3.86 c | 10647 | 9761 41731 126700 | 2147483647 10647 151 | 0.000 % |
3.86/3.95 c | 10860 | 9761 41731 126700 | 2147483647 10860 151 | 0.000 % |
3.96/4.04 c | 11094 | 9761 41731 126700 | 2147483647 11094 152 | 0.000 % |
4.06/4.14 c | 11350 | 9761 41731 126700 | 2147483647 11350 153 | 0.000 % |
4.16/4.25 c | 11631 | 9761 41731 126700 | 2147483647 11631 154 | 0.000 % |
4.16/4.29 c | 11734 | 9761 41731 126700 | 2147483647 11734 154 | 0.000 % |
4.27/4.33 c | 11844 | 9761 41731 126700 | 2147483647 11844 154 | 0.000 % |
4.27/4.38 c | 11965 | 9761 41731 126700 | 2147483647 11965 154 | 0.000 % |
4.37/4.43 c | 12099 | 9761 41731 126700 | 2147483647 12099 154 | 0.000 % |
4.37/4.49 c | 12246 | 9761 41731 126700 | 2147483647 12246 154 | 0.000 % |
4.47/4.55 c | 12407 | 9761 41731 126700 | 2147483647 12407 155 | 0.000 % |
4.57/4.63 c | 12584 | 9761 41731 126700 | 2147483647 12584 154 | 0.000 % |
4.67/4.71 c | 12777 | 9761 41731 126700 | 2147483647 12777 154 | 0.000 % |
4.67/4.78 c | 12991 | 9761 41731 126700 | 2147483647 12991 154 | 0.000 % |
4.77/4.88 c | 13226 | 9761 41731 126700 | 2147483647 13226 155 | 0.000 % |
4.87/4.98 c | 13484 | 9761 41731 126700 | 2147483647 13484 155 | 0.000 % |
4.97/5.09 c | 13765 | 9761 41731 126700 | 2147483647 13765 155 | 0.000 % |
5.17/5.22 c | 14074 | 9761 41731 126700 | 2147483647 14074 155 | 0.000 % |
5.17/5.26 c | 14175 | 9761 41731 126700 | 2147483647 14175 155 | 0.000 % |
5.27/5.31 c | 14286 | 9761 41731 126700 | 2147483647 14286 156 | 0.000 % |
5.27/5.36 c | 14407 | 9761 41731 126700 | 2147483647 14407 155 | 0.000 % |
5.37/5.42 c | 14540 | 9761 41731 126700 | 2147483647 14540 155 | 0.000 % |
5.37/5.48 c | 14686 | 9761 41731 126700 | 2147483647 14686 155 | 0.000 % |
5.47/5.54 c | 14847 | 9761 41731 126700 | 2147483647 14847 155 | 0.000 % |
5.57/5.62 c | 15023 | 9761 41731 126700 | 2147483647 15023 155 | 0.000 % |
5.67/5.71 c | 15220 | 9761 41731 126700 | 2147483647 15220 155 | 0.000 % |
5.77/5.80 c | 15436 | 9761 41731 126700 | 2147483647 15436 155 | 0.000 % |
5.77/5.90 c | 15669 | 9761 41731 126700 | 2147483647 15669 155 | 0.000 % |
5.97/6.01 c | 15925 | 9761 41731 126700 | 2147483647 15925 156 | 0.000 % |
6.07/6.12 c | 16206 | 9761 41731 126700 | 2147483647 16206 156 | 0.000 % |
6.17/6.25 c | 16515 | 9761 41731 126700 | 2147483647 16515 156 | 0.000 % |
6.27/6.38 c | 16854 | 9761 41731 126700 | 2147483647 16854 157 | 0.000 % |
6.37/6.43 c | 16956 | 9761 41731 126700 | 2147483647 16956 156 | 0.000 % |
6.37/6.49 c | 17066 | 9761 41731 126700 | 2147483647 17066 156 | 0.000 % |
6.47/6.56 c | 17189 | 9761 41731 126700 | 2147483647 17189 156 | 0.000 % |
6.57/6.62 c | 17323 | 9761 41731 126700 | 2147483647 17323 156 | 0.000 % |
6.57/6.68 c | 17471 | 9761 41731 126700 | 2147483647 17471 156 | 0.000 % |
6.67/6.75 c | 17632 | 9761 41731 126700 | 2147483647 17632 156 | 0.000 % |
6.76/6.83 c | 17809 | 9761 41731 126700 | 2147483647 17809 156 | 0.000 % |
6.86/6.91 c | 18002 | 9761 41731 126700 | 2147483647 18002 157 | 0.000 % |
6.96/7.00 c | 18216 | 9761 41731 126700 | 2147483647 18216 157 | 0.000 % |
7.06/7.10 c | 18449 | 9761 41731 126700 | 2147483647 18449 157 | 0.000 % |
7.16/7.21 c | 18707 | 9761 41731 126700 | 2147483647 18707 157 | 0.000 % |
7.26/7.32 c | 18990 | 9761 41731 126700 | 2147483647 18990 157 | 0.000 % |
7.36/7.46 c | 19300 | 9761 41731 126700 | 2147483647 19300 158 | 0.000 % |
7.57/7.60 c | 19640 | 9761 41731 126700 | 2147483647 19640 158 | 0.000 % |
7.67/7.77 c | 20013 | 9761 41731 126700 | 2147483647 20013 158 | 0.000 % |
7.77/7.82 c | 20113 | 9761 41731 126700 | 2147483647 20113 158 | 0.000 % |
7.77/7.88 c | 20225 | 9761 41731 126700 | 2147483647 20225 158 | 0.000 % |
7.87/7.94 c | 20346 | 9761 41731 126700 | 2147483647 20346 158 | 0.000 % |
7.97/8.00 c | 20481 | 9761 41731 126700 | 2147483647 20481 158 | 0.000 % |
7.97/8.07 c | 20627 | 9761 41731 126700 | 2147483647 20627 158 | 0.000 % |
8.07/8.14 c | 20789 | 9761 41731 126700 | 2147483647 20789 158 | 0.000 % |
8.17/8.22 c | 20965 | 9761 41731 126700 | 2147483647 20965 158 | 0.000 % |
8.27/8.31 c | 21158 | 9761 41731 126700 | 2147483647 21158 158 | 0.000 % |
8.37/8.41 c | 21371 | 9761 41731 126700 | 2147483647 21371 158 | 0.000 % |
8.47/8.53 c | 21604 | 9761 41731 126700 | 2147483647 21604 158 | 0.000 % |
8.57/8.65 c | 21862 | 9761 41731 126700 | 2147483647 21862 159 | 0.000 % |
8.67/8.79 c | 22144 | 9761 41731 126700 | 2147483647 22144 159 | 0.000 % |
8.87/8.93 c | 22455 | 9761 41731 126700 | 2147483647 22455 159 | 0.000 % |
8.96/9.09 c | 22794 | 9761 41731 126700 | 2147483647 22794 160 | 0.000 % |
9.16/9.26 c | 23169 | 9761 41731 126700 | 2147483647 23169 159 | 0.000 % |
9.36/9.46 c | 23578 | 9761 41731 126700 | 2147483647 23578 160 | 0.000 % |
9.46/9.52 c | 23678 | 9761 41731 126700 | 2147483647 23678 160 | 0.000 % |
9.46/9.57 c | 23788 | 9761 41731 126700 | 2147483647 23788 160 | 0.000 % |
9.56/9.63 c | 23909 | 9761 41731 126700 | 2147483647 23909 160 | 0.000 % |
9.56/9.70 c | 24042 | 9761 41731 126700 | 2147483647 24042 160 | 0.000 % |
9.66/9.77 c | 24192 | 9761 41731 126700 | 2147483647 24192 160 | 0.000 % |
9.77/9.85 c | 24352 | 9761 41731 126700 | 2147483647 24352 160 | 0.000 % |
9.87/9.93 c | 24529 | 9761 41731 126700 | 2147483647 24529 160 | 0.000 % |
9.97/10.02 c | 24722 | 9761 41731 126700 | 2147483647 24722 160 | 0.000 % |
10.07/10.13 c | 24934 | 9761 41731 126700 | 2147483647 24934 159 | 0.000 % |
10.17/10.24 c | 25167 | 9761 41731 126700 | 2147483647 25167 160 | 0.000 % |
10.27/10.36 c | 25424 | 9761 41731 126700 | 2147483647 25424 159 | 0.000 % |
10.47/10.50 c | 25705 | 9761 41731 126700 | 2147483647 25705 160 | 0.000 % |
10.57/10.65 c | 26014 | 9761 41731 126700 | 2147483647 26014 160 | 0.000 % |
10.77/10.81 c | 26354 | 9761 41731 126700 | 2147483647 26354 160 | 0.000 % |
10.87/10.99 c | 26727 | 9761 41731 126700 | 2147483647 26727 161 | 0.000 % |
11.17/11.20 c | 27138 | 9761 41731 126700 | 2147483647 27138 161 | 0.000 % |
11.37/11.42 c | 27591 | 9761 41731 126700 | 2147483647 27591 161 | 0.000 % |
11.37/11.47 c | 27693 | 9761 41731 126700 | 2147483647 27693 161 | 0.000 % |
11.47/11.54 c | 27807 | 9761 41731 126700 | 2147483647 27807 161 | 0.000 % |
11.57/11.60 c | 27930 | 9761 41731 126700 | 2147483647 27930 161 | 0.000 % |
11.57/11.67 c | 28064 | 9761 41731 126700 | 2147483647 28064 161 | 0.000 % |
11.67/11.74 c | 28211 | 9761 41731 126700 | 2147483647 28211 161 | 0.000 % |
11.77/11.84 c | 28372 | 9761 41731 126700 | 2147483647 28372 161 | 0.000 % |
11.86/11.93 c | 28550 | 9761 41731 126700 | 2147483647 28550 161 | 0.000 % |
11.97/12.03 c | 28743 | 9761 41731 126700 | 2147483647 28743 161 | 0.000 % |
12.07/12.14 c | 28955 | 9761 41731 126700 | 2147483647 28955 161 | 0.000 % |
12.16/12.26 c | 29188 | 9761 41731 126700 | 2147483647 29188 161 | 0.000 % |
12.26/12.39 c | 29444 | 9761 41731 126700 | 2147483647 29444 162 | 0.000 % |
12.46/12.54 c | 29729 | 9761 41731 126700 | 2147483647 29729 161 | 0.000 % |
12.56/12.70 c | 30038 | 9761 41731 126700 | 2147483647 30038 162 | 0.000 % |
12.76/12.87 c | 30378 | 9761 41731 126700 | 2147483647 30378 162 | 0.000 % |
12.96/13.05 c | 30751 | 9761 41731 126700 | 2147483647 30751 162 | 0.000 % |
13.17/13.26 c | 31162 | 9761 41731 126700 | 2147483647 31162 162 | 0.000 % |
13.47/13.50 c | 31611 | 9761 41731 126700 | 2147483647 31611 163 | 0.000 % |
13.66/13.75 c | 32105 | 9761 41731 126700 | 2147483647 32105 163 | 0.000 % |
13.76/13.81 c | 32205 | 9761 41731 126700 | 2147483647 32205 163 | 0.000 % |
13.76/13.87 c | 32315 | 9761 41731 126700 | 2147483647 32315 163 | 0.000 % |
13.86/13.93 c | 32437 | 9761 41731 126700 | 2147483647 32437 163 | 0.000 % |
13.96/14.01 c | 32570 | 9761 41731 126700 | 2147483647 32570 163 | 0.000 % |
13.96/14.09 c | 32717 | 9761 41731 126700 | 2147483647 32717 163 | 0.000 % |
14.06/14.18 c | 32878 | 9761 41731 126700 | 2147483647 32878 163 | 0.000 % |
14.17/14.28 c | 33054 | 9761 41731 126700 | 2147483647 33054 163 | 0.000 % |
14.27/14.39 c | 33249 | 9761 41731 126700 | 2147483647 33249 163 | 0.000 % |
14.46/14.50 c | 33463 | 9761 41731 126700 | 2147483647 33463 163 | 0.000 % |
14.56/14.63 c | 33697 | 9761 41731 126700 | 2147483647 33697 163 | 0.000 % |
14.66/14.76 c | 33953 | 9761 41731 126700 | 2147483647 33953 163 | 0.000 % |
14.86/14.92 c | 34234 | 9761 41731 126700 | 2147483647 34234 163 | 0.000 % |
14.96/15.07 c | 34543 | 9761 41731 126700 | 2147483647 34543 164 | 0.000 % |
15.16/15.24 c | 34882 | 9761 41731 126700 | 2147483647 34882 164 | 0.000 % |
15.37/15.46 c | 35254 | 9761 41731 126700 | 2147483647 35254 164 | 0.000 % |
15.57/15.67 c | 35664 | 9761 41731 126700 | 2147483647 35664 164 | 0.000 % |
15.77/15.90 c | 36113 | 9761 41731 126700 | 2147483647 36113 164 | 0.000 % |
16.07/16.15 c | 36607 | 9761 41731 126700 | 2147483647 36607 164 | 0.000 % |
16.37/16.44 c | 37149 | 9761 41731 126700 | 2147483647 37149 164 | 0.000 % |
16.37/16.50 c | 37250 | 9761 41731 126700 | 2147483647 37250 164 | 0.000 % |
16.47/16.57 c | 37361 | 9761 41731 126700 | 2147483647 37361 164 | 0.000 % |
16.56/16.65 c | 37484 | 9761 41731 126700 | 2147483647 37484 164 | 0.000 % |
16.66/16.73 c | 37619 | 9761 41731 126700 | 2147483647 37619 164 | 0.000 % |
16.76/16.81 c | 37766 | 9761 41731 126700 | 2147483647 37766 164 | 0.000 % |
16.76/16.90 c | 37929 | 9761 41731 126700 | 2147483647 37929 164 | 0.000 % |
16.96/17.00 c | 38105 | 9761 41731 126700 | 2147483647 38105 164 | 0.000 % |
17.06/17.12 c | 38298 | 9761 41731 126700 | 2147483647 38298 163 | 0.000 % |
17.16/17.24 c | 38510 | 9761 41731 126700 | 2147483647 38510 164 | 0.000 % |
17.26/17.37 c | 38744 | 9761 41731 126700 | 2147483647 38744 164 | 0.000 % |
17.46/17.51 c | 39001 | 9761 41731 126700 | 2147483647 39001 164 | 0.000 % |
17.56/17.67 c | 39283 | 9761 41731 126700 | 2147483647 39283 164 | 0.000 % |
17.76/17.84 c | 39592 | 9761 41731 126700 | 2147483647 39592 164 | 0.000 % |
17.96/18.03 c | 39931 | 9761 41731 126700 | 2147483647 39931 164 | 0.000 % |
18.16/18.24 c | 40303 | 9761 41731 126700 | 2147483647 40303 163 | 0.000 % |
18.36/18.48 c | 40712 | 9761 41731 126700 | 2147483647 40712 164 | 0.000 % |
18.66/18.73 c | 41162 | 9761 41731 126700 | 2147483647 41162 164 | 0.000 % |
18.96/19.02 c | 41656 | 9761 41731 126700 | 2147483647 41656 164 | 0.000 % |
19.27/19.33 c | 42198 | 9761 41731 126700 | 2147483647 42198 164 | 0.000 % |
19.57/19.68 c | 42796 | 9761 41731 126700 | 2147483647 42796 165 | 0.000 % |
19.67/19.75 c | 42898 | 9761 41731 126700 | 2147483647 42898 164 | 0.000 % |
19.77/19.83 c | 43008 | 9761 41731 126700 | 2147483647 43008 164 | 0.000 % |
19.87/19.90 c | 43130 | 9761 41731 126700 | 2147483647 43130 164 | 0.000 % |
19.87/19.98 c | 43263 | 9761 41731 126700 | 2147483647 43263 164 | 0.000 % |
19.97/20.06 c | 43409 | 9761 41731 126700 | 2147483647 43409 164 | 0.000 % |
20.06/20.17 c | 43570 | 9761 41731 126700 | 2147483647 43570 164 | 0.000 % |
20.16/20.30 c | 43747 | 9761 41731 126700 | 2147483647 43747 164 | 0.000 % |
20.36/20.41 c | 43941 | 9761 41731 126700 | 2147483647 43941 164 | 0.000 % |
20.46/20.53 c | 44153 | 9761 41731 126700 | 2147483647 44153 164 | 0.000 % |
20.56/20.68 c | 44387 | 9761 41731 126700 | 2147483647 44387 164 | 0.000 % |
20.76/20.85 c | 44645 | 9761 41731 126700 | 2147483647 44645 165 | 0.000 % |
20.96/21.02 c | 44926 | 9761 41731 126700 | 2147483647 44926 165 | 0.000 % |
21.16/21.20 c | 45235 | 9761 41731 126700 | 2147483647 45235 164 | 0.000 % |
21.36/21.41 c | 45576 | 9761 41731 126700 | 2147483647 45576 164 | 0.000 % |
21.56/21.63 c | 45949 | 9761 41731 126700 | 2147483647 45949 164 | 0.000 % |
21.77/21.89 c | 46361 | 9761 41731 126700 | 2147483647 46361 164 | 0.000 % |
22.07/22.16 c | 46811 | 9761 41731 126700 | 2147483647 46811 164 | 0.000 % |
22.36/22.46 c | 47304 | 9761 41731 126700 | 2147483647 47304 165 | 0.000 % |
22.66/22.77 c | 47846 | 9761 41731 126700 | 2147483647 47846 165 | 0.000 % |
23.07/23.10 c | 48444 | 9761 41731 126700 | 2147483647 48444 166 | 0.000 % |
23.47/23.50 c | 49099 | 9761 41731 126700 | 2147483647 49099 166 | 0.000 % |
23.47/23.58 c | 49201 | 9761 41731 126700 | 2147483647 49201 166 | 0.000 % |
23.57/23.66 c | 49311 | 9761 41731 126700 | 2147483647 49311 166 | 0.000 % |
23.67/23.74 c | 49435 | 9761 41731 126700 | 2147483647 49435 166 | 0.000 % |
23.76/23.83 c | 49568 | 9761 41731 126700 | 2147483647 49568 166 | 0.000 % |
23.86/23.92 c | 49714 | 9761 41731 126700 | 2147483647 49714 166 | 0.000 % |
23.96/24.03 c | 49874 | 9761 41731 126700 | 2147483647 49874 166 | 0.000 % |
24.07/24.15 c | 50050 | 9761 41731 126700 | 2147483647 50050 166 | 0.000 % |
24.17/24.28 c | 50243 | 9761 41731 126700 | 2147483647 50243 166 | 0.000 % |
24.36/24.42 c | 50455 | 9761 41731 126700 | 2147483647 50455 166 | 0.000 % |
24.46/24.57 c | 50688 | 9761 41731 126700 | 2147483647 50688 166 | 0.000 % |
24.66/24.74 c | 50947 | 9761 41731 126700 | 2147483647 50947 166 | 0.000 % |
24.86/24.93 c | 51228 | 9761 41731 126700 | 2147483647 51228 166 | 0.000 % |
25.06/25.14 c | 51539 | 9761 41731 126700 | 2147483647 51539 166 | 0.000 % |
25.27/25.37 c | 51881 | 9761 41731 126700 | 2147483647 51881 166 | 0.000 % |
25.46/25.59 c | 52253 | 9761 41731 126700 | 2147483647 52253 166 | 0.000 % |
25.76/25.85 c | 52662 | 9761 41731 126700 | 2147483647 52662 167 | 0.000 % |
26.06/26.13 c | 53111 | 9761 41731 126700 | 2147483647 53111 167 | 0.000 % |
26.36/26.45 c | 53604 | 9761 41731 126700 | 2147483647 53604 167 | 0.000 % |
26.77/26.83 c | 54147 | 9761 41731 126700 | 2147483647 54147 167 | 0.000 % |
27.17/27.21 c | 54743 | 9761 41731 126700 | 2147483647 54743 167 | 0.000 % |
27.57/27.64 c | 55400 | 9761 41731 126700 | 2147483647 55400 168 | 0.000 % |
27.96/28.09 c | 56122 | 9761 41731 126700 | 2147483647 56122 168 | 0.000 % |
28.06/28.16 c | 56222 | 9761 41731 126700 | 2147483647 56222 168 | 0.000 % |
28.16/28.25 c | 56333 | 9761 41731 126700 | 2147483647 56333 168 | 0.000 % |
28.26/28.34 c | 56454 | 9761 41731 126700 | 2147483647 56454 168 | 0.000 % |
28.36/28.45 c | 56589 | 9761 41731 126700 | 2147483647 56589 168 | 0.000 % |
28.46/28.56 c | 56736 | 9761 41731 126700 | 2147483647 56736 168 | 0.000 % |
28.56/28.68 c | 56900 | 9761 41731 126700 | 2147483647 56900 168 | 0.000 % |
28.76/28.81 c | 57077 | 9761 41731 126700 | 2147483647 57077 168 | 0.000 % |
28.86/28.95 c | 57271 | 9761 41731 126700 | 2147483647 57271 168 | 0.000 % |
29.06/29.11 c | 57483 | 9761 41731 126700 | 2147483647 57483 168 | 0.000 % |
29.16/29.25 c | 57716 | 9761 41731 126700 | 2147483647 57716 168 | 0.000 % |
29.36/29.44 c | 57972 | 9761 41731 126700 | 2147483647 57972 168 | 0.000 % |
29.56/29.62 c | 58254 | 9761 41731 126700 | 2147483647 58254 168 | 0.000 % |
29.76/29.84 c | 58564 | 9761 41731 126700 | 2147483647 58564 168 | 0.000 % |
29.96/30.07 c | 58903 | 9761 41731 126700 | 2147483647 58903 168 | 0.000 % |
30.26/30.34 c | 59275 | 9761 41731 126700 | 2147483647 59275 168 | 0.000 % |
30.56/30.62 c | 59685 | 9761 41731 126700 | 2147483647 59685 168 | 0.000 % |
30.86/30.91 c | 60136 | 9761 41731 126700 | 2147483647 60136 168 | 0.000 % |
31.16/31.25 c | 60630 | 9761 41731 126700 | 2147483647 60630 168 | 0.000 % |
31.56/31.65 c | 61172 | 9761 41731 126700 | 2147483647 61172 169 | 0.000 % |
31.96/32.09 c | 61769 | 9761 41731 126700 | 2147483647 61769 169 | 0.000 % |
32.46/32.56 c | 62424 | 9761 41731 126700 | 2147483647 62424 169 | 0.000 % |
32.97/33.04 c | 63145 | 9761 41731 126700 | 2147483647 63145 170 | 0.000 % |
33.56/33.61 c | 63940 | 9761 41731 126700 | 2147483647 63940 170 | 0.000 % |
33.56/33.68 c | 64042 | 9761 41731 126700 | 2147483647 64042 170 | 0.000 % |
33.66/33.77 c | 64152 | 9761 41731 126700 | 2147483647 64152 170 | 0.000 % |
33.76/33.86 c | 64273 | 9761 41731 126700 | 2147483647 64273 170 | 0.000 % |
33.86/33.97 c | 64407 | 9761 41731 126700 | 2147483647 64407 170 | 0.000 % |
33.96/34.08 c | 64554 | 9761 41731 126700 | 2147483647 64554 170 | 0.000 % |
34.06/34.18 c | 64715 | 9761 41731 126700 | 2147483647 64715 170 | 0.000 % |
34.26/34.31 c | 64891 | 9761 41731 126700 | 2147483647 64891 170 | 0.000 % |
34.36/34.47 c | 65086 | 9761 41731 126700 | 2147483647 65086 170 | 0.000 % |
34.56/34.62 c | 65299 | 9761 41731 126700 | 2147483647 65299 170 | 0.000 % |
34.76/34.81 c | 65533 | 9761 41731 126700 | 2147483647 65533 170 | 0.000 % |
34.96/35.00 c | 65789 | 9761 41731 126700 | 2147483647 65789 170 | 0.000 % |
35.06/35.19 c | 66070 | 9761 41731 126700 | 2147483647 66070 171 | 0.000 % |
35.36/35.46 c | 66379 | 9761 41731 126700 | 2147483647 66379 171 | 0.000 % |
35.66/35.70 c | 66719 | 9761 41731 126700 | 2147483647 66719 170 | 0.000 % |
35.86/35.98 c | 67091 | 9761 41731 126700 | 2147483647 67091 170 | 0.000 % |
36.17/36.29 c | 67500 | 9761 41731 126700 | 2147483647 67500 171 | 0.000 % |
36.56/36.62 c | 67953 | 9761 41731 126700 | 2147483647 67953 171 | 0.000 % |
36.86/37.00 c | 68446 | 9761 41731 126700 | 2147483647 68446 171 | 0.000 % |
37.26/37.40 c | 68988 | 9761 41731 126700 | 2147483647 68988 171 | 0.000 % |
37.76/37.85 c | 69584 | 9761 41731 126700 | 2147483647 69584 171 | 0.000 % |
38.26/38.34 c | 70240 | 9761 41731 126700 | 2147483647 70240 171 | 0.000 % |
38.76/38.85 c | 70960 | 9761 41731 126700 | 2147483647 70960 171 | 0.000 % |
39.36/39.46 c | 71753 | 9761 41731 126700 | 2147483647 71753 171 | 0.000 % |
39.96/40.08 c | 72625 | 9761 41731 126700 | 2147483647 72625 172 | 0.000 % |
40.06/40.15 c | 72725 | 9761 41731 126700 | 2147483647 72725 172 | 0.000 % |
40.16/40.25 c | 72838 | 9761 41731 126700 | 2147483647 72838 172 | 0.000 % |
40.26/40.35 c | 72959 | 9761 41731 126700 | 2147483647 72959 172 | 0.000 % |
40.36/40.46 c | 73092 | 9761 41731 126700 | 2147483647 73092 172 | 0.000 % |
40.46/40.59 c | 73238 | 9761 41731 126700 | 2147483647 73238 172 | 0.000 % |
40.66/40.72 c | 73398 | 9761 41731 126700 | 2147483647 73398 172 | 0.000 % |
40.76/40.86 c | 73574 | 9761 41731 126700 | 2147483647 73574 172 | 0.000 % |
40.96/41.03 c | 73767 | 9761 41731 126700 | 2147483647 73767 172 | 0.000 % |
41.16/41.21 c | 73982 | 9761 41731 126700 | 2147483647 73982 172 | 0.000 % |
41.25/41.39 c | 74215 | 9761 41731 126700 | 2147483647 74215 172 | 0.000 % |
41.45/41.59 c | 74475 | 9761 41731 126700 | 2147483647 74475 172 | 0.000 % |
41.76/41.82 c | 74756 | 9761 41731 126700 | 2147483647 74756 172 | 0.000 % |
41.95/42.09 c | 75065 | 9761 41731 126700 | 2147483647 75065 172 | 0.000 % |
42.25/42.39 c | 75404 | 9761 41731 126700 | 2147483647 75404 172 | 0.000 % |
42.55/42.67 c | 75777 | 9761 41731 126700 | 2147483647 75777 172 | 0.000 % |
42.96/43.01 c | 76187 | 9761 41731 126700 | 2147483647 76187 172 | 0.000 % |
43.26/43.36 c | 76636 | 9761 41731 126700 | 2147483647 76636 172 | 0.000 % |
43.66/43.72 c | 77132 | 9761 41731 126700 | 2147483647 77132 172 | 0.000 % |
44.06/44.13 c | 77675 | 9761 41731 126700 | 2147483647 77675 172 | 0.000 % |
44.46/44.58 c | 78271 | 9761 41731 126700 | 2147483647 78271 172 | 0.000 % |
45.07/45.11 c | 78929 | 9761 41731 126700 | 2147483647 78929 173 | 0.000 % |
45.56/45.67 c | 79649 | 9761 41731 126700 | 2147483647 79649 173 | 0.000 % |
46.16/46.29 c | 80443 | 9761 41731 126700 | 2147483647 80443 173 | 0.000 % |
46.85/46.95 c | 81314 | 9761 41731 126700 | 2147483647 81314 173 | 0.000 % |
47.55/47.68 c | 82273 | 9761 41731 126700 | 2147483647 82273 173 | 0.000 % |
47.65/47.77 c | 82375 | 9761 41731 126700 | 2147483647 82375 173 | 0.000 % |
47.75/47.87 c | 82485 | 9761 41731 126700 | 2147483647 82485 173 | 0.000 % |
47.85/47.98 c | 82606 | 9761 41731 126700 | 2147483647 82606 173 | 0.000 % |
47.95/48.09 c | 82741 | 9761 41731 126700 | 2147483647 82741 173 | 0.000 % |
48.16/48.23 c | 82887 | 9761 41731 126700 | 2147483647 82887 173 | 0.000 % |
48.26/48.37 c | 83048 | 9761 41731 126700 | 2147483647 83048 173 | 0.000 % |
48.46/48.53 c | 83224 | 9761 41731 126700 | 2147483647 83224 173 | 0.000 % |
48.56/48.69 c | 83418 | 9761 41731 126700 | 2147483647 83418 173 | 0.000 % |
48.76/48.88 c | 83631 | 9761 41731 126700 | 2147483647 83631 173 | 0.000 % |
48.96/49.07 c | 83866 | 9761 41731 126700 | 2147483647 83866 173 | 0.000 % |
49.16/49.29 c | 84122 | 9761 41731 126700 | 2147483647 84122 173 | 0.000 % |
49.46/49.54 c | 84404 | 9761 41731 126700 | 2147483647 84404 173 | 0.000 % |
49.76/49.81 c | 84714 | 9761 41731 126700 | 2147483647 84714 173 | 0.000 % |
49.96/50.09 c | 85055 | 9761 41731 126700 | 2147483647 85055 173 | 0.000 % |
50.36/50.41 c | 85427 | 9761 41731 126700 | 2147483647 85427 173 | 0.000 % |
50.65/50.75 c | 85836 | 9761 41731 126700 | 2147483647 85836 173 | 0.000 % |
51.05/51.12 c | 86287 | 9761 41731 126700 | 2147483647 86287 173 | 0.000 % |
51.45/51.52 c | 86781 | 9761 41731 126700 | 2147483647 86781 173 | 0.000 % |
51.85/51.99 c | 87325 | 9761 41731 126700 | 2147483647 87325 173 | 0.000 % |
52.36/52.47 c | 87921 | 9761 41731 126700 | 2147483647 87921 173 | 0.000 % |
52.96/53.05 c | 88576 | 9761 41731 126700 | 2147483647 88576 173 | 0.000 % |
53.46/53.59 c | 89296 | 9761 41731 126700 | 2147483647 89296 174 | 0.000 % |
54.15/54.28 c | 90090 | 9761 41731 126700 | 2147483647 90090 174 | 0.000 % |
54.95/55.04 c | 90962 | 9761 41731 126700 | 2147483647 90962 174 | 0.000 % |
55.75/55.80 c | 91920 | 9761 41731 126700 | 2147483647 91920 174 | 0.000 % |
56.66/56.77 c | 92973 | 9761 41731 126700 | 2147483647 92973 175 | 0.000 % |
56.76/56.88 c | 93073 | 9761 41731 126700 | 2147483647 93073 175 | 0.000 % |
56.95/57.00 c | 93183 | 9761 41731 126700 | 2147483647 93183 175 | 0.000 % |
57.06/57.11 c | 93304 | 9761 41731 126700 | 2147483647 93304 175 | 0.000 % |
57.16/57.25 c | 93439 | 9761 41731 126700 | 2147483647 93439 175 | 0.000 % |
57.35/57.41 c | 93586 | 9761 41731 126700 | 2147483647 93586 175 | 0.000 % |
57.45/57.58 c | 93746 | 9761 41731 126700 | 2147483647 93746 175 | 0.000 % |
57.65/57.76 c | 93922 | 9761 41731 126700 | 2147483647 93922 175 | 0.000 % |
57.85/57.95 c | 94116 | 9761 41731 126700 | 2147483647 94116 175 | 0.000 % |
58.05/58.12 c | 94329 | 9761 41731 126700 | 2147483647 94329 175 | 0.000 % |
58.26/58.34 c | 94563 | 9761 41731 126700 | 2147483647 94563 175 | 0.000 % |
58.45/58.59 c | 94820 | 9761 41731 126700 | 2147483647 94820 175 | 0.000 % |
58.75/58.87 c | 95101 | 9761 41731 126700 | 2147483647 95101 175 | 0.000 % |
59.05/59.14 c | 95410 | 9761 41731 126700 | 2147483647 95410 175 | 0.000 % |
59.35/59.44 c | 95750 | 9761 41731 126700 | 2147483647 95750 175 | 0.000 % |
59.66/59.77 c | 96123 | 9761 41731 126700 | 2147483647 96123 175 | 0.000 % |
60.06/60.10 c | 96535 | 9761 41731 126700 | 2147483647 96535 175 | 0.000 % |
60.46/60.53 c | 96986 | 9761 41731 126700 | 2147483647 96986 175 | 0.000 % |
60.85/60.98 c | 97481 | 9761 41731 126700 | 2147483647 97481 175 | 0.000 % |
61.35/61.47 c | 98023 | 9761 41731 126700 | 2147483647 98023 175 | 0.000 % |
61.95/62.02 c | 98621 | 9761 41731 126700 | 2147483647 98621 175 | 0.000 % |
62.45/62.60 c | 99279 | 9761 41731 126700 | 2147483647 99279 175 | 0.000 % |
63.15/63.23 c | 100000 | 9761 41731 126700 | 2147483647 100000 176 | 0.000 % |
63.85/63.99 c | 100794 | 9761 41731 126700 | 2147483647 100794 176 | 0.000 % |
64.76/64.85 c | 101665 | 9761 41731 126700 | 2147483647 101665 176 | 0.000 % |
65.65/65.72 c | 102623 | 9761 41731 126700 | 2147483647 102623 177 | 0.000 % |
66.55/66.65 c | 103677 | 9761 41731 126700 | 2147483647 103677 177 | 0.000 % |
67.55/67.64 c | 104835 | 9761 41731 126700 | 2147483647 104835 177 | 0.000 % |
67.66/67.73 c | 104935 | 9761 41731 126700 | 2147483647 104935 177 | 0.000 % |
67.76/67.85 c | 105047 | 9761 41731 126700 | 2147483647 105047 177 | 0.000 % |
67.96/68.01 c | 105168 | 9761 41731 126700 | 2147483647 105168 177 | 0.000 % |
68.06/68.14 c | 105302 | 9761 41731 126700 | 2147483647 105302 177 | 0.000 % |
68.16/68.28 c | 105450 | 9761 41731 126700 | 2147483647 105450 177 | 0.000 % |
68.35/68.48 c | 105611 | 9761 41731 126700 | 2147483647 105611 177 | 0.000 % |
68.55/68.64 c | 105788 | 9761 41731 126700 | 2147483647 105788 177 | 0.000 % |
68.75/68.81 c | 105981 | 9761 41731 126700 | 2147483647 105981 177 | 0.000 % |
68.95/69.03 c | 106196 | 9761 41731 126700 | 2147483647 106196 177 | 0.000 % |
69.15/69.25 c | 106429 | 9761 41731 126700 | 2147483647 106429 177 | 0.000 % |
69.45/69.51 c | 106688 | 9761 41731 126700 | 2147483647 106688 177 | 0.000 % |
69.65/69.79 c | 106969 | 9761 41731 126700 | 2147483647 106969 177 | 0.000 % |
70.05/70.10 c | 107279 | 9761 41731 126700 | 2147483647 107279 177 | 0.000 % |
70.35/70.42 c | 107618 | 9761 41731 126700 | 2147483647 107618 177 | 0.000 % |
70.65/70.78 c | 107990 | 9761 41731 126700 | 2147483647 107990 177 | 0.000 % |
71.05/71.16 c | 108399 | 9761 41731 126700 | 2147483647 108399 177 | 0.000 % |
71.45/71.58 c | 108848 | 9761 41731 126700 | 2147483647 108848 177 | 0.000 % |
71.95/72.05 c | 109341 | 9761 41731 126700 | 2147483647 109341 177 | 0.000 % |
72.45/72.54 c | 109884 | 9761 41731 126700 | 2147483647 109884 177 | 0.000 % |
73.05/73.13 c | 110482 | 9761 41731 126700 | 2147483647 110482 177 | 0.000 % |
73.66/73.79 c | 111139 | 9761 41731 126700 | 2147483647 111139 177 | 0.000 % |
74.45/74.50 c | 111860 | 9761 41731 126700 | 2147483647 111860 178 | 0.000 % |
75.15/75.26 c | 112653 | 9761 41731 126700 | 2147483647 112653 178 | 0.000 % |
76.04/76.12 c | 113524 | 9761 41731 126700 | 2147483647 113524 178 | 0.000 % |
77.05/77.10 c | 114482 | 9761 41731 126700 | 2147483647 114482 178 | 0.000 % |
78.05/78.13 c | 115536 | 9761 41731 126700 | 2147483647 115536 178 | 0.000 % |
79.15/79.27 c | 116697 | 9761 41731 126700 | 2147483647 116697 179 | 0.000 % |
80.35/80.46 c | 117970 | 9761 41731 126700 | 2147483647 117970 179 | 0.000 % |
80.45/80.57 c | 118070 | 9761 41731 126700 | 2147483647 118070 179 | 0.000 % |
80.65/80.71 c | 118180 | 9761 41731 126700 | 2147483647 118180 179 | 0.000 % |
80.75/80.85 c | 118301 | 9761 41731 126700 | 2147483647 118301 179 | 0.000 % |
80.95/81.00 c | 118435 | 9761 41731 126700 | 2147483647 118435 179 | 0.000 % |
81.05/81.16 c | 118582 | 9761 41731 126700 | 2147483647 118582 179 | 0.000 % |
81.25/81.34 c | 118743 | 9761 41731 126700 | 2147483647 118743 179 | 0.000 % |
81.45/81.53 c | 118921 | 9761 41731 126700 | 2147483647 118921 179 | 0.000 % |
81.65/81.76 c | 119114 | 9761 41731 126700 | 2147483647 119114 179 | 0.000 % |
81.85/81.97 c | 119327 | 9761 41731 126700 | 2147483647 119327 179 | 0.000 % |
82.15/82.24 c | 119560 | 9761 41731 126700 | 2147483647 119560 179 | 0.000 % |
82.45/82.54 c | 119816 | 9761 41731 126700 | 2147483647 119816 179 | 0.000 % |
82.75/82.82 c | 120098 | 9761 41731 126700 | 2147483647 120098 179 | 0.000 % |
83.05/83.16 c | 120407 | 9761 41731 126700 | 2147483647 120407 179 | 0.000 % |
83.45/83.51 c | 120748 | 9761 41731 126700 | 2147483647 120748 179 | 0.000 % |
83.85/83.93 c | 121121 | 9761 41731 126700 | 2147483647 121121 179 | 0.000 % |
84.25/84.32 c | 121533 | 9761 41731 126700 | 2147483647 121533 179 | 0.000 % |
84.65/84.78 c | 121983 | 9761 41731 126700 | 2147483647 121983 179 | 0.000 % |
85.24/85.30 c | 122476 | 9761 41731 126700 | 2147483647 122476 179 | 0.000 % |
85.75/85.86 c | 123019 | 9761 41731 126700 | 2147483647 123019 179 | 0.000 % |
86.34/86.47 c | 123617 | 9761 41731 126700 | 2147483647 123617 179 | 0.000 % |
87.05/87.13 c | 124272 | 9761 41731 126700 | 2147483647 124272 179 | 0.000 % |
87.75/87.83 c | 124993 | 9761 41731 126700 | 2147483647 124993 179 | 0.000 % |
88.55/88.65 c | 125785 | 9761 41731 126700 | 2147483647 125785 179 | 0.000 % |
89.55/89.60 c | 126656 | 9761 41731 126700 | 2147483647 126656 179 | 0.000 % |
90.44/90.56 c | 127615 | 9761 41731 126700 | 2147483647 127615 180 | 0.000 % |
91.55/91.60 c | 128669 | 9761 41731 126700 | 2147483647 128669 180 | 0.000 % |
92.74/92.83 c | 129827 | 9761 41731 126700 | 2147483647 129827 180 | 0.000 % |
94.04/94.15 c | 131101 | 9761 41731 126700 | 2147483647 131101 180 | 0.000 % |
95.55/95.69 c | 132501 | 9761 41731 126700 | 2147483647 132501 181 | 0.000 % |
95.75/95.85 c | 132603 | 9761 41731 126700 | 2147483647 132603 181 | 0.000 % |
95.85/95.98 c | 132714 | 9761 41731 126700 | 2147483647 132714 181 | 0.000 % |
96.05/96.13 c | 132838 | 9761 41731 126700 | 2147483647 132838 181 | 0.000 % |
96.25/96.30 c | 132972 | 9761 41731 126700 | 2147483647 132972 181 | 0.000 % |
96.35/96.48 c | 133118 | 9761 41731 126700 | 2147483647 133118 181 | 0.000 % |
96.55/96.67 c | 133279 | 9761 41731 126700 | 2147483647 133279 181 | 0.000 % |
96.75/96.89 c | 133457 | 9761 41731 126700 | 2147483647 133457 181 | 0.000 % |
97.04/97.14 c | 133651 | 9761 41731 126700 | 2147483647 133651 180 | 0.000 % |
97.34/97.41 c | 133863 | 9761 41731 126700 | 2147483647 133863 180 | 0.000 % |
97.54/97.68 c | 134097 | 9761 41731 126700 | 2147483647 134097 180 | 0.000 % |
97.94/98.02 c | 134355 | 9761 41731 126700 | 2147483647 134355 180 | 0.000 % |
98.24/98.36 c | 134637 | 9761 41731 126700 | 2147483647 134637 180 | 0.000 % |
98.64/98.72 c | 134947 | 9761 41731 126700 | 2147483647 134947 180 | 0.000 % |
99.05/99.11 c | 135287 | 9761 41731 126700 | 2147483647 135287 180 | 0.000 % |
99.45/99.55 c | 135667 | 9761 41731 126700 | 2147483647 135667 180 | 0.000 % |
99.85/99.97 c | 136076 | 9761 41731 126700 | 2147483647 136076 180 | 0.000 % |
100.45/100.53 c | 136526 | 9761 41731 126700 | 2147483647 136526 180 | 0.000 % |
101.05/101.11 c | 137022 | 9761 41731 126700 | 2147483647 137022 180 | 0.000 % |
101.54/101.69 c | 137566 | 9761 41731 126700 | 2147483647 137566 180 | 0.000 % |
102.34/102.40 c | 138162 | 9761 41731 126700 | 2147483647 138162 180 | 0.000 % |
102.94/103.06 c | 138819 | 9761 41731 126700 | 2147483647 138819 180 | 0.000 % |
103.74/103.84 c | 139539 | 9761 41731 126700 | 2147483647 139539 181 | 0.000 % |
104.64/104.77 c | 140331 | 9761 41731 126700 | 2147483647 140331 181 | 0.000 % |
105.55/105.68 c | 141202 | 9761 41731 126700 | 2147483647 141202 181 | 0.000 % |
106.64/106.77 c | 142161 | 9761 41731 126700 | 2147483647 142161 181 | 0.000 % |
107.84/107.95 c | 143214 | 9761 41731 126700 | 2147483647 143214 181 | 0.000 % |
109.14/109.20 c | 144373 | 9761 41731 126700 | 2147483647 144373 181 | 0.000 % |
110.54/110.66 c | 145646 | 9761 41731 126700 | 2147483647 145646 181 | 0.000 % |
112.04/112.11 c | 147046 | 9761 41731 126700 | 2147483647 147046 181 | 0.000 % |
113.64/113.80 c | 148586 | 9761 41731 126700 | 2147483647 148586 182 | 0.000 % |
113.84/113.96 c | 148690 | 9761 41731 126700 | 2147483647 148690 182 | 0.000 % |
114.04/114.13 c | 148801 | 9761 41731 126700 | 2147483647 148801 182 | 0.000 % |
114.24/114.30 c | 148922 | 9761 41731 126700 | 2147483647 148922 182 | 0.000 % |
114.34/114.47 c | 149055 | 9761 41731 126700 | 2147483647 149055 182 | 0.000 % |
114.54/114.69 c | 149204 | 9761 41731 126700 | 2147483647 149204 182 | 0.000 % |
114.84/114.92 c | 149365 | 9761 41731 126700 | 2147483647 149365 182 | 0.000 % |
115.04/115.17 c | 149542 | 9761 41731 126700 | 2147483647 149542 182 | 0.000 % |
115.34/115.42 c | 149735 | 9761 41731 126700 | 2147483647 149735 182 | 0.000 % |
115.53/115.69 c | 149948 | 9761 41731 126700 | 2147483647 149948 182 | 0.000 % |
115.93/116.00 c | 150182 | 9761 41731 126700 | 2147483647 150182 182 | 0.000 % |
116.24/116.32 c | 150438 | 9761 41731 126700 | 2147483647 150438 182 | 0.000 % |
116.55/116.67 c | 150719 | 9761 41731 126700 | 2147483647 150719 182 | 0.000 % |
116.94/117.02 c | 151028 | 9761 41731 126700 | 2147483647 151028 182 | 0.000 % |
117.34/117.44 c | 151369 | 9761 41731 126700 | 2147483647 151369 182 | 0.000 % |
117.84/117.91 c | 151742 | 9761 41731 126700 | 2147483647 151742 182 | 0.000 % |
118.34/118.40 c | 152152 | 9761 41731 126700 | 2147483647 152152 182 | 0.000 % |
118.84/118.92 c | 152604 | 9761 41731 126700 | 2147483647 152604 182 | 0.000 % |
119.44/119.53 c | 153097 | 9761 41731 126700 | 2147483647 153097 182 | 0.000 % |
120.03/120.19 c | 153639 | 9761 41731 126700 | 2147483647 153639 182 | 0.000 % |
120.85/120.92 c | 154239 | 9761 41731 126700 | 2147483647 154239 182 | 0.000 % |
121.64/121.71 c | 154894 | 9761 41731 126700 | 2147483647 154894 182 | 0.000 % |
122.43/122.53 c | 155616 | 9761 41731 126700 | 2147483647 155616 182 | 0.000 % |
123.24/123.39 c | 156409 | 9761 41731 126700 | 2147483647 156409 182 | 0.000 % |
124.33/124.45 c | 157280 | 9761 41731 126700 | 2147483647 157280 182 | 0.000 % |
125.43/125.56 c | 158239 | 9761 41731 126700 | 2147483647 158239 182 | 0.000 % |
126.64/126.79 c | 159293 | 9761 41731 126700 | 2147483647 159293 182 | 0.000 % |
128.04/128.11 c | 160451 | 9761 41731 126700 | 2147483647 160451 182 | 0.000 % |
129.53/129.61 c | 161724 | 9761 41731 126700 | 2147483647 161724 182 | 0.000 % |
131.24/131.32 c | 163125 | 9761 41731 126700 | 2147483647 163125 183 | 0.000 % |
133.04/133.16 c | 164665 | 9761 41731 126700 | 2147483647 164665 182 | 0.000 % |
135.03/135.19 c | 166359 | 9761 41731 126700 | 2147483647 166359 183 | 0.000 % |
135.24/135.34 c | 166460 | 9761 41731 126700 | 2147483647 166460 183 | 0.000 % |
135.43/135.50 c | 166570 | 9761 41731 126700 | 2147483647 166570 183 | 0.000 % |
135.63/135.72 c | 166691 | 9761 41731 126700 | 2147483647 166691 183 | 0.000 % |
135.83/135.92 c | 166825 | 9761 41731 126700 | 2147483647 166825 183 | 0.000 % |
136.03/136.12 c | 166971 | 9761 41731 126700 | 2147483647 166971 183 | 0.000 % |
136.23/136.35 c | 167132 | 9761 41731 126700 | 2147483647 167132 183 | 0.000 % |
136.43/136.57 c | 167308 | 9761 41731 126700 | 2147483647 167308 183 | 0.000 % |
136.73/136.82 c | 167502 | 9761 41731 126700 | 2147483647 167502 183 | 0.000 % |
137.03/137.14 c | 167715 | 9761 41731 126700 | 2147483647 167715 183 | 0.000 % |
137.34/137.47 c | 167949 | 9761 41731 126700 | 2147483647 167949 183 | 0.000 % |
137.74/137.84 c | 168206 | 9761 41731 126700 | 2147483647 168206 183 | 0.000 % |
138.13/138.21 c | 168487 | 9761 41731 126700 | 2147483647 168487 183 | 0.000 % |
138.54/138.68 c | 168797 | 9761 41731 126700 | 2147483647 168797 183 | 0.000 % |
139.03/139.12 c | 169136 | 9761 41731 126700 | 2147483647 169136 182 | 0.000 % |
139.43/139.55 c | 169508 | 9761 41731 126700 | 2147483647 169508 182 | 0.000 % |
140.03/140.15 c | 169917 | 9761 41731 126700 | 2147483647 169917 182 | 0.000 % |
140.63/140.74 c | 170366 | 9761 41731 126700 | 2147483647 170366 182 | 0.000 % |
141.23/141.36 c | 170859 | 9761 41731 126700 | 2147483647 170859 182 | 0.000 % |
141.93/142.06 c | 171401 | 9761 41731 126700 | 2147483647 171401 182 | 0.000 % |
142.63/142.78 c | 171998 | 9761 41731 126700 | 2147483647 171998 182 | 0.000 % |
143.53/143.65 c | 172654 | 9761 41731 126700 | 2147483647 172654 182 | 0.000 % |
144.43/144.55 c | 173374 | 9761 41731 126700 | 2147483647 173374 183 | 0.000 % |
145.43/145.57 c | 174171 | 9761 41731 126700 | 2147483647 174171 183 | 0.000 % |
146.53/146.63 c | 175043 | 9761 41731 126700 | 2147483647 175043 183 | 0.000 % |
147.73/147.86 c | 176002 | 9761 41731 126700 | 2147483647 176002 183 | 0.000 % |
149.13/149.26 c | 177056 | 9761 41731 126700 | 2147483647 177056 183 | 0.000 % |
150.63/150.76 c | 178214 | 9761 41731 126700 | 2147483647 178214 183 | 0.000 % |
152.23/152.39 c | 179494 | 9761 41731 126700 | 2147483647 179494 183 | 0.000 % |
154.13/154.28 c | 180896 | 9761 41731 126700 | 2147483647 180896 183 | 0.000 % |
156.23/156.33 c | 182440 | 9761 41731 126700 | 2147483647 182440 183 | 0.000 % |
158.34/158.49 c | 184136 | 9761 41731 126700 | 2147483647 184136 184 | 0.000 % |
160.83/160.98 c | 185999 | 9761 41731 126700 | 2147483647 185999 184 | 0.000 % |
161.03/161.13 c | 186099 | 9761 41731 126700 | 2147483647 186099 184 | 0.000 % |
161.22/161.33 c | 186209 | 9761 41731 126700 | 2147483647 186209 184 | 0.000 % |
161.42/161.52 c | 186331 | 9761 41731 126700 | 2147483647 186331 184 | 0.000 % |
161.63/161.73 c | 186464 | 9761 41731 126700 | 2147483647 186464 184 | 0.000 % |
161.82/161.98 c | 186610 | 9761 41731 126700 | 2147483647 186610 184 | 0.000 % |
162.12/162.22 c | 186770 | 9761 41731 126700 | 2147483647 186770 184 | 0.000 % |
162.33/162.46 c | 186949 | 9761 41731 126700 | 2147483647 186949 184 | 0.000 % |
162.63/162.77 c | 187145 | 9761 41731 126700 | 2147483647 187145 184 | 0.000 % |
163.03/163.11 c | 187357 | 9761 41731 126700 | 2147483647 187357 184 | 0.000 % |
163.33/163.49 c | 187591 | 9761 41731 126700 | 2147483647 187591 184 | 0.000 % |
163.83/163.90 c | 187847 | 9761 41731 126700 | 2147483647 187847 184 | 0.000 % |
164.23/164.36 c | 188129 | 9761 41731 126700 | 2147483647 188129 184 | 0.000 % |
164.73/164.81 c | 188441 | 9761 41731 126700 | 2147483647 188441 184 | 0.000 % |
165.13/165.26 c | 188780 | 9761 41731 126700 | 2147483647 188780 184 | 0.000 % |
165.73/165.82 c | 189153 | 9761 41731 126700 | 2147483647 189153 184 | 0.000 % |
166.33/166.41 c | 189562 | 9761 41731 126700 | 2147483647 189562 184 | 0.000 % |
166.93/167.08 c | 190011 | 9761 41731 126700 | 2147483647 190011 184 | 0.000 % |
167.72/167.84 c | 190504 | 9761 41731 126700 | 2147483647 190504 184 | 0.000 % |
168.52/168.65 c | 191047 | 9761 41731 126700 | 2147483647 191047 184 | 0.000 % |
169.33/169.49 c | 191646 | 9761 41731 126700 | 2147483647 191646 184 | 0.000 % |
170.33/170.44 c | 192302 | 9761 41731 126700 | 2147483647 192302 184 | 0.000 % |
171.23/171.35 c | 193022 | 9761 41731 126700 | 2147483647 193022 184 | 0.000 % |
172.32/172.49 c | 193814 | 9761 41731 126700 | 2147483647 193814 184 | 0.000 % |
173.63/173.71 c | 194686 | 9761 41731 126700 | 2147483647 194686 184 | 0.000 % |
175.02/175.10 c | 195644 | 9761 41731 126700 | 2147483647 195644 184 | 0.000 % |
176.43/176.59 c | 196697 | 9761 41731 126700 | 2147483647 196697 184 | 0.000 % |
178.03/178.18 c | 197858 | 9761 41731 126700 | 2147483647 197858 184 | 0.000 % |
179.72/179.86 c | 199131 | 9761 41731 126700 | 2147483647 199131 184 | 0.000 % |
181.52/181.63 c | 200531 | 9761 41731 126700 | 2147483647 200531 184 | 0.000 % |
183.63/183.79 c | 202071 | 9761 41731 126700 | 2147483647 202071 184 | 0.000 % |
185.83/185.98 c | 203766 | 9761 41731 126700 | 2147483647 203766 184 | 0.000 % |
188.42/188.51 c | 205629 | 9761 41731 126700 | 2147483647 205629 185 | 0.000 % |
191.12/191.24 c | 207678 | 9761 41731 126700 | 2147483647 207678 185 | 0.000 % |
191.33/191.42 c | 207779 | 9761 41731 126700 | 2147483647 207779 185 | 0.000 % |
191.52/191.62 c | 207890 | 9761 41731 126700 | 2147483647 207890 185 | 0.000 % |
191.72/191.84 c | 208011 | 9761 41731 126700 | 2147483647 208011 185 | 0.000 % |
191.92/192.08 c | 208144 | 9761 41731 126700 | 2147483647 208144 185 | 0.000 % |
192.22/192.32 c | 208290 | 9761 41731 126700 | 2147483647 208290 185 | 0.000 % |
192.43/192.59 c | 208451 | 9761 41731 126700 | 2147483647 208451 185 | 0.000 % |
192.82/192.90 c | 208629 | 9761 41731 126700 | 2147483647 208629 185 | 0.000 % |
193.12/193.23 c | 208822 | 9761 41731 126700 | 2147483647 208822 185 | 0.000 % |
193.43/193.60 c | 209034 | 9761 41731 126700 | 2147483647 209034 185 | 0.000 % |
193.92/194.01 c | 209267 | 9761 41731 126700 | 2147483647 209267 185 | 0.000 % |
194.22/194.39 c | 209523 | 9761 41731 126700 | 2147483647 209523 185 | 0.000 % |
194.72/194.87 c | 209806 | 9761 41731 126700 | 2147483647 209806 184 | 0.000 % |
195.22/195.39 c | 210115 | 9761 41731 126700 | 2147483647 210115 184 | 0.000 % |
195.82/195.91 c | 210454 | 9761 41731 126700 | 2147483647 210454 184 | 0.000 % |
196.32/196.49 c | 210827 | 9761 41731 126700 | 2147483647 210827 184 | 0.000 % |
197.02/197.15 c | 211236 | 9761 41731 126700 | 2147483647 211236 184 | 0.000 % |
197.71/197.88 c | 211688 | 9761 41731 126700 | 2147483647 211688 184 | 0.000 % |
198.51/198.60 c | 212181 | 9761 41731 126700 | 2147483647 212181 184 | 0.000 % |
199.21/199.36 c | 212725 | 9761 41731 126700 | 2147483647 212725 184 | 0.000 % |
200.21/200.33 c | 213323 | 9761 41731 126700 | 2147483647 213323 184 | 0.000 % |
201.12/201.28 c | 213980 | 9761 41731 126700 | 2147483647 213980 184 | 0.000 % |
202.32/202.41 c | 214704 | 9761 41731 126700 | 2147483647 214704 184 | 0.000 % |
203.42/203.53 c | 215497 | 9761 41731 126700 | 2147483647 215497 184 | 0.000 % |
204.71/204.87 c | 216370 | 9761 41731 126700 | 2147483647 216370 184 | 0.000 % |
206.21/206.30 c | 217330 | 9761 41731 126700 | 2147483647 217330 184 | 0.000 % |
207.62/207.79 c | 218386 | 9761 41731 126700 | 2147483647 218386 184 | 0.000 % |
209.52/209.64 c | 219545 | 9761 41731 126700 | 2147483647 219545 184 | 0.000 % |
211.52/211.64 c | 220818 | 9761 41731 126700 | 2147483647 220818 184 | 0.000 % |
213.72/213.82 c | 222218 | 9761 41731 126700 | 2147483647 222218 185 | 0.000 % |
215.91/216.06 c | 223759 | 9761 41731 126700 | 2147483647 223759 184 | 0.000 % |
218.52/218.63 c | 225453 | 9761 41731 126700 | 2147483647 225453 185 | 0.000 % |
221.41/221.56 c | 227316 | 9761 41731 126700 | 2147483647 227316 185 | 0.000 % |
224.51/224.68 c | 229365 | 9761 41731 126700 | 2147483647 229365 185 | 0.000 % |
227.81/227.92 c | 231619 | 9761 41731 126700 | 2147483647 231619 185 | 0.000 % |
228.00/228.10 c | 231720 | 9761 41731 126700 | 2147483647 231720 185 | 0.000 % |
228.20/228.32 c | 231831 | 9761 41731 126700 | 2147483647 231831 185 | 0.000 % |
228.40/228.55 c | 231954 | 9761 41731 126700 | 2147483647 231954 185 | 0.000 % |
228.72/228.81 c | 232090 | 9761 41731 126700 | 2147483647 232090 185 | 0.000 % |
229.01/229.12 c | 232238 | 9761 41731 126700 | 2147483647 232238 185 | 0.000 % |
229.31/229.44 c | 232398 | 9761 41731 126700 | 2147483647 232398 185 | 0.000 % |
229.61/229.76 c | 232574 | 9761 41731 126700 | 2147483647 232574 185 | 0.000 % |
230.01/230.12 c | 232768 | 9761 41731 126700 | 2147483647 232768 185 | 0.000 % |
230.41/230.52 c | 232981 | 9761 41731 126700 | 2147483647 232981 185 | 0.000 % |
230.82/230.96 c | 233215 | 9761 41731 126700 | 2147483647 233215 185 | 0.000 % |
231.31/231.41 c | 233472 | 9761 41731 126700 | 2147483647 233472 185 | 0.000 % |
231.81/231.91 c | 233753 | 9761 41731 126700 | 2147483647 233753 185 | 0.000 % |
232.31/232.41 c | 234062 | 9761 41731 126700 | 2147483647 234062 185 | 0.000 % |
232.91/233.05 c | 234402 | 9761 41731 126700 | 2147483647 234402 185 | 0.000 % |
233.61/233.72 c | 234776 | 9761 41731 126700 | 2147483647 234776 185 | 0.000 % |
234.31/234.44 c | 235190 | 9761 41731 126700 | 2147483647 235190 185 | 0.000 % |
235.01/235.17 c | 235642 | 9761 41731 126700 | 2147483647 235642 185 | 0.000 % |
235.91/236.02 c | 236139 | 9761 41731 126700 | 2147483647 236139 185 | 0.000 % |
236.70/236.87 c | 236681 | 9761 41731 126700 | 2147483647 236681 185 | 0.000 % |
237.70/237.84 c | 237277 | 9761 41731 126700 | 2147483647 237277 185 | 0.000 % |
238.70/238.85 c | 237933 | 9761 41731 126700 | 2147483647 237933 185 | 0.000 % |
240.01/240.10 c | 238653 | 9761 41731 126700 | 2147483647 238653 185 | 0.000 % |
241.21/241.38 c | 239447 | 9761 41731 126700 | 2147483647 239447 186 | 0.000 % |
242.60/242.75 c | 240318 | 9761 41731 126700 | 2147483647 240318 186 | 0.000 % |
244.20/244.39 c | 241277 | 9761 41731 126700 | 2147483647 241277 186 | 0.000 % |
246.00/246.12 c | 242330 | 9761 41731 126700 | 2147483647 242330 186 | 0.000 % |
247.70/247.89 c | 243490 | 9761 41731 126700 | 2147483647 243490 186 | 0.000 % |
249.71/249.89 c | 244764 | 9761 41731 126700 | 2147483647 244764 186 | 0.000 % |
252.00/252.17 c | 246164 | 9761 41731 126700 | 2147483647 246164 186 | 0.000 % |
254.51/254.62 c | 247708 | 9761 41731 126700 | 2147483647 247708 186 | 0.000 % |
257.40/257.51 c | 249402 | 9761 41731 126700 | 2147483647 249402 186 | 0.000 % |
260.40/260.57 c | 251265 | 9761 41731 126700 | 2147483647 251265 186 | 0.000 % |
263.70/263.81 c | 253315 | 9761 41731 126700 | 2147483647 253315 186 | 0.000 % |
267.30/267.45 c | 255568 | 9761 41731 126700 | 2147483647 255568 186 | 0.000 % |
271.60/271.71 c | 258047 | 9761 41731 126700 | 2147483647 258047 187 | 0.000 % |
271.80/271.97 c | 258147 | 9761 41731 126700 | 2147483647 258147 187 | 0.000 % |
272.10/272.22 c | 258257 | 9761 41731 126700 | 2147483647 258257 187 | 0.000 % |
272.30/272.47 c | 258380 | 9761 41731 126700 | 2147483647 258380 187 | 0.000 % |
272.60/272.74 c | 258513 | 9761 41731 126700 | 2147483647 258513 187 | 0.000 % |
273.00/273.12 c | 258660 | 9761 41731 126700 | 2147483647 258660 187 | 0.000 % |
273.30/273.46 c | 258820 | 9761 41731 126700 | 2147483647 258820 187 | 0.000 % |
273.70/273.85 c | 258997 | 9761 41731 126700 | 2147483647 258997 187 | 0.000 % |
274.00/274.19 c | 259190 | 9761 41731 126700 | 2147483647 259190 187 | 0.000 % |
274.50/274.64 c | 259403 | 9761 41731 126700 | 2147483647 259403 187 | 0.000 % |
274.90/275.08 c | 259637 | 9761 41731 126700 | 2147483647 259637 187 | 0.000 % |
275.40/275.55 c | 259893 | 9761 41731 126700 | 2147483647 259893 186 | 0.000 % |
275.90/276.09 c | 260175 | 9761 41731 126700 | 2147483647 260175 186 | 0.000 % |
276.59/276.71 c | 260484 | 9761 41731 126700 | 2147483647 260484 186 | 0.000 % |
277.19/277.34 c | 260825 | 9761 41731 126700 | 2147483647 260825 186 | 0.000 % |
277.99/278.10 c | 261197 | 9761 41731 126700 | 2147483647 261197 186 | 0.000 % |
278.69/278.83 c | 261606 | 9761 41731 126700 | 2147483647 261606 186 | 0.000 % |
279.50/279.64 c | 262057 | 9761 41731 126700 | 2147483647 262057 186 | 0.000 % |
280.40/280.56 c | 262551 | 9761 41731 126700 | 2147483647 262551 186 | 0.000 % |
281.50/281.65 c | 263094 | 9761 41731 126700 | 2147483647 263094 186 | 0.000 % |
282.70/282.84 c | 263691 | 9761 41731 126700 | 2147483647 263691 186 | 0.000 % |
284.00/284.10 c | 264346 | 9761 41731 126700 | 2147483647 264346 186 | 0.000 % |
285.19/285.38 c | 265066 | 9761 41731 126700 | 2147483647 265066 187 | 0.000 % |
286.70/286.82 c | 265859 | 9761 41731 126700 | 2147483647 265859 187 | 0.000 % |
288.30/288.41 c | 266730 | 9761 41731 126700 | 2147483647 266730 187 | 0.000 % |
289.99/290.10 c | 267689 | 9761 41731 126700 | 2147483647 267689 187 | 0.000 % |
291.79/291.90 c | 268743 | 9761 41731 126700 | 2147483647 268743 187 | 0.000 % |
293.99/294.11 c | 269901 | 9761 41731 126700 | 2147483647 269901 187 | 0.000 % |
296.20/296.33 c | 271176 | 9761 41731 126700 | 2147483647 271176 187 | 0.000 % |
298.69/298.85 c | 272576 | 9761 41731 126700 | 2147483647 272576 187 | 0.000 % |
301.49/301.60 c | 274116 | 9761 41731 126700 | 2147483647 274116 187 | 0.000 % |
304.39/304.56 c | 275811 | 9761 41731 126700 | 2147483647 275811 187 | 0.000 % |
307.69/307.84 c | 277674 | 9761 41731 126700 | 2147483647 277674 187 | 0.000 % |
311.19/311.37 c | 279723 | 9761 41731 126700 | 2147483647 279723 187 | 0.000 % |
315.29/315.42 c | 281976 | 9761 41731 126700 | 2147483647 281976 187 | 0.000 % |
319.69/319.89 c | 284454 | 9761 41731 126700 | 2147483647 284454 188 | 0.000 % |
324.79/324.90 c | 287179 | 9761 41731 126700 | 2147483647 287179 188 | 0.000 % |
324.89/325.09 c | 287279 | 9761 41731 126700 | 2147483647 287279 188 | 0.000 % |
325.19/325.31 c | 287389 | 9761 41731 126700 | 2147483647 287389 188 | 0.000 % |
325.49/325.60 c | 287510 | 9761 41731 126700 | 2147483647 287510 188 | 0.000 % |
325.79/325.99 c | 287644 | 9761 41731 126700 | 2147483647 287644 188 | 0.000 % |
326.19/326.30 c | 287791 | 9761 41731 126700 | 2147483647 287791 188 | 0.000 % |
326.49/326.65 c | 287951 | 9761 41731 126700 | 2147483647 287951 188 | 0.000 % |
326.89/327.04 c | 288127 | 9761 41731 126700 | 2147483647 288127 188 | 0.000 % |
327.29/327.48 c | 288321 | 9761 41731 126700 | 2147483647 288321 188 | 0.000 % |
327.78/327.94 c | 288535 | 9761 41731 126700 | 2147483647 288535 188 | 0.000 % |
328.38/328.51 c | 288774 | 9761 41731 126700 | 2147483647 288774 188 | 0.000 % |
328.88/329.04 c | 289030 | 9761 41731 126700 | 2147483647 289030 188 | 0.000 % |
329.58/329.70 c | 289311 | 9761 41731 126700 | 2147483647 289311 188 | 0.000 % |
330.18/330.30 c | 289620 | 9761 41731 126700 | 2147483647 289620 188 | 0.000 % |
330.78/330.99 c | 289959 | 9761 41731 126700 | 2147483647 289959 188 | 0.000 % |
331.59/331.77 c | 290334 | 9761 41731 126700 | 2147483647 290334 188 | 0.000 % |
332.49/332.66 c | 290744 | 9761 41731 126700 | 2147483647 290744 188 | 0.000 % |
333.38/333.53 c | 291193 | 9761 41731 126700 | 2147483647 291193 188 | 0.000 % |
334.38/334.50 c | 291687 | 9761 41731 126700 | 2147483647 291687 188 | 0.000 % |
335.39/335.58 c | 292230 | 9761 41731 126700 | 2147483647 292230 188 | 0.000 % |
336.58/336.72 c | 292826 | 9761 41731 126700 | 2147483647 292826 188 | 0.000 % |
337.98/338.11 c | 293481 | 9761 41731 126700 | 2147483647 293481 188 | 0.000 % |
339.38/339.50 c | 294201 | 9761 41731 126700 | 2147483647 294201 188 | 0.000 % |
340.78/340.97 c | 294994 | 9761 41731 126700 | 2147483647 294994 188 | 0.000 % |
342.38/342.60 c | 295865 | 9761 41731 126700 | 2147483647 295865 188 | 0.000 % |
344.28/344.50 c | 296824 | 9761 41731 126700 | 2147483647 296824 188 | 0.000 % |
346.29/346.47 c | 297879 | 9761 41731 126700 | 2147483647 297879 188 | 0.000 % |
348.58/348.74 c | 299037 | 9761 41731 126700 | 2147483647 299037 188 | 0.000 % |
350.97/351.18 c | 300310 | 9761 41731 126700 | 2147483647 300310 188 | 0.000 % |
353.58/353.74 c | 301710 | 9761 41731 126700 | 2147483647 301710 188 | 0.000 % |
356.48/356.63 c | 303253 | 9761 41731 126700 | 2147483647 303253 189 | 0.000 % |
359.87/360.01 c | 304948 | 9761 41731 126700 | 2147483647 304948 189 | 0.000 % |
363.38/363.57 c | 306812 | 9761 41731 126700 | 2147483647 306812 189 | 0.000 % |
367.07/367.26 c | 308861 | 9761 41731 126700 | 2147483647 308861 189 | 0.000 % |
371.17/371.37 c | 311114 | 9761 41731 126700 | 2147483647 311114 189 | 0.000 % |
375.87/376.04 c | 313593 | 9761 41731 126700 | 2147483647 313593 189 | 0.000 % |
381.37/381.51 c | 316318 | 9761 41731 126700 | 2147483647 316318 190 | 0.000 % |
387.37/387.56 c | 319315 | 9761 41731 126700 | 2147483647 319315 190 | 0.000 % |
387.57/387.79 c | 319415 | 9761 41731 126700 | 2147483647 319415 190 | 0.000 % |
387.87/388.06 c | 319526 | 9761 41731 126700 | 2147483647 319526 190 | 0.000 % |
388.17/388.38 c | 319647 | 9761 41731 126700 | 2147483647 319647 190 | 0.000 % |
388.57/388.72 c | 319780 | 9761 41731 126700 | 2147483647 319780 190 | 0.000 % |
388.87/389.09 c | 319927 | 9761 41731 126700 | 2147483647 319927 190 | 0.000 % |
389.27/389.48 c | 320087 | 9761 41731 126700 | 2147483647 320087 190 | 0.000 % |
389.77/389.91 c | 320263 | 9761 41731 126700 | 2147483647 320263 190 | 0.000 % |
390.27/390.40 c | 320456 | 9761 41731 126700 | 2147483647 320456 190 | 0.000 % |
390.76/390.91 c | 320669 | 9761 41731 126700 | 2147483647 320669 190 | 0.000 % |
391.26/391.44 c | 320902 | 9761 41731 126700 | 2147483647 320902 190 | 0.000 % |
391.86/392.07 c | 321158 | 9761 41731 126700 | 2147483647 321158 190 | 0.000 % |
392.47/392.69 c | 321439 | 9761 41731 126700 | 2147483647 321439 190 | 0.000 % |
393.26/393.42 c | 321749 | 9761 41731 126700 | 2147483647 321749 190 | 0.000 % |
393.96/394.16 c | 322088 | 9761 41731 126700 | 2147483647 322088 190 | 0.000 % |
394.86/395.09 c | 322461 | 9761 41731 126700 | 2147483647 322461 190 | 0.000 % |
395.77/395.98 c | 322872 | 9761 41731 126700 | 2147483647 322872 190 | 0.000 % |
396.86/397.04 c | 323322 | 9761 41731 126700 | 2147483647 323322 190 | 0.000 % |
397.97/398.14 c | 323815 | 9761 41731 126700 | 2147483647 323815 190 | 0.000 % |
399.17/399.34 c | 324358 | 9761 41731 126700 | 2147483647 324358 190 | 0.000 % |
400.47/400.66 c | 324954 | 9761 41731 126700 | 2147483647 324954 190 | 0.000 % |
401.86/402.03 c | 325609 | 9761 41731 126700 | 2147483647 325609 190 | 0.000 % |
403.36/403.59 c | 326330 | 9761 41731 126700 | 2147483647 326330 190 | 0.000 % |
405.07/405.28 c | 327122 | 9761 41731 126700 | 2147483647 327122 190 | 0.000 % |
406.87/407.06 c | 327994 | 9761 41731 126700 | 2147483647 327994 190 | 0.000 % |
408.86/409.01 c | 328953 | 9761 41731 126700 | 2147483647 328953 190 | 0.000 % |
410.96/411.19 c | 330006 | 9761 41731 126700 | 2147483647 330006 190 | 0.000 % |
413.66/413.84 c | 331164 | 9761 41731 126700 | 2147483647 331164 190 | 0.000 % |
416.36/416.59 c | 332438 | 9761 41731 126700 | 2147483647 332438 190 | 0.000 % |
419.16/419.36 c | 333838 | 9761 41731 126700 | 2147483647 333838 190 | 0.000 % |
422.46/422.60 c | 335379 | 9761 41731 126700 | 2147483647 335379 190 | 0.000 % |
425.76/425.94 c | 337074 | 9761 41731 126700 | 2147483647 337074 190 | 0.000 % |
429.75/429.98 c | 338938 | 9761 41731 126700 | 2147483647 338938 191 | 0.000 % |
433.96/434.19 c | 340988 | 9761 41731 126700 | 2147483647 340988 191 | 0.000 % |
438.76/438.99 c | 343245 | 9761 41731 126700 | 2147483647 343245 191 | 0.000 % |
444.05/444.25 c | 345723 | 9761 41731 126700 | 2147483647 345723 191 | 0.000 % |
449.65/449.89 c | 348448 | 9761 41731 126700 | 2147483647 348448 191 | 0.000 % |
455.95/456.11 c | 351447 | 9761 41731 126700 | 2147483647 351447 191 | 0.000 % |
462.75/462.98 c | 354745 | 9761 41731 126700 | 2147483647 354745 192 | 0.000 % |
463.05/463.24 c | 354845 | 9761 41731 126700 | 2147483647 354845 192 | 0.000 % |
463.35/463.51 c | 354955 | 9761 41731 126700 | 2147483647 354955 192 | 0.000 % |
463.65/463.84 c | 355077 | 9761 41731 126700 | 2147483647 355077 192 | 0.000 % |
464.05/464.23 c | 355210 | 9761 41731 126700 | 2147483647 355210 192 | 0.000 % |
464.45/464.63 c | 355357 | 9761 41731 126700 | 2147483647 355357 192 | 0.000 % |
464.85/465.05 c | 355517 | 9761 41731 126700 | 2147483647 355517 192 | 0.000 % |
465.35/465.55 c | 355693 | 9761 41731 126700 | 2147483647 355693 192 | 0.000 % |
465.85/466.02 c | 355887 | 9761 41731 126700 | 2147483647 355887 192 | 0.000 % |
466.35/466.59 c | 356100 | 9761 41731 126700 | 2147483647 356100 192 | 0.000 % |
466.95/467.19 c | 356333 | 9761 41731 126700 | 2147483647 356333 192 | 0.000 % |
467.65/467.83 c | 356590 | 9761 41731 126700 | 2147483647 356590 192 | 0.000 % |
468.45/468.64 c | 356871 | 9761 41731 126700 | 2147483647 356871 192 | 0.000 % |
469.24/469.46 c | 357181 | 9761 41731 126700 | 2147483647 357181 192 | 0.000 % |
470.15/470.32 c | 357521 | 9761 41731 126700 | 2147483647 357521 192 | 0.000 % |
471.05/471.27 c | 357895 | 9761 41731 126700 | 2147483647 357895 192 | 0.000 % |
472.15/472.32 c | 358304 | 9761 41731 126700 | 2147483647 358304 192 | 0.000 % |
473.25/473.45 c | 358755 | 9761 41731 126700 | 2147483647 358755 192 | 0.000 % |
474.24/474.48 c | 359248 | 9761 41731 126700 | 2147483647 359248 192 | 0.000 % |
475.65/475.88 c | 359790 | 9761 41731 126700 | 2147483647 359790 192 | 0.000 % |
476.95/477.20 c | 360387 | 9761 41731 126700 | 2147483647 360387 192 | 0.000 % |
478.65/478.80 c | 361044 | 9761 41731 126700 | 2147483647 361044 192 | 0.000 % |
480.35/480.56 c | 361764 | 9761 41731 126700 | 2147483647 361764 192 | 0.000 % |
482.14/482.34 c | 362556 | 9761 41731 126700 | 2147483647 362556 192 | 0.000 % |
484.14/484.38 c | 363428 | 9761 41731 126700 | 2147483647 363428 192 | 0.000 % |
486.35/486.56 c | 364389 | 9761 41731 126700 | 2147483647 364389 192 | 0.000 % |
488.44/488.64 c | 365442 | 9761 41731 126700 | 2147483647 365442 192 | 0.000 % |
491.14/491.35 c | 366602 | 9761 41731 126700 | 2147483647 366602 192 | 0.000 % |
493.84/494.09 c | 367876 | 9761 41731 126700 | 2147483647 367876 192 | 0.000 % |
497.14/497.33 c | 369278 | 9761 41731 126700 | 2147483647 369278 192 | 0.000 % |
500.74/500.98 c | 370818 | 9761 41731 126700 | 2147483647 370818 192 | 0.000 % |
504.54/504.76 c | 372513 | 9761 41731 126700 | 2147483647 372513 192 | 0.000 % |
508.73/508.99 c | 374376 | 9761 41731 126700 | 2147483647 374376 193 | 0.000 % |
513.54/513.72 c | 376425 | 9761 41731 126700 | 2147483647 376425 193 | 0.000 % |
518.83/519.01 c | 378680 | 9761 41731 126700 | 2147483647 378680 193 | 0.000 % |
523.73/523.95 c | 381159 | 9761 41731 126700 | 2147483647 381159 193 | 0.000 % |
529.94/530.15 c | 383884 | 9761 41731 126700 | 2147483647 383884 194 | 0.000 % |
536.72/536.96 c | 386884 | 9761 41731 126700 | 2147483647 386884 194 | 0.000 % |
543.73/543.95 c | 390181 | 9761 41731 126700 | 2147483647 390181 194 | 0.000 % |
552.13/552.31 c | 393809 | 9761 41731 126700 | 2147483647 393809 194 | 0.000 % |
552.33/552.59 c | 393909 | 9761 41731 126700 | 2147483647 393909 194 | 0.000 % |
552.73/552.97 c | 394019 | 9761 41731 126700 | 2147483647 394019 194 | 0.000 % |
553.23/553.42 c | 394140 | 9761 41731 126700 | 2147483647 394140 194 | 0.000 % |
553.63/553.88 c | 394274 | 9761 41731 126700 | 2147483647 394274 194 | 0.000 % |
554.03/554.28 c | 394423 | 9761 41731 126700 | 2147483647 394423 194 | 0.000 % |
554.53/554.78 c | 394583 | 9761 41731 126700 | 2147483647 394583 194 | 0.000 % |
555.23/555.42 c | 394759 | 9761 41731 126700 | 2147483647 394759 194 | 0.000 % |
555.73/555.98 c | 394954 | 9761 41731 126700 | 2147483647 394954 194 | 0.000 % |
556.43/556.61 c | 395166 | 9761 41731 126700 | 2147483647 395166 194 | 0.000 % |
557.03/557.23 c | 395399 | 9761 41731 126700 | 2147483647 395399 194 | 0.000 % |
557.73/557.96 c | 395657 | 9761 41731 126700 | 2147483647 395657 194 | 0.000 % |
558.63/558.81 c | 395939 | 9761 41731 126700 | 2147483647 395939 194 | 0.000 % |
559.53/559.72 c | 396251 | 9761 41731 126700 | 2147483647 396251 194 | 0.000 % |
560.52/560.72 c | 396591 | 9761 41731 126700 | 2147483647 396591 194 | 0.000 % |
561.52/561.73 c | 396965 | 9761 41731 126700 | 2147483647 396965 194 | 0.000 % |
562.42/562.64 c | 397375 | 9761 41731 126700 | 2147483647 397375 194 | 0.000 % |
563.52/563.76 c | 397826 | 9761 41731 126700 | 2147483647 397826 194 | 0.000 % |
564.82/565.00 c | 398320 | 9761 41731 126700 | 2147483647 398320 194 | 0.000 % |
566.22/566.43 c | 398863 | 9761 41731 126700 | 2147483647 398863 194 | 0.000 % |
567.72/567.96 c | 399460 | 9761 41731 126700 | 2147483647 399460 194 | 0.000 % |
569.42/569.62 c | 400115 | 9761 41731 126700 | 2147483647 400115 194 | 0.000 % |
571.32/571.54 c | 400837 | 9761 41731 126700 | 2147483647 400837 194 | 0.000 % |
573.42/573.68 c | 401630 | 9761 41731 126700 | 2147483647 401630 194 | 0.000 % |
575.72/575.94 c | 402501 | 9761 41731 126700 | 2147483647 402501 194 | 0.000 % |
578.32/578.57 c | 403459 | 9761 41731 126700 | 2147483647 403459 194 | 0.000 % |
581.11/581.30 c | 404512 | 9761 41731 126700 | 2147483647 404512 194 | 0.000 % |
584.01/584.30 c | 405670 | 9761 41731 126700 | 2147483647 405670 194 | 0.000 % |
587.22/587.44 c | 406943 | 9761 41731 126700 | 2147483647 406943 194 | 0.000 % |
590.61/590.88 c | 408344 | 9761 41731 126700 | 2147483647 408344 194 | 0.000 % |
594.52/594.78 c | 409885 | 9761 41731 126700 | 2147483647 409885 194 | 0.000 % |
598.81/599.05 c | 411580 | 9761 41731 126700 | 2147483647 411580 194 | 0.000 % |
603.62/603.87 c | 413444 | 9761 41731 126700 | 2147483647 413444 194 | 0.000 % |
608.22/608.45 c | 415493 | 9761 41731 126700 | 2147483647 415493 195 | 0.000 % |
613.61/613.86 c | 417748 | 9761 41731 126700 | 2147483647 417748 195 | 0.000 % |
619.71/619.92 c | 420227 | 9761 41731 126700 | 2147483647 420227 195 | 0.000 % |
626.31/626.51 c | 422953 | 9761 41731 126700 | 2147483647 422953 195 | 0.000 % |
633.41/633.65 c | 425950 | 9761 41731 126700 | 2147483647 425950 195 | 0.000 % |
641.60/641.85 c | 429249 | 9761 41731 126700 | 2147483647 429249 195 | 0.000 % |
650.91/651.20 c | 432875 | 9761 41731 126700 | 2147483647 432875 195 | 0.000 % |
660.70/660.99 c | 436865 | 9761 41731 126700 | 2147483647 436865 196 | 0.000 % |
661.00/661.29 c | 436965 | 9761 41731 126700 | 2147483647 436965 196 | 0.000 % |
661.40/661.69 c | 437075 | 9761 41731 126700 | 2147483647 437075 196 | 0.000 % |
661.90/662.19 c | 437197 | 9761 41731 126700 | 2147483647 437197 196 | 0.000 % |
662.40/662.64 c | 437330 | 9761 41731 126700 | 2147483647 437330 196 | 0.000 % |
662.90/663.12 c | 437481 | 9761 41731 126700 | 2147483647 437481 196 | 0.000 % |
663.50/663.73 c | 437643 | 9761 41731 126700 | 2147483647 437643 196 | 0.000 % |
664.00/664.27 c | 437819 | 9761 41731 126700 | 2147483647 437819 196 | 0.000 % |
664.59/664.83 c | 438013 | 9761 41731 126700 | 2147483647 438013 196 | 0.000 % |
665.30/665.57 c | 438225 | 9761 41731 126700 | 2147483647 438225 195 | 0.000 % |
665.99/666.29 c | 438458 | 9761 41731 126700 | 2147483647 438458 195 | 0.000 % |
666.79/667.08 c | 438714 | 9761 41731 126700 | 2147483647 438714 195 | 0.000 % |
667.59/667.88 c | 438997 | 9761 41731 126700 | 2147483647 438997 195 | 0.000 % |
668.50/668.77 c | 439306 | 9761 41731 126700 | 2147483647 439306 195 | 0.000 % |
669.60/669.85 c | 439645 | 9761 41731 126700 | 2147483647 439645 195 | 0.000 % |
670.70/670.93 c | 440017 | 9761 41731 126700 | 2147483647 440017 195 | 0.000 % |
672.00/672.23 c | 440427 | 9761 41731 126700 | 2147483647 440427 195 | 0.000 % |
673.20/673.47 c | 440877 | 9761 41731 126700 | 2147483647 440877 195 | 0.000 % |
674.59/674.84 c | 441371 | 9761 41731 126700 | 2147483647 441371 195 | 0.000 % |
675.99/676.25 c | 441916 | 9761 41731 126700 | 2147483647 441916 195 | 0.000 % |
677.69/677.97 c | 442513 | 9761 41731 126700 | 2147483647 442513 195 | 0.000 % |
679.79/680.00 c | 443170 | 9761 41731 126700 | 2147483647 443170 195 | 0.000 % |
681.80/682.01 c | 443891 | 9761 41731 126700 | 2147483647 443891 195 | 0.000 % |
683.90/684.19 c | 444685 | 9761 41731 126700 | 2147483647 444685 195 | 0.000 % |
686.29/686.58 c | 445556 | 9761 41731 126700 | 2147483647 445556 195 | 0.000 % |
689.09/689.32 c | 446514 | 9761 41731 126700 | 2147483647 446514 195 | 0.000 % |
692.09/692.33 c | 447567 | 9761 41731 126700 | 2147483647 447567 195 | 0.000 % |
695.39/695.61 c | 448726 | 9761 41731 126700 | 2147483647 448726 195 | 0.000 % |
698.69/698.95 c | 450000 | 9761 41731 126700 | 2147483647 450000 196 | 0.000 % |
702.39/702.60 c | 451401 | 9761 41731 126700 | 2147483647 451401 196 | 0.000 % |
706.68/706.95 c | 452941 | 9761 41731 126700 | 2147483647 452941 196 | 0.000 % |
711.09/711.31 c | 454635 | 9761 41731 126700 | 2147483647 454635 196 | 0.000 % |
716.08/716.30 c | 456498 | 9761 41731 126700 | 2147483647 456498 196 | 0.000 % |
721.39/721.67 c | 458547 | 9761 41731 126700 | 2147483647 458547 196 | 0.000 % |
727.78/728.02 c | 460800 | 9761 41731 126700 | 2147483647 460800 196 | 0.000 % |
734.37/734.66 c | 463279 | 9761 41731 126700 | 2147483647 463279 196 | 0.000 % |
741.47/741.78 c | 466004 | 9761 41731 126700 | 2147483647 466004 196 | 0.000 % |
749.78/750.04 c | 469002 | 9761 41731 126700 | 2147483647 469002 196 | 0.000 % |
759.07/759.37 c | 472298 | 9761 41731 126700 | 2147483647 472298 197 | 0.000 % |
768.37/768.67 c | 475924 | 9761 41731 126700 | 2147483647 475924 197 | 0.000 % |
779.27/779.52 c | 479911 | 9761 41731 126700 | 2147483647 479911 197 | 0.000 % |
791.36/791.67 c | 484297 | 9761 41731 126700 | 2147483647 484297 197 | 0.000 % |
791.76/792.05 c | 484399 | 9761 41731 126700 | 2147483647 484399 197 | 0.000 % |
792.16/792.47 c | 484509 | 9761 41731 126700 | 2147483647 484509 197 | 0.000 % |
792.66/792.99 c | 484631 | 9761 41731 126700 | 2147483647 484631 197 | 0.000 % |
793.16/793.46 c | 484764 | 9761 41731 126700 | 2147483647 484764 197 | 0.000 % |
793.76/794.03 c | 484911 | 9761 41731 126700 | 2147483647 484911 197 | 0.000 % |
794.36/794.60 c | 485073 | 9761 41731 126700 | 2147483647 485073 197 | 0.000 % |
794.96/795.26 c | 485249 | 9761 41731 126700 | 2147483647 485249 197 | 0.000 % |
795.66/795.99 c | 485442 | 9761 41731 126700 | 2147483647 485442 197 | 0.000 % |
796.56/796.80 c | 485655 | 9761 41731 126700 | 2147483647 485655 197 | 0.000 % |
797.37/797.61 c | 485890 | 9761 41731 126700 | 2147483647 485890 197 | 0.000 % |
798.16/798.49 c | 486147 | 9761 41731 126700 | 2147483647 486147 197 | 0.000 % |
799.06/799.34 c | 486429 | 9761 41731 126700 | 2147483647 486429 197 | 0.000 % |
800.16/800.43 c | 486738 | 9761 41731 126700 | 2147483647 486738 197 | 0.000 % |
801.26/801.55 c | 487077 | 9761 41731 126700 | 2147483647 487077 197 | 0.000 % |
802.56/802.89 c | 487449 | 9761 41731 126700 | 2147483647 487449 197 | 0.000 % |
803.96/804.26 c | 487860 | 9761 41731 126700 | 2147483647 487860 197 | 0.000 % |
805.26/805.56 c | 488311 | 9761 41731 126700 | 2147483647 488311 197 | 0.000 % |
806.86/807.10 c | 488805 | 9761 41731 126700 | 2147483647 488805 197 | 0.000 % |
808.56/808.83 c | 489349 | 9761 41731 126700 | 2147483647 489349 197 | 0.000 % |
810.26/810.59 c | 489946 | 9761 41731 126700 | 2147483647 489946 197 | 0.000 % |
812.16/812.48 c | 490601 | 9761 41731 126700 | 2147483647 490601 197 | 0.000 % |
814.26/814.55 c | 491324 | 9761 41731 126700 | 2147483647 491324 197 | 0.000 % |
816.76/817.02 c | 492116 | 9761 41731 126700 | 2147483647 492116 197 | 0.000 % |
819.16/819.46 c | 492987 | 9761 41731 126700 | 2147483647 492987 197 | 0.000 % |
821.85/822.14 c | 493947 | 9761 41731 126700 | 2147483647 493947 197 | 0.000 % |
824.85/825.11 c | 495002 | 9761 41731 126700 | 2147483647 495002 197 | 0.000 % |
828.46/828.75 c | 496160 | 9761 41731 126700 | 2147483647 496160 197 | 0.000 % |
832.15/832.46 c | 497434 | 9761 41731 126700 | 2147483647 497434 197 | 0.000 % |
836.45/836.75 c | 498836 | 9761 41731 126700 | 2147483647 498836 197 | 0.000 % |
840.95/841.26 c | 500377 | 9761 41731 126700 | 2147483647 500377 197 | 0.000 % |
845.75/846.05 c | 502071 | 9761 41731 126700 | 2147483647 502071 197 | 0.000 % |
851.65/851.97 c | 503936 | 9761 41731 126700 | 2147483647 503936 197 | 0.000 % |
857.84/858.16 c | 505985 | 9761 41731 126700 | 2147483647 505985 197 | 0.000 % |
864.25/864.59 c | 508239 | 9761 41731 126700 | 2147483647 508239 197 | 0.000 % |
871.75/872.03 c | 510718 | 9761 41731 126700 | 2147483647 510718 197 | 0.000 % |
879.65/879.91 c | 513443 | 9761 41731 126700 | 2147483647 513443 197 | 0.000 % |
888.24/888.53 c | 516443 | 9761 41731 126700 | 2147483647 516443 198 | 0.000 % |
897.94/898.20 c | 519739 | 9761 41731 126700 | 2147483647 519739 198 | 0.000 % |
908.63/908.99 c | 523365 | 9761 41731 126700 | 2147483647 523365 198 | 0.000 % |
920.63/920.92 c | 527354 | 9761 41731 126700 | 2147483647 527354 198 | 0.000 % |
934.13/934.41 c | 531739 | 9761 41731 126700 | 2147483647 531739 198 | 0.000 % |
948.32/948.63 c | 536562 | 9761 41731 126700 | 2147483647 536562 199 | 0.000 % |
948.82/949.10 c | 536663 | 9761 41731 126700 | 2147483647 536663 199 | 0.000 % |
949.22/949.57 c | 536775 | 9761 41731 126700 | 2147483647 536775 199 | 0.000 % |
949.72/950.09 c | 536896 | 9761 41731 126700 | 2147483647 536896 199 | 0.000 % |
950.32/950.66 c | 537029 | 9761 41731 126700 | 2147483647 537029 199 | 0.000 % |
951.02/951.34 c | 537176 | 9761 41731 126700 | 2147483647 537176 199 | 0.000 % |
951.62/951.98 c | 537341 | 9761 41731 126700 | 2147483647 537341 199 | 0.000 % |
952.43/952.74 c | 537517 | 9761 41731 126700 | 2147483647 537517 199 | 0.000 % |
953.23/953.56 c | 537715 | 9761 41731 126700 | 2147483647 537715 199 | 0.000 % |
954.02/954.37 c | 537927 | 9761 41731 126700 | 2147483647 537927 199 | 0.000 % |
955.02/955.31 c | 538160 | 9761 41731 126700 | 2147483647 538160 199 | 0.000 % |
955.92/956.20 c | 538416 | 9761 41731 126700 | 2147483647 538416 199 | 0.000 % |
956.92/957.27 c | 538699 | 9761 41731 126700 | 2147483647 538699 199 | 0.000 % |
958.02/958.38 c | 539010 | 9761 41731 126700 | 2147483647 539010 199 | 0.000 % |
959.32/959.68 c | 539352 | 9761 41731 126700 | 2147483647 539352 199 | 0.000 % |
960.62/960.90 c | 539725 | 9761 41731 126700 | 2147483647 539725 199 | 0.000 % |
962.01/962.39 c | 540135 | 9761 41731 126700 | 2147483647 540135 199 | 0.000 % |
963.71/964.09 c | 540586 | 9761 41731 126700 | 2147483647 540586 199 | 0.000 % |
965.52/965.87 c | 541079 | 9761 41731 126700 | 2147483647 541079 199 | 0.000 % |
967.62/967.99 c | 541622 | 9761 41731 126700 | 2147483647 541622 199 | 0.000 % |
969.72/970.03 c | 542218 | 9761 41731 126700 | 2147483647 542218 198 | 0.000 % |
971.81/972.20 c | 542873 | 9761 41731 126700 | 2147483647 542873 198 | 0.000 % |
974.12/974.41 c | 543594 | 9761 41731 126700 | 2147483647 543594 199 | 0.000 % |
976.92/977.24 c | 544386 | 9761 41731 126700 | 2147483647 544386 199 | 0.000 % |
979.62/979.97 c | 545257 | 9761 41731 126700 | 2147483647 545257 199 | 0.000 % |
982.61/982.92 c | 546218 | 9761 41731 126700 | 2147483647 546218 199 | 0.000 % |
986.01/986.36 c | 547271 | 9761 41731 126700 | 2147483647 547271 199 | 0.000 % |
990.11/990.45 c | 548429 | 9761 41731 126700 | 2147483647 548429 199 | 0.000 % |
994.31/994.60 c | 549704 | 9761 41731 126700 | 2147483647 549704 199 | 0.000 % |
998.81/999.19 c | 551104 | 9761 41731 126700 | 2147483647 551104 199 | 0.000 % |
1003.61/1003.94 c | 552644 | 9761 41731 126700 | 2147483647 552644 199 | 0.000 % |
1009.01/1009.31 c | 554338 | 9761 41731 126700 | 2147483647 554338 199 | 0.000 % |
1014.71/1015.05 c | 556201 | 9761 41731 126700 | 2147483647 556201 199 | 0.000 % |
1021.40/1021.76 c | 558250 | 9761 41731 126700 | 2147483647 558250 199 | 0.000 % |
1028.00/1028.30 c | 560503 | 9761 41731 126700 | 2147483647 560503 199 | 0.000 % |
1036.10/1036.42 c | 562981 | 9761 41731 126700 | 2147483647 562981 199 | 0.000 % |
1044.61/1044.96 c | 565707 | 9761 41731 126700 | 2147483647 565707 199 | 0.000 % |
1054.10/1054.41 c | 568704 | 9761 41731 126700 | 2147483647 568704 199 | 0.000 % |
1064.30/1064.63 c | 572002 | 9761 41731 126700 | 2147483647 572002 199 | 0.000 % |
1075.79/1076.12 c | 575628 | 9761 41731 126700 | 2147483647 575628 200 | 0.000 % |
1088.38/1088.74 c | 579616 | 9761 41731 126700 | 2147483647 579616 200 | 0.000 % |
1102.18/1102.56 c | 584001 | 9761 41731 126700 | 2147483647 584001 200 | 0.000 % |
1117.78/1118.12 c | 588825 | 9761 41731 126700 | 2147483647 588825 200 | 0.000 % |
1135.37/1135.75 c | 594131 | 9761 41731 126700 | 2147483647 594131 201 | 0.000 % |
1135.88/1136.25 c | 594232 | 9761 41731 126700 | 2147483647 594232 201 | 0.000 % |
1136.37/1136.76 c | 594342 | 9761 41731 126700 | 2147483647 594342 201 | 0.000 % |
1136.87/1137.27 c | 594464 | 9761 41731 126700 | 2147483647 594464 201 | 0.000 % |
1137.57/1137.92 c | 594599 | 9761 41731 126700 | 2147483647 594599 201 | 0.000 % |
1138.18/1138.55 c | 594745 | 9761 41731 126700 | 2147483647 594745 201 | 0.000 % |
1138.97/1139.33 c | 594905 | 9761 41731 126700 | 2147483647 594905 201 | 0.000 % |
1139.67/1140.10 c | 595081 | 9761 41731 126700 | 2147483647 595081 201 | 0.000 % |
1140.68/1141.08 c | 595274 | 9761 41731 126700 | 2147483647 595274 200 | 0.000 % |
1141.68/1142.05 c | 595488 | 9761 41731 126700 | 2147483647 595488 200 | 0.000 % |
1142.78/1143.12 c | 595726 | 9761 41731 126700 | 2147483647 595726 200 | 0.000 % |
1143.68/1144.09 c | 595983 | 9761 41731 126700 | 2147483647 595983 200 | 0.000 % |
1144.97/1145.33 c | 596264 | 9761 41731 126700 | 2147483647 596264 200 | 0.000 % |
1146.17/1146.50 c | 596573 | 9761 41731 126700 | 2147483647 596573 200 | 0.000 % |
1147.57/1147.95 c | 596912 | 9761 41731 126700 | 2147483647 596912 200 | 0.000 % |
1149.08/1149.49 c | 597284 | 9761 41731 126700 | 2147483647 597284 200 | 0.000 % |
1150.67/1151.09 c | 597694 | 9761 41731 126700 | 2147483647 597694 200 | 0.000 % |
1152.37/1152.78 c | 598143 | 9761 41731 126700 | 2147483647 598143 200 | 0.000 % |
1154.27/1154.69 c | 598636 | 9761 41731 126700 | 2147483647 598636 200 | 0.000 % |
1156.37/1156.71 c | 599179 | 9761 41731 126700 | 2147483647 599179 200 | 0.000 % |
1158.47/1158.89 c | 599775 | 9761 41731 126700 | 2147483647 599775 200 | 0.000 % |
1160.97/1161.31 c | 600430 | 9761 41731 126700 | 600000 600430 200 | 0.000 % |
1163.97/1164.31 c | 601150 | 9761 41731 126700 | 600000 520585 199 | 0.000 % |
1166.37/1166.70 c | 601942 | 9761 41731 126700 | 600000 521377 199 | 0.000 % |
1168.87/1169.28 c | 602813 | 9761 41731 126700 | 600000 522248 199 | 0.000 % |
1172.27/1172.64 c | 603772 | 9761 41731 126700 | 600000 523207 199 | 0.000 % |
1175.57/1175.97 c | 604826 | 9761 41731 126700 | 600000 524261 199 | 0.000 % |
1179.27/1179.66 c | 605988 | 9761 41731 126700 | 600000 525423 199 | 0.000 % |
1183.37/1183.79 c | 607261 | 9761 41731 126700 | 600000 526696 199 | 0.000 % |
1187.26/1187.67 c | 608661 | 9761 41731 126700 | 600000 528096 199 | 0.000 % |
1192.06/1192.42 c | 610203 | 9761 41731 126700 | 2147483647 529638 200 | 0.000 % |
1197.46/1197.81 c | 611899 | 9761 41731 126700 | 2147483647 531334 200 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832679-1242786240/watcher-1832679-1242786240 -o /tmp/evaluation-result-1832679-1242786240/solver-1832679-1242786240 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832679-1242786240.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.96 1.00 1.00 3/64 8978
/proc/meminfo: memFree=1911640/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0
/proc/8978/stat : 8978 (SatELiteGTI) R 8976 8978 8380 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306657238 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236412125 0 0 4100 65536 0 0 0 17 0 0 0
/proc/8978/statm: 1339 237 197 169 0 50 0
[startup+0.0556259 s]
/proc/loadavg: 0.96 1.00 1.00 3/64 8978
/proc/meminfo: memFree=1911640/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306657238 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8978/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101629 s]
/proc/loadavg: 0.96 1.00 1.00 3/64 8978
/proc/meminfo: memFree=1911640/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306657238 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8978/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301659 s]
/proc/loadavg: 0.96 1.00 1.00 3/64 8978
/proc/meminfo: memFree=1911640/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+0.701703 s]
/proc/loadavg: 0.96 1.00 1.00 3/64 8978
/proc/meminfo: memFree=1911640/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+1.50278 s]
/proc/loadavg: 0.96 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1905416/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=7176 CPUtime=1.3
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 1577 0 0 0 129 1 0 0 25 0 1 0 306657257 7348224 1563 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 1794 1563 77 171 0 1621 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12532
[startup+3.10195 s]
/proc/loadavg: 0.96 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1903048/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=10080 CPUtime=2.9
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 2318 0 0 0 288 2 0 0 25 0 1 0 306657257 10321920 2304 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 2520 2304 77 171 0 2347 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15436
[startup+6.3013 s]
/proc/loadavg: 0.96 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1897224/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=15624 CPUtime=6.1
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 3680 0 0 0 607 3 0 0 25 0 1 0 306657257 15998976 3666 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 3906 3666 77 171 0 3733 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20980
[startup+12.702 s]
/proc/loadavg: 0.96 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1887304/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=25060 CPUtime=12.49
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 6026 0 0 0 1244 5 0 0 25 0 1 0 306657257 25661440 6012 1992294400 134512640 135215339 4294956240 18446744073709551615 134527408 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 6265 6012 77 171 0 6092 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30416
[startup+25.5014 s]
/proc/loadavg: 0.97 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1870920/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=40848 CPUtime=25.29
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 9974 0 0 0 2519 10 0 0 25 0 1 0 306657257 41828352 9960 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 10212 9960 77 171 0 10039 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 46204
[startup+51.1011 s]
/proc/loadavg: 0.98 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1845256/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=66576 CPUtime=50.88
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 16426 0 0 0 5070 18 0 0 25 0 1 0 306657257 68173824 16412 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 16644 16412 77 171 0 16471 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 71932
[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1803592/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=107544 CPUtime=102.07
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 26677 0 0 0 10177 30 0 0 25 0 1 0 306657257 110125056 26663 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 26886 26663 77 171 0 26713 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 112900
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1764680/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=146500 CPUtime=162.06
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 36405 0 0 0 16163 43 0 0 25 0 1 0 306657257 150016000 36391 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 36625 36391 77 171 0 36452 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 151856
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1732488/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=178584 CPUtime=222.04
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 44357 0 0 0 22153 51 0 0 25 0 1 0 306657257 182870016 44343 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 44646 44343 77 171 0 44473 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 183940
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1703624/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=207368 CPUtime=282.02
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 51593 0 0 0 28141 61 0 0 25 0 1 0 306657257 212344832 51579 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 51842 51579 77 171 0 51669 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 212724
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1676552/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=234032 CPUtime=342.01
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 58287 0 0 0 34131 70 0 0 25 0 1 0 306657257 239648768 58273 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 58508 58273 77 171 0 58335 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 239388
[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1651016/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=260252 CPUtime=401.99
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 64702 0 0 0 40121 78 0 0 25 0 1 0 306657257 266498048 64688 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 65063 64688 77 171 0 64890 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 265608
[startup+462.301 s]
################
# More data... #
################
/proc/8984/statm: 76877 76567 77 171 0 76704 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 312864
[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1582152/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=328232 CPUtime=581.94
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 81768 0 0 0 58096 98 0 0 25 0 1 0 306657257 336109568 81754 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 82058 81754 77 171 0 81885 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 333588
[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1560264/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=349748 CPUtime=641.94
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 87170 0 0 0 64088 106 0 0 25 0 1 0 306657257 358141952 87156 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 87437 87156 77 171 0 87264 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 355104
[startup+702.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1541960/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=367964 CPUtime=701.91
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 91755 0 0 0 70080 111 0 0 25 0 1 0 306657257 376795136 91741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 91991 91741 77 171 0 91818 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 373320
[startup+762.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1521992/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=388280 CPUtime=761.9
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 96649 0 0 0 76073 117 0 0 25 0 1 0 306657257 397598720 96635 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 97070 96635 77 171 0 96897 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 393636
[startup+822.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1504520/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=405848 CPUtime=821.88
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 101039 0 0 0 82066 122 0 0 25 0 1 0 306657257 415588352 101025 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 101462 101025 77 171 0 101289 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 411204
[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1487240/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=422744 CPUtime=881.87
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 105292 0 0 0 88058 129 0 0 25 0 1 0 306657257 432889856 105278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 105686 105278 77 171 0 105513 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 428100
[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1468616/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=441356 CPUtime=941.85
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 109977 0 0 0 94049 136 0 0 25 0 1 0 306657257 451948544 109963 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 110339 109963 77 171 0 110166 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 446712
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1453896/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=455876 CPUtime=1001.83
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 113595 0 0 0 100041 142 0 0 25 0 1 0 306657257 466817024 113581 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 113969 113581 77 171 0 113796 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 461232
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1436488/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=473300 CPUtime=1061.83
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 117979 0 0 0 106034 149 0 0 25 0 1 0 306657257 484659200 117965 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 118325 117965 77 171 0 118152 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 478656
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8984
/proc/meminfo: memFree=1418440/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=490856 CPUtime=1121.81
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 122408 0 0 0 112026 155 0 0 25 0 1 0 306657257 502636544 122394 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 122714 122394 77 171 0 122541 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 496212
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8986
/proc/meminfo: memFree=1409608/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=499436 CPUtime=1181.8
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 124533 0 0 0 118022 158 0 0 25 0 1 0 306657257 511422464 124519 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 124859 124519 77 171 0 124686 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 504792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 8986
/proc/meminfo: memFree=1409608/2055920 swapFree=4180172/4192956
[pid=8978] ppid=8976 vsize=5356 CPUtime=0.17
/proc/8978/stat : 8978 (SatELiteGTI) S 8976 8978 8380 0 -1 4194304 336 1609 0 0 0 0 17 0 16 0 1 0 306657238 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8978/statm: 1339 239 197 169 0 50 0
[pid=8984] ppid=8978 vsize=499436 CPUtime=1199.89
/proc/8984/stat : 8984 (minisat_static) R 8978 8978 8380 0 -1 4194304 124533 0 0 0 119831 158 0 0 25 0 1 0 306657257 511422464 124519 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8984/statm: 124859 124519 77 171 0 124686 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 504792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8978 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=177972
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10998
# CPU time returned by wait4() is 0.18897
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.06
CPU user time (s): 1198.48
CPU system time (s): 1.58
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 504792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.177972
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 8
runsolver used 1.43278 second user time and 2.92056 second system time
The end
Begin job on node19 at 2009-05-20 04:24:00
IDJOB=1832679
IDBENCH=70303
IDSOLVER=671
FILE ID=node19/1832679-1242786240
PBS_JOBID= 9322345
Free space on /tmp= 66268 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832679-1242786240/watcher-1832679-1242786240 -o /tmp/evaluation-result-1832679-1242786240/solver-1832679-1242786240 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832679-1242786240.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c0db0b493ae63a00f0ab9cc60e186dad
RANDOM SEED=380756584
node19.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.236
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.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1912120 kB
Buffers: 25208 kB
Cached: 73128 kB
SwapCached: 7132 kB
Active: 41580 kB
Inactive: 65236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1912120 kB
SwapTotal: 4192956 kB
SwapFree: 4180172 kB
Dirty: 2328 kB
Writeback: 0 kB
Mapped: 13516 kB
Slab: 23044 kB
Committed_AS: 1036056 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66268 MiB
End job on node19 at 2009-05-20 04:44:02