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.15 c | 0 | 41721 126808 | -- 0 -- -- | -- | -279/808
0.00/0.15 c ==============================================================================
0.00/0.15 c Result : #vars: 9733 #clauses: 41721 #literals: 126808
0.00/0.15 c CPU time: 0.138978 s
0.00/0.15 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: 9733 |
0.00/0.19 c | Number of clauses: 41721 |
0.18/0.22 c | Parsing time: 0.02 s |
0.18/0.22 c ============================[ Search Statistics ]==============================
0.18/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.18/0.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.18/0.22 c ===============================================================================
0.18/0.22 c | 0 | 9733 41721 126808 | 13907 0 nan | 0.000 % |
0.18/0.25 c | 100 | 9733 41721 126808 | 13907 100 116 | 0.000 % |
0.18/0.28 c | 200 | 9733 41721 126808 | 13907 200 137 | 0.000 % |
0.18/0.31 c | 300 | 9733 41721 126808 | 13907 300 144 | 0.000 % |
0.18/0.34 c | 411 | 9733 41721 126808 | 13907 411 139 | 0.000 % |
0.18/0.37 c | 511 | 9733 41721 126808 | 13907 511 140 | 0.000 % |
0.18/0.41 c | 624 | 9733 41721 126808 | 13907 624 136 | 0.000 % |
0.18/0.44 c | 745 | 9733 41721 126808 | 13907 745 143 | 0.000 % |
0.18/0.47 c | 846 | 9733 41721 126808 | 13907 846 140 | 0.000 % |
0.18/0.50 c | 956 | 9733 41721 126808 | 13907 956 138 | 0.000 % |
0.18/0.53 c | 1077 | 9733 41721 126808 | 13907 1077 135 | 0.000 % |
0.18/0.57 c | 1211 | 9733 41721 126808 | 13907 1211 135 | 0.000 % |
0.18/0.60 c | 1313 | 9733 41721 126808 | 13907 1313 138 | 0.000 % |
0.18/0.64 c | 1424 | 9733 41721 126808 | 13907 1424 137 | 0.000 % |
0.18/0.67 c | 1545 | 9733 41721 126808 | 13907 1545 137 | 0.000 % |
0.18/0.71 c | 1678 | 9733 41721 126808 | 13907 1678 135 | 0.000 % |
0.18/0.75 c | 1827 | 9733 41721 126808 | 13907 1827 134 | 0.000 % |
0.18/0.78 c | 1928 | 9733 41721 126808 | 13907 1928 135 | 0.000 % |
0.18/0.82 c | 2038 | 9733 41721 126808 | 13907 2038 136 | 0.000 % |
0.18/0.85 c | 2159 | 9733 41721 126808 | 13907 2159 137 | 0.000 % |
0.18/0.89 c | 2293 | 9733 41721 126808 | 13907 2293 136 | 0.000 % |
0.18/0.93 c | 2439 | 9733 41721 126808 | 13907 2439 136 | 0.000 % |
0.18/0.99 c | 2599 | 9733 41721 126808 | 13907 2599 139 | 0.000 % |
0.98/1.02 c | 2699 | 9733 41721 126808 | 13907 2699 139 | 0.000 % |
0.98/1.06 c | 2810 | 9733 41721 126808 | 13907 2810 140 | 0.000 % |
0.98/1.10 c | 2931 | 9733 41721 126808 | 13907 2931 140 | 0.000 % |
1.07/1.14 c | 3064 | 9733 41721 126808 | 13907 3064 141 | 0.000 % |
1.07/1.19 c | 3210 | 9733 41721 126808 | 13907 3210 141 | 0.000 % |
1.17/1.24 c | 3370 | 9733 41721 126808 | 13907 3370 143 | 0.000 % |
1.27/1.30 c | 3547 | 9733 41721 126808 | 13907 3547 145 | 0.000 % |
1.27/1.33 c | 3647 | 9733 41721 126808 | 13907 3647 145 | 0.000 % |
1.27/1.37 c | 3759 | 9733 41721 126808 | 13907 3759 144 | 0.000 % |
1.37/1.41 c | 3883 | 9733 41721 126808 | 13907 3883 144 | 0.000 % |
1.37/1.45 c | 4016 | 9733 41721 126808 | 13907 4016 143 | 0.000 % |
1.47/1.51 c | 4162 | 9733 41721 126808 | 13907 4162 145 | 0.000 % |
1.47/1.56 c | 4324 | 9733 41721 126808 | 13907 4324 145 | 0.000 % |
1.57/1.62 c | 4502 | 9733 41721 126808 | 13907 4502 146 | 0.000 % |
1.57/1.68 c | 4695 | 9733 41721 126808 | 13907 4695 146 | 0.000 % |
1.67/1.72 c | 4795 | 9733 41721 126808 | 13907 4795 146 | 0.000 % |
1.67/1.76 c | 4906 | 9733 41721 126808 | 13907 4906 147 | 0.000 % |
1.77/1.80 c | 5028 | 9733 41721 126808 | 13907 5028 147 | 0.000 % |
1.77/1.84 c | 5165 | 9733 41721 126808 | 13907 5165 147 | 0.000 % |
1.77/1.89 c | 5312 | 9733 41721 126808 | 13907 5312 147 | 0.000 % |
1.87/1.95 c | 5472 | 9733 41721 126808 | 13907 5472 149 | 0.000 % |
1.97/2.01 c | 5649 | 9733 41721 126808 | 13907 5649 149 | 0.000 % |
1.97/2.08 c | 5842 | 9733 41721 126808 | 13907 5842 149 | 0.000 % |
2.08/2.14 c | 6055 | 9733 41721 126808 | 13907 6055 149 | 0.000 % |
2.08/2.18 c | 6155 | 9733 41721 126808 | 13907 6155 149 | 0.000 % |
2.18/2.22 c | 6265 | 9733 41721 126808 | 13907 6265 150 | 0.000 % |
2.18/2.27 c | 6386 | 9733 41721 126808 | 13907 6386 150 | 0.000 % |
2.27/2.32 c | 6520 | 9733 41721 126808 | 13907 6520 150 | 0.000 % |
2.27/2.37 c | 6666 | 9733 41721 126808 | 13907 6666 150 | 0.000 % |
2.37/2.42 c | 6831 | 9733 41721 126808 | 13907 6831 150 | 0.000 % |
2.37/2.49 c | 7008 | 9733 41721 126808 | 13907 7008 150 | 0.000 % |
2.47/2.56 c | 7201 | 9733 41721 126808 | 13907 7201 151 | 0.000 % |
2.57/2.64 c | 7414 | 9733 41721 126808 | 13907 7414 152 | 0.000 % |
2.67/2.72 c | 7653 | 9733 41721 126808 | 13907 7653 152 | 0.000 % |
2.67/2.76 c | 7753 | 9733 41721 126808 | 13907 7753 152 | 0.000 % |
2.77/2.80 c | 7863 | 9733 41721 126808 | 13907 7863 152 | 0.000 % |
2.77/2.85 c | 7984 | 9733 41721 126808 | 13907 7984 152 | 0.000 % |
2.77/2.90 c | 8117 | 9733 41721 126808 | 13907 8117 152 | 0.000 % |
2.87/2.94 c | 8263 | 9733 41721 126808 | 13907 8263 152 | 0.000 % |
2.97/3.00 c | 8426 | 9733 41721 126808 | 13907 8426 153 | 0.000 % |
2.97/3.07 c | 8604 | 9733 41721 126808 | 13907 8604 152 | 0.000 % |
3.07/3.14 c | 8797 | 9733 41721 126808 | 13907 8797 152 | 0.000 % |
3.17/3.22 c | 9009 | 9733 41721 126808 | 13907 9009 152 | 0.000 % |
3.27/3.30 c | 9242 | 9733 41721 126808 | 13907 9242 152 | 0.000 % |
3.37/3.40 c | 9499 | 9733 41721 126808 | 13907 9499 153 | 0.000 % |
3.37/3.44 c | 9599 | 9733 41721 126808 | 13907 9599 153 | 0.000 % |
3.37/3.48 c | 9709 | 9733 41721 126808 | 13907 9709 152 | 0.000 % |
3.47/3.53 c | 9830 | 9733 41721 126808 | 13907 9830 152 | 0.000 % |
3.47/3.58 c | 9964 | 9733 41721 126808 | 13907 9964 152 | 0.000 % |
3.57/3.64 c | 10112 | 9733 41721 126808 | 2147483647 10112 152 | 0.000 % |
3.67/3.70 c | 10273 | 9733 41721 126808 | 2147483647 10273 151 | 0.000 % |
3.67/3.76 c | 10450 | 9733 41721 126808 | 2147483647 10450 151 | 0.000 % |
3.77/3.85 c | 10643 | 9733 41721 126808 | 2147483647 10643 151 | 0.000 % |
3.87/3.92 c | 10856 | 9733 41721 126808 | 2147483647 10856 151 | 0.000 % |
3.97/4.01 c | 11089 | 9733 41721 126808 | 2147483647 11089 151 | 0.000 % |
4.07/4.11 c | 11345 | 9733 41721 126808 | 2147483647 11345 152 | 0.000 % |
4.17/4.22 c | 11627 | 9733 41721 126808 | 2147483647 11627 153 | 0.000 % |
4.17/4.26 c | 11728 | 9733 41721 126808 | 2147483647 11728 153 | 0.000 % |
4.27/4.30 c | 11838 | 9733 41721 126808 | 2147483647 11838 153 | 0.000 % |
4.27/4.35 c | 11960 | 9733 41721 126808 | 2147483647 11960 153 | 0.000 % |
4.38/4.41 c | 12093 | 9733 41721 126808 | 2147483647 12093 153 | 0.000 % |
4.38/4.47 c | 12239 | 9733 41721 126808 | 2147483647 12239 153 | 0.000 % |
4.48/4.53 c | 12399 | 9733 41721 126808 | 2147483647 12399 153 | 0.000 % |
4.58/4.60 c | 12576 | 9733 41721 126808 | 2147483647 12576 153 | 0.000 % |
4.58/4.68 c | 12770 | 9733 41721 126808 | 2147483647 12770 153 | 0.000 % |
4.68/4.77 c | 12983 | 9733 41721 126808 | 2147483647 12983 153 | 0.000 % |
4.78/4.86 c | 13216 | 9733 41721 126808 | 2147483647 13216 154 | 0.000 % |
4.88/4.97 c | 13474 | 9733 41721 126808 | 2147483647 13474 154 | 0.000 % |
4.97/5.08 c | 13755 | 9733 41721 126808 | 2147483647 13755 154 | 0.000 % |
5.07/5.19 c | 14064 | 9733 41721 126808 | 2147483647 14064 154 | 0.000 % |
5.17/5.24 c | 14164 | 9733 41721 126808 | 2147483647 14164 154 | 0.000 % |
5.17/5.28 c | 14275 | 9733 41721 126808 | 2147483647 14275 154 | 0.000 % |
5.27/5.33 c | 14396 | 9733 41721 126808 | 2147483647 14396 154 | 0.000 % |
5.27/5.39 c | 14530 | 9733 41721 126808 | 2147483647 14530 154 | 0.000 % |
5.38/5.45 c | 14676 | 9733 41721 126808 | 2147483647 14676 154 | 0.000 % |
5.48/5.51 c | 14837 | 9733 41721 126808 | 2147483647 14837 154 | 0.000 % |
5.48/5.59 c | 15013 | 9733 41721 126808 | 2147483647 15013 154 | 0.000 % |
5.57/5.67 c | 15208 | 9733 41721 126808 | 2147483647 15208 154 | 0.000 % |
5.67/5.77 c | 15423 | 9733 41721 126808 | 2147483647 15423 154 | 0.000 % |
5.77/5.87 c | 15656 | 9733 41721 126808 | 2147483647 15656 155 | 0.000 % |
5.87/5.97 c | 15913 | 9733 41721 126808 | 2147483647 15913 155 | 0.000 % |
5.97/6.09 c | 16195 | 9733 41721 126808 | 2147483647 16195 155 | 0.000 % |
6.17/6.23 c | 16504 | 9733 41721 126808 | 2147483647 16504 155 | 0.000 % |
6.27/6.37 c | 16844 | 9733 41721 126808 | 2147483647 16844 155 | 0.000 % |
6.37/6.41 c | 16944 | 9733 41721 126808 | 2147483647 16944 155 | 0.000 % |
6.37/6.46 c | 17054 | 9733 41721 126808 | 2147483647 17054 155 | 0.000 % |
6.47/6.52 c | 17176 | 9733 41721 126808 | 2147483647 17176 155 | 0.000 % |
6.47/6.57 c | 17309 | 9733 41721 126808 | 2147483647 17309 155 | 0.000 % |
6.57/6.63 c | 17455 | 9733 41721 126808 | 2147483647 17455 155 | 0.000 % |
6.67/6.70 c | 17616 | 9733 41721 126808 | 2147483647 17616 155 | 0.000 % |
6.67/6.78 c | 17792 | 9733 41721 126808 | 2147483647 17792 155 | 0.000 % |
6.77/6.86 c | 17985 | 9733 41721 126808 | 2147483647 17985 154 | 0.000 % |
6.87/6.95 c | 18198 | 9733 41721 126808 | 2147483647 18198 155 | 0.000 % |
6.97/7.05 c | 18433 | 9733 41721 126808 | 2147483647 18433 155 | 0.000 % |
7.07/7.16 c | 18689 | 9733 41721 126808 | 2147483647 18689 155 | 0.000 % |
7.17/7.29 c | 18970 | 9733 41721 126808 | 2147483647 18970 155 | 0.000 % |
7.37/7.43 c | 19279 | 9733 41721 126808 | 2147483647 19279 156 | 0.000 % |
7.47/7.57 c | 19620 | 9733 41721 126808 | 2147483647 19620 156 | 0.000 % |
7.67/7.73 c | 19992 | 9733 41721 126808 | 2147483647 19992 158 | 0.000 % |
7.67/7.78 c | 20093 | 9733 41721 126808 | 2147483647 20093 157 | 0.000 % |
7.77/7.83 c | 20204 | 9733 41721 126808 | 2147483647 20204 158 | 0.000 % |
7.77/7.89 c | 20326 | 9733 41721 126808 | 2147483647 20326 157 | 0.000 % |
7.87/7.95 c | 20459 | 9733 41721 126808 | 2147483647 20459 157 | 0.000 % |
7.97/8.02 c | 20605 | 9733 41721 126808 | 2147483647 20605 157 | 0.000 % |
7.97/8.09 c | 20767 | 9733 41721 126808 | 2147483647 20767 157 | 0.000 % |
8.07/8.17 c | 20945 | 9733 41721 126808 | 2147483647 20945 157 | 0.000 % |
8.17/8.25 c | 21139 | 9733 41721 126808 | 2147483647 21139 157 | 0.000 % |
8.27/8.34 c | 21353 | 9733 41721 126808 | 2147483647 21353 157 | 0.000 % |
8.37/8.45 c | 21586 | 9733 41721 126808 | 2147483647 21586 157 | 0.000 % |
8.47/8.57 c | 21842 | 9733 41721 126808 | 2147483647 21842 158 | 0.000 % |
8.67/8.71 c | 22128 | 9733 41721 126808 | 2147483647 22128 159 | 0.000 % |
8.77/8.85 c | 22438 | 9733 41721 126808 | 2147483647 22438 159 | 0.000 % |
8.97/9.00 c | 22777 | 9733 41721 126808 | 2147483647 22777 160 | 0.000 % |
9.07/9.18 c | 23149 | 9733 41721 126808 | 2147483647 23149 160 | 0.000 % |
9.27/9.36 c | 23558 | 9733 41721 126808 | 2147483647 23558 160 | 0.000 % |
9.37/9.41 c | 23658 | 9733 41721 126808 | 2147483647 23658 160 | 0.000 % |
9.37/9.46 c | 23769 | 9733 41721 126808 | 2147483647 23769 160 | 0.000 % |
9.47/9.52 c | 23891 | 9733 41721 126808 | 2147483647 23891 160 | 0.000 % |
9.47/9.58 c | 24026 | 9733 41721 126808 | 2147483647 24026 160 | 0.000 % |
9.57/9.65 c | 24172 | 9733 41721 126808 | 2147483647 24172 160 | 0.000 % |
9.67/9.73 c | 24333 | 9733 41721 126808 | 2147483647 24333 160 | 0.000 % |
9.78/9.82 c | 24510 | 9733 41721 126808 | 2147483647 24510 160 | 0.000 % |
9.88/9.91 c | 24703 | 9733 41721 126808 | 2147483647 24703 160 | 0.000 % |
9.97/10.01 c | 24916 | 9733 41721 126808 | 2147483647 24916 160 | 0.000 % |
10.07/10.13 c | 25152 | 9733 41721 126808 | 2147483647 25152 160 | 0.000 % |
10.17/10.23 c | 25408 | 9733 41721 126808 | 2147483647 25408 160 | 0.000 % |
10.27/10.37 c | 25691 | 9733 41721 126808 | 2147483647 25691 160 | 0.000 % |
10.47/10.50 c | 26002 | 9733 41721 126808 | 2147483647 26002 160 | 0.000 % |
10.57/10.67 c | 26341 | 9733 41721 126808 | 2147483647 26341 160 | 0.000 % |
10.77/10.86 c | 26714 | 9733 41721 126808 | 2147483647 26714 160 | 0.000 % |
10.97/11.05 c | 27123 | 9733 41721 126808 | 2147483647 27123 160 | 0.000 % |
11.17/11.26 c | 27572 | 9733 41721 126808 | 2147483647 27572 161 | 0.000 % |
11.27/11.32 c | 27672 | 9733 41721 126808 | 2147483647 27672 161 | 0.000 % |
11.27/11.38 c | 27782 | 9733 41721 126808 | 2147483647 27782 161 | 0.000 % |
11.37/11.45 c | 27903 | 9733 41721 126808 | 2147483647 27903 161 | 0.000 % |
11.47/11.51 c | 28036 | 9733 41721 126808 | 2147483647 28036 161 | 0.000 % |
11.47/11.59 c | 28183 | 9733 41721 126808 | 2147483647 28183 160 | 0.000 % |
11.57/11.68 c | 28344 | 9733 41721 126808 | 2147483647 28344 161 | 0.000 % |
11.67/11.76 c | 28520 | 9733 41721 126808 | 2147483647 28520 161 | 0.000 % |
11.77/11.85 c | 28713 | 9733 41721 126808 | 2147483647 28713 160 | 0.000 % |
11.87/11.96 c | 28929 | 9733 41721 126808 | 2147483647 28929 160 | 0.000 % |
11.97/12.07 c | 29162 | 9733 41721 126808 | 2147483647 29162 160 | 0.000 % |
12.07/12.19 c | 29418 | 9733 41721 126808 | 2147483647 29418 160 | 0.000 % |
12.27/12.33 c | 29700 | 9733 41721 126808 | 2147483647 29700 161 | 0.000 % |
12.37/12.48 c | 30011 | 9733 41721 126808 | 2147483647 30011 161 | 0.000 % |
12.57/12.66 c | 30352 | 9733 41721 126808 | 2147483647 30352 161 | 0.000 % |
12.77/12.84 c | 30725 | 9733 41721 126808 | 2147483647 30725 161 | 0.000 % |
12.97/13.04 c | 31134 | 9733 41721 126808 | 2147483647 31134 161 | 0.000 % |
13.17/13.27 c | 31584 | 9733 41721 126808 | 2147483647 31584 162 | 0.000 % |
13.47/13.52 c | 32077 | 9733 41721 126808 | 2147483647 32077 162 | 0.000 % |
13.47/13.58 c | 32178 | 9733 41721 126808 | 2147483647 32178 162 | 0.000 % |
13.57/13.64 c | 32288 | 9733 41721 126808 | 2147483647 32288 162 | 0.000 % |
13.67/13.71 c | 32409 | 9733 41721 126808 | 2147483647 32409 162 | 0.000 % |
13.67/13.79 c | 32543 | 9733 41721 126808 | 2147483647 32543 162 | 0.000 % |
13.77/13.87 c | 32690 | 9733 41721 126808 | 2147483647 32690 162 | 0.000 % |
13.87/13.96 c | 32851 | 9733 41721 126808 | 2147483647 32851 162 | 0.000 % |
13.97/14.06 c | 33028 | 9733 41721 126808 | 2147483647 33028 162 | 0.000 % |
14.07/14.17 c | 33221 | 9733 41721 126808 | 2147483647 33221 162 | 0.000 % |
14.17/14.28 c | 33433 | 9733 41721 126808 | 2147483647 33433 162 | 0.000 % |
14.37/14.42 c | 33667 | 9733 41721 126808 | 2147483647 33667 162 | 0.000 % |
14.47/14.55 c | 33924 | 9733 41721 126808 | 2147483647 33924 162 | 0.000 % |
14.57/14.69 c | 34206 | 9733 41721 126808 | 2147483647 34206 162 | 0.000 % |
14.77/14.85 c | 34515 | 9733 41721 126808 | 2147483647 34515 162 | 0.000 % |
14.97/15.01 c | 34854 | 9733 41721 126808 | 2147483647 34854 162 | 0.000 % |
15.17/15.20 c | 35227 | 9733 41721 126808 | 2147483647 35227 162 | 0.000 % |
15.37/15.41 c | 35636 | 9733 41721 126808 | 2147483647 35636 162 | 0.000 % |
15.57/15.64 c | 36085 | 9733 41721 126808 | 2147483647 36085 162 | 0.000 % |
15.87/15.92 c | 36578 | 9733 41721 126808 | 2147483647 36578 162 | 0.000 % |
16.16/16.20 c | 37120 | 9733 41721 126808 | 2147483647 37120 163 | 0.000 % |
16.16/16.27 c | 37220 | 9733 41721 126808 | 2147483647 37220 163 | 0.000 % |
16.26/16.33 c | 37330 | 9733 41721 126808 | 2147483647 37330 163 | 0.000 % |
16.26/16.40 c | 37454 | 9733 41721 126808 | 2147483647 37454 163 | 0.000 % |
16.37/16.49 c | 37588 | 9733 41721 126808 | 2147483647 37588 162 | 0.000 % |
16.47/16.58 c | 37735 | 9733 41721 126808 | 2147483647 37735 162 | 0.000 % |
16.56/16.66 c | 37895 | 9733 41721 126808 | 2147483647 37895 162 | 0.000 % |
16.66/16.76 c | 38071 | 9733 41721 126808 | 2147483647 38071 162 | 0.000 % |
16.76/16.88 c | 38265 | 9733 41721 126808 | 2147483647 38265 162 | 0.000 % |
16.86/17.00 c | 38477 | 9733 41721 126808 | 2147483647 38477 162 | 0.000 % |
17.07/17.13 c | 38711 | 9733 41721 126808 | 2147483647 38711 162 | 0.000 % |
17.17/17.27 c | 38970 | 9733 41721 126808 | 2147483647 38970 162 | 0.000 % |
17.37/17.42 c | 39252 | 9733 41721 126808 | 2147483647 39252 162 | 0.000 % |
17.57/17.61 c | 39561 | 9733 41721 126808 | 2147483647 39561 163 | 0.000 % |
17.77/17.81 c | 39902 | 9733 41721 126808 | 2147483647 39902 163 | 0.000 % |
17.97/18.01 c | 40276 | 9733 41721 126808 | 2147483647 40276 163 | 0.000 % |
18.17/18.25 c | 40687 | 9733 41721 126808 | 2147483647 40687 163 | 0.000 % |
18.47/18.51 c | 41138 | 9733 41721 126808 | 2147483647 41138 164 | 0.000 % |
18.67/18.79 c | 41631 | 9733 41721 126808 | 2147483647 41631 163 | 0.000 % |
18.97/19.08 c | 42173 | 9733 41721 126808 | 2147483647 42173 164 | 0.000 % |
19.36/19.44 c | 42769 | 9733 41721 126808 | 2147483647 42769 164 | 0.000 % |
19.46/19.51 c | 42869 | 9733 41721 126808 | 2147483647 42869 164 | 0.000 % |
19.46/19.58 c | 42981 | 9733 41721 126808 | 2147483647 42981 164 | 0.000 % |
19.56/19.66 c | 43104 | 9733 41721 126808 | 2147483647 43104 164 | 0.000 % |
19.66/19.75 c | 43237 | 9733 41721 126808 | 2147483647 43237 164 | 0.000 % |
19.76/19.84 c | 43384 | 9733 41721 126808 | 2147483647 43384 164 | 0.000 % |
19.86/19.95 c | 43544 | 9733 41721 126808 | 2147483647 43544 164 | 0.000 % |
19.96/20.08 c | 43720 | 9733 41721 126808 | 2147483647 43720 164 | 0.000 % |
20.06/20.20 c | 43913 | 9733 41721 126808 | 2147483647 43913 164 | 0.000 % |
20.27/20.32 c | 44125 | 9733 41721 126808 | 2147483647 44125 164 | 0.000 % |
20.37/20.45 c | 44361 | 9733 41721 126808 | 2147483647 44361 164 | 0.000 % |
20.57/20.61 c | 44619 | 9733 41721 126808 | 2147483647 44619 164 | 0.000 % |
20.67/20.78 c | 44900 | 9733 41721 126808 | 2147483647 44900 164 | 0.000 % |
20.87/20.95 c | 45209 | 9733 41721 126808 | 2147483647 45209 164 | 0.000 % |
21.06/21.15 c | 45548 | 9733 41721 126808 | 2147483647 45548 164 | 0.000 % |
21.36/21.40 c | 45920 | 9733 41721 126808 | 2147483647 45920 164 | 0.000 % |
21.56/21.65 c | 46333 | 9733 41721 126808 | 2147483647 46333 164 | 0.000 % |
21.86/21.92 c | 46782 | 9733 41721 126808 | 2147483647 46782 164 | 0.000 % |
22.16/22.21 c | 47276 | 9733 41721 126808 | 2147483647 47276 165 | 0.000 % |
22.47/22.54 c | 47818 | 9733 41721 126808 | 2147483647 47818 165 | 0.000 % |
22.87/22.90 c | 48415 | 9733 41721 126808 | 2147483647 48415 165 | 0.000 % |
23.16/23.27 c | 49070 | 9733 41721 126808 | 2147483647 49070 165 | 0.000 % |
23.26/23.34 c | 49170 | 9733 41721 126808 | 2147483647 49170 165 | 0.000 % |
23.36/23.42 c | 49280 | 9733 41721 126808 | 2147483647 49280 165 | 0.000 % |
23.46/23.50 c | 49402 | 9733 41721 126808 | 2147483647 49402 165 | 0.000 % |
23.46/23.58 c | 49535 | 9733 41721 126808 | 2147483647 49535 165 | 0.000 % |
23.56/23.68 c | 49681 | 9733 41721 126808 | 2147483647 49681 165 | 0.000 % |
23.66/23.79 c | 49841 | 9733 41721 126808 | 2147483647 49841 165 | 0.000 % |
23.86/23.90 c | 50017 | 9733 41721 126808 | 2147483647 50017 165 | 0.000 % |
23.96/24.03 c | 50210 | 9733 41721 126808 | 2147483647 50210 165 | 0.000 % |
24.06/24.16 c | 50422 | 9733 41721 126808 | 2147483647 50422 165 | 0.000 % |
24.26/24.33 c | 50655 | 9733 41721 126808 | 2147483647 50655 165 | 0.000 % |
24.36/24.49 c | 50911 | 9733 41721 126808 | 2147483647 50911 165 | 0.000 % |
24.56/24.67 c | 51194 | 9733 41721 126808 | 2147483647 51194 165 | 0.000 % |
24.76/24.88 c | 51509 | 9733 41721 126808 | 2147483647 51509 165 | 0.000 % |
25.06/25.10 c | 51850 | 9733 41721 126808 | 2147483647 51850 165 | 0.000 % |
25.27/25.35 c | 52222 | 9733 41721 126808 | 2147483647 52222 165 | 0.000 % |
25.56/25.60 c | 52631 | 9733 41721 126808 | 2147483647 52631 165 | 0.000 % |
25.76/25.88 c | 53082 | 9733 41721 126808 | 2147483647 53082 166 | 0.000 % |
26.16/26.20 c | 53577 | 9733 41721 126808 | 2147483647 53577 166 | 0.000 % |
26.46/26.56 c | 54119 | 9733 41721 126808 | 2147483647 54119 166 | 0.000 % |
26.86/26.95 c | 54716 | 9733 41721 126808 | 2147483647 54716 167 | 0.000 % |
27.26/27.38 c | 55372 | 9733 41721 126808 | 2147483647 55372 167 | 0.000 % |
27.76/27.82 c | 56092 | 9733 41721 126808 | 2147483647 56092 168 | 0.000 % |
27.86/27.90 c | 56194 | 9733 41721 126808 | 2147483647 56194 168 | 0.000 % |
27.86/27.98 c | 56305 | 9733 41721 126808 | 2147483647 56305 168 | 0.000 % |
27.96/28.07 c | 56429 | 9733 41721 126808 | 2147483647 56429 168 | 0.000 % |
28.06/28.18 c | 56562 | 9733 41721 126808 | 2147483647 56562 168 | 0.000 % |
28.25/28.31 c | 56709 | 9733 41721 126808 | 2147483647 56709 168 | 0.000 % |
28.35/28.42 c | 56869 | 9733 41721 126808 | 2147483647 56869 168 | 0.000 % |
28.46/28.54 c | 57045 | 9733 41721 126808 | 2147483647 57045 168 | 0.000 % |
28.56/28.68 c | 57238 | 9733 41721 126808 | 2147483647 57238 168 | 0.000 % |
28.75/28.82 c | 57450 | 9733 41721 126808 | 2147483647 57450 168 | 0.000 % |
28.85/28.98 c | 57683 | 9733 41721 126808 | 2147483647 57683 168 | 0.000 % |
29.05/29.16 c | 57941 | 9733 41721 126808 | 2147483647 57941 168 | 0.000 % |
29.26/29.36 c | 58225 | 9733 41721 126808 | 2147483647 58225 168 | 0.000 % |
29.46/29.58 c | 58535 | 9733 41721 126808 | 2147483647 58535 168 | 0.000 % |
29.76/29.82 c | 58875 | 9733 41721 126808 | 2147483647 58875 168 | 0.000 % |
29.96/30.07 c | 59248 | 9733 41721 126808 | 2147483647 59248 168 | 0.000 % |
30.25/30.35 c | 59659 | 9733 41721 126808 | 2147483647 59659 168 | 0.000 % |
30.55/30.65 c | 60109 | 9733 41721 126808 | 2147483647 60109 168 | 0.000 % |
30.85/30.98 c | 60602 | 9733 41721 126808 | 2147483647 60602 168 | 0.000 % |
31.25/31.33 c | 61145 | 9733 41721 126808 | 2147483647 61145 168 | 0.000 % |
31.65/31.72 c | 61742 | 9733 41721 126808 | 2147483647 61742 168 | 0.000 % |
32.05/32.15 c | 62397 | 9733 41721 126808 | 2147483647 62397 168 | 0.000 % |
32.55/32.60 c | 63120 | 9733 41721 126808 | 2147483647 63120 169 | 0.000 % |
33.05/33.13 c | 63912 | 9733 41721 126808 | 2147483647 63912 169 | 0.000 % |
33.05/33.19 c | 64012 | 9733 41721 126808 | 2147483647 64012 169 | 0.000 % |
33.15/33.29 c | 64122 | 9733 41721 126808 | 2147483647 64122 169 | 0.000 % |
33.25/33.37 c | 64243 | 9733 41721 126808 | 2147483647 64243 169 | 0.000 % |
33.35/33.46 c | 64377 | 9733 41721 126808 | 2147483647 64377 169 | 0.000 % |
33.45/33.58 c | 64524 | 9733 41721 126808 | 2147483647 64524 169 | 0.000 % |
33.65/33.71 c | 64684 | 9733 41721 126808 | 2147483647 64684 169 | 0.000 % |
33.75/33.86 c | 64861 | 9733 41721 126808 | 2147483647 64861 169 | 0.000 % |
33.95/34.01 c | 65055 | 9733 41721 126808 | 2147483647 65055 169 | 0.000 % |
34.05/34.18 c | 65267 | 9733 41721 126808 | 2147483647 65267 169 | 0.000 % |
34.25/34.36 c | 65500 | 9733 41721 126808 | 2147483647 65500 169 | 0.000 % |
34.45/34.57 c | 65758 | 9733 41721 126808 | 2147483647 65758 169 | 0.000 % |
34.65/34.79 c | 66040 | 9733 41721 126808 | 2147483647 66040 169 | 0.000 % |
34.95/35.01 c | 66350 | 9733 41721 126808 | 2147483647 66350 169 | 0.000 % |
35.16/35.25 c | 66689 | 9733 41721 126808 | 2147483647 66689 169 | 0.000 % |
35.46/35.51 c | 67063 | 9733 41721 126808 | 2147483647 67063 169 | 0.000 % |
35.75/35.84 c | 67472 | 9733 41721 126808 | 2147483647 67472 170 | 0.000 % |
36.05/36.19 c | 67922 | 9733 41721 126808 | 2147483647 67922 170 | 0.000 % |
36.45/36.54 c | 68417 | 9733 41721 126808 | 2147483647 68417 170 | 0.000 % |
36.85/36.93 c | 68961 | 9733 41721 126808 | 2147483647 68961 170 | 0.000 % |
37.25/37.35 c | 69558 | 9733 41721 126808 | 2147483647 69558 170 | 0.000 % |
37.75/37.83 c | 70217 | 9733 41721 126808 | 2147483647 70217 170 | 0.000 % |
38.25/38.35 c | 70939 | 9733 41721 126808 | 2147483647 70939 170 | 0.000 % |
38.84/38.94 c | 71733 | 9733 41721 126808 | 2147483647 71733 171 | 0.000 % |
39.46/39.59 c | 72606 | 9733 41721 126808 | 2147483647 72606 171 | 0.000 % |
39.55/39.67 c | 72707 | 9733 41721 126808 | 2147483647 72707 171 | 0.000 % |
39.65/39.77 c | 72819 | 9733 41721 126808 | 2147483647 72819 171 | 0.000 % |
39.75/39.88 c | 72941 | 9733 41721 126808 | 2147483647 72941 171 | 0.000 % |
39.85/39.99 c | 73074 | 9733 41721 126808 | 2147483647 73074 171 | 0.000 % |
40.05/40.11 c | 73220 | 9733 41721 126808 | 2147483647 73220 171 | 0.000 % |
40.15/40.23 c | 73380 | 9733 41721 126808 | 2147483647 73380 171 | 0.000 % |
40.25/40.38 c | 73557 | 9733 41721 126808 | 2147483647 73557 171 | 0.000 % |
40.45/40.56 c | 73750 | 9733 41721 126808 | 2147483647 73750 171 | 0.000 % |
40.65/40.74 c | 73963 | 9733 41721 126808 | 2147483647 73963 171 | 0.000 % |
40.85/40.96 c | 74196 | 9733 41721 126808 | 2147483647 74196 171 | 0.000 % |
41.05/41.16 c | 74452 | 9733 41721 126808 | 2147483647 74452 171 | 0.000 % |
41.25/41.39 c | 74734 | 9733 41721 126808 | 2147483647 74734 171 | 0.000 % |
41.55/41.63 c | 75043 | 9733 41721 126808 | 2147483647 75043 170 | 0.000 % |
41.75/41.88 c | 75382 | 9733 41721 126808 | 2147483647 75382 171 | 0.000 % |
42.04/42.18 c | 75755 | 9733 41721 126808 | 2147483647 75755 170 | 0.000 % |
42.34/42.48 c | 76166 | 9733 41721 126808 | 2147483647 76166 171 | 0.000 % |
42.64/42.79 c | 76616 | 9733 41721 126808 | 2147483647 76616 171 | 0.000 % |
43.05/43.17 c | 77109 | 9733 41721 126808 | 2147483647 77109 171 | 0.000 % |
43.45/43.59 c | 77651 | 9733 41721 126808 | 2147483647 77651 171 | 0.000 % |
43.95/44.07 c | 78247 | 9733 41721 126808 | 2147483647 78247 171 | 0.000 % |
44.44/44.58 c | 78904 | 9733 41721 126808 | 2147483647 78904 171 | 0.000 % |
45.05/45.16 c | 79624 | 9733 41721 126808 | 2147483647 79624 171 | 0.000 % |
45.64/45.77 c | 80420 | 9733 41721 126808 | 2147483647 80420 171 | 0.000 % |
46.35/46.44 c | 81293 | 9733 41721 126808 | 2147483647 81293 171 | 0.000 % |
47.15/47.21 c | 82253 | 9733 41721 126808 | 2147483647 82253 172 | 0.000 % |
47.25/47.31 c | 82354 | 9733 41721 126808 | 2147483647 82354 171 | 0.000 % |
47.34/47.43 c | 82464 | 9733 41721 126808 | 2147483647 82464 171 | 0.000 % |
47.44/47.53 c | 82586 | 9733 41721 126808 | 2147483647 82586 171 | 0.000 % |
47.54/47.67 c | 82722 | 9733 41721 126808 | 2147483647 82722 171 | 0.000 % |
47.64/47.79 c | 82868 | 9733 41721 126808 | 2147483647 82868 171 | 0.000 % |
47.84/47.94 c | 83029 | 9733 41721 126808 | 2147483647 83029 171 | 0.000 % |
47.94/48.09 c | 83206 | 9733 41721 126808 | 2147483647 83206 171 | 0.000 % |
48.14/48.24 c | 83399 | 9733 41721 126808 | 2147483647 83399 171 | 0.000 % |
48.35/48.44 c | 83611 | 9733 41721 126808 | 2147483647 83611 171 | 0.000 % |
48.54/48.62 c | 83846 | 9733 41721 126808 | 2147483647 83846 171 | 0.000 % |
48.74/48.83 c | 84102 | 9733 41721 126808 | 2147483647 84102 171 | 0.000 % |
48.94/49.08 c | 84384 | 9733 41721 126808 | 2147483647 84384 171 | 0.000 % |
49.24/49.32 c | 84694 | 9733 41721 126808 | 2147483647 84694 171 | 0.000 % |
49.54/49.61 c | 85034 | 9733 41721 126808 | 2147483647 85034 171 | 0.000 % |
49.84/49.93 c | 85407 | 9733 41721 126808 | 2147483647 85407 171 | 0.000 % |
50.14/50.28 c | 85818 | 9733 41721 126808 | 2147483647 85818 171 | 0.000 % |
50.55/50.65 c | 86267 | 9733 41721 126808 | 2147483647 86267 171 | 0.000 % |
50.94/51.09 c | 86760 | 9733 41721 126808 | 2147483647 86760 171 | 0.000 % |
51.34/51.49 c | 87303 | 9733 41721 126808 | 2147483647 87303 172 | 0.000 % |
51.94/52.00 c | 87899 | 9733 41721 126808 | 2147483647 87899 172 | 0.000 % |
52.44/52.53 c | 88556 | 9733 41721 126808 | 2147483647 88556 172 | 0.000 % |
53.03/53.13 c | 89276 | 9733 41721 126808 | 2147483647 89276 172 | 0.000 % |
53.63/53.79 c | 90069 | 9733 41721 126808 | 2147483647 90069 172 | 0.000 % |
54.44/54.50 c | 90940 | 9733 41721 126808 | 2147483647 90940 172 | 0.000 % |
55.14/55.29 c | 91900 | 9733 41721 126808 | 2147483647 91900 173 | 0.000 % |
56.04/56.19 c | 92954 | 9733 41721 126808 | 2147483647 92954 174 | 0.000 % |
56.14/56.28 c | 93054 | 9733 41721 126808 | 2147483647 93054 174 | 0.000 % |
56.24/56.39 c | 93164 | 9733 41721 126808 | 2147483647 93164 173 | 0.000 % |
56.44/56.50 c | 93286 | 9733 41721 126808 | 2147483647 93286 173 | 0.000 % |
56.54/56.63 c | 93419 | 9733 41721 126808 | 2147483647 93419 174 | 0.000 % |
56.64/56.77 c | 93565 | 9733 41721 126808 | 2147483647 93565 173 | 0.000 % |
56.84/56.96 c | 93726 | 9733 41721 126808 | 2147483647 93726 173 | 0.000 % |
57.05/57.11 c | 93902 | 9733 41721 126808 | 2147483647 93902 173 | 0.000 % |
57.15/57.28 c | 94096 | 9733 41721 126808 | 2147483647 94096 173 | 0.000 % |
57.44/57.50 c | 94308 | 9733 41721 126808 | 2147483647 94308 173 | 0.000 % |
57.54/57.69 c | 94541 | 9733 41721 126808 | 2147483647 94541 173 | 0.000 % |
57.84/57.92 c | 94798 | 9733 41721 126808 | 2147483647 94798 173 | 0.000 % |
58.04/58.15 c | 95079 | 9733 41721 126808 | 2147483647 95079 173 | 0.000 % |
58.34/58.47 c | 95388 | 9733 41721 126808 | 2147483647 95388 173 | 0.000 % |
58.64/58.76 c | 95728 | 9733 41721 126808 | 2147483647 95728 173 | 0.000 % |
58.94/59.09 c | 96101 | 9733 41721 126808 | 2147483647 96101 173 | 0.000 % |
59.34/59.46 c | 96511 | 9733 41721 126808 | 2147483647 96511 173 | 0.000 % |
59.84/59.90 c | 96963 | 9733 41721 126808 | 2147483647 96963 173 | 0.000 % |
60.24/60.34 c | 97456 | 9733 41721 126808 | 2147483647 97456 173 | 0.000 % |
60.73/60.85 c | 98000 | 9733 41721 126808 | 2147483647 98000 173 | 0.000 % |
61.33/61.43 c | 98596 | 9733 41721 126808 | 2147483647 98596 173 | 0.000 % |
61.84/61.99 c | 99252 | 9733 41721 126808 | 2147483647 99252 173 | 0.000 % |
62.44/62.60 c | 99972 | 9733 41721 126808 | 2147483647 99972 173 | 0.000 % |
63.23/63.31 c | 100765 | 9733 41721 126808 | 2147483647 100765 174 | 0.000 % |
63.93/64.08 c | 101636 | 9733 41721 126808 | 2147483647 101636 174 | 0.000 % |
64.84/64.98 c | 102597 | 9733 41721 126808 | 2147483647 102597 174 | 0.000 % |
65.84/65.96 c | 103651 | 9733 41721 126808 | 2147483647 103651 174 | 0.000 % |
66.94/67.03 c | 104809 | 9733 41721 126808 | 2147483647 104809 174 | 0.000 % |
67.03/67.16 c | 104909 | 9733 41721 126808 | 2147483647 104909 174 | 0.000 % |
67.13/67.27 c | 105020 | 9733 41721 126808 | 2147483647 105020 174 | 0.000 % |
67.34/67.41 c | 105141 | 9733 41721 126808 | 2147483647 105141 174 | 0.000 % |
67.44/67.55 c | 105274 | 9733 41721 126808 | 2147483647 105274 174 | 0.000 % |
67.64/67.70 c | 105420 | 9733 41721 126808 | 2147483647 105420 174 | 0.000 % |
67.73/67.87 c | 105580 | 9733 41721 126808 | 2147483647 105580 174 | 0.000 % |
67.93/68.06 c | 105758 | 9733 41721 126808 | 2147483647 105758 174 | 0.000 % |
68.14/68.25 c | 105952 | 9733 41721 126808 | 2147483647 105952 174 | 0.000 % |
68.33/68.45 c | 106165 | 9733 41721 126808 | 2147483647 106165 174 | 0.000 % |
68.53/68.67 c | 106398 | 9733 41721 126808 | 2147483647 106398 174 | 0.000 % |
68.83/68.91 c | 106654 | 9733 41721 126808 | 2147483647 106654 174 | 0.000 % |
69.14/69.22 c | 106937 | 9733 41721 126808 | 2147483647 106937 174 | 0.000 % |
69.43/69.53 c | 107250 | 9733 41721 126808 | 2147483647 107250 174 | 0.000 % |
69.73/69.85 c | 107590 | 9733 41721 126808 | 2147483647 107590 174 | 0.000 % |
70.13/70.23 c | 107966 | 9733 41721 126808 | 2147483647 107966 174 | 0.000 % |
70.53/70.60 c | 108377 | 9733 41721 126808 | 2147483647 108377 174 | 0.000 % |
70.93/71.03 c | 108827 | 9733 41721 126808 | 2147483647 108827 174 | 0.000 % |
71.44/71.52 c | 109320 | 9733 41721 126808 | 2147483647 109320 174 | 0.000 % |
71.93/72.09 c | 109863 | 9733 41721 126808 | 2147483647 109863 174 | 0.000 % |
72.54/72.67 c | 110460 | 9733 41721 126808 | 2147483647 110460 174 | 0.000 % |
73.23/73.30 c | 111116 | 9733 41721 126808 | 2147483647 111116 174 | 0.000 % |
73.83/73.98 c | 111838 | 9733 41721 126808 | 2147483647 111838 175 | 0.000 % |
74.63/74.76 c | 112630 | 9733 41721 126808 | 2147483647 112630 175 | 0.000 % |
75.43/75.54 c | 113502 | 9733 41721 126808 | 2147483647 113502 175 | 0.000 % |
76.33/76.46 c | 114462 | 9733 41721 126808 | 2147483647 114462 175 | 0.000 % |
77.33/77.49 c | 115517 | 9733 41721 126808 | 2147483647 115517 176 | 0.000 % |
78.43/78.58 c | 116675 | 9733 41721 126808 | 2147483647 116675 176 | 0.000 % |
79.63/79.77 c | 117951 | 9733 41721 126808 | 2147483647 117951 176 | 0.000 % |
79.73/79.89 c | 118051 | 9733 41721 126808 | 2147483647 118051 176 | 0.000 % |
79.93/80.03 c | 118161 | 9733 41721 126808 | 2147483647 118161 176 | 0.000 % |
80.03/80.17 c | 118282 | 9733 41721 126808 | 2147483647 118282 176 | 0.000 % |
80.23/80.31 c | 118416 | 9733 41721 126808 | 2147483647 118416 176 | 0.000 % |
80.32/80.48 c | 118562 | 9733 41721 126808 | 2147483647 118562 176 | 0.000 % |
80.62/80.70 c | 118722 | 9733 41721 126808 | 2147483647 118722 176 | 0.000 % |
80.82/80.90 c | 118898 | 9733 41721 126808 | 2147483647 118898 176 | 0.000 % |
81.02/81.11 c | 119092 | 9733 41721 126808 | 2147483647 119092 176 | 0.000 % |
81.23/81.34 c | 119304 | 9733 41721 126808 | 2147483647 119304 176 | 0.000 % |
81.42/81.55 c | 119539 | 9733 41721 126808 | 2147483647 119539 176 | 0.000 % |
81.72/81.86 c | 119795 | 9733 41721 126808 | 2147483647 119795 176 | 0.000 % |
82.02/82.19 c | 120076 | 9733 41721 126808 | 2147483647 120076 176 | 0.000 % |
82.42/82.53 c | 120386 | 9733 41721 126808 | 2147483647 120386 176 | 0.000 % |
82.83/82.90 c | 120726 | 9733 41721 126808 | 2147483647 120726 176 | 0.000 % |
83.13/83.26 c | 121098 | 9733 41721 126808 | 2147483647 121098 176 | 0.000 % |
83.63/83.71 c | 121508 | 9733 41721 126808 | 2147483647 121508 176 | 0.000 % |
84.03/84.19 c | 121957 | 9733 41721 126808 | 2147483647 121957 176 | 0.000 % |
84.63/84.72 c | 122451 | 9733 41721 126808 | 2147483647 122451 176 | 0.000 % |
85.12/85.26 c | 122993 | 9733 41721 126808 | 2147483647 122993 176 | 0.000 % |
85.73/85.87 c | 123589 | 9733 41721 126808 | 2147483647 123589 176 | 0.000 % |
86.42/86.54 c | 124244 | 9733 41721 126808 | 2147483647 124244 176 | 0.000 % |
87.12/87.28 c | 124964 | 9733 41721 126808 | 2147483647 124964 176 | 0.000 % |
87.92/88.06 c | 125757 | 9733 41721 126808 | 2147483647 125757 176 | 0.000 % |
88.83/88.99 c | 126629 | 9733 41721 126808 | 2147483647 126629 176 | 0.000 % |
89.82/89.95 c | 127589 | 9733 41721 126808 | 2147483647 127589 177 | 0.000 % |
90.92/91.03 c | 128643 | 9733 41721 126808 | 2147483647 128643 177 | 0.000 % |
92.02/92.19 c | 129801 | 9733 41721 126808 | 2147483647 129801 177 | 0.000 % |
93.32/93.49 c | 131075 | 9733 41721 126808 | 2147483647 131075 177 | 0.000 % |
94.92/95.01 c | 132475 | 9733 41721 126808 | 2147483647 132475 177 | 0.000 % |
95.02/95.12 c | 132575 | 9733 41721 126808 | 2147483647 132575 177 | 0.000 % |
95.12/95.27 c | 132687 | 9733 41721 126808 | 2147483647 132687 177 | 0.000 % |
95.32/95.42 c | 132808 | 9733 41721 126808 | 2147483647 132808 177 | 0.000 % |
95.42/95.59 c | 132942 | 9733 41721 126808 | 2147483647 132942 177 | 0.000 % |
95.62/95.76 c | 133088 | 9733 41721 126808 | 2147483647 133088 177 | 0.000 % |
95.82/95.97 c | 133248 | 9733 41721 126808 | 2147483647 133248 177 | 0.000 % |
96.02/96.18 c | 133425 | 9733 41721 126808 | 2147483647 133425 177 | 0.000 % |
96.22/96.40 c | 133619 | 9733 41721 126808 | 2147483647 133619 177 | 0.000 % |
96.52/96.65 c | 133831 | 9733 41721 126808 | 2147483647 133831 177 | 0.000 % |
96.82/96.90 c | 134065 | 9733 41721 126808 | 2147483647 134065 177 | 0.000 % |
97.12/97.24 c | 134322 | 9733 41721 126808 | 2147483647 134322 177 | 0.000 % |
97.42/97.54 c | 134603 | 9733 41721 126808 | 2147483647 134603 177 | 0.000 % |
97.72/97.89 c | 134914 | 9733 41721 126808 | 2147483647 134914 177 | 0.000 % |
98.12/98.28 c | 135253 | 9733 41721 126808 | 2147483647 135253 177 | 0.000 % |
98.62/98.72 c | 135628 | 9733 41721 126808 | 2147483647 135628 177 | 0.000 % |
99.02/99.19 c | 136037 | 9733 41721 126808 | 2147483647 136037 177 | 0.000 % |
99.62/99.73 c | 136487 | 9733 41721 126808 | 2147483647 136487 177 | 0.000 % |
100.21/100.32 c | 136982 | 9733 41721 126808 | 2147483647 136982 177 | 0.000 % |
100.82/100.96 c | 137528 | 9733 41721 126808 | 2147483647 137528 177 | 0.000 % |
101.51/101.69 c | 138124 | 9733 41721 126808 | 2147483647 138124 177 | 0.000 % |
102.31/102.43 c | 138779 | 9733 41721 126808 | 2147483647 138779 177 | 0.000 % |
103.11/103.21 c | 139499 | 9733 41721 126808 | 2147483647 139499 177 | 0.000 % |
104.02/104.13 c | 140291 | 9733 41721 126808 | 2147483647 140291 177 | 0.000 % |
105.02/105.11 c | 141162 | 9733 41721 126808 | 2147483647 141162 178 | 0.000 % |
106.11/106.24 c | 142121 | 9733 41721 126808 | 2147483647 142121 178 | 0.000 % |
107.31/107.44 c | 143174 | 9733 41721 126808 | 2147483647 143174 178 | 0.000 % |
108.51/108.69 c | 144332 | 9733 41721 126808 | 2147483647 144332 178 | 0.000 % |
109.92/110.09 c | 145606 | 9733 41721 126808 | 2147483647 145606 178 | 0.000 % |
111.52/111.63 c | 147007 | 9733 41721 126808 | 2147483647 147007 178 | 0.000 % |
113.31/113.42 c | 148548 | 9733 41721 126808 | 2147483647 148548 178 | 0.000 % |
113.41/113.56 c | 148648 | 9733 41721 126808 | 2147483647 148648 178 | 0.000 % |
113.61/113.71 c | 148759 | 9733 41721 126808 | 2147483647 148759 178 | 0.000 % |
113.71/113.86 c | 148880 | 9733 41721 126808 | 2147483647 148880 178 | 0.000 % |
113.91/114.05 c | 149013 | 9733 41721 126808 | 2147483647 149013 178 | 0.000 % |
114.11/114.26 c | 149162 | 9733 41721 126808 | 2147483647 149162 178 | 0.000 % |
114.32/114.47 c | 149324 | 9733 41721 126808 | 2147483647 149324 178 | 0.000 % |
114.61/114.72 c | 149500 | 9733 41721 126808 | 2147483647 149500 178 | 0.000 % |
114.91/115.02 c | 149693 | 9733 41721 126808 | 2147483647 149693 178 | 0.000 % |
115.11/115.27 c | 149905 | 9733 41721 126808 | 2147483647 149905 178 | 0.000 % |
115.41/115.58 c | 150139 | 9733 41721 126808 | 2147483647 150139 178 | 0.000 % |
115.81/115.93 c | 150395 | 9733 41721 126808 | 2147483647 150395 178 | 0.000 % |
116.11/116.28 c | 150676 | 9733 41721 126808 | 2147483647 150676 178 | 0.000 % |
116.51/116.63 c | 150985 | 9733 41721 126808 | 2147483647 150985 178 | 0.000 % |
116.91/117.08 c | 151324 | 9733 41721 126808 | 2147483647 151324 178 | 0.000 % |
117.41/117.55 c | 151697 | 9733 41721 126808 | 2147483647 151697 178 | 0.000 % |
117.91/118.04 c | 152106 | 9733 41721 126808 | 2147483647 152106 178 | 0.000 % |
118.41/118.59 c | 152555 | 9733 41721 126808 | 2147483647 152555 178 | 0.000 % |
119.11/119.23 c | 153049 | 9733 41721 126808 | 2147483647 153049 178 | 0.000 % |
119.81/119.91 c | 153593 | 9733 41721 126808 | 2147483647 153593 178 | 0.000 % |
120.51/120.63 c | 154190 | 9733 41721 126808 | 2147483647 154190 178 | 0.000 % |
121.31/121.40 c | 154845 | 9733 41721 126808 | 2147483647 154845 178 | 0.000 % |
122.10/122.22 c | 155566 | 9733 41721 126808 | 2147483647 155566 178 | 0.000 % |
123.01/123.15 c | 156358 | 9733 41721 126808 | 2147483647 156358 178 | 0.000 % |
124.01/124.20 c | 157229 | 9733 41721 126808 | 2147483647 157229 178 | 0.000 % |
125.11/125.27 c | 158187 | 9733 41721 126808 | 2147483647 158187 178 | 0.000 % |
126.41/126.52 c | 159243 | 9733 41721 126808 | 2147483647 159243 178 | 0.000 % |
127.71/127.88 c | 160402 | 9733 41721 126808 | 2147483647 160402 179 | 0.000 % |
129.20/129.38 c | 161677 | 9733 41721 126808 | 2147483647 161677 179 | 0.000 % |
130.80/130.99 c | 163077 | 9733 41721 126808 | 2147483647 163077 179 | 0.000 % |
132.80/132.92 c | 164618 | 9733 41721 126808 | 2147483647 164618 179 | 0.000 % |
134.70/134.87 c | 166314 | 9733 41721 126808 | 2147483647 166314 180 | 0.000 % |
134.90/135.00 c | 166414 | 9733 41721 126808 | 2147483647 166414 180 | 0.000 % |
135.00/135.17 c | 166524 | 9733 41721 126808 | 2147483647 166524 180 | 0.000 % |
135.20/135.34 c | 166645 | 9733 41721 126808 | 2147483647 166645 180 | 0.000 % |
135.40/135.53 c | 166778 | 9733 41721 126808 | 2147483647 166778 180 | 0.000 % |
135.61/135.76 c | 166925 | 9733 41721 126808 | 2147483647 166925 180 | 0.000 % |
135.90/136.01 c | 167088 | 9733 41721 126808 | 2147483647 167088 180 | 0.000 % |
136.10/136.27 c | 167267 | 9733 41721 126808 | 2147483647 167267 180 | 0.000 % |
136.40/136.54 c | 167462 | 9733 41721 126808 | 2147483647 167462 180 | 0.000 % |
136.70/136.87 c | 167674 | 9733 41721 126808 | 2147483647 167674 180 | 0.000 % |
137.00/137.19 c | 167907 | 9733 41721 126808 | 2147483647 167907 180 | 0.000 % |
137.41/137.53 c | 168163 | 9733 41721 126808 | 2147483647 168163 180 | 0.000 % |
137.70/137.89 c | 168444 | 9733 41721 126808 | 2147483647 168444 180 | 0.000 % |
138.20/138.33 c | 168754 | 9733 41721 126808 | 2147483647 168754 180 | 0.000 % |
138.60/138.77 c | 169093 | 9733 41721 126808 | 2147483647 169093 180 | 0.000 % |
139.10/139.29 c | 169466 | 9733 41721 126808 | 2147483647 169466 180 | 0.000 % |
139.60/139.79 c | 169875 | 9733 41721 126808 | 2147483647 169875 180 | 0.000 % |
140.20/140.38 c | 170325 | 9733 41721 126808 | 2147483647 170325 180 | 0.000 % |
140.90/141.01 c | 170821 | 9733 41721 126808 | 2147483647 170821 180 | 0.000 % |
141.60/141.70 c | 171363 | 9733 41721 126808 | 2147483647 171363 180 | 0.000 % |
142.40/142.50 c | 171960 | 9733 41721 126808 | 2147483647 171960 180 | 0.000 % |
143.20/143.37 c | 172616 | 9733 41721 126808 | 2147483647 172616 180 | 0.000 % |
144.10/144.27 c | 173337 | 9733 41721 126808 | 2147483647 173337 180 | 0.000 % |
145.19/145.32 c | 174130 | 9733 41721 126808 | 2147483647 174130 180 | 0.000 % |
146.30/146.47 c | 175001 | 9733 41721 126808 | 2147483647 175001 180 | 0.000 % |
147.50/147.69 c | 175960 | 9733 41721 126808 | 2147483647 175960 180 | 0.000 % |
148.89/149.00 c | 177014 | 9733 41721 126808 | 2147483647 177014 180 | 0.000 % |
150.39/150.58 c | 178172 | 9733 41721 126808 | 2147483647 178172 180 | 0.000 % |
151.99/152.16 c | 179446 | 9733 41721 126808 | 2147483647 179446 180 | 0.000 % |
153.80/153.95 c | 180847 | 9733 41721 126808 | 2147483647 180847 180 | 0.000 % |
155.79/155.99 c | 182388 | 9733 41721 126808 | 2147483647 182388 180 | 0.000 % |
157.99/158.14 c | 184083 | 9733 41721 126808 | 2147483647 184083 180 | 0.000 % |
160.50/160.63 c | 185946 | 9733 41721 126808 | 2147483647 185946 181 | 0.000 % |
160.69/160.80 c | 186047 | 9733 41721 126808 | 2147483647 186047 181 | 0.000 % |
160.89/161.02 c | 186159 | 9733 41721 126808 | 2147483647 186159 181 | 0.000 % |
161.09/161.24 c | 186280 | 9733 41721 126808 | 2147483647 186280 181 | 0.000 % |
161.29/161.44 c | 186415 | 9733 41721 126808 | 2147483647 186415 181 | 0.000 % |
161.60/161.71 c | 186566 | 9733 41721 126808 | 2147483647 186566 181 | 0.000 % |
161.89/162.00 c | 186730 | 9733 41721 126808 | 2147483647 186730 181 | 0.000 % |
162.09/162.26 c | 186906 | 9733 41721 126808 | 2147483647 186906 181 | 0.000 % |
162.39/162.59 c | 187099 | 9733 41721 126808 | 2147483647 187099 181 | 0.000 % |
162.79/162.97 c | 187311 | 9733 41721 126808 | 2147483647 187311 181 | 0.000 % |
163.19/163.34 c | 187546 | 9733 41721 126808 | 2147483647 187546 181 | 0.000 % |
163.59/163.72 c | 187803 | 9733 41721 126808 | 2147483647 187803 181 | 0.000 % |
163.99/164.16 c | 188084 | 9733 41721 126808 | 2147483647 188084 181 | 0.000 % |
164.49/164.62 c | 188395 | 9733 41721 126808 | 2147483647 188395 181 | 0.000 % |
164.90/165.05 c | 188734 | 9733 41721 126808 | 2147483647 188734 181 | 0.000 % |
165.49/165.65 c | 189106 | 9733 41721 126808 | 2147483647 189106 181 | 0.000 % |
166.09/166.27 c | 189516 | 9733 41721 126808 | 2147483647 189516 181 | 0.000 % |
166.79/166.99 c | 189965 | 9733 41721 126808 | 2147483647 189965 181 | 0.000 % |
167.59/167.72 c | 190458 | 9733 41721 126808 | 2147483647 190458 180 | 0.000 % |
168.29/168.42 c | 191002 | 9733 41721 126808 | 2147483647 191002 181 | 0.000 % |
169.19/169.30 c | 191599 | 9733 41721 126808 | 2147483647 191599 181 | 0.000 % |
170.09/170.25 c | 192255 | 9733 41721 126808 | 2147483647 192255 181 | 0.000 % |
171.09/171.22 c | 192975 | 9733 41721 126808 | 2147483647 192975 181 | 0.000 % |
172.18/172.35 c | 193770 | 9733 41721 126808 | 2147483647 193770 181 | 0.000 % |
173.39/173.54 c | 194641 | 9733 41721 126808 | 2147483647 194641 181 | 0.000 % |
174.69/174.83 c | 195599 | 9733 41721 126808 | 2147483647 195599 181 | 0.000 % |
176.09/176.26 c | 196652 | 9733 41721 126808 | 2147483647 196652 181 | 0.000 % |
177.68/177.86 c | 197811 | 9733 41721 126808 | 2147483647 197811 181 | 0.000 % |
179.39/179.54 c | 199085 | 9733 41721 126808 | 2147483647 199085 181 | 0.000 % |
181.39/181.50 c | 200485 | 9733 41721 126808 | 2147483647 200485 181 | 0.000 % |
183.59/183.72 c | 202025 | 9733 41721 126808 | 2147483647 202025 181 | 0.000 % |
186.08/186.20 c | 203719 | 9733 41721 126808 | 2147483647 203719 182 | 0.000 % |
188.48/188.70 c | 205584 | 9733 41721 126808 | 2147483647 205584 182 | 0.000 % |
191.38/191.51 c | 207635 | 9733 41721 126808 | 2147483647 207635 182 | 0.000 % |
191.48/191.67 c | 207736 | 9733 41721 126808 | 2147483647 207736 182 | 0.000 % |
191.68/191.86 c | 207847 | 9733 41721 126808 | 2147483647 207847 182 | 0.000 % |
191.88/192.07 c | 207968 | 9733 41721 126808 | 2147483647 207968 182 | 0.000 % |
192.18/192.32 c | 208101 | 9733 41721 126808 | 2147483647 208101 182 | 0.000 % |
192.39/192.58 c | 208250 | 9733 41721 126808 | 2147483647 208250 182 | 0.000 % |
192.68/192.88 c | 208410 | 9733 41721 126808 | 2147483647 208410 182 | 0.000 % |
193.08/193.23 c | 208586 | 9733 41721 126808 | 2147483647 208586 182 | 0.000 % |
193.38/193.57 c | 208779 | 9733 41721 126808 | 2147483647 208779 182 | 0.000 % |
193.78/193.94 c | 208992 | 9733 41721 126808 | 2147483647 208992 182 | 0.000 % |
194.18/194.34 c | 209225 | 9733 41721 126808 | 2147483647 209225 182 | 0.000 % |
194.48/194.69 c | 209481 | 9733 41721 126808 | 2147483647 209481 182 | 0.000 % |
194.98/195.12 c | 209762 | 9733 41721 126808 | 2147483647 209762 182 | 0.000 % |
195.38/195.59 c | 210071 | 9733 41721 126808 | 2147483647 210071 182 | 0.000 % |
195.98/196.13 c | 210410 | 9733 41721 126808 | 2147483647 210410 181 | 0.000 % |
196.48/196.66 c | 210783 | 9733 41721 126808 | 2147483647 210783 182 | 0.000 % |
197.18/197.31 c | 211192 | 9733 41721 126808 | 2147483647 211192 182 | 0.000 % |
197.78/197.98 c | 211642 | 9733 41721 126808 | 2147483647 211642 182 | 0.000 % |
198.58/198.72 c | 212135 | 9733 41721 126808 | 2147483647 212135 182 | 0.000 % |
199.38/199.50 c | 212677 | 9733 41721 126808 | 2147483647 212677 182 | 0.000 % |
200.18/200.34 c | 213273 | 9733 41721 126808 | 2147483647 213273 182 | 0.000 % |
201.08/201.26 c | 213929 | 9733 41721 126808 | 2147483647 213929 182 | 0.000 % |
202.08/202.22 c | 214649 | 9733 41721 126808 | 2147483647 214649 182 | 0.000 % |
203.17/203.40 c | 215442 | 9733 41721 126808 | 2147483647 215442 182 | 0.000 % |
204.58/204.74 c | 216313 | 9733 41721 126808 | 2147483647 216313 182 | 0.000 % |
205.88/206.08 c | 217272 | 9733 41721 126808 | 2147483647 217272 182 | 0.000 % |
207.47/207.64 c | 218327 | 9733 41721 126808 | 2147483647 218327 182 | 0.000 % |
209.27/209.47 c | 219485 | 9733 41721 126808 | 2147483647 219485 182 | 0.000 % |
211.18/211.39 c | 220758 | 9733 41721 126808 | 2147483647 220758 182 | 0.000 % |
213.38/213.50 c | 222158 | 9733 41721 126808 | 2147483647 222158 182 | 0.000 % |
215.78/215.93 c | 223698 | 9733 41721 126808 | 2147483647 223698 182 | 0.000 % |
218.27/218.42 c | 225393 | 9733 41721 126808 | 2147483647 225393 182 | 0.000 % |
221.18/221.34 c | 227259 | 9733 41721 126808 | 2147483647 227259 182 | 0.000 % |
224.37/224.52 c | 229308 | 9733 41721 126808 | 2147483647 229308 183 | 0.000 % |
227.67/227.84 c | 231561 | 9733 41721 126808 | 2147483647 231561 183 | 0.000 % |
227.87/228.07 c | 231662 | 9733 41721 126808 | 2147483647 231662 183 | 0.000 % |
228.07/228.27 c | 231773 | 9733 41721 126808 | 2147483647 231773 183 | 0.000 % |
228.37/228.53 c | 231896 | 9733 41721 126808 | 2147483647 231896 183 | 0.000 % |
228.57/228.78 c | 232029 | 9733 41721 126808 | 2147483647 232029 183 | 0.000 % |
228.87/229.08 c | 232175 | 9733 41721 126808 | 2147483647 232175 183 | 0.000 % |
229.16/229.37 c | 232335 | 9733 41721 126808 | 2147483647 232335 183 | 0.000 % |
229.46/229.66 c | 232511 | 9733 41721 126808 | 2147483647 232511 183 | 0.000 % |
229.86/230.08 c | 232704 | 9733 41721 126808 | 2147483647 232704 183 | 0.000 % |
230.36/230.51 c | 232917 | 9733 41721 126808 | 2147483647 232917 183 | 0.000 % |
230.77/230.92 c | 233151 | 9733 41721 126808 | 2147483647 233151 183 | 0.000 % |
231.16/231.39 c | 233407 | 9733 41721 126808 | 2147483647 233407 182 | 0.000 % |
231.76/231.91 c | 233688 | 9733 41721 126808 | 2147483647 233688 182 | 0.000 % |
232.27/232.43 c | 233998 | 9733 41721 126808 | 2147483647 233998 182 | 0.000 % |
232.86/233.01 c | 234338 | 9733 41721 126808 | 2147483647 234338 182 | 0.000 % |
233.46/233.61 c | 234710 | 9733 41721 126808 | 2147483647 234710 182 | 0.000 % |
234.07/234.28 c | 235119 | 9733 41721 126808 | 2147483647 235119 182 | 0.000 % |
234.86/235.06 c | 235568 | 9733 41721 126808 | 2147483647 235568 182 | 0.000 % |
235.76/235.95 c | 236061 | 9733 41721 126808 | 2147483647 236061 183 | 0.000 % |
236.77/236.95 c | 236603 | 9733 41721 126808 | 2147483647 236603 183 | 0.000 % |
237.77/237.93 c | 237200 | 9733 41721 126808 | 2147483647 237200 183 | 0.000 % |
238.76/238.94 c | 237857 | 9733 41721 126808 | 2147483647 237857 183 | 0.000 % |
239.96/240.10 c | 238577 | 9733 41721 126808 | 2147483647 238577 183 | 0.000 % |
241.16/241.34 c | 239371 | 9733 41721 126808 | 2147483647 239371 183 | 0.000 % |
242.57/242.70 c | 240242 | 9733 41721 126808 | 2147483647 240242 183 | 0.000 % |
244.16/244.34 c | 241201 | 9733 41721 126808 | 2147483647 241201 183 | 0.000 % |
245.86/246.03 c | 242254 | 9733 41721 126808 | 2147483647 242254 183 | 0.000 % |
247.66/247.88 c | 243413 | 9733 41721 126808 | 2147483647 243413 183 | 0.000 % |
249.67/249.80 c | 244687 | 9733 41721 126808 | 2147483647 244687 183 | 0.000 % |
251.77/251.94 c | 246087 | 9733 41721 126808 | 2147483647 246087 183 | 0.000 % |
254.46/254.67 c | 247627 | 9733 41721 126808 | 2147483647 247627 183 | 0.000 % |
257.17/257.37 c | 249322 | 9733 41721 126808 | 2147483647 249322 183 | 0.000 % |
260.26/260.40 c | 251186 | 9733 41721 126808 | 2147483647 251186 184 | 0.000 % |
263.76/263.96 c | 253235 | 9733 41721 126808 | 2147483647 253235 184 | 0.000 % |
267.46/267.62 c | 255488 | 9733 41721 126808 | 2147483647 255488 185 | 0.000 % |
271.46/271.68 c | 257967 | 9733 41721 126808 | 2147483647 257967 185 | 0.000 % |
271.65/271.87 c | 258067 | 9733 41721 126808 | 2147483647 258067 185 | 0.000 % |
271.95/272.14 c | 258177 | 9733 41721 126808 | 2147483647 258177 185 | 0.000 % |
272.25/272.40 c | 258301 | 9733 41721 126808 | 2147483647 258301 185 | 0.000 % |
272.46/272.65 c | 258434 | 9733 41721 126808 | 2147483647 258434 185 | 0.000 % |
272.76/272.96 c | 258580 | 9733 41721 126808 | 2147483647 258580 185 | 0.000 % |
273.16/273.35 c | 258740 | 9733 41721 126808 | 2147483647 258740 185 | 0.000 % |
273.56/273.70 c | 258917 | 9733 41721 126808 | 2147483647 258917 185 | 0.000 % |
273.96/274.13 c | 259110 | 9733 41721 126808 | 2147483647 259110 185 | 0.000 % |
274.36/274.55 c | 259323 | 9733 41721 126808 | 2147483647 259323 185 | 0.000 % |
274.86/275.01 c | 259557 | 9733 41721 126808 | 2147483647 259557 185 | 0.000 % |
275.36/275.53 c | 259813 | 9733 41721 126808 | 2147483647 259813 185 | 0.000 % |
275.86/276.08 c | 260096 | 9733 41721 126808 | 2147483647 260096 185 | 0.000 % |
276.56/276.77 c | 260405 | 9733 41721 126808 | 2147483647 260405 185 | 0.000 % |
277.25/277.47 c | 260744 | 9733 41721 126808 | 2147483647 260744 185 | 0.000 % |
278.06/278.22 c | 261117 | 9733 41721 126808 | 2147483647 261117 185 | 0.000 % |
278.75/278.98 c | 261527 | 9733 41721 126808 | 2147483647 261527 185 | 0.000 % |
279.65/279.85 c | 261976 | 9733 41721 126808 | 2147483647 261976 185 | 0.000 % |
280.66/280.82 c | 262469 | 9733 41721 126808 | 2147483647 262469 185 | 0.000 % |
281.66/281.86 c | 263013 | 9733 41721 126808 | 2147483647 263013 185 | 0.000 % |
282.65/282.86 c | 263610 | 9733 41721 126808 | 2147483647 263610 185 | 0.000 % |
283.95/284.12 c | 264268 | 9733 41721 126808 | 2147483647 264268 185 | 0.000 % |
285.15/285.37 c | 264988 | 9733 41721 126808 | 2147483647 264988 185 | 0.000 % |
286.55/286.79 c | 265780 | 9733 41721 126808 | 2147483647 265780 185 | 0.000 % |
288.15/288.34 c | 266653 | 9733 41721 126808 | 2147483647 266653 185 | 0.000 % |
289.95/290.10 c | 267611 | 9733 41721 126808 | 2147483647 267611 185 | 0.000 % |
291.74/291.99 c | 268665 | 9733 41721 126808 | 2147483647 268665 185 | 0.000 % |
293.74/293.92 c | 269825 | 9733 41721 126808 | 2147483647 269825 185 | 0.000 % |
295.95/296.14 c | 271100 | 9733 41721 126808 | 2147483647 271100 185 | 0.000 % |
298.35/298.59 c | 272500 | 9733 41721 126808 | 2147483647 272500 185 | 0.000 % |
301.15/301.35 c | 274041 | 9733 41721 126808 | 2147483647 274041 185 | 0.000 % |
304.14/304.39 c | 275735 | 9733 41721 126808 | 2147483647 275735 185 | 0.000 % |
307.35/307.57 c | 277598 | 9733 41721 126808 | 2147483647 277598 185 | 0.000 % |
311.14/311.37 c | 279648 | 9733 41721 126808 | 2147483647 279648 186 | 0.000 % |
315.24/315.46 c | 281901 | 9733 41721 126808 | 2147483647 281901 186 | 0.000 % |
319.84/320.03 c | 284379 | 9733 41721 126808 | 2147483647 284379 186 | 0.000 % |
324.54/324.74 c | 287105 | 9733 41721 126808 | 2147483647 287105 186 | 0.000 % |
324.74/325.00 c | 287206 | 9733 41721 126808 | 2147483647 287206 186 | 0.000 % |
325.04/325.22 c | 287316 | 9733 41721 126808 | 2147483647 287316 186 | 0.000 % |
325.34/325.51 c | 287441 | 9733 41721 126808 | 2147483647 287441 186 | 0.000 % |
325.64/325.80 c | 287575 | 9733 41721 126808 | 2147483647 287575 186 | 0.000 % |
325.94/326.16 c | 287722 | 9733 41721 126808 | 2147483647 287722 186 | 0.000 % |
326.34/326.53 c | 287882 | 9733 41721 126808 | 2147483647 287882 186 | 0.000 % |
326.64/326.88 c | 288058 | 9733 41721 126808 | 2147483647 288058 186 | 0.000 % |
327.14/327.32 c | 288252 | 9733 41721 126808 | 2147483647 288252 186 | 0.000 % |
327.64/327.80 c | 288465 | 9733 41721 126808 | 2147483647 288465 186 | 0.000 % |
328.03/328.27 c | 288698 | 9733 41721 126808 | 2147483647 288698 186 | 0.000 % |
328.64/328.85 c | 288954 | 9733 41721 126808 | 2147483647 288954 186 | 0.000 % |
329.23/329.44 c | 289236 | 9733 41721 126808 | 2147483647 289236 186 | 0.000 % |
329.83/330.07 c | 289545 | 9733 41721 126808 | 2147483647 289545 186 | 0.000 % |
330.64/330.88 c | 289884 | 9733 41721 126808 | 2147483647 289884 186 | 0.000 % |
331.34/331.59 c | 290256 | 9733 41721 126808 | 2147483647 290256 186 | 0.000 % |
332.24/332.44 c | 290665 | 9733 41721 126808 | 2147483647 290665 186 | 0.000 % |
333.14/333.34 c | 291114 | 9733 41721 126808 | 2147483647 291114 186 | 0.000 % |
334.03/334.28 c | 291608 | 9733 41721 126808 | 2147483647 291608 186 | 0.000 % |
335.03/335.29 c | 292150 | 9733 41721 126808 | 2147483647 292150 186 | 0.000 % |
336.23/336.43 c | 292747 | 9733 41721 126808 | 2147483647 292747 186 | 0.000 % |
337.63/337.80 c | 293404 | 9733 41721 126808 | 2147483647 293404 186 | 0.000 % |
338.93/339.14 c | 294125 | 9733 41721 126808 | 2147483647 294125 186 | 0.000 % |
340.44/340.66 c | 294917 | 9733 41721 126808 | 2147483647 294917 186 | 0.000 % |
342.23/342.41 c | 295788 | 9733 41721 126808 | 2147483647 295788 186 | 0.000 % |
344.04/344.25 c | 296746 | 9733 41721 126808 | 2147483647 296746 186 | 0.000 % |
346.13/346.30 c | 297799 | 9733 41721 126808 | 2147483647 297799 186 | 0.000 % |
348.33/348.59 c | 298959 | 9733 41721 126808 | 2147483647 298959 186 | 0.000 % |
350.73/350.98 c | 300233 | 9733 41721 126808 | 2147483647 300233 186 | 0.000 % |
353.33/353.58 c | 301633 | 9733 41721 126808 | 2147483647 301633 186 | 0.000 % |
356.43/356.61 c | 303175 | 9733 41721 126808 | 2147483647 303175 186 | 0.000 % |
359.53/359.73 c | 304873 | 9733 41721 126808 | 2147483647 304873 187 | 0.000 % |
363.12/363.33 c | 306739 | 9733 41721 126808 | 2147483647 306739 187 | 0.000 % |
366.93/367.16 c | 308788 | 9733 41721 126808 | 2147483647 308788 187 | 0.000 % |
371.12/371.31 c | 311041 | 9733 41721 126808 | 2147483647 311041 187 | 0.000 % |
376.03/376.29 c | 313519 | 9733 41721 126808 | 2147483647 313519 187 | 0.000 % |
381.52/381.79 c | 316244 | 9733 41721 126808 | 2147483647 316244 188 | 0.000 % |
387.42/387.63 c | 319241 | 9733 41721 126808 | 2147483647 319241 188 | 0.000 % |
387.62/387.83 c | 319341 | 9733 41721 126808 | 2147483647 319341 188 | 0.000 % |
387.92/388.11 c | 319453 | 9733 41721 126808 | 2147483647 319453 188 | 0.000 % |
388.22/388.41 c | 319574 | 9733 41721 126808 | 2147483647 319574 188 | 0.000 % |
388.62/388.80 c | 319707 | 9733 41721 126808 | 2147483647 319707 188 | 0.000 % |
388.92/389.19 c | 319853 | 9733 41721 126808 | 2147483647 319853 188 | 0.000 % |
389.31/389.59 c | 320016 | 9733 41721 126808 | 2147483647 320016 188 | 0.000 % |
389.81/390.05 c | 320193 | 9733 41721 126808 | 2147483647 320193 188 | 0.000 % |
390.32/390.52 c | 320386 | 9733 41721 126808 | 2147483647 320386 188 | 0.000 % |
390.71/390.98 c | 320599 | 9733 41721 126808 | 2147483647 320599 188 | 0.000 % |
391.31/391.56 c | 320832 | 9733 41721 126808 | 2147483647 320832 188 | 0.000 % |
391.92/392.16 c | 321090 | 9733 41721 126808 | 2147483647 321090 188 | 0.000 % |
392.61/392.86 c | 321372 | 9733 41721 126808 | 2147483647 321372 188 | 0.000 % |
393.41/393.62 c | 321683 | 9733 41721 126808 | 2147483647 321683 188 | 0.000 % |
394.21/394.47 c | 322023 | 9733 41721 126808 | 2147483647 322023 188 | 0.000 % |
395.11/395.36 c | 322396 | 9733 41721 126808 | 2147483647 322396 188 | 0.000 % |
396.01/396.26 c | 322805 | 9733 41721 126808 | 2147483647 322805 188 | 0.000 % |
397.01/397.25 c | 323257 | 9733 41721 126808 | 2147483647 323257 188 | 0.000 % |
398.10/398.34 c | 323751 | 9733 41721 126808 | 2147483647 323751 188 | 0.000 % |
399.31/399.54 c | 324295 | 9733 41721 126808 | 2147483647 324295 188 | 0.000 % |
400.61/400.83 c | 324892 | 9733 41721 126808 | 2147483647 324892 188 | 0.000 % |
402.01/402.21 c | 325547 | 9733 41721 126808 | 2147483647 325547 188 | 0.000 % |
403.61/403.87 c | 326267 | 9733 41721 126808 | 2147483647 326267 188 | 0.000 % |
405.41/405.69 c | 327060 | 9733 41721 126808 | 2147483647 327060 188 | 0.000 % |
407.31/407.51 c | 327932 | 9733 41721 126808 | 2147483647 327932 188 | 0.000 % |
409.40/409.60 c | 328890 | 9733 41721 126808 | 2147483647 328890 188 | 0.000 % |
411.71/411.92 c | 329943 | 9733 41721 126808 | 2147483647 329943 188 | 0.000 % |
414.11/414.35 c | 331102 | 9733 41721 126808 | 2147483647 331102 188 | 0.000 % |
417.00/417.22 c | 332376 | 9733 41721 126808 | 2147483647 332376 188 | 0.000 % |
419.81/420.05 c | 333777 | 9733 41721 126808 | 2147483647 333777 188 | 0.000 % |
422.80/423.07 c | 335320 | 9733 41721 126808 | 2147483647 335320 188 | 0.000 % |
426.20/426.41 c | 337014 | 9733 41721 126808 | 2147483647 337014 188 | 0.000 % |
430.00/430.25 c | 338880 | 9733 41721 126808 | 2147483647 338880 188 | 0.000 % |
433.80/434.07 c | 340930 | 9733 41721 126808 | 2147483647 340930 189 | 0.000 % |
438.30/438.58 c | 343184 | 9733 41721 126808 | 2147483647 343184 189 | 0.000 % |
443.50/443.77 c | 345662 | 9733 41721 126808 | 2147483647 345662 189 | 0.000 % |
449.00/449.22 c | 348389 | 9733 41721 126808 | 2147483647 348389 189 | 0.000 % |
454.80/455.01 c | 351386 | 9733 41721 126808 | 2147483647 351386 190 | 0.000 % |
461.19/461.49 c | 354682 | 9733 41721 126808 | 2147483647 354682 190 | 0.000 % |
461.49/461.70 c | 354782 | 9733 41721 126808 | 2147483647 354782 190 | 0.000 % |
461.79/462.01 c | 354892 | 9733 41721 126808 | 2147483647 354892 190 | 0.000 % |
462.09/462.34 c | 355014 | 9733 41721 126808 | 2147483647 355014 190 | 0.000 % |
462.59/462.82 c | 355147 | 9733 41721 126808 | 2147483647 355147 190 | 0.000 % |
462.99/463.25 c | 355297 | 9733 41721 126808 | 2147483647 355297 190 | 0.000 % |
463.49/463.70 c | 355457 | 9733 41721 126808 | 2147483647 355457 190 | 0.000 % |
463.89/464.16 c | 355633 | 9733 41721 126808 | 2147483647 355633 190 | 0.000 % |
464.29/464.59 c | 355826 | 9733 41721 126808 | 2147483647 355826 190 | 0.000 % |
464.89/465.18 c | 356038 | 9733 41721 126808 | 2147483647 356038 190 | 0.000 % |
465.60/465.85 c | 356274 | 9733 41721 126808 | 2147483647 356274 190 | 0.000 % |
466.30/466.55 c | 356531 | 9733 41721 126808 | 2147483647 356531 190 | 0.000 % |
467.10/467.31 c | 356813 | 9733 41721 126808 | 2147483647 356813 190 | 0.000 % |
467.89/468.11 c | 357124 | 9733 41721 126808 | 2147483647 357124 190 | 0.000 % |
468.69/468.91 c | 357464 | 9733 41721 126808 | 2147483647 357464 190 | 0.000 % |
469.59/469.87 c | 357836 | 9733 41721 126808 | 2147483647 357836 190 | 0.000 % |
470.69/470.90 c | 358246 | 9733 41721 126808 | 2147483647 358246 190 | 0.000 % |
471.79/472.00 c | 358697 | 9733 41721 126808 | 2147483647 358697 190 | 0.000 % |
472.89/473.12 c | 359191 | 9733 41721 126808 | 2147483647 359191 190 | 0.000 % |
474.09/474.36 c | 359734 | 9733 41721 126808 | 2147483647 359734 190 | 0.000 % |
475.39/475.65 c | 360331 | 9733 41721 126808 | 2147483647 360331 190 | 0.000 % |
476.99/477.26 c | 360988 | 9733 41721 126808 | 2147483647 360988 190 | 0.000 % |
478.69/478.94 c | 361708 | 9733 41721 126808 | 2147483647 361708 190 | 0.000 % |
480.39/480.64 c | 362500 | 9733 41721 126808 | 2147483647 362500 190 | 0.000 % |
482.49/482.77 c | 363373 | 9733 41721 126808 | 2147483647 363373 190 | 0.000 % |
484.59/484.88 c | 364331 | 9733 41721 126808 | 2147483647 364331 190 | 0.000 % |
486.78/487.09 c | 365384 | 9733 41721 126808 | 2147483647 365384 190 | 0.000 % |
489.29/489.59 c | 366544 | 9733 41721 126808 | 2147483647 366544 190 | 0.000 % |
492.38/492.63 c | 367819 | 9733 41721 126808 | 2147483647 367819 190 | 0.000 % |
495.49/495.73 c | 369219 | 9733 41721 126808 | 2147483647 369219 190 | 0.000 % |
498.58/498.85 c | 370760 | 9733 41721 126808 | 2147483647 370760 190 | 0.000 % |
502.18/502.42 c | 372454 | 9733 41721 126808 | 2147483647 372454 190 | 0.000 % |
506.38/506.61 c | 374317 | 9733 41721 126808 | 2147483647 374317 191 | 0.000 % |
510.48/510.79 c | 376366 | 9733 41721 126808 | 2147483647 376366 191 | 0.000 % |
515.38/515.62 c | 378620 | 9733 41721 126808 | 2147483647 378620 191 | 0.000 % |
520.58/520.85 c | 381098 | 9733 41721 126808 | 2147483647 381098 191 | 0.000 % |
527.07/527.33 c | 383824 | 9733 41721 126808 | 2147483647 383824 191 | 0.000 % |
533.67/533.93 c | 386823 | 9733 41721 126808 | 2147483647 386823 192 | 0.000 % |
541.07/541.36 c | 390121 | 9733 41721 126808 | 2147483647 390121 192 | 0.000 % |
549.37/549.62 c | 393747 | 9733 41721 126808 | 2147483647 393747 192 | 0.000 % |
549.67/549.95 c | 393848 | 9733 41721 126808 | 2147483647 393848 192 | 0.000 % |
549.97/550.24 c | 393960 | 9733 41721 126808 | 2147483647 393960 192 | 0.000 % |
550.37/550.68 c | 394082 | 9733 41721 126808 | 2147483647 394082 192 | 0.000 % |
550.87/551.13 c | 394216 | 9733 41721 126808 | 2147483647 394216 192 | 0.000 % |
551.37/551.61 c | 394362 | 9733 41721 126808 | 2147483647 394362 192 | 0.000 % |
551.87/552.12 c | 394522 | 9733 41721 126808 | 2147483647 394522 192 | 0.000 % |
552.37/552.65 c | 394700 | 9733 41721 126808 | 2147483647 394700 192 | 0.000 % |
552.87/553.20 c | 394896 | 9733 41721 126808 | 2147483647 394896 192 | 0.000 % |
553.57/553.88 c | 395110 | 9733 41721 126808 | 2147483647 395110 192 | 0.000 % |
554.27/554.56 c | 395344 | 9733 41721 126808 | 2147483647 395344 192 | 0.000 % |
555.06/555.31 c | 395600 | 9733 41721 126808 | 2147483647 395600 192 | 0.000 % |
555.86/556.11 c | 395881 | 9733 41721 126808 | 2147483647 395881 192 | 0.000 % |
556.66/556.95 c | 396191 | 9733 41721 126808 | 2147483647 396191 192 | 0.000 % |
557.66/557.96 c | 396530 | 9733 41721 126808 | 2147483647 396530 192 | 0.000 % |
558.76/559.03 c | 396902 | 9733 41721 126808 | 2147483647 396902 192 | 0.000 % |
559.86/560.10 c | 397315 | 9733 41721 126808 | 2147483647 397315 192 | 0.000 % |
561.07/561.31 c | 397764 | 9733 41721 126808 | 2147483647 397764 192 | 0.000 % |
562.37/562.65 c | 398257 | 9733 41721 126808 | 2147483647 398257 192 | 0.000 % |
563.86/564.17 c | 398800 | 9733 41721 126808 | 2147483647 398800 192 | 0.000 % |
565.56/565.80 c | 399398 | 9733 41721 126808 | 2147483647 399398 192 | 0.000 % |
567.26/567.50 c | 400054 | 9733 41721 126808 | 2147483647 400054 192 | 0.000 % |
569.07/569.32 c | 400774 | 9733 41721 126808 | 2147483647 400774 192 | 0.000 % |
571.07/571.32 c | 401568 | 9733 41721 126808 | 2147483647 401568 192 | 0.000 % |
573.26/573.51 c | 402443 | 9733 41721 126808 | 2147483647 402443 192 | 0.000 % |
575.46/575.79 c | 403401 | 9733 41721 126808 | 2147483647 403401 192 | 0.000 % |
578.06/578.38 c | 404454 | 9733 41721 126808 | 2147483647 404454 192 | 0.000 % |
580.96/581.22 c | 405612 | 9733 41721 126808 | 2147483647 405612 192 | 0.000 % |
584.16/584.43 c | 406885 | 9733 41721 126808 | 2147483647 406885 192 | 0.000 % |
587.56/587.81 c | 408286 | 9733 41721 126808 | 2147483647 408286 192 | 0.000 % |
591.56/591.83 c | 409826 | 9733 41721 126808 | 2147483647 409826 192 | 0.000 % |
595.55/595.82 c | 411520 | 9733 41721 126808 | 2147483647 411520 192 | 0.000 % |
600.26/600.53 c | 413384 | 9733 41721 126808 | 2147483647 413384 193 | 0.000 % |
605.36/605.67 c | 415434 | 9733 41721 126808 | 2147483647 415434 193 | 0.000 % |
610.85/611.18 c | 417687 | 9733 41721 126808 | 2147483647 417687 193 | 0.000 % |
616.76/617.05 c | 420166 | 9733 41721 126808 | 2147483647 420166 193 | 0.000 % |
623.45/623.78 c | 422892 | 9733 41721 126808 | 2147483647 422892 193 | 0.000 % |
630.55/630.89 c | 425890 | 9733 41721 126808 | 2147483647 425890 193 | 0.000 % |
638.45/638.72 c | 429186 | 9733 41721 126808 | 2147483647 429186 194 | 0.000 % |
647.84/648.18 c | 432812 | 9733 41721 126808 | 2147483647 432812 194 | 0.000 % |
657.94/658.22 c | 436799 | 9733 41721 126808 | 2147483647 436799 194 | 0.000 % |
658.24/658.57 c | 436899 | 9733 41721 126808 | 2147483647 436899 194 | 0.000 % |
658.64/658.98 c | 437009 | 9733 41721 126808 | 2147483647 437009 194 | 0.000 % |
659.14/659.48 c | 437131 | 9733 41721 126808 | 2147483647 437131 194 | 0.000 % |
659.64/659.94 c | 437265 | 9733 41721 126808 | 2147483647 437265 194 | 0.000 % |
660.14/660.46 c | 437412 | 9733 41721 126808 | 2147483647 437412 194 | 0.000 % |
660.64/660.96 c | 437572 | 9733 41721 126808 | 2147483647 437572 194 | 0.000 % |
661.34/661.68 c | 437748 | 9733 41721 126808 | 2147483647 437748 194 | 0.000 % |
662.04/662.34 c | 437942 | 9733 41721 126808 | 2147483647 437942 194 | 0.000 % |
662.74/663.00 c | 438154 | 9733 41721 126808 | 2147483647 438154 194 | 0.000 % |
663.44/663.76 c | 438387 | 9733 41721 126808 | 2147483647 438387 194 | 0.000 % |
664.23/664.55 c | 438643 | 9733 41721 126808 | 2147483647 438643 194 | 0.000 % |
665.03/665.37 c | 438925 | 9733 41721 126808 | 2147483647 438925 194 | 0.000 % |
666.03/666.30 c | 439234 | 9733 41721 126808 | 2147483647 439234 194 | 0.000 % |
667.03/667.31 c | 439573 | 9733 41721 126808 | 2147483647 439573 194 | 0.000 % |
668.23/668.55 c | 439947 | 9733 41721 126808 | 2147483647 439947 194 | 0.000 % |
669.43/669.74 c | 440356 | 9733 41721 126808 | 2147483647 440356 194 | 0.000 % |
670.73/671.05 c | 440805 | 9733 41721 126808 | 2147483647 440805 194 | 0.000 % |
672.04/672.33 c | 441300 | 9733 41721 126808 | 2147483647 441300 194 | 0.000 % |
673.64/673.94 c | 441842 | 9733 41721 126808 | 2147483647 441842 194 | 0.000 % |
675.34/675.63 c | 442442 | 9733 41721 126808 | 2147483647 442442 194 | 0.000 % |
677.24/677.52 c | 443097 | 9733 41721 126808 | 2147483647 443097 193 | 0.000 % |
679.44/679.78 c | 443818 | 9733 41721 126808 | 2147483647 443818 193 | 0.000 % |
681.53/681.90 c | 444611 | 9733 41721 126808 | 2147483647 444611 193 | 0.000 % |
683.93/684.27 c | 445482 | 9733 41721 126808 | 2147483647 445482 193 | 0.000 % |
686.52/686.86 c | 446441 | 9733 41721 126808 | 2147483647 446441 194 | 0.000 % |
689.34/689.66 c | 447494 | 9733 41721 126808 | 2147483647 447494 194 | 0.000 % |
692.63/692.92 c | 448652 | 9733 41721 126808 | 2147483647 448652 194 | 0.000 % |
695.83/696.14 c | 449925 | 9733 41721 126808 | 2147483647 449925 194 | 0.000 % |
699.53/699.89 c | 451326 | 9733 41721 126808 | 2147483647 451326 194 | 0.000 % |
703.53/703.89 c | 452867 | 9733 41721 126808 | 2147483647 452867 194 | 0.000 % |
707.82/708.14 c | 454561 | 9733 41721 126808 | 2147483647 454561 194 | 0.000 % |
713.02/713.33 c | 456424 | 9733 41721 126808 | 2147483647 456424 194 | 0.000 % |
718.62/718.95 c | 458474 | 9733 41721 126808 | 2147483647 458474 194 | 0.000 % |
724.32/724.63 c | 460729 | 9733 41721 126808 | 2147483647 460729 194 | 0.000 % |
731.01/731.34 c | 463207 | 9733 41721 126808 | 2147483647 463207 194 | 0.000 % |
738.82/739.15 c | 465932 | 9733 41721 126808 | 2147483647 465932 194 | 0.000 % |
747.12/747.40 c | 468929 | 9733 41721 126808 | 2147483647 468929 194 | 0.000 % |
755.91/756.23 c | 472225 | 9733 41721 126808 | 2147483647 472225 195 | 0.000 % |
764.91/765.28 c | 475850 | 9733 41721 126808 | 2147483647 475850 196 | 0.000 % |
774.81/775.10 c | 479837 | 9733 41721 126808 | 2147483647 479837 196 | 0.000 % |
786.40/786.77 c | 484224 | 9733 41721 126808 | 2147483647 484224 196 | 0.000 % |
786.80/787.11 c | 484324 | 9733 41721 126808 | 2147483647 484324 196 | 0.000 % |
787.20/787.54 c | 484436 | 9733 41721 126808 | 2147483647 484436 196 | 0.000 % |
787.60/787.96 c | 484557 | 9733 41721 126808 | 2147483647 484557 196 | 0.000 % |
788.10/788.49 c | 484693 | 9733 41721 126808 | 2147483647 484693 196 | 0.000 % |
788.70/789.05 c | 484840 | 9733 41721 126808 | 2147483647 484840 196 | 0.000 % |
789.30/789.66 c | 485000 | 9733 41721 126808 | 2147483647 485000 196 | 0.000 % |
790.00/790.32 c | 485179 | 9733 41721 126808 | 2147483647 485179 196 | 0.000 % |
790.60/790.93 c | 485375 | 9733 41721 126808 | 2147483647 485375 196 | 0.000 % |
791.30/791.61 c | 485588 | 9733 41721 126808 | 2147483647 485588 196 | 0.000 % |
792.10/792.47 c | 485822 | 9733 41721 126808 | 2147483647 485822 196 | 0.000 % |
793.11/793.42 c | 486081 | 9733 41721 126808 | 2147483647 486081 196 | 0.000 % |
794.11/794.49 c | 486362 | 9733 41721 126808 | 2147483647 486362 196 | 0.000 % |
795.20/795.53 c | 486673 | 9733 41721 126808 | 2147483647 486673 196 | 0.000 % |
796.30/796.64 c | 487013 | 9733 41721 126808 | 2147483647 487013 196 | 0.000 % |
797.50/797.89 c | 487385 | 9733 41721 126808 | 2147483647 487385 196 | 0.000 % |
798.80/799.20 c | 487796 | 9733 41721 126808 | 2147483647 487796 196 | 0.000 % |
800.40/800.71 c | 488246 | 9733 41721 126808 | 2147483647 488246 196 | 0.000 % |
801.79/802.18 c | 488740 | 9733 41721 126808 | 2147483647 488740 196 | 0.000 % |
803.49/803.80 c | 489282 | 9733 41721 126808 | 2147483647 489282 196 | 0.000 % |
805.39/805.76 c | 489878 | 9733 41721 126808 | 2147483647 489878 196 | 0.000 % |
807.39/807.71 c | 490536 | 9733 41721 126808 | 2147483647 490536 196 | 0.000 % |
809.79/810.13 c | 491258 | 9733 41721 126808 | 2147483647 491258 196 | 0.000 % |
812.19/812.56 c | 492050 | 9733 41721 126808 | 2147483647 492050 196 | 0.000 % |
814.99/815.37 c | 492922 | 9733 41721 126808 | 2147483647 492922 196 | 0.000 % |
817.89/818.29 c | 493882 | 9733 41721 126808 | 2147483647 493882 196 | 0.000 % |
821.09/821.42 c | 494935 | 9733 41721 126808 | 2147483647 494935 196 | 0.000 % |
824.59/824.91 c | 496094 | 9733 41721 126808 | 2147483647 496094 196 | 0.000 % |
828.48/828.80 c | 497369 | 9733 41721 126808 | 2147483647 497369 196 | 0.000 % |
832.48/832.89 c | 498770 | 9733 41721 126808 | 2147483647 498770 196 | 0.000 % |
836.89/837.26 c | 500310 | 9733 41721 126808 | 2147483647 500310 196 | 0.000 % |
841.78/842.17 c | 502004 | 9733 41721 126808 | 2147483647 502004 196 | 0.000 % |
847.98/848.33 c | 503868 | 9733 41721 126808 | 2147483647 503868 196 | 0.000 % |
854.39/854.78 c | 505917 | 9733 41721 126808 | 2147483647 505917 196 | 0.000 % |
860.88/861.23 c | 508172 | 9733 41721 126808 | 2147483647 508172 196 | 0.000 % |
867.59/867.90 c | 510650 | 9733 41721 126808 | 2147483647 510650 196 | 0.000 % |
875.07/875.46 c | 513375 | 9733 41721 126808 | 2147483647 513375 196 | 0.000 % |
883.98/884.31 c | 516372 | 9733 41721 126808 | 2147483647 516372 196 | 0.000 % |
893.57/893.98 c | 519670 | 9733 41721 126808 | 2147483647 519670 196 | 0.000 % |
903.67/904.05 c | 523295 | 9733 41721 126808 | 2147483647 523295 197 | 0.000 % |
914.87/915.25 c | 527285 | 9733 41721 126808 | 2147483647 527285 197 | 0.000 % |
927.96/928.33 c | 531670 | 9733 41721 126808 | 2147483647 531670 197 | 0.000 % |
942.27/942.61 c | 536493 | 9733 41721 126808 | 2147483647 536493 198 | 0.000 % |
942.56/942.98 c | 536593 | 9733 41721 126808 | 2147483647 536593 198 | 0.000 % |
943.16/943.51 c | 536703 | 9733 41721 126808 | 2147483647 536703 198 | 0.000 % |
943.56/943.97 c | 536826 | 9733 41721 126808 | 2147483647 536826 198 | 0.000 % |
944.16/944.53 c | 536959 | 9733 41721 126808 | 2147483647 536959 198 | 0.000 % |
944.76/945.19 c | 537105 | 9733 41721 126808 | 2147483647 537105 198 | 0.000 % |
945.46/945.83 c | 537265 | 9733 41721 126808 | 2147483647 537265 198 | 0.000 % |
946.16/946.50 c | 537442 | 9733 41721 126808 | 2147483647 537442 197 | 0.000 % |
946.76/947.19 c | 537635 | 9733 41721 126808 | 2147483647 537635 197 | 0.000 % |
947.56/947.98 c | 537847 | 9733 41721 126808 | 2147483647 537847 197 | 0.000 % |
948.46/948.86 c | 538081 | 9733 41721 126808 | 2147483647 538081 197 | 0.000 % |
949.46/949.88 c | 538340 | 9733 41721 126808 | 2147483647 538340 197 | 0.000 % |
950.66/951.02 c | 538621 | 9733 41721 126808 | 2147483647 538621 197 | 0.000 % |
951.76/952.16 c | 538930 | 9733 41721 126808 | 2147483647 538930 197 | 0.000 % |
953.06/953.40 c | 539269 | 9733 41721 126808 | 2147483647 539269 197 | 0.000 % |
954.46/954.84 c | 539641 | 9733 41721 126808 | 2147483647 539641 197 | 0.000 % |
955.95/956.33 c | 540050 | 9733 41721 126808 | 2147483647 540050 197 | 0.000 % |
957.75/958.10 c | 540499 | 9733 41721 126808 | 2147483647 540499 197 | 0.000 % |
959.56/959.93 c | 540992 | 9733 41721 126808 | 2147483647 540992 197 | 0.000 % |
961.56/961.96 c | 541534 | 9733 41721 126808 | 2147483647 541534 197 | 0.000 % |
963.75/964.19 c | 542131 | 9733 41721 126808 | 2147483647 542131 197 | 0.000 % |
965.95/966.32 c | 542786 | 9733 41721 126808 | 2147483647 542786 197 | 0.000 % |
968.25/968.68 c | 543506 | 9733 41721 126808 | 2147483647 543506 197 | 0.000 % |
970.85/971.29 c | 544298 | 9733 41721 126808 | 2147483647 544298 197 | 0.000 % |
973.96/974.33 c | 545170 | 9733 41721 126808 | 2147483647 545170 197 | 0.000 % |
977.05/977.47 c | 546129 | 9733 41721 126808 | 2147483647 546129 197 | 0.000 % |
980.75/981.18 c | 547182 | 9733 41721 126808 | 2147483647 547182 197 | 0.000 % |
984.64/985.09 c | 548342 | 9733 41721 126808 | 2147483647 548342 197 | 0.000 % |
988.65/989.09 c | 549615 | 9733 41721 126808 | 2147483647 549615 197 | 0.000 % |
993.04/993.46 c | 551015 | 9733 41721 126808 | 2147483647 551015 197 | 0.000 % |
998.15/998.59 c | 552556 | 9733 41721 126808 | 2147483647 552556 197 | 0.000 % |
1003.94/1004.35 c | 554250 | 9733 41721 126808 | 2147483647 554250 197 | 0.000 % |
1009.54/1009.96 c | 556116 | 9733 41721 126808 | 2147483647 556116 197 | 0.000 % |
1015.94/1016.35 c | 558168 | 9733 41721 126808 | 2147483647 558168 197 | 0.000 % |
1023.23/1023.67 c | 560422 | 9733 41721 126808 | 2147483647 560422 197 | 0.000 % |
1030.94/1031.37 c | 562900 | 9733 41721 126808 | 2147483647 562900 197 | 0.000 % |
1039.84/1040.29 c | 565625 | 9733 41721 126808 | 2147483647 565625 198 | 0.000 % |
1049.43/1049.83 c | 568623 | 9733 41721 126808 | 2147483647 568623 198 | 0.000 % |
1059.63/1060.03 c | 571919 | 9733 41721 126808 | 2147483647 571919 198 | 0.000 % |
1071.23/1071.62 c | 575544 | 9733 41721 126808 | 2147483647 575544 198 | 0.000 % |
1083.52/1083.92 c | 579531 | 9733 41721 126808 | 2147483647 579531 198 | 0.000 % |
1098.31/1098.76 c | 583916 | 9733 41721 126808 | 2147483647 583916 199 | 0.000 % |
1114.31/1114.71 c | 588739 | 9733 41721 126808 | 2147483647 588739 199 | 0.000 % |
1130.51/1130.94 c | 594046 | 9733 41721 126808 | 2147483647 594046 199 | 0.000 % |
1131.01/1131.41 c | 594146 | 9733 41721 126808 | 2147483647 594146 199 | 0.000 % |
1131.51/1131.94 c | 594256 | 9733 41721 126808 | 2147483647 594256 199 | 0.000 % |
1132.01/1132.49 c | 594379 | 9733 41721 126808 | 2147483647 594379 199 | 0.000 % |
1132.71/1133.14 c | 594515 | 9733 41721 126808 | 2147483647 594515 199 | 0.000 % |
1133.51/1133.92 c | 594661 | 9733 41721 126808 | 2147483647 594661 199 | 0.000 % |
1134.21/1134.62 c | 594821 | 9733 41721 126808 | 2147483647 594821 199 | 0.000 % |
1134.91/1135.39 c | 594998 | 9733 41721 126808 | 2147483647 594998 199 | 0.000 % |
1135.82/1136.22 c | 595191 | 9733 41721 126808 | 2147483647 595191 199 | 0.000 % |
1136.71/1137.13 c | 595403 | 9733 41721 126808 | 2147483647 595403 199 | 0.000 % |
1137.61/1138.02 c | 595636 | 9733 41721 126808 | 2147483647 595636 199 | 0.000 % |
1138.81/1139.27 c | 595893 | 9733 41721 126808 | 2147483647 595893 199 | 0.000 % |
1140.01/1140.40 c | 596175 | 9733 41721 126808 | 2147483647 596175 199 | 0.000 % |
1141.01/1141.50 c | 596485 | 9733 41721 126808 | 2147483647 596485 199 | 0.000 % |
1142.41/1142.83 c | 596824 | 9733 41721 126808 | 2147483647 596824 199 | 0.000 % |
1144.01/1144.43 c | 597196 | 9733 41721 126808 | 2147483647 597196 199 | 0.000 % |
1145.61/1146.08 c | 597606 | 9733 41721 126808 | 2147483647 597606 199 | 0.000 % |
1147.50/1147.94 c | 598055 | 9733 41721 126808 | 2147483647 598055 199 | 0.000 % |
1149.60/1150.03 c | 598548 | 9733 41721 126808 | 2147483647 598548 199 | 0.000 % |
1151.50/1151.99 c | 599090 | 9733 41721 126808 | 2147483647 599090 199 | 0.000 % |
1153.79/1154.27 c | 599688 | 9733 41721 126808 | 2147483647 599688 199 | 0.000 % |
1156.30/1156.78 c | 600343 | 9733 41721 126808 | 600001 600343 199 | 0.000 % |
1159.30/1159.77 c | 601065 | 9733 41721 126808 | 600001 520278 198 | 0.000 % |
1162.00/1162.47 c | 601857 | 9733 41721 126808 | 600001 521070 198 | 0.000 % |
1164.80/1165.23 c | 602729 | 9733 41721 126808 | 600001 521942 198 | 0.000 % |
1167.90/1168.38 c | 603687 | 9733 41721 126808 | 600001 522900 198 | 0.000 % |
1171.40/1171.81 c | 604740 | 9733 41721 126808 | 600001 523953 198 | 0.000 % |
1175.29/1175.75 c | 605899 | 9733 41721 126808 | 600001 525112 198 | 0.000 % |
1179.29/1179.79 c | 607172 | 9733 41721 126808 | 600001 526385 198 | 0.000 % |
1183.99/1184.40 c | 608573 | 9733 41721 126808 | 600001 527786 198 | 0.000 % |
1189.19/1189.62 c | 610113 | 9733 41721 126808 | 2147483647 529326 198 | 0.000 % |
1194.29/1194.70 c | 611807 | 9733 41721 126808 | 2147483647 531020 198 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832673-1242786190/watcher-1832673-1242786190 -o /tmp/evaluation-result-1832673-1242786190/solver-1832673-1242786190 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832673-1242786190.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.92 0.98 0.99 3/64 15842
/proc/meminfo: memFree=1871784/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 306652537 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 272467984466 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15842/statm: 1339 235 195 169 0 50 0
[pid=15843] ppid=15842 vsize=5356 CPUtime=0
/proc/15843/stat : 15843 (SatELiteGTI) R 15842 15842 15243 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 306652538 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/15843/statm: 1339 238 198 169 0 50 0
[pid=15845] ppid=15843 vsize=0 CPUtime=0
/proc/15845/stat : 15845 (sed) Z 15843 15842 15243 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306652538 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/15845/statm: 0 0 0 0 0 0 0
[startup+0.0686959 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15842
/proc/meminfo: memFree=1871784/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306652537 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15842/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101697 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15842
/proc/meminfo: memFree=1871784/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306652537 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15842/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301723 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15842
/proc/meminfo: memFree=1871784/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+0.701749 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 15842
/proc/meminfo: memFree=1871784/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+1.50179 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 15848
/proc/meminfo: memFree=1865624/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=7176 CPUtime=1.29
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 1579 0 0 0 129 0 0 0 25 0 1 0 306652557 7348224 1565 1992294400 134512640 135215339 4294956240 18446744073709551615 134525704 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 1794 1565 77 171 0 1621 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12532
[startup+3.10189 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 15848
/proc/meminfo: memFree=1863384/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=10224 CPUtime=2.89
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 2342 0 0 0 288 1 0 0 25 0 1 0 306652557 10469376 2328 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 2556 2328 77 171 0 2383 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15580
[startup+6.3011 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15848
/proc/meminfo: memFree=1857432/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=15508 CPUtime=6.09
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 3663 0 0 0 607 2 0 0 25 0 1 0 306652557 15880192 3649 1992294400 134512640 135215339 4294956240 18446744073709551615 134527402 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 3877 3649 77 171 0 3704 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20864
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 15848
/proc/meminfo: memFree=1847320/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=25124 CPUtime=12.49
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 6070 0 0 0 1245 4 0 0 25 0 1 0 306652557 25726976 6056 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 6281 6056 77 171 0 6108 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 30480
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 15848
/proc/meminfo: memFree=1830936/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=40784 CPUtime=25.28
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 9980 0 0 0 2519 9 0 0 25 0 1 0 306652557 41762816 9966 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 10196 9966 77 171 0 10023 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 46140
[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 15848
/proc/meminfo: memFree=1805656/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=66388 CPUtime=50.86
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 16364 0 0 0 5071 15 0 0 25 0 1 0 306652557 67981312 16350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 16597 16350 77 171 0 16424 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 71744
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 15848
/proc/meminfo: memFree=1765016/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=106568 CPUtime=102.04
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 26372 0 0 0 10178 26 0 0 25 0 1 0 306652557 109125632 26358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 26642 26358 77 171 0 26469 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 111924
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15848
/proc/meminfo: memFree=1727192/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=144196 CPUtime=162.01
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 35832 0 0 0 16163 38 0 0 25 0 1 0 306652557 147656704 35818 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 36049 35818 77 171 0 35876 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 149552
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15848
/proc/meminfo: memFree=1694936/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=176548 CPUtime=221.99
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 43835 0 0 0 22152 47 0 0 25 0 1 0 306652557 180785152 43821 1992294400 134512640 135215339 4294956240 18446744073709551615 134539261 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 44137 43821 77 171 0 43964 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 181904
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 15848
/proc/meminfo: memFree=1665880/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=205460 CPUtime=281.97
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 51107 0 0 0 28140 57 0 0 25 0 1 0 306652557 210391040 51093 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 51365 51093 77 171 0 51192 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 210816
[startup+342.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 15848
/proc/meminfo: memFree=1639456/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=231464 CPUtime=341.95
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 57640 0 0 0 34129 66 0 0 25 0 1 0 306652557 237019136 57626 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 57866 57626 77 171 0 57693 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 236820
[startup+402.302 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 15848
/proc/meminfo: memFree=1614112/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=257416 CPUtime=401.93
################
# More data... #
################
/proc/15848/statm: 81449 81162 77 171 0 81276 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 331152
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15848
/proc/meminfo: memFree=1522400/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=347840 CPUtime=641.87
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 86710 0 0 0 64088 99 0 0 25 0 1 0 306652557 356188160 86696 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 86960 86696 77 171 0 86787 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 353196
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15848
/proc/meminfo: memFree=1505120/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=365000 CPUtime=701.85
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 91012 0 0 0 70081 104 0 0 25 0 1 0 306652557 373760000 90998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 91250 90998 77 171 0 91077 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 370356
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15848
/proc/meminfo: memFree=1484384/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=386240 CPUtime=761.83
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 96133 0 0 0 76073 110 0 0 25 0 1 0 306652557 395509760 96119 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 96560 96119 77 171 0 96387 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 391596
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15848
/proc/meminfo: memFree=1466528/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=404060 CPUtime=821.81
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 100591 0 0 0 82065 116 0 0 25 0 1 0 306652557 413757440 100577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 101015 100577 77 171 0 100842 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 409416
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15848
/proc/meminfo: memFree=1448480/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=421880 CPUtime=881.79
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 105071 0 0 0 88058 121 0 0 25 0 1 0 306652557 432005120 105057 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 105470 105057 77 171 0 105297 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 427236
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15848
/proc/meminfo: memFree=1429600/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=440756 CPUtime=941.78
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 109824 0 0 0 94050 128 0 0 25 0 1 0 306652557 451334144 109810 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 110189 109810 77 171 0 110016 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 446112
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15848
/proc/meminfo: memFree=1415264/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=454616 CPUtime=1001.76
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 113311 0 0 0 100044 132 0 0 25 0 1 0 306652557 465526784 113297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 113654 113297 77 171 0 113481 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 459972
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15850
/proc/meminfo: memFree=1398752/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=471116 CPUtime=1061.75
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 117429 0 0 0 106040 135 0 0 25 0 1 0 306652557 482422784 117415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 117779 117415 77 171 0 117606 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 476472
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15850
/proc/meminfo: memFree=1381280/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=488276 CPUtime=1121.73
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 121745 0 0 0 112033 140 0 0 25 0 1 0 306652557 499994624 121731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 122069 121731 77 171 0 121896 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 493632
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15850
/proc/meminfo: memFree=1373664/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=495668 CPUtime=1181.71
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 123605 0 0 0 118028 143 0 0 25 0 1 0 306652557 507564032 123591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 123917 123591 77 171 0 123744 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 501024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15850
/proc/meminfo: memFree=1373664/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=495668 CPUtime=1199.91
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 123605 0 0 0 119848 143 0 0 25 0 1 0 306652557 507564032 123591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 123917 123591 77 171 0 123744 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 501024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15850
/proc/meminfo: memFree=1373664/2055920 swapFree=4179964/4192956
[pid=15842] ppid=15840 vsize=5356 CPUtime=0.18
/proc/15842/stat : 15842 (SatELiteGTI) S 15840 15842 15243 0 -1 4194304 336 1638 0 0 0 0 17 1 16 0 1 0 306652537 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 272467813188 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15842/statm: 1339 239 197 169 0 50 0
[pid=15848] ppid=15842 vsize=495668 CPUtime=1199.91
/proc/15848/stat : 15848 (minisat_static) R 15842 15842 15243 0 -1 4194304 123605 0 0 0 119848 143 0 0 25 0 1 0 306652557 507564032 123591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15848/statm: 123917 123591 77 171 0 123744 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 501024
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15842 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=178972
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=13997
# CPU time returned by wait4() is 0.192969
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1198.65
CPU system time (s): 1.44
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 501024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.178972
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 7
runsolver used 1.44978 second user time and 3.02054 second system time
The end
Begin job on node22 at 2009-05-20 04:23:10
IDJOB=1832673
IDBENCH=70300
IDSOLVER=671
FILE ID=node22/1832673-1242786190
PBS_JOBID= 9322340
Free space on /tmp= 66416 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832673-1242786190/watcher-1832673-1242786190 -o /tmp/evaluation-result-1832673-1242786190/solver-1832673-1242786190 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832673-1242786190.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4cbc233e7a70cae22bbfdd2b4008f16f
RANDOM SEED=113593064
node22.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.232
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.232
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: 1872264 kB
Buffers: 29292 kB
Cached: 106184 kB
SwapCached: 7936 kB
Active: 66564 kB
Inactive: 79052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1872264 kB
SwapTotal: 4192956 kB
SwapFree: 4179964 kB
Dirty: 2324 kB
Writeback: 0 kB
Mapped: 14596 kB
Slab: 24028 kB
Committed_AS: 1131988 kB
PageTables: 1376 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= 66412 MiB
End job on node22 at 2009-05-20 04:43:12