0.00/0.00 c Parsing...
1.09/1.18 c ==============================================================================
1.09/1.18 c | | ORIGINAL | LEARNT | |
1.09/1.18 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.09/1.18 c ==============================================================================
1.09/1.18 c | 0 | 1178466 2855605 | 353539 0 0 nan | 0.000 % |
7.88/7.95 c | 0 | 822458 2306194 | -- 0 -- -- | -- | -102366/26047
7.88/7.96 c ==============================================================================
7.88/7.96 c Result : #vars: 120834 #clauses: 822458 #literals: 2306194
7.88/7.96 c CPU time: 7.68983 s
7.88/7.96 c ==============================================================================
8.69/8.76 c This is MiniSat 2.0 beta
8.69/8.76 c WARNING: for repeatability, setting FPU to use double precision
8.69/8.76 c ============================[ Problem Statistics ]=============================
8.69/8.76 c | |
8.69/8.76 c | Number of variables: 120834 |
8.69/8.76 c | Number of clauses: 822458 |
8.75/9.28 c | Parsing time: 0.47 s |
8.75/9.31 c ============================[ Search Statistics ]==============================
8.75/9.31 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.75/9.31 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.75/9.31 c ===============================================================================
8.75/9.31 c | 0 | 120834 822458 2306194 | 274152 0 nan | 0.000 % |
8.75/9.45 c | 102 | 120824 822458 2306194 | 274152 101 71 | 0.114 % |
8.75/9.67 c | 202 | 120799 822458 2306194 | 274152 200 56 | 0.650 % |
9.98/10.01 c | 302 | 120564 822458 2306194 | 274152 295 49 | 4.516 % |
10.28/10.35 c | 413 | 120036 822458 2306194 | 274152 406 52 | 4.516 % |
10.68/10.70 c | 513 | 119987 822458 2306194 | 274152 502 50 | 5.565 % |
10.88/10.98 c | 624 | 114060 776971 2191245 | 274152 604 44 | 6.660 % |
11.28/11.36 c | 745 | 113881 776971 2191245 | 274152 723 44 | 6.842 % |
11.48/11.50 c | 847 | 113881 776971 2191245 | 274152 825 45 | 6.842 % |
11.68/11.77 c | 957 | 113872 776971 2191245 | 274152 932 44 | 6.872 % |
11.88/12.00 c | 1078 | 113833 776971 2191245 | 274152 1050 42 | 7.461 % |
12.08/12.16 c | 1221 | 113830 776971 2191245 | 274152 1193 44 | 7.461 % |
12.28/12.37 c | 1321 | 111708 761776 2153170 | 274152 1273 45 | 7.847 % |
12.38/12.42 c | 1434 | 111670 761776 2153170 | 274152 1385 45 | 8.842 % |
12.48/12.59 c | 1555 | 111446 761776 2153170 | 274152 1499 43 | 10.120 % |
12.68/12.76 c | 1689 | 111137 761776 2153170 | 274152 1633 43 | 10.120 % |
12.88/12.95 c | 1835 | 111007 761776 2153170 | 274152 1776 43 | 12.413 % |
12.98/13.09 c | 1936 | 110977 761776 2153170 | 274152 1877 42 | 12.413 % |
13.18/13.25 c | 2046 | 110918 761776 2153170 | 274152 1985 44 | 12.762 % |
13.38/13.40 c | 2167 | 110917 761776 2153170 | 274152 2106 46 | 12.762 % |
13.78/13.87 c | 2300 | 105273 715915 2035247 | 274152 2220 46 | 12.904 % |
14.28/14.31 c | 2446 | 105118 715915 2035247 | 274152 2361 45 | 14.188 % |
14.48/14.56 c | 2606 | 105116 715915 2035247 | 274152 2520 45 | 14.268 % |
14.77/14.81 c | 2707 | 105036 715915 2035247 | 274152 2621 44 | 14.268 % |
14.87/14.93 c | 2817 | 105004 715915 2035247 | 274152 2729 45 | 14.401 % |
15.07/15.14 c | 2938 | 105004 715915 2035247 | 274152 2850 45 | 14.401 % |
15.38/15.45 c | 3071 | 103399 703110 2002798 | 274152 2974 46 | 14.557 % |
15.77/15.83 c | 3217 | 103163 703110 2002798 | 274152 3113 45 | 15.775 % |
16.07/16.13 c | 3379 | 103141 703110 2002798 | 274152 3274 46 | 15.784 % |
16.48/16.56 c | 3555 | 102947 703110 2002798 | 274152 3449 45 | 15.811 % |
16.57/16.66 c | 3656 | 102947 703110 2002798 | 274152 3550 45 | 15.811 % |
16.77/16.84 c | 3766 | 101728 692132 1975553 | 274152 3641 45 | 15.812 % |
17.17/17.21 c | 3892 | 101727 692132 1975553 | 274152 3766 45 | 15.835 % |
17.37/17.44 c | 4025 | 101727 692132 1975553 | 274152 3899 45 | 15.835 % |
17.58/17.61 c | 4171 | 101682 692132 1975553 | 274152 4044 45 | 16.763 % |
17.77/17.85 c | 4332 | 101671 692132 1975553 | 274152 4203 45 | 16.916 % |
18.07/18.16 c | 4509 | 100241 682680 1951724 | 274152 4372 46 | 17.714 % |
18.37/18.48 c | 4702 | 100198 682680 1951724 | 274152 4564 45 | 17.781 % |
18.58/18.62 c | 4802 | 100160 682680 1951724 | 274152 4664 45 | 17.781 % |
18.68/18.77 c | 4914 | 100159 682680 1951724 | 274152 4775 45 | 17.790 % |
18.87/18.91 c | 5035 | 100159 682680 1951724 | 274152 4896 47 | 17.790 % |
18.97/19.07 c | 5169 | 100158 682680 1951724 | 274152 5029 47 | 17.798 % |
19.27/19.31 c | 5315 | 100149 682680 1951724 | 274152 5174 47 | 17.839 % |
19.78/19.86 c | 5475 | 99237 675708 1933633 | 274152 5327 47 | 18.038 % |
20.07/20.14 c | 5654 | 99236 675708 1933633 | 274152 5505 47 | 18.310 % |
20.27/20.39 c | 5847 | 99233 675708 1933633 | 274152 5696 48 | 18.331 % |
20.67/20.70 c | 6059 | 99203 675708 1933633 | 274152 5905 48 | 18.500 % |
20.78/20.84 c | 6159 | 99203 675708 1933633 | 274152 6005 49 | 18.500 % |
21.07/21.14 c | 6269 | 94294 641020 1843412 | 274152 6082 48 | 21.964 % |
21.27/21.38 c | 6392 | 94287 641020 1843412 | 274152 6204 49 | 21.984 % |
21.47/21.57 c | 6525 | 94287 641020 1843412 | 274152 6337 49 | 21.984 % |
21.88/21.93 c | 6672 | 94285 641020 1843412 | 274152 6483 49 | 22.024 % |
22.07/22.17 c | 6837 | 94285 641020 1843412 | 274152 6648 50 | 22.024 % |
22.37/22.41 c | 7013 | 94285 641020 1843412 | 274152 6824 50 | 22.024 % |
22.97/23.04 c | 7207 | 94196 640501 1842163 | 274152 7003 50 | 22.077 % |
23.07/23.15 c | 7420 | 94196 640501 1842163 | 274152 7216 50 | 22.077 % |
23.47/23.58 c | 7654 | 94162 640501 1842163 | 274152 7448 50 | 22.167 % |
23.57/23.64 c | 7755 | 94162 640501 1842163 | 274152 7549 50 | 22.167 % |
23.77/23.87 c | 7867 | 94162 640501 1842163 | 274152 7660 50 | 22.243 % |
23.87/23.98 c | 7990 | 94120 640501 1842163 | 274152 7783 50 | 22.243 % |
24.07/24.13 c | 8123 | 93894 638969 1838446 | 274152 7904 50 | 22.402 % |
24.47/24.51 c | 8270 | 93869 638969 1838446 | 274152 8049 50 | 23.833 % |
24.77/24.90 c | 8432 | 93868 638969 1838446 | 274152 8210 50 | 23.835 % |
24.97/25.08 c | 8608 | 93868 638969 1838446 | 274152 8386 51 | 23.835 % |
25.17/25.28 c | 8801 | 93867 638969 1838446 | 274152 8578 51 | 23.918 % |
25.77/25.86 c | 9016 | 90661 612992 1769665 | 274152 8706 51 | 25.065 % |
26.07/26.11 c | 9249 | 90661 612992 1769665 | 274152 8939 51 | 25.065 % |
26.57/26.62 c | 9505 | 90658 612992 1769665 | 274152 9192 51 | 25.079 % |
26.57/26.70 c | 9607 | 90658 612992 1769665 | 274152 9293 52 | 25.090 % |
26.67/26.80 c | 9717 | 90655 612992 1769665 | 274152 9400 52 | 25.764 % |
26.87/26.93 c | 9840 | 90655 612992 1769665 | 274152 9523 53 | 25.764 % |
26.97/27.04 c | 9975 | 90654 612992 1769665 | 274152 9657 53 | 25.772 % |
27.17/27.22 c | 10122 | 89677 605386 1749404 | 2147483647 9771 53 | 25.802 % |
27.57/27.61 c | 10286 | 89677 605386 1749404 | 2147483647 9935 54 | 25.802 % |
27.67/27.75 c | 10462 | 89675 605386 1749404 | 2147483647 10110 54 | 25.821 % |
27.87/27.90 c | 10656 | 89675 605386 1749404 | 2147483647 10304 56 | 25.821 % |
28.07/28.13 c | 10868 | 89675 605386 1749404 | 2147483647 10516 57 | 25.821 % |
28.57/28.64 c | 11101 | 89665 605386 1749404 | 2147483647 10746 57 | 25.874 % |
29.26/29.36 c | 11357 | 89557 604261 1746468 | 2147483647 10983 57 | 26.085 % |
29.66/29.71 c | 11638 | 89530 604261 1746468 | 2147483647 11261 58 | 26.474 % |
29.96/30.00 c | 11741 | 89485 604261 1746468 | 2147483647 11364 59 | 26.474 % |
30.16/30.22 c | 11851 | 89485 604261 1746468 | 2147483647 11474 60 | 26.474 % |
30.26/30.38 c | 11972 | 89485 604261 1746468 | 2147483647 11595 60 | 26.474 % |
30.46/30.54 c | 12108 | 88844 597919 1729545 | 2147483647 11717 60 | 26.561 % |
30.86/30.95 c | 12256 | 88844 597919 1729545 | 2147483647 11865 61 | 26.561 % |
31.16/31.22 c | 12418 | 88844 597919 1729545 | 2147483647 12027 61 | 26.561 % |
31.66/31.75 c | 12594 | 88749 597919 1729545 | 2147483647 12197 60 | 27.227 % |
32.06/32.15 c | 12790 | 88658 597919 1729545 | 2147483647 12389 60 | 27.310 % |
32.46/32.52 c | 13002 | 87834 591667 1714023 | 2147483647 12552 62 | 27.310 % |
32.96/33.04 c | 13235 | 87834 591667 1714023 | 2147483647 12785 62 | 27.310 % |
33.56/33.66 c | 13493 | 87833 591667 1714023 | 2147483647 13042 63 | 27.318 % |
33.96/34.01 c | 13775 | 87821 591667 1714023 | 2147483647 13323 64 | 27.395 % |
34.36/34.45 c | 14085 | 87821 591667 1714023 | 2147483647 13633 66 | 27.395 % |
34.66/34.73 c | 14186 | 87699 591205 1713035 | 2147483647 13731 66 | 27.634 % |
34.85/34.98 c | 14296 | 87699 591205 1713035 | 2147483647 13841 66 | 27.634 % |
35.17/35.25 c | 14417 | 87699 591205 1713035 | 2147483647 13962 66 | 27.634 % |
35.26/35.38 c | 14550 | 87699 591205 1713035 | 2147483647 14095 66 | 27.634 % |
35.66/35.74 c | 14697 | 87699 591205 1713035 | 2147483647 14242 66 | 27.634 % |
36.26/36.36 c | 14857 | 87697 591205 1713035 | 2147483647 14400 67 | 27.644 % |
36.46/36.57 c | 15033 | 87693 591205 1713035 | 2147483647 14575 67 | 27.654 % |
37.16/37.21 c | 15232 | 87415 588675 1706190 | 2147483647 14770 68 | 27.665 % |
37.36/37.45 c | 15445 | 87376 588675 1706190 | 2147483647 14982 68 | 27.804 % |
37.56/37.63 c | 15678 | 87376 588675 1706190 | 2147483647 15215 67 | 27.804 % |
37.96/38.00 c | 15934 | 87322 588675 1706190 | 2147483647 15470 67 | 28.118 % |
38.36/38.46 c | 16216 | 87321 588675 1706190 | 2147483647 15751 67 | 28.126 % |
38.96/39.02 c | 16525 | 87319 588675 1706190 | 2147483647 16060 68 | 28.126 % |
39.76/39.83 c | 16864 | 86844 584350 1694769 | 2147483647 16383 69 | 28.135 % |
39.86/39.96 c | 16964 | 86844 584350 1694769 | 2147483647 16483 69 | 28.135 % |
40.06/40.10 c | 17074 | 86842 584350 1694769 | 2147483647 16591 69 | 28.153 % |
40.26/40.39 c | 17196 | 86842 584350 1694769 | 2147483647 16713 69 | 28.153 % |
40.56/40.65 c | 17329 | 86842 584350 1694769 | 2147483647 16846 69 | 28.153 % |
41.25/41.35 c | 17476 | 86841 584350 1694769 | 2147483647 16992 69 | 28.197 % |
41.45/41.58 c | 17636 | 86763 583858 1693564 | 2147483647 17146 69 | 28.197 % |
41.95/42.03 c | 17812 | 86763 583858 1693564 | 2147483647 17322 70 | 28.197 % |
42.25/42.35 c | 18005 | 86759 583858 1693564 | 2147483647 17513 70 | 28.209 % |
42.95/43.09 c | 18218 | 86759 583858 1693564 | 2147483647 17726 71 | 28.209 % |
43.55/43.67 c | 18451 | 86756 583858 1693564 | 2147483647 17957 71 | 28.227 % |
44.35/44.44 c | 18707 | 86726 583559 1692759 | 2147483647 18209 72 | 28.227 % |
45.15/45.21 c | 18990 | 86709 583559 1692759 | 2147483647 18489 73 | 28.322 % |
45.75/45.87 c | 19300 | 86706 583559 1692759 | 2147483647 18797 74 | 28.344 % |
46.45/46.58 c | 19639 | 86706 583559 1692759 | 2147483647 19136 74 | 28.344 % |
47.45/47.51 c | 20021 | 86583 582684 1690546 | 2147483647 19514 75 | 28.360 % |
47.65/47.76 c | 20126 | 86583 582684 1690546 | 2147483647 19619 75 | 28.360 % |
47.95/48.01 c | 20238 | 86583 582684 1690546 | 2147483647 19731 75 | 28.360 % |
47.95/48.09 c | 20366 | 86583 582684 1690546 | 2147483647 19859 75 | 28.360 % |
48.15/48.26 c | 20501 | 86583 582684 1690546 | 2147483647 19994 75 | 28.360 % |
48.35/48.43 c | 20648 | 86583 582684 1690546 | 2147483647 20141 75 | 28.360 % |
48.55/48.64 c | 20808 | 86583 582684 1690546 | 2147483647 20301 75 | 28.360 % |
48.75/48.81 c | 20985 | 86580 582684 1690546 | 2147483647 20477 74 | 28.388 % |
48.85/48.97 c | 21179 | 86532 582383 1689800 | 2147483647 20670 74 | 28.388 % |
49.15/49.28 c | 21391 | 86532 582383 1689800 | 2147483647 20882 74 | 28.388 % |
49.55/49.62 c | 21624 | 86532 582383 1689800 | 2147483647 21115 74 | 28.388 % |
49.75/49.80 c | 21881 | 86532 582383 1689800 | 2147483647 21372 74 | 28.388 % |
49.95/50.08 c | 22162 | 86532 582383 1689800 | 2147483647 21653 74 | 28.388 % |
50.35/50.46 c | 22472 | 86532 582383 1689800 | 2147483647 21963 74 | 28.388 % |
51.05/51.19 c | 22813 | 86531 582383 1689800 | 2147483647 22303 74 | 28.389 % |
51.85/51.92 c | 23186 | 86448 582066 1689166 | 2147483647 22672 75 | 28.480 % |
52.75/52.83 c | 23596 | 86444 582066 1689166 | 2147483647 23080 74 | 28.499 % |
52.95/53.07 c | 23698 | 86432 582066 1689166 | 2147483647 23180 74 | 28.624 % |
53.15/53.24 c | 23811 | 86430 582066 1689166 | 2147483647 23292 74 | 28.633 % |
53.55/53.67 c | 23933 | 86429 582066 1689166 | 2147483647 23413 75 | 28.634 % |
53.85/53.96 c | 24066 | 86428 582066 1689166 | 2147483647 23545 75 | 28.635 % |
54.25/54.37 c | 24214 | 86232 580687 1685880 | 2147483647 23609 75 | 28.641 % |
54.85/54.94 c | 24374 | 86230 580687 1685880 | 2147483647 23764 76 | 29.097 % |
55.34/55.44 c | 24550 | 86226 580687 1685880 | 2147483647 23940 76 | 29.097 % |
55.64/55.77 c | 24743 | 86226 580687 1685880 | 2147483647 24133 76 | 29.097 % |
56.44/56.58 c | 24955 | 86201 580687 1685880 | 2147483647 24344 77 | 29.376 % |
57.15/57.24 c | 25188 | 86197 580687 1685880 | 2147483647 24576 77 | 29.387 % |
57.74/57.90 c | 25444 | 85324 573137 1665465 | 2147483647 24818 78 | 29.396 % |
58.14/58.27 c | 25725 | 85324 573137 1665465 | 2147483647 25099 78 | 29.396 % |
58.84/58.99 c | 26034 | 85322 573137 1665465 | 2147483647 25407 78 | 29.447 % |
59.54/59.67 c | 26376 | 85320 573137 1665465 | 2147483647 25748 79 | 29.483 % |
60.44/60.56 c | 26748 | 85203 572588 1664280 | 2147483647 26112 80 | 29.488 % |
61.24/61.38 c | 27157 | 85203 572588 1664280 | 2147483647 26521 80 | 29.488 % |
61.94/62.08 c | 27606 | 85203 572588 1664280 | 2147483647 26970 81 | 29.488 % |
62.24/62.40 c | 27706 | 85196 572588 1664280 | 2147483647 27067 81 | 29.516 % |
62.44/62.55 c | 27816 | 85196 572588 1664280 | 2147483647 27177 81 | 29.516 % |
62.84/62.94 c | 27940 | 85188 572588 1664280 | 2147483647 27297 81 | 29.551 % |
63.04/63.14 c | 28076 | 85182 572588 1664280 | 2147483647 27432 81 | 29.734 % |
63.44/63.51 c | 28224 | 85182 572588 1664280 | 2147483647 27580 81 | 29.734 % |
63.74/63.89 c | 28384 | 84833 567518 1650140 | 2147483647 27220 81 | 29.818 % |
64.24/64.38 c | 28561 | 84831 567518 1650140 | 2147483647 27396 81 | 29.828 % |
64.94/65.00 c | 28754 | 84830 567518 1650140 | 2147483647 27588 81 | 29.838 % |
65.64/65.79 c | 28966 | 84829 567518 1650140 | 2147483647 27799 82 | 29.838 % |
65.94/66.09 c | 29200 | 84829 567518 1650140 | 2147483647 28033 82 | 29.838 % |
67.14/67.27 c | 29456 | 84829 567518 1650140 | 2147483647 28289 84 | 29.838 % |
68.04/68.14 c | 29737 | 84776 566751 1648193 | 2147483647 28561 85 | 29.849 % |
68.63/68.72 c | 30047 | 84773 566751 1648193 | 2147483647 28870 85 | 29.858 % |
69.63/69.70 c | 30386 | 84772 566751 1648193 | 2147483647 29208 86 | 29.859 % |
70.43/70.59 c | 30758 | 84771 566751 1648193 | 2147483647 29579 87 | 29.867 % |
72.04/72.11 c | 31171 | 84743 566445 1647365 | 2147483647 29984 90 | 29.868 % |
72.64/72.78 c | 31621 | 84742 566445 1647365 | 2147483647 30432 91 | 29.879 % |
74.43/74.57 c | 32118 | 84738 566445 1647365 | 2147483647 30929 93 | 29.879 % |
74.63/74.79 c | 32221 | 84736 566445 1647365 | 2147483647 31028 94 | 29.903 % |
74.83/74.95 c | 32335 | 84733 566445 1647365 | 2147483647 31142 94 | 29.903 % |
75.13/75.26 c | 32456 | 84733 566445 1647365 | 2147483647 31263 94 | 29.903 % |
75.43/75.56 c | 32590 | 84733 566445 1647365 | 2147483647 31397 94 | 29.903 % |
75.83/75.93 c | 32736 | 84733 566445 1647365 | 2147483647 31543 94 | 29.903 % |
76.43/76.56 c | 32898 | 84701 566075 1646469 | 2147483647 31670 95 | 29.913 % |
76.83/76.94 c | 33079 | 84699 566075 1646469 | 2147483647 31849 95 | 29.922 % |
77.13/77.22 c | 33275 | 84699 566075 1646469 | 2147483647 32045 95 | 29.922 % |
78.13/78.23 c | 33487 | 84699 566075 1646469 | 2147483647 32257 95 | 29.922 % |
78.63/78.74 c | 33725 | 84697 566075 1646469 | 2147483647 32493 96 | 29.933 % |
79.73/79.83 c | 33981 | 84697 566075 1646469 | 2147483647 32749 97 | 29.933 % |
80.73/80.88 c | 34264 | 84665 565716 1645531 | 2147483647 33009 98 | 29.933 % |
81.83/81.95 c | 34575 | 84663 565716 1645531 | 2147483647 33318 99 | 29.942 % |
83.03/83.10 c | 34914 | 84661 565716 1645531 | 2147483647 33656 100 | 29.952 % |
84.22/84.39 c | 35290 | 84661 565716 1645531 | 2147483647 34031 103 | 29.959 % |
85.63/85.71 c | 35699 | 84630 565440 1644781 | 2147483647 34433 105 | 29.968 % |
86.93/87.06 c | 36148 | 84629 565440 1644781 | 2147483647 34881 107 | 29.969 % |
88.53/88.62 c | 36641 | 84629 565440 1644781 | 2147483647 35374 107 | 29.969 % |
89.73/89.88 c | 37183 | 84625 565440 1644781 | 2147483647 35915 111 | 29.977 % |
90.13/90.29 c | 37284 | 84611 565258 1644360 | 2147483647 35988 111 | 29.984 % |
90.43/90.51 c | 37395 | 84609 565258 1644360 | 2147483647 36098 111 | 30.002 % |
90.83/90.91 c | 37522 | 84606 565258 1644360 | 2147483647 36223 111 | 30.020 % |
91.13/91.22 c | 37655 | 84605 565258 1644360 | 2147483647 36354 111 | 30.022 % |
91.43/91.55 c | 37803 | 84604 565258 1644360 | 2147483647 36502 112 | 30.022 % |
92.23/92.39 c | 37965 | 84603 565258 1644360 | 2147483647 36663 112 | 30.023 % |
92.73/92.80 c | 38141 | 84603 565258 1644360 | 2147483647 36839 113 | 30.023 % |
93.63/93.74 c | 38338 | 84603 565258 1644360 | 2147483647 37035 114 | 30.032 % |
94.33/94.42 c | 38551 | 84601 565258 1644360 | 2147483647 37247 115 | 30.041 % |
94.73/94.83 c | 38784 | 84601 565258 1644360 | 2147483647 37479 115 | 30.044 % |
95.53/95.63 c | 39042 | 84531 564634 1642696 | 2147483647 37720 116 | 30.044 % |
96.42/96.51 c | 39327 | 84531 564634 1642696 | 2147483647 38005 118 | 30.044 % |
96.82/96.96 c | 39637 | 84531 564634 1642696 | 2147483647 38315 118 | 30.044 % |
97.32/97.40 c | 39976 | 84530 564634 1642696 | 2147483647 38652 117 | 30.254 % |
97.83/97.96 c | 40349 | 84529 564634 1642696 | 2147483647 39025 117 | 30.254 % |
99.22/99.35 c | 40759 | 84525 564634 1642696 | 2147483647 39431 118 | 30.261 % |
100.42/100.54 c | 41211 | 84525 564634 1642696 | 2147483647 39883 119 | 30.261 % |
102.02/102.17 c | 41704 | 84269 562612 1637216 | 2147483647 40374 120 | 30.261 % |
104.02/104.10 c | 42246 | 84267 562612 1637216 | 2147483647 40914 120 | 30.275 % |
106.12/106.27 c | 42842 | 84215 562239 1636193 | 2147483647 41478 120 | 30.316 % |
106.32/106.45 c | 42942 | 84215 562239 1636193 | 2147483647 41578 121 | 30.316 % |
106.63/106.72 c | 43052 | 84215 562239 1636193 | 2147483647 41688 121 | 30.316 % |
106.92/107.03 c | 43174 | 84215 562239 1636193 | 2147483647 41810 121 | 30.316 % |
107.32/107.49 c | 43312 | 84213 562239 1636193 | 2147483647 41947 121 | 30.346 % |
107.82/107.99 c | 43458 | 84207 562239 1636193 | 2147483647 42090 121 | 30.365 % |
108.62/108.75 c | 43621 | 84207 562239 1636193 | 2147483647 42253 121 | 30.365 % |
109.42/109.55 c | 43797 | 84207 562239 1636193 | 2147483647 42428 122 | 30.366 % |
109.92/110.08 c | 43990 | 84206 562239 1636193 | 2147483647 42621 122 | 30.366 % |
110.82/110.94 c | 44202 | 84206 562239 1636193 | 2147483647 42833 123 | 30.366 % |
111.71/111.82 c | 44439 | 84139 561593 1634458 | 2147483647 43046 123 | 30.368 % |
112.51/112.66 c | 44696 | 84138 561593 1634458 | 2147483647 43302 124 | 30.374 % |
113.91/114.05 c | 44977 | 84138 561593 1634458 | 2147483647 43583 125 | 30.374 % |
114.91/115.01 c | 45288 | 84138 561593 1634458 | 2147483647 43894 126 | 30.374 % |
115.81/116.00 c | 45627 | 84135 561593 1634458 | 2147483647 44230 127 | 30.383 % |
117.31/117.48 c | 45999 | 84133 561593 1634458 | 2147483647 44599 128 | 30.408 % |
118.60/118.75 c | 46410 | 84080 561073 1633057 | 2147483647 44998 128 | 30.417 % |
119.21/119.30 c | 46860 | 84079 561073 1633057 | 2147483647 45447 128 | 30.423 % |
121.50/121.62 c | 47353 | 84077 561073 1633057 | 2147483647 45938 130 | 30.432 % |
123.30/123.48 c | 47896 | 84053 561073 1633057 | 2147483647 46479 131 | 30.515 % |
125.31/125.44 c | 48495 | 83868 559888 1630190 | 2147483647 47022 133 | 30.595 % |
127.80/127.97 c | 49155 | 83863 559888 1630190 | 2147483647 47679 134 | 30.612 % |
128.30/128.45 c | 49255 | 83863 559888 1630190 | 2147483647 47779 135 | 30.612 % |
128.51/128.65 c | 49365 | 83863 559888 1630190 | 2147483647 47889 135 | 30.612 % |
128.70/128.86 c | 49486 | 83863 559888 1630190 | 2147483647 48010 135 | 30.612 % |
129.20/129.39 c | 49619 | 83863 559888 1630190 | 2147483647 48143 135 | 30.612 % |
129.80/129.99 c | 49765 | 83843 559888 1630190 | 2147483647 48286 135 | 30.704 % |
130.30/130.42 c | 49925 | 83837 559888 1630190 | 2147483647 48443 135 | 30.720 % |
130.70/130.86 c | 50103 | 83837 559888 1630190 | 2147483647 48621 136 | 30.720 % |
131.50/131.69 c | 50296 | 83837 559888 1630190 | 2147483647 48814 136 | 30.720 % |
132.00/132.15 c | 50510 | 83837 559888 1630190 | 2147483647 49028 136 | 30.720 % |
132.40/132.56 c | 50743 | 83837 559888 1630190 | 2147483647 49261 137 | 30.720 % |
133.19/133.33 c | 51000 | 83714 558970 1628024 | 2147483647 49495 137 | 30.720 % |
134.69/134.83 c | 51282 | 83714 558970 1628024 | 2147483647 49777 137 | 30.720 % |
135.10/135.30 c | 51592 | 83713 558970 1628024 | 2147483647 50086 138 | 30.726 % |
136.79/136.93 c | 51932 | 83711 558970 1628024 | 2147483647 50426 139 | 30.726 % |
138.29/138.42 c | 52304 | 83709 558970 1628024 | 2147483647 50797 140 | 30.747 % |
139.50/139.67 c | 52715 | 83708 558970 1628024 | 2147483647 51207 140 | 30.748 % |
141.30/141.49 c | 53164 | 83669 558580 1626963 | 2147483647 51631 141 | 30.757 % |
143.19/143.34 c | 53657 | 83668 558580 1626963 | 2147483647 52123 143 | 30.776 % |
144.29/144.40 c | 54199 | 83659 558580 1626963 | 2147483647 52661 143 | 30.880 % |
145.10/145.30 c | 54796 | 83640 558580 1626963 | 2147483647 53251 143 | 31.048 % |
147.29/147.45 c | 55451 | 83545 558580 1626963 | 2147483647 53906 144 | 31.048 % |
150.09/150.29 c | 56171 | 83288 555333 1618710 | 2147483647 54362 146 | 31.072 % |
150.69/150.81 c | 56272 | 83287 555333 1618710 | 2147483647 54462 146 | 31.082 % |
150.99/151.13 c | 56382 | 83287 555333 1618710 | 2147483647 54572 147 | 31.081 % |
151.29/151.47 c | 56506 | 83287 555333 1618710 | 2147483647 54695 147 | 31.082 % |
151.99/152.13 c | 56640 | 83287 555333 1618710 | 2147483647 54829 147 | 31.082 % |
152.59/152.79 c | 56786 | 83287 555333 1618710 | 2147483647 54975 147 | 31.082 % |
153.29/153.42 c | 56947 | 83286 555333 1618710 | 2147483647 55134 148 | 31.091 % |
153.49/153.68 c | 57123 | 83286 555333 1618710 | 2147483647 55310 148 | 31.091 % |
153.90/154.06 c | 57316 | 83286 555333 1618710 | 2147483647 55503 148 | 31.091 % |
154.99/155.17 c | 57537 | 83286 555333 1618710 | 2147483647 55724 148 | 31.091 % |
156.19/156.30 c | 57770 | 83284 555333 1618710 | 2147483647 55955 149 | 31.093 % |
156.59/156.75 c | 58026 | 83284 555333 1618710 | 2147483647 56211 150 | 31.093 % |
157.79/157.95 c | 58307 | 83283 555333 1618710 | 2147483647 56491 151 | 31.101 % |
158.89/159.06 c | 58616 | 83280 555333 1618710 | 2147483647 56798 151 | 31.110 % |
160.28/160.45 c | 58955 | 83243 554942 1617658 | 2147483647 57116 152 | 31.110 % |
161.18/161.38 c | 59331 | 83242 554942 1617658 | 2147483647 57491 153 | 31.110 % |
162.88/163.03 c | 59742 | 83236 554942 1617658 | 2147483647 57898 154 | 31.140 % |
164.29/164.46 c | 60191 | 83235 554942 1617658 | 2147483647 58346 154 | 31.141 % |
165.49/165.66 c | 60689 | 83234 554942 1617658 | 2147483647 58843 154 | 31.142 % |
167.28/167.45 c | 61232 | 83231 554942 1617658 | 2147483647 59384 155 | 31.152 % |
169.28/169.41 c | 61828 | 83227 554942 1617658 | 2147483647 59977 155 | 31.175 % |
172.68/172.86 c | 62483 | 83163 554251 1615791 | 2147483647 60609 158 | 31.176 % |
174.28/174.42 c | 63203 | 83163 554251 1615791 | 2147483647 61329 159 | 31.176 % |
176.48/176.68 c | 63996 | 83159 554251 1615791 | 2147483647 62118 159 | 31.218 % |
176.58/176.79 c | 64096 | 83159 554251 1615791 | 2147483647 62218 159 | 31.218 % |
177.18/177.30 c | 64207 | 83159 554251 1615791 | 2147483647 62329 159 | 31.218 % |
177.78/177.95 c | 64329 | 83158 554251 1615791 | 2147483647 62450 159 | 31.227 % |
178.48/178.64 c | 64463 | 83158 554251 1615791 | 2147483647 62583 159 | 31.236 % |
179.38/179.54 c | 64610 | 83158 554251 1615791 | 2147483647 62730 160 | 31.236 % |
179.58/179.76 c | 64770 | 83158 554251 1615791 | 2147483647 62890 159 | 31.236 % |
180.28/180.45 c | 64949 | 83158 554251 1615791 | 2147483647 63069 160 | 31.236 % |
181.17/181.31 c | 65143 | 83089 553648 1614238 | 2147483647 63226 160 | 31.245 % |
181.57/181.71 c | 65355 | 83089 553648 1614238 | 2147483647 63438 160 | 31.245 % |
182.77/182.98 c | 65594 | 83089 553648 1614238 | 2147483647 63677 161 | 31.245 % |
183.67/183.81 c | 65851 | 83089 553648 1614238 | 2147483647 63934 161 | 31.245 % |
184.97/185.11 c | 66132 | 83089 553648 1614238 | 2147483647 64215 161 | 31.245 % |
186.18/186.37 c | 66441 | 83089 553648 1614238 | 2147483647 64524 162 | 31.245 % |
187.38/187.57 c | 66780 | 83089 553648 1614238 | 2147483647 64863 163 | 31.245 % |
188.58/188.77 c | 67152 | 83086 553648 1614238 | 2147483647 65234 163 | 31.254 % |
189.98/190.14 c | 67562 | 83086 553648 1614238 | 2147483647 65644 163 | 31.254 % |
191.58/191.72 c | 68013 | 83085 553648 1614238 | 2147483647 66094 164 | 31.255 % |
192.57/192.79 c | 68507 | 83085 553648 1614238 | 2147483647 66588 165 | 31.255 % |
194.67/194.84 c | 69051 | 83085 553648 1614238 | 2147483647 67132 166 | 31.255 % |
196.87/197.03 c | 69649 | 83065 553454 1613724 | 2147483647 67721 167 | 31.264 % |
199.06/199.23 c | 70304 | 83065 553454 1613724 | 2147483647 68376 167 | 31.264 % |
201.66/201.86 c | 71024 | 83064 553454 1613724 | 2147483647 69094 167 | 31.408 % |
204.77/204.99 c | 71816 | 83064 553454 1613724 | 2147483647 69885 170 | 31.410 % |
208.36/208.53 c | 72689 | 82876 552460 1611449 | 2147483647 70645 171 | 31.413 % |
208.95/209.18 c | 72790 | 82875 552460 1611449 | 2147483647 70745 171 | 31.422 % |
209.55/209.75 c | 72900 | 82875 552460 1611449 | 2147483647 70855 170 | 31.422 % |
210.25/210.43 c | 73025 | 82875 552460 1611449 | 2147483647 70980 170 | 31.422 % |
210.96/211.16 c | 73161 | 82871 552460 1611449 | 2147483647 71115 170 | 31.435 % |
211.75/211.94 c | 73310 | 82870 552460 1611449 | 2147483647 71264 171 | 31.435 % |
212.36/212.56 c | 73471 | 82869 552460 1611449 | 2147483647 71424 171 | 31.436 % |
212.86/213.03 c | 73650 | 82869 552460 1611449 | 2147483647 71603 171 | 31.436 % |
213.95/214.18 c | 73843 | 82859 552460 1611449 | 2147483647 71794 171 | 31.482 % |
214.95/215.15 c | 74056 | 82857 552460 1611449 | 2147483647 72006 172 | 31.485 % |
215.65/215.87 c | 74292 | 82853 552460 1611449 | 2147483647 72238 172 | 31.488 % |
216.35/216.53 c | 74548 | 82852 552460 1611449 | 2147483647 72492 171 | 31.505 % |
217.05/217.25 c | 74829 | 82852 552460 1611449 | 2147483647 72773 172 | 31.505 % |
218.45/218.65 c | 75138 | 82852 552460 1611449 | 2147483647 73082 172 | 31.505 % |
219.95/220.11 c | 75479 | 82851 552460 1611449 | 2147483647 73421 172 | 31.510 % |
221.65/221.86 c | 75862 | 82851 552460 1611449 | 2147483647 73804 173 | 31.510 % |
222.95/223.11 c | 76273 | 82759 551518 1608863 | 2147483647 74173 173 | 31.510 % |
224.05/224.25 c | 76723 | 82759 551518 1608863 | 2147483647 74623 173 | 31.510 % |
226.25/226.46 c | 77216 | 82759 551518 1608863 | 2147483647 75116 174 | 31.510 % |
229.05/229.22 c | 77759 | 82758 551518 1608863 | 2147483647 75658 175 | 31.511 % |
231.95/232.12 c | 78355 | 82757 551518 1608863 | 2147483647 76253 175 | 31.512 % |
235.25/235.43 c | 79010 | 82757 551518 1608863 | 2147483647 76907 176 | 31.514 % |
237.95/238.17 c | 79731 | 82756 551518 1608863 | 2147483647 77627 178 | 31.523 % |
241.75/241.94 c | 80524 | 82737 551387 1608527 | 2147483647 78416 179 | 31.528 % |
246.24/246.45 c | 81395 | 82736 551387 1608527 | 2147483647 79283 180 | 31.666 % |
250.44/250.62 c | 82353 | 82736 551387 1608527 | 2147483647 80240 182 | 31.699 % |
251.05/251.24 c | 82453 | 82736 551387 1608527 | 2147483647 80339 182 | 31.707 % |
251.45/251.65 c | 82566 | 82734 551387 1608527 | 2147483647 80451 182 | 31.708 % |
252.05/252.23 c | 82689 | 82704 551387 1608527 | 2147483647 80572 182 | 31.911 % |
252.54/252.79 c | 82825 | 82703 551387 1608527 | 2147483647 80707 182 | 31.912 % |
253.54/253.77 c | 82973 | 82703 551387 1608527 | 2147483647 80855 182 | 31.912 % |
253.94/254.16 c | 83133 | 82703 551387 1608527 | 2147483647 81015 182 | 31.912 % |
254.74/254.92 c | 83309 | 82702 551387 1608527 | 2147483647 81190 182 | 31.912 % |
255.34/255.54 c | 83507 | 82273 548162 1600106 | 2147483647 81316 183 | 31.912 % |
256.34/256.52 c | 83720 | 82273 548162 1600106 | 2147483647 81529 183 | 31.912 % |
257.83/258.04 c | 83953 | 82273 548162 1600106 | 2147483647 81762 184 | 31.912 % |
259.23/259.45 c | 84209 | 82272 548162 1600106 | 2147483647 82017 184 | 31.913 % |
260.73/260.90 c | 84491 | 82272 548162 1600106 | 2147483647 82299 185 | 31.913 % |
261.64/261.86 c | 84800 | 82272 548162 1600106 | 2147483647 82608 185 | 31.913 % |
262.93/263.14 c | 85140 | 82271 548162 1600106 | 2147483647 82947 185 | 31.914 % |
265.03/265.27 c | 85515 | 82270 548162 1600106 | 2147483647 83321 186 | 31.921 % |
266.23/266.49 c | 85926 | 82269 548162 1600106 | 2147483647 83731 186 | 31.930 % |
268.84/269.09 c | 86376 | 82268 548162 1600106 | 2147483647 84180 187 | 31.932 % |
270.93/271.17 c | 86869 | 82262 548162 1600106 | 2147483647 84671 186 | 32.038 % |
272.93/273.18 c | 87411 | 82106 547200 1597658 | 2147483647 85173 187 | 32.051 % |
275.73/275.97 c | 88007 | 82105 547200 1597658 | 2147483647 85768 187 | 32.051 % |
278.53/278.73 c | 88662 | 82100 547200 1597658 | 2147483647 86418 187 | 32.138 % |
282.03/282.22 c | 89383 | 82100 547200 1597658 | 2147483647 87139 189 | 32.138 % |
286.43/286.62 c | 90176 | 82100 547200 1597658 | 2147483647 87931 191 | 32.161 % |
288.52/288.71 c | 91047 | 82097 547200 1597658 | 2147483647 88799 191 | 32.170 % |
289.92/290.12 c | 92010 | 82097 547200 1597658 | 2147483647 89762 190 | 32.170 % |
292.82/293.02 c | 93063 | 81949 546226 1595256 | 2147483647 90773 190 | 32.181 % |
293.02/293.23 c | 93164 | 81949 546226 1595256 | 2147483647 90874 190 | 32.181 % |
293.52/293.70 c | 93275 | 81949 546226 1595256 | 2147483647 90985 190 | 32.181 % |
293.92/294.15 c | 93396 | 81949 546226 1595256 | 2147483647 91105 190 | 32.187 % |
294.52/294.79 c | 93530 | 81949 546226 1595256 | 2147483647 91239 190 | 32.187 % |
295.62/295.89 c | 93676 | 81947 546226 1595256 | 2147483647 91383 190 | 32.203 % |
296.72/296.91 c | 93844 | 81947 546226 1595256 | 2147483647 91551 191 | 32.203 % |
297.33/297.53 c | 94020 | 81947 546226 1595256 | 2147483647 91727 191 | 32.203 % |
298.33/298.58 c | 94213 | 81947 546226 1595256 | 2147483647 91920 191 | 32.203 % |
299.03/299.21 c | 94425 | 81941 546226 1595256 | 2147483647 92128 191 | 32.224 % |
300.22/300.42 c | 94658 | 81941 546226 1595256 | 2147483647 92361 191 | 32.224 % |
301.72/301.92 c | 94923 | 81941 546226 1595256 | 2147483647 92626 192 | 32.224 % |
303.12/303.34 c | 95204 | 81941 546226 1595256 | 2147483647 92907 192 | 32.224 % |
304.91/305.16 c | 95513 | 81941 546226 1595256 | 2147483647 93216 193 | 32.224 % |
306.72/306.98 c | 95854 | 81941 546226 1595256 | 2147483647 93557 194 | 32.224 % |
308.51/308.74 c | 96226 | 81941 546226 1595256 | 2147483647 93929 194 | 32.224 % |
310.41/310.66 c | 96635 | 81941 546226 1595256 | 2147483647 94338 194 | 32.224 % |
312.32/312.52 c | 97085 | 81882 545658 1593752 | 2147483647 94742 194 | 32.243 % |
314.62/314.84 c | 97579 | 81880 545658 1593752 | 2147483647 95233 194 | 32.270 % |
318.02/318.24 c | 98132 | 81866 545658 1593752 | 2147483647 95784 195 | 32.634 % |
320.81/321.00 c | 98730 | 81866 545658 1593752 | 2147483647 96382 196 | 32.634 % |
324.22/324.49 c | 99386 | 81866 545658 1593752 | 2147483647 97037 197 | 32.635 % |
327.81/328.04 c | 100106 | 81863 545658 1593752 | 2147483647 97755 198 | 32.650 % |
330.81/331.09 c | 100898 | 81863 545658 1593752 | 2147483647 98547 198 | 32.650 % |
332.10/332.32 c | 101770 | 81863 545658 1593752 | 2147483647 99419 198 | 32.650 % |
336.21/336.42 c | 102728 | 81859 545658 1593752 | 2147483647 100375 199 | 32.662 % |
341.61/341.86 c | 103784 | 81358 541655 1583208 | 2147483647 101173 200 | 32.775 % |
346.70/346.90 c | 104943 | 81345 541655 1583208 | 2147483647 102327 199 | 32.826 % |
347.20/347.45 c | 105045 | 81341 541655 1583208 | 2147483647 102427 199 | 32.839 % |
347.90/348.17 c | 105157 | 81341 541655 1583208 | 2147483647 102539 199 | 32.839 % |
348.60/348.84 c | 105278 | 81341 541655 1583208 | 2147483647 102660 199 | 32.839 % |
349.20/349.44 c | 105417 | 81341 541655 1583208 | 2147483647 102798 199 | 32.850 % |
349.50/349.74 c | 105563 | 81341 541655 1583208 | 2147483647 102944 199 | 32.850 % |
349.90/350.18 c | 105723 | 81339 541655 1583208 | 2147483647 103103 199 | 32.908 % |
350.80/351.03 c | 105899 | 81339 541655 1583208 | 2147483647 103279 199 | 32.908 % |
352.09/352.34 c | 106092 | 81339 541655 1583208 | 2147483647 103472 200 | 32.908 % |
353.19/353.43 c | 106304 | 81338 541655 1583208 | 2147483647 103683 200 | 32.909 % |
354.09/354.34 c | 106537 | 81338 541655 1583208 | 2147483647 103916 200 | 32.909 % |
355.20/355.41 c | 106793 | 81338 541655 1583208 | 2147483647 104172 200 | 32.909 % |
356.80/357.09 c | 107075 | 81337 541655 1583208 | 2147483647 104453 201 | 32.917 % |
358.40/358.65 c | 107384 | 81336 541655 1583208 | 2147483647 104761 201 | 32.926 % |
360.70/360.91 c | 107723 | 80980 538604 1575146 | 2147483647 104892 201 | 32.982 % |
362.40/362.64 c | 108095 | 80979 538604 1575146 | 2147483647 105263 202 | 32.983 % |
363.69/363.95 c | 108505 | 80979 538604 1575146 | 2147483647 105673 201 | 32.983 % |
364.89/365.20 c | 108954 | 80979 538604 1575146 | 2147483647 106122 201 | 32.983 % |
367.89/368.13 c | 109448 | 80979 538604 1575146 | 2147483647 106615 202 | 33.219 % |
370.59/370.85 c | 109990 | 80970 538604 1575146 | 2147483647 107153 202 | 33.261 % |
372.69/372.96 c | 110592 | 80970 538604 1575146 | 2147483647 107755 203 | 33.261 % |
376.39/376.60 c | 111248 | 80970 538604 1575146 | 2147483647 108411 204 | 33.261 % |
380.09/380.39 c | 111969 | 80965 538604 1575146 | 2147483647 109128 204 | 33.284 % |
384.39/384.69 c | 112762 | 80965 538604 1575146 | 2147483647 109921 206 | 33.284 % |
388.98/389.30 c | 113634 | 80593 536639 1570417 | 2147483647 110686 206 | 33.303 % |
393.38/393.65 c | 114594 | 80577 536639 1570417 | 2147483647 111641 206 | 33.371 % |
398.38/398.65 c | 115651 | 80576 536639 1570417 | 2147483647 112697 207 | 33.372 % |
402.77/403.08 c | 116813 | 80564 536639 1570417 | 2147483647 113857 206 | 33.576 % |
408.58/408.83 c | 118086 | 80562 536639 1570417 | 2147483647 115127 207 | 33.584 % |
408.78/409.08 c | 118186 | 80562 536639 1570417 | 2147483647 115227 207 | 33.584 % |
409.27/409.54 c | 118297 | 80562 536639 1570417 | 2147483647 115338 207 | 33.584 % |
410.08/410.39 c | 118418 | 80562 536639 1570417 | 2147483647 115459 207 | 33.584 % |
410.37/410.68 c | 118553 | 80562 536639 1570417 | 2147483647 115594 207 | 33.584 % |
411.18/411.42 c | 118706 | 80562 536639 1570417 | 2147483647 115747 207 | 33.584 % |
411.87/412.11 c | 118866 | 80560 536639 1570417 | 2147483647 115906 207 | 33.590 % |
412.37/412.68 c | 119042 | 80560 536639 1570417 | 2147483647 116082 207 | 33.590 % |
413.57/413.87 c | 119235 | 80560 536639 1570417 | 2147483647 116275 207 | 33.590 % |
414.67/414.99 c | 119447 | 80559 536639 1570417 | 2147483647 116485 207 | 33.621 % |
415.77/416.07 c | 119681 | 80558 536639 1570417 | 2147483647 116716 207 | 33.648 % |
416.97/417.29 c | 119939 | 80174 533988 1563948 | 2147483647 116385 208 | 33.661 % |
418.57/418.81 c | 120220 | 80174 533988 1563948 | 2147483647 116666 208 | 33.661 % |
420.47/420.71 c | 120529 | 80174 533988 1563948 | 2147483647 116975 208 | 33.661 % |
422.27/422.51 c | 120871 | 80173 533988 1563948 | 2147483647 117315 208 | 33.680 % |
424.96/425.29 c | 121243 | 80173 533988 1563948 | 2147483647 117687 208 | 33.680 % |
427.37/427.64 c | 121653 | 80173 533988 1563948 | 2147483647 118097 209 | 33.680 % |
429.77/430.01 c | 122103 | 80173 533988 1563948 | 2147483647 118547 209 | 33.680 % |
432.16/432.43 c | 122598 | 80173 533988 1563948 | 2147483647 119041 209 | 33.681 % |
434.55/434.81 c | 123144 | 80173 533988 1563948 | 2147483647 119587 210 | 33.681 % |
436.86/437.12 c | 123741 | 80170 533988 1563948 | 2147483647 120183 210 | 33.693 % |
438.56/438.88 c | 124398 | 80170 533988 1563948 | 2147483647 120840 210 | 33.693 % |
443.15/443.45 c | 125118 | 80168 533988 1563948 | 2147483647 121557 211 | 33.793 % |
446.85/447.11 c | 125911 | 80000 532580 1560166 | 2147483647 122274 211 | 33.793 % |
451.24/451.53 c | 126783 | 80000 532580 1560166 | 2147483647 123146 212 | 33.793 % |
455.06/455.39 c | 127741 | 80000 532580 1560166 | 2147483647 124104 212 | 33.793 % |
460.45/460.78 c | 128794 | 79998 532580 1560166 | 2147483647 125155 213 | 33.795 % |
466.64/466.96 c | 129957 | 79993 532580 1560166 | 2147483647 126315 213 | 33.805 % |
473.44/473.75 c | 131231 | 79992 532580 1560166 | 2147483647 127588 215 | 33.806 % |
477.64/477.97 c | 132632 | 79957 532580 1560166 | 2147483647 128987 215 | 33.885 % |
477.94/478.27 c | 132732 | 79889 531930 1558552 | 2147483647 129046 215 | 33.885 % |
478.25/478.56 c | 132843 | 79889 531930 1558552 | 2147483647 129157 215 | 33.885 % |
478.64/478.92 c | 132964 | 79889 531930 1558552 | 2147483647 129278 215 | 33.885 % |
479.84/480.16 c | 133097 | 79889 531930 1558552 | 2147483647 129411 215 | 33.885 % |
480.34/480.63 c | 133245 | 79889 531930 1558552 | 2147483647 129558 215 | 33.892 % |
481.03/481.39 c | 133407 | 79889 531930 1558552 | 2147483647 129719 215 | 33.893 % |
482.13/482.47 c | 133584 | 79889 531930 1558552 | 2147483647 129895 215 | 33.905 % |
482.93/483.29 c | 133777 | 79889 531930 1558552 | 2147483647 130088 215 | 33.905 % |
483.93/484.20 c | 133990 | 79889 531930 1558552 | 2147483647 130301 215 | 33.905 % |
485.13/485.44 c | 134226 | 79889 531930 1558552 | 2147483647 130537 215 | 33.905 % |
486.53/486.81 c | 134482 | 79889 531930 1558552 | 2147483647 130793 216 | 33.905 % |
488.13/488.43 c | 134763 | 79889 531930 1558552 | 2147483647 131074 216 | 33.905 % |
489.93/490.23 c | 135074 | 79889 531930 1558552 | 2147483647 131385 216 | 33.905 % |
491.33/491.63 c | 135415 | 79889 531930 1558552 | 2147483647 131726 216 | 33.905 % |
494.82/495.20 c | 135792 | 79889 531930 1558552 | 2147483647 132101 216 | 33.912 % |
498.32/498.62 c | 136201 | 79888 531930 1558552 | 2147483647 132509 216 | 33.913 % |
501.33/501.67 c | 136650 | 79886 531930 1558552 | 2147483647 132956 216 | 33.930 % |
503.63/503.99 c | 137146 | 79886 531930 1558552 | 2147483647 133452 217 | 33.930 % |
507.03/507.33 c | 137688 | 79886 531930 1558552 | 2147483647 133994 217 | 33.930 % |
510.13/510.46 c | 138285 | 79886 531930 1558552 | 2147483647 134589 217 | 33.933 % |
514.53/514.85 c | 138954 | 79820 531324 1556990 | 2147483647 135219 217 | 33.942 % |
518.62/518.98 c | 139675 | 79818 531324 1556990 | 2147483647 135939 218 | 33.953 % |
522.32/522.67 c | 140472 | 79818 531324 1556990 | 2147483647 136736 219 | 33.953 % |
527.41/527.76 c | 141345 | 79818 531324 1556990 | 2147483647 137608 220 | 33.962 % |
534.91/535.24 c | 142309 | 79818 531324 1556990 | 2147483647 138572 221 | 33.962 % |
541.21/541.51 c | 143363 | 79818 531324 1556990 | 2147483647 139625 222 | 33.971 % |
547.41/547.77 c | 144521 | 79817 531324 1556990 | 2147483647 140782 222 | 33.977 % |
554.60/554.94 c | 145794 | 79816 531324 1556990 | 2147483647 142054 224 | 33.978 % |
562.60/563.00 c | 147194 | 79776 530989 1556070 | 2147483647 143440 225 | 34.000 % |
571.29/571.69 c | 148740 | 79775 530989 1556070 | 2147483647 144986 225 | 34.000 % |
571.89/572.21 c | 148840 | 79775 530989 1556070 | 2147483647 145086 225 | 34.000 % |
572.69/573.01 c | 148950 | 79771 530989 1556070 | 2147483647 145195 225 | 34.010 % |
573.49/573.86 c | 149071 | 79771 530989 1556070 | 2147483647 145316 226 | 34.010 % |
574.59/574.99 c | 149205 | 79771 530989 1556070 | 2147483647 145450 226 | 34.010 % |
575.59/575.96 c | 149352 | 79771 530989 1556070 | 2147483647 145597 226 | 34.010 % |
576.68/577.05 c | 149512 | 79771 530989 1556070 | 2147483647 145757 226 | 34.010 % |
577.58/577.90 c | 149690 | 79770 530989 1556070 | 2147483647 145933 226 | 34.021 % |
578.78/579.20 c | 149887 | 79770 530989 1556070 | 2147483647 146130 226 | 34.021 % |
580.19/580.57 c | 150099 | 79770 530989 1556070 | 2147483647 146342 226 | 34.021 % |
581.19/581.52 c | 150334 | 79770 530989 1556070 | 2147483647 146577 226 | 34.021 % |
581.79/582.16 c | 150591 | 79769 530989 1556070 | 2147483647 146833 226 | 34.062 % |
583.58/583.99 c | 150873 | 79769 530989 1556070 | 2147483647 147115 226 | 34.062 % |
585.89/586.26 c | 151182 | 79768 530989 1556070 | 2147483647 147423 227 | 34.063 % |
587.68/588.02 c | 151521 | 79768 530989 1556070 | 2147483647 147762 227 | 34.063 % |
589.98/590.30 c | 151893 | 79768 530989 1556070 | 2147483647 148134 227 | 34.063 % |
592.99/593.32 c | 152302 | 79768 530989 1556070 | 2147483647 148541 227 | 34.067 % |
595.98/596.33 c | 152751 | 79764 530989 1556070 | 2147483647 148986 227 | 34.091 % |
598.28/598.70 c | 153244 | 79763 530989 1556070 | 2147483647 149478 228 | 34.091 % |
601.98/602.38 c | 153786 | 79640 529945 1553347 | 2147483647 149968 227 | 34.100 % |
605.28/605.65 c | 154382 | 79636 529945 1553347 | 2147483647 150560 228 | 34.120 % |
608.78/609.18 c | 155040 | 79636 529945 1553347 | 2147483647 151218 228 | 34.120 % |
612.88/613.28 c | 155760 | 79636 529945 1553347 | 2147483647 151938 229 | 34.120 % |
616.77/617.10 c | 156552 | 79636 529945 1553347 | 2147483647 152730 229 | 34.120 % |
621.36/621.77 c | 157425 | 79636 529945 1553347 | 2147483647 153603 229 | 34.120 % |
627.57/627.99 c | 158384 | 79636 529945 1553347 | 2147483647 154562 230 | 34.120 % |
633.37/633.75 c | 159438 | 79636 529945 1553347 | 2147483647 155616 230 | 34.120 % |
640.56/640.99 c | 160597 | 79635 529945 1553347 | 2147483647 156774 230 | 34.120 % |
647.36/647.73 c | 161870 | 79635 529945 1553347 | 2147483647 158047 230 | 34.120 % |
657.16/657.52 c | 163270 | 79605 529629 1552485 | 2147483647 159431 231 | 34.120 % |
667.25/667.63 c | 164811 | 79605 529629 1552485 | 2147483647 160971 233 | 34.128 % |
676.84/677.24 c | 166506 | 79604 529629 1552485 | 2147483647 162665 233 | 34.136 % |
677.04/677.48 c | 166606 | 79604 529629 1552485 | 2147483647 162765 233 | 34.136 % |
677.74/678.11 c | 166717 | 79604 529629 1552485 | 2147483647 162876 233 | 34.136 % |
678.34/678.72 c | 166840 | 79604 529629 1552485 | 2147483647 162999 233 | 34.136 % |
679.34/679.80 c | 166975 | 79604 529629 1552485 | 2147483647 163134 233 | 34.136 % |
680.74/681.12 c | 167121 | 79604 529629 1552485 | 2147483647 163280 233 | 34.136 % |
681.64/682.05 c | 167282 | 79604 529629 1552485 | 2147483647 163441 233 | 34.136 % |
682.84/683.20 c | 167462 | 79604 529629 1552485 | 2147483647 163621 233 | 34.136 % |
684.24/684.65 c | 167659 | 79604 529629 1552485 | 2147483647 163818 233 | 34.136 % |
685.64/686.03 c | 167873 | 79604 529629 1552485 | 2147483647 164032 234 | 34.136 % |
687.14/687.53 c | 168107 | 79604 529629 1552485 | 2147483647 164266 234 | 34.136 % |
688.34/688.77 c | 168363 | 79604 529629 1552485 | 2147483647 164520 234 | 34.139 % |
690.44/690.89 c | 168645 | 79604 529629 1552485 | 2147483647 164802 234 | 34.139 % |
692.13/692.53 c | 168954 | 79604 529629 1552485 | 2147483647 165111 234 | 34.139 % |
694.53/694.91 c | 169294 | 79604 529629 1552485 | 2147483647 165451 234 | 34.139 % |
697.14/697.55 c | 169666 | 79604 529629 1552485 | 2147483647 165823 235 | 34.139 % |
699.34/699.75 c | 170075 | 79582 529437 1551973 | 2147483647 166212 235 | 34.139 % |
701.84/702.25 c | 170525 | 79581 529437 1551973 | 2147483647 166661 235 | 34.140 % |
704.83/705.25 c | 171018 | 79580 529437 1551973 | 2147483647 167153 235 | 34.143 % |
708.82/709.26 c | 171560 | 79580 529437 1551973 | 2147483647 167695 235 | 34.143 % |
713.52/713.97 c | 172156 | 79579 529437 1551973 | 2147483647 168290 235 | 34.144 % |
717.53/717.98 c | 172812 | 79577 529437 1551973 | 2147483647 168942 236 | 34.168 % |
722.72/723.19 c | 173532 | 79575 529437 1551973 | 2147483647 169660 236 | 34.177 % |
727.03/727.47 c | 174326 | 79575 529437 1551973 | 2147483647 170454 236 | 34.177 % |
732.23/732.67 c | 175197 | 79574 529437 1551973 | 2147483647 171324 237 | 34.185 % |
739.12/739.57 c | 176155 | 79573 529437 1551973 | 2147483647 172281 237 | 34.196 % |
746.32/746.74 c | 177208 | 79573 529437 1551973 | 2147483647 173332 238 | 34.199 % |
754.11/754.52 c | 178366 | 79572 529437 1551973 | 2147483647 174489 239 | 34.211 % |
760.71/761.16 c | 179639 | 79496 528704 1550001 | 2147483647 175720 239 | 34.211 % |
769.60/770.03 c | 181040 | 79495 528704 1550001 | 2147483647 177119 240 | 34.212 % |
779.60/780.08 c | 182581 | 79493 528704 1550001 | 2147483647 178658 241 | 34.221 % |
792.89/793.32 c | 184275 | 79490 528704 1550001 | 2147483647 180348 242 | 34.248 % |
809.17/809.64 c | 186138 | 79487 528704 1550001 | 2147483647 182209 242 | 34.292 % |
810.27/810.80 c | 186242 | 79487 528704 1550001 | 2147483647 182313 242 | 34.292 % |
811.07/811.56 c | 186353 | 79398 527883 1547828 | 2147483647 182326 242 | 34.292 % |
811.98/812.49 c | 186474 | 79398 527883 1547828 | 2147483647 182447 242 | 34.292 % |
812.58/813.06 c | 186609 | 79398 527883 1547828 | 2147483647 182582 242 | 34.292 % |
813.08/813.54 c | 186755 | 79398 527883 1547828 | 2147483647 182728 242 | 34.292 % |
813.48/813.95 c | 186915 | 79397 527883 1547828 | 2147483647 182887 242 | 34.293 % |
813.88/814.30 c | 187091 | 79397 527883 1547828 | 2147483647 183063 241 | 34.293 % |
814.68/815.19 c | 187284 | 79397 527883 1547828 | 2147483647 183256 241 | 34.293 % |
815.57/816.00 c | 187497 | 79397 527883 1547828 | 2147483647 183469 241 | 34.293 % |
817.17/817.65 c | 187734 | 79395 527883 1547828 | 2147483647 183705 241 | 34.301 % |
818.87/819.31 c | 187996 | 79395 527883 1547828 | 2147483647 183967 241 | 34.301 % |
820.67/821.11 c | 188277 | 79395 527883 1547828 | 2147483647 184248 242 | 34.301 % |
822.27/822.74 c | 188587 | 79395 527883 1547828 | 2147483647 184558 242 | 34.301 % |
824.77/825.20 c | 188926 | 79395 527883 1547828 | 2147483647 184897 242 | 34.301 % |
826.87/827.39 c | 189299 | 79395 527883 1547828 | 2147483647 185270 242 | 34.301 % |
829.57/830.03 c | 189708 | 79395 527883 1547828 | 2147483647 185679 242 | 34.301 % |
832.86/833.39 c | 190157 | 79395 527883 1547828 | 2147483647 186128 242 | 34.301 % |
835.47/836.00 c | 190653 | 79395 527883 1547828 | 2147483647 186624 242 | 34.301 % |
839.07/839.50 c | 191195 | 79395 527883 1547828 | 2147483647 187166 242 | 34.301 % |
842.57/843.01 c | 191792 | 79395 527883 1547828 | 2147483647 187761 243 | 34.306 % |
847.76/848.20 c | 192449 | 79392 527883 1547828 | 2147483647 188414 243 | 34.325 % |
852.46/852.90 c | 193172 | 79392 527883 1547828 | 2147483647 189136 244 | 34.335 % |
857.95/858.42 c | 193964 | 79392 527883 1547828 | 2147483647 189928 244 | 34.335 % |
862.35/862.85 c | 194837 | 79392 527883 1547828 | 2147483647 190801 244 | 34.335 % |
867.65/868.17 c | 195797 | 79391 527883 1547828 | 2147483647 191760 245 | 34.336 % |
875.35/875.84 c | 196850 | 79391 527883 1547828 | 2147483647 192813 246 | 34.336 % |
883.34/883.82 c | 198008 | 79345 527460 1546672 | 2147483647 193949 246 | 34.336 % |
890.45/890.98 c | 199282 | 79345 527460 1546672 | 2147483647 195223 246 | 34.336 % |
900.73/901.24 c | 200682 | 79302 527460 1546672 | 2147483647 196619 246 | 34.460 % |
911.14/911.60 c | 202224 | 79297 527460 1546672 | 2147483647 198155 246 | 34.484 % |
919.23/919.70 c | 203918 | 79294 527460 1546672 | 2147483647 199845 246 | 34.495 % |
929.61/930.10 c | 205781 | 79290 527460 1546672 | 2147483647 201702 247 | 34.528 % |
941.71/942.27 c | 207830 | 78305 520537 1528755 | 2147483647 203241 247 | 35.205 % |
942.81/943.31 c | 207930 | 78305 520537 1528755 | 2147483647 203341 247 | 35.204 % |
943.51/944.07 c | 208043 | 78305 520537 1528755 | 2147483647 203454 247 | 35.204 % |
944.51/945.05 c | 208164 | 78305 520537 1528755 | 2147483647 203575 247 | 35.204 % |
945.31/945.89 c | 208297 | 78305 520537 1528755 | 2147483647 203708 247 | 35.205 % |
946.32/946.87 c | 208443 | 78305 520537 1528755 | 2147483647 203854 247 | 35.204 % |
947.42/947.94 c | 208607 | 78305 520537 1528755 | 2147483647 204018 247 | 35.204 % |
948.42/948.98 c | 208783 | 78305 520537 1528755 | 2147483647 204194 247 | 35.204 % |
949.61/950.14 c | 208976 | 78305 520537 1528755 | 2147483647 204386 247 | 35.216 % |
951.61/952.16 c | 209189 | 78305 520537 1528755 | 2147483647 204599 247 | 35.216 % |
952.91/953.41 c | 209425 | 78304 520537 1528755 | 2147483647 204834 247 | 35.217 % |
954.91/955.48 c | 209681 | 78304 520537 1528755 | 2147483647 205090 247 | 35.217 % |
957.11/957.63 c | 209962 | 78296 520537 1528755 | 2147483647 205368 248 | 35.226 % |
959.31/959.86 c | 210273 | 78296 520537 1528755 | 2147483647 205679 248 | 35.226 % |
961.61/962.19 c | 210612 | 78296 520537 1528755 | 2147483647 206018 248 | 35.226 % |
964.51/965.01 c | 210985 | 78293 520537 1528755 | 2147483647 206389 248 | 35.241 % |
967.60/968.13 c | 211394 | 78293 520537 1528755 | 2147483647 206798 249 | 35.241 % |
971.50/972.09 c | 211843 | 78293 520537 1528755 | 2147483647 207247 249 | 35.241 % |
975.60/976.15 c | 212336 | 78293 520537 1528755 | 2147483647 207740 249 | 35.241 % |
979.20/979.76 c | 212881 | 78293 520537 1528755 | 2147483647 208285 250 | 35.241 % |
982.59/983.15 c | 213480 | 78293 520537 1528755 | 2147483647 208884 250 | 35.241 % |
987.00/987.56 c | 214137 | 78293 520537 1528755 | 2147483647 209541 250 | 35.241 % |
991.90/992.48 c | 214858 | 78293 520537 1528755 | 2147483647 210262 250 | 35.241 % |
996.39/996.92 c | 215651 | 78293 520537 1528755 | 2147483647 211055 251 | 35.241 % |
1001.89/1002.42 c | 216522 | 78293 520537 1528755 | 2147483647 211926 251 | 35.241 % |
1007.69/1008.21 c | 217480 | 78293 520537 1528755 | 2147483647 212884 252 | 35.241 % |
1013.78/1014.31 c | 218534 | 78286 520537 1528755 | 2147483647 213929 252 | 35.276 % |
1019.48/1020.02 c | 219693 | 78286 520537 1528755 | 2147483647 215088 253 | 35.276 % |
1028.37/1028.98 c | 220967 | 78209 519773 1526604 | 2147483647 216304 253 | 35.277 % |
1036.47/1037.00 c | 222367 | 78209 519773 1526604 | 2147483647 217704 253 | 35.277 % |
1045.77/1046.35 c | 223908 | 78209 519773 1526604 | 2147483647 219245 253 | 35.277 % |
1058.06/1058.65 c | 225603 | 78209 519773 1526604 | 2147483647 220940 254 | 35.277 % |
1073.65/1074.27 c | 227468 | 78208 519773 1526604 | 2147483647 222803 255 | 35.281 % |
1087.64/1088.21 c | 229518 | 78208 519773 1526604 | 2147483647 224851 256 | 35.283 % |
1101.54/1102.13 c | 231771 | 78207 519773 1526604 | 2147483647 227102 257 | 35.286 % |
1102.25/1102.89 c | 231871 | 78196 519719 1526459 | 2147483647 227198 257 | 35.286 % |
1103.05/1103.64 c | 231983 | 78196 519719 1526459 | 2147483647 227310 257 | 35.286 % |
1103.75/1104.36 c | 232104 | 78196 519719 1526459 | 2147483647 227431 257 | 35.286 % |
1104.85/1105.42 c | 232237 | 78196 519719 1526459 | 2147483647 227564 257 | 35.286 % |
1105.95/1106.54 c | 232385 | 78196 519719 1526459 | 2147483647 227712 257 | 35.286 % |
1107.74/1108.33 c | 232550 | 78196 519719 1526459 | 2147483647 227877 257 | 35.286 % |
1109.54/1110.19 c | 232728 | 78196 519719 1526459 | 2147483647 228055 257 | 35.286 % |
1111.64/1112.24 c | 232924 | 78196 519719 1526459 | 2147483647 228251 257 | 35.286 % |
1113.64/1114.21 c | 233136 | 78196 519719 1526459 | 2147483647 228463 257 | 35.286 % |
1115.33/1115.96 c | 233370 | 78196 519719 1526459 | 2147483647 228697 257 | 35.286 % |
1117.33/1117.95 c | 233633 | 78196 519719 1526459 | 2147483647 228960 257 | 35.286 % |
1119.14/1119.78 c | 233914 | 78196 519719 1526459 | 2147483647 229241 257 | 35.286 % |
1120.63/1121.24 c | 234224 | 78195 519719 1526459 | 2147483647 229550 257 | 35.287 % |
1122.03/1122.65 c | 234566 | 78195 519719 1526459 | 2147483647 229892 257 | 35.287 % |
1125.03/1125.63 c | 234940 | 78195 519719 1526459 | 2147483647 230266 257 | 35.287 % |
1127.73/1128.38 c | 235349 | 78195 519719 1526459 | 2147483647 230674 258 | 35.297 % |
1130.83/1131.47 c | 235799 | 78195 519719 1526459 | 2147483647 231124 257 | 35.297 % |
1134.93/1135.53 c | 236292 | 78195 519719 1526459 | 2147483647 231617 257 | 35.297 % |
1139.23/1139.80 c | 236840 | 78195 519719 1526459 | 2147483647 232165 257 | 35.297 % |
1144.92/1145.58 c | 237436 | 78195 519719 1526459 | 2147483647 232761 257 | 35.297 % |
1151.02/1151.64 c | 238092 | 78194 519719 1526459 | 2147483647 233416 257 | 35.332 % |
1155.71/1156.40 c | 238815 | 78192 519719 1526459 | 2147483647 234137 257 | 35.350 % |
1160.62/1161.30 c | 239609 | 78191 519719 1526459 | 2147483647 234930 258 | 35.351 % |
1166.61/1167.30 c | 240480 | 78190 519719 1526459 | 2147483647 235799 258 | 35.425 % |
1173.29/1173.93 c | 241441 | 78187 519719 1526459 | 2147483647 236759 258 | 35.434 % |
1180.80/1181.40 c | 242494 | 78187 519719 1526459 | 2147483647 237812 258 | 35.434 % |
1189.29/1189.96 c | 243655 | 78187 519719 1526459 | 2147483647 238973 258 | 35.434 % |
1199.48/1200.18 c | 244928 | 78016 518282 1522620 | 2147483647 240187 258 | 35.443 % |
1211.17/1211.80 c | 246328 | 78016 518282 1522620 | 2147483647 241585 259 | 35.446 % |
1221.87/1222.56 c | 247870 | 78015 518282 1522620 | 2147483647 243125 259 | 35.461 % |
1230.66/1231.39 c | 249564 | 78015 518282 1522620 | 2147483647 244819 259 | 35.461 % |
1247.16/1247.82 c | 251436 | 78015 518282 1522620 | 2147483647 246689 259 | 35.473 % |
1260.36/1261.01 c | 253485 | 78015 518282 1522620 | 2147483647 248737 260 | 35.489 % |
1276.65/1277.34 c | 255738 | 78012 518282 1522620 | 2147483647 250988 260 | 35.512 % |
1290.54/1291.30 c | 258219 | 78012 518282 1522620 | 2147483647 253469 261 | 35.512 % |
1292.13/1292.83 c | 258319 | 77924 517642 1521002 | 2147483647 253528 261 | 35.512 % |
1293.03/1293.71 c | 258429 | 77924 517642 1521002 | 2147483647 253637 261 | 35.512 % |
1293.93/1294.68 c | 258550 | 77923 517642 1521002 | 2147483647 253758 261 | 35.512 % |
1294.83/1295.56 c | 258683 | 77923 517642 1521002 | 2147483647 253891 261 | 35.512 % |
1296.03/1296.71 c | 258829 | 77923 517642 1521002 | 2147483647 254037 261 | 35.512 % |
1297.53/1298.27 c | 258992 | 77923 517642 1521002 | 2147483647 254200 261 | 35.512 % |
1298.74/1299.46 c | 259171 | 77923 517642 1521002 | 2147483647 254379 261 | 35.512 % |
1299.84/1300.54 c | 259364 | 77923 517642 1521002 | 2147483647 254572 261 | 35.512 % |
1300.34/1301.09 c | 259576 | 77923 517642 1521002 | 2147483647 254784 261 | 35.512 % |
1302.24/1302.93 c | 259809 | 77923 517642 1521002 | 2147483647 255017 261 | 35.512 % |
1304.63/1305.31 c | 260065 | 77923 517642 1521002 | 2147483647 255273 261 | 35.512 % |
1306.73/1307.48 c | 260346 | 77923 517642 1521002 | 2147483647 255554 261 | 35.512 % |
1308.63/1309.39 c | 260656 | 77922 517642 1521002 | 2147483647 255863 261 | 35.521 % |
1310.63/1311.34 c | 260996 | 77922 517642 1521002 | 2147483647 256203 262 | 35.521 % |
1313.23/1313.91 c | 261369 | 77922 517642 1521002 | 2147483647 256576 262 | 35.521 % |
1314.63/1315.32 c | 261783 | 77922 517642 1521002 | 2147483647 256990 261 | 35.521 % |
1318.62/1319.32 c | 262235 | 77922 517642 1521002 | 2147483647 257442 262 | 35.521 % |
1322.73/1323.40 c | 262729 | 77922 517642 1521002 | 2147483647 257936 262 | 35.521 % |
1327.93/1328.61 c | 263273 | 77922 517642 1521002 | 2147483647 258480 262 | 35.521 % |
1331.82/1332.53 c | 263869 | 77922 517642 1521002 | 2147483647 259076 262 | 35.521 % |
1336.82/1337.53 c | 264526 | 77922 517642 1521002 | 2147483647 259733 262 | 35.521 % |
1342.92/1343.62 c | 265246 | 77922 517642 1521002 | 2147483647 260453 262 | 35.521 % |
1349.71/1350.42 c | 266043 | 77921 517642 1521002 | 2147483647 261249 263 | 35.589 % |
1356.71/1357.41 c | 266914 | 77921 517642 1521002 | 2147483647 262120 263 | 35.589 % |
1362.51/1363.26 c | 267874 | 77921 517642 1521002 | 2147483647 263079 263 | 35.598 % |
1370.40/1371.19 c | 268928 | 77921 517642 1521002 | 2147483647 264133 263 | 35.598 % |
1380.30/1381.07 c | 270086 | 77921 517642 1521002 | 2147483647 265291 263 | 35.598 % |
1389.29/1390.00 c | 271360 | 77921 517642 1521002 | 2147483647 266565 264 | 35.598 % |
1400.39/1401.16 c | 272760 | 77920 517642 1521002 | 2147483647 267964 264 | 35.607 % |
1412.88/1413.69 c | 274300 | 77919 517642 1521002 | 2147483647 269503 264 | 35.626 % |
1426.97/1427.75 c | 275994 | 77782 516847 1519057 | 2147483647 271128 264 | 35.657 % |
1440.28/1441.09 c | 277857 | 77781 516847 1519057 | 2147483647 272990 264 | 35.658 % |
1456.47/1457.22 c | 279907 | 77781 516847 1519057 | 2147483647 275039 265 | 35.659 % |
1472.06/1472.80 c | 282160 | 77779 516847 1519057 | 2147483647 277288 266 | 35.693 % |
1489.75/1490.52 c | 284638 | 77779 516847 1519057 | 2147483647 279765 266 | 35.697 % |
1511.74/1512.54 c | 287363 | 77778 516847 1519057 | 2147483647 282488 266 | 35.716 % |
1512.64/1513.40 c | 287466 | 77778 516847 1519057 | 2147483647 282591 266 | 35.716 % |
1514.03/1514.81 c | 287578 | 77778 516847 1519057 | 2147483647 282703 266 | 35.716 % |
1515.14/1515.99 c | 287704 | 77777 516847 1519057 | 2147483647 282828 266 | 35.721 % |
1516.14/1517.00 c | 287841 | 77777 516847 1519057 | 2147483647 282965 267 | 35.721 % |
1517.54/1518.40 c | 287989 | 77777 516847 1519057 | 2147483647 283113 267 | 35.721 % |
1518.74/1519.58 c | 288150 | 77777 516847 1519057 | 2147483647 283274 267 | 35.721 % |
1520.44/1521.28 c | 288326 | 77777 516847 1519057 | 2147483647 283450 267 | 35.721 % |
1522.04/1522.85 c | 288529 | 77777 516847 1519057 | 2147483647 283653 267 | 35.721 % |
1523.54/1524.37 c | 288741 | 77777 516847 1519057 | 2147483647 283865 267 | 35.721 % |
1525.94/1526.72 c | 288978 | 77777 516847 1519057 | 2147483647 284102 267 | 35.721 % |
1528.03/1528.82 c | 289236 | 77777 516847 1519057 | 2147483647 284359 267 | 35.724 % |
1530.33/1531.13 c | 289518 | 77777 516847 1519057 | 2147483647 284640 267 | 35.732 % |
1532.23/1533.01 c | 289829 | 77776 516847 1519057 | 2147483647 284950 267 | 35.732 % |
1535.73/1536.57 c | 290172 | 77776 516847 1519057 | 2147483647 285293 267 | 35.732 % |
1539.63/1540.48 c | 290545 | 77657 515861 1516485 | 2147483647 285524 267 | 35.732 % |
1542.63/1543.46 c | 290955 | 77656 515861 1516485 | 2147483647 285933 267 | 35.766 % |
1544.53/1545.33 c | 291404 | 77656 515861 1516485 | 2147483647 286382 267 | 35.766 % |
1548.72/1549.53 c | 291901 | 77656 515861 1516485 | 2147483647 286879 268 | 35.766 % |
1553.93/1554.71 c | 292443 | 77656 515861 1516485 | 2147483647 287421 268 | 35.766 % |
1558.02/1558.86 c | 293041 | 77656 515861 1516485 | 2147483647 288019 268 | 35.766 % |
1563.51/1564.31 c | 293698 | 77654 515861 1516485 | 2147483647 288675 268 | 35.767 % |
1568.61/1569.40 c | 294424 | 77654 515861 1516485 | 2147483647 289401 269 | 35.767 % |
1574.70/1575.56 c | 295218 | 77654 515861 1516485 | 2147483647 290195 268 | 35.767 % |
1580.40/1581.26 c | 296093 | 77654 515861 1516485 | 2147483647 291070 269 | 35.767 % |
1586.80/1587.65 c | 297053 | 77654 515861 1516485 | 2147483647 292030 269 | 35.767 % |
1595.60/1596.42 c | 298106 | 77654 515861 1516485 | 2147483647 293083 269 | 35.767 % |
1605.39/1606.25 c | 299264 | 77654 515861 1516485 | 2147483647 294240 270 | 35.777 % |
1614.38/1615.28 c | 300541 | 77654 515861 1516485 | 2147483647 295516 270 | 35.786 % |
1624.59/1625.44 c | 301941 | 77654 515861 1516485 | 2147483647 296915 270 | 35.787 % |
1638.88/1639.77 c | 303481 | 77654 515861 1516485 | 2147483647 298455 271 | 35.787 % |
1652.07/1652.94 c | 305175 | 77654 515861 1516485 | 2147483647 300148 272 | 35.790 % |
1666.86/1667.71 c | 307042 | 77652 515861 1516485 | 2147483647 302011 272 | 35.818 % |
1684.16/1685.02 c | 309091 | 77553 515155 1514592 | 2147483647 304015 272 | 35.819 % |
1704.24/1705.18 c | 311346 | 77553 515155 1514592 | 2147483647 306270 272 | 35.819 % |
1726.14/1727.05 c | 313825 | 77552 515155 1514592 | 2147483647 308746 273 | 35.824 % |
1748.62/1749.56 c | 316551 | 77547 515155 1514592 | 2147483647 311467 273 | 35.828 % |
1775.01/1775.99 c | 319549 | 77547 515155 1514592 | 2147483647 314465 273 | 35.828 % |
1775.81/1776.76 c | 319649 | 77547 515155 1514592 | 2147483647 314565 273 | 35.828 % |
1776.91/1777.84 c | 319759 | 77547 515155 1514592 | 2147483647 314675 273 | 35.828 % |
1778.12/1779.01 c | 319882 | 77547 515155 1514592 | 2147483647 314798 273 | 35.828 % |
1779.21/1780.12 c | 320018 | 77546 515155 1514592 | 2147483647 314933 273 | 35.838 % |
1780.41/1781.38 c | 320164 | 77546 515155 1514592 | 2147483647 315079 273 | 35.838 % |
1782.22/1783.16 c | 320326 | 77546 515155 1514592 | 2147483647 315241 273 | 35.838 % |
1784.11/1785.02 c | 320506 | 77543 515155 1514592 | 2147483647 315420 273 | 35.890 % |
1786.01/1786.94 c | 320701 | 77543 515155 1514592 | 2147483647 315614 273 | 35.900 % |
1787.71/1788.61 c | 320914 | 77543 515155 1514592 | 2147483647 315827 273 | 35.900 % |
1790.31/1791.21 c | 321152 | 77543 515155 1514592 | 2147483647 316065 273 | 35.900 % |
1791.90/1792.85 c | 321409 | 77540 515155 1514592 | 2147483647 316318 273 | 35.923 % |
1794.40/1795.39 c | 321692 | 77540 515155 1514592 | 2147483647 316601 273 | 35.923 % |
1797.50/1798.49 c | 322009 | 77540 515155 1514592 | 2147483647 316918 273 | 35.923 % |
1799.80/1800.70 c | 322349 | 77540 515155 1514592 | 2147483647 317258 274 | 35.923 % |
1804.10/1805.05 c | 322722 | 77540 515155 1514592 | 2147483647 317631 274 | 35.923 % |
1808.20/1809.18 c | 323132 | 77540 515155 1514592 | 2147483647 318041 274 | 35.923 % |
1811.40/1812.30 c | 323581 | 77537 515155 1514592 | 2147483647 318489 274 | 35.933 % |
1816.80/1817.75 c | 324078 | 77537 515155 1514592 | 2147483647 318985 274 | 35.935 % |
1821.30/1822.25 c | 324624 | 77537 515155 1514592 | 2147483647 319530 274 | 35.953 % |
1827.29/1828.23 c | 325226 | 77537 515155 1514592 | 2147483647 320131 274 | 35.960 % |
1833.58/1834.58 c | 325885 | 77382 513764 1510903 | 2147483647 320699 274 | 35.960 % |
1840.18/1841.17 c | 326605 | 77382 513764 1510903 | 2147483647 321419 274 | 35.960 % |
1845.78/1846.80 c | 327402 | 77381 513764 1510903 | 2147483647 322215 274 | 35.970 % |
1853.28/1854.21 c | 328273 | 77381 513764 1510903 | 2147483647 323085 274 | 35.980 % |
1861.38/1862.36 c | 329233 | 77378 513764 1510903 | 2147483647 324042 274 | 35.982 % |
1870.37/1871.30 c | 330294 | 77378 513764 1510903 | 2147483647 325103 273 | 35.982 % |
1879.46/1880.44 c | 331453 | 77377 513764 1510903 | 2147483647 326261 274 | 35.983 % |
1888.66/1889.67 c | 332726 | 77377 513764 1510903 | 2147483647 327534 274 | 35.983 % |
1900.76/1901.75 c | 334129 | 77376 513764 1510903 | 2147483647 328936 274 | 35.984 % |
1918.44/1919.45 c | 335669 | 77376 513764 1510903 | 2147483647 330476 275 | 35.984 % |
1934.54/1935.50 c | 337364 | 77376 513764 1510903 | 2147483647 332171 274 | 35.984 % |
1951.73/1952.74 c | 339229 | 77374 513764 1510903 | 2147483647 334033 274 | 36.002 % |
1967.22/1968.21 c | 341280 | 77370 513764 1510903 | 2147483647 336080 274 | 36.035 % |
1981.52/1982.57 c | 343533 | 77370 513764 1510903 | 2147483647 338332 274 | 36.036 % |
2005.01/2006.09 c | 346013 | 77288 512914 1508608 | 2147483647 340769 274 | 36.054 % |
2032.60/2033.68 c | 348739 | 77281 512914 1508608 | 2147483647 343487 274 | 36.075 % |
2060.99/2062.09 c | 351736 | 77281 512914 1508608 | 2147483647 346484 275 | 36.075 % |
2096.27/2097.38 c | 355033 | 77281 512914 1508608 | 2147483647 349781 275 | 36.075 % |
2097.07/2098.19 c | 355135 | 77281 512914 1508608 | 2147483647 349883 275 | 36.075 % |
2098.17/2099.20 c | 355245 | 77281 512914 1508608 | 2147483647 349993 275 | 36.075 % |
2099.07/2100.20 c | 355371 | 77281 512914 1508608 | 2147483647 350119 275 | 36.075 % |
2100.77/2101.85 c | 355505 | 77281 512914 1508608 | 2147483647 350253 275 | 36.075 % |
2102.37/2103.48 c | 355652 | 77281 512914 1508608 | 2147483647 350400 275 | 36.075 % |
2103.97/2105.01 c | 355812 | 77281 512914 1508608 | 2147483647 350560 275 | 36.075 % |
2105.67/2106.72 c | 355988 | 77281 512914 1508608 | 2147483647 350736 275 | 36.075 % |
2108.17/2109.20 c | 356182 | 77281 512914 1508608 | 2147483647 350930 275 | 36.075 % |
2110.87/2111.94 c | 356403 | 77281 512914 1508608 | 2147483647 351151 275 | 36.075 % |
2112.97/2114.07 c | 356636 | 77277 512914 1508608 | 2147483647 351379 275 | 36.096 % |
2115.37/2116.47 c | 356896 | 77276 512914 1508608 | 2147483647 351638 275 | 36.534 % |
2117.66/2118.70 c | 357178 | 77276 512914 1508608 | 2147483647 351920 275 | 36.534 % |
2120.76/2121.87 c | 357487 | 77276 512914 1508608 | 2147483647 352229 275 | 36.534 % |
2124.07/2125.10 c | 357827 | 77276 512914 1508608 | 2147483647 352569 275 | 36.534 % |
2127.16/2128.22 c | 358201 | 77276 512914 1508608 | 2147483647 352943 275 | 36.534 % |
2130.96/2132.08 c | 358612 | 77276 512914 1508608 | 2147483647 353354 275 | 36.534 % |
2134.26/2135.39 c | 359062 | 77276 512914 1508608 | 2147483647 353803 276 | 36.538 % |
2138.65/2139.72 c | 359557 | 77275 512914 1508608 | 2147483647 354297 276 | 36.544 % |
2142.75/2143.86 c | 360103 | 77275 512914 1508608 | 2147483647 354843 276 | 36.544 % |
2147.55/2148.67 c | 360699 | 77275 512914 1508608 | 2147483647 355439 276 | 36.544 % |
2153.25/2154.33 c | 361358 | 77275 512914 1508608 | 2147483647 356098 276 | 36.544 % |
2161.94/2163.05 c | 362083 | 76676 504456 1483998 | 2147483647 314143 266 | 36.544 % |
2169.14/2170.23 c | 362875 | 76676 504456 1483998 | 2147483647 314935 266 | 36.544 % |
2176.54/2177.66 c | 363746 | 76676 504456 1483998 | 2147483647 315806 266 | 36.544 % |
2184.73/2185.81 c | 364704 | 76676 504456 1483998 | 2147483647 316764 267 | 36.544 % |
2193.23/2194.40 c | 365757 | 76675 504456 1483998 | 2147483647 317815 267 | 36.561 % |
2203.63/2204.78 c | 366918 | 76675 504456 1483998 | 2147483647 318975 267 | 36.563 % |
2210.72/2211.86 c | 368191 | 76675 504456 1483998 | 2147483647 320248 268 | 36.563 % |
2222.62/2223.80 c | 369593 | 76674 504456 1483998 | 2147483647 321647 268 | 36.654 % |
2234.91/2236.00 c | 371133 | 76674 504456 1483998 | 2147483647 323185 269 | 36.660 % |
2247.90/2249.00 c | 372827 | 76674 504456 1483998 | 2147483647 324879 269 | 36.660 % |
2263.60/2264.79 c | 374690 | 76674 504456 1483998 | 2147483647 326741 269 | 36.661 % |
2282.89/2284.06 c | 376739 | 76672 504456 1483998 | 2147483647 328787 269 | 36.670 % |
2301.78/2302.98 c | 378996 | 76672 504456 1483998 | 2147483647 331044 269 | 36.670 % |
2324.07/2325.25 c | 381476 | 76672 504456 1483998 | 2147483647 333524 269 | 36.670 % |
2346.76/2347.90 c | 384202 | 76524 503715 1482297 | 2147483647 336212 270 | 36.670 % |
2372.55/2373.73 c | 387199 | 76523 503715 1482297 | 2147483647 339206 270 | 36.697 % |
2402.04/2403.28 c | 390497 | 76521 503715 1482297 | 2147483647 342502 270 | 36.699 % |
2437.52/2438.75 c | 394122 | 76519 503715 1482297 | 2147483647 346125 270 | 36.712 % |
2438.62/2439.86 c | 394222 | 76519 503715 1482297 | 2147483647 346225 270 | 36.712 % |
2439.72/2440.93 c | 394333 | 76519 503715 1482297 | 2147483647 346336 270 | 36.712 % |
2440.82/2442.07 c | 394454 | 76519 503715 1482297 | 2147483647 346457 270 | 36.712 % |
2442.11/2443.30 c | 394594 | 76519 503715 1482297 | 2147483647 346597 270 | 36.712 % |
2443.11/2444.35 c | 394741 | 76519 503715 1482297 | 2147483647 346744 270 | 36.712 % |
2444.41/2445.66 c | 394905 | 76519 503715 1482297 | 2147483647 346907 270 | 36.727 % |
2445.71/2446.92 c | 395081 | 76519 503715 1482297 | 2147483647 347083 271 | 36.727 % |
2448.01/2449.21 c | 395274 | 76519 503715 1482297 | 2147483647 347276 271 | 36.727 % |
2450.21/2451.44 c | 395488 | 76519 503715 1482297 | 2147483647 347490 271 | 36.727 % |
2451.81/2453.04 c | 395721 | 76519 503715 1482297 | 2147483647 347723 271 | 36.727 % |
2454.01/2455.21 c | 395977 | 76519 503715 1482297 | 2147483647 347979 271 | 36.727 % |
2456.81/2458.02 c | 396263 | 76519 503715 1482297 | 2147483647 348265 271 | 36.727 % |
2459.40/2460.68 c | 396572 | 76519 503715 1482297 | 2147483647 348574 271 | 36.727 % |
2462.90/2464.18 c | 396913 | 76519 503715 1482297 | 2147483647 348915 271 | 36.727 % |
2466.50/2467.74 c | 397287 | 76519 503715 1482297 | 2147483647 349288 271 | 36.738 % |
2470.20/2471.49 c | 397698 | 76519 503715 1482297 | 2147483647 349699 271 | 36.738 % |
2475.10/2476.36 c | 398149 | 76519 503715 1482297 | 2147483647 350150 271 | 36.738 % |
2480.09/2481.30 c | 398642 | 76519 503715 1482297 | 2147483647 350643 271 | 36.738 % |
2484.89/2486.18 c | 399186 | 76519 503715 1482297 | 2147483647 351187 271 | 36.738 % |
2489.59/2490.85 c | 399782 | 76518 503715 1482297 | 2147483647 351782 271 | 36.745 % |
2495.59/2496.82 c | 400437 | 76518 503715 1482297 | 2147483647 352437 271 | 36.745 % |
2504.18/2505.49 c | 401157 | 76434 503061 1480639 | 2147483647 353079 271 | 36.755 % |
2512.18/2513.49 c | 401949 | 76433 503061 1480639 | 2147483647 353870 271 | 36.755 % |
2521.77/2523.09 c | 402822 | 76433 503061 1480639 | 2147483647 354743 271 | 36.755 % |
2528.17/2529.45 c | 403782 | 76433 503061 1480639 | 2147483647 355702 271 | 36.756 % |
2538.37/2539.67 c | 404837 | 76433 503061 1480639 | 2147483647 356757 271 | 36.756 % |
2548.76/2550.05 c | 405995 | 76433 503061 1480639 | 2147483647 357915 272 | 36.756 % |
2561.55/2562.86 c | 407271 | 76430 503061 1480639 | 2147483647 359188 272 | 36.759 % |
2575.05/2576.36 c | 408673 | 76430 503061 1480639 | 2147483647 360589 272 | 36.774 % |
2590.44/2591.74 c | 410213 | 76430 503061 1480639 | 2147483647 362129 273 | 36.774 % |
2605.93/2607.28 c | 411914 | 76430 503061 1480639 | 2147483647 363828 273 | 36.793 % |
2624.03/2625.36 c | 413779 | 76430 503061 1480639 | 2147483647 365693 273 | 36.793 % |
2642.42/2643.76 c | 415831 | 76430 503061 1480639 | 2147483647 367745 273 | 36.793 % |
2666.01/2667.32 c | 418086 | 76430 503061 1480639 | 2147483647 370000 273 | 36.793 % |
2693.40/2694.73 c | 420567 | 76430 503061 1480639 | 2147483647 372481 272 | 36.793 % |
2723.69/2725.05 c | 423294 | 76375 502680 1479604 | 2147483647 375192 272 | 36.793 % |
2752.57/2753.91 c | 426292 | 76373 502680 1479604 | 2147483647 378189 271 | 38.166 % |
2780.56/2781.92 c | 429589 | 76373 502680 1479604 | 2147483647 381486 272 | 38.166 % |
2811.44/2812.81 c | 433214 | 76370 502680 1479604 | 2147483647 385108 272 | 38.168 % |
2847.93/2849.34 c | 437202 | 76368 502680 1479604 | 2147483647 389094 272 | 38.188 % |
2848.83/2850.23 c | 437308 | 76368 502680 1479604 | 2147483647 389200 272 | 38.188 % |
2849.33/2850.80 c | 437418 | 76368 502680 1479604 | 2147483647 389310 272 | 38.188 % |
2850.12/2851.51 c | 437539 | 76368 502680 1479604 | 2147483647 389431 272 | 38.188 % |
2851.22/2852.64 c | 437672 | 76368 502680 1479604 | 2147483647 389564 272 | 38.188 % |
2852.62/2854.08 c | 437818 | 76368 502680 1479604 | 2147483647 389710 272 | 38.188 % |
2854.63/2856.07 c | 437978 | 76368 502680 1479604 | 2147483647 389870 272 | 38.188 % |
2856.34/2857.71 c | 438157 | 76368 502680 1479604 | 2147483647 390049 272 | 38.188 % |
2858.13/2859.57 c | 438352 | 76368 502680 1479604 | 2147483647 390244 272 | 38.188 % |
2859.93/2861.34 c | 438566 | 76368 502680 1479604 | 2147483647 390458 272 | 38.188 % |
2862.42/2863.87 c | 438799 | 76368 502680 1479604 | 2147483647 390691 272 | 38.188 % |
2865.82/2867.23 c | 439056 | 76368 502680 1479604 | 2147483647 390948 272 | 38.188 % |
2868.62/2870.09 c | 439339 | 76368 502680 1479604 | 2147483647 391231 272 | 38.188 % |
2871.82/2873.26 c | 439648 | 76368 502680 1479604 | 2147483647 391539 273 | 38.189 % |
2875.11/2876.55 c | 439988 | 76368 502680 1479604 | 2147483647 391879 273 | 38.189 % |
2879.41/2880.80 c | 440365 | 76368 502680 1479604 | 2147483647 392256 273 | 38.189 % |
2883.11/2884.50 c | 440774 | 76368 502680 1479604 | 2147483647 392665 273 | 38.189 % |
2888.81/2890.20 c | 441223 | 76368 502680 1479604 | 2147483647 393114 273 | 38.189 % |
2895.01/2896.45 c | 441718 | 76368 502680 1479604 | 2147483647 393609 273 | 38.189 % |
2903.51/2904.93 c | 442264 | 74688 469790 1386918 | 2147483647 318993 260 | 38.213 % |
2908.10/2909.52 c | 442862 | 74687 469790 1386918 | 2147483647 319590 260 | 38.214 % |
2913.00/2914.44 c | 443519 | 74686 469790 1386918 | 2147483647 320246 261 | 38.224 % |
2919.29/2920.76 c | 444241 | 74686 469790 1386918 | 2147483647 320968 261 | 38.224 % |
2926.09/2927.56 c | 445036 | 74686 469790 1386918 | 2147483647 321763 261 | 38.224 % |
2933.09/2934.55 c | 445911 | 74685 469790 1386918 | 2147483647 322637 261 | 38.229 % |
2939.99/2941.48 c | 446869 | 74685 469790 1386918 | 2147483647 323595 261 | 38.229 % |
2949.59/2951.04 c | 447922 | 74684 469790 1386918 | 2147483647 324647 261 | 38.230 % |
2960.48/2961.97 c | 449083 | 74684 469790 1386918 | 2147483647 325807 262 | 38.240 % |
2969.28/2970.78 c | 450356 | 74684 469790 1386918 | 2147483647 327080 263 | 38.240 % |
2983.67/2985.10 c | 451765 | 74684 469790 1386918 | 2147483647 328489 263 | 38.240 % |
2995.97/2997.44 c | 453306 | 74684 469790 1386918 | 2147483647 330029 263 | 38.242 % |
3008.46/3009.96 c | 455001 | 74682 469790 1386918 | 2147483647 331722 264 | 38.243 % |
3022.75/3024.29 c | 456867 | 74681 469790 1386918 | 2147483647 333586 265 | 38.253 % |
3041.24/3042.73 c | 458917 | 74681 469790 1386918 | 2147483647 335635 265 | 38.254 % |
3060.22/3061.73 c | 461170 | 74593 469074 1384934 | 2147483647 337754 266 | 38.334 % |
3081.92/3083.48 c | 463658 | 74592 469074 1384934 | 2147483647 340241 267 | 38.334 % |
3104.81/3106.32 c | 466384 | 74592 469074 1384934 | 2147483647 342964 267 | 38.347 % |
3131.79/3133.33 c | 469383 | 74591 469074 1384934 | 2147483647 345961 268 | 38.358 % |
3160.18/3161.72 c | 472679 | 74591 469074 1384934 | 2147483647 349256 269 | 38.360 % |
3192.17/3193.74 c | 476304 | 74590 469074 1384934 | 2147483647 352879 270 | 38.367 % |
3227.35/3229.00 c | 480291 | 74588 469074 1384934 | 2147483647 356863 271 | 38.369 % |
3266.34/3267.99 c | 484676 | 74471 468068 1382127 | 2147483647 361163 272 | 38.381 % |
3266.94/3268.51 c | 484778 | 74471 468068 1382127 | 2147483647 361265 272 | 38.381 % |
3268.13/3269.77 c | 484888 | 74470 468068 1382127 | 2147483647 361374 272 | 38.392 % |
3269.63/3271.20 c | 485010 | 74470 468068 1382127 | 2147483647 361496 273 | 38.392 % |
3270.94/3272.55 c | 485146 | 74470 468068 1382127 | 2147483647 361632 273 | 38.392 % |
3272.63/3274.23 c | 485294 | 74470 468068 1382127 | 2147483647 361780 273 | 38.392 % |
3274.14/3275.79 c | 485457 | 74470 468068 1382127 | 2147483647 361943 273 | 38.392 % |
3275.73/3277.39 c | 485633 | 74470 468068 1382127 | 2147483647 362119 273 | 38.392 % |
3277.33/3278.90 c | 485830 | 74470 468068 1382127 | 2147483647 362316 273 | 38.392 % |
3279.23/3280.82 c | 486044 | 74470 468068 1382127 | 2147483647 362530 273 | 38.392 % |
3281.53/3283.13 c | 486279 | 74470 468068 1382127 | 2147483647 362765 273 | 38.392 % |
3283.63/3285.21 c | 486537 | 74470 468068 1382127 | 2147483647 363023 273 | 38.392 % |
3285.83/3287.40 c | 486819 | 74470 468068 1382127 | 2147483647 363305 273 | 38.392 % |
3288.03/3289.60 c | 487130 | 74470 468068 1382127 | 2147483647 363616 273 | 38.392 % |
3291.53/3293.14 c | 487469 | 74470 468068 1382127 | 2147483647 363954 273 | 38.401 % |
3295.03/3296.60 c | 487848 | 74470 468068 1382127 | 2147483647 364333 273 | 38.401 % |
3299.72/3301.36 c | 488259 | 74470 468068 1382127 | 2147483647 364743 273 | 38.403 % |
3303.72/3305.35 c | 488708 | 74470 468068 1382127 | 2147483647 365192 273 | 38.403 % |
3308.12/3309.77 c | 489203 | 74470 468068 1382127 | 2147483647 365687 273 | 38.403 % |
3313.01/3314.66 c | 489748 | 74470 468068 1382127 | 2147483647 366232 273 | 38.403 % |
3318.91/3320.52 c | 490344 | 74470 468068 1382127 | 2147483647 366828 273 | 38.403 % |
3324.91/3326.56 c | 490999 | 74467 468068 1382127 | 2147483647 367480 273 | 38.416 % |
3331.51/3333.15 c | 491724 | 74467 468068 1382127 | 2147483647 368205 273 | 38.416 % |
3338.51/3340.17 c | 492517 | 74467 468068 1382127 | 2147483647 368998 273 | 38.416 % |
3347.30/3348.93 c | 493389 | 74467 468068 1382127 | 2147483647 369869 273 | 38.426 % |
3357.20/3358.88 c | 494349 | 74467 468068 1382127 | 2147483647 370827 273 | 38.470 % |
3367.29/3368.90 c | 495403 | 74467 468068 1382127 | 2147483647 371881 274 | 38.470 % |
3378.59/3380.24 c | 496561 | 74467 468068 1382127 | 2147483647 373039 274 | 38.470 % |
3390.59/3392.28 c | 497835 | 74467 468068 1382127 | 2147483647 374313 274 | 38.470 % |
3402.88/3404.52 c | 499239 | 74467 468068 1382127 | 2147483647 375717 274 | 38.470 % |
3414.07/3415.76 c | 500780 | 74467 468068 1382127 | 2147483647 377257 274 | 38.477 % |
3428.37/3430.07 c | 502474 | 74465 468068 1382127 | 2147483647 378945 275 | 38.654 % |
3448.16/3449.86 c | 504337 | 74112 465307 1374524 | 2147483647 380674 275 | 38.677 % |
3469.15/3470.88 c | 506386 | 74112 465307 1374524 | 2147483647 382723 275 | 38.677 % |
3488.04/3489.76 c | 508646 | 74112 465307 1374524 | 2147483647 384983 277 | 38.677 % |
3513.34/3515.05 c | 511124 | 74112 465307 1374524 | 2147483647 387459 277 | 38.688 % |
3536.13/3537.88 c | 513849 | 74112 465307 1374524 | 2147483647 390183 278 | 38.689 % |
3562.82/3564.54 c | 516846 | 74112 465307 1374524 | 2147483647 393179 280 | 38.700 % |
3598.39/3600.15 c | 520145 | 74110 465307 1374524 | 2147483647 396475 280 | 38.723 % |
3633.16/3634.92 c | 523775 | 74105 465307 1374524 | 2147483647 400101 280 | 39.519 % |
3666.95/3668.80 c | 527762 | 74105 465307 1374524 | 2147483647 404087 280 | 39.520 % |
3709.73/3711.50 c | 532148 | 73081 446462 1321570 | 2147483647 370367 276 | 39.520 % |
3760.01/3761.86 c | 536976 | 73081 446462 1321570 | 2147483647 375195 276 | 39.520 % |
3760.61/3762.41 c | 537077 | 73081 446462 1321570 | 2147483647 375296 276 | 39.520 % |
3762.50/3764.35 c | 537187 | 73081 446462 1321570 | 2147483647 375406 276 | 39.520 % |
3763.80/3765.60 c | 537311 | 73081 446462 1321570 | 2147483647 375530 276 | 39.520 % |
3765.00/3766.85 c | 537455 | 73081 446462 1321570 | 2147483647 375674 276 | 39.520 % |
3766.60/3768.50 c | 537604 | 73081 446462 1321570 | 2147483647 375823 276 | 39.520 % |
3767.80/3769.61 c | 537764 | 73081 446462 1321570 | 2147483647 375983 276 | 39.520 % |
3769.60/3771.46 c | 537940 | 73080 446462 1321570 | 2147483647 376158 276 | 39.520 % |
3771.60/3773.45 c | 538133 | 73080 446462 1321570 | 2147483647 376351 276 | 39.520 % |
3773.80/3775.61 c | 538348 | 73080 446462 1321570 | 2147483647 376566 276 | 39.520 % |
3776.20/3778.10 c | 538581 | 73080 446462 1321570 | 2147483647 376799 276 | 39.520 % |
3779.30/3781.12 c | 538838 | 73080 446462 1321570 | 2147483647 377056 276 | 39.520 % |
3782.60/3784.47 c | 539125 | 73080 446462 1321570 | 2147483647 377343 276 | 39.520 % |
3786.09/3787.92 c | 539434 | 73080 446462 1321570 | 2147483647 377652 276 | 39.520 % |
3789.00/3790.87 c | 539776 | 73080 446462 1321570 | 2147483647 377994 276 | 39.520 % |
3793.10/3794.99 c | 540149 | 73080 446462 1321570 | 2147483647 378367 276 | 39.520 % |
3796.79/3798.66 c | 540560 | 73080 446462 1321570 | 2147483647 378778 276 | 39.520 % |
3801.39/3803.24 c | 541010 | 73080 446462 1321570 | 2147483647 379228 276 | 39.520 % |
3806.09/3807.98 c | 541503 | 73080 446462 1321570 | 2147483647 379721 276 | 39.520 % |
3811.38/3813.21 c | 542047 | 73080 446462 1321570 | 2147483647 380265 276 | 39.520 % |
3816.19/3818.01 c | 542644 | 73080 446462 1321570 | 2147483647 380862 276 | 39.520 % |
3821.98/3823.87 c | 543303 | 73080 446462 1321570 | 2147483647 381521 276 | 39.520 % |
3829.78/3831.63 c | 544034 | 73080 446462 1321570 | 2147483647 382251 277 | 39.524 % |
3837.68/3839.54 c | 544828 | 73080 446462 1321570 | 2147483647 383045 277 | 39.524 % |
3848.08/3849.95 c | 545705 | 73079 446462 1321570 | 2147483647 383921 277 | 39.529 % |
3858.57/3860.47 c | 546663 | 73079 446462 1321570 | 2147483647 384879 277 | 39.529 % |
3869.36/3871.23 c | 547720 | 73079 446462 1321570 | 2147483647 385936 277 | 39.529 % |
3880.86/3882.79 c | 548878 | 73079 446462 1321570 | 2147483647 387094 276 | 39.529 % |
3895.36/3897.30 c | 550152 | 73079 446462 1321570 | 2147483647 388368 276 | 39.529 % |
3911.05/3912.92 c | 551552 | 73070 446376 1321350 | 2147483647 389707 276 | 39.529 % |
3925.24/3927.19 c | 553094 | 73070 446376 1321350 | 2147483647 391249 276 | 39.529 % |
3932.54/3934.40 c ===============================================================================
3932.54/3934.40 c restarts : 935
3932.54/3934.40 c conflicts : 553657 (141 /sec)
3932.54/3934.40 c decisions : 3149521 (1.32 % random) (803 /sec)
3932.54/3934.40 c propagations : 2476027284 (631250 /sec)
3932.54/3934.40 c conflict literals : 160670787 (44.19 % deleted)
3932.54/3934.40 c Memory used : 504.88 MB
3932.54/3934.40 c CPU time : 3922.42 s
3932.54/3934.40 c
3932.54/3934.40 s UNSATISFIABLE
3932.54/3934.48 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837470-1242871818/watcher-1837470-1242871818 -o /tmp/evaluation-result-1837470-1242871818/solver-1837470-1242871818 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837470-1242871818.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.93 0.99 0.99 3/65 18520
/proc/meminfo: memFree=1773760/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=0
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 315211009 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 251601322066 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/18520/statm: 1339 235 195 169 0 50 0
[pid=18521] ppid=18520 vsize=5356 CPUtime=0
/proc/18521/stat : 18521 (SatELiteGTI) S 18520 18520 18483 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 315211009 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/18521/statm: 1339 238 198 169 0 50 0
[pid=18523] ppid=18521 vsize=192 CPUtime=0
/proc/18523/stat : 18523 (sed) R 18521 18520 18483 0 -1 4194304 42 0 0 0 0 0 0 0 21 0 1 0 315211009 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 251598533909 0 0 4096 0 0 0 0 17 0 0 0
/proc/18523/statm: 48 23 16 11 0 11 0
[startup+0.056819 s]
/proc/loadavg: 0.93 0.99 0.99 3/65 18520
/proc/meminfo: memFree=1773760/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=0
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315211009 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102822 s]
/proc/loadavg: 0.93 0.99 0.99 3/65 18520
/proc/meminfo: memFree=1773760/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=0
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315211009 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302845 s]
/proc/loadavg: 0.93 0.99 0.99 3/65 18520
/proc/meminfo: memFree=1773760/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=0
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315211009 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70189 s]
/proc/loadavg: 0.93 0.99 0.99 3/65 18520
/proc/meminfo: memFree=1773760/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=0
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315211009 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50197 s]
/proc/loadavg: 0.93 0.99 0.99 2/67 18525
/proc/meminfo: memFree=1673776/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=0
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315211009 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 237 197 169 0 50 0
[pid=18525] ppid=18520 vsize=115372 CPUtime=1.48
/proc/18525/stat : 18525 (SatELite_releas) R 18520 18520 18483 0 -1 4194304 26571 0 0 0 134 14 0 0 25 0 1 0 315211010 118140928 26453 1992294400 134512640 135223648 4294956128 18446744073709551615 134548148 0 0 4096 3 0 0 0 17 0 0 0
/proc/18525/statm: 28843 26453 71 173 0 28668 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 120728
[startup+3.10114 s]
/proc/loadavg: 0.93 0.99 0.99 2/67 18525
/proc/meminfo: memFree=1654000/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=0
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315211009 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 237 197 169 0 50 0
[pid=18525] ppid=18520 vsize=136868 CPUtime=3.08
/proc/18525/stat : 18525 (SatELite_releas) R 18520 18520 18483 0 -1 4194304 34137 0 0 0 288 20 0 0 25 0 1 0 315211010 140152832 31168 1992294400 134512640 135223648 4294956128 18446744073709551615 134587028 0 0 4096 3 0 0 0 17 0 0 0
/proc/18525/statm: 34217 31168 76 173 0 34042 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142224
[startup+6.3015 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 18525
/proc/meminfo: memFree=1641080/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=0
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315211009 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 237 197 169 0 50 0
[pid=18525] ppid=18520 vsize=137092 CPUtime=6.28
/proc/18525/stat : 18525 (SatELite_releas) R 18520 18520 18483 0 -1 4194304 36735 0 0 0 605 23 0 0 25 0 1 0 315211010 140382208 31317 1992294400 134512640 135223648 4294956128 18446744073709551615 134594089 0 0 4096 3 0 0 0 17 0 0 0
/proc/18525/statm: 34273 31317 76 173 0 34098 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 142448
[startup+12.7012 s]
/proc/loadavg: 1.09 1.02 1.01 2/67 18526
/proc/meminfo: memFree=1703808/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=46520 CPUtime=3.93
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 10963 0 0 0 387 6 0 0 25 0 1 0 315211886 47636480 10918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 11630 10918 77 171 0 11457 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51876
[startup+25.5026 s]
/proc/loadavg: 1.29 1.07 1.02 2/67 18526
/proc/meminfo: memFree=1704008/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=46680 CPUtime=16.72
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 11015 0 0 0 1666 6 0 0 25 0 1 0 315211886 47800320 10970 1992294400 134512640 135215339 4294956240 18446744073709551615 134529426 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 11670 10970 77 171 0 11497 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 52036
[startup+51.1025 s]
/proc/loadavg: 1.25 1.08 1.02 2/67 18526
/proc/meminfo: memFree=1700616/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=51120 CPUtime=42.3
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 12129 0 0 0 4222 8 0 0 25 0 1 0 315211886 52346880 12084 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 12780 12084 77 171 0 12607 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 56476
[startup+102.306 s]
/proc/loadavg: 1.11 1.06 1.02 2/67 18526
/proc/meminfo: memFree=1687240/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=64484 CPUtime=93.47
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 15479 0 0 0 9336 11 0 0 25 0 1 0 315211886 66031616 15434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 16121 15434 77 171 0 15948 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 69840
[startup+162.303 s]
/proc/loadavg: 1.04 1.05 1.01 2/67 18526
/proc/meminfo: memFree=1670536/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=81332 CPUtime=153.43
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 19687 0 0 0 15327 16 0 0 25 0 1 0 315211886 83283968 19642 1992294400 134512640 135215339 4294956240 18446744073709551615 134529048 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 20333 19642 77 171 0 20160 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 86688
[startup+222.303 s]
/proc/loadavg: 1.01 1.04 1.01 2/67 18526
/proc/meminfo: memFree=1653832/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=97836 CPUtime=213.4
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 23784 0 0 0 21319 21 0 0 25 0 1 0 315211886 100184064 23739 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 24459 23739 77 171 0 24286 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 103192
[startup+282.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 18526
/proc/meminfo: memFree=1638856/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=112888 CPUtime=273.38
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 27550 0 0 0 27313 25 0 0 25 0 1 0 315211886 115597312 27505 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 28222 27505 77 171 0 28049 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 118244
[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 18526
/proc/meminfo: memFree=1622920/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=128648 CPUtime=333.36
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 31458 0 0 0 33306 30 0 0 25 0 1 0 315211886 131735552 31413 1992294400 134512640 135215339 4294956240 18446744073709551615 134528711 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 32162 31413 77 171 0 31989 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 134004
[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 18526
/proc/meminfo: memFree=1609480/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=141988 CPUtime=393.33
################
# More data... #
################
[startup+3642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1235848/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=512120 CPUtime=3631.8
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 127049 0 0 0 363043 137 0 0 25 0 1 0 315211886 524410880 127004 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 128030 127004 77 171 0 127857 0
Current children cumulated CPU time (s) 3640.55
Current children cumulated vsize (KiB) 517476
[startup+3702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1231304/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516640 CPUtime=3691.78
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128163 0 0 0 369040 138 0 0 25 0 1 0 315211886 529039360 128118 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129160 128118 77 171 0 128987 0
Current children cumulated CPU time (s) 3700.53
Current children cumulated vsize (KiB) 521996
[startup+3762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1231240/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516640 CPUtime=3751.76
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128170 0 0 0 375038 138 0 0 25 0 1 0 315211886 529039360 128125 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129160 128125 77 171 0 128987 0
Current children cumulated CPU time (s) 3760.51
Current children cumulated vsize (KiB) 521996
[startup+3822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1230856/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516804 CPUtime=3811.73
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128229 0 0 0 381035 138 0 0 25 0 1 0 315211886 529207296 128184 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129201 128184 77 171 0 129028 0
Current children cumulated CPU time (s) 3820.48
Current children cumulated vsize (KiB) 522160
[startup+3882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1230792/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516804 CPUtime=3871.71
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128239 0 0 0 387033 138 0 0 25 0 1 0 315211886 529207296 128194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129201 128194 77 171 0 129028 0
Current children cumulated CPU time (s) 3880.46
Current children cumulated vsize (KiB) 522160
Solver just ended. Dumping a history of the last processes samples
[startup+3891.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1230792/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516804 CPUtime=3880.51
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128239 0 0 0 387913 138 0 0 25 0 1 0 315211886 529207296 128194 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129201 128194 77 171 0 129028 0
Current children cumulated CPU time (s) 3889.26
Current children cumulated vsize (KiB) 522160
[startup+3916.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1230728/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516804 CPUtime=3906.09
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128239 0 0 0 390471 138 0 0 25 0 1 0 315211886 529207296 128194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129201 128194 77 171 0 129028 0
Current children cumulated CPU time (s) 3914.84
Current children cumulated vsize (KiB) 522160
[startup+3923.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1230728/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516804 CPUtime=3912.49
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128240 0 0 0 391111 138 0 0 25 0 1 0 315211886 529207296 128195 1992294400 134512640 135215339 4294956240 18446744073709551615 134538068 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129201 128195 77 171 0 129028 0
Current children cumulated CPU time (s) 3921.24
Current children cumulated vsize (KiB) 522160
[startup+3929.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1230728/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516804 CPUtime=3918.89
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128240 0 0 0 391751 138 0 0 25 0 1 0 315211886 529207296 128195 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129201 128195 77 171 0 129028 0
Current children cumulated CPU time (s) 3927.64
Current children cumulated vsize (KiB) 522160
[startup+3932.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1230664/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516996 CPUtime=3922.09
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128272 0 0 0 392071 138 0 0 25 0 1 0 315211886 529403904 128227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129249 128227 77 171 0 129076 0
Current children cumulated CPU time (s) 3930.84
Current children cumulated vsize (KiB) 522352
[startup+3933.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1230664/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516996 CPUtime=3922.89
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128272 0 0 0 392151 138 0 0 25 0 1 0 315211886 529403904 128227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129249 128227 77 171 0 129076 0
Current children cumulated CPU time (s) 3931.64
Current children cumulated vsize (KiB) 522352
[startup+3933.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1230664/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516996 CPUtime=3923.29
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128272 0 0 0 392191 138 0 0 25 0 1 0 315211886 529403904 128227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129249 128227 77 171 0 129076 0
Current children cumulated CPU time (s) 3932.04
Current children cumulated vsize (KiB) 522352
[startup+3934.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1230664/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516996 CPUtime=3923.69
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128272 0 0 0 392231 138 0 0 25 0 1 0 315211886 529403904 128227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129249 128227 77 171 0 129076 0
Current children cumulated CPU time (s) 3932.44
Current children cumulated vsize (KiB) 522352
[startup+3934.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18534
/proc/meminfo: memFree=1230664/2055920 swapFree=4175964/4192956
[pid=18520] ppid=18518 vsize=5356 CPUtime=8.75
/proc/18520/stat : 18520 (SatELiteGTI) S 18518 18520 18483 0 -1 4194304 336 40935 0 0 0 0 841 34 16 0 1 0 315211009 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18520/statm: 1339 239 197 169 0 50 0
[pid=18526] ppid=18520 vsize=516996 CPUtime=3923.79
/proc/18526/stat : 18526 (minisat_static) R 18520 18520 18483 0 -1 4194304 128272 0 0 0 392241 138 0 0 25 0 1 0 315211886 529403904 128227 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18526/statm: 129249 128227 77 171 0 129076 0
Current children cumulated CPU time (s) 3932.54
Current children cumulated vsize (KiB) 522352
Child status: 20
Real time (s): 3934.5
CPU time (s): 3932.65
CPU user time (s): 3930.83
CPU system time (s): 1.81872
CPU usage (%): 99.9529
Max. virtual memory (cumulated for all children) (KiB): 522352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3930.83
system time used= 1.81872
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169704
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= 47
involuntary context switches= 17150
runsolver used 3.9474 second user time and 10.4574 second system time
The end
Begin job on node91 at 2009-05-21 04:10:20
IDJOB=1837470
IDBENCH=71011
IDSOLVER=674
FILE ID=node91/1837470-1242871818
PBS_JOBID= 9328604
Free space on /tmp= 66248 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-5p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837470-1242871818/watcher-1837470-1242871818 -o /tmp/evaluation-result-1837470-1242871818/solver-1837470-1242871818 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837470-1242871818.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 782c70d5631cbc24bc659543ee69ca8b
RANDOM SEED=1328131744
node91.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.241
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.241
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1774240 kB
Buffers: 20352 kB
Cached: 210216 kB
SwapCached: 10288 kB
Active: 60620 kB
Inactive: 181480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1774240 kB
SwapTotal: 4192956 kB
SwapFree: 4175964 kB
Dirty: 24108 kB
Writeback: 0 kB
Mapped: 17124 kB
Slab: 25472 kB
Committed_AS: 953400 kB
PageTables: 1368 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= 66248 MiB
End job on node91 at 2009-05-21 05:15:54