0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 42000 126000 | 12599 0 0 nan | 0.000 % |
0.00/0.14 c | 0 | 41741 126770 | -- 0 -- -- | -- | -259/770
0.00/0.14 c ==============================================================================
0.00/0.14 c Result : #vars: 9749 #clauses: 41741 #literals: 126770
0.00/0.14 c CPU time: 0.12998 s
0.00/0.14 c ==============================================================================
0.00/0.19 c This is MiniSat 2.0 beta
0.00/0.19 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.19 c ============================[ Problem Statistics ]=============================
0.00/0.19 c | |
0.00/0.19 c | Number of variables: 9749 |
0.00/0.19 c | Number of clauses: 41741 |
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 | 9749 41741 126770 | 13913 0 nan | 0.000 % |
0.18/0.25 c | 102 | 9749 41741 126770 | 13913 102 158 | 0.000 % |
0.18/0.28 c | 202 | 9749 41741 126770 | 13913 202 145 | 0.000 % |
0.18/0.31 c | 303 | 9749 41741 126770 | 13913 303 154 | 0.000 % |
0.18/0.34 c | 413 | 9749 41741 126770 | 13913 413 152 | 0.000 % |
0.18/0.37 c | 513 | 9749 41741 126770 | 13913 513 145 | 0.000 % |
0.18/0.40 c | 623 | 9749 41741 126770 | 13913 623 147 | 0.000 % |
0.18/0.44 c | 745 | 9749 41741 126770 | 13913 745 150 | 0.000 % |
0.18/0.47 c | 845 | 9749 41741 126770 | 13913 845 149 | 0.000 % |
0.18/0.50 c | 955 | 9749 41741 126770 | 13913 955 150 | 0.000 % |
0.18/0.54 c | 1078 | 9749 41741 126770 | 13913 1078 149 | 0.000 % |
0.18/0.58 c | 1213 | 9749 41741 126770 | 13913 1213 151 | 0.000 % |
0.18/0.61 c | 1316 | 9749 41741 126770 | 13913 1316 151 | 0.000 % |
0.18/0.64 c | 1429 | 9749 41741 126770 | 13913 1429 148 | 0.000 % |
0.18/0.67 c | 1551 | 9749 41741 126770 | 13913 1551 147 | 0.000 % |
0.18/0.71 c | 1684 | 9749 41741 126770 | 13913 1684 147 | 0.000 % |
0.18/0.75 c | 1830 | 9749 41741 126770 | 13913 1830 148 | 0.000 % |
0.18/0.78 c | 1935 | 9749 41741 126770 | 13913 1935 147 | 0.000 % |
0.18/0.82 c | 2045 | 9749 41741 126770 | 13913 2045 147 | 0.000 % |
0.18/0.85 c | 2166 | 9749 41741 126770 | 13913 2166 147 | 0.000 % |
0.18/0.90 c | 2302 | 9749 41741 126770 | 13913 2302 148 | 0.000 % |
0.18/0.94 c | 2449 | 9749 41741 126770 | 13913 2449 149 | 0.000 % |
0.18/0.99 c | 2610 | 9749 41741 126770 | 13913 2610 149 | 0.000 % |
0.97/1.03 c | 2710 | 9749 41741 126770 | 13913 2710 149 | 0.000 % |
0.97/1.06 c | 2820 | 9749 41741 126770 | 13913 2820 150 | 0.000 % |
1.07/1.10 c | 2943 | 9749 41741 126770 | 13913 2943 150 | 0.000 % |
1.07/1.14 c | 3076 | 9749 41741 126770 | 13913 3076 150 | 0.000 % |
1.07/1.20 c | 3222 | 9749 41741 126770 | 13913 3222 152 | 0.000 % |
1.17/1.25 c | 3382 | 9749 41741 126770 | 13913 3382 152 | 0.000 % |
1.27/1.31 c | 3558 | 9749 41741 126770 | 13913 3558 152 | 0.000 % |
1.27/1.34 c | 3661 | 9749 41741 126770 | 13913 3661 151 | 0.000 % |
1.27/1.38 c | 3772 | 9749 41741 126770 | 13913 3772 153 | 0.000 % |
1.37/1.42 c | 3894 | 9749 41741 126770 | 13913 3894 154 | 0.000 % |
1.37/1.47 c | 4028 | 9749 41741 126770 | 13913 4028 154 | 0.000 % |
1.47/1.52 c | 4174 | 9749 41741 126770 | 13913 4174 153 | 0.000 % |
1.47/1.57 c | 4336 | 9749 41741 126770 | 13913 4336 153 | 0.000 % |
1.57/1.63 c | 4513 | 9749 41741 126770 | 13913 4513 154 | 0.000 % |
1.57/1.70 c | 4706 | 9749 41741 126770 | 13913 4706 154 | 0.000 % |
1.67/1.73 c | 4808 | 9749 41741 126770 | 13913 4808 155 | 0.000 % |
1.67/1.77 c | 4918 | 9749 41741 126770 | 13913 4918 156 | 0.000 % |
1.77/1.81 c | 5039 | 9749 41741 126770 | 13913 5039 155 | 0.000 % |
1.77/1.86 c | 5175 | 9749 41741 126770 | 13913 5175 155 | 0.000 % |
1.88/1.91 c | 5322 | 9749 41741 126770 | 13913 5322 154 | 0.000 % |
1.88/1.97 c | 5483 | 9749 41741 126770 | 13913 5483 155 | 0.000 % |
1.98/2.05 c | 5661 | 9749 41741 126770 | 13913 5661 156 | 0.000 % |
2.08/2.11 c | 5858 | 9749 41741 126770 | 13913 5858 156 | 0.000 % |
2.08/2.18 c | 6070 | 9749 41741 126770 | 13913 6070 156 | 0.000 % |
2.18/2.22 c | 6170 | 9749 41741 126770 | 13913 6170 156 | 0.000 % |
2.18/2.26 c | 6280 | 9749 41741 126770 | 13913 6280 155 | 0.000 % |
2.28/2.31 c | 6402 | 9749 41741 126770 | 13913 6402 156 | 0.000 % |
2.28/2.36 c | 6535 | 9749 41741 126770 | 13913 6535 155 | 0.000 % |
2.38/2.40 c | 6681 | 9749 41741 126770 | 13913 6681 155 | 0.000 % |
2.38/2.46 c | 6843 | 9749 41741 126770 | 13913 6843 155 | 0.000 % |
2.47/2.52 c | 7020 | 9749 41741 126770 | 13913 7020 154 | 0.000 % |
2.47/2.59 c | 7215 | 9749 41741 126770 | 13913 7215 155 | 0.000 % |
2.57/2.66 c | 7427 | 9749 41741 126770 | 13913 7427 155 | 0.000 % |
2.67/2.75 c | 7660 | 9749 41741 126770 | 13913 7660 155 | 0.000 % |
2.67/2.79 c | 7763 | 9749 41741 126770 | 13913 7763 155 | 0.000 % |
2.77/2.83 c | 7873 | 9749 41741 126770 | 13913 7873 154 | 0.000 % |
2.77/2.88 c | 7994 | 9749 41741 126770 | 13913 7994 155 | 0.000 % |
2.87/2.94 c | 8130 | 9749 41741 126770 | 13913 8130 155 | 0.000 % |
2.87/2.99 c | 8277 | 9749 41741 126770 | 13913 8277 155 | 0.000 % |
2.97/3.05 c | 8438 | 9749 41741 126770 | 13913 8438 155 | 0.000 % |
3.07/3.12 c | 8617 | 9749 41741 126770 | 13913 8617 156 | 0.000 % |
3.07/3.19 c | 8810 | 9749 41741 126770 | 13913 8810 157 | 0.000 % |
3.18/3.27 c | 9024 | 9749 41741 126770 | 13913 9024 157 | 0.000 % |
3.28/3.36 c | 9257 | 9749 41741 126770 | 13913 9257 157 | 0.000 % |
3.37/3.45 c | 9513 | 9749 41741 126770 | 13913 9513 157 | 0.000 % |
3.37/3.49 c | 9615 | 9749 41741 126770 | 13913 9615 157 | 0.000 % |
3.47/3.53 c | 9726 | 9749 41741 126770 | 13913 9726 157 | 0.000 % |
3.47/3.58 c | 9849 | 9749 41741 126770 | 13913 9849 157 | 0.000 % |
3.57/3.63 c | 9984 | 9749 41741 126770 | 13913 9984 157 | 0.000 % |
3.57/3.69 c | 10132 | 9749 41741 126770 | 2147483647 10132 157 | 0.000 % |
3.67/3.75 c | 10294 | 9749 41741 126770 | 2147483647 10294 156 | 0.000 % |
3.77/3.82 c | 10470 | 9749 41741 126770 | 2147483647 10470 157 | 0.000 % |
3.77/3.89 c | 10663 | 9749 41741 126770 | 2147483647 10663 156 | 0.000 % |
3.87/3.96 c | 10875 | 9749 41741 126770 | 2147483647 10875 156 | 0.000 % |
3.97/4.06 c | 11109 | 9749 41741 126770 | 2147483647 11109 157 | 0.000 % |
4.07/4.16 c | 11369 | 9749 41741 126770 | 2147483647 11369 157 | 0.000 % |
4.17/4.27 c | 11651 | 9749 41741 126770 | 2147483647 11651 157 | 0.000 % |
4.27/4.32 c | 11753 | 9749 41741 126770 | 2147483647 11753 157 | 0.000 % |
4.27/4.36 c | 11863 | 9749 41741 126770 | 2147483647 11863 157 | 0.000 % |
4.37/4.41 c | 11986 | 9749 41741 126770 | 2147483647 11986 158 | 0.000 % |
4.37/4.47 c | 12120 | 9749 41741 126770 | 2147483647 12120 158 | 0.000 % |
4.47/4.53 c | 12266 | 9749 41741 126770 | 2147483647 12266 158 | 0.000 % |
4.57/4.60 c | 12431 | 9749 41741 126770 | 2147483647 12431 158 | 0.000 % |
4.57/4.67 c | 12610 | 9749 41741 126770 | 2147483647 12610 158 | 0.000 % |
4.67/4.75 c | 12806 | 9749 41741 126770 | 2147483647 12806 159 | 0.000 % |
4.77/4.83 c | 13018 | 9749 41741 126770 | 2147483647 13018 159 | 0.000 % |
4.87/4.92 c | 13253 | 9749 41741 126770 | 2147483647 13253 159 | 0.000 % |
4.97/5.02 c | 13509 | 9749 41741 126770 | 2147483647 13509 159 | 0.000 % |
5.07/5.14 c | 13790 | 9749 41741 126770 | 2147483647 13790 159 | 0.000 % |
5.17/5.27 c | 14099 | 9749 41741 126770 | 2147483647 14099 159 | 0.000 % |
5.27/5.32 c | 14200 | 9749 41741 126770 | 2147483647 14200 159 | 0.000 % |
5.27/5.36 c | 14313 | 9749 41741 126770 | 2147483647 14313 159 | 0.000 % |
5.37/5.42 c | 14436 | 9749 41741 126770 | 2147483647 14436 159 | 0.000 % |
5.37/5.48 c | 14571 | 9749 41741 126770 | 2147483647 14571 159 | 0.000 % |
5.47/5.55 c | 14717 | 9749 41741 126770 | 2147483647 14717 159 | 0.000 % |
5.57/5.61 c | 14878 | 9749 41741 126770 | 2147483647 14878 159 | 0.000 % |
5.57/5.68 c | 15056 | 9749 41741 126770 | 2147483647 15056 159 | 0.000 % |
5.68/5.77 c | 15251 | 9749 41741 126770 | 2147483647 15251 158 | 0.000 % |
5.78/5.86 c | 15468 | 9749 41741 126770 | 2147483647 15468 159 | 0.000 % |
5.88/5.96 c | 15702 | 9749 41741 126770 | 2147483647 15702 159 | 0.000 % |
5.98/6.06 c | 15958 | 9749 41741 126770 | 2147483647 15958 159 | 0.000 % |
6.08/6.18 c | 16239 | 9749 41741 126770 | 2147483647 16239 159 | 0.000 % |
6.27/6.31 c | 16549 | 9749 41741 126770 | 2147483647 16549 160 | 0.000 % |
6.37/6.46 c | 16888 | 9749 41741 126770 | 2147483647 16888 160 | 0.000 % |
6.37/6.50 c | 16988 | 9749 41741 126770 | 2147483647 16988 160 | 0.000 % |
6.48/6.55 c | 17102 | 9749 41741 126770 | 2147483647 17102 160 | 0.000 % |
6.48/6.60 c | 17224 | 9749 41741 126770 | 2147483647 17224 159 | 0.000 % |
6.58/6.65 c | 17357 | 9749 41741 126770 | 2147483647 17357 159 | 0.000 % |
6.67/6.71 c | 17505 | 9749 41741 126770 | 2147483647 17505 159 | 0.000 % |
6.67/6.79 c | 17665 | 9749 41741 126770 | 2147483647 17665 159 | 0.000 % |
6.77/6.86 c | 17842 | 9749 41741 126770 | 2147483647 17842 159 | 0.000 % |
6.87/6.94 c | 18036 | 9749 41741 126770 | 2147483647 18036 159 | 0.000 % |
6.97/7.03 c | 18249 | 9749 41741 126770 | 2147483647 18249 158 | 0.000 % |
7.07/7.14 c | 18482 | 9749 41741 126770 | 2147483647 18482 159 | 0.000 % |
7.17/7.26 c | 18738 | 9749 41741 126770 | 2147483647 18738 160 | 0.000 % |
7.27/7.38 c | 19019 | 9749 41741 126770 | 2147483647 19019 159 | 0.000 % |
7.47/7.51 c | 19328 | 9749 41741 126770 | 2147483647 19328 160 | 0.000 % |
7.57/7.67 c | 19667 | 9749 41741 126770 | 2147483647 19667 160 | 0.000 % |
7.77/7.84 c | 20039 | 9749 41741 126770 | 2147483647 20039 160 | 0.000 % |
7.77/7.89 c | 20140 | 9749 41741 126770 | 2147483647 20140 160 | 0.000 % |
7.87/7.93 c | 20250 | 9749 41741 126770 | 2147483647 20250 160 | 0.000 % |
7.87/7.99 c | 20371 | 9749 41741 126770 | 2147483647 20371 160 | 0.000 % |
7.97/8.05 c | 20504 | 9749 41741 126770 | 2147483647 20504 160 | 0.000 % |
8.07/8.11 c | 20651 | 9749 41741 126770 | 2147483647 20651 160 | 0.000 % |
8.07/8.19 c | 20811 | 9749 41741 126770 | 2147483647 20811 160 | 0.000 % |
8.17/8.27 c | 20988 | 9749 41741 126770 | 2147483647 20988 160 | 0.000 % |
8.27/8.36 c | 21182 | 9749 41741 126770 | 2147483647 21182 160 | 0.000 % |
8.37/8.45 c | 21394 | 9749 41741 126770 | 2147483647 21394 160 | 0.000 % |
8.47/8.56 c | 21627 | 9749 41741 126770 | 2147483647 21627 160 | 0.000 % |
8.57/8.69 c | 21883 | 9749 41741 126770 | 2147483647 21883 160 | 0.000 % |
8.78/8.82 c | 22164 | 9749 41741 126770 | 2147483647 22164 160 | 0.000 % |
8.87/8.95 c | 22474 | 9749 41741 126770 | 2147483647 22474 161 | 0.000 % |
8.97/9.10 c | 22814 | 9749 41741 126770 | 2147483647 22814 161 | 0.000 % |
9.17/9.26 c | 23186 | 9749 41741 126770 | 2147483647 23186 162 | 0.000 % |
9.37/9.45 c | 23595 | 9749 41741 126770 | 2147483647 23595 162 | 0.000 % |
9.47/9.50 c | 23697 | 9749 41741 126770 | 2147483647 23697 162 | 0.000 % |
9.47/9.56 c | 23808 | 9749 41741 126770 | 2147483647 23808 161 | 0.000 % |
9.57/9.62 c | 23932 | 9749 41741 126770 | 2147483647 23932 162 | 0.000 % |
9.57/9.69 c | 24065 | 9749 41741 126770 | 2147483647 24065 162 | 0.000 % |
9.67/9.76 c | 24212 | 9749 41741 126770 | 2147483647 24212 162 | 0.000 % |
9.77/9.84 c | 24373 | 9749 41741 126770 | 2147483647 24373 162 | 0.000 % |
9.87/9.92 c | 24549 | 9749 41741 126770 | 2147483647 24549 162 | 0.000 % |
9.97/10.01 c | 24743 | 9749 41741 126770 | 2147483647 24743 161 | 0.000 % |
10.07/10.12 c | 24955 | 9749 41741 126770 | 2147483647 24955 161 | 0.000 % |
10.17/10.23 c | 25188 | 9749 41741 126770 | 2147483647 25188 161 | 0.000 % |
10.27/10.35 c | 25445 | 9749 41741 126770 | 2147483647 25445 162 | 0.000 % |
10.37/10.48 c | 25727 | 9749 41741 126770 | 2147483647 25727 162 | 0.000 % |
10.57/10.63 c | 26037 | 9749 41741 126770 | 2147483647 26037 162 | 0.000 % |
10.67/10.78 c | 26377 | 9749 41741 126770 | 2147483647 26377 162 | 0.000 % |
10.87/10.96 c | 26749 | 9749 41741 126770 | 2147483647 26749 162 | 0.000 % |
11.06/11.14 c | 27158 | 9749 41741 126770 | 2147483647 27158 162 | 0.000 % |
11.26/11.35 c | 27610 | 9749 41741 126770 | 2147483647 27610 162 | 0.000 % |
11.36/11.40 c | 27710 | 9749 41741 126770 | 2147483647 27710 162 | 0.000 % |
11.36/11.46 c | 27820 | 9749 41741 126770 | 2147483647 27820 162 | 0.000 % |
11.47/11.53 c | 27942 | 9749 41741 126770 | 2147483647 27942 162 | 0.000 % |
11.47/11.59 c | 28076 | 9749 41741 126770 | 2147483647 28076 162 | 0.000 % |
11.57/11.68 c | 28222 | 9749 41741 126770 | 2147483647 28222 162 | 0.000 % |
11.67/11.75 c | 28382 | 9749 41741 126770 | 2147483647 28382 162 | 0.000 % |
11.77/11.84 c | 28558 | 9749 41741 126770 | 2147483647 28558 162 | 0.000 % |
11.87/11.95 c | 28753 | 9749 41741 126770 | 2147483647 28753 162 | 0.000 % |
11.97/12.06 c | 28966 | 9749 41741 126770 | 2147483647 28966 162 | 0.000 % |
12.07/12.17 c | 29201 | 9749 41741 126770 | 2147483647 29201 162 | 0.000 % |
12.17/12.29 c | 29457 | 9749 41741 126770 | 2147483647 29457 162 | 0.000 % |
12.37/12.43 c | 29738 | 9749 41741 126770 | 2147483647 29738 161 | 0.000 % |
12.47/12.59 c | 30047 | 9749 41741 126770 | 2147483647 30047 161 | 0.000 % |
12.66/12.75 c | 30389 | 9749 41741 126770 | 2147483647 30389 162 | 0.000 % |
12.86/12.95 c | 30761 | 9749 41741 126770 | 2147483647 30761 161 | 0.000 % |
13.07/13.15 c | 31170 | 9749 41741 126770 | 2147483647 31170 162 | 0.000 % |
13.26/13.38 c | 31620 | 9749 41741 126770 | 2147483647 31620 162 | 0.000 % |
13.56/13.62 c | 32113 | 9749 41741 126770 | 2147483647 32113 163 | 0.000 % |
13.56/13.68 c | 32214 | 9749 41741 126770 | 2147483647 32214 163 | 0.000 % |
13.66/13.74 c | 32326 | 9749 41741 126770 | 2147483647 32326 163 | 0.000 % |
13.76/13.81 c | 32447 | 9749 41741 126770 | 2147483647 32447 162 | 0.000 % |
13.76/13.88 c | 32581 | 9749 41741 126770 | 2147483647 32581 162 | 0.000 % |
13.86/13.96 c | 32727 | 9749 41741 126770 | 2147483647 32727 162 | 0.000 % |
13.96/14.05 c | 32888 | 9749 41741 126770 | 2147483647 32888 162 | 0.000 % |
14.06/14.14 c | 33065 | 9749 41741 126770 | 2147483647 33065 162 | 0.000 % |
14.16/14.26 c | 33258 | 9749 41741 126770 | 2147483647 33258 162 | 0.000 % |
14.26/14.37 c | 33470 | 9749 41741 126770 | 2147483647 33470 162 | 0.000 % |
14.46/14.50 c | 33704 | 9749 41741 126770 | 2147483647 33704 162 | 0.000 % |
14.56/14.63 c | 33961 | 9749 41741 126770 | 2147483647 33961 162 | 0.000 % |
14.66/14.78 c | 34242 | 9749 41741 126770 | 2147483647 34242 162 | 0.000 % |
14.86/14.95 c | 34551 | 9749 41741 126770 | 2147483647 34551 162 | 0.000 % |
15.06/15.13 c | 34890 | 9749 41741 126770 | 2147483647 34890 163 | 0.000 % |
15.26/15.35 c | 35263 | 9749 41741 126770 | 2147483647 35263 163 | 0.000 % |
15.45/15.56 c | 35672 | 9749 41741 126770 | 2147483647 35672 163 | 0.000 % |
15.65/15.80 c | 36124 | 9749 41741 126770 | 2147483647 36124 163 | 0.000 % |
15.96/16.08 c | 36619 | 9749 41741 126770 | 2147483647 36619 164 | 0.000 % |
16.26/16.38 c | 37161 | 9749 41741 126770 | 2147483647 37161 164 | 0.000 % |
16.37/16.44 c | 37261 | 9749 41741 126770 | 2147483647 37261 164 | 0.000 % |
16.37/16.50 c | 37371 | 9749 41741 126770 | 2147483647 37371 164 | 0.000 % |
16.47/16.57 c | 37494 | 9749 41741 126770 | 2147483647 37494 164 | 0.000 % |
16.56/16.66 c | 37628 | 9749 41741 126770 | 2147483647 37628 164 | 0.000 % |
16.66/16.75 c | 37774 | 9749 41741 126770 | 2147483647 37774 164 | 0.000 % |
16.76/16.85 c | 37935 | 9749 41741 126770 | 2147483647 37935 164 | 0.000 % |
16.86/16.96 c | 38115 | 9749 41741 126770 | 2147483647 38115 163 | 0.000 % |
16.96/17.07 c | 38309 | 9749 41741 126770 | 2147483647 38309 164 | 0.000 % |
17.06/17.19 c | 38521 | 9749 41741 126770 | 2147483647 38521 164 | 0.000 % |
17.25/17.33 c | 38757 | 9749 41741 126770 | 2147483647 38757 164 | 0.000 % |
17.35/17.49 c | 39014 | 9749 41741 126770 | 2147483647 39014 164 | 0.000 % |
17.56/17.65 c | 39296 | 9749 41741 126770 | 2147483647 39296 164 | 0.000 % |
17.75/17.84 c | 39608 | 9749 41741 126770 | 2147483647 39608 164 | 0.000 % |
17.95/18.03 c | 39947 | 9749 41741 126770 | 2147483647 39947 164 | 0.000 % |
18.15/18.24 c | 40319 | 9749 41741 126770 | 2147483647 40319 164 | 0.000 % |
18.35/18.46 c | 40728 | 9749 41741 126770 | 2147483647 40728 165 | 0.000 % |
18.65/18.71 c | 41179 | 9749 41741 126770 | 2147483647 41179 165 | 0.000 % |
18.95/19.00 c | 41674 | 9749 41741 126770 | 2147483647 41674 165 | 0.000 % |
19.25/19.32 c | 42217 | 9749 41741 126770 | 2147483647 42217 165 | 0.000 % |
19.56/19.64 c | 42813 | 9749 41741 126770 | 2147483647 42813 165 | 0.000 % |
19.66/19.71 c | 42914 | 9749 41741 126770 | 2147483647 42914 165 | 0.000 % |
19.66/19.77 c | 43024 | 9749 41741 126770 | 2147483647 43024 165 | 0.000 % |
19.76/19.86 c | 43148 | 9749 41741 126770 | 2147483647 43148 165 | 0.000 % |
19.86/19.94 c | 43281 | 9749 41741 126770 | 2147483647 43281 165 | 0.000 % |
19.96/20.04 c | 43428 | 9749 41741 126770 | 2147483647 43428 165 | 0.000 % |
20.06/20.14 c | 43590 | 9749 41741 126770 | 2147483647 43590 165 | 0.000 % |
20.15/20.25 c | 43766 | 9749 41741 126770 | 2147483647 43766 165 | 0.000 % |
20.25/20.36 c | 43959 | 9749 41741 126770 | 2147483647 43959 164 | 0.000 % |
20.35/20.49 c | 44171 | 9749 41741 126770 | 2147483647 44171 164 | 0.000 % |
20.55/20.64 c | 44404 | 9749 41741 126770 | 2147483647 44404 164 | 0.000 % |
20.75/20.80 c | 44661 | 9749 41741 126770 | 2147483647 44661 164 | 0.000 % |
20.85/20.98 c | 44944 | 9749 41741 126770 | 2147483647 44944 164 | 0.000 % |
21.05/21.16 c | 45255 | 9749 41741 126770 | 2147483647 45255 164 | 0.000 % |
21.26/21.38 c | 45594 | 9749 41741 126770 | 2147483647 45594 165 | 0.000 % |
21.55/21.61 c | 45966 | 9749 41741 126770 | 2147483647 45966 165 | 0.000 % |
21.75/21.87 c | 46376 | 9749 41741 126770 | 2147483647 46376 165 | 0.000 % |
22.05/22.12 c | 46825 | 9749 41741 126770 | 2147483647 46825 165 | 0.000 % |
22.35/22.41 c | 47318 | 9749 41741 126770 | 2147483647 47318 165 | 0.000 % |
22.65/22.76 c | 47860 | 9749 41741 126770 | 2147483647 47860 165 | 0.000 % |
23.05/23.13 c | 48457 | 9749 41741 126770 | 2147483647 48457 166 | 0.000 % |
23.45/23.53 c | 49112 | 9749 41741 126770 | 2147483647 49112 166 | 0.000 % |
23.55/23.60 c | 49212 | 9749 41741 126770 | 2147483647 49212 166 | 0.000 % |
23.55/23.67 c | 49322 | 9749 41741 126770 | 2147483647 49322 166 | 0.000 % |
23.65/23.75 c | 49444 | 9749 41741 126770 | 2147483647 49444 166 | 0.000 % |
23.75/23.83 c | 49579 | 9749 41741 126770 | 2147483647 49579 166 | 0.000 % |
23.85/23.92 c | 49725 | 9749 41741 126770 | 2147483647 49725 166 | 0.000 % |
23.95/24.03 c | 49886 | 9749 41741 126770 | 2147483647 49886 166 | 0.000 % |
24.06/24.16 c | 50062 | 9749 41741 126770 | 2147483647 50062 166 | 0.000 % |
24.16/24.29 c | 50255 | 9749 41741 126770 | 2147483647 50255 166 | 0.000 % |
24.35/24.43 c | 50468 | 9749 41741 126770 | 2147483647 50468 166 | 0.000 % |
24.45/24.57 c | 50703 | 9749 41741 126770 | 2147483647 50703 166 | 0.000 % |
24.65/24.74 c | 50959 | 9749 41741 126770 | 2147483647 50959 167 | 0.000 % |
24.85/24.94 c | 51243 | 9749 41741 126770 | 2147483647 51243 167 | 0.000 % |
25.05/25.13 c | 51553 | 9749 41741 126770 | 2147483647 51553 167 | 0.000 % |
25.26/25.36 c | 51892 | 9749 41741 126770 | 2147483647 51892 167 | 0.000 % |
25.55/25.61 c | 52264 | 9749 41741 126770 | 2147483647 52264 167 | 0.000 % |
25.75/25.87 c | 52673 | 9749 41741 126770 | 2147483647 52673 167 | 0.000 % |
26.05/26.18 c | 53123 | 9749 41741 126770 | 2147483647 53123 167 | 0.000 % |
26.45/26.51 c | 53616 | 9749 41741 126770 | 2147483647 53616 167 | 0.000 % |
26.74/26.85 c | 54160 | 9749 41741 126770 | 2147483647 54160 168 | 0.000 % |
27.14/27.23 c | 54756 | 9749 41741 126770 | 2147483647 54756 168 | 0.000 % |
27.55/27.67 c | 55411 | 9749 41741 126770 | 2147483647 55411 168 | 0.000 % |
28.05/28.14 c | 56132 | 9749 41741 126770 | 2147483647 56132 169 | 0.000 % |
28.15/28.22 c | 56232 | 9749 41741 126770 | 2147483647 56232 169 | 0.000 % |
28.15/28.28 c | 56344 | 9749 41741 126770 | 2147483647 56344 169 | 0.000 % |
28.25/28.37 c | 56466 | 9749 41741 126770 | 2147483647 56466 169 | 0.000 % |
28.35/28.48 c | 56599 | 9749 41741 126770 | 2147483647 56599 169 | 0.000 % |
28.45/28.59 c | 56745 | 9749 41741 126770 | 2147483647 56745 169 | 0.000 % |
28.65/28.70 c | 56906 | 9749 41741 126770 | 2147483647 56906 169 | 0.000 % |
28.74/28.83 c | 57082 | 9749 41741 126770 | 2147483647 57082 169 | 0.000 % |
28.84/28.97 c | 57278 | 9749 41741 126770 | 2147483647 57278 169 | 0.000 % |
29.04/29.13 c | 57490 | 9749 41741 126770 | 2147483647 57490 169 | 0.000 % |
29.24/29.30 c | 57723 | 9749 41741 126770 | 2147483647 57723 169 | 0.000 % |
29.34/29.49 c | 57979 | 9749 41741 126770 | 2147483647 57979 169 | 0.000 % |
29.55/29.68 c | 58260 | 9749 41741 126770 | 2147483647 58260 169 | 0.000 % |
29.84/29.92 c | 58569 | 9749 41741 126770 | 2147483647 58569 169 | 0.000 % |
30.04/30.17 c | 58909 | 9749 41741 126770 | 2147483647 58909 169 | 0.000 % |
30.35/30.42 c | 59281 | 9749 41741 126770 | 2147483647 59281 169 | 0.000 % |
30.65/30.71 c | 59690 | 9749 41741 126770 | 2147483647 59690 169 | 0.000 % |
30.85/30.99 c | 60140 | 9749 41741 126770 | 2147483647 60140 169 | 0.000 % |
31.25/31.32 c | 60635 | 9749 41741 126770 | 2147483647 60635 169 | 0.000 % |
31.55/31.68 c | 61178 | 9749 41741 126770 | 2147483647 61178 169 | 0.000 % |
31.94/32.07 c | 61774 | 9749 41741 126770 | 2147483647 61774 169 | 0.000 % |
32.44/32.53 c | 62429 | 9749 41741 126770 | 2147483647 62429 169 | 0.000 % |
32.95/33.03 c | 63150 | 9749 41741 126770 | 2147483647 63150 169 | 0.000 % |
33.44/33.55 c | 63946 | 9749 41741 126770 | 2147483647 63946 169 | 0.000 % |
33.54/33.63 c | 64046 | 9749 41741 126770 | 2147483647 64046 169 | 0.000 % |
33.64/33.72 c | 64156 | 9749 41741 126770 | 2147483647 64156 169 | 0.000 % |
33.74/33.81 c | 64277 | 9749 41741 126770 | 2147483647 64277 169 | 0.000 % |
33.84/33.92 c | 64410 | 9749 41741 126770 | 2147483647 64410 169 | 0.000 % |
33.94/34.04 c | 64556 | 9749 41741 126770 | 2147483647 64556 169 | 0.000 % |
34.04/34.18 c | 64718 | 9749 41741 126770 | 2147483647 64718 169 | 0.000 % |
34.24/34.30 c | 64895 | 9749 41741 126770 | 2147483647 64895 169 | 0.000 % |
34.34/34.44 c | 65091 | 9749 41741 126770 | 2147483647 65091 169 | 0.000 % |
34.54/34.61 c | 65305 | 9749 41741 126770 | 2147483647 65305 169 | 0.000 % |
34.64/34.77 c | 65538 | 9749 41741 126770 | 2147483647 65538 169 | 0.000 % |
34.84/34.98 c | 65794 | 9749 41741 126770 | 2147483647 65794 169 | 0.000 % |
35.04/35.19 c | 66075 | 9749 41741 126770 | 2147483647 66075 169 | 0.000 % |
35.34/35.40 c | 66386 | 9749 41741 126770 | 2147483647 66386 169 | 0.000 % |
35.54/35.66 c | 66730 | 9749 41741 126770 | 2147483647 66730 169 | 0.000 % |
35.84/35.95 c | 67102 | 9749 41741 126770 | 2147483647 67102 169 | 0.000 % |
36.15/36.27 c | 67511 | 9749 41741 126770 | 2147483647 67511 169 | 0.000 % |
36.54/36.63 c | 67964 | 9749 41741 126770 | 2147483647 67964 169 | 0.000 % |
36.84/36.99 c | 68458 | 9749 41741 126770 | 2147483647 68458 169 | 0.000 % |
37.24/37.39 c | 69001 | 9749 41741 126770 | 2147483647 69001 170 | 0.000 % |
37.74/37.83 c | 69598 | 9749 41741 126770 | 2147483647 69598 170 | 0.000 % |
38.24/38.34 c | 70257 | 9749 41741 126770 | 2147483647 70257 170 | 0.000 % |
38.74/38.86 c | 70977 | 9749 41741 126770 | 2147483647 70977 170 | 0.000 % |
39.34/39.48 c | 71769 | 9749 41741 126770 | 2147483647 71769 170 | 0.000 % |
40.04/40.14 c | 72640 | 9749 41741 126770 | 2147483647 72640 170 | 0.000 % |
40.14/40.22 c | 72741 | 9749 41741 126770 | 2147483647 72741 170 | 0.000 % |
40.24/40.31 c | 72851 | 9749 41741 126770 | 2147483647 72851 170 | 0.000 % |
40.34/40.41 c | 72972 | 9749 41741 126770 | 2147483647 72972 170 | 0.000 % |
40.44/40.52 c | 73108 | 9749 41741 126770 | 2147483647 73108 170 | 0.000 % |
40.54/40.63 c | 73255 | 9749 41741 126770 | 2147483647 73255 170 | 0.000 % |
40.64/40.79 c | 73415 | 9749 41741 126770 | 2147483647 73415 170 | 0.000 % |
40.84/40.93 c | 73591 | 9749 41741 126770 | 2147483647 73591 170 | 0.000 % |
40.94/41.09 c | 73784 | 9749 41741 126770 | 2147483647 73784 170 | 0.000 % |
41.14/41.26 c | 73999 | 9749 41741 126770 | 2147483647 73999 170 | 0.000 % |
41.34/41.46 c | 74234 | 9749 41741 126770 | 2147483647 74234 170 | 0.000 % |
41.54/41.65 c | 74490 | 9749 41741 126770 | 2147483647 74490 170 | 0.000 % |
41.74/41.90 c | 74771 | 9749 41741 126770 | 2147483647 74771 170 | 0.000 % |
42.04/42.15 c | 75080 | 9749 41741 126770 | 2147483647 75080 170 | 0.000 % |
42.33/42.43 c | 75419 | 9749 41741 126770 | 2147483647 75419 170 | 0.000 % |
42.63/42.71 c | 75793 | 9749 41741 126770 | 2147483647 75793 170 | 0.000 % |
42.93/43.05 c | 76203 | 9749 41741 126770 | 2147483647 76203 170 | 0.000 % |
43.34/43.40 c | 76652 | 9749 41741 126770 | 2147483647 76652 170 | 0.000 % |
43.64/43.76 c | 77145 | 9749 41741 126770 | 2147483647 77145 171 | 0.000 % |
44.04/44.17 c | 77687 | 9749 41741 126770 | 2147483647 77687 171 | 0.000 % |
44.53/44.62 c | 78283 | 9749 41741 126770 | 2147483647 78283 171 | 0.000 % |
45.04/45.13 c | 78939 | 9749 41741 126770 | 2147483647 78939 171 | 0.000 % |
45.53/45.69 c | 79659 | 9749 41741 126770 | 2147483647 79659 171 | 0.000 % |
46.23/46.31 c | 80451 | 9749 41741 126770 | 2147483647 80451 171 | 0.000 % |
46.83/46.98 c | 81322 | 9749 41741 126770 | 2147483647 81322 171 | 0.000 % |
47.63/47.76 c | 82281 | 9749 41741 126770 | 2147483647 82281 172 | 0.000 % |
47.73/47.84 c | 82382 | 9749 41741 126770 | 2147483647 82382 172 | 0.000 % |
47.83/47.94 c | 82493 | 9749 41741 126770 | 2147483647 82493 172 | 0.000 % |
47.93/48.06 c | 82616 | 9749 41741 126770 | 2147483647 82616 172 | 0.000 % |
48.03/48.17 c | 82750 | 9749 41741 126770 | 2147483647 82750 172 | 0.000 % |
48.13/48.30 c | 82896 | 9749 41741 126770 | 2147483647 82896 172 | 0.000 % |
48.34/48.44 c | 83056 | 9749 41741 126770 | 2147483647 83056 172 | 0.000 % |
48.53/48.61 c | 83233 | 9749 41741 126770 | 2147483647 83233 172 | 0.000 % |
48.63/48.78 c | 83428 | 9749 41741 126770 | 2147483647 83428 172 | 0.000 % |
48.83/48.96 c | 83640 | 9749 41741 126770 | 2147483647 83640 172 | 0.000 % |
49.03/49.17 c | 83873 | 9749 41741 126770 | 2147483647 83873 172 | 0.000 % |
49.23/49.39 c | 84129 | 9749 41741 126770 | 2147483647 84129 172 | 0.000 % |
49.53/49.62 c | 84410 | 9749 41741 126770 | 2147483647 84410 172 | 0.000 % |
49.73/49.88 c | 84719 | 9749 41741 126770 | 2147483647 84719 172 | 0.000 % |
50.03/50.19 c | 85060 | 9749 41741 126770 | 2147483647 85060 172 | 0.000 % |
50.44/50.51 c | 85433 | 9749 41741 126770 | 2147483647 85433 172 | 0.000 % |
50.74/50.88 c | 85843 | 9749 41741 126770 | 2147483647 85843 172 | 0.000 % |
51.14/51.24 c | 86293 | 9749 41741 126770 | 2147483647 86293 172 | 0.000 % |
51.54/51.67 c | 86787 | 9749 41741 126770 | 2147483647 86787 172 | 0.000 % |
52.03/52.13 c | 87330 | 9749 41741 126770 | 2147483647 87330 172 | 0.000 % |
52.53/52.62 c | 87926 | 9749 41741 126770 | 2147483647 87926 172 | 0.000 % |
53.03/53.16 c | 88584 | 9749 41741 126770 | 2147483647 88584 172 | 0.000 % |
53.63/53.74 c | 89305 | 9749 41741 126770 | 2147483647 89305 172 | 0.000 % |
54.23/54.39 c | 90097 | 9749 41741 126770 | 2147483647 90097 172 | 0.000 % |
55.04/55.13 c | 90968 | 9749 41741 126770 | 2147483647 90968 172 | 0.000 % |
55.83/55.93 c | 91926 | 9749 41741 126770 | 2147483647 91926 173 | 0.000 % |
56.73/56.80 c | 92980 | 9749 41741 126770 | 2147483647 92980 173 | 0.000 % |
56.83/56.92 c | 93082 | 9749 41741 126770 | 2147483647 93082 173 | 0.000 % |
56.93/57.05 c | 93193 | 9749 41741 126770 | 2147483647 93193 173 | 0.000 % |
57.03/57.16 c | 93318 | 9749 41741 126770 | 2147483647 93318 173 | 0.000 % |
57.13/57.28 c | 93451 | 9749 41741 126770 | 2147483647 93451 172 | 0.000 % |
57.33/57.42 c | 93598 | 9749 41741 126770 | 2147483647 93598 172 | 0.000 % |
57.43/57.58 c | 93759 | 9749 41741 126770 | 2147483647 93759 172 | 0.000 % |
57.63/57.76 c | 93939 | 9749 41741 126770 | 2147483647 93939 172 | 0.000 % |
57.83/57.95 c | 94133 | 9749 41741 126770 | 2147483647 94133 172 | 0.000 % |
58.03/58.14 c | 94347 | 9749 41741 126770 | 2147483647 94347 172 | 0.000 % |
58.23/58.34 c | 94580 | 9749 41741 126770 | 2147483647 94580 172 | 0.000 % |
58.53/58.60 c | 94836 | 9749 41741 126770 | 2147483647 94836 172 | 0.000 % |
58.72/58.88 c | 95117 | 9749 41741 126770 | 2147483647 95117 172 | 0.000 % |
59.02/59.17 c | 95426 | 9749 41741 126770 | 2147483647 95426 172 | 0.000 % |
59.33/59.48 c | 95765 | 9749 41741 126770 | 2147483647 95765 172 | 0.000 % |
59.63/59.78 c | 96137 | 9749 41741 126770 | 2147483647 96137 172 | 0.000 % |
60.03/60.12 c | 96546 | 9749 41741 126770 | 2147483647 96546 172 | 0.000 % |
60.43/60.55 c | 96995 | 9749 41741 126770 | 2147483647 96995 172 | 0.000 % |
60.93/61.00 c | 97489 | 9749 41741 126770 | 2147483647 97489 173 | 0.000 % |
61.33/61.47 c | 98031 | 9749 41741 126770 | 2147483647 98031 173 | 0.000 % |
61.92/62.03 c | 98627 | 9749 41741 126770 | 2147483647 98627 173 | 0.000 % |
62.43/62.58 c | 99282 | 9749 41741 126770 | 2147483647 99282 173 | 0.000 % |
63.03/63.19 c | 100005 | 9749 41741 126770 | 2147483647 100005 173 | 0.000 % |
63.73/63.88 c | 100799 | 9749 41741 126770 | 2147483647 100799 173 | 0.000 % |
64.53/64.68 c | 101670 | 9749 41741 126770 | 2147483647 101670 173 | 0.000 % |
65.42/65.51 c | 102630 | 9749 41741 126770 | 2147483647 102630 173 | 0.000 % |
66.32/66.43 c | 103683 | 9749 41741 126770 | 2147483647 103683 173 | 0.000 % |
67.32/67.48 c | 104841 | 9749 41741 126770 | 2147483647 104841 174 | 0.000 % |
67.42/67.58 c | 104941 | 9749 41741 126770 | 2147483647 104941 174 | 0.000 % |
67.52/67.69 c | 105051 | 9749 41741 126770 | 2147483647 105051 174 | 0.000 % |
67.72/67.83 c | 105173 | 9749 41741 126770 | 2147483647 105173 174 | 0.000 % |
67.82/67.98 c | 105307 | 9749 41741 126770 | 2147483647 105307 173 | 0.000 % |
68.02/68.14 c | 105453 | 9749 41741 126770 | 2147483647 105453 173 | 0.000 % |
68.22/68.31 c | 105613 | 9749 41741 126770 | 2147483647 105613 173 | 0.000 % |
68.32/68.49 c | 105790 | 9749 41741 126770 | 2147483647 105790 173 | 0.000 % |
68.52/68.68 c | 105985 | 9749 41741 126770 | 2147483647 105985 173 | 0.000 % |
68.83/68.90 c | 106197 | 9749 41741 126770 | 2147483647 106197 173 | 0.000 % |
69.03/69.13 c | 106430 | 9749 41741 126770 | 2147483647 106430 173 | 0.000 % |
69.33/69.40 c | 106686 | 9749 41741 126770 | 2147483647 106686 173 | 0.000 % |
69.53/69.65 c | 106969 | 9749 41741 126770 | 2147483647 106969 173 | 0.000 % |
69.83/69.97 c | 107278 | 9749 41741 126770 | 2147483647 107278 173 | 0.000 % |
70.13/70.29 c | 107617 | 9749 41741 126770 | 2147483647 107617 174 | 0.000 % |
70.52/70.62 c | 107989 | 9749 41741 126770 | 2147483647 107989 174 | 0.000 % |
70.92/71.03 c | 108399 | 9749 41741 126770 | 2147483647 108399 174 | 0.000 % |
71.32/71.43 c | 108848 | 9749 41741 126770 | 2147483647 108848 174 | 0.000 % |
71.82/71.93 c | 109342 | 9749 41741 126770 | 2147483647 109342 174 | 0.000 % |
72.33/72.48 c | 109885 | 9749 41741 126770 | 2147483647 109885 174 | 0.000 % |
72.92/73.04 c | 110482 | 9749 41741 126770 | 2147483647 110482 174 | 0.000 % |
73.52/73.67 c | 111138 | 9749 41741 126770 | 2147483647 111138 174 | 0.000 % |
74.22/74.34 c | 111859 | 9749 41741 126770 | 2147483647 111859 175 | 0.000 % |
74.92/75.04 c | 112651 | 9749 41741 126770 | 2147483647 112651 175 | 0.000 % |
75.73/75.89 c | 113522 | 9749 41741 126770 | 2147483647 113522 175 | 0.000 % |
76.72/76.85 c | 114480 | 9749 41741 126770 | 2147483647 114480 175 | 0.000 % |
77.72/77.88 c | 115536 | 9749 41741 126770 | 2147483647 115536 175 | 0.000 % |
78.82/78.98 c | 116694 | 9749 41741 126770 | 2147483647 116694 176 | 0.000 % |
80.12/80.22 c | 117967 | 9749 41741 126770 | 2147483647 117967 176 | 0.000 % |
80.22/80.34 c | 118068 | 9749 41741 126770 | 2147483647 118068 176 | 0.000 % |
80.32/80.49 c | 118179 | 9749 41741 126770 | 2147483647 118179 176 | 0.000 % |
80.52/80.63 c | 118301 | 9749 41741 126770 | 2147483647 118301 176 | 0.000 % |
80.62/80.79 c | 118435 | 9749 41741 126770 | 2147483647 118435 176 | 0.000 % |
80.82/80.95 c | 118581 | 9749 41741 126770 | 2147483647 118581 176 | 0.000 % |
81.02/81.15 c | 118742 | 9749 41741 126770 | 2147483647 118742 176 | 0.000 % |
81.22/81.35 c | 118918 | 9749 41741 126770 | 2147483647 118918 176 | 0.000 % |
81.42/81.55 c | 119113 | 9749 41741 126770 | 2147483647 119113 176 | 0.000 % |
81.62/81.79 c | 119325 | 9749 41741 126770 | 2147483647 119325 176 | 0.000 % |
81.92/82.06 c | 119558 | 9749 41741 126770 | 2147483647 119558 175 | 0.000 % |
82.22/82.36 c | 119814 | 9749 41741 126770 | 2147483647 119814 175 | 0.000 % |
82.52/82.68 c | 120097 | 9749 41741 126770 | 2147483647 120097 175 | 0.000 % |
82.92/83.00 c | 120408 | 9749 41741 126770 | 2147483647 120408 175 | 0.000 % |
83.21/83.35 c | 120747 | 9749 41741 126770 | 2147483647 120747 175 | 0.000 % |
83.61/83.72 c | 121120 | 9749 41741 126770 | 2147483647 121120 175 | 0.000 % |
84.02/84.13 c | 121529 | 9749 41741 126770 | 2147483647 121529 175 | 0.000 % |
84.53/84.62 c | 121978 | 9749 41741 126770 | 2147483647 121978 175 | 0.000 % |
85.02/85.14 c | 122471 | 9749 41741 126770 | 2147483647 122471 175 | 0.000 % |
85.62/85.74 c | 123014 | 9749 41741 126770 | 2147483647 123014 176 | 0.000 % |
86.31/86.43 c | 123612 | 9749 41741 126770 | 2147483647 123612 175 | 0.000 % |
87.01/87.16 c | 124267 | 9749 41741 126770 | 2147483647 124267 175 | 0.000 % |
87.71/87.85 c | 124987 | 9749 41741 126770 | 2147483647 124987 176 | 0.000 % |
88.52/88.70 c | 125785 | 9749 41741 126770 | 2147483647 125785 176 | 0.000 % |
89.41/89.54 c | 126656 | 9749 41741 126770 | 2147483647 126656 176 | 0.000 % |
90.41/90.59 c | 127614 | 9749 41741 126770 | 2147483647 127614 176 | 0.000 % |
91.52/91.68 c | 128668 | 9749 41741 126770 | 2147483647 128668 177 | 0.000 % |
92.71/92.84 c | 129826 | 9749 41741 126770 | 2147483647 129826 177 | 0.000 % |
94.01/94.16 c | 131100 | 9749 41741 126770 | 2147483647 131100 177 | 0.000 % |
95.51/95.66 c | 132500 | 9749 41741 126770 | 2147483647 132500 178 | 0.000 % |
95.71/95.80 c | 132602 | 9749 41741 126770 | 2147483647 132602 178 | 0.000 % |
95.81/95.95 c | 132712 | 9749 41741 126770 | 2147483647 132712 178 | 0.000 % |
95.91/96.09 c | 132835 | 9749 41741 126770 | 2147483647 132835 178 | 0.000 % |
96.11/96.26 c | 132968 | 9749 41741 126770 | 2147483647 132968 177 | 0.000 % |
96.31/96.44 c | 133115 | 9749 41741 126770 | 2147483647 133115 177 | 0.000 % |
96.51/96.64 c | 133275 | 9749 41741 126770 | 2147483647 133275 177 | 0.000 % |
96.71/96.81 c | 133451 | 9749 41741 126770 | 2147483647 133451 177 | 0.000 % |
96.91/97.06 c | 133645 | 9749 41741 126770 | 2147483647 133645 177 | 0.000 % |
97.11/97.29 c | 133857 | 9749 41741 126770 | 2147483647 133857 177 | 0.000 % |
97.42/97.55 c | 134090 | 9749 41741 126770 | 2147483647 134090 177 | 0.000 % |
97.72/97.88 c | 134346 | 9749 41741 126770 | 2147483647 134346 177 | 0.000 % |
98.12/98.23 c | 134628 | 9749 41741 126770 | 2147483647 134628 177 | 0.000 % |
98.51/98.62 c | 134939 | 9749 41741 126770 | 2147483647 134939 177 | 0.000 % |
98.82/98.99 c | 135278 | 9749 41741 126770 | 2147483647 135278 177 | 0.000 % |
99.31/99.44 c | 135652 | 9749 41741 126770 | 2147483647 135652 177 | 0.000 % |
99.71/99.87 c | 136061 | 9749 41741 126770 | 2147483647 136061 177 | 0.000 % |
100.31/100.40 c | 136510 | 9749 41741 126770 | 2147483647 136510 178 | 0.000 % |
100.81/100.95 c | 137003 | 9749 41741 126770 | 2147483647 137003 178 | 0.000 % |
101.51/101.65 c | 137545 | 9749 41741 126770 | 2147483647 137545 178 | 0.000 % |
102.22/102.35 c | 138143 | 9749 41741 126770 | 2147483647 138143 178 | 0.000 % |
102.91/103.10 c | 138799 | 9749 41741 126770 | 2147483647 138799 178 | 0.000 % |
103.81/103.94 c | 139519 | 9749 41741 126770 | 2147483647 139519 178 | 0.000 % |
104.71/104.81 c | 140312 | 9749 41741 126770 | 2147483647 140312 178 | 0.000 % |
105.61/105.78 c | 141183 | 9749 41741 126770 | 2147483647 141183 178 | 0.000 % |
106.71/106.88 c | 142141 | 9749 41741 126770 | 2147483647 142141 178 | 0.000 % |
107.81/107.94 c | 143194 | 9749 41741 126770 | 2147483647 143194 178 | 0.000 % |
109.01/109.16 c | 144357 | 9749 41741 126770 | 2147483647 144357 178 | 0.000 % |
110.41/110.59 c | 145630 | 9749 41741 126770 | 2147483647 145630 179 | 0.000 % |
111.91/112.07 c | 147032 | 9749 41741 126770 | 2147483647 147032 179 | 0.000 % |
113.61/113.76 c | 148572 | 9749 41741 126770 | 2147483647 148572 179 | 0.000 % |
113.81/113.92 c | 148672 | 9749 41741 126770 | 2147483647 148672 179 | 0.000 % |
113.91/114.08 c | 148783 | 9749 41741 126770 | 2147483647 148783 179 | 0.000 % |
114.11/114.23 c | 148904 | 9749 41741 126770 | 2147483647 148904 179 | 0.000 % |
114.21/114.39 c | 149037 | 9749 41741 126770 | 2147483647 149037 179 | 0.000 % |
114.40/114.59 c | 149183 | 9749 41741 126770 | 2147483647 149183 179 | 0.000 % |
114.70/114.81 c | 149346 | 9749 41741 126770 | 2147483647 149346 179 | 0.000 % |
114.90/115.01 c | 149522 | 9749 41741 126770 | 2147483647 149522 179 | 0.000 % |
115.10/115.29 c | 149717 | 9749 41741 126770 | 2147483647 149717 179 | 0.000 % |
115.40/115.59 c | 149931 | 9749 41741 126770 | 2147483647 149931 179 | 0.000 % |
115.70/115.89 c | 150164 | 9749 41741 126770 | 2147483647 150164 179 | 0.000 % |
116.10/116.23 c | 150420 | 9749 41741 126770 | 2147483647 150420 179 | 0.000 % |
116.40/116.60 c | 150703 | 9749 41741 126770 | 2147483647 150703 179 | 0.000 % |
116.80/116.97 c | 151012 | 9749 41741 126770 | 2147483647 151012 179 | 0.000 % |
117.31/117.44 c | 151352 | 9749 41741 126770 | 2147483647 151352 179 | 0.000 % |
117.81/117.92 c | 151724 | 9749 41741 126770 | 2147483647 151724 179 | 0.000 % |
118.31/118.40 c | 152133 | 9749 41741 126770 | 2147483647 152133 179 | 0.000 % |
118.81/118.95 c | 152582 | 9749 41741 126770 | 2147483647 152582 179 | 0.000 % |
119.40/119.58 c | 153075 | 9749 41741 126770 | 2147483647 153075 179 | 0.000 % |
120.10/120.29 c | 153617 | 9749 41741 126770 | 2147483647 153617 179 | 0.000 % |
120.80/121.00 c | 154213 | 9749 41741 126770 | 2147483647 154213 179 | 0.000 % |
121.60/121.78 c | 154868 | 9749 41741 126770 | 2147483647 154868 179 | 0.000 % |
122.50/122.62 c | 155589 | 9749 41741 126770 | 2147483647 155589 180 | 0.000 % |
123.49/123.66 c | 156382 | 9749 41741 126770 | 2147483647 156382 180 | 0.000 % |
124.59/124.75 c | 157256 | 9749 41741 126770 | 2147483647 157256 180 | 0.000 % |
125.79/125.92 c | 158217 | 9749 41741 126770 | 2147483647 158217 180 | 0.000 % |
127.00/127.12 c | 159272 | 9749 41741 126770 | 2147483647 159272 180 | 0.000 % |
128.30/128.46 c | 160433 | 9749 41741 126770 | 2147483647 160433 180 | 0.000 % |
129.80/129.93 c | 161709 | 9749 41741 126770 | 2147483647 161709 180 | 0.000 % |
131.40/131.56 c | 163109 | 9749 41741 126770 | 2147483647 163109 180 | 0.000 % |
133.19/133.39 c | 164650 | 9749 41741 126770 | 2147483647 164650 180 | 0.000 % |
135.29/135.44 c | 166344 | 9749 41741 126770 | 2147483647 166344 181 | 0.000 % |
135.39/135.57 c | 166447 | 9749 41741 126770 | 2147483647 166447 181 | 0.000 % |
135.59/135.73 c | 166557 | 9749 41741 126770 | 2147483647 166557 181 | 0.000 % |
135.79/135.91 c | 166678 | 9749 41741 126770 | 2147483647 166678 181 | 0.000 % |
135.89/136.09 c | 166813 | 9749 41741 126770 | 2147483647 166813 181 | 0.000 % |
136.19/136.32 c | 166959 | 9749 41741 126770 | 2147483647 166959 181 | 0.000 % |
136.39/136.54 c | 167122 | 9749 41741 126770 | 2147483647 167122 181 | 0.000 % |
136.69/136.82 c | 167299 | 9749 41741 126770 | 2147483647 167299 181 | 0.000 % |
136.89/137.09 c | 167492 | 9749 41741 126770 | 2147483647 167492 181 | 0.000 % |
137.29/137.41 c | 167704 | 9749 41741 126770 | 2147483647 167704 181 | 0.000 % |
137.59/137.75 c | 167943 | 9749 41741 126770 | 2147483647 167943 181 | 0.000 % |
137.99/138.15 c | 168199 | 9749 41741 126770 | 2147483647 168199 181 | 0.000 % |
138.30/138.49 c | 168480 | 9749 41741 126770 | 2147483647 168480 180 | 0.000 % |
138.79/138.91 c | 168791 | 9749 41741 126770 | 2147483647 168791 180 | 0.000 % |
139.19/139.38 c | 169130 | 9749 41741 126770 | 2147483647 169130 180 | 0.000 % |
139.69/139.90 c | 169502 | 9749 41741 126770 | 2147483647 169502 180 | 0.000 % |
140.39/140.50 c | 169911 | 9749 41741 126770 | 2147483647 169911 180 | 0.000 % |
140.89/141.09 c | 170360 | 9749 41741 126770 | 2147483647 170360 180 | 0.000 % |
141.59/141.72 c | 170853 | 9749 41741 126770 | 2147483647 170853 180 | 0.000 % |
142.29/142.45 c | 171396 | 9749 41741 126770 | 2147483647 171396 180 | 0.000 % |
143.09/143.25 c | 171994 | 9749 41741 126770 | 2147483647 171994 180 | 0.000 % |
143.90/144.08 c | 172649 | 9749 41741 126770 | 2147483647 172649 180 | 0.000 % |
144.89/145.00 c | 173370 | 9749 41741 126770 | 2147483647 173370 181 | 0.000 % |
145.79/145.97 c | 174163 | 9749 41741 126770 | 2147483647 174163 181 | 0.000 % |
146.89/147.06 c | 175034 | 9749 41741 126770 | 2147483647 175034 181 | 0.000 % |
148.18/148.33 c | 175993 | 9749 41741 126770 | 2147483647 175993 181 | 0.000 % |
149.50/149.68 c | 177046 | 9749 41741 126770 | 2147483647 177046 181 | 0.000 % |
151.09/151.24 c | 178204 | 9749 41741 126770 | 2147483647 178204 181 | 0.000 % |
152.69/152.83 c | 179479 | 9749 41741 126770 | 2147483647 179479 181 | 0.000 % |
154.49/154.63 c | 180880 | 9749 41741 126770 | 2147483647 180880 181 | 0.000 % |
156.38/156.60 c | 182420 | 9749 41741 126770 | 2147483647 182420 181 | 0.000 % |
158.68/158.83 c | 184114 | 9749 41741 126770 | 2147483647 184114 182 | 0.000 % |
161.18/161.35 c | 185977 | 9749 41741 126770 | 2147483647 185977 182 | 0.000 % |
161.38/161.52 c | 186078 | 9749 41741 126770 | 2147483647 186078 182 | 0.000 % |
161.58/161.75 c | 186188 | 9749 41741 126770 | 2147483647 186188 182 | 0.000 % |
161.78/161.96 c | 186310 | 9749 41741 126770 | 2147483647 186310 182 | 0.000 % |
161.98/162.16 c | 186443 | 9749 41741 126770 | 2147483647 186443 182 | 0.000 % |
162.19/162.39 c | 186589 | 9749 41741 126770 | 2147483647 186589 182 | 0.000 % |
162.49/162.66 c | 186751 | 9749 41741 126770 | 2147483647 186751 182 | 0.000 % |
162.79/162.94 c | 186928 | 9749 41741 126770 | 2147483647 186928 182 | 0.000 % |
163.09/163.24 c | 187123 | 9749 41741 126770 | 2147483647 187123 182 | 0.000 % |
163.39/163.57 c | 187337 | 9749 41741 126770 | 2147483647 187337 182 | 0.000 % |
163.79/163.93 c | 187571 | 9749 41741 126770 | 2147483647 187571 182 | 0.000 % |
164.19/164.35 c | 187827 | 9749 41741 126770 | 2147483647 187827 181 | 0.000 % |
164.58/164.76 c | 188108 | 9749 41741 126770 | 2147483647 188108 181 | 0.000 % |
165.08/165.21 c | 188417 | 9749 41741 126770 | 2147483647 188417 181 | 0.000 % |
165.58/165.72 c | 188756 | 9749 41741 126770 | 2147483647 188756 181 | 0.000 % |
166.08/166.25 c | 189128 | 9749 41741 126770 | 2147483647 189128 181 | 0.000 % |
166.68/166.80 c | 189538 | 9749 41741 126770 | 2147483647 189538 181 | 0.000 % |
167.38/167.51 c | 189988 | 9749 41741 126770 | 2147483647 189988 181 | 0.000 % |
168.08/168.23 c | 190482 | 9749 41741 126770 | 2147483647 190482 181 | 0.000 % |
168.78/168.98 c | 191024 | 9749 41741 126770 | 2147483647 191024 181 | 0.000 % |
169.58/169.79 c | 191621 | 9749 41741 126770 | 2147483647 191621 181 | 0.000 % |
170.58/170.75 c | 192276 | 9749 41741 126770 | 2147483647 192276 181 | 0.000 % |
171.58/171.76 c | 192997 | 9749 41741 126770 | 2147483647 192997 181 | 0.000 % |
172.68/172.85 c | 193791 | 9749 41741 126770 | 2147483647 193791 181 | 0.000 % |
173.88/174.03 c | 194662 | 9749 41741 126770 | 2147483647 194662 181 | 0.000 % |
175.28/175.42 c | 195622 | 9749 41741 126770 | 2147483647 195622 181 | 0.000 % |
176.68/176.89 c | 196677 | 9749 41741 126770 | 2147483647 196677 182 | 0.000 % |
178.37/178.53 c | 197836 | 9749 41741 126770 | 2147483647 197836 182 | 0.000 % |
180.07/180.25 c | 199110 | 9749 41741 126770 | 2147483647 199110 182 | 0.000 % |
181.97/182.17 c | 200511 | 9749 41741 126770 | 2147483647 200511 182 | 0.000 % |
184.27/184.43 c | 202052 | 9749 41741 126770 | 2147483647 202052 182 | 0.000 % |
186.68/186.85 c | 203746 | 9749 41741 126770 | 2147483647 203746 182 | 0.000 % |
189.28/189.48 c | 205611 | 9749 41741 126770 | 2147483647 205611 182 | 0.000 % |
192.08/192.25 c | 207660 | 9749 41741 126770 | 2147483647 207660 183 | 0.000 % |
192.28/192.42 c | 207762 | 9749 41741 126770 | 2147483647 207762 183 | 0.000 % |
192.48/192.60 c | 207873 | 9749 41741 126770 | 2147483647 207873 183 | 0.000 % |
192.68/192.81 c | 207996 | 9749 41741 126770 | 2147483647 207996 183 | 0.000 % |
192.88/193.07 c | 208129 | 9749 41741 126770 | 2147483647 208129 183 | 0.000 % |
193.18/193.33 c | 208277 | 9749 41741 126770 | 2147483647 208277 183 | 0.000 % |
193.48/193.62 c | 208437 | 9749 41741 126770 | 2147483647 208437 182 | 0.000 % |
193.77/193.93 c | 208614 | 9749 41741 126770 | 2147483647 208614 182 | 0.000 % |
194.07/194.29 c | 208808 | 9749 41741 126770 | 2147483647 208808 182 | 0.000 % |
194.48/194.65 c | 209023 | 9749 41741 126770 | 2147483647 209023 182 | 0.000 % |
194.87/195.07 c | 209256 | 9749 41741 126770 | 2147483647 209256 182 | 0.000 % |
195.37/195.50 c | 209514 | 9749 41741 126770 | 2147483647 209514 182 | 0.000 % |
195.77/195.98 c | 209796 | 9749 41741 126770 | 2147483647 209796 182 | 0.000 % |
196.27/196.49 c | 210105 | 9749 41741 126770 | 2147483647 210105 182 | 0.000 % |
196.77/196.99 c | 210445 | 9749 41741 126770 | 2147483647 210445 182 | 0.000 % |
197.37/197.59 c | 210819 | 9749 41741 126770 | 2147483647 210819 182 | 0.000 % |
198.08/198.26 c | 211230 | 9749 41741 126770 | 2147483647 211230 182 | 0.000 % |
198.78/198.93 c | 211679 | 9749 41741 126770 | 2147483647 211679 182 | 0.000 % |
199.57/199.71 c | 212172 | 9749 41741 126770 | 2147483647 212172 182 | 0.000 % |
200.37/200.58 c | 212714 | 9749 41741 126770 | 2147483647 212714 182 | 0.000 % |
201.27/201.48 c | 213312 | 9749 41741 126770 | 2147483647 213312 182 | 0.000 % |
202.28/202.41 c | 213967 | 9749 41741 126770 | 2147483647 213967 182 | 0.000 % |
203.37/203.55 c | 214687 | 9749 41741 126770 | 2147483647 214687 182 | 0.000 % |
204.47/204.69 c | 215479 | 9749 41741 126770 | 2147483647 215479 182 | 0.000 % |
205.87/206.05 c | 216350 | 9749 41741 126770 | 2147483647 216350 182 | 0.000 % |
207.37/207.53 c | 217308 | 9749 41741 126770 | 2147483647 217308 182 | 0.000 % |
208.87/209.09 c | 218361 | 9749 41741 126770 | 2147483647 218361 183 | 0.000 % |
210.57/210.71 c | 219520 | 9749 41741 126770 | 2147483647 219520 183 | 0.000 % |
212.67/212.83 c | 220793 | 9749 41741 126770 | 2147483647 220793 183 | 0.000 % |
214.77/214.90 c | 222194 | 9749 41741 126770 | 2147483647 222194 183 | 0.000 % |
216.97/217.18 c | 223736 | 9749 41741 126770 | 2147483647 223736 183 | 0.000 % |
219.67/219.90 c | 225433 | 9749 41741 126770 | 2147483647 225433 183 | 0.000 % |
222.46/222.64 c | 227296 | 9749 41741 126770 | 2147483647 227296 184 | 0.000 % |
225.46/225.68 c | 229346 | 9749 41741 126770 | 2147483647 229346 184 | 0.000 % |
228.86/229.06 c | 231599 | 9749 41741 126770 | 2147483647 231599 184 | 0.000 % |
229.06/229.28 c | 231700 | 9749 41741 126770 | 2147483647 231700 184 | 0.000 % |
229.36/229.51 c | 231810 | 9749 41741 126770 | 2147483647 231810 184 | 0.000 % |
229.56/229.72 c | 231934 | 9749 41741 126770 | 2147483647 231934 184 | 0.000 % |
229.77/229.97 c | 232067 | 9749 41741 126770 | 2147483647 232067 184 | 0.000 % |
230.06/230.28 c | 232213 | 9749 41741 126770 | 2147483647 232213 184 | 0.000 % |
230.46/230.60 c | 232373 | 9749 41741 126770 | 2147483647 232373 184 | 0.000 % |
230.76/230.92 c | 232549 | 9749 41741 126770 | 2147483647 232549 184 | 0.000 % |
231.06/231.30 c | 232743 | 9749 41741 126770 | 2147483647 232743 184 | 0.000 % |
231.56/231.71 c | 232955 | 9749 41741 126770 | 2147483647 232955 184 | 0.000 % |
231.96/232.16 c | 233188 | 9749 41741 126770 | 2147483647 233188 184 | 0.000 % |
232.36/232.56 c | 233444 | 9749 41741 126770 | 2147483647 233444 184 | 0.000 % |
232.86/233.04 c | 233726 | 9749 41741 126770 | 2147483647 233726 184 | 0.000 % |
233.35/233.57 c | 234035 | 9749 41741 126770 | 2147483647 234035 184 | 0.000 % |
233.95/234.18 c | 234374 | 9749 41741 126770 | 2147483647 234374 184 | 0.000 % |
234.65/234.81 c | 234748 | 9749 41741 126770 | 2147483647 234748 184 | 0.000 % |
235.35/235.56 c | 235158 | 9749 41741 126770 | 2147483647 235158 184 | 0.000 % |
236.16/236.32 c | 235609 | 9749 41741 126770 | 2147483647 235609 184 | 0.000 % |
236.96/237.14 c | 236104 | 9749 41741 126770 | 2147483647 236104 184 | 0.000 % |
237.86/238.07 c | 236647 | 9749 41741 126770 | 2147483647 236647 184 | 0.000 % |
238.96/239.15 c | 237243 | 9749 41741 126770 | 2147483647 237243 184 | 0.000 % |
240.05/240.24 c | 237900 | 9749 41741 126770 | 2147483647 237900 184 | 0.000 % |
241.36/241.52 c | 238621 | 9749 41741 126770 | 2147483647 238621 184 | 0.000 % |
242.66/242.90 c | 239415 | 9749 41741 126770 | 2147483647 239415 184 | 0.000 % |
244.06/244.26 c | 240286 | 9749 41741 126770 | 2147483647 240286 184 | 0.000 % |
245.65/245.82 c | 241244 | 9749 41741 126770 | 2147483647 241244 185 | 0.000 % |
247.26/247.48 c | 242297 | 9749 41741 126770 | 2147483647 242297 185 | 0.000 % |
249.06/249.24 c | 243457 | 9749 41741 126770 | 2147483647 243457 185 | 0.000 % |
251.25/251.43 c | 244730 | 9749 41741 126770 | 2147483647 244730 185 | 0.000 % |
253.35/253.54 c | 246130 | 9749 41741 126770 | 2147483647 246130 186 | 0.000 % |
255.85/256.01 c | 247671 | 9749 41741 126770 | 2147483647 247671 186 | 0.000 % |
258.36/258.52 c | 249365 | 9749 41741 126770 | 2147483647 249365 186 | 0.000 % |
261.15/261.34 c | 251232 | 9749 41741 126770 | 2147483647 251232 186 | 0.000 % |
264.65/264.85 c | 253282 | 9749 41741 126770 | 2147483647 253282 186 | 0.000 % |
268.45/268.64 c | 255535 | 9749 41741 126770 | 2147483647 255535 187 | 0.000 % |
272.65/272.85 c | 258013 | 9749 41741 126770 | 2147483647 258013 187 | 0.000 % |
272.85/273.07 c | 258113 | 9749 41741 126770 | 2147483647 258113 187 | 0.000 % |
273.15/273.30 c | 258223 | 9749 41741 126770 | 2147483647 258223 187 | 0.000 % |
273.35/273.58 c | 258344 | 9749 41741 126770 | 2147483647 258344 187 | 0.000 % |
273.65/273.87 c | 258477 | 9749 41741 126770 | 2147483647 258477 187 | 0.000 % |
273.94/274.18 c | 258624 | 9749 41741 126770 | 2147483647 258624 187 | 0.000 % |
274.34/274.53 c | 258784 | 9749 41741 126770 | 2147483647 258784 187 | 0.000 % |
274.64/274.88 c | 258961 | 9749 41741 126770 | 2147483647 258961 187 | 0.000 % |
275.04/275.29 c | 259155 | 9749 41741 126770 | 2147483647 259155 187 | 0.000 % |
275.44/275.69 c | 259369 | 9749 41741 126770 | 2147483647 259369 187 | 0.000 % |
275.95/276.18 c | 259604 | 9749 41741 126770 | 2147483647 259604 187 | 0.000 % |
276.44/276.70 c | 259860 | 9749 41741 126770 | 2147483647 259860 187 | 0.000 % |
277.05/277.22 c | 260141 | 9749 41741 126770 | 2147483647 260141 187 | 0.000 % |
277.65/277.80 c | 260452 | 9749 41741 126770 | 2147483647 260452 186 | 0.000 % |
278.25/278.48 c | 260792 | 9749 41741 126770 | 2147483647 260792 186 | 0.000 % |
278.95/279.18 c | 261164 | 9749 41741 126770 | 2147483647 261164 186 | 0.000 % |
279.74/279.96 c | 261573 | 9749 41741 126770 | 2147483647 261573 186 | 0.000 % |
280.54/280.79 c | 262022 | 9749 41741 126770 | 2147483647 262022 186 | 0.000 % |
281.64/281.86 c | 262515 | 9749 41741 126770 | 2147483647 262515 186 | 0.000 % |
282.64/282.88 c | 263058 | 9749 41741 126770 | 2147483647 263058 186 | 0.000 % |
283.74/283.98 c | 263654 | 9749 41741 126770 | 2147483647 263654 187 | 0.000 % |
284.94/285.16 c | 264309 | 9749 41741 126770 | 2147483647 264309 187 | 0.000 % |
286.34/286.52 c | 265030 | 9749 41741 126770 | 2147483647 265030 187 | 0.000 % |
287.74/287.90 c | 265824 | 9749 41741 126770 | 2147483647 265824 187 | 0.000 % |
289.24/289.44 c | 266695 | 9749 41741 126770 | 2147483647 266695 187 | 0.000 % |
290.74/290.99 c | 267655 | 9749 41741 126770 | 2147483647 267655 187 | 0.000 % |
292.54/292.77 c | 268708 | 9749 41741 126770 | 2147483647 268708 187 | 0.000 % |
294.64/294.85 c | 269867 | 9749 41741 126770 | 2147483647 269867 187 | 0.000 % |
296.94/297.14 c | 271141 | 9749 41741 126770 | 2147483647 271141 187 | 0.000 % |
299.34/299.58 c | 272542 | 9749 41741 126770 | 2147483647 272542 187 | 0.000 % |
302.14/302.34 c | 274083 | 9749 41741 126770 | 2147483647 274083 187 | 0.000 % |
305.04/305.29 c | 275779 | 9749 41741 126770 | 2147483647 275779 188 | 0.000 % |
308.34/308.54 c | 277642 | 9749 41741 126770 | 2147483647 277642 188 | 0.000 % |
311.93/312.19 c | 279691 | 9749 41741 126770 | 2147483647 279691 188 | 0.000 % |
315.74/315.93 c | 281946 | 9749 41741 126770 | 2147483647 281946 188 | 0.000 % |
320.24/320.41 c | 284426 | 9749 41741 126770 | 2147483647 284426 188 | 0.000 % |
324.93/325.14 c | 287151 | 9749 41741 126770 | 2147483647 287151 188 | 0.000 % |
325.13/325.36 c | 287252 | 9749 41741 126770 | 2147483647 287252 188 | 0.000 % |
325.43/325.64 c | 287366 | 9749 41741 126770 | 2147483647 287366 188 | 0.000 % |
325.73/325.93 c | 287492 | 9749 41741 126770 | 2147483647 287492 188 | 0.000 % |
326.03/326.24 c | 287625 | 9749 41741 126770 | 2147483647 287625 188 | 0.000 % |
326.33/326.53 c | 287771 | 9749 41741 126770 | 2147483647 287771 188 | 0.000 % |
326.63/326.88 c | 287931 | 9749 41741 126770 | 2147483647 287931 188 | 0.000 % |
327.03/327.24 c | 288107 | 9749 41741 126770 | 2147483647 288107 188 | 0.000 % |
327.43/327.67 c | 288301 | 9749 41741 126770 | 2147483647 288301 188 | 0.000 % |
327.93/328.10 c | 288513 | 9749 41741 126770 | 2147483647 288513 188 | 0.000 % |
328.53/328.70 c | 288746 | 9749 41741 126770 | 2147483647 288746 188 | 0.000 % |
329.04/329.23 c | 289002 | 9749 41741 126770 | 2147483647 289002 188 | 0.000 % |
329.63/329.87 c | 289285 | 9749 41741 126770 | 2147483647 289285 188 | 0.000 % |
330.33/330.51 c | 289594 | 9749 41741 126770 | 2147483647 289594 188 | 0.000 % |
331.03/331.22 c | 289933 | 9749 41741 126770 | 2147483647 289933 188 | 0.000 % |
331.83/332.04 c | 290308 | 9749 41741 126770 | 2147483647 290308 188 | 0.000 % |
332.63/332.86 c | 290717 | 9749 41741 126770 | 2147483647 290717 188 | 0.000 % |
333.52/333.78 c | 291166 | 9749 41741 126770 | 2147483647 291166 188 | 0.000 % |
334.62/334.80 c | 291659 | 9749 41741 126770 | 2147483647 291659 188 | 0.000 % |
335.63/335.87 c | 292202 | 9749 41741 126770 | 2147483647 292202 188 | 0.000 % |
336.83/337.01 c | 292798 | 9749 41741 126770 | 2147483647 292798 188 | 0.000 % |
338.13/338.35 c | 293455 | 9749 41741 126770 | 2147483647 293455 188 | 0.000 % |
339.52/339.79 c | 294175 | 9749 41741 126770 | 2147483647 294175 188 | 0.000 % |
341.02/341.30 c | 294968 | 9749 41741 126770 | 2147483647 294968 188 | 0.000 % |
342.83/343.05 c | 295841 | 9749 41741 126770 | 2147483647 295841 188 | 0.000 % |
344.63/344.85 c | 296799 | 9749 41741 126770 | 2147483647 296799 188 | 0.000 % |
346.62/346.89 c | 297852 | 9749 41741 126770 | 2147483647 297852 188 | 0.000 % |
348.92/349.10 c | 299010 | 9749 41741 126770 | 2147483647 299010 188 | 0.000 % |
351.53/351.75 c | 300285 | 9749 41741 126770 | 2147483647 300285 188 | 0.000 % |
354.12/354.33 c | 301685 | 9749 41741 126770 | 2147483647 301685 188 | 0.000 % |
357.02/357.20 c | 303226 | 9749 41741 126770 | 2147483647 303226 189 | 0.000 % |
360.12/360.39 c | 304922 | 9749 41741 126770 | 2147483647 304922 189 | 0.000 % |
363.62/363.87 c | 306785 | 9749 41741 126770 | 2147483647 306785 189 | 0.000 % |
367.52/367.79 c | 308834 | 9749 41741 126770 | 2147483647 308834 189 | 0.000 % |
371.92/372.12 c | 311087 | 9749 41741 126770 | 2147483647 311087 189 | 0.000 % |
376.81/377.06 c | 313565 | 9749 41741 126770 | 2147483647 313565 190 | 0.000 % |
382.02/382.25 c | 316292 | 9749 41741 126770 | 2147483647 316292 190 | 0.000 % |
388.02/388.28 c | 319289 | 9749 41741 126770 | 2147483647 319289 190 | 0.000 % |
388.31/388.51 c | 319389 | 9749 41741 126770 | 2147483647 319389 190 | 0.000 % |
388.61/388.81 c | 319500 | 9749 41741 126770 | 2147483647 319500 190 | 0.000 % |
388.91/389.17 c | 319623 | 9749 41741 126770 | 2147483647 319623 190 | 0.000 % |
389.31/389.53 c | 319758 | 9749 41741 126770 | 2147483647 319758 190 | 0.000 % |
389.61/389.89 c | 319904 | 9749 41741 126770 | 2147483647 319904 190 | 0.000 % |
390.01/390.27 c | 320064 | 9749 41741 126770 | 2147483647 320064 190 | 0.000 % |
390.51/390.72 c | 320240 | 9749 41741 126770 | 2147483647 320240 190 | 0.000 % |
390.91/391.16 c | 320434 | 9749 41741 126770 | 2147483647 320434 190 | 0.000 % |
391.41/391.67 c | 320647 | 9749 41741 126770 | 2147483647 320647 190 | 0.000 % |
391.92/392.16 c | 320880 | 9749 41741 126770 | 2147483647 320880 190 | 0.000 % |
392.52/392.78 c | 321136 | 9749 41741 126770 | 2147483647 321136 190 | 0.000 % |
393.11/393.37 c | 321418 | 9749 41741 126770 | 2147483647 321418 190 | 0.000 % |
393.81/394.08 c | 321727 | 9749 41741 126770 | 2147483647 321727 190 | 0.000 % |
394.62/394.83 c | 322066 | 9749 41741 126770 | 2147483647 322066 190 | 0.000 % |
395.51/395.72 c | 322440 | 9749 41741 126770 | 2147483647 322440 190 | 0.000 % |
396.51/396.72 c | 322849 | 9749 41741 126770 | 2147483647 322849 189 | 0.000 % |
397.51/397.74 c | 323298 | 9749 41741 126770 | 2147483647 323298 189 | 0.000 % |
398.61/398.85 c | 323791 | 9749 41741 126770 | 2147483647 323791 189 | 0.000 % |
399.81/400.09 c | 324333 | 9749 41741 126770 | 2147483647 324333 189 | 0.000 % |
401.11/401.40 c | 324929 | 9749 41741 126770 | 2147483647 324929 189 | 0.000 % |
402.61/402.85 c | 325584 | 9749 41741 126770 | 2147483647 325584 189 | 0.000 % |
404.11/404.37 c | 326304 | 9749 41741 126770 | 2147483647 326304 189 | 0.000 % |
405.91/406.12 c | 327097 | 9749 41741 126770 | 2147483647 327097 190 | 0.000 % |
407.71/407.99 c | 327968 | 9749 41741 126770 | 2147483647 327968 190 | 0.000 % |
409.81/410.02 c | 328927 | 9749 41741 126770 | 2147483647 328927 190 | 0.000 % |
411.91/412.12 c | 329985 | 9749 41741 126770 | 2147483647 329985 190 | 0.000 % |
414.31/414.53 c | 331145 | 9749 41741 126770 | 2147483647 331145 190 | 0.000 % |
417.10/417.33 c | 332418 | 9749 41741 126770 | 2147483647 332418 190 | 0.000 % |
420.01/420.22 c | 333818 | 9749 41741 126770 | 2147483647 333818 190 | 0.000 % |
423.21/423.45 c | 335358 | 9749 41741 126770 | 2147483647 335358 190 | 0.000 % |
427.01/427.23 c | 337052 | 9749 41741 126770 | 2147483647 337052 190 | 0.000 % |
430.91/431.17 c | 338916 | 9749 41741 126770 | 2147483647 338916 190 | 0.000 % |
434.81/435.04 c | 340965 | 9749 41741 126770 | 2147483647 340965 190 | 0.000 % |
439.80/440.01 c | 343218 | 9749 41741 126770 | 2147483647 343218 190 | 0.000 % |
445.20/445.45 c | 345698 | 9749 41741 126770 | 2147483647 345698 191 | 0.000 % |
451.19/451.41 c | 348424 | 9749 41741 126770 | 2147483647 348424 191 | 0.000 % |
457.40/457.61 c | 351421 | 9749 41741 126770 | 2147483647 351421 191 | 0.000 % |
464.09/464.35 c | 354718 | 9749 41741 126770 | 2147483647 354718 191 | 0.000 % |
464.39/464.64 c | 354819 | 9749 41741 126770 | 2147483647 354819 191 | 0.000 % |
464.69/464.92 c | 354929 | 9749 41741 126770 | 2147483647 354929 191 | 0.000 % |
465.00/465.28 c | 355051 | 9749 41741 126770 | 2147483647 355051 191 | 0.000 % |
465.39/465.68 c | 355184 | 9749 41741 126770 | 2147483647 355184 191 | 0.000 % |
465.79/466.05 c | 355331 | 9749 41741 126770 | 2147483647 355331 191 | 0.000 % |
466.29/466.50 c | 355491 | 9749 41741 126770 | 2147483647 355491 191 | 0.000 % |
466.69/466.97 c | 355667 | 9749 41741 126770 | 2147483647 355667 191 | 0.000 % |
467.19/467.49 c | 355862 | 9749 41741 126770 | 2147483647 355862 191 | 0.000 % |
467.79/468.02 c | 356075 | 9749 41741 126770 | 2147483647 356075 191 | 0.000 % |
468.39/468.68 c | 356310 | 9749 41741 126770 | 2147483647 356310 191 | 0.000 % |
468.99/469.28 c | 356566 | 9749 41741 126770 | 2147483647 356566 191 | 0.000 % |
469.79/470.04 c | 356848 | 9749 41741 126770 | 2147483647 356848 191 | 0.000 % |
470.60/470.83 c | 357157 | 9749 41741 126770 | 2147483647 357157 191 | 0.000 % |
471.49/471.74 c | 357496 | 9749 41741 126770 | 2147483647 357496 191 | 0.000 % |
472.40/472.69 c | 357869 | 9749 41741 126770 | 2147483647 357869 191 | 0.000 % |
473.59/473.81 c | 358280 | 9749 41741 126770 | 2147483647 358280 191 | 0.000 % |
474.69/474.99 c | 358729 | 9749 41741 126770 | 2147483647 358729 191 | 0.000 % |
475.89/476.11 c | 359222 | 9749 41741 126770 | 2147483647 359222 191 | 0.000 % |
477.19/477.43 c | 359764 | 9749 41741 126770 | 2147483647 359764 191 | 0.000 % |
478.59/478.81 c | 360361 | 9749 41741 126770 | 2147483647 360361 191 | 0.000 % |
480.08/480.38 c | 361017 | 9749 41741 126770 | 2147483647 361017 191 | 0.000 % |
481.98/482.23 c | 361737 | 9749 41741 126770 | 2147483647 361737 191 | 0.000 % |
483.79/484.06 c | 362529 | 9749 41741 126770 | 2147483647 362529 191 | 0.000 % |
485.79/486.09 c | 363401 | 9749 41741 126770 | 2147483647 363401 191 | 0.000 % |
487.88/488.13 c | 364359 | 9749 41741 126770 | 2147483647 364359 191 | 0.000 % |
490.19/490.42 c | 365412 | 9749 41741 126770 | 2147483647 365412 191 | 0.000 % |
492.79/493.04 c | 366571 | 9749 41741 126770 | 2147483647 366571 191 | 0.000 % |
495.68/495.91 c | 367844 | 9749 41741 126770 | 2147483647 367844 191 | 0.000 % |
498.78/499.06 c | 369246 | 9749 41741 126770 | 2147483647 369246 191 | 0.000 % |
502.28/502.54 c | 370788 | 9749 41741 126770 | 2147483647 370788 191 | 0.000 % |
506.18/506.44 c | 372483 | 9749 41741 126770 | 2147483647 372483 191 | 0.000 % |
510.18/510.44 c | 374349 | 9749 41741 126770 | 2147483647 374349 191 | 0.000 % |
514.78/515.02 c | 376400 | 9749 41741 126770 | 2147483647 376400 191 | 0.000 % |
519.78/520.01 c | 378653 | 9749 41741 126770 | 2147483647 378653 192 | 0.000 % |
525.37/525.64 c | 381133 | 9749 41741 126770 | 2147483647 381133 192 | 0.000 % |
531.48/531.79 c | 383860 | 9749 41741 126770 | 2147483647 383860 192 | 0.000 % |
537.87/538.14 c | 386857 | 9749 41741 126770 | 2147483647 386857 192 | 0.000 % |
545.67/545.93 c | 390153 | 9749 41741 126770 | 2147483647 390153 192 | 0.000 % |
553.97/554.29 c | 393780 | 9749 41741 126770 | 2147483647 393780 193 | 0.000 % |
554.27/554.55 c | 393881 | 9749 41741 126770 | 2147483647 393881 193 | 0.000 % |
554.57/554.89 c | 393992 | 9749 41741 126770 | 2147483647 393992 193 | 0.000 % |
554.97/555.27 c | 394113 | 9749 41741 126770 | 2147483647 394113 193 | 0.000 % |
555.37/555.70 c | 394248 | 9749 41741 126770 | 2147483647 394248 193 | 0.000 % |
555.87/556.10 c | 394394 | 9749 41741 126770 | 2147483647 394394 193 | 0.000 % |
556.37/556.60 c | 394555 | 9749 41741 126770 | 2147483647 394555 193 | 0.000 % |
556.86/557.15 c | 394733 | 9749 41741 126770 | 2147483647 394733 193 | 0.000 % |
557.47/557.74 c | 394928 | 9749 41741 126770 | 2147483647 394928 193 | 0.000 % |
558.06/558.39 c | 395143 | 9749 41741 126770 | 2147483647 395143 193 | 0.000 % |
558.76/559.04 c | 395376 | 9749 41741 126770 | 2147483647 395376 193 | 0.000 % |
559.46/559.79 c | 395633 | 9749 41741 126770 | 2147483647 395633 193 | 0.000 % |
560.26/560.50 c | 395914 | 9749 41741 126770 | 2147483647 395914 193 | 0.000 % |
561.06/561.30 c | 396223 | 9749 41741 126770 | 2147483647 396223 193 | 0.000 % |
561.96/562.23 c | 396563 | 9749 41741 126770 | 2147483647 396563 193 | 0.000 % |
563.06/563.34 c | 396935 | 9749 41741 126770 | 2147483647 396935 193 | 0.000 % |
564.16/564.42 c | 397344 | 9749 41741 126770 | 2147483647 397344 193 | 0.000 % |
565.46/565.77 c | 397795 | 9749 41741 126770 | 2147483647 397795 193 | 0.000 % |
566.86/567.14 c | 398288 | 9749 41741 126770 | 2147483647 398288 193 | 0.000 % |
568.26/568.54 c | 398833 | 9749 41741 126770 | 2147483647 398833 193 | 0.000 % |
569.75/570.01 c | 399431 | 9749 41741 126770 | 2147483647 399431 193 | 0.000 % |
571.46/571.75 c | 400087 | 9749 41741 126770 | 2147483647 400087 193 | 0.000 % |
573.36/573.66 c | 400809 | 9749 41741 126770 | 2147483647 400809 193 | 0.000 % |
575.46/575.70 c | 401601 | 9749 41741 126770 | 2147483647 401601 193 | 0.000 % |
577.55/577.89 c | 402472 | 9749 41741 126770 | 2147483647 402472 193 | 0.000 % |
580.15/580.42 c | 403430 | 9749 41741 126770 | 2147483647 403430 193 | 0.000 % |
582.76/583.08 c | 404484 | 9749 41741 126770 | 2147483647 404484 193 | 0.000 % |
585.66/585.93 c | 405642 | 9749 41741 126770 | 2147483647 405642 192 | 0.000 % |
588.75/589.07 c | 406915 | 9749 41741 126770 | 2147483647 406915 192 | 0.000 % |
592.45/592.74 c | 408315 | 9749 41741 126770 | 2147483647 408315 192 | 0.000 % |
596.06/596.37 c | 409857 | 9749 41741 126770 | 2147483647 409857 192 | 0.000 % |
600.25/600.51 c | 411552 | 9749 41741 126770 | 2147483647 411552 193 | 0.000 % |
605.05/605.36 c | 413415 | 9749 41741 126770 | 2147483647 413415 193 | 0.000 % |
609.85/610.18 c | 415467 | 9749 41741 126770 | 2147483647 415467 193 | 0.000 % |
615.15/615.46 c | 417721 | 9749 41741 126770 | 2147483647 417721 193 | 0.000 % |
621.25/621.56 c | 420200 | 9749 41741 126770 | 2147483647 420200 194 | 0.000 % |
627.84/628.16 c | 422925 | 9749 41741 126770 | 2147483647 422925 194 | 0.000 % |
635.14/635.48 c | 425922 | 9749 41741 126770 | 2147483647 425922 194 | 0.000 % |
643.15/643.46 c | 429220 | 9749 41741 126770 | 2147483647 429220 194 | 0.000 % |
652.44/652.78 c | 432846 | 9749 41741 126770 | 2147483647 432846 194 | 0.000 % |
662.03/662.34 c | 436835 | 9749 41741 126770 | 2147483647 436835 195 | 0.000 % |
662.33/662.64 c | 436936 | 9749 41741 126770 | 2147483647 436936 195 | 0.000 % |
662.73/663.02 c | 437046 | 9749 41741 126770 | 2147483647 437046 195 | 0.000 % |
663.23/663.54 c | 437168 | 9749 41741 126770 | 2147483647 437168 195 | 0.000 % |
663.73/664.00 c | 437304 | 9749 41741 126770 | 2147483647 437304 195 | 0.000 % |
664.13/664.50 c | 437450 | 9749 41741 126770 | 2147483647 437450 195 | 0.000 % |
664.73/665.04 c | 437610 | 9749 41741 126770 | 2147483647 437610 195 | 0.000 % |
665.34/665.65 c | 437786 | 9749 41741 126770 | 2147483647 437786 195 | 0.000 % |
666.04/666.32 c | 437979 | 9749 41741 126770 | 2147483647 437979 195 | 0.000 % |
666.73/667.03 c | 438192 | 9749 41741 126770 | 2147483647 438192 195 | 0.000 % |
667.53/667.80 c | 438425 | 9749 41741 126770 | 2147483647 438425 195 | 0.000 % |
668.23/668.60 c | 438682 | 9749 41741 126770 | 2147483647 438682 195 | 0.000 % |
669.13/669.46 c | 438965 | 9749 41741 126770 | 2147483647 438965 195 | 0.000 % |
670.03/670.37 c | 439274 | 9749 41741 126770 | 2147483647 439274 195 | 0.000 % |
671.03/671.34 c | 439614 | 9749 41741 126770 | 2147483647 439614 195 | 0.000 % |
672.13/672.46 c | 439986 | 9749 41741 126770 | 2147483647 439986 195 | 0.000 % |
673.43/673.71 c | 440395 | 9749 41741 126770 | 2147483647 440395 195 | 0.000 % |
674.72/675.01 c | 440844 | 9749 41741 126770 | 2147483647 440844 195 | 0.000 % |
676.13/676.42 c | 441339 | 9749 41741 126770 | 2147483647 441339 195 | 0.000 % |
677.73/678.05 c | 441881 | 9749 41741 126770 | 2147483647 441881 195 | 0.000 % |
679.53/679.81 c | 442478 | 9749 41741 126770 | 2147483647 442478 194 | 0.000 % |
681.53/681.81 c | 443134 | 9749 41741 126770 | 2147483647 443134 194 | 0.000 % |
683.63/683.96 c | 443855 | 9749 41741 126770 | 2147483647 443855 194 | 0.000 % |
685.83/686.13 c | 444647 | 9749 41741 126770 | 2147483647 444647 194 | 0.000 % |
688.23/688.54 c | 445520 | 9749 41741 126770 | 2147483647 445520 194 | 0.000 % |
691.02/691.37 c | 446479 | 9749 41741 126770 | 2147483647 446479 194 | 0.000 % |
693.93/694.25 c | 447533 | 9749 41741 126770 | 2147483647 447533 194 | 0.000 % |
697.03/697.39 c | 448691 | 9749 41741 126770 | 2147483647 448691 195 | 0.000 % |
700.43/700.76 c | 449964 | 9749 41741 126770 | 2147483647 449964 195 | 0.000 % |
704.22/704.51 c | 451365 | 9749 41741 126770 | 2147483647 451365 195 | 0.000 % |
708.32/708.64 c | 452905 | 9749 41741 126770 | 2147483647 452905 195 | 0.000 % |
712.82/713.17 c | 454601 | 9749 41741 126770 | 2147483647 454601 195 | 0.000 % |
717.72/718.08 c | 456467 | 9749 41741 126770 | 2147483647 456467 195 | 0.000 % |
723.01/723.35 c | 458516 | 9749 41741 126770 | 2147483647 458516 195 | 0.000 % |
729.32/729.62 c | 460770 | 9749 41741 126770 | 2147483647 460770 195 | 0.000 % |
736.11/736.46 c | 463250 | 9749 41741 126770 | 2147483647 463250 195 | 0.000 % |
743.52/743.85 c | 465977 | 9749 41741 126770 | 2147483647 465977 195 | 0.000 % |
751.02/751.34 c | 468975 | 9749 41741 126770 | 2147483647 468975 196 | 0.000 % |
759.71/760.02 c | 472273 | 9749 41741 126770 | 2147483647 472273 196 | 0.000 % |
769.81/770.11 c | 475901 | 9749 41741 126770 | 2147483647 475901 196 | 0.000 % |
780.10/780.49 c | 479888 | 9749 41741 126770 | 2147483647 479888 197 | 0.000 % |
792.20/792.55 c | 484275 | 9749 41741 126770 | 2147483647 484275 197 | 0.000 % |
792.60/792.91 c | 484375 | 9749 41741 126770 | 2147483647 484375 197 | 0.000 % |
792.99/793.32 c | 484485 | 9749 41741 126770 | 2147483647 484485 197 | 0.000 % |
793.49/793.81 c | 484608 | 9749 41741 126770 | 2147483647 484608 197 | 0.000 % |
793.90/794.22 c | 484742 | 9749 41741 126770 | 2147483647 484742 197 | 0.000 % |
794.40/794.71 c | 484888 | 9749 41741 126770 | 2147483647 484888 197 | 0.000 % |
794.90/795.22 c | 485050 | 9749 41741 126770 | 2147483647 485050 197 | 0.000 % |
795.70/796.01 c | 485226 | 9749 41741 126770 | 2147483647 485226 197 | 0.000 % |
796.30/796.69 c | 485420 | 9749 41741 126770 | 2147483647 485420 197 | 0.000 % |
797.20/797.58 c | 485632 | 9749 41741 126770 | 2147483647 485632 197 | 0.000 % |
798.10/798.41 c | 485867 | 9749 41741 126770 | 2147483647 485867 197 | 0.000 % |
799.00/799.34 c | 486124 | 9749 41741 126770 | 2147483647 486124 197 | 0.000 % |
799.90/800.29 c | 486406 | 9749 41741 126770 | 2147483647 486406 197 | 0.000 % |
801.00/801.38 c | 486715 | 9749 41741 126770 | 2147483647 486715 197 | 0.000 % |
802.20/802.57 c | 487054 | 9749 41741 126770 | 2147483647 487054 197 | 0.000 % |
803.50/803.87 c | 487427 | 9749 41741 126770 | 2147483647 487427 197 | 0.000 % |
804.90/805.27 c | 487837 | 9749 41741 126770 | 2147483647 487837 197 | 0.000 % |
806.39/806.79 c | 488286 | 9749 41741 126770 | 2147483647 488286 197 | 0.000 % |
807.99/808.38 c | 488781 | 9749 41741 126770 | 2147483647 488781 197 | 0.000 % |
809.69/810.04 c | 489325 | 9749 41741 126770 | 2147483647 489325 197 | 0.000 % |
811.40/811.77 c | 489921 | 9749 41741 126770 | 2147483647 489921 197 | 0.000 % |
813.29/813.69 c | 490577 | 9749 41741 126770 | 2147483647 490577 197 | 0.000 % |
815.80/816.13 c | 491297 | 9749 41741 126770 | 2147483647 491297 197 | 0.000 % |
818.29/818.68 c | 492090 | 9749 41741 126770 | 2147483647 492090 197 | 0.000 % |
821.19/821.50 c | 492962 | 9749 41741 126770 | 2147483647 492962 197 | 0.000 % |
824.29/824.64 c | 493921 | 9749 41741 126770 | 2147483647 493921 197 | 0.000 % |
827.49/827.88 c | 494974 | 9749 41741 126770 | 2147483647 494974 197 | 0.000 % |
831.19/831.55 c | 496132 | 9749 41741 126770 | 2147483647 496132 197 | 0.000 % |
834.68/835.00 c | 497406 | 9749 41741 126770 | 2147483647 497406 197 | 0.000 % |
838.59/838.90 c | 498808 | 9749 41741 126770 | 2147483647 498808 197 | 0.000 % |
843.18/843.60 c | 500349 | 9749 41741 126770 | 2147483647 500349 197 | 0.000 % |
848.38/848.76 c | 502043 | 9749 41741 126770 | 2147483647 502043 197 | 0.000 % |
854.18/854.52 c | 503907 | 9749 41741 126770 | 2147483647 503907 196 | 0.000 % |
860.18/860.51 c | 505957 | 9749 41741 126770 | 2147483647 505957 197 | 0.000 % |
866.78/867.14 c | 508211 | 9749 41741 126770 | 2147483647 508211 197 | 0.000 % |
873.88/874.29 c | 510692 | 9749 41741 126770 | 2147483647 510692 197 | 0.000 % |
881.97/882.30 c | 513419 | 9749 41741 126770 | 2147483647 513419 197 | 0.000 % |
890.37/890.78 c | 516416 | 9749 41741 126770 | 2147483647 516416 197 | 0.000 % |
900.27/900.66 c | 519712 | 9749 41741 126770 | 2147483647 519712 197 | 0.000 % |
911.17/911.51 c | 523340 | 9749 41741 126770 | 2147483647 523340 197 | 0.000 % |
922.76/923.10 c | 527327 | 9749 41741 126770 | 2147483647 527327 198 | 0.000 % |
934.96/935.33 c | 531712 | 9749 41741 126770 | 2147483647 531712 198 | 0.000 % |
948.56/948.98 c | 536535 | 9749 41741 126770 | 2147483647 536535 198 | 0.000 % |
949.16/949.54 c | 536637 | 9749 41741 126770 | 2147483647 536637 198 | 0.000 % |
949.66/950.03 c | 536747 | 9749 41741 126770 | 2147483647 536747 198 | 0.000 % |
950.16/950.54 c | 536869 | 9749 41741 126770 | 2147483647 536869 198 | 0.000 % |
950.66/951.06 c | 537003 | 9749 41741 126770 | 2147483647 537003 198 | 0.000 % |
951.46/951.86 c | 537151 | 9749 41741 126770 | 2147483647 537151 198 | 0.000 % |
952.06/952.46 c | 537313 | 9749 41741 126770 | 2147483647 537313 198 | 0.000 % |
952.86/953.25 c | 537490 | 9749 41741 126770 | 2147483647 537490 198 | 0.000 % |
953.66/954.04 c | 537683 | 9749 41741 126770 | 2147483647 537683 198 | 0.000 % |
954.46/954.83 c | 537895 | 9749 41741 126770 | 2147483647 537895 198 | 0.000 % |
955.35/955.75 c | 538128 | 9749 41741 126770 | 2147483647 538128 198 | 0.000 % |
956.35/956.76 c | 538386 | 9749 41741 126770 | 2147483647 538386 198 | 0.000 % |
957.45/957.82 c | 538667 | 9749 41741 126770 | 2147483647 538667 198 | 0.000 % |
958.55/958.93 c | 538977 | 9749 41741 126770 | 2147483647 538977 198 | 0.000 % |
959.75/960.20 c | 539317 | 9749 41741 126770 | 2147483647 539317 198 | 0.000 % |
961.15/961.50 c | 539690 | 9749 41741 126770 | 2147483647 539690 198 | 0.000 % |
962.56/962.98 c | 540101 | 9749 41741 126770 | 2147483647 540101 198 | 0.000 % |
964.26/964.61 c | 540551 | 9749 41741 126770 | 2147483647 540551 198 | 0.000 % |
966.15/966.57 c | 541044 | 9749 41741 126770 | 2147483647 541044 198 | 0.000 % |
968.15/968.56 c | 541586 | 9749 41741 126770 | 2147483647 541586 198 | 0.000 % |
970.15/970.59 c | 542182 | 9749 41741 126770 | 2147483647 542182 198 | 0.000 % |
972.56/972.93 c | 542838 | 9749 41741 126770 | 2147483647 542838 198 | 0.000 % |
974.95/975.40 c | 543559 | 9749 41741 126770 | 2147483647 543559 198 | 0.000 % |
978.15/978.52 c | 544352 | 9749 41741 126770 | 2147483647 544352 198 | 0.000 % |
981.15/981.56 c | 545223 | 9749 41741 126770 | 2147483647 545223 198 | 0.000 % |
984.35/984.74 c | 546185 | 9749 41741 126770 | 2147483647 546185 198 | 0.000 % |
987.75/988.11 c | 547238 | 9749 41741 126770 | 2147483647 547238 198 | 0.000 % |
991.34/991.78 c | 548398 | 9749 41741 126770 | 2147483647 548398 198 | 0.000 % |
995.64/996.09 c | 549673 | 9749 41741 126770 | 2147483647 549673 198 | 0.000 % |
1000.35/1000.79 c | 551074 | 9749 41741 126770 | 2147483647 551074 198 | 0.000 % |
1005.34/1005.78 c | 552614 | 9749 41741 126770 | 2147483647 552614 198 | 0.000 % |
1010.84/1011.24 c | 554309 | 9749 41741 126770 | 2147483647 554309 198 | 0.000 % |
1017.24/1017.68 c | 556173 | 9749 41741 126770 | 2147483647 556173 198 | 0.000 % |
1023.84/1024.27 c | 558222 | 9749 41741 126770 | 2147483647 558222 198 | 0.000 % |
1031.03/1031.45 c | 560476 | 9749 41741 126770 | 2147483647 560476 198 | 0.000 % |
1038.73/1039.17 c | 562955 | 9749 41741 126770 | 2147483647 562955 199 | 0.000 % |
1047.34/1047.70 c | 565680 | 9749 41741 126770 | 2147483647 565680 199 | 0.000 % |
1056.53/1056.98 c | 568677 | 9749 41741 126770 | 2147483647 568677 199 | 0.000 % |
1066.63/1067.01 c | 571975 | 9749 41741 126770 | 2147483647 571975 199 | 0.000 % |
1078.03/1078.40 c | 575600 | 9749 41741 126770 | 2147483647 575600 200 | 0.000 % |
1090.52/1090.96 c | 579587 | 9749 41741 126770 | 2147483647 579587 200 | 0.000 % |
1105.22/1105.65 c | 583975 | 9749 41741 126770 | 2147483647 583975 200 | 0.000 % |
1121.01/1121.40 c | 588799 | 9749 41741 126770 | 2147483647 588799 200 | 0.000 % |
1138.02/1138.46 c | 594106 | 9749 41741 126770 | 2147483647 594106 201 | 0.000 % |
1138.41/1138.84 c | 594207 | 9749 41741 126770 | 2147483647 594207 201 | 0.000 % |
1138.91/1139.35 c | 594317 | 9749 41741 126770 | 2147483647 594317 201 | 0.000 % |
1139.51/1139.97 c | 594441 | 9749 41741 126770 | 2147483647 594441 201 | 0.000 % |
1140.11/1140.60 c | 594575 | 9749 41741 126770 | 2147483647 594575 201 | 0.000 % |
1140.90/1141.35 c | 594722 | 9749 41741 126770 | 2147483647 594722 201 | 0.000 % |
1141.60/1142.07 c | 594883 | 9749 41741 126770 | 2147483647 594883 201 | 0.000 % |
1142.41/1142.83 c | 595060 | 9749 41741 126770 | 2147483647 595060 201 | 0.000 % |
1143.30/1143.79 c | 595253 | 9749 41741 126770 | 2147483647 595253 201 | 0.000 % |
1144.21/1144.63 c | 595465 | 9749 41741 126770 | 2147483647 595465 201 | 0.000 % |
1145.21/1145.64 c | 595702 | 9749 41741 126770 | 2147483647 595702 201 | 0.000 % |
1146.21/1146.60 c | 595958 | 9749 41741 126770 | 2147483647 595958 201 | 0.000 % |
1147.31/1147.70 c | 596239 | 9749 41741 126770 | 2147483647 596239 201 | 0.000 % |
1148.41/1148.84 c | 596548 | 9749 41741 126770 | 2147483647 596548 201 | 0.000 % |
1149.90/1150.33 c | 596887 | 9749 41741 126770 | 2147483647 596887 201 | 0.000 % |
1151.31/1151.78 c | 597259 | 9749 41741 126770 | 2147483647 597259 201 | 0.000 % |
1152.70/1153.19 c | 597670 | 9749 41741 126770 | 2147483647 597670 201 | 0.000 % |
1154.41/1154.88 c | 598120 | 9749 41741 126770 | 2147483647 598120 201 | 0.000 % |
1156.41/1156.86 c | 598614 | 9749 41741 126770 | 2147483647 598614 201 | 0.000 % |
1158.60/1159.09 c | 599156 | 9749 41741 126770 | 2147483647 599156 201 | 0.000 % |
1161.11/1161.56 c | 599752 | 9749 41741 126770 | 2147483647 599752 201 | 0.000 % |
1163.50/1163.93 c | 600409 | 9749 41741 126770 | 600002 600409 201 | 0.000 % |
1166.50/1166.97 c | 601130 | 9749 41741 126770 | 600002 528867 200 | 0.000 % |
1169.00/1169.49 c | 601925 | 9749 41741 126770 | 600002 529662 200 | 0.000 % |
1171.90/1172.32 c | 602797 | 9749 41741 126770 | 600002 530534 200 | 0.000 % |
1175.00/1175.45 c | 603756 | 9749 41741 126770 | 600002 531493 200 | 0.000 % |
1178.29/1178.74 c | 604812 | 9749 41741 126770 | 600002 532549 200 | 0.000 % |
1181.79/1182.27 c | 605970 | 9749 41741 126770 | 600002 533707 200 | 0.000 % |
1185.59/1186.04 c | 607244 | 9749 41741 126770 | 600002 534981 200 | 0.000 % |
1190.09/1190.56 c | 608645 | 9749 41741 126770 | 600002 536382 200 | 0.000 % |
1195.09/1195.57 c | 610186 | 9749 41741 126770 | 2147483647 537923 200 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832661-1242786031/watcher-1832661-1242786031 -o /tmp/evaluation-result-1832661-1242786031/solver-1832661-1242786031 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832661-1242786031.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25782
/proc/meminfo: memFree=1709528/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306630595 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 235371462738 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/25782/statm: 1339 235 195 169 0 50 0
[pid=25783] ppid=25782 vsize=5356 CPUtime=0
/proc/25783/stat : 25783 (SatELiteGTI) R 25782 25782 24639 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306630595 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/25783/statm: 1339 238 198 169 0 50 0
[pid=25785] ppid=25783 vsize=0 CPUtime=0
/proc/25785/stat : 25785 (sed) Z 25783 25782 24639 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306630595 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/25785/statm: 0 0 0 0 0 0 0
[startup+0.078174 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25782
/proc/meminfo: memFree=1709528/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306630595 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25782/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101175 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25782
/proc/meminfo: memFree=1709528/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306630595 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25782/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301203 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25782
/proc/meminfo: memFree=1709528/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+0.70124 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25782
/proc/meminfo: memFree=1709528/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356
[startup+1.5023 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1703304/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=7308 CPUtime=1.29
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 1609 0 0 0 129 0 0 0 25 0 1 0 306630614 7483392 1595 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 1827 1595 77 171 0 1654 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12664
[startup+3.10144 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1701000/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=10216 CPUtime=2.89
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 2350 0 0 0 288 1 0 0 25 0 1 0 306630614 10461184 2336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 2554 2336 77 171 0 2381 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15572
[startup+6.30173 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1695048/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=15760 CPUtime=6.09
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 3726 0 0 0 607 2 0 0 25 0 1 0 306630614 16138240 3712 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 3940 3712 77 171 0 3767 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21116
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1685064/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=25164 CPUtime=12.48
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 6063 0 0 0 1244 4 0 0 25 0 1 0 306630614 25767936 6049 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 6291 6049 77 171 0 6118 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30520
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1668680/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=40820 CPUtime=25.27
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 9984 0 0 0 2518 9 0 0 25 0 1 0 306630614 41799680 9970 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 10205 9970 77 171 0 10032 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 46176
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1643464/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=66152 CPUtime=50.86
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 16316 0 0 0 5070 16 0 0 25 0 1 0 306630614 67739648 16302 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 16538 16302 77 171 0 16365 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 71508
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1602760/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=106336 CPUtime=102.04
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 26359 0 0 0 10175 29 0 0 25 0 1 0 306630614 108888064 26345 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 26584 26345 77 171 0 26411 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 111692
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1564488/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=144624 CPUtime=162.01
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 35929 0 0 0 16163 38 0 0 25 0 1 0 306630614 148094976 35915 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 36156 35915 77 171 0 35983 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 149980
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1532296/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=176840 CPUtime=221.98
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 43919 0 0 0 22152 46 0 0 25 0 1 0 306630614 181084160 43905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 44210 43905 77 171 0 44037 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 182196
[startup+282.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 25788
/proc/meminfo: memFree=1502152/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=206808 CPUtime=281.96
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 51450 0 0 0 28140 56 0 0 25 0 1 0 306630614 211771392 51436 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 51702 51436 77 171 0 51529 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 212164
[startup+342.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 25788
/proc/meminfo: memFree=1474504/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=234000 CPUtime=341.94
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 58270 0 0 0 34130 64 0 0 25 0 1 0 306630614 239616000 58256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 58500 58257 77 171 0 58327 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 239356
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1449928/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=259028 CPUtime=401.93
################
# More data... #
################
/proc/25788/statm: 81324 81044 77 171 0 81151 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 330652
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1360648/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=347212 CPUtime=641.87
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 86539 0 0 0 64085 102 0 0 25 0 1 0 306630614 355545088 86525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 86803 86525 77 171 0 86630 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 352568
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1342088/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=365692 CPUtime=701.84
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 91186 0 0 0 70076 108 0 0 25 0 1 0 306630614 374468608 91172 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 91423 91172 77 171 0 91250 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 371048
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1321672/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=386672 CPUtime=761.83
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 96231 0 0 0 76069 114 0 0 25 0 1 0 306630614 395952128 96217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 96668 96217 77 171 0 96495 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 392028
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1304008/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=404228 CPUtime=821.81
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 100627 0 0 0 82062 119 0 0 25 0 1 0 306630614 413929472 100613 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 101057 100613 77 171 0 100884 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 409584
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1286408/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=421520 CPUtime=881.79
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 104975 0 0 0 88055 124 0 0 25 0 1 0 306630614 431636480 104961 1992294400 134512640 135215339 4294956240 18446744073709551615 134528740 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 105380 104961 77 171 0 105207 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 426876
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1267848/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=440264 CPUtime=941.78
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 109692 0 0 0 94048 130 0 0 25 0 1 0 306630614 450830336 109678 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 110066 109678 77 171 0 109893 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 445620
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1252552/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=455048 CPUtime=1001.77
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 113400 0 0 0 100042 135 0 0 25 0 1 0 306630614 465969152 113386 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 113762 113386 77 171 0 113589 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 460404
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1235720/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=471944 CPUtime=1061.75
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 117644 0 0 0 106034 141 0 0 25 0 1 0 306630614 483270656 117630 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 117986 117630 77 171 0 117813 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 477300
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1218056/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=489236 CPUtime=1121.73
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 121997 0 0 0 112026 147 0 0 25 0 1 0 306630614 500977664 121983 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 122309 121983 77 171 0 122136 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 494592
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1206920/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=500060 CPUtime=1181.71
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 124717 0 0 0 118020 151 0 0 25 0 1 0 306630614 512061440 124703 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 125015 124703 77 171 0 124842 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 505416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25788
/proc/meminfo: memFree=1206920/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=500060 CPUtime=1199.91
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 124717 0 0 0 119840 151 0 0 25 0 1 0 306630614 512061440 124703 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 125015 124703 77 171 0 124842 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 505416
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 25788
/proc/meminfo: memFree=1206920/2055920 swapFree=4180304/4192956
[pid=25782] ppid=25780 vsize=5356 CPUtime=0.18
/proc/25782/stat : 25782 (SatELiteGTI) S 25780 25782 24639 0 -1 4194304 336 1611 0 0 0 0 17 1 16 0 1 0 306630595 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25782/statm: 1339 239 197 169 0 50 0
[pid=25788] ppid=25782 vsize=500060 CPUtime=1199.91
/proc/25788/stat : 25788 (minisat_static) R 25782 25782 24639 0 -1 4194304 124717 0 0 0 119840 151 0 0 25 0 1 0 306630614 512061440 124703 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/25788/statm: 125015 124703 77 171 0 124842 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 505416
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25782 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=176973
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=13997
# CPU time returned by wait4() is 0.19097
# 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.57
CPU system time (s): 1.52
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 505416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.176973
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= 1947
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.47677 second user time and 2.99254 second system time
The end
Begin job on node51 at 2009-05-20 04:20:31
IDJOB=1832661
IDBENCH=70294
IDSOLVER=671
FILE ID=node51/1832661-1242786031
PBS_JOBID= 9322335
Free space on /tmp= 66200 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/10000/unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832661-1242786031/watcher-1832661-1242786031 -o /tmp/evaluation-result-1832661-1242786031/solver-1832661-1242786031 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832661-1242786031.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bdbdcaa81df700a6beb0f62dde612ba9
RANDOM SEED=2120981500
node51.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.214
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.214
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: 1710072 kB
Buffers: 30040 kB
Cached: 266636 kB
SwapCached: 6944 kB
Active: 90176 kB
Inactive: 215412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1710072 kB
SwapTotal: 4192956 kB
SwapFree: 4180304 kB
Dirty: 2336 kB
Writeback: 0 kB
Mapped: 14080 kB
Slab: 26344 kB
Committed_AS: 891032 kB
PageTables: 1404 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= 66200 MiB
End job on node51 at 2009-05-20 04:40:33