0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 50400 151200 | 15119 0 0 nan | 0.000 % |
0.00/0.16 c | 0 | 49986 151848 | -- 0 -- -- | -- | -414/648
0.00/0.16 c ==============================================================================
0.00/0.16 c Result : #vars: 11691 #clauses: 49986 #literals: 151848
0.00/0.16 c CPU time: 0.152976 s
0.00/0.16 c ==============================================================================
0.00/0.21 c This is MiniSat 2.0 beta
0.00/0.21 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.21 c ============================[ Problem Statistics ]=============================
0.00/0.21 c | |
0.00/0.22 c | Number of variables: 11691 |
0.00/0.22 c | Number of clauses: 49986 |
0.00/0.25 c | Parsing time: 0.03 s |
0.00/0.26 c ============================[ Search Statistics ]==============================
0.00/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.26 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.26 c ===============================================================================
0.00/0.26 c | 0 | 11691 49986 151848 | 16662 0 nan | 0.000 % |
0.21/0.30 c | 100 | 11691 49986 151848 | 16662 100 134 | 0.000 % |
0.21/0.34 c | 202 | 11691 49986 151848 | 16662 202 155 | 0.000 % |
0.21/0.39 c | 306 | 11691 49986 151848 | 16662 306 179 | 0.000 % |
0.21/0.43 c | 418 | 11691 49986 151848 | 16662 418 179 | 0.000 % |
0.21/0.47 c | 518 | 11691 49986 151848 | 16662 518 174 | 0.000 % |
0.21/0.52 c | 631 | 11691 49986 151848 | 16662 631 173 | 0.000 % |
0.21/0.56 c | 754 | 11691 49986 151848 | 16662 754 170 | 0.000 % |
0.21/0.60 c | 856 | 11691 49986 151848 | 16662 856 164 | 0.000 % |
0.21/0.65 c | 967 | 11691 49986 151848 | 16662 967 164 | 0.000 % |
0.21/0.69 c | 1088 | 11691 49986 151848 | 16662 1088 164 | 0.000 % |
0.21/0.75 c | 1221 | 11691 49986 151848 | 16662 1221 166 | 0.000 % |
0.21/0.79 c | 1323 | 11691 49986 151848 | 16662 1323 167 | 0.000 % |
0.21/0.83 c | 1434 | 11691 49986 151848 | 16662 1434 168 | 0.000 % |
0.21/0.87 c | 1557 | 11691 49986 151848 | 16662 1557 166 | 0.000 % |
0.21/0.93 c | 1692 | 11691 49986 151848 | 16662 1692 167 | 0.000 % |
0.21/0.99 c | 1839 | 11691 49986 151848 | 16662 1839 165 | 0.000 % |
0.98/1.03 c | 1939 | 11691 49986 151848 | 16662 1939 164 | 0.000 % |
0.98/1.07 c | 2049 | 11691 49986 151848 | 16662 2049 162 | 0.000 % |
1.08/1.13 c | 2170 | 11691 49986 151848 | 16662 2170 164 | 0.000 % |
1.08/1.18 c | 2303 | 11691 49986 151848 | 16662 2303 166 | 0.000 % |
1.17/1.23 c | 2449 | 11691 49986 151848 | 16662 2449 168 | 0.000 % |
1.17/1.29 c | 2609 | 11691 49986 151848 | 16662 2609 169 | 0.000 % |
1.27/1.33 c | 2710 | 11691 49986 151848 | 16662 2710 168 | 0.000 % |
1.27/1.38 c | 2821 | 11691 49986 151848 | 16662 2821 168 | 0.000 % |
1.37/1.43 c | 2942 | 11691 49986 151848 | 16662 2942 167 | 0.000 % |
1.37/1.49 c | 3076 | 11691 49986 151848 | 16662 3076 167 | 0.000 % |
1.48/1.55 c | 3223 | 11691 49986 151848 | 16662 3223 167 | 0.000 % |
1.58/1.62 c | 3383 | 11691 49986 151848 | 16662 3383 169 | 0.000 % |
1.58/1.69 c | 3559 | 11691 49986 151848 | 16662 3559 168 | 0.000 % |
1.68/1.73 c | 3660 | 11691 49986 151848 | 16662 3660 169 | 0.000 % |
1.68/1.77 c | 3770 | 11691 49986 151848 | 16662 3770 167 | 0.000 % |
1.78/1.82 c | 3891 | 11691 49986 151848 | 16662 3891 168 | 0.000 % |
1.78/1.87 c | 4024 | 11691 49986 151848 | 16662 4024 170 | 0.000 % |
1.88/1.93 c | 4171 | 11691 49986 151848 | 16662 4171 170 | 0.000 % |
1.88/1.99 c | 4332 | 11691 49986 151848 | 16662 4332 171 | 0.000 % |
1.98/2.07 c | 4508 | 11691 49986 151848 | 16662 4508 172 | 0.000 % |
2.08/2.15 c | 4702 | 11691 49986 151848 | 16662 4702 171 | 0.000 % |
2.08/2.19 c | 4802 | 11691 49986 151848 | 16662 4802 171 | 0.000 % |
2.18/2.23 c | 4913 | 11691 49986 151848 | 16662 4913 172 | 0.000 % |
2.18/2.27 c | 5034 | 11691 49986 151848 | 16662 5034 171 | 0.000 % |
2.28/2.33 c | 5167 | 11691 49986 151848 | 16662 5167 171 | 0.000 % |
2.28/2.39 c | 5313 | 11691 49986 151848 | 16662 5313 171 | 0.000 % |
2.38/2.45 c | 5474 | 11691 49986 151848 | 16662 5474 171 | 0.000 % |
2.48/2.52 c | 5650 | 11691 49986 151848 | 16662 5650 171 | 0.000 % |
2.48/2.60 c | 5844 | 11691 49986 151848 | 16662 5844 171 | 0.000 % |
2.57/2.68 c | 6056 | 11691 49986 151848 | 16662 6056 171 | 0.000 % |
2.67/2.73 c | 6157 | 11691 49986 151848 | 16662 6157 171 | 0.000 % |
2.67/2.77 c | 6267 | 11691 49986 151848 | 16662 6267 171 | 0.000 % |
2.77/2.82 c | 6390 | 11691 49986 151848 | 16662 6390 170 | 0.000 % |
2.77/2.87 c | 6527 | 11691 49986 151848 | 16662 6527 170 | 0.000 % |
2.87/2.93 c | 6673 | 11691 49986 151848 | 16662 6673 170 | 0.000 % |
2.87/2.99 c | 6833 | 11691 49986 151848 | 16662 6833 169 | 0.000 % |
2.97/3.07 c | 7010 | 11691 49986 151848 | 16662 7010 172 | 0.000 % |
3.07/3.15 c | 7204 | 11691 49986 151848 | 16662 7204 172 | 0.000 % |
3.18/3.23 c | 7417 | 11691 49986 151848 | 16662 7417 171 | 0.000 % |
3.28/3.31 c | 7650 | 11691 49986 151848 | 16662 7650 171 | 0.000 % |
3.28/3.36 c | 7752 | 11691 49986 151848 | 16662 7752 170 | 0.000 % |
3.38/3.41 c | 7862 | 11691 49986 151848 | 16662 7862 170 | 0.000 % |
3.38/3.46 c | 7984 | 11691 49986 151848 | 16662 7984 169 | 0.000 % |
3.48/3.52 c | 8119 | 11691 49986 151848 | 16662 8119 170 | 0.000 % |
3.48/3.58 c | 8266 | 11691 49986 151848 | 16662 8266 170 | 0.000 % |
3.58/3.66 c | 8426 | 11691 49986 151848 | 16662 8426 170 | 0.000 % |
3.68/3.74 c | 8603 | 11691 49986 151848 | 16662 8603 171 | 0.000 % |
3.78/3.82 c | 8797 | 11691 49986 151848 | 16662 8797 171 | 0.000 % |
3.88/3.91 c | 9009 | 11691 49986 151848 | 16662 9009 172 | 0.000 % |
3.98/4.00 c | 9243 | 11691 49986 151848 | 16662 9243 172 | 0.000 % |
4.08/4.11 c | 9499 | 11691 49986 151848 | 16662 9499 171 | 0.000 % |
4.08/4.15 c | 9599 | 11691 49986 151848 | 16662 9599 172 | 0.000 % |
4.18/4.20 c | 9710 | 11691 49986 151848 | 16662 9710 172 | 0.000 % |
4.18/4.25 c | 9833 | 11691 49986 151848 | 16662 9833 171 | 0.000 % |
4.28/4.31 c | 9968 | 11691 49986 151848 | 16662 9968 171 | 0.000 % |
4.28/4.37 c | 10115 | 11691 49986 151848 | 2147483647 10115 171 | 0.000 % |
4.38/4.44 c | 10276 | 11691 49986 151848 | 2147483647 10276 171 | 0.000 % |
4.48/4.52 c | 10454 | 11691 49986 151848 | 2147483647 10454 171 | 0.000 % |
4.57/4.60 c | 10647 | 11691 49986 151848 | 2147483647 10647 171 | 0.000 % |
4.67/4.70 c | 10860 | 11691 49986 151848 | 2147483647 10860 171 | 0.000 % |
4.77/4.81 c | 11094 | 11691 49986 151848 | 2147483647 11094 171 | 0.000 % |
4.87/4.93 c | 11352 | 11691 49986 151848 | 2147483647 11352 172 | 0.000 % |
4.97/5.05 c | 11633 | 11691 49986 151848 | 2147483647 11633 171 | 0.000 % |
5.07/5.10 c | 11736 | 11691 49986 151848 | 2147483647 11736 171 | 0.000 % |
5.07/5.16 c | 11847 | 11691 49986 151848 | 2147483647 11847 171 | 0.000 % |
5.17/5.21 c | 11968 | 11691 49986 151848 | 2147483647 11968 171 | 0.000 % |
5.17/5.28 c | 12102 | 11691 49986 151848 | 2147483647 12102 171 | 0.000 % |
5.27/5.34 c | 12249 | 11691 49986 151848 | 2147483647 12249 171 | 0.000 % |
5.38/5.41 c | 12410 | 11691 49986 151848 | 2147483647 12410 170 | 0.000 % |
5.38/5.48 c | 12588 | 11691 49986 151848 | 2147483647 12588 170 | 0.000 % |
5.48/5.57 c | 12781 | 11691 49986 151848 | 2147483647 12781 170 | 0.000 % |
5.57/5.66 c | 12994 | 11691 49986 151848 | 2147483647 12994 170 | 0.000 % |
5.67/5.77 c | 13230 | 11691 49986 151848 | 2147483647 13230 170 | 0.000 % |
5.87/5.90 c | 13486 | 11691 49986 151848 | 2147483647 13486 170 | 0.000 % |
5.97/6.03 c | 13769 | 11691 49986 151848 | 2147483647 13769 170 | 0.000 % |
6.07/6.17 c | 14078 | 11691 49986 151848 | 2147483647 14078 170 | 0.000 % |
6.17/6.22 c | 14179 | 11691 49986 151848 | 2147483647 14179 170 | 0.000 % |
6.17/6.27 c | 14290 | 11691 49986 151848 | 2147483647 14290 170 | 0.000 % |
6.28/6.32 c | 14411 | 11691 49986 151848 | 2147483647 14411 169 | 0.000 % |
6.28/6.39 c | 14546 | 11691 49986 151848 | 2147483647 14546 169 | 0.000 % |
6.38/6.46 c | 14692 | 11691 49986 151848 | 2147483647 14692 169 | 0.000 % |
6.48/6.54 c | 14854 | 11691 49986 151848 | 2147483647 14854 169 | 0.000 % |
6.58/6.62 c | 15030 | 11691 49986 151848 | 2147483647 15030 169 | 0.000 % |
6.68/6.71 c | 15224 | 11691 49986 151848 | 2147483647 15224 169 | 0.000 % |
6.78/6.81 c | 15436 | 11691 49986 151848 | 2147483647 15436 170 | 0.000 % |
6.88/6.91 c | 15669 | 11691 49986 151848 | 2147483647 15669 169 | 0.000 % |
6.98/7.04 c | 15925 | 11691 49986 151848 | 2147483647 15925 169 | 0.000 % |
7.07/7.18 c | 16209 | 11691 49986 151848 | 2147483647 16209 170 | 0.000 % |
7.27/7.33 c | 16518 | 11691 49986 151848 | 2147483647 16518 170 | 0.000 % |
7.37/7.49 c | 16858 | 11691 49986 151848 | 2147483647 16858 171 | 0.000 % |
7.47/7.54 c | 16958 | 11691 49986 151848 | 2147483647 16958 171 | 0.000 % |
7.47/7.59 c | 17068 | 11691 49986 151848 | 2147483647 17068 170 | 0.000 % |
7.58/7.66 c | 17190 | 11691 49986 151848 | 2147483647 17190 171 | 0.000 % |
7.67/7.73 c | 17325 | 11691 49986 151848 | 2147483647 17325 170 | 0.000 % |
7.78/7.80 c | 17471 | 11691 49986 151848 | 2147483647 17471 170 | 0.000 % |
7.78/7.88 c | 17631 | 11691 49986 151848 | 2147483647 17631 170 | 0.000 % |
7.88/7.97 c | 17809 | 11691 49986 151848 | 2147483647 17809 170 | 0.000 % |
7.98/8.07 c | 18004 | 11691 49986 151848 | 2147483647 18004 170 | 0.000 % |
8.08/8.17 c | 18218 | 11691 49986 151848 | 2147483647 18218 170 | 0.000 % |
8.18/8.29 c | 18451 | 11691 49986 151848 | 2147483647 18451 170 | 0.000 % |
8.38/8.43 c | 18707 | 11691 49986 151848 | 2147483647 18707 171 | 0.000 % |
8.48/8.56 c | 18988 | 11691 49986 151848 | 2147483647 18988 172 | 0.000 % |
8.68/8.72 c | 19297 | 11691 49986 151848 | 2147483647 19297 172 | 0.000 % |
8.78/8.89 c | 19638 | 11691 49986 151848 | 2147483647 19638 172 | 0.000 % |
8.98/9.09 c | 20010 | 11691 49986 151848 | 2147483647 20010 173 | 0.000 % |
9.08/9.15 c | 20111 | 11691 49986 151848 | 2147483647 20111 172 | 0.000 % |
9.18/9.21 c | 20221 | 11691 49986 151848 | 2147483647 20221 172 | 0.000 % |
9.18/9.27 c | 20342 | 11691 49986 151848 | 2147483647 20342 172 | 0.000 % |
9.28/9.34 c | 20476 | 11691 49986 151848 | 2147483647 20476 172 | 0.000 % |
9.38/9.42 c | 20623 | 11691 49986 151848 | 2147483647 20623 172 | 0.000 % |
9.48/9.50 c | 20783 | 11691 49986 151848 | 2147483647 20783 172 | 0.000 % |
9.48/9.59 c | 20961 | 11691 49986 151848 | 2147483647 20961 172 | 0.000 % |
9.68/9.70 c | 21156 | 11691 49986 151848 | 2147483647 21156 173 | 0.000 % |
9.78/9.82 c | 21371 | 11691 49986 151848 | 2147483647 21371 173 | 0.000 % |
9.88/9.94 c | 21604 | 11691 49986 151848 | 2147483647 21604 173 | 0.000 % |
9.98/10.07 c | 21860 | 11691 49986 151848 | 2147483647 21860 174 | 0.000 % |
10.18/10.21 c | 22141 | 11691 49986 151848 | 2147483647 22141 174 | 0.000 % |
10.28/10.37 c | 22451 | 11691 49986 151848 | 2147483647 22451 174 | 0.000 % |
10.48/10.54 c | 22790 | 11691 49986 151848 | 2147483647 22790 175 | 0.000 % |
10.68/10.74 c | 23163 | 11691 49986 151848 | 2147483647 23163 175 | 0.000 % |
10.88/10.95 c | 23573 | 11691 49986 151848 | 2147483647 23573 175 | 0.000 % |
10.98/11.01 c | 23673 | 11691 49986 151848 | 2147483647 23673 174 | 0.000 % |
10.98/11.07 c | 23783 | 11691 49986 151848 | 2147483647 23783 174 | 0.000 % |
11.07/11.13 c | 23905 | 11691 49986 151848 | 2147483647 23905 174 | 0.000 % |
11.17/11.21 c | 24039 | 11691 49986 151848 | 2147483647 24039 174 | 0.000 % |
11.17/11.29 c | 24187 | 11691 49986 151848 | 2147483647 24187 174 | 0.000 % |
11.27/11.38 c | 24348 | 11691 49986 151848 | 2147483647 24348 174 | 0.000 % |
11.37/11.47 c | 24527 | 11691 49986 151848 | 2147483647 24527 174 | 0.000 % |
11.47/11.59 c | 24721 | 11691 49986 151848 | 2147483647 24721 174 | 0.000 % |
11.68/11.71 c | 24937 | 11691 49986 151848 | 2147483647 24937 174 | 0.000 % |
11.78/11.83 c | 25171 | 11691 49986 151848 | 2147483647 25171 174 | 0.000 % |
11.88/11.96 c | 25427 | 11691 49986 151848 | 2147483647 25427 174 | 0.000 % |
12.08/12.11 c | 25708 | 11691 49986 151848 | 2147483647 25708 174 | 0.000 % |
12.18/12.26 c | 26017 | 11691 49986 151848 | 2147483647 26017 175 | 0.000 % |
12.38/12.45 c | 26356 | 11691 49986 151848 | 2147483647 26356 175 | 0.000 % |
12.57/12.64 c | 26729 | 11691 49986 151848 | 2147483647 26729 175 | 0.000 % |
12.77/12.86 c | 27138 | 11691 49986 151848 | 2147483647 27138 177 | 0.000 % |
12.97/13.09 c | 27588 | 11691 49986 151848 | 2147483647 27588 177 | 0.000 % |
13.08/13.15 c | 27690 | 11691 49986 151848 | 2147483647 27690 177 | 0.000 % |
13.18/13.22 c | 27800 | 11691 49986 151848 | 2147483647 27800 177 | 0.000 % |
13.18/13.29 c | 27922 | 11691 49986 151848 | 2147483647 27922 177 | 0.000 % |
13.27/13.38 c | 28055 | 11691 49986 151848 | 2147483647 28055 177 | 0.000 % |
13.37/13.46 c | 28202 | 11691 49986 151848 | 2147483647 28202 177 | 0.000 % |
13.47/13.55 c | 28362 | 11691 49986 151848 | 2147483647 28362 177 | 0.000 % |
13.57/13.66 c | 28541 | 11691 49986 151848 | 2147483647 28541 177 | 0.000 % |
13.67/13.79 c | 28736 | 11691 49986 151848 | 2147483647 28736 177 | 0.000 % |
13.87/13.91 c | 28948 | 11691 49986 151848 | 2147483647 28948 177 | 0.000 % |
13.97/14.03 c | 29183 | 11691 49986 151848 | 2147483647 29183 177 | 0.000 % |
14.07/14.19 c | 29439 | 11691 49986 151848 | 2147483647 29439 177 | 0.000 % |
14.27/14.34 c | 29720 | 11691 49986 151848 | 2147483647 29720 177 | 0.000 % |
14.47/14.52 c | 30029 | 11691 49986 151848 | 2147483647 30029 177 | 0.000 % |
14.67/14.70 c | 30369 | 11691 49986 151848 | 2147483647 30369 177 | 0.000 % |
14.88/14.92 c | 30741 | 11691 49986 151848 | 2147483647 30741 177 | 0.000 % |
15.08/15.16 c | 31150 | 11691 49986 151848 | 2147483647 31150 177 | 0.000 % |
15.38/15.41 c | 31600 | 11691 49986 151848 | 2147483647 31600 178 | 0.000 % |
15.57/15.69 c | 32093 | 11691 49986 151848 | 2147483647 32093 179 | 0.000 % |
15.67/15.76 c | 32195 | 11691 49986 151848 | 2147483647 32195 179 | 0.000 % |
15.77/15.82 c | 32306 | 11691 49986 151848 | 2147483647 32306 179 | 0.000 % |
15.87/15.90 c | 32428 | 11691 49986 151848 | 2147483647 32428 179 | 0.000 % |
15.87/15.99 c | 32565 | 11691 49986 151848 | 2147483647 32565 179 | 0.000 % |
15.97/16.09 c | 32712 | 11691 49986 151848 | 2147483647 32712 179 | 0.000 % |
16.07/16.19 c | 32872 | 11691 49986 151848 | 2147483647 32872 179 | 0.000 % |
16.27/16.30 c | 33048 | 11691 49986 151848 | 2147483647 33048 179 | 0.000 % |
16.37/16.41 c | 33241 | 11691 49986 151848 | 2147483647 33241 179 | 0.000 % |
16.47/16.54 c | 33454 | 11691 49986 151848 | 2147483647 33454 179 | 0.000 % |
16.57/16.68 c | 33687 | 11691 49986 151848 | 2147483647 33687 179 | 0.000 % |
16.77/16.84 c | 33944 | 11691 49986 151848 | 2147483647 33944 179 | 0.000 % |
16.97/17.01 c | 34226 | 11691 49986 151848 | 2147483647 34226 180 | 0.000 % |
17.17/17.20 c | 34535 | 11691 49986 151848 | 2147483647 34535 180 | 0.000 % |
17.37/17.40 c | 34877 | 11691 49986 151848 | 2147483647 34877 180 | 0.000 % |
17.58/17.62 c | 35249 | 11691 49986 151848 | 2147483647 35249 180 | 0.000 % |
17.77/17.85 c | 35660 | 11691 49986 151848 | 2147483647 35660 180 | 0.000 % |
18.07/18.14 c | 36109 | 11691 49986 151848 | 2147483647 36109 180 | 0.000 % |
18.37/18.43 c | 36602 | 11691 49986 151848 | 2147483647 36602 181 | 0.000 % |
18.67/18.77 c | 37145 | 11691 49986 151848 | 2147483647 37145 182 | 0.000 % |
18.77/18.83 c | 37249 | 11691 49986 151848 | 2147483647 37249 182 | 0.000 % |
18.87/18.91 c | 37359 | 11691 49986 151848 | 2147483647 37359 181 | 0.000 % |
18.87/18.99 c | 37483 | 11691 49986 151848 | 2147483647 37483 181 | 0.000 % |
18.97/19.08 c | 37616 | 11691 49986 151848 | 2147483647 37616 181 | 0.000 % |
19.07/19.18 c | 37764 | 11691 49986 151848 | 2147483647 37764 181 | 0.000 % |
19.17/19.27 c | 37925 | 11691 49986 151848 | 2147483647 37925 181 | 0.000 % |
19.27/19.38 c | 38101 | 11691 49986 151848 | 2147483647 38101 181 | 0.000 % |
19.46/19.51 c | 38295 | 11691 49986 151848 | 2147483647 38295 181 | 0.000 % |
19.56/19.64 c | 38510 | 11691 49986 151848 | 2147483647 38510 181 | 0.000 % |
19.67/19.80 c | 38744 | 11691 49986 151848 | 2147483647 38744 181 | 0.000 % |
19.86/19.94 c | 39000 | 11691 49986 151848 | 2147483647 39000 181 | 0.000 % |
20.07/20.12 c | 39281 | 11691 49986 151848 | 2147483647 39281 181 | 0.000 % |
20.27/20.32 c | 39592 | 11691 49986 151848 | 2147483647 39592 181 | 0.000 % |
20.47/20.53 c | 39931 | 11691 49986 151848 | 2147483647 39931 181 | 0.000 % |
20.67/20.75 c | 40304 | 11691 49986 151848 | 2147483647 40304 181 | 0.000 % |
20.97/21.01 c | 40714 | 11691 49986 151848 | 2147483647 40714 182 | 0.000 % |
21.17/21.29 c | 41165 | 11691 49986 151848 | 2147483647 41165 182 | 0.000 % |
21.46/21.58 c | 41659 | 11691 49986 151848 | 2147483647 41659 182 | 0.000 % |
21.87/21.94 c | 42202 | 11691 49986 151848 | 2147483647 42202 183 | 0.000 % |
22.27/22.31 c | 42798 | 11691 49986 151848 | 2147483647 42798 184 | 0.000 % |
22.27/22.38 c | 42901 | 11691 49986 151848 | 2147483647 42901 184 | 0.000 % |
22.37/22.45 c | 43011 | 11691 49986 151848 | 2147483647 43011 184 | 0.000 % |
22.47/22.53 c | 43132 | 11691 49986 151848 | 2147483647 43132 183 | 0.000 % |
22.57/22.64 c | 43265 | 11691 49986 151848 | 2147483647 43265 183 | 0.000 % |
22.67/22.73 c | 43411 | 11691 49986 151848 | 2147483647 43411 183 | 0.000 % |
22.77/22.84 c | 43571 | 11691 49986 151848 | 2147483647 43571 183 | 0.000 % |
22.87/22.98 c | 43748 | 11691 49986 151848 | 2147483647 43748 183 | 0.000 % |
22.97/23.09 c | 43943 | 11691 49986 151848 | 2147483647 43943 183 | 0.000 % |
23.17/23.23 c | 44155 | 11691 49986 151848 | 2147483647 44155 183 | 0.000 % |
23.27/23.39 c | 44389 | 11691 49986 151848 | 2147483647 44389 183 | 0.000 % |
23.47/23.56 c | 44645 | 11691 49986 151848 | 2147483647 44645 183 | 0.000 % |
23.67/23.74 c | 44926 | 11691 49986 151848 | 2147483647 44926 184 | 0.000 % |
23.87/23.94 c | 45236 | 11691 49986 151848 | 2147483647 45236 184 | 0.000 % |
24.07/24.19 c | 45578 | 11691 49986 151848 | 2147483647 45578 184 | 0.000 % |
24.37/24.45 c | 45950 | 11691 49986 151848 | 2147483647 45950 185 | 0.000 % |
24.67/24.73 c | 46360 | 11691 49986 151848 | 2147483647 46360 185 | 0.000 % |
24.96/25.02 c | 46812 | 11691 49986 151848 | 2147483647 46812 185 | 0.000 % |
25.27/25.36 c | 47307 | 11691 49986 151848 | 2147483647 47307 185 | 0.000 % |
25.66/25.73 c | 47849 | 11691 49986 151848 | 2147483647 47849 185 | 0.000 % |
26.06/26.13 c | 48446 | 11691 49986 151848 | 2147483647 48446 185 | 0.000 % |
26.47/26.58 c | 49101 | 11691 49986 151848 | 2147483647 49101 186 | 0.000 % |
26.57/26.66 c | 49203 | 11691 49986 151848 | 2147483647 49203 186 | 0.000 % |
26.67/26.74 c | 49314 | 11691 49986 151848 | 2147483647 49314 186 | 0.000 % |
26.77/26.84 c | 49437 | 11691 49986 151848 | 2147483647 49437 186 | 0.000 % |
26.87/26.95 c | 49570 | 11691 49986 151848 | 2147483647 49570 186 | 0.000 % |
26.97/27.07 c | 49716 | 11691 49986 151848 | 2147483647 49716 186 | 0.000 % |
27.07/27.19 c | 49878 | 11691 49986 151848 | 2147483647 49878 186 | 0.000 % |
27.27/27.31 c | 50054 | 11691 49986 151848 | 2147483647 50054 186 | 0.000 % |
27.37/27.46 c | 50247 | 11691 49986 151848 | 2147483647 50247 186 | 0.000 % |
27.57/27.62 c | 50459 | 11691 49986 151848 | 2147483647 50459 185 | 0.000 % |
27.67/27.77 c | 50693 | 11691 49986 151848 | 2147483647 50693 185 | 0.000 % |
27.87/27.95 c | 50950 | 11691 49986 151848 | 2147483647 50950 185 | 0.000 % |
28.07/28.15 c | 51232 | 11691 49986 151848 | 2147483647 51232 185 | 0.000 % |
28.27/28.36 c | 51542 | 11691 49986 151848 | 2147483647 51542 185 | 0.000 % |
28.57/28.62 c | 51881 | 11691 49986 151848 | 2147483647 51881 186 | 0.000 % |
28.77/28.88 c | 52253 | 11691 49986 151848 | 2147483647 52253 186 | 0.000 % |
29.07/29.14 c | 52663 | 11691 49986 151848 | 2147483647 52663 186 | 0.000 % |
29.37/29.45 c | 53112 | 11691 49986 151848 | 2147483647 53112 186 | 0.000 % |
29.67/29.79 c | 53606 | 11691 49986 151848 | 2147483647 53606 186 | 0.000 % |
30.07/30.16 c | 54149 | 11691 49986 151848 | 2147483647 54149 186 | 0.000 % |
30.46/30.58 c | 54748 | 11691 49986 151848 | 2147483647 54748 186 | 0.000 % |
30.96/31.02 c | 55404 | 11691 49986 151848 | 2147483647 55404 186 | 0.000 % |
31.46/31.51 c | 56127 | 11691 49986 151848 | 2147483647 56127 187 | 0.000 % |
31.46/31.59 c | 56227 | 11691 49986 151848 | 2147483647 56227 187 | 0.000 % |
31.56/31.67 c | 56338 | 11691 49986 151848 | 2147483647 56338 187 | 0.000 % |
31.66/31.77 c | 56461 | 11691 49986 151848 | 2147483647 56461 187 | 0.000 % |
31.77/31.86 c | 56595 | 11691 49986 151848 | 2147483647 56595 187 | 0.000 % |
31.87/31.99 c | 56741 | 11691 49986 151848 | 2147483647 56741 187 | 0.000 % |
32.07/32.11 c | 56902 | 11691 49986 151848 | 2147483647 56902 187 | 0.000 % |
32.17/32.25 c | 57079 | 11691 49986 151848 | 2147483647 57079 187 | 0.000 % |
32.37/32.41 c | 57273 | 11691 49986 151848 | 2147483647 57273 187 | 0.000 % |
32.47/32.56 c | 57485 | 11691 49986 151848 | 2147483647 57485 187 | 0.000 % |
32.67/32.74 c | 57721 | 11691 49986 151848 | 2147483647 57721 187 | 0.000 % |
32.87/32.95 c | 57977 | 11691 49986 151848 | 2147483647 57977 187 | 0.000 % |
33.06/33.14 c | 58258 | 11691 49986 151848 | 2147483647 58258 187 | 0.000 % |
33.26/33.36 c | 58567 | 11691 49986 151848 | 2147483647 58567 187 | 0.000 % |
33.56/33.61 c | 58907 | 11691 49986 151848 | 2147483647 58907 187 | 0.000 % |
33.75/33.86 c | 59279 | 11691 49986 151848 | 2147483647 59279 187 | 0.000 % |
34.06/34.14 c | 59689 | 11691 49986 151848 | 2147483647 59689 187 | 0.000 % |
34.35/34.49 c | 60139 | 11691 49986 151848 | 2147483647 60139 187 | 0.000 % |
34.76/34.86 c | 60632 | 11691 49986 151848 | 2147483647 60632 187 | 0.000 % |
35.16/35.27 c | 61175 | 11691 49986 151848 | 2147483647 61175 187 | 0.000 % |
35.66/35.73 c | 61771 | 11691 49986 151848 | 2147483647 61771 187 | 0.000 % |
36.06/36.19 c | 62426 | 11691 49986 151848 | 2147483647 62426 188 | 0.000 % |
36.65/36.72 c | 63146 | 11691 49986 151848 | 2147483647 63146 188 | 0.000 % |
37.27/37.34 c | 63938 | 11691 49986 151848 | 2147483647 63938 189 | 0.000 % |
37.37/37.42 c | 64038 | 11691 49986 151848 | 2147483647 64038 189 | 0.000 % |
37.46/37.52 c | 64148 | 11691 49986 151848 | 2147483647 64148 189 | 0.000 % |
37.56/37.61 c | 64269 | 11691 49986 151848 | 2147483647 64269 188 | 0.000 % |
37.66/37.74 c | 64404 | 11691 49986 151848 | 2147483647 64404 188 | 0.000 % |
37.76/37.85 c | 64550 | 11691 49986 151848 | 2147483647 64550 188 | 0.000 % |
37.96/38.00 c | 64711 | 11691 49986 151848 | 2147483647 64711 188 | 0.000 % |
38.06/38.14 c | 64888 | 11691 49986 151848 | 2147483647 64888 188 | 0.000 % |
38.26/38.30 c | 65083 | 11691 49986 151848 | 2147483647 65083 188 | 0.000 % |
38.36/38.48 c | 65296 | 11691 49986 151848 | 2147483647 65296 188 | 0.000 % |
38.56/38.66 c | 65530 | 11691 49986 151848 | 2147483647 65530 188 | 0.000 % |
38.75/38.88 c | 65788 | 11691 49986 151848 | 2147483647 65788 188 | 0.000 % |
39.06/39.11 c | 66071 | 11691 49986 151848 | 2147483647 66071 188 | 0.000 % |
39.26/39.36 c | 66380 | 11691 49986 151848 | 2147483647 66380 188 | 0.000 % |
39.56/39.63 c | 66719 | 11691 49986 151848 | 2147483647 66719 189 | 0.000 % |
39.86/39.92 c | 67094 | 11691 49986 151848 | 2147483647 67094 189 | 0.000 % |
40.15/40.26 c | 67503 | 11691 49986 151848 | 2147483647 67503 189 | 0.000 % |
40.56/40.60 c | 67952 | 11691 49986 151848 | 2147483647 67952 189 | 0.000 % |
40.85/40.99 c | 68445 | 11691 49986 151848 | 2147483647 68445 189 | 0.000 % |
41.35/41.40 c | 68987 | 11691 49986 151848 | 2147483647 68987 190 | 0.000 % |
41.76/41.85 c | 69583 | 11691 49986 151848 | 2147483647 69583 190 | 0.000 % |
42.26/42.36 c | 70238 | 11691 49986 151848 | 2147483647 70238 190 | 0.000 % |
42.76/42.89 c | 70958 | 11691 49986 151848 | 2147483647 70958 190 | 0.000 % |
43.46/43.53 c | 71750 | 11691 49986 151848 | 2147483647 71750 190 | 0.000 % |
44.06/44.19 c | 72621 | 11691 49986 151848 | 2147483647 72621 190 | 0.000 % |
44.15/44.28 c | 72722 | 11691 49986 151848 | 2147483647 72722 190 | 0.000 % |
44.25/44.38 c | 72832 | 11691 49986 151848 | 2147483647 72832 190 | 0.000 % |
44.35/44.47 c | 72955 | 11691 49986 151848 | 2147483647 72955 190 | 0.000 % |
44.55/44.61 c | 73088 | 11691 49986 151848 | 2147483647 73088 190 | 0.000 % |
44.65/44.75 c | 73236 | 11691 49986 151848 | 2147483647 73236 190 | 0.000 % |
44.75/44.89 c | 73398 | 11691 49986 151848 | 2147483647 73398 190 | 0.000 % |
44.96/45.05 c | 73575 | 11691 49986 151848 | 2147483647 73575 190 | 0.000 % |
45.16/45.23 c | 73768 | 11691 49986 151848 | 2147483647 73768 190 | 0.000 % |
45.36/45.40 c | 73980 | 11691 49986 151848 | 2147483647 73980 190 | 0.000 % |
45.46/45.59 c | 74214 | 11691 49986 151848 | 2147483647 74214 190 | 0.000 % |
45.66/45.79 c | 74470 | 11691 49986 151848 | 2147483647 74470 190 | 0.000 % |
45.96/46.01 c | 74752 | 11691 49986 151848 | 2147483647 74752 191 | 0.000 % |
46.16/46.29 c | 75061 | 11691 49986 151848 | 2147483647 75061 191 | 0.000 % |
46.55/46.60 c | 75405 | 11691 49986 151848 | 2147483647 75405 191 | 0.000 % |
46.85/46.92 c | 75777 | 11691 49986 151848 | 2147483647 75777 191 | 0.000 % |
47.15/47.26 c | 76186 | 11691 49986 151848 | 2147483647 76186 191 | 0.000 % |
47.55/47.62 c | 76635 | 11691 49986 151848 | 2147483647 76635 191 | 0.000 % |
47.95/48.05 c | 77128 | 11691 49986 151848 | 2147483647 77128 191 | 0.000 % |
48.36/48.50 c | 77670 | 11691 49986 151848 | 2147483647 77670 191 | 0.000 % |
48.86/48.99 c | 78267 | 11691 49986 151848 | 2147483647 78267 191 | 0.000 % |
49.46/49.56 c | 78924 | 11691 49986 151848 | 2147483647 78924 191 | 0.000 % |
50.06/50.18 c | 79646 | 11691 49986 151848 | 2147483647 79646 191 | 0.000 % |
50.75/50.85 c | 80439 | 11691 49986 151848 | 2147483647 80439 191 | 0.000 % |
51.46/51.57 c | 81310 | 11691 49986 151848 | 2147483647 81310 192 | 0.000 % |
52.25/52.37 c | 82268 | 11691 49986 151848 | 2147483647 82268 192 | 0.000 % |
52.35/52.46 c | 82368 | 11691 49986 151848 | 2147483647 82368 192 | 0.000 % |
52.45/52.57 c | 82480 | 11691 49986 151848 | 2147483647 82480 191 | 0.000 % |
52.55/52.68 c | 82601 | 11691 49986 151848 | 2147483647 82601 191 | 0.000 % |
52.76/52.82 c | 82737 | 11691 49986 151848 | 2147483647 82737 191 | 0.000 % |
52.85/52.97 c | 82883 | 11691 49986 151848 | 2147483647 82883 191 | 0.000 % |
53.05/53.11 c | 83043 | 11691 49986 151848 | 2147483647 83043 191 | 0.000 % |
53.15/53.28 c | 83220 | 11691 49986 151848 | 2147483647 83220 191 | 0.000 % |
53.35/53.46 c | 83415 | 11691 49986 151848 | 2147483647 83415 191 | 0.000 % |
53.55/53.65 c | 83628 | 11691 49986 151848 | 2147483647 83628 191 | 0.000 % |
53.75/53.87 c | 83861 | 11691 49986 151848 | 2147483647 83861 191 | 0.000 % |
54.05/54.10 c | 84118 | 11691 49986 151848 | 2147483647 84118 191 | 0.000 % |
54.25/54.34 c | 84399 | 11691 49986 151848 | 2147483647 84399 191 | 0.000 % |
54.55/54.60 c | 84710 | 11691 49986 151848 | 2147483647 84710 191 | 0.000 % |
54.75/54.88 c | 85049 | 11691 49986 151848 | 2147483647 85049 191 | 0.000 % |
55.15/55.22 c | 85423 | 11691 49986 151848 | 2147483647 85423 191 | 0.000 % |
55.45/55.59 c | 85833 | 11691 49986 151848 | 2147483647 85833 191 | 0.000 % |
55.85/55.97 c | 86282 | 11691 49986 151848 | 2147483647 86282 191 | 0.000 % |
56.25/56.39 c | 86775 | 11691 49986 151848 | 2147483647 86775 191 | 0.000 % |
56.75/56.86 c | 87317 | 11691 49986 151848 | 2147483647 87317 191 | 0.000 % |
57.25/57.39 c | 87914 | 11691 49986 151848 | 2147483647 87914 192 | 0.000 % |
57.85/57.98 c | 88569 | 11691 49986 151848 | 2147483647 88569 192 | 0.000 % |
58.55/58.61 c | 89291 | 11691 49986 151848 | 2147483647 89291 192 | 0.000 % |
59.15/59.29 c | 90083 | 11691 49986 151848 | 2147483647 90083 192 | 0.000 % |
59.95/60.01 c | 90955 | 11691 49986 151848 | 2147483647 90955 192 | 0.000 % |
60.75/60.88 c | 91913 | 11691 49986 151848 | 2147483647 91913 192 | 0.000 % |
61.85/61.90 c | 92966 | 11691 49986 151848 | 2147483647 92966 193 | 0.000 % |
61.95/62.01 c | 93067 | 11691 49986 151848 | 2147483647 93067 193 | 0.000 % |
62.05/62.14 c | 93178 | 11691 49986 151848 | 2147483647 93178 193 | 0.000 % |
62.15/62.28 c | 93299 | 11691 49986 151848 | 2147483647 93299 193 | 0.000 % |
62.35/62.41 c | 93434 | 11691 49986 151848 | 2147483647 93434 193 | 0.000 % |
62.45/62.57 c | 93582 | 11691 49986 151848 | 2147483647 93582 193 | 0.000 % |
62.65/62.75 c | 93742 | 11691 49986 151848 | 2147483647 93742 193 | 0.000 % |
62.85/62.92 c | 93918 | 11691 49986 151848 | 2147483647 93918 193 | 0.000 % |
63.04/63.13 c | 94111 | 11691 49986 151848 | 2147483647 94111 193 | 0.000 % |
63.24/63.33 c | 94323 | 11691 49986 151848 | 2147483647 94323 193 | 0.000 % |
63.44/63.56 c | 94556 | 11691 49986 151848 | 2147483647 94556 193 | 0.000 % |
63.74/63.84 c | 94814 | 11691 49986 151848 | 2147483647 94814 193 | 0.000 % |
64.05/64.12 c | 95095 | 11691 49986 151848 | 2147483647 95095 193 | 0.000 % |
64.34/64.44 c | 95404 | 11691 49986 151848 | 2147483647 95404 193 | 0.000 % |
64.64/64.76 c | 95744 | 11691 49986 151848 | 2147483647 95744 193 | 0.000 % |
65.04/65.13 c | 96116 | 11691 49986 151848 | 2147483647 96116 193 | 0.000 % |
65.34/65.49 c | 96526 | 11691 49986 151848 | 2147483647 96526 193 | 0.000 % |
65.84/65.95 c | 96976 | 11691 49986 151848 | 2147483647 96976 193 | 0.000 % |
66.35/66.44 c | 97470 | 11691 49986 151848 | 2147483647 97470 193 | 0.000 % |
66.84/66.94 c | 98012 | 11691 49986 151848 | 2147483647 98012 193 | 0.000 % |
67.44/67.53 c | 98611 | 11691 49986 151848 | 2147483647 98611 193 | 0.000 % |
68.04/68.13 c | 99266 | 11691 49986 151848 | 2147483647 99266 193 | 0.000 % |
68.74/68.81 c | 99987 | 11691 49986 151848 | 2147483647 99987 194 | 0.000 % |
69.44/69.56 c | 100780 | 11691 49986 151848 | 2147483647 100780 193 | 0.000 % |
70.24/70.39 c | 101651 | 11691 49986 151848 | 2147483647 101651 194 | 0.000 % |
71.14/71.28 c | 102614 | 11691 49986 151848 | 2147483647 102614 195 | 0.000 % |
72.14/72.28 c | 103667 | 11691 49986 151848 | 2147483647 103667 195 | 0.000 % |
73.24/73.38 c | 104826 | 11691 49986 151848 | 2147483647 104826 196 | 0.000 % |
73.34/73.49 c | 104928 | 11691 49986 151848 | 2147483647 104928 195 | 0.000 % |
73.55/73.62 c | 105038 | 11691 49986 151848 | 2147483647 105038 195 | 0.000 % |
73.65/73.77 c | 105160 | 11691 49986 151848 | 2147483647 105160 195 | 0.000 % |
73.84/73.93 c | 105294 | 11691 49986 151848 | 2147483647 105294 195 | 0.000 % |
73.94/74.08 c | 105442 | 11691 49986 151848 | 2147483647 105442 195 | 0.000 % |
74.14/74.27 c | 105602 | 11691 49986 151848 | 2147483647 105602 195 | 0.000 % |
74.34/74.43 c | 105779 | 11691 49986 151848 | 2147483647 105779 195 | 0.000 % |
74.54/74.63 c | 105972 | 11691 49986 151848 | 2147483647 105972 195 | 0.000 % |
74.74/74.85 c | 106187 | 11691 49986 151848 | 2147483647 106187 195 | 0.000 % |
75.04/75.11 c | 106421 | 11691 49986 151848 | 2147483647 106421 195 | 0.000 % |
75.24/75.35 c | 106677 | 11691 49986 151848 | 2147483647 106677 195 | 0.000 % |
75.54/75.61 c | 106958 | 11691 49986 151848 | 2147483647 106958 195 | 0.000 % |
75.84/75.93 c | 107267 | 11691 49986 151848 | 2147483647 107267 195 | 0.000 % |
76.14/76.29 c | 107607 | 11691 49986 151848 | 2147483647 107607 195 | 0.000 % |
76.54/76.67 c | 107985 | 11691 49986 151848 | 2147483647 107985 195 | 0.000 % |
77.03/77.11 c | 108394 | 11691 49986 151848 | 2147483647 108394 196 | 0.000 % |
77.44/77.56 c | 108843 | 11691 49986 151848 | 2147483647 108843 196 | 0.000 % |
77.94/78.06 c | 109336 | 11691 49986 151848 | 2147483647 109336 196 | 0.000 % |
78.54/78.61 c | 109879 | 11691 49986 151848 | 2147483647 109879 196 | 0.000 % |
79.04/79.20 c | 110475 | 11691 49986 151848 | 2147483647 110475 196 | 0.000 % |
79.74/79.85 c | 111131 | 11691 49986 151848 | 2147483647 111131 196 | 0.000 % |
80.43/80.55 c | 111852 | 11691 49986 151848 | 2147483647 111852 195 | 0.000 % |
81.24/81.32 c | 112646 | 11691 49986 151848 | 2147483647 112646 196 | 0.000 % |
82.04/82.17 c | 113517 | 11691 49986 151848 | 2147483647 113517 196 | 0.000 % |
83.03/83.19 c | 114475 | 11691 49986 151848 | 2147483647 114475 196 | 0.000 % |
84.13/84.23 c | 115528 | 11691 49986 151848 | 2147483647 115528 197 | 0.000 % |
85.34/85.45 c | 116691 | 11691 49986 151848 | 2147483647 116691 197 | 0.000 % |
86.63/86.74 c | 117964 | 11691 49986 151848 | 2147483647 117964 198 | 0.000 % |
86.74/86.86 c | 118066 | 11691 49986 151848 | 2147483647 118066 198 | 0.000 % |
86.93/87.02 c | 118177 | 11691 49986 151848 | 2147483647 118177 198 | 0.000 % |
87.03/87.17 c | 118298 | 11691 49986 151848 | 2147483647 118298 198 | 0.000 % |
87.23/87.34 c | 118431 | 11691 49986 151848 | 2147483647 118431 198 | 0.000 % |
87.43/87.50 c | 118577 | 11691 49986 151848 | 2147483647 118577 198 | 0.000 % |
87.53/87.67 c | 118738 | 11691 49986 151848 | 2147483647 118738 198 | 0.000 % |
87.73/87.89 c | 118914 | 11691 49986 151848 | 2147483647 118914 198 | 0.000 % |
88.03/88.13 c | 119107 | 11691 49986 151848 | 2147483647 119107 198 | 0.000 % |
88.23/88.37 c | 119319 | 11691 49986 151848 | 2147483647 119319 198 | 0.000 % |
88.53/88.64 c | 119552 | 11691 49986 151848 | 2147483647 119552 197 | 0.000 % |
88.83/88.94 c | 119811 | 11691 49986 151848 | 2147483647 119811 197 | 0.000 % |
89.14/89.27 c | 120092 | 11691 49986 151848 | 2147483647 120092 197 | 0.000 % |
89.54/89.62 c | 120403 | 11691 49986 151848 | 2147483647 120403 197 | 0.000 % |
89.94/90.00 c | 120742 | 11691 49986 151848 | 2147483647 120742 197 | 0.000 % |
90.34/90.42 c | 121115 | 11691 49986 151848 | 2147483647 121115 197 | 0.000 % |
90.74/90.87 c | 121525 | 11691 49986 151848 | 2147483647 121525 197 | 0.000 % |
91.24/91.38 c | 121976 | 11691 49986 151848 | 2147483647 121976 197 | 0.000 % |
91.84/91.91 c | 122469 | 11691 49986 151848 | 2147483647 122469 197 | 0.000 % |
92.43/92.50 c | 123012 | 11691 49986 151848 | 2147483647 123012 197 | 0.000 % |
93.03/93.12 c | 123608 | 11691 49986 151848 | 2147483647 123608 197 | 0.000 % |
93.73/93.80 c | 124263 | 11691 49986 151848 | 2147483647 124263 198 | 0.000 % |
94.43/94.52 c | 124984 | 11691 49986 151848 | 2147483647 124984 198 | 0.000 % |
95.24/95.34 c | 125776 | 11691 49986 151848 | 2147483647 125776 198 | 0.000 % |
96.13/96.29 c | 126647 | 11691 49986 151848 | 2147483647 126647 198 | 0.000 % |
97.23/97.33 c | 127606 | 11691 49986 151848 | 2147483647 127606 198 | 0.000 % |
98.33/98.47 c | 128661 | 11691 49986 151848 | 2147483647 128661 199 | 0.000 % |
99.53/99.69 c | 129819 | 11691 49986 151848 | 2147483647 129819 199 | 0.000 % |
100.83/100.98 c | 131092 | 11691 49986 151848 | 2147483647 131092 199 | 0.000 % |
102.33/102.47 c | 132492 | 11691 49986 151848 | 2147483647 132492 199 | 0.000 % |
102.53/102.60 c | 132593 | 11691 49986 151848 | 2147483647 132593 199 | 0.000 % |
102.63/102.74 c | 132703 | 11691 49986 151848 | 2147483647 132703 199 | 0.000 % |
102.83/102.90 c | 132824 | 11691 49986 151848 | 2147483647 132824 199 | 0.000 % |
102.93/103.06 c | 132957 | 11691 49986 151848 | 2147483647 132957 199 | 0.000 % |
103.13/103.25 c | 133103 | 11691 49986 151848 | 2147483647 133103 199 | 0.000 % |
103.33/103.45 c | 133263 | 11691 49986 151848 | 2147483647 133263 199 | 0.000 % |
103.53/103.66 c | 133439 | 11691 49986 151848 | 2147483647 133439 199 | 0.000 % |
103.73/103.88 c | 133632 | 11691 49986 151848 | 2147483647 133632 199 | 0.000 % |
104.03/104.11 c | 133846 | 11691 49986 151848 | 2147483647 133846 199 | 0.000 % |
104.33/104.40 c | 134080 | 11691 49986 151848 | 2147483647 134080 199 | 0.000 % |
104.63/104.73 c | 134337 | 11691 49986 151848 | 2147483647 134337 199 | 0.000 % |
104.93/105.03 c | 134618 | 11691 49986 151848 | 2147483647 134618 199 | 0.000 % |
105.33/105.40 c | 134927 | 11691 49986 151848 | 2147483647 134927 199 | 0.000 % |
105.73/105.83 c | 135267 | 11691 49986 151848 | 2147483647 135267 199 | 0.000 % |
106.13/106.27 c | 135640 | 11691 49986 151848 | 2147483647 135640 199 | 0.000 % |
106.63/106.73 c | 136050 | 11691 49986 151848 | 2147483647 136050 199 | 0.000 % |
107.13/107.25 c | 136501 | 11691 49986 151848 | 2147483647 136501 199 | 0.000 % |
107.73/107.81 c | 136994 | 11691 49986 151848 | 2147483647 136994 199 | 0.000 % |
108.32/108.43 c | 137538 | 11691 49986 151848 | 2147483647 137538 199 | 0.000 % |
109.02/109.15 c | 138135 | 11691 49986 151848 | 2147483647 138135 199 | 0.000 % |
109.82/109.95 c | 138790 | 11691 49986 151848 | 2147483647 138790 199 | 0.000 % |
110.62/110.74 c | 139513 | 11691 49986 151848 | 2147483647 139513 199 | 0.000 % |
111.52/111.67 c | 140305 | 11691 49986 151848 | 2147483647 140305 199 | 0.000 % |
112.52/112.68 c | 141178 | 11691 49986 151848 | 2147483647 141178 199 | 0.000 % |
113.62/113.79 c | 142137 | 11691 49986 151848 | 2147483647 142137 199 | 0.000 % |
114.82/114.98 c | 143192 | 11691 49986 151848 | 2147483647 143192 200 | 0.000 % |
116.12/116.23 c | 144351 | 11691 49986 151848 | 2147483647 144351 200 | 0.000 % |
117.63/117.75 c | 145627 | 11691 49986 151848 | 2147483647 145627 200 | 0.000 % |
119.22/119.35 c | 147028 | 11691 49986 151848 | 2147483647 147028 200 | 0.000 % |
121.11/121.21 c | 148568 | 11691 49986 151848 | 2147483647 148568 201 | 0.000 % |
121.21/121.38 c | 148669 | 11691 49986 151848 | 2147483647 148669 201 | 0.000 % |
121.41/121.54 c | 148782 | 11691 49986 151848 | 2147483647 148782 201 | 0.000 % |
121.61/121.70 c | 148904 | 11691 49986 151848 | 2147483647 148904 201 | 0.000 % |
121.81/121.90 c | 149038 | 11691 49986 151848 | 2147483647 149038 200 | 0.000 % |
122.02/122.12 c | 149184 | 11691 49986 151848 | 2147483647 149184 200 | 0.000 % |
122.21/122.36 c | 149344 | 11691 49986 151848 | 2147483647 149344 200 | 0.000 % |
122.41/122.59 c | 149520 | 11691 49986 151848 | 2147483647 149520 200 | 0.000 % |
122.71/122.88 c | 149714 | 11691 49986 151848 | 2147483647 149714 200 | 0.000 % |
123.03/123.17 c | 149926 | 11691 49986 151848 | 2147483647 149926 200 | 0.000 % |
123.32/123.43 c | 150159 | 11691 49986 151848 | 2147483647 150159 200 | 0.000 % |
123.62/123.75 c | 150415 | 11691 49986 151848 | 2147483647 150415 200 | 0.000 % |
124.02/124.12 c | 150696 | 11691 49986 151848 | 2147483647 150696 200 | 0.000 % |
124.42/124.52 c | 151007 | 11691 49986 151848 | 2147483647 151007 200 | 0.000 % |
124.82/124.99 c | 151347 | 11691 49986 151848 | 2147483647 151347 200 | 0.000 % |
125.33/125.50 c | 151719 | 11691 49986 151848 | 2147483647 151719 200 | 0.000 % |
125.92/126.01 c | 152129 | 11691 49986 151848 | 2147483647 152129 200 | 0.000 % |
126.42/126.59 c | 152578 | 11691 49986 151848 | 2147483647 152578 200 | 0.000 % |
127.02/127.14 c | 153071 | 11691 49986 151848 | 2147483647 153071 200 | 0.000 % |
127.72/127.85 c | 153615 | 11691 49986 151848 | 2147483647 153615 200 | 0.000 % |
128.41/128.57 c | 154211 | 11691 49986 151848 | 2147483647 154211 200 | 0.000 % |
129.31/129.40 c | 154867 | 11691 49986 151848 | 2147483647 154867 200 | 0.000 % |
130.12/130.26 c | 155587 | 11691 49986 151848 | 2147483647 155587 200 | 0.000 % |
131.12/131.29 c | 156381 | 11691 49986 151848 | 2147483647 156381 200 | 0.000 % |
132.21/132.35 c | 157252 | 11691 49986 151848 | 2147483647 157252 200 | 0.000 % |
133.41/133.50 c | 158211 | 11691 49986 151848 | 2147483647 158211 200 | 0.000 % |
134.71/134.81 c | 159266 | 11691 49986 151848 | 2147483647 159266 200 | 0.000 % |
136.12/136.20 c | 160425 | 11691 49986 151848 | 2147483647 160425 200 | 0.000 % |
137.62/137.71 c | 161699 | 11691 49986 151848 | 2147483647 161699 201 | 0.000 % |
139.21/139.37 c | 163099 | 11691 49986 151848 | 2147483647 163099 202 | 0.000 % |
141.12/141.24 c | 164640 | 11691 49986 151848 | 2147483647 164640 202 | 0.000 % |
143.21/143.36 c | 166335 | 11691 49986 151848 | 2147483647 166335 203 | 0.000 % |
143.31/143.47 c | 166435 | 11691 49986 151848 | 2147483647 166435 203 | 0.000 % |
143.51/143.64 c | 166545 | 11691 49986 151848 | 2147483647 166545 203 | 0.000 % |
143.71/143.85 c | 166670 | 11691 49986 151848 | 2147483647 166670 203 | 0.000 % |
143.91/144.05 c | 166804 | 11691 49986 151848 | 2147483647 166804 203 | 0.000 % |
144.11/144.26 c | 166950 | 11691 49986 151848 | 2147483647 166950 203 | 0.000 % |
144.41/144.50 c | 167110 | 11691 49986 151848 | 2147483647 167110 203 | 0.000 % |
144.61/144.78 c | 167288 | 11691 49986 151848 | 2147483647 167288 203 | 0.000 % |
144.91/145.04 c | 167484 | 11691 49986 151848 | 2147483647 167484 203 | 0.000 % |
145.21/145.33 c | 167697 | 11691 49986 151848 | 2147483647 167697 203 | 0.000 % |
145.51/145.68 c | 167934 | 11691 49986 151848 | 2147483647 167934 203 | 0.000 % |
145.91/146.05 c | 168190 | 11691 49986 151848 | 2147483647 168190 202 | 0.000 % |
146.31/146.41 c | 168472 | 11691 49986 151848 | 2147483647 168472 202 | 0.000 % |
146.71/146.85 c | 168782 | 11691 49986 151848 | 2147483647 168782 202 | 0.000 % |
147.21/147.30 c | 169121 | 11691 49986 151848 | 2147483647 169121 202 | 0.000 % |
147.71/147.84 c | 169494 | 11691 49986 151848 | 2147483647 169494 202 | 0.000 % |
148.21/148.40 c | 169903 | 11691 49986 151848 | 2147483647 169903 202 | 0.000 % |
148.91/149.00 c | 170353 | 11691 49986 151848 | 2147483647 170353 202 | 0.000 % |
149.51/149.69 c | 170846 | 11691 49986 151848 | 2147483647 170846 202 | 0.000 % |
150.31/150.41 c | 171388 | 11691 49986 151848 | 2147483647 171388 202 | 0.000 % |
151.01/151.17 c | 171984 | 11691 49986 151848 | 2147483647 171984 202 | 0.000 % |
151.91/152.05 c | 172639 | 11691 49986 151848 | 2147483647 172639 202 | 0.000 % |
152.91/153.01 c | 173360 | 11691 49986 151848 | 2147483647 173360 202 | 0.000 % |
154.00/154.10 c | 174153 | 11691 49986 151848 | 2147483647 174153 202 | 0.000 % |
155.11/155.22 c | 175027 | 11691 49986 151848 | 2147483647 175027 203 | 0.000 % |
156.40/156.57 c | 175988 | 11691 49986 151848 | 2147483647 175988 203 | 0.000 % |
157.80/157.92 c | 177042 | 11691 49986 151848 | 2147483647 177042 203 | 0.000 % |
159.40/159.51 c | 178204 | 11691 49986 151848 | 2147483647 178204 203 | 0.000 % |
161.00/161.16 c | 179477 | 11691 49986 151848 | 2147483647 179477 203 | 0.000 % |
163.00/163.14 c | 180878 | 11691 49986 151848 | 2147483647 180878 203 | 0.000 % |
165.20/165.32 c | 182419 | 11691 49986 151848 | 2147483647 182419 203 | 0.000 % |
167.40/167.57 c | 184114 | 11691 49986 151848 | 2147483647 184114 203 | 0.000 % |
169.90/170.02 c | 185978 | 11691 49986 151848 | 2147483647 185978 204 | 0.000 % |
170.00/170.15 c | 186079 | 11691 49986 151848 | 2147483647 186079 204 | 0.000 % |
170.19/170.34 c | 186189 | 11691 49986 151848 | 2147483647 186189 204 | 0.000 % |
170.40/170.56 c | 186310 | 11691 49986 151848 | 2147483647 186310 204 | 0.000 % |
170.59/170.77 c | 186444 | 11691 49986 151848 | 2147483647 186444 204 | 0.000 % |
170.79/170.99 c | 186591 | 11691 49986 151848 | 2147483647 186591 204 | 0.000 % |
171.09/171.29 c | 186751 | 11691 49986 151848 | 2147483647 186751 204 | 0.000 % |
171.50/171.61 c | 186927 | 11691 49986 151848 | 2147483647 186927 204 | 0.000 % |
171.79/171.91 c | 187120 | 11691 49986 151848 | 2147483647 187120 203 | 0.000 % |
172.09/172.22 c | 187332 | 11691 49986 151848 | 2147483647 187332 203 | 0.000 % |
172.40/172.57 c | 187565 | 11691 49986 151848 | 2147483647 187565 204 | 0.000 % |
172.80/172.97 c | 187821 | 11691 49986 151848 | 2147483647 187821 204 | 0.000 % |
173.30/173.44 c | 188102 | 11691 49986 151848 | 2147483647 188102 204 | 0.000 % |
173.70/173.82 c | 188412 | 11691 49986 151848 | 2147483647 188412 204 | 0.000 % |
174.20/174.32 c | 188752 | 11691 49986 151848 | 2147483647 188752 204 | 0.000 % |
174.70/174.86 c | 189124 | 11691 49986 151848 | 2147483647 189124 204 | 0.000 % |
175.30/175.47 c | 189535 | 11691 49986 151848 | 2147483647 189535 204 | 0.000 % |
176.00/176.16 c | 189984 | 11691 49986 151848 | 2147483647 189984 204 | 0.000 % |
176.80/176.92 c | 190478 | 11691 49986 151848 | 2147483647 190478 204 | 0.000 % |
177.50/177.68 c | 191021 | 11691 49986 151848 | 2147483647 191021 204 | 0.000 % |
178.50/178.60 c | 191617 | 11691 49986 151848 | 2147483647 191617 204 | 0.000 % |
179.39/179.54 c | 192273 | 11691 49986 151848 | 2147483647 192273 204 | 0.000 % |
180.40/180.56 c | 192993 | 11691 49986 151848 | 2147483647 192993 204 | 0.000 % |
181.59/181.76 c | 193785 | 11691 49986 151848 | 2147483647 193785 204 | 0.000 % |
182.89/183.02 c | 194656 | 11691 49986 151848 | 2147483647 194656 204 | 0.000 % |
184.30/184.41 c | 195615 | 11691 49986 151848 | 2147483647 195615 204 | 0.000 % |
185.59/185.78 c | 196672 | 11691 49986 151848 | 2147483647 196672 204 | 0.000 % |
187.19/187.37 c | 197830 | 11691 49986 151848 | 2147483647 197830 204 | 0.000 % |
189.10/189.23 c | 199103 | 11691 49986 151848 | 2147483647 199103 204 | 0.000 % |
191.09/191.25 c | 200504 | 11691 49986 151848 | 2147483647 200504 204 | 0.000 % |
193.30/193.47 c | 202044 | 11691 49986 151848 | 2147483647 202044 205 | 0.000 % |
195.80/195.96 c | 203738 | 11691 49986 151848 | 2147483647 203738 205 | 0.000 % |
198.38/198.59 c | 205601 | 11691 49986 151848 | 2147483647 205601 205 | 0.000 % |
201.58/201.71 c | 207651 | 11691 49986 151848 | 2147483647 207651 205 | 0.000 % |
201.68/201.88 c | 207751 | 11691 49986 151848 | 2147483647 207751 205 | 0.000 % |
201.88/202.08 c | 207862 | 11691 49986 151848 | 2147483647 207862 205 | 0.000 % |
202.08/202.28 c | 207983 | 11691 49986 151848 | 2147483647 207983 205 | 0.000 % |
202.38/202.53 c | 208117 | 11691 49986 151848 | 2147483647 208117 205 | 0.000 % |
202.68/202.82 c | 208263 | 11691 49986 151848 | 2147483647 208263 205 | 0.000 % |
202.98/203.12 c | 208423 | 11691 49986 151848 | 2147483647 208423 205 | 0.000 % |
203.18/203.38 c | 208599 | 11691 49986 151848 | 2147483647 208599 205 | 0.000 % |
203.58/203.76 c | 208793 | 11691 49986 151848 | 2147483647 208793 205 | 0.000 % |
203.98/204.13 c | 209005 | 11691 49986 151848 | 2147483647 209005 205 | 0.000 % |
204.39/204.53 c | 209240 | 11691 49986 151848 | 2147483647 209240 205 | 0.000 % |
204.78/204.96 c | 209497 | 11691 49986 151848 | 2147483647 209497 205 | 0.000 % |
205.28/205.43 c | 209778 | 11691 49986 151848 | 2147483647 209778 205 | 0.000 % |
205.78/205.94 c | 210087 | 11691 49986 151848 | 2147483647 210087 205 | 0.000 % |
206.28/206.49 c | 210427 | 11691 49986 151848 | 2147483647 210427 205 | 0.000 % |
206.98/207.13 c | 210799 | 11691 49986 151848 | 2147483647 210799 205 | 0.000 % |
207.58/207.80 c | 211210 | 11691 49986 151848 | 2147483647 211210 205 | 0.000 % |
208.39/208.54 c | 211659 | 11691 49986 151848 | 2147483647 211659 205 | 0.000 % |
209.19/209.30 c | 212153 | 11691 49986 151848 | 2147483647 212153 204 | 0.000 % |
210.09/210.21 c | 212698 | 11691 49986 151848 | 2147483647 212698 205 | 0.000 % |
210.99/211.18 c | 213295 | 11691 49986 151848 | 2147483647 213295 205 | 0.000 % |
211.98/212.11 c | 213950 | 11691 49986 151848 | 2147483647 213950 205 | 0.000 % |
212.98/213.16 c | 214671 | 11691 49986 151848 | 2147483647 214671 205 | 0.000 % |
214.18/214.38 c | 215467 | 11691 49986 151848 | 2147483647 215467 205 | 0.000 % |
215.58/215.71 c | 216343 | 11691 49986 151848 | 2147483647 216343 205 | 0.000 % |
216.98/217.15 c | 217301 | 11691 49986 151848 | 2147483647 217301 205 | 0.000 % |
218.58/218.77 c | 218355 | 11691 49986 151848 | 2147483647 218355 205 | 0.000 % |
220.38/220.56 c | 219514 | 11691 49986 151848 | 2147483647 219514 205 | 0.000 % |
222.27/222.45 c | 220787 | 11691 49986 151848 | 2147483647 220787 205 | 0.000 % |
224.58/224.74 c | 222190 | 11691 49986 151848 | 2147483647 222190 205 | 0.000 % |
226.88/227.01 c | 223731 | 11691 49986 151848 | 2147483647 223731 205 | 0.000 % |
229.47/229.65 c | 225426 | 11691 49986 151848 | 2147483647 225426 205 | 0.000 % |
232.37/232.50 c | 227290 | 11691 49986 151848 | 2147483647 227290 206 | 0.000 % |
235.48/235.68 c | 229340 | 11691 49986 151848 | 2147483647 229340 206 | 0.000 % |
238.97/239.16 c | 231593 | 11691 49986 151848 | 2147483647 231593 206 | 0.000 % |
239.27/239.40 c | 231694 | 11691 49986 151848 | 2147483647 231694 206 | 0.000 % |
239.47/239.60 c | 231804 | 11691 49986 151848 | 2147483647 231804 206 | 0.000 % |
239.68/239.85 c | 231925 | 11691 49986 151848 | 2147483647 231925 206 | 0.000 % |
239.97/240.12 c | 232058 | 11691 49986 151848 | 2147483647 232058 206 | 0.000 % |
240.27/240.41 c | 232205 | 11691 49986 151848 | 2147483647 232205 206 | 0.000 % |
240.47/240.68 c | 232365 | 11691 49986 151848 | 2147483647 232365 206 | 0.000 % |
240.87/241.02 c | 232541 | 11691 49986 151848 | 2147483647 232541 206 | 0.000 % |
241.27/241.43 c | 232736 | 11691 49986 151848 | 2147483647 232736 206 | 0.000 % |
241.67/241.82 c | 232951 | 11691 49986 151848 | 2147483647 232951 206 | 0.000 % |
242.07/242.25 c | 233184 | 11691 49986 151848 | 2147483647 233184 206 | 0.000 % |
242.57/242.72 c | 233440 | 11691 49986 151848 | 2147483647 233440 206 | 0.000 % |
243.06/243.23 c | 233722 | 11691 49986 151848 | 2147483647 233722 205 | 0.000 % |
243.66/243.81 c | 234032 | 11691 49986 151848 | 2147483647 234032 205 | 0.000 % |
244.26/244.42 c | 234373 | 11691 49986 151848 | 2147483647 234373 205 | 0.000 % |
244.86/245.05 c | 234746 | 11691 49986 151848 | 2147483647 234746 205 | 0.000 % |
245.56/245.73 c | 235155 | 11691 49986 151848 | 2147483647 235155 205 | 0.000 % |
246.27/246.45 c | 235604 | 11691 49986 151848 | 2147483647 235604 205 | 0.000 % |
247.07/247.27 c | 236099 | 11691 49986 151848 | 2147483647 236099 205 | 0.000 % |
248.06/248.27 c | 236643 | 11691 49986 151848 | 2147483647 236643 205 | 0.000 % |
249.16/249.30 c | 237239 | 11691 49986 151848 | 2147483647 237239 205 | 0.000 % |
250.26/250.44 c | 237896 | 11691 49986 151848 | 2147483647 237896 205 | 0.000 % |
251.46/251.61 c | 238616 | 11691 49986 151848 | 2147483647 238616 206 | 0.000 % |
252.67/252.90 c | 239412 | 11691 49986 151848 | 2147483647 239412 206 | 0.000 % |
254.16/254.34 c | 240284 | 11691 49986 151848 | 2147483647 240284 206 | 0.000 % |
255.66/255.82 c | 241242 | 11691 49986 151848 | 2147483647 241242 206 | 0.000 % |
257.36/257.52 c | 242295 | 11691 49986 151848 | 2147483647 242295 206 | 0.000 % |
259.26/259.47 c | 243453 | 11691 49986 151848 | 2147483647 243453 206 | 0.000 % |
261.36/261.54 c | 244727 | 11691 49986 151848 | 2147483647 244727 206 | 0.000 % |
263.66/263.83 c | 246130 | 11691 49986 151848 | 2147483647 246130 206 | 0.000 % |
266.25/266.44 c | 247671 | 11691 49986 151848 | 2147483647 247671 206 | 0.000 % |
268.96/269.13 c | 249365 | 11691 49986 151848 | 2147483647 249365 207 | 0.000 % |
272.16/272.33 c | 251229 | 11691 49986 151848 | 2147483647 251229 207 | 0.000 % |
275.36/275.51 c | 253280 | 11691 49986 151848 | 2147483647 253280 207 | 0.000 % |
279.26/279.44 c | 255534 | 11691 49986 151848 | 2147483647 255534 207 | 0.000 % |
283.56/283.75 c | 258013 | 11691 49986 151848 | 2147483647 258013 207 | 0.000 % |
283.86/284.00 c | 258115 | 11691 49986 151848 | 2147483647 258115 207 | 0.000 % |
284.06/284.26 c | 258228 | 11691 49986 151848 | 2147483647 258228 207 | 0.000 % |
284.36/284.51 c | 258349 | 11691 49986 151848 | 2147483647 258349 207 | 0.000 % |
284.55/284.80 c | 258482 | 11691 49986 151848 | 2147483647 258482 207 | 0.000 % |
284.95/285.10 c | 258629 | 11691 49986 151848 | 2147483647 258629 207 | 0.000 % |
285.25/285.45 c | 258789 | 11691 49986 151848 | 2147483647 258789 207 | 0.000 % |
285.65/285.82 c | 258967 | 11691 49986 151848 | 2147483647 258967 207 | 0.000 % |
286.05/286.21 c | 259162 | 11691 49986 151848 | 2147483647 259162 207 | 0.000 % |
286.35/286.57 c | 259374 | 11691 49986 151848 | 2147483647 259374 207 | 0.000 % |
286.85/287.04 c | 259607 | 11691 49986 151848 | 2147483647 259607 207 | 0.000 % |
287.35/287.56 c | 259865 | 11691 49986 151848 | 2147483647 259865 207 | 0.000 % |
287.84/288.10 c | 260146 | 11691 49986 151848 | 2147483647 260146 207 | 0.000 % |
288.45/288.65 c | 260455 | 11691 49986 151848 | 2147483647 260455 207 | 0.000 % |
289.15/289.31 c | 260794 | 11691 49986 151848 | 2147483647 260794 207 | 0.000 % |
289.85/290.00 c | 261169 | 11691 49986 151848 | 2147483647 261169 207 | 0.000 % |
290.65/290.81 c | 261579 | 11691 49986 151848 | 2147483647 261579 207 | 0.000 % |
291.45/291.65 c | 262028 | 11691 49986 151848 | 2147483647 262028 207 | 0.000 % |
292.45/292.61 c | 262521 | 11691 49986 151848 | 2147483647 262521 207 | 0.000 % |
293.54/293.72 c | 263063 | 11691 49986 151848 | 2147483647 263063 207 | 0.000 % |
294.65/294.86 c | 263660 | 11691 49986 151848 | 2147483647 263660 207 | 0.000 % |
295.95/296.14 c | 264315 | 11691 49986 151848 | 2147483647 264315 207 | 0.000 % |
297.24/297.42 c | 265035 | 11691 49986 151848 | 2147483647 265035 207 | 0.000 % |
298.74/298.94 c | 265828 | 11691 49986 151848 | 2147483647 265828 207 | 0.000 % |
300.24/300.46 c | 266700 | 11691 49986 151848 | 2147483647 266700 207 | 0.000 % |
301.64/301.86 c | 267658 | 11691 49986 151848 | 2147483647 267658 207 | 0.000 % |
303.34/303.59 c | 268712 | 11691 49986 151848 | 2147483647 268712 207 | 0.000 % |
305.13/305.38 c | 269872 | 11691 49986 151848 | 2147483647 269872 207 | 0.000 % |
307.24/307.47 c | 271146 | 11691 49986 151848 | 2147483647 271146 207 | 0.000 % |
309.84/310.07 c | 272548 | 11691 49986 151848 | 2147483647 272548 208 | 0.000 % |
312.64/312.85 c | 274088 | 11691 49986 151848 | 2147483647 274088 208 | 0.000 % |
315.73/315.91 c | 275783 | 11691 49986 151848 | 2147483647 275783 208 | 0.000 % |
319.03/319.23 c | 277647 | 11691 49986 151848 | 2147483647 277647 208 | 0.000 % |
322.64/322.88 c | 279698 | 11691 49986 151848 | 2147483647 279698 209 | 0.000 % |
326.73/326.92 c | 281953 | 11691 49986 151848 | 2147483647 281953 209 | 0.000 % |
331.13/331.39 c | 284433 | 11691 49986 151848 | 2147483647 284433 209 | 0.000 % |
336.03/336.22 c | 287158 | 11691 49986 151848 | 2147483647 287158 209 | 0.000 % |
336.23/336.47 c | 287258 | 11691 49986 151848 | 2147483647 287258 209 | 0.000 % |
336.52/336.72 c | 287368 | 11691 49986 151848 | 2147483647 287368 209 | 0.000 % |
336.82/337.03 c | 287491 | 11691 49986 151848 | 2147483647 287491 209 | 0.000 % |
337.12/337.34 c | 287625 | 11691 49986 151848 | 2147483647 287625 209 | 0.000 % |
337.43/337.64 c | 287771 | 11691 49986 151848 | 2147483647 287771 209 | 0.000 % |
337.82/338.02 c | 287931 | 11691 49986 151848 | 2147483647 287931 209 | 0.000 % |
338.22/338.42 c | 288107 | 11691 49986 151848 | 2147483647 288107 209 | 0.000 % |
338.63/338.83 c | 288301 | 11691 49986 151848 | 2147483647 288301 209 | 0.000 % |
339.02/339.27 c | 288513 | 11691 49986 151848 | 2147483647 288513 209 | 0.000 % |
339.52/339.78 c | 288746 | 11691 49986 151848 | 2147483647 288746 209 | 0.000 % |
340.12/340.31 c | 289002 | 11691 49986 151848 | 2147483647 289002 209 | 0.000 % |
340.82/341.04 c | 289283 | 11691 49986 151848 | 2147483647 289283 209 | 0.000 % |
341.42/341.69 c | 289592 | 11691 49986 151848 | 2147483647 289592 209 | 0.000 % |
342.22/342.42 c | 289933 | 11691 49986 151848 | 2147483647 289933 209 | 0.000 % |
342.92/343.17 c | 290307 | 11691 49986 151848 | 2147483647 290307 209 | 0.000 % |
343.82/344.01 c | 290717 | 11691 49986 151848 | 2147483647 290717 209 | 0.000 % |
344.62/344.89 c | 291166 | 11691 49986 151848 | 2147483647 291166 209 | 0.000 % |
345.63/345.86 c | 291659 | 11691 49986 151848 | 2147483647 291659 209 | 0.000 % |
346.72/346.98 c | 292204 | 11691 49986 151848 | 2147483647 292204 209 | 0.000 % |
347.82/348.08 c | 292800 | 11691 49986 151848 | 2147483647 292800 209 | 0.000 % |
349.22/349.43 c | 293455 | 11691 49986 151848 | 2147483647 293455 209 | 0.000 % |
350.62/350.86 c | 294177 | 11691 49986 151848 | 2147483647 294177 209 | 0.000 % |
352.22/352.44 c | 294969 | 11691 49986 151848 | 2147483647 294969 209 | 0.000 % |
353.92/354.14 c | 295841 | 11691 49986 151848 | 2147483647 295841 209 | 0.000 % |
355.72/355.94 c | 296802 | 11691 49986 151848 | 2147483647 296802 209 | 0.000 % |
357.72/357.99 c | 297855 | 11691 49986 151848 | 2147483647 297855 209 | 0.000 % |
359.92/360.14 c | 299013 | 11691 49986 151848 | 2147483647 299013 209 | 0.000 % |
362.62/362.83 c | 300288 | 11691 49986 151848 | 2147483647 300288 209 | 0.000 % |
365.21/365.45 c | 301688 | 11691 49986 151848 | 2147483647 301688 209 | 0.000 % |
368.12/368.36 c | 303229 | 11691 49986 151848 | 2147483647 303229 209 | 0.000 % |
371.11/371.38 c | 304924 | 11691 49986 151848 | 2147483647 304924 209 | 0.000 % |
374.62/374.89 c | 306789 | 11691 49986 151848 | 2147483647 306789 209 | 0.000 % |
378.61/378.81 c | 308839 | 11691 49986 151848 | 2147483647 308839 209 | 0.000 % |
382.81/383.09 c | 311093 | 11691 49986 151848 | 2147483647 311093 209 | 0.000 % |
387.61/387.86 c | 313571 | 11691 49986 151848 | 2147483647 313571 210 | 0.000 % |
393.00/393.23 c | 316298 | 11691 49986 151848 | 2147483647 316298 210 | 0.000 % |
398.70/398.99 c | 319296 | 11691 49986 151848 | 2147483647 319296 210 | 0.000 % |
399.00/399.23 c | 319397 | 11691 49986 151848 | 2147483647 319397 210 | 0.000 % |
399.20/399.48 c | 319508 | 11691 49986 151848 | 2147483647 319508 210 | 0.000 % |
399.60/399.88 c | 319629 | 11691 49986 151848 | 2147483647 319629 210 | 0.000 % |
400.00/400.24 c | 319762 | 11691 49986 151848 | 2147483647 319762 210 | 0.000 % |
400.40/400.62 c | 319908 | 11691 49986 151848 | 2147483647 319908 210 | 0.000 % |
400.80/401.00 c | 320068 | 11691 49986 151848 | 2147483647 320068 210 | 0.000 % |
401.20/401.47 c | 320245 | 11691 49986 151848 | 2147483647 320245 210 | 0.000 % |
401.70/401.93 c | 320439 | 11691 49986 151848 | 2147483647 320439 210 | 0.000 % |
402.20/402.42 c | 320652 | 11691 49986 151848 | 2147483647 320652 210 | 0.000 % |
402.70/402.94 c | 320887 | 11691 49986 151848 | 2147483647 320887 210 | 0.000 % |
403.30/403.52 c | 321144 | 11691 49986 151848 | 2147483647 321144 210 | 0.000 % |
404.00/404.21 c | 321425 | 11691 49986 151848 | 2147483647 321425 210 | 0.000 % |
404.60/404.90 c | 321734 | 11691 49986 151848 | 2147483647 321734 210 | 0.000 % |
405.39/405.67 c | 322076 | 11691 49986 151848 | 2147483647 322076 210 | 0.000 % |
406.29/406.53 c | 322448 | 11691 49986 151848 | 2147483647 322448 210 | 0.000 % |
407.19/407.48 c | 322857 | 11691 49986 151848 | 2147483647 322857 210 | 0.000 % |
408.20/408.46 c | 323307 | 11691 49986 151848 | 2147483647 323307 210 | 0.000 % |
409.20/409.48 c | 323802 | 11691 49986 151848 | 2147483647 323802 210 | 0.000 % |
410.29/410.51 c | 324344 | 11691 49986 151848 | 2147483647 324344 210 | 0.000 % |
411.59/411.80 c | 324940 | 11691 49986 151848 | 2147483647 324940 210 | 0.000 % |
412.99/413.20 c | 325595 | 11691 49986 151848 | 2147483647 325595 210 | 0.000 % |
414.59/414.88 c | 326315 | 11691 49986 151848 | 2147483647 326315 210 | 0.000 % |
416.39/416.60 c | 327107 | 11691 49986 151848 | 2147483647 327107 210 | 0.000 % |
418.19/418.49 c | 327978 | 11691 49986 151848 | 2147483647 327978 210 | 0.000 % |
420.29/420.52 c | 328936 | 11691 49986 151848 | 2147483647 328936 210 | 0.000 % |
422.49/422.73 c | 329989 | 11691 49986 151848 | 2147483647 329989 210 | 0.000 % |
424.98/425.28 c | 331147 | 11691 49986 151848 | 2147483647 331147 210 | 0.000 % |
427.59/427.83 c | 332420 | 11691 49986 151848 | 2147483647 332420 210 | 0.000 % |
430.48/430.71 c | 333820 | 11691 49986 151848 | 2147483647 333820 210 | 0.000 % |
433.58/433.85 c | 335360 | 11691 49986 151848 | 2147483647 335360 210 | 0.000 % |
436.98/437.23 c | 337055 | 11691 49986 151848 | 2147483647 337055 210 | 0.000 % |
441.08/441.30 c | 338918 | 11691 49986 151848 | 2147483647 338918 210 | 0.000 % |
445.18/445.41 c | 340967 | 11691 49986 151848 | 2147483647 340967 211 | 0.000 % |
449.78/450.03 c | 343223 | 11691 49986 151848 | 2147483647 343223 211 | 0.000 % |
454.88/455.11 c | 345704 | 11691 49986 151848 | 2147483647 345704 211 | 0.000 % |
460.68/460.99 c | 348429 | 11691 49986 151848 | 2147483647 348429 212 | 0.000 % |
467.28/467.50 c | 351428 | 11691 49986 151848 | 2147483647 351428 212 | 0.000 % |
474.27/474.60 c | 354725 | 11691 49986 151848 | 2147483647 354725 213 | 0.000 % |
474.57/474.85 c | 354826 | 11691 49986 151848 | 2147483647 354826 213 | 0.000 % |
474.87/475.18 c | 354936 | 11691 49986 151848 | 2147483647 354936 213 | 0.000 % |
475.27/475.54 c | 355057 | 11691 49986 151848 | 2147483647 355057 213 | 0.000 % |
475.67/475.92 c | 355191 | 11691 49986 151848 | 2147483647 355191 213 | 0.000 % |
476.07/476.34 c | 355337 | 11691 49986 151848 | 2147483647 355337 213 | 0.000 % |
476.47/476.79 c | 355501 | 11691 49986 151848 | 2147483647 355501 212 | 0.000 % |
476.97/477.28 c | 355677 | 11691 49986 151848 | 2147483647 355677 212 | 0.000 % |
477.46/477.73 c | 355872 | 11691 49986 151848 | 2147483647 355872 212 | 0.000 % |
477.96/478.23 c | 356084 | 11691 49986 151848 | 2147483647 356084 212 | 0.000 % |
478.56/478.86 c | 356318 | 11691 49986 151848 | 2147483647 356318 212 | 0.000 % |
479.27/479.52 c | 356574 | 11691 49986 151848 | 2147483647 356574 212 | 0.000 % |
479.96/480.29 c | 356855 | 11691 49986 151848 | 2147483647 356855 212 | 0.000 % |
480.86/481.11 c | 357164 | 11691 49986 151848 | 2147483647 357164 212 | 0.000 % |
481.76/482.04 c | 357503 | 11691 49986 151848 | 2147483647 357503 212 | 0.000 % |
482.76/483.08 c | 357875 | 11691 49986 151848 | 2147483647 357875 212 | 0.000 % |
483.77/484.04 c | 358284 | 11691 49986 151848 | 2147483647 358284 212 | 0.000 % |
484.77/485.08 c | 358734 | 11691 49986 151848 | 2147483647 358734 212 | 0.000 % |
486.06/486.30 c | 359227 | 11691 49986 151848 | 2147483647 359227 212 | 0.000 % |
487.36/487.63 c | 359769 | 11691 49986 151848 | 2147483647 359769 212 | 0.000 % |
488.76/489.00 c | 360367 | 11691 49986 151848 | 2147483647 360367 212 | 0.000 % |
490.26/490.56 c | 361024 | 11691 49986 151848 | 2147483647 361024 212 | 0.000 % |
491.95/492.23 c | 361745 | 11691 49986 151848 | 2147483647 361745 212 | 0.000 % |
493.86/494.11 c | 362538 | 11691 49986 151848 | 2147483647 362538 212 | 0.000 % |
495.86/496.16 c | 363410 | 11691 49986 151848 | 2147483647 363410 212 | 0.000 % |
498.15/498.47 c | 364368 | 11691 49986 151848 | 2147483647 364368 212 | 0.000 % |
500.55/500.89 c | 365422 | 11691 49986 151848 | 2147483647 365422 213 | 0.000 % |
503.35/503.70 c | 366580 | 11691 49986 151848 | 2147483647 366580 213 | 0.000 % |
506.36/506.69 c | 367854 | 11691 49986 151848 | 2147483647 367854 213 | 0.000 % |
509.55/509.88 c | 369254 | 11691 49986 151848 | 2147483647 369254 213 | 0.000 % |
513.25/513.51 c | 370796 | 11691 49986 151848 | 2147483647 370796 213 | 0.000 % |
516.95/517.30 c | 372491 | 11691 49986 151848 | 2147483647 372491 213 | 0.000 % |
520.94/521.23 c | 374357 | 11691 49986 151848 | 2147483647 374357 213 | 0.000 % |
525.54/525.81 c | 376406 | 11691 49986 151848 | 2147483647 376406 213 | 0.000 % |
530.44/530.78 c | 378659 | 11691 49986 151848 | 2147483647 378659 213 | 0.000 % |
536.04/536.33 c | 381138 | 11691 49986 151848 | 2147483647 381138 213 | 0.000 % |
541.93/542.23 c | 383866 | 11691 49986 151848 | 2147483647 383866 214 | 0.000 % |
548.33/548.67 c | 386865 | 11691 49986 151848 | 2147483647 386865 214 | 0.000 % |
555.83/556.18 c | 390162 | 11691 49986 151848 | 2147483647 390162 214 | 0.000 % |
564.12/564.46 c | 393787 | 11691 49986 151848 | 2147483647 393787 215 | 0.000 % |
564.42/564.75 c | 393888 | 11691 49986 151848 | 2147483647 393888 215 | 0.000 % |
564.72/565.09 c | 393998 | 11691 49986 151848 | 2147483647 393998 215 | 0.000 % |
565.12/565.49 c | 394120 | 11691 49986 151848 | 2147483647 394120 215 | 0.000 % |
565.52/565.86 c | 394255 | 11691 49986 151848 | 2147483647 394255 215 | 0.000 % |
566.01/566.30 c | 394403 | 11691 49986 151848 | 2147483647 394403 215 | 0.000 % |
566.42/566.76 c | 394564 | 11691 49986 151848 | 2147483647 394564 215 | 0.000 % |
566.92/567.29 c | 394743 | 11691 49986 151848 | 2147483647 394743 215 | 0.000 % |
567.52/567.83 c | 394937 | 11691 49986 151848 | 2147483647 394937 215 | 0.000 % |
568.12/568.45 c | 395150 | 11691 49986 151848 | 2147483647 395150 215 | 0.000 % |
568.72/569.07 c | 395383 | 11691 49986 151848 | 2147483647 395383 215 | 0.000 % |
569.42/569.75 c | 395641 | 11691 49986 151848 | 2147483647 395641 215 | 0.000 % |
570.32/570.61 c | 395925 | 11691 49986 151848 | 2147483647 395925 215 | 0.000 % |
571.22/571.51 c | 396235 | 11691 49986 151848 | 2147483647 396235 215 | 0.000 % |
572.02/572.33 c | 396574 | 11691 49986 151848 | 2147483647 396574 215 | 0.000 % |
573.02/573.34 c | 396948 | 11691 49986 151848 | 2147483647 396948 215 | 0.000 % |
574.12/574.41 c | 397358 | 11691 49986 151848 | 2147483647 397358 215 | 0.000 % |
575.31/575.65 c | 397808 | 11691 49986 151848 | 2147483647 397808 215 | 0.000 % |
576.61/576.95 c | 398301 | 11691 49986 151848 | 2147483647 398301 215 | 0.000 % |
577.92/578.26 c | 398843 | 11691 49986 151848 | 2147483647 398843 215 | 0.000 % |
579.42/579.74 c | 399439 | 11691 49986 151848 | 2147483647 399439 215 | 0.000 % |
581.21/581.52 c | 400096 | 11691 49986 151848 | 2147483647 400096 215 | 0.000 % |
583.11/583.46 c | 400818 | 11691 49986 151848 | 2147483647 400818 215 | 0.000 % |
585.11/585.48 c | 401611 | 11691 49986 151848 | 2147483647 401611 215 | 0.000 % |
587.51/587.88 c | 402483 | 11691 49986 151848 | 2147483647 402483 215 | 0.000 % |
590.01/590.35 c | 403446 | 11691 49986 151848 | 2147483647 403446 215 | 0.000 % |
592.71/593.00 c | 404500 | 11691 49986 151848 | 2147483647 404500 215 | 0.000 % |
595.60/595.91 c | 405660 | 11691 49986 151848 | 2147483647 405660 215 | 0.000 % |
598.60/598.98 c | 406937 | 11691 49986 151848 | 2147483647 406937 215 | 0.000 % |
602.01/602.30 c | 408337 | 11691 49986 151848 | 2147483647 408337 215 | 0.000 % |
605.80/606.17 c | 409877 | 11691 49986 151848 | 2147483647 409877 215 | 0.000 % |
609.60/609.97 c | 411573 | 11691 49986 151848 | 2147483647 411573 215 | 0.000 % |
614.39/614.77 c | 413436 | 11691 49986 151848 | 2147483647 413436 215 | 0.000 % |
619.69/620.07 c | 415485 | 11691 49986 151848 | 2147483647 415485 215 | 0.000 % |
624.40/624.74 c | 417739 | 11691 49986 151848 | 2147483647 417739 215 | 0.000 % |
630.68/631.06 c | 420217 | 11691 49986 151848 | 2147483647 420217 216 | 0.000 % |
637.29/637.69 c | 422942 | 11691 49986 151848 | 2147483647 422942 216 | 0.000 % |
644.78/645.13 c | 425940 | 11691 49986 151848 | 2147483647 425940 216 | 0.000 % |
652.98/653.30 c | 429237 | 11691 49986 151848 | 2147483647 429237 216 | 0.000 % |
661.58/661.98 c | 432868 | 11691 49986 151848 | 2147483647 432868 216 | 0.000 % |
671.17/671.58 c | 436855 | 11691 49986 151848 | 2147483647 436855 217 | 0.000 % |
671.47/671.88 c | 436955 | 11691 49986 151848 | 2147483647 436955 217 | 0.000 % |
671.87/672.24 c | 437067 | 11691 49986 151848 | 2147483647 437067 217 | 0.000 % |
672.27/672.62 c | 437189 | 11691 49986 151848 | 2147483647 437189 217 | 0.000 % |
672.77/673.10 c | 437322 | 11691 49986 151848 | 2147483647 437322 217 | 0.000 % |
673.27/673.64 c | 437469 | 11691 49986 151848 | 2147483647 437469 217 | 0.000 % |
673.77/674.19 c | 437630 | 11691 49986 151848 | 2147483647 437630 217 | 0.000 % |
674.47/674.83 c | 437806 | 11691 49986 151848 | 2147483647 437806 217 | 0.000 % |
675.07/675.41 c | 438001 | 11691 49986 151848 | 2147483647 438001 217 | 0.000 % |
675.77/676.12 c | 438213 | 11691 49986 151848 | 2147483647 438213 216 | 0.000 % |
676.37/676.79 c | 438446 | 11691 49986 151848 | 2147483647 438446 216 | 0.000 % |
677.27/677.68 c | 438705 | 11691 49986 151848 | 2147483647 438705 216 | 0.000 % |
678.16/678.58 c | 438986 | 11691 49986 151848 | 2147483647 438986 216 | 0.000 % |
679.06/679.49 c | 439296 | 11691 49986 151848 | 2147483647 439296 216 | 0.000 % |
680.07/680.41 c | 439635 | 11691 49986 151848 | 2147483647 439635 216 | 0.000 % |
681.17/681.51 c | 440007 | 11691 49986 151848 | 2147483647 440007 216 | 0.000 % |
682.47/682.82 c | 440416 | 11691 49986 151848 | 2147483647 440416 216 | 0.000 % |
683.87/684.22 c | 440866 | 11691 49986 151848 | 2147483647 440866 216 | 0.000 % |
685.17/685.52 c | 441361 | 11691 49986 151848 | 2147483647 441361 216 | 0.000 % |
686.66/687.01 c | 441903 | 11691 49986 151848 | 2147483647 441903 216 | 0.000 % |
688.36/688.76 c | 442499 | 11691 49986 151848 | 2147483647 442499 216 | 0.000 % |
690.27/690.65 c | 443154 | 11691 49986 151848 | 2147483647 443154 216 | 0.000 % |
692.36/692.72 c | 443875 | 11691 49986 151848 | 2147483647 443875 216 | 0.000 % |
694.45/694.89 c | 444671 | 11691 49986 151848 | 2147483647 444671 216 | 0.000 % |
696.75/697.20 c | 445542 | 11691 49986 151848 | 2147483647 445542 216 | 0.000 % |
699.56/699.94 c | 446500 | 11691 49986 151848 | 2147483647 446500 216 | 0.000 % |
702.56/702.93 c | 447553 | 11691 49986 151848 | 2147483647 447553 216 | 0.000 % |
705.76/706.18 c | 448711 | 11691 49986 151848 | 2147483647 448711 216 | 0.000 % |
709.15/709.53 c | 449984 | 11691 49986 151848 | 2147483647 449984 216 | 0.000 % |
712.95/713.34 c | 451385 | 11691 49986 151848 | 2147483647 451385 216 | 0.000 % |
716.95/717.39 c | 452926 | 11691 49986 151848 | 2147483647 452926 216 | 0.000 % |
721.75/722.14 c | 454622 | 11691 49986 151848 | 2147483647 454622 216 | 0.000 % |
726.35/726.78 c | 456485 | 11691 49986 151848 | 2147483647 456485 217 | 0.000 % |
731.74/732.19 c | 458534 | 11691 49986 151848 | 2147483647 458534 217 | 0.000 % |
738.04/738.40 c | 460788 | 11691 49986 151848 | 2147483647 460788 217 | 0.000 % |
744.34/744.72 c | 463269 | 11691 49986 151848 | 2147483647 463269 217 | 0.000 % |
751.53/751.96 c | 465995 | 11691 49986 151848 | 2147483647 465995 217 | 0.000 % |
759.44/759.85 c | 468993 | 11691 49986 151848 | 2147483647 468993 217 | 0.000 % |
768.23/768.65 c | 472290 | 11691 49986 151848 | 2147483647 472290 217 | 0.000 % |
777.63/778.05 c | 475916 | 11691 49986 151848 | 2147483647 475916 217 | 0.000 % |
788.42/788.89 c | 479904 | 11691 49986 151848 | 2147483647 479904 218 | 0.000 % |
799.81/800.26 c | 484290 | 11691 49986 151848 | 2147483647 484290 218 | 0.000 % |
800.11/800.58 c | 484392 | 11691 49986 151848 | 2147483647 484392 218 | 0.000 % |
800.51/800.94 c | 484504 | 11691 49986 151848 | 2147483647 484504 218 | 0.000 % |
801.01/801.46 c | 484627 | 11691 49986 151848 | 2147483647 484627 218 | 0.000 % |
801.52/801.95 c | 484760 | 11691 49986 151848 | 2147483647 484760 218 | 0.000 % |
802.01/802.49 c | 484908 | 11691 49986 151848 | 2147483647 484908 218 | 0.000 % |
802.71/803.12 c | 485068 | 11691 49986 151848 | 2147483647 485068 218 | 0.000 % |
803.42/803.81 c | 485244 | 11691 49986 151848 | 2147483647 485244 218 | 0.000 % |
804.02/804.44 c | 485437 | 11691 49986 151848 | 2147483647 485437 218 | 0.000 % |
804.72/805.17 c | 485649 | 11691 49986 151848 | 2147483647 485649 218 | 0.000 % |
805.52/805.99 c | 485882 | 11691 49986 151848 | 2147483647 485882 218 | 0.000 % |
806.42/806.86 c | 486138 | 11691 49986 151848 | 2147483647 486138 218 | 0.000 % |
807.42/807.87 c | 486421 | 11691 49986 151848 | 2147483647 486421 218 | 0.000 % |
808.42/808.86 c | 486732 | 11691 49986 151848 | 2147483647 486732 218 | 0.000 % |
809.62/810.06 c | 487071 | 11691 49986 151848 | 2147483647 487071 218 | 0.000 % |
810.92/811.38 c | 487443 | 11691 49986 151848 | 2147483647 487443 218 | 0.000 % |
812.22/812.63 c | 487852 | 11691 49986 151848 | 2147483647 487852 218 | 0.000 % |
813.72/814.14 c | 488301 | 11691 49986 151848 | 2147483647 488301 218 | 0.000 % |
815.11/815.59 c | 488794 | 11691 49986 151848 | 2147483647 488794 218 | 0.000 % |
816.81/817.24 c | 489336 | 11691 49986 151848 | 2147483647 489336 218 | 0.000 % |
818.52/818.98 c | 489932 | 11691 49986 151848 | 2147483647 489932 218 | 0.000 % |
820.51/820.96 c | 490587 | 11691 49986 151848 | 2147483647 490587 218 | 0.000 % |
822.81/823.25 c | 491309 | 11691 49986 151848 | 2147483647 491309 218 | 0.000 % |
825.21/825.62 c | 492101 | 11691 49986 151848 | 2147483647 492101 218 | 0.000 % |
827.81/828.26 c | 492973 | 11691 49986 151848 | 2147483647 492973 218 | 0.000 % |
830.80/831.24 c | 493931 | 11691 49986 151848 | 2147483647 493931 218 | 0.000 % |
834.01/834.47 c | 494985 | 11691 49986 151848 | 2147483647 494985 218 | 0.000 % |
837.30/837.74 c | 496147 | 11691 49986 151848 | 2147483647 496147 218 | 0.000 % |
840.80/841.21 c | 497420 | 11691 49986 151848 | 2147483647 497420 218 | 0.000 % |
844.69/845.19 c | 498820 | 11691 49986 151848 | 2147483647 498820 218 | 0.000 % |
849.00/849.46 c | 500363 | 11691 49986 151848 | 2147483647 500363 218 | 0.000 % |
853.40/853.89 c | 502057 | 11691 49986 151848 | 2147483647 502057 218 | 0.000 % |
858.99/859.43 c | 503921 | 11691 49986 151848 | 2147483647 503921 218 | 0.000 % |
864.89/865.37 c | 505970 | 11691 49986 151848 | 2147483647 505970 218 | 0.000 % |
871.39/871.84 c | 508223 | 11691 49986 151848 | 2147483647 508223 219 | 0.000 % |
878.48/878.94 c | 510702 | 11691 49986 151848 | 2147483647 510702 219 | 0.000 % |
885.98/886.44 c | 513427 | 11691 49986 151848 | 2147483647 513427 219 | 0.000 % |
894.77/895.21 c | 516425 | 11691 49986 151848 | 2147483647 516425 219 | 0.000 % |
904.27/904.74 c | 519723 | 11691 49986 151848 | 2147483647 519723 220 | 0.000 % |
914.57/915.00 c | 523349 | 11691 49986 151848 | 2147483647 523349 220 | 0.000 % |
926.05/926.56 c | 527336 | 11691 49986 151848 | 2147483647 527336 220 | 0.000 % |
938.06/938.56 c | 531722 | 11691 49986 151848 | 2147483647 531722 220 | 0.000 % |
951.85/952.39 c | 536545 | 11691 49986 151848 | 2147483647 536545 221 | 0.000 % |
952.35/952.88 c | 536645 | 11691 49986 151848 | 2147483647 536645 221 | 0.000 % |
952.85/953.38 c | 536755 | 11691 49986 151848 | 2147483647 536755 221 | 0.000 % |
953.45/953.93 c | 536881 | 11691 49986 151848 | 2147483647 536881 220 | 0.000 % |
953.95/954.41 c | 537016 | 11691 49986 151848 | 2147483647 537016 220 | 0.000 % |
954.55/955.05 c | 537162 | 11691 49986 151848 | 2147483647 537162 220 | 0.000 % |
955.15/955.69 c | 537322 | 11691 49986 151848 | 2147483647 537322 220 | 0.000 % |
955.95/956.41 c | 537498 | 11691 49986 151848 | 2147483647 537498 220 | 0.000 % |
956.65/957.19 c | 537691 | 11691 49986 151848 | 2147483647 537691 220 | 0.000 % |
957.55/958.09 c | 537903 | 11691 49986 151848 | 2147483647 537903 220 | 0.000 % |
958.55/959.04 c | 538138 | 11691 49986 151848 | 2147483647 538138 220 | 0.000 % |
959.65/960.12 c | 538395 | 11691 49986 151848 | 2147483647 538395 220 | 0.000 % |
960.65/961.15 c | 538676 | 11691 49986 151848 | 2147483647 538676 220 | 0.000 % |
961.95/962.41 c | 538990 | 11691 49986 151848 | 2147483647 538990 220 | 0.000 % |
963.14/963.65 c | 539330 | 11691 49986 151848 | 2147483647 539330 220 | 0.000 % |
964.64/965.12 c | 539703 | 11691 49986 151848 | 2147483647 539703 220 | 0.000 % |
966.14/966.63 c | 540116 | 11691 49986 151848 | 2147483647 540116 220 | 0.000 % |
967.64/968.15 c | 540565 | 11691 49986 151848 | 2147483647 540565 220 | 0.000 % |
969.54/970.00 c | 541058 | 11691 49986 151848 | 2147483647 541058 220 | 0.000 % |
971.44/971.95 c | 541602 | 11691 49986 151848 | 2147483647 541602 220 | 0.000 % |
973.64/974.15 c | 542200 | 11691 49986 151848 | 2147483647 542200 220 | 0.000 % |
975.74/976.25 c | 542855 | 11691 49986 151848 | 2147483647 542855 220 | 0.000 % |
978.04/978.58 c | 543577 | 11691 49986 151848 | 2147483647 543577 220 | 0.000 % |
980.83/981.38 c | 544369 | 11691 49986 151848 | 2147483647 544369 220 | 0.000 % |
983.84/984.32 c | 545242 | 11691 49986 151848 | 2147483647 545242 220 | 0.000 % |
986.84/987.37 c | 546201 | 11691 49986 151848 | 2147483647 546201 220 | 0.000 % |
990.43/990.97 c | 547256 | 11691 49986 151848 | 2147483647 547256 220 | 0.000 % |
994.03/994.53 c | 548414 | 11691 49986 151848 | 2147483647 548414 220 | 0.000 % |
998.13/998.64 c | 549687 | 11691 49986 151848 | 2147483647 549687 220 | 0.000 % |
1002.53/1003.09 c | 551088 | 11691 49986 151848 | 2147483647 551088 220 | 0.000 % |
1007.72/1008.23 c | 552628 | 11691 49986 151848 | 2147483647 552628 220 | 0.000 % |
1012.92/1013.43 c | 554324 | 11691 49986 151848 | 2147483647 554324 220 | 0.000 % |
1018.72/1019.25 c | 556187 | 11691 49986 151848 | 2147483647 556187 220 | 0.000 % |
1024.72/1025.24 c | 558236 | 11691 49986 151848 | 2147483647 558236 220 | 0.000 % |
1032.01/1032.52 c | 560491 | 11691 49986 151848 | 2147483647 560491 220 | 0.000 % |
1039.71/1040.23 c | 562970 | 11691 49986 151848 | 2147483647 562970 220 | 0.000 % |
1048.00/1048.53 c | 565696 | 11691 49986 151848 | 2147483647 565696 221 | 0.000 % |
1056.80/1057.30 c | 568693 | 11691 49986 151848 | 2147483647 568693 221 | 0.000 % |
1066.90/1067.45 c | 571989 | 11691 49986 151848 | 2147483647 571989 221 | 0.000 % |
1078.39/1078.92 c | 575618 | 11691 49986 151848 | 2147483647 575618 221 | 0.000 % |
1090.78/1091.37 c | 579609 | 11691 49986 151848 | 2147483647 579609 221 | 0.000 % |
1104.37/1104.98 c | 583994 | 11691 49986 151848 | 2147483647 583994 222 | 0.000 % |
1119.28/1119.85 c | 588817 | 11691 49986 151848 | 2147483647 588817 222 | 0.000 % |
1136.07/1136.65 c | 594122 | 11691 49986 151848 | 2147483647 594122 223 | 0.000 % |
1136.47/1137.06 c | 594222 | 11691 49986 151848 | 2147483647 594222 223 | 0.000 % |
1136.97/1137.60 c | 594332 | 11691 49986 151848 | 2147483647 594332 223 | 0.000 % |
1137.57/1138.10 c | 594455 | 11691 49986 151848 | 2147483647 594455 223 | 0.000 % |
1138.07/1138.69 c | 594588 | 11691 49986 151848 | 2147483647 594588 223 | 0.000 % |
1138.87/1139.43 c | 594735 | 11691 49986 151848 | 2147483647 594735 223 | 0.000 % |
1139.57/1140.14 c | 594895 | 11691 49986 151848 | 2147483647 594895 223 | 0.000 % |
1140.37/1140.92 c | 595073 | 11691 49986 151848 | 2147483647 595073 223 | 0.000 % |
1141.37/1141.90 c | 595267 | 11691 49986 151848 | 2147483647 595267 223 | 0.000 % |
1142.17/1142.75 c | 595479 | 11691 49986 151848 | 2147483647 595479 223 | 0.000 % |
1143.16/1143.72 c | 595713 | 11691 49986 151848 | 2147483647 595713 223 | 0.000 % |
1144.16/1144.78 c | 595971 | 11691 49986 151848 | 2147483647 595971 222 | 0.000 % |
1145.26/1145.85 c | 596252 | 11691 49986 151848 | 2147483647 596252 222 | 0.000 % |
1146.56/1147.18 c | 596563 | 11691 49986 151848 | 2147483647 596563 222 | 0.000 % |
1148.05/1148.65 c | 596902 | 11691 49986 151848 | 2147483647 596902 222 | 0.000 % |
1149.65/1150.21 c | 597275 | 11691 49986 151848 | 2147483647 597275 222 | 0.000 % |
1151.16/1151.77 c | 597685 | 11691 49986 151848 | 2147483647 597685 222 | 0.000 % |
1152.96/1153.53 c | 598134 | 11691 49986 151848 | 2147483647 598134 222 | 0.000 % |
1154.76/1155.34 c | 598627 | 11691 49986 151848 | 2147483647 598627 222 | 0.000 % |
1156.56/1157.15 c | 599170 | 11691 49986 151848 | 2147483647 599170 222 | 0.000 % |
1158.45/1159.06 c | 599768 | 11691 49986 151848 | 2147483647 599768 222 | 0.000 % |
1160.85/1161.43 c | 600425 | 11691 49986 151848 | 2147483647 600425 222 | 0.000 % |
1163.45/1164.06 c | 601145 | 11691 49986 151848 | 2147483647 601145 222 | 0.000 % |
1166.25/1166.84 c | 601937 | 11691 49986 151848 | 2147483647 601937 222 | 0.000 % |
1169.55/1170.12 c | 602810 | 11691 49986 151848 | 2147483647 602810 222 | 0.000 % |
1172.85/1173.42 c | 603770 | 11691 49986 151848 | 2147483647 603770 222 | 0.000 % |
1176.25/1176.81 c | 604824 | 11691 49986 151848 | 2147483647 604824 222 | 0.000 % |
1179.54/1180.18 c | 605982 | 11691 49986 151848 | 2147483647 605982 222 | 0.000 % |
1183.85/1184.49 c | 607256 | 11691 49986 151848 | 2147483647 607256 222 | 0.000 % |
1188.64/1189.20 c | 608657 | 11691 49986 151848 | 2147483647 608657 222 | 0.000 % |
1193.83/1194.44 c | 610198 | 11691 49986 151848 | 2147483647 610198 222 | 0.000 % |
1199.63/1200.20 c | 611892 | 11691 49986 151848 | 2147483647 611892 222 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832813-1242788302/watcher-1832813-1242788302 -o /tmp/evaluation-result-1832813-1242788302/solver-1832813-1242788302 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832813-1242788302.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 15998
/proc/meminfo: memFree=1635672/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0
/proc/15998/stat : 15998 (SatELiteGTI) R 15996 15998 15126 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306857817 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437301747 0 0 4100 65536 0 0 0 17 0 0 0
/proc/15998/statm: 1339 237 197 169 0 50 0
[startup+0.090611 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 15998
/proc/meminfo: memFree=1635672/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306857817 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101612 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 15998
/proc/meminfo: memFree=1635672/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306857817 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301644 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 15998
/proc/meminfo: memFree=1635672/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+0.701693 s]
/proc/loadavg: 0.99 1.00 1.00 3/64 15998
/proc/meminfo: memFree=1635672/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+1.50177 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16004
/proc/meminfo: memFree=1628936/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=7192 CPUtime=1.27
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 1641 0 0 0 126 1 0 0 25 0 1 0 306857838 7364608 1627 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 1798 1627 77 171 0 1625 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12548
[startup+3.10195 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16004
/proc/meminfo: memFree=1626632/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=10096 CPUtime=2.86
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 2376 0 0 0 285 1 0 0 25 0 1 0 306857838 10338304 2362 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 2524 2362 77 171 0 2351 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15452
[startup+6.30132 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16004
/proc/meminfo: memFree=1621064/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=15268 CPUtime=6.07
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 3657 0 0 0 604 3 0 0 25 0 1 0 306857838 15634432 3643 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 3817 3643 77 171 0 3644 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20624
[startup+12.701 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16004
/proc/meminfo: memFree=1611272/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=24640 CPUtime=12.46
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 6015 0 0 0 1241 5 0 0 25 0 1 0 306857838 25231360 6001 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 6160 6001 77 171 0 5987 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29996
[startup+25.5015 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16004
/proc/meminfo: memFree=1593800/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=41516 CPUtime=25.25
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 10228 0 0 0 2516 9 0 0 25 0 1 0 306857838 42512384 10214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 10379 10214 77 171 0 10206 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 46872
[startup+51.1014 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16004
/proc/meminfo: memFree=1566728/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=68832 CPUtime=50.84
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 17047 0 0 0 5067 17 0 0 25 0 1 0 306857838 70483968 17033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 17208 17033 77 171 0 17035 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 74188
[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16004
/proc/meminfo: memFree=1521224/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=113496 CPUtime=102.02
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 28209 0 0 0 10172 30 0 0 25 0 1 0 306857838 116219904 28195 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 28374 28195 77 171 0 28201 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 118852
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1479176/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=155480 CPUtime=161.99
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 38690 0 0 0 16159 40 0 0 25 0 1 0 306857838 159211520 38676 1992294400 134512640 135215339 4294956240 18446744073709551615 134529186 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 38870 38676 77 171 0 38697 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 160836
[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1443400/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=191260 CPUtime=221.96
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 47568 0 0 0 22144 52 0 0 25 0 1 0 306857838 195850240 47554 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 47815 47554 77 171 0 47642 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 196616
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1411144/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=223600 CPUtime=281.95
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 55691 0 0 0 28135 60 0 0 25 0 1 0 306857838 228966400 55677 1992294400 134512640 135215339 4294956240 18446744073709551615 134528748 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 55900 55677 77 171 0 55727 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 228956
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1380808/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=253176 CPUtime=341.91
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 63140 0 0 0 34123 68 0 0 25 0 1 0 306857838 259252224 63126 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 63294 63126 77 171 0 63121 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 258532
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1352712/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=281900 CPUtime=401.89
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 70178 0 0 0 40112 77 0 0 25 0 1 0 306857838 288665600 70164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 70475 70164 77 171 0 70302 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 287256
[startup+462.301 s]
################
# More data... #
################
/proc/16004/statm: 83114 82869 77 171 0 82941 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 337812
[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1276552/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=357140 CPUtime=581.8
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 89067 0 0 0 58080 100 0 0 25 0 1 0 306857838 365711360 89053 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 89285 89053 77 171 0 89112 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 362496
[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1252488/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=380768 CPUtime=641.78
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 95004 0 0 0 64071 107 0 0 25 0 1 0 306857838 389906432 94990 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 95192 94990 77 171 0 95019 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 386124
[startup+702.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1231816/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=401496 CPUtime=701.75
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 100194 0 0 0 70061 114 0 0 25 0 1 0 306857838 411131904 100180 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 100374 100180 77 171 0 100201 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 406852
[startup+762.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1210184/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=423528 CPUtime=761.73
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 105525 0 0 0 76053 120 0 0 25 0 1 0 306857838 433692672 105511 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 105882 105511 77 171 0 105709 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 428884
[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1189768/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=443992 CPUtime=821.7
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 110644 0 0 0 82044 126 0 0 25 0 1 0 306857838 454647808 110630 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 110998 110630 77 171 0 110825 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 449348
[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1169032/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=464320 CPUtime=881.67
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 115760 0 0 0 88035 132 0 0 25 0 1 0 306857838 475463680 115746 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 116080 115746 77 171 0 115907 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 469676
[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1147656/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=485704 CPUtime=941.64
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 121121 0 0 0 94025 139 0 0 25 0 1 0 306857838 497360896 121107 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 121426 121107 77 171 0 121253 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 491060
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1130952/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=502072 CPUtime=1001.62
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 125232 0 0 0 100018 144 0 0 25 0 1 0 306857838 514121728 125218 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 125518 125218 77 171 0 125345 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 507428
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1111432/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=521608 CPUtime=1061.59
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 130126 0 0 0 106010 149 0 0 25 0 1 0 306857838 534126592 130112 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 130402 130112 77 171 0 130229 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 526964
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1091464/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=541280 CPUtime=1121.56
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 135050 0 0 0 112001 155 0 0 25 0 1 0 306857838 554270720 135036 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 135320 135036 77 171 0 135147 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 546636
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1075592/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=557120 CPUtime=1181.54
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 139028 0 0 0 117995 159 0 0 25 0 1 0 306857838 570490880 139014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 139280 139014 77 171 0 139107 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 562476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16010
/proc/meminfo: memFree=1070280/2055920 swapFree=4087080/4192956
[pid=15998] ppid=15996 vsize=5356 CPUtime=0.21
/proc/15998/stat : 15998 (SatELiteGTI) S 15996 15998 15126 0 -1 4194304 336 1839 0 0 0 0 20 1 17 0 1 0 306857817 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15998/statm: 1339 239 197 169 0 50 0
[pid=16004] ppid=15998 vsize=562004 CPUtime=1199.82
/proc/16004/stat : 16004 (minisat_static) R 15998 15998 15126 0 -1 4194304 140276 0 0 0 119822 160 0 0 25 0 1 0 306857838 575492096 140262 1992294400 134512640 135215339 4294956240 18446744073709551615 134528860 0 0 4096 3 0 0 0 17 0 0 0
/proc/16004/statm: 140501 140262 77 171 0 140328 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 567360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15998 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=202969
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.217966
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.03
CPU user time (s): 1198.42
CPU system time (s): 1.61
CPU usage (%): 99.9514
Max. virtual memory (cumulated for all children) (KiB): 567360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.202969
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2175
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 9
runsolver used 1.23181 second user time and 3.20951 second system time
The end
Begin job on node62 at 2009-05-20 04:58:23
IDJOB=1832813
IDBENCH=70370
IDSOLVER=671
FILE ID=node62/1832813-1242788302
PBS_JOBID= 9322371
Free space on /tmp= 66272 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/12000/unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832813-1242788302/watcher-1832813-1242788302 -o /tmp/evaluation-result-1832813-1242788302/solver-1832813-1242788302 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832813-1242788302.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c210a2e606daadbb1d4386048a71e2b1
RANDOM SEED=629265107
node62.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1636152 kB
Buffers: 33684 kB
Cached: 239240 kB
SwapCached: 99512 kB
Active: 125672 kB
Inactive: 249236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1636152 kB
SwapTotal: 4192956 kB
SwapFree: 4087080 kB
Dirty: 2504 kB
Writeback: 0 kB
Mapped: 14824 kB
Slab: 30696 kB
Committed_AS: 836036 kB
PageTables: 1476 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66268 MiB
End job on node62 at 2009-05-20 05:18:25