0.00/0.00 c Parsing...
1.18/1.25 c ==============================================================================
1.18/1.25 c | | ORIGINAL | LEARNT | |
1.18/1.25 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.18/1.25 c ==============================================================================
1.18/1.25 c | 0 | 1192205 2895644 | 357661 0 0 nan | 0.000 % |
8.39/8.45 c | 0 | 835606 2338833 | -- 0 -- -- | -- | -102935/18730
8.39/8.45 c ==============================================================================
8.39/8.45 c Result : #vars: 121213 #clauses: 835606 #literals: 2338833
8.39/8.45 c CPU time: 8.18876 s
8.39/8.45 c ==============================================================================
9.28/9.33 c This is MiniSat 2.0 beta
9.28/9.33 c WARNING: for repeatability, setting FPU to use double precision
9.28/9.33 c ============================[ Problem Statistics ]=============================
9.28/9.33 c | |
9.28/9.33 c | Number of variables: 121213 |
9.28/9.33 c | Number of clauses: 835606 |
9.77/9.87 c | Parsing time: 0.48 s |
9.77/9.89 c ============================[ Search Statistics ]==============================
9.77/9.89 c | Conflicts | ORIGINAL | LEARNT | Progress |
9.77/9.89 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.77/9.89 c ===============================================================================
9.77/9.89 c | 0 | 121213 835606 2338833 | 278535 0 nan | 0.000 % |
10.06/10.16 c | 102 | 121183 835606 2338833 | 278535 98 94 | 0.337 % |
10.16/10.27 c | 202 | 121075 835606 2338833 | 278535 196 56 | 1.294 % |
10.46/10.52 c | 302 | 120985 835606 2338833 | 278535 288 41 | 3.299 % |
10.76/10.84 c | 413 | 120882 835606 2338833 | 278535 395 55 | 4.910 % |
10.87/10.98 c | 517 | 120827 835606 2338833 | 278535 497 87 | 6.380 % |
11.06/11.12 c | 627 | 120827 835606 2338833 | 278535 607 82 | 6.380 % |
11.16/11.30 c | 749 | 120696 835606 2338833 | 278535 727 77 | 9.314 % |
11.46/11.50 c | 850 | 109717 753605 2126987 | 278535 800 87 | 10.453 % |
11.46/11.56 c | 960 | 109717 753605 2126987 | 278535 910 80 | 10.453 % |
11.66/11.72 c | 1081 | 109717 753605 2126987 | 278535 1031 83 | 10.453 % |
11.86/11.95 c | 1215 | 109373 753605 2126987 | 278535 1164 81 | 11.335 % |
11.96/12.06 c | 1316 | 109373 753605 2126987 | 278535 1265 84 | 11.335 % |
12.06/12.11 c | 1426 | 109373 753605 2126987 | 278535 1374 89 | 11.346 % |
12.16/12.30 c | 1548 | 109372 753605 2126987 | 278535 1496 88 | 11.346 % |
12.46/12.55 c | 1684 | 109357 753605 2126987 | 278535 1630 88 | 11.380 % |
12.66/12.74 c | 1834 | 109353 753605 2126987 | 278535 1777 86 | 11.402 % |
12.76/12.88 c | 1934 | 109353 753605 2126987 | 278535 1877 86 | 11.402 % |
12.96/13.02 c | 2045 | 107391 734164 2075849 | 278535 1978 85 | 11.412 % |
13.06/13.14 c | 2166 | 107391 734164 2075849 | 278535 2099 83 | 11.412 % |
13.36/13.45 c | 2299 | 107385 734164 2075849 | 278535 2231 81 | 11.422 % |
13.56/13.63 c | 2445 | 107366 734164 2075849 | 278535 2375 79 | 11.457 % |
13.77/13.82 c | 2607 | 107074 734164 2075849 | 278535 2536 77 | 13.018 % |
13.87/13.92 c | 2710 | 107074 734164 2075849 | 278535 2638 77 | 13.027 % |
13.96/14.03 c | 2820 | 107072 734164 2075849 | 278535 2748 77 | 13.027 % |
14.06/14.12 c | 2941 | 107058 734164 2075849 | 278535 2869 76 | 13.027 % |
14.17/14.25 c | 3074 | 107007 734164 2075849 | 278535 3001 73 | 13.170 % |
14.36/14.40 c | 3222 | 105243 717993 2033497 | 278535 3139 72 | 13.254 % |
14.46/14.56 c | 3382 | 105176 717993 2033497 | 278535 3298 71 | 13.548 % |
14.66/14.77 c | 3559 | 105175 717993 2033497 | 278535 3474 72 | 13.549 % |
14.76/14.85 c | 3660 | 105175 717993 2033497 | 278535 3575 72 | 13.549 % |
14.86/14.97 c | 3770 | 105175 717993 2033497 | 278535 3685 73 | 13.549 % |
15.06/15.10 c | 3891 | 105175 717993 2033497 | 278535 3806 73 | 13.549 % |
15.16/15.22 c | 4026 | 105175 717993 2033497 | 278535 3941 73 | 13.549 % |
15.26/15.35 c | 4172 | 105175 717993 2033497 | 278535 4087 75 | 13.549 % |
15.56/15.68 c | 4332 | 105079 717993 2033497 | 278535 4247 75 | 13.549 % |
15.86/15.97 c | 4509 | 104721 714667 2025024 | 278535 4417 74 | 15.252 % |
16.56/16.67 c | 4702 | 104703 714667 2025024 | 278535 4607 73 | 16.672 % |
16.66/16.71 c | 4802 | 104685 714667 2025024 | 278535 4706 72 | 16.745 % |
16.86/16.90 c | 4912 | 104683 714667 2025024 | 278535 4815 72 | 16.754 % |
17.06/17.10 c | 5033 | 104683 714667 2025024 | 278535 4936 72 | 16.754 % |
17.26/17.35 c | 5168 | 100901 686975 1952312 | 278535 5061 71 | 16.757 % |
17.46/17.59 c | 5314 | 100894 686975 1952312 | 278535 5206 71 | 16.767 % |
17.76/17.88 c | 5480 | 100889 686975 1952312 | 278535 5372 71 | 16.767 % |
17.86/17.97 c | 5656 | 100889 686975 1952312 | 278535 5548 72 | 16.767 % |
18.16/18.23 c | 5849 | 100889 686975 1952312 | 278535 5741 72 | 16.767 % |
18.36/18.46 c | 6063 | 100889 686975 1952312 | 278535 5955 72 | 16.767 % |
18.56/18.67 c | 6163 | 100889 686975 1952312 | 278535 6055 72 | 16.767 % |
18.76/18.85 c | 6273 | 100889 686915 1952192 | 278535 6165 72 | 16.767 % |
18.96/19.05 c | 6395 | 100861 686915 1952192 | 278535 6286 71 | 16.803 % |
19.16/19.23 c | 6530 | 100860 686915 1952192 | 278535 6420 71 | 16.817 % |
19.26/19.38 c | 6676 | 100859 686915 1952192 | 278535 6566 70 | 16.817 % |
19.56/19.64 c | 6837 | 100855 686915 1952192 | 278535 6727 71 | 16.817 % |
19.76/19.83 c | 7013 | 100855 686915 1952192 | 278535 6903 72 | 16.817 % |
19.96/20.00 c | 7207 | 100855 686915 1952192 | 278535 7097 74 | 16.817 % |
20.16/20.30 c | 7419 | 100855 686915 1952192 | 278535 7309 74 | 16.817 % |
20.56/20.68 c | 7652 | 100618 686608 1951450 | 278535 7522 73 | 17.858 % |
20.66/20.76 c | 7752 | 100618 686608 1951450 | 278535 7622 73 | 17.858 % |
20.76/20.86 c | 7862 | 100618 686608 1951450 | 278535 7732 73 | 17.858 % |
20.86/20.99 c | 7987 | 100618 686608 1951450 | 278535 7857 74 | 17.858 % |
21.06/21.13 c | 8120 | 100618 686608 1951450 | 278535 7990 74 | 17.858 % |
21.16/21.24 c | 8266 | 100618 686608 1951450 | 278535 8136 74 | 17.858 % |
21.36/21.43 c | 8427 | 100616 686608 1951450 | 278535 8296 74 | 19.075 % |
21.56/21.60 c | 8603 | 100616 686608 1951450 | 278535 8472 74 | 19.075 % |
21.86/21.99 c | 8796 | 100300 686608 1951450 | 278535 8660 73 | 19.706 % |
22.36/22.45 c | 9008 | 96084 651718 1861125 | 278535 8830 73 | 20.731 % |
22.76/22.88 c | 9243 | 96082 651718 1861125 | 278535 9064 72 | 20.741 % |
23.16/23.22 c | 9499 | 96031 651718 1861125 | 278535 9318 72 | 21.146 % |
23.26/23.30 c | 9599 | 96031 651718 1861125 | 278535 9418 73 | 21.146 % |
23.26/23.37 c | 9710 | 96031 651718 1861125 | 278535 9529 72 | 21.146 % |
23.56/23.69 c | 9836 | 96024 651718 1861125 | 278535 9654 72 | 21.152 % |
23.86/23.97 c | 9969 | 96023 651718 1861125 | 278535 9786 73 | 21.154 % |
24.06/24.16 c | 10115 | 95572 649703 1856839 | 2147483647 9914 73 | 21.154 % |
24.25/24.36 c | 10276 | 95572 649703 1856839 | 2147483647 10075 73 | 21.154 % |
24.65/24.79 c | 10452 | 95427 649703 1856839 | 2147483647 10249 73 | 21.629 % |
24.85/24.93 c | 10646 | 95427 649703 1856839 | 2147483647 10443 74 | 21.629 % |
25.16/25.26 c | 10858 | 95397 649703 1856839 | 2147483647 10641 73 | 22.022 % |
25.65/25.73 c | 11091 | 95396 649703 1856839 | 2147483647 10873 73 | 22.033 % |
26.45/26.55 c | 11347 | 94485 642241 1837787 | 2147483647 11044 74 | 22.140 % |
26.65/26.77 c | 11631 | 94481 642241 1837787 | 2147483647 11328 74 | 22.140 % |
26.75/26.83 c | 11731 | 94481 642241 1837787 | 2147483647 11428 74 | 22.140 % |
26.95/27.04 c | 11841 | 94481 642241 1837787 | 2147483647 11538 73 | 22.140 % |
27.15/27.23 c | 11962 | 94372 642241 1837787 | 2147483647 11656 73 | 22.291 % |
27.25/27.37 c | 12101 | 94371 642241 1837787 | 2147483647 11794 73 | 22.296 % |
27.55/27.65 c | 12248 | 92550 627928 1801056 | 2147483647 11925 72 | 23.647 % |
27.85/27.91 c | 12410 | 92550 627928 1801056 | 2147483647 12087 72 | 23.647 % |
28.05/28.13 c | 12586 | 92544 627928 1801056 | 2147483647 12262 72 | 23.714 % |
28.46/28.60 c | 12779 | 92521 627928 1801056 | 2147483647 12454 72 | 23.714 % |
28.76/28.87 c | 12991 | 92521 627928 1801056 | 2147483647 12666 73 | 23.714 % |
29.16/29.29 c | 13224 | 92521 627928 1801056 | 2147483647 12899 72 | 23.714 % |
29.66/29.78 c | 13480 | 92519 627928 1801056 | 2147483647 13154 72 | 23.724 % |
30.06/30.12 c | 13762 | 92437 627412 1799838 | 2147483647 13434 73 | 23.784 % |
30.36/30.44 c | 14072 | 92437 627412 1799838 | 2147483647 13744 72 | 23.784 % |
30.46/30.59 c | 14172 | 92437 627412 1799838 | 2147483647 13844 72 | 23.784 % |
30.66/30.71 c | 14284 | 92437 627412 1799838 | 2147483647 13956 72 | 23.784 % |
30.76/30.82 c | 14405 | 92436 627412 1799838 | 2147483647 14076 72 | 23.785 % |
31.06/31.11 c | 14541 | 92436 627412 1799838 | 2147483647 14212 72 | 23.785 % |
31.16/31.25 c | 14687 | 92435 627412 1799838 | 2147483647 14356 72 | 23.957 % |
31.36/31.41 c | 14849 | 92421 627412 1799838 | 2147483647 14517 72 | 23.968 % |
31.46/31.59 c | 15031 | 92421 627412 1799838 | 2147483647 14699 72 | 23.968 % |
31.96/32.04 c | 15224 | 92144 625255 1794237 | 2147483647 14880 72 | 23.982 % |
32.46/32.56 c | 15436 | 92130 625255 1794237 | 2147483647 15091 72 | 24.077 % |
32.96/33.02 c | 15671 | 92102 625255 1794237 | 2147483647 15324 72 | 24.164 % |
33.26/33.39 c | 15928 | 92102 625255 1794237 | 2147483647 15581 72 | 24.164 % |
33.76/33.80 c | 16209 | 92017 625255 1794237 | 2147483647 15860 72 | 24.440 % |
34.25/34.33 c | 16518 | 91370 619761 1779940 | 2147483647 16144 73 | 24.620 % |
34.85/34.90 c | 16858 | 91351 619761 1779940 | 2147483647 16480 72 | 24.728 % |
34.95/35.04 c | 16961 | 91348 619761 1779940 | 2147483647 16582 72 | 24.739 % |
35.16/35.28 c | 17071 | 91324 619761 1779940 | 2147483647 16690 72 | 24.792 % |
35.35/35.49 c | 17192 | 91315 619761 1779940 | 2147483647 16807 72 | 24.827 % |
35.65/35.71 c | 17326 | 91314 619761 1779940 | 2147483647 16941 72 | 24.827 % |
35.75/35.83 c | 17473 | 91313 619761 1779940 | 2147483647 17088 72 | 24.827 % |
35.95/36.03 c | 17633 | 91313 619761 1779940 | 2147483647 17248 72 | 24.827 % |
36.05/36.15 c | 17809 | 91313 619761 1779940 | 2147483647 17424 71 | 24.827 % |
36.35/36.43 c | 18002 | 91311 619761 1779940 | 2147483647 17616 71 | 24.829 % |
36.55/36.69 c | 18214 | 91117 618256 1776335 | 2147483647 17812 71 | 24.829 % |
37.26/37.40 c | 18448 | 91116 618256 1776335 | 2147483647 18045 72 | 24.831 % |
37.55/37.67 c | 18704 | 91115 618256 1776335 | 2147483647 18300 72 | 24.841 % |
38.15/38.24 c | 18986 | 91114 618256 1776335 | 2147483647 18581 72 | 24.851 % |
38.75/38.81 c | 19298 | 91069 618256 1776335 | 2147483647 18891 72 | 25.020 % |
39.25/39.33 c | 19637 | 90885 616569 1771884 | 2147483647 19227 72 | 25.020 % |
39.85/39.93 c | 20009 | 90885 616569 1771884 | 2147483647 19599 72 | 25.020 % |
39.95/40.09 c | 20109 | 90885 616569 1771884 | 2147483647 19699 72 | 25.020 % |
40.16/40.28 c | 20219 | 90885 616569 1771884 | 2147483647 19809 72 | 25.020 % |
40.26/40.37 c | 20348 | 90885 616569 1771884 | 2147483647 19938 72 | 25.020 % |
40.46/40.56 c | 20481 | 90885 616569 1771884 | 2147483647 20071 72 | 25.020 % |
40.56/40.69 c | 20632 | 90884 616569 1771884 | 2147483647 20221 72 | 25.021 % |
40.96/41.08 c | 20792 | 90884 616569 1771884 | 2147483647 20381 72 | 25.021 % |
41.36/41.47 c | 20968 | 90884 616569 1771884 | 2147483647 20557 73 | 25.021 % |
41.86/41.94 c | 21161 | 90882 616562 1771870 | 2147483647 20748 73 | 25.027 % |
42.16/42.24 c | 21374 | 90882 616562 1771870 | 2147483647 20961 73 | 25.027 % |
42.46/42.53 c | 21607 | 90882 616562 1771870 | 2147483647 21194 74 | 25.027 % |
42.86/42.92 c | 21863 | 90882 616562 1771870 | 2147483647 21449 74 | 25.029 % |
43.36/43.45 c | 22147 | 90882 616562 1771870 | 2147483647 21733 75 | 25.029 % |
44.35/44.45 c | 22456 | 90877 616562 1771870 | 2147483647 22040 75 | 25.061 % |
44.96/45.01 c | 22795 | 90836 616180 1770905 | 2147483647 22373 76 | 25.061 % |
45.55/45.63 c | 23169 | 90836 616180 1770905 | 2147483647 22747 76 | 25.061 % |
45.95/46.09 c | 23580 | 90836 616180 1770905 | 2147483647 23158 76 | 25.061 % |
46.25/46.33 c | 23681 | 90792 616180 1770905 | 2147483647 23258 76 | 25.685 % |
46.35/46.47 c | 23793 | 90755 616180 1770905 | 2147483647 23369 76 | 25.719 % |
46.65/46.73 c | 23916 | 90755 616180 1770905 | 2147483647 23492 76 | 25.719 % |
46.95/47.05 c | 24049 | 90754 616180 1770905 | 2147483647 23624 76 | 26.161 % |
47.16/47.28 c | 24195 | 90754 616180 1770905 | 2147483647 23770 77 | 26.161 % |
47.35/47.45 c | 24355 | 90754 616180 1770905 | 2147483647 23930 77 | 26.161 % |
47.75/47.85 c | 24532 | 89422 605158 1741343 | 2147483647 24103 76 | 26.227 % |
48.05/48.17 c | 24725 | 89422 605158 1741343 | 2147483647 24296 77 | 26.227 % |
48.45/48.52 c | 24937 | 89422 605158 1741343 | 2147483647 24508 76 | 26.227 % |
48.85/48.99 c | 25171 | 89416 605158 1741343 | 2147483647 24739 77 | 26.269 % |
49.15/49.29 c | 25427 | 89347 605158 1741343 | 2147483647 24994 76 | 26.776 % |
50.25/50.38 c | 25708 | 89170 605158 1741343 | 2147483647 25275 77 | 26.776 % |
51.05/51.14 c | 26017 | 89089 605158 1741343 | 2147483647 25582 77 | 26.900 % |
51.65/51.72 c | 26356 | 88606 599623 1727091 | 2147483647 25858 79 | 26.901 % |
52.15/52.28 c | 26728 | 88550 599623 1727091 | 2147483647 26228 78 | 26.983 % |
52.95/53.05 c | 27137 | 88549 599623 1727091 | 2147483647 26636 78 | 26.984 % |
54.34/54.47 c | 27586 | 88549 599623 1727091 | 2147483647 27085 80 | 26.984 % |
54.64/54.71 c | 27686 | 88502 599181 1726099 | 2147483647 27181 80 | 27.001 % |
54.85/54.97 c | 27796 | 88499 599181 1726099 | 2147483647 27291 80 | 27.001 % |
55.04/55.11 c | 27917 | 88499 599181 1726099 | 2147483647 27412 80 | 27.001 % |
55.55/55.62 c | 28050 | 88498 599181 1726099 | 2147483647 27544 80 | 27.002 % |
55.65/55.77 c | 28200 | 88498 599181 1726099 | 2147483647 27694 80 | 27.002 % |
55.85/55.92 c | 28361 | 88498 599181 1726099 | 2147483647 27855 79 | 27.002 % |
56.06/56.12 c | 28542 | 88498 599181 1726099 | 2147483647 28036 80 | 27.002 % |
56.35/56.48 c | 28735 | 88497 599181 1726099 | 2147483647 28228 79 | 27.237 % |
56.75/56.88 c | 28947 | 88494 599181 1726099 | 2147483647 28439 80 | 27.273 % |
57.45/57.52 c | 29180 | 88470 599181 1726099 | 2147483647 28671 80 | 27.339 % |
57.75/57.82 c | 29436 | 88470 599181 1726099 | 2147483647 28927 80 | 27.339 % |
58.75/58.82 c | 29722 | 88073 595790 1717003 | 2147483647 29170 80 | 27.349 % |
59.45/59.57 c | 30032 | 88066 595790 1717003 | 2147483647 29476 80 | 27.370 % |
59.75/59.85 c | 30372 | 88066 595790 1717003 | 2147483647 29816 79 | 27.370 % |
60.35/60.49 c | 30744 | 88066 595790 1717003 | 2147483647 30188 80 | 27.370 % |
61.25/61.34 c | 31154 | 88066 595790 1717003 | 2147483647 30598 80 | 27.370 % |
62.55/62.66 c | 31604 | 88037 595493 1716198 | 2147483647 31043 81 | 27.370 % |
63.55/63.68 c | 32097 | 88036 595493 1716198 | 2147483647 31535 81 | 27.371 % |
63.85/63.96 c | 32203 | 88036 595493 1716198 | 2147483647 31641 81 | 27.371 % |
64.15/64.28 c | 32313 | 88036 595493 1716198 | 2147483647 31751 82 | 27.371 % |
64.65/64.72 c | 32435 | 88036 595493 1716198 | 2147483647 31873 82 | 27.371 % |
64.85/64.97 c | 32568 | 88036 595493 1716198 | 2147483647 32006 82 | 27.371 % |
65.75/65.81 c | 32714 | 87977 595281 1715744 | 2147483647 32123 82 | 27.420 % |
66.25/66.31 c | 32875 | 87977 595281 1715744 | 2147483647 32284 83 | 27.420 % |
66.55/66.67 c | 33053 | 87977 595281 1715744 | 2147483647 32462 82 | 27.420 % |
66.85/66.91 c | 33250 | 87977 595281 1715744 | 2147483647 32659 82 | 27.420 % |
67.45/67.59 c | 33465 | 87977 595281 1715744 | 2147483647 32874 83 | 27.420 % |
68.25/68.38 c | 33700 | 87977 595281 1715744 | 2147483647 33109 84 | 27.420 % |
68.84/68.94 c | 33956 | 87977 595281 1715744 | 2147483647 33365 84 | 27.420 % |
69.54/69.63 c | 34238 | 87977 595281 1715744 | 2147483647 33647 84 | 27.420 % |
70.44/70.56 c | 34547 | 87977 595281 1715744 | 2147483647 33956 85 | 27.420 % |
71.44/71.57 c | 34889 | 87977 595281 1715744 | 2147483647 34298 86 | 27.420 % |
72.44/72.52 c | 35266 | 87937 595150 1715466 | 2147483647 34672 86 | 27.453 % |
73.24/73.35 c | 35676 | 87937 595150 1715466 | 2147483647 35082 86 | 27.453 % |
74.45/74.52 c | 36126 | 87934 595150 1715466 | 2147483647 35530 87 | 27.467 % |
75.75/75.84 c | 36619 | 87878 595150 1715466 | 2147483647 36021 88 | 27.557 % |
76.34/76.49 c | 37163 | 87806 594361 1713775 | 2147483647 36538 88 | 27.567 % |
76.54/76.62 c | 37263 | 87806 594361 1713775 | 2147483647 36638 88 | 27.567 % |
76.64/76.77 c | 37373 | 87806 594361 1713775 | 2147483647 36748 88 | 27.567 % |
77.04/77.12 c | 37494 | 87806 594361 1713775 | 2147483647 36869 89 | 27.567 % |
77.34/77.48 c | 37627 | 87806 594361 1713775 | 2147483647 37001 89 | 27.574 % |
77.64/77.75 c | 37777 | 87806 594361 1713775 | 2147483647 37149 89 | 27.590 % |
77.94/78.09 c | 37937 | 87801 594361 1713775 | 2147483647 37309 89 | 27.590 % |
78.54/78.62 c | 38113 | 87801 594361 1713775 | 2147483647 37485 90 | 27.590 % |
78.84/78.95 c | 38307 | 87799 594361 1713775 | 2147483647 37678 90 | 27.600 % |
79.44/79.56 c | 38521 | 87754 594361 1713775 | 2147483647 37890 90 | 27.655 % |
79.94/80.05 c | 38756 | 87754 594361 1713775 | 2147483647 38124 90 | 27.655 % |
80.54/80.66 c | 39013 | 87753 594361 1713775 | 2147483647 38381 90 | 27.655 % |
81.14/81.28 c | 39296 | 87689 593452 1711460 | 2147483647 38639 90 | 27.666 % |
82.24/82.31 c | 39605 | 87686 593452 1711460 | 2147483647 38947 91 | 27.689 % |
83.14/83.22 c | 39949 | 87684 593452 1711460 | 2147483647 39290 92 | 27.756 % |
83.84/83.96 c | 40326 | 87684 593452 1711460 | 2147483647 39667 92 | 27.756 % |
84.94/85.10 c | 40737 | 87675 593452 1711460 | 2147483647 40076 92 | 27.767 % |
86.34/86.41 c | 41187 | 87673 593452 1711460 | 2147483647 40525 94 | 27.775 % |
87.64/87.78 c | 41680 | 87540 592633 1709555 | 2147483647 40991 96 | 27.787 % |
89.33/89.45 c | 42222 | 87539 592633 1709555 | 2147483647 41532 97 | 27.787 % |
90.84/90.93 c | 42818 | 87524 592633 1709555 | 2147483647 42126 98 | 27.819 % |
91.04/91.16 c | 42918 | 87518 592633 1709555 | 2147483647 42225 98 | 28.004 % |
91.34/91.50 c | 43028 | 87507 592633 1709555 | 2147483647 42332 98 | 28.193 % |
91.64/91.73 c | 43149 | 87039 590476 1704955 | 2147483647 42330 98 | 28.193 % |
92.14/92.24 c | 43283 | 87038 590476 1704955 | 2147483647 42463 98 | 28.201 % |
92.64/92.75 c | 43430 | 87038 590476 1704955 | 2147483647 42610 99 | 28.201 % |
92.84/92.90 c | 43590 | 87038 590476 1704955 | 2147483647 42770 99 | 28.201 % |
93.14/93.26 c | 43766 | 87038 590476 1704955 | 2147483647 42946 99 | 28.201 % |
93.54/93.66 c | 43960 | 87037 590476 1704955 | 2147483647 43139 99 | 28.207 % |
93.84/93.92 c | 44172 | 87037 590476 1704955 | 2147483647 43351 99 | 28.207 % |
94.04/94.17 c | 44407 | 87037 590476 1704955 | 2147483647 43586 99 | 28.207 % |
94.94/95.09 c | 44663 | 87037 590476 1704955 | 2147483647 43842 99 | 28.207 % |
95.54/95.63 c | 44944 | 87037 590476 1704955 | 2147483647 44123 99 | 28.207 % |
96.43/96.50 c | 45253 | 87033 590476 1704955 | 2147483647 44429 100 | 28.236 % |
96.93/97.02 c | 45592 | 87033 590476 1704955 | 2147483647 44768 100 | 28.236 % |
98.23/98.38 c | 45964 | 86985 590013 1703740 | 2147483647 45112 100 | 28.244 % |
99.54/99.63 c | 46374 | 86984 590013 1703740 | 2147483647 45521 101 | 28.254 % |
101.23/101.30 c | 46823 | 86934 590013 1703740 | 2147483647 45969 102 | 28.372 % |
102.84/102.93 c | 47317 | 86934 590013 1703740 | 2147483647 46463 103 | 28.372 % |
104.24/104.39 c | 47863 | 86934 590013 1703740 | 2147483647 47009 104 | 28.372 % |
106.33/106.40 c | 48460 | 86814 588974 1701174 | 2147483647 47566 105 | 28.508 % |
107.93/108.05 c | 49115 | 86777 588974 1701174 | 2147483647 48217 105 | 28.603 % |
108.13/108.24 c | 49220 | 86777 588974 1701174 | 2147483647 48322 105 | 28.603 % |
108.53/108.60 c | 49330 | 86777 588974 1701174 | 2147483647 48432 106 | 28.603 % |
109.13/109.20 c | 49452 | 86774 588974 1701174 | 2147483647 48552 106 | 28.622 % |
109.23/109.35 c | 49586 | 86774 588974 1701174 | 2147483647 48686 106 | 28.622 % |
109.94/110.05 c | 49732 | 86774 588974 1701174 | 2147483647 48832 106 | 28.622 % |
110.23/110.35 c | 49892 | 86774 588974 1701174 | 2147483647 48992 106 | 28.622 % |
111.13/111.26 c | 50074 | 86773 588974 1701174 | 2147483647 49173 106 | 28.872 % |
111.83/111.91 c | 50267 | 86216 583825 1687431 | 2147483647 49220 107 | 28.872 % |
112.53/112.60 c | 50480 | 86198 583825 1687431 | 2147483647 49427 107 | 28.980 % |
113.24/113.31 c | 50713 | 86198 583825 1687431 | 2147483647 49660 107 | 28.980 % |
113.63/113.74 c | 50969 | 86198 583825 1687431 | 2147483647 49916 108 | 28.980 % |
114.33/114.42 c | 51250 | 86198 583825 1687431 | 2147483647 50197 108 | 28.980 % |
115.43/115.52 c | 51560 | 86198 583825 1687431 | 2147483647 50507 109 | 28.980 % |
116.63/116.78 c | 51901 | 86198 583825 1687431 | 2147483647 50848 110 | 28.980 % |
117.33/117.45 c | 52273 | 86198 583825 1687431 | 2147483647 51220 110 | 28.980 % |
118.64/118.71 c | 52682 | 86198 583825 1687431 | 2147483647 51629 111 | 28.980 % |
120.33/120.47 c | 53131 | 86077 582772 1684572 | 2147483647 52068 112 | 29.385 % |
121.73/121.87 c | 53625 | 86077 582772 1684572 | 2147483647 52561 113 | 29.386 % |
123.53/123.67 c | 54169 | 86077 582772 1684572 | 2147483647 53105 114 | 29.386 % |
124.83/124.98 c | 54765 | 85939 582772 1684572 | 2147483647 53697 114 | 29.608 % |
127.63/127.79 c | 55422 | 85319 573592 1659910 | 2147483647 53155 117 | 29.637 % |
129.43/129.58 c | 56143 | 85317 573592 1659910 | 2147483647 53875 118 | 29.649 % |
129.83/129.98 c | 56245 | 85238 573592 1659910 | 2147483647 53970 118 | 29.734 % |
130.63/130.74 c | 56355 | 85238 573592 1659910 | 2147483647 54080 119 | 29.734 % |
130.93/131.07 c | 56479 | 85238 573592 1659910 | 2147483647 54204 119 | 29.734 % |
131.33/131.44 c | 56613 | 85238 573592 1659910 | 2147483647 54338 119 | 29.734 % |
131.93/132.02 c | 56759 | 85238 573592 1659910 | 2147483647 54483 120 | 29.736 % |
132.42/132.59 c | 56921 | 85238 573592 1659910 | 2147483647 54645 120 | 29.736 % |
133.03/133.17 c | 57097 | 85238 573592 1659910 | 2147483647 54821 120 | 29.736 % |
134.03/134.16 c | 57292 | 85236 573592 1659910 | 2147483647 55012 121 | 30.008 % |
134.93/135.06 c | 57505 | 85236 573592 1659910 | 2147483647 55225 121 | 30.008 % |
135.93/136.09 c | 57739 | 84838 566012 1638968 | 2147483647 55416 121 | 30.009 % |
136.73/136.87 c | 57997 | 84838 566012 1638968 | 2147483647 55674 122 | 30.009 % |
137.73/137.82 c | 58278 | 84837 566012 1638968 | 2147483647 55954 122 | 30.061 % |
139.03/139.16 c | 58587 | 84836 566012 1638968 | 2147483647 56262 123 | 30.071 % |
139.83/139.97 c | 58928 | 84836 566012 1638968 | 2147483647 56603 123 | 30.071 % |
140.63/140.72 c | 59300 | 84836 566012 1638968 | 2147483647 56975 123 | 30.071 % |
141.32/141.43 c | 59709 | 84836 566012 1638968 | 2147483647 57384 123 | 30.071 % |
142.52/142.61 c | 60159 | 84836 566012 1638968 | 2147483647 57834 124 | 30.071 % |
144.02/144.17 c | 60653 | 84831 566012 1638968 | 2147483647 58325 124 | 30.077 % |
145.82/145.99 c | 61195 | 84755 565483 1637662 | 2147483647 58783 126 | 30.078 % |
147.22/147.34 c | 61792 | 84753 565483 1637662 | 2147483647 59379 126 | 30.092 % |
149.42/149.53 c | 62447 | 84752 565483 1637662 | 2147483647 60033 127 | 30.299 % |
151.22/151.35 c | 63169 | 84745 565483 1637662 | 2147483647 60752 128 | 30.309 % |
153.72/153.90 c | 63961 | 84743 565483 1637662 | 2147483647 61542 128 | 30.353 % |
154.12/154.25 c | 64061 | 84421 563838 1633802 | 2147483647 61588 129 | 30.353 % |
154.32/154.49 c | 64172 | 84421 563838 1633802 | 2147483647 61699 129 | 30.353 % |
154.62/154.75 c | 64295 | 84415 563838 1633802 | 2147483647 61821 129 | 30.458 % |
155.32/155.43 c | 64428 | 84414 563838 1633802 | 2147483647 61954 129 | 30.458 % |
155.82/155.97 c | 64574 | 84414 563838 1633802 | 2147483647 62099 129 | 30.460 % |
156.32/156.41 c | 64734 | 84414 563838 1633802 | 2147483647 62259 130 | 30.460 % |
156.72/156.89 c | 64912 | 84414 563838 1633802 | 2147483647 62436 130 | 30.463 % |
157.12/157.29 c | 65105 | 84413 563838 1633802 | 2147483647 62628 130 | 30.464 % |
158.11/158.22 c | 65317 | 84412 563838 1633802 | 2147483647 62839 130 | 30.473 % |
158.51/158.68 c | 65554 | 84412 563838 1633802 | 2147483647 63076 130 | 30.473 % |
159.01/159.14 c | 65810 | 84412 563838 1633802 | 2147483647 63332 130 | 30.473 % |
159.42/159.53 c | 66091 | 84412 563838 1633802 | 2147483647 63613 130 | 30.473 % |
160.32/160.41 c | 66400 | 84411 563838 1633802 | 2147483647 63921 130 | 30.474 % |
161.32/161.47 c | 66739 | 84411 563838 1633802 | 2147483647 64260 130 | 30.474 % |
162.52/162.68 c | 67112 | 84409 563838 1633802 | 2147483647 64631 131 | 30.484 % |
163.62/163.80 c | 67525 | 84409 563838 1633802 | 2147483647 65044 131 | 30.484 % |
165.21/165.34 c | 67974 | 84260 563037 1631972 | 2147483647 65463 131 | 30.490 % |
166.31/166.44 c | 68467 | 84257 563037 1631972 | 2147483647 65954 132 | 30.498 % |
167.61/167.74 c | 69009 | 84256 563037 1631972 | 2147483647 66495 132 | 30.499 % |
170.32/170.41 c | 69605 | 84239 563037 1631972 | 2147483647 67089 133 | 30.531 % |
172.52/172.66 c | 70263 | 84233 563037 1631972 | 2147483647 67744 134 | 30.846 % |
174.01/174.14 c | 70986 | 84229 563037 1631972 | 2147483647 68465 134 | 30.855 % |
177.01/177.15 c | 71778 | 83808 560371 1625500 | 2147483647 69123 137 | 30.859 % |
181.01/181.11 c | 72653 | 83807 560371 1625500 | 2147483647 69997 139 | 30.867 % |
181.51/181.67 c | 72753 | 83807 560371 1625500 | 2147483647 70097 139 | 30.867 % |
182.11/182.27 c | 72864 | 83806 560371 1625500 | 2147483647 70207 140 | 30.868 % |
182.52/182.63 c | 72986 | 83806 560371 1625500 | 2147483647 70329 140 | 30.868 % |
183.01/183.12 c | 73121 | 83806 560371 1625500 | 2147483647 70464 140 | 30.868 % |
183.62/183.78 c | 73268 | 83806 560371 1625500 | 2147483647 70611 140 | 30.868 % |
184.51/184.68 c | 73428 | 83806 560371 1625500 | 2147483647 70771 141 | 30.868 % |
184.91/185.06 c | 73605 | 83806 560371 1625500 | 2147483647 70948 141 | 30.868 % |
185.21/185.37 c | 73799 | 83806 560371 1625500 | 2147483647 71142 141 | 30.868 % |
185.61/185.73 c | 74019 | 83806 560371 1625500 | 2147483647 71362 141 | 30.868 % |
185.81/185.96 c | 74253 | 83806 560371 1625500 | 2147483647 71596 141 | 30.868 % |
186.91/187.08 c | 74511 | 83797 560276 1625248 | 2147483647 71852 142 | 30.868 % |
187.71/187.86 c | 74794 | 83794 560276 1625248 | 2147483647 72133 142 | 30.877 % |
188.31/188.50 c | 75104 | 83794 560276 1625248 | 2147483647 72443 142 | 30.877 % |
189.81/189.97 c | 75443 | 83794 560276 1625248 | 2147483647 72782 143 | 30.877 % |
191.01/191.12 c | 75816 | 83788 560276 1625248 | 2147483647 73153 143 | 30.896 % |
192.31/192.48 c | 76228 | 83788 560276 1625248 | 2147483647 73565 143 | 30.896 % |
194.40/194.50 c | 76677 | 83784 560276 1625248 | 2147483647 74012 144 | 30.912 % |
196.11/196.26 c | 77170 | 83784 560276 1625248 | 2147483647 74505 145 | 30.912 % |
197.81/197.92 c | 77714 | 83782 560276 1625248 | 2147483647 75047 146 | 30.919 % |
200.11/200.27 c | 78310 | 83782 560276 1625248 | 2147483647 75643 147 | 30.919 % |
202.60/202.71 c | 78966 | 83735 559732 1623789 | 2147483647 76280 148 | 30.919 % |
205.40/205.53 c | 79691 | 83735 559732 1623789 | 2147483647 77005 149 | 30.919 % |
208.81/208.94 c | 80486 | 83733 559732 1623789 | 2147483647 77797 151 | 31.068 % |
213.10/213.22 c | 81367 | 83726 559732 1623789 | 2147483647 78677 152 | 31.393 % |
216.60/216.75 c | 82325 | 83157 556278 1613213 | 2147483647 79315 154 | 31.396 % |
217.20/217.38 c | 82427 | 83157 556278 1613213 | 2147483647 79417 154 | 31.396 % |
217.60/217.76 c | 82538 | 83157 556278 1613213 | 2147483647 79528 154 | 31.396 % |
218.20/218.37 c | 82661 | 83157 556278 1613213 | 2147483647 79651 154 | 31.396 % |
219.00/219.12 c | 82796 | 83157 556278 1613213 | 2147483647 79785 155 | 31.398 % |
219.70/219.82 c | 82943 | 83157 556278 1613213 | 2147483647 79931 155 | 31.407 % |
220.29/220.42 c | 83103 | 83157 556278 1613213 | 2147483647 80091 155 | 31.407 % |
221.29/221.41 c | 83282 | 83157 556278 1613213 | 2147483647 80270 155 | 31.407 % |
222.10/222.29 c | 83475 | 83156 556278 1613213 | 2147483647 80462 156 | 31.417 % |
222.89/223.02 c | 83687 | 83156 556278 1613213 | 2147483647 80674 156 | 31.417 % |
223.69/223.88 c | 83922 | 83156 556278 1613213 | 2147483647 80908 156 | 31.419 % |
224.69/224.83 c | 84179 | 83155 556278 1613213 | 2147483647 81164 156 | 31.431 % |
225.39/225.56 c | 84461 | 83155 556278 1613213 | 2147483647 81446 156 | 31.431 % |
226.80/226.98 c | 84770 | 83155 556278 1613213 | 2147483647 81754 157 | 31.437 % |
228.00/228.14 c | 85109 | 83153 556278 1613213 | 2147483647 82093 157 | 31.437 % |
228.70/228.81 c | 85485 | 83153 556278 1613213 | 2147483647 82469 157 | 31.437 % |
230.69/230.85 c | 85894 | 83153 556278 1613213 | 2147483647 82878 158 | 31.437 % |
232.89/233.01 c | 86343 | 83103 555841 1612030 | 2147483647 83308 158 | 31.484 % |
235.19/235.34 c | 86837 | 83097 555841 1612030 | 2147483647 83798 159 | 31.526 % |
237.69/237.80 c | 87379 | 83097 555841 1612030 | 2147483647 84340 160 | 31.526 % |
239.70/239.83 c | 87975 | 83095 555841 1612030 | 2147483647 84934 160 | 31.535 % |
241.99/242.15 c | 88630 | 83095 555841 1612030 | 2147483647 85589 161 | 31.535 % |
243.99/244.15 c | 89351 | 83089 555841 1612030 | 2147483647 86306 161 | 31.553 % |
246.48/246.68 c | 90144 | 83089 555841 1612030 | 2147483647 87099 163 | 31.553 % |
248.89/249.08 c | 91016 | 83088 555841 1612030 | 2147483647 87970 164 | 31.554 % |
251.29/251.40 c | 91974 | 82964 554780 1609242 | 2147483647 88854 164 | 31.563 % |
253.48/253.62 c | 93027 | 82961 554780 1609242 | 2147483647 89905 165 | 31.582 % |
253.68/253.81 c | 93127 | 82961 554780 1609242 | 2147483647 90005 165 | 31.582 % |
253.78/253.96 c | 93242 | 82952 554780 1609242 | 2147483647 90120 165 | 31.582 % |
253.98/254.17 c | 93364 | 82952 554780 1609242 | 2147483647 90242 165 | 31.582 % |
254.58/254.77 c | 93497 | 82945 554780 1609242 | 2147483647 90374 165 | 31.583 % |
254.98/255.17 c | 93643 | 82944 554780 1609242 | 2147483647 90519 165 | 31.590 % |
255.38/255.50 c | 93805 | 82944 554780 1609242 | 2147483647 90681 165 | 31.590 % |
255.68/255.88 c | 93983 | 82943 554780 1609242 | 2147483647 90858 165 | 31.599 % |
256.08/256.22 c | 94177 | 82943 554780 1609242 | 2147483647 91052 165 | 31.599 % |
256.38/256.53 c | 94389 | 82942 554780 1609242 | 2147483647 91263 165 | 31.600 % |
256.78/256.90 c | 94622 | 82940 554780 1609242 | 2147483647 91495 165 | 31.609 % |
257.28/257.43 c | 94878 | 82940 554780 1609242 | 2147483647 91751 165 | 31.609 % |
258.29/258.43 c | 95161 | 82934 554780 1609242 | 2147483647 92034 165 | 31.609 % |
259.28/259.43 c | 95470 | 82934 554780 1609242 | 2147483647 92343 166 | 31.609 % |
260.08/260.21 c | 95812 | 82934 554780 1609242 | 2147483647 92685 166 | 31.609 % |
261.58/261.78 c | 96187 | 82933 554780 1609242 | 2147483647 93059 166 | 31.610 % |
263.67/263.86 c | 96597 | 82931 554780 1609242 | 2147483647 93467 167 | 31.620 % |
265.37/265.53 c | 97048 | 82929 554780 1609242 | 2147483647 93917 167 | 31.631 % |
267.37/267.52 c | 97541 | 82869 553917 1606927 | 2147483647 94370 167 | 31.649 % |
269.38/269.58 c | 98084 | 82865 553917 1606927 | 2147483647 94910 168 | 31.926 % |
270.58/270.70 c | 98682 | 82863 553917 1606927 | 2147483647 95506 168 | 31.936 % |
273.17/273.33 c | 99337 | 82863 553917 1606927 | 2147483647 96160 168 | 31.978 % |
276.98/277.11 c | 100059 | 82862 553917 1606927 | 2147483647 96879 169 | 31.995 % |
279.67/279.82 c | 100855 | 82861 553917 1606927 | 2147483647 97672 170 | 32.020 % |
282.57/282.78 c | 101727 | 82859 553917 1606927 | 2147483647 98542 171 | 32.033 % |
287.57/287.73 c | 102686 | 82857 553917 1606927 | 2147483647 99499 172 | 32.043 % |
291.97/292.19 c | 103739 | 82372 551374 1600807 | 2147483647 100479 174 | 32.053 % |
297.37/297.55 c | 104900 | 82353 551374 1600807 | 2147483647 101633 175 | 32.228 % |
297.77/297.97 c | 105006 | 82353 551374 1600807 | 2147483647 101739 175 | 32.228 % |
298.37/298.59 c | 105117 | 82353 551374 1600807 | 2147483647 101850 175 | 32.228 % |
298.77/298.94 c | 105238 | 82353 551374 1600807 | 2147483647 101971 175 | 32.228 % |
299.37/299.50 c | 105371 | 82353 551374 1600807 | 2147483647 102104 176 | 32.228 % |
299.56/299.77 c | 105519 | 82353 551374 1600807 | 2147483647 102252 176 | 32.228 % |
299.86/300.06 c | 105680 | 82353 551374 1600807 | 2147483647 102413 176 | 32.228 % |
300.36/300.54 c | 105857 | 82353 551374 1600807 | 2147483647 102590 176 | 32.228 % |
300.86/301.05 c | 106050 | 82353 551374 1600807 | 2147483647 102783 176 | 32.228 % |
301.46/301.65 c | 106262 | 82352 551374 1600807 | 2147483647 102994 176 | 32.237 % |
302.06/302.30 c | 106497 | 82352 551374 1600807 | 2147483647 103229 176 | 32.237 % |
302.96/303.13 c | 106753 | 82352 551374 1600807 | 2147483647 103484 176 | 32.247 % |
303.56/303.73 c | 107038 | 82352 551374 1600807 | 2147483647 103769 175 | 32.247 % |
304.36/304.52 c | 107351 | 82352 551374 1600807 | 2147483647 104082 175 | 32.247 % |
304.86/305.05 c | 107690 | 82352 551374 1600807 | 2147483647 104421 175 | 32.247 % |
305.67/305.85 c | 108073 | 82352 551374 1600807 | 2147483647 104804 175 | 32.247 % |
306.46/306.68 c | 108483 | 82352 551374 1600807 | 2147483647 105213 175 | 32.249 % |
307.56/307.79 c | 108932 | 82352 551374 1600807 | 2147483647 105662 175 | 32.249 % |
308.76/309.00 c | 109426 | 82352 551374 1600807 | 2147483647 106155 175 | 32.255 % |
310.16/310.33 c | 109969 | 82115 549210 1594959 | 2147483647 106548 175 | 32.264 % |
313.45/313.64 c | 110569 | 82108 549210 1594959 | 2147483647 107144 175 | 32.308 % |
316.66/316.82 c | 111224 | 82106 549210 1594959 | 2147483647 107797 176 | 32.317 % |
319.55/319.73 c | 111948 | 82106 549210 1594959 | 2147483647 108521 176 | 32.317 % |
322.95/323.12 c | 112742 | 82102 549210 1594959 | 2147483647 109309 177 | 32.379 % |
325.05/325.28 c | 113614 | 82102 549210 1594959 | 2147483647 110181 177 | 32.379 % |
329.65/329.80 c | 114572 | 82102 549210 1594959 | 2147483647 111139 179 | 32.379 % |
334.35/334.51 c | 115627 | 81952 547712 1590895 | 2147483647 112094 180 | 32.390 % |
337.95/338.11 c | 116786 | 81951 547712 1590895 | 2147483647 113252 181 | 32.399 % |
342.35/342.59 c | 118060 | 81951 547712 1590895 | 2147483647 114526 182 | 32.399 % |
342.95/343.19 c | 118161 | 81951 547712 1590895 | 2147483647 114627 182 | 32.399 % |
343.75/343.98 c | 118272 | 81951 547712 1590895 | 2147483647 114738 183 | 32.399 % |
344.25/344.46 c | 118394 | 81950 547712 1590895 | 2147483647 114859 183 | 32.408 % |
344.95/345.11 c | 118527 | 81947 547712 1590895 | 2147483647 114990 183 | 32.415 % |
345.74/345.95 c | 118676 | 81947 547712 1590895 | 2147483647 115139 183 | 32.415 % |
346.44/346.68 c | 118836 | 81947 547712 1590895 | 2147483647 115299 183 | 32.415 % |
347.35/347.55 c | 119012 | 81947 547712 1590895 | 2147483647 115475 183 | 32.415 % |
348.14/348.34 c | 119206 | 81947 547712 1590895 | 2147483647 115669 183 | 32.415 % |
348.64/348.89 c | 119419 | 81947 547712 1590895 | 2147483647 115882 183 | 32.415 % |
349.64/349.85 c | 119653 | 81944 547712 1590895 | 2147483647 116114 183 | 32.440 % |
350.24/350.45 c | 119910 | 81944 547712 1590895 | 2147483647 116371 183 | 32.440 % |
351.74/352.00 c | 120191 | 81943 547712 1590895 | 2147483647 116651 184 | 32.441 % |
353.14/353.31 c | 120501 | 81942 547712 1590895 | 2147483647 116960 184 | 32.442 % |
354.34/354.59 c | 120840 | 81942 547712 1590895 | 2147483647 117299 184 | 32.442 % |
355.64/355.80 c | 121213 | 81942 547712 1590895 | 2147483647 117672 185 | 32.442 % |
358.14/358.32 c | 121622 | 81942 547712 1590895 | 2147483647 118081 185 | 32.442 % |
359.44/359.69 c | 122074 | 81889 547240 1589671 | 2147483647 118516 185 | 32.442 % |
361.43/361.67 c | 122568 | 81887 547240 1589671 | 2147483647 119008 186 | 32.444 % |
363.33/363.59 c | 123110 | 81884 547240 1589671 | 2147483647 119548 186 | 32.459 % |
366.34/366.52 c | 123708 | 81884 547240 1589671 | 2147483647 120146 187 | 32.459 % |
370.04/370.27 c | 124363 | 81866 547240 1589671 | 2147483647 120800 188 | 32.542 % |
373.03/373.25 c | 125085 | 81864 547240 1589671 | 2147483647 121521 189 | 32.552 % |
377.23/377.41 c | 125878 | 81863 547240 1589671 | 2147483647 122312 190 | 32.587 % |
381.23/381.41 c | 126749 | 81863 547240 1589671 | 2147483647 123183 191 | 32.587 % |
384.23/384.41 c | 127707 | 81863 547240 1589671 | 2147483647 124141 192 | 32.587 % |
389.33/389.55 c | 128763 | 81580 544675 1582695 | 2147483647 125057 193 | 32.713 % |
394.12/394.34 c | 129921 | 81580 544675 1582695 | 2147483647 126215 194 | 32.713 % |
399.22/399.42 c | 131194 | 81580 544675 1582695 | 2147483647 127488 195 | 32.713 % |
405.83/406.09 c | 132595 | 81575 544675 1582695 | 2147483647 128887 198 | 32.742 % |
406.22/406.44 c | 132696 | 81575 544675 1582695 | 2147483647 128988 198 | 32.742 % |
406.62/406.81 c | 132806 | 81575 544675 1582695 | 2147483647 129097 198 | 32.838 % |
407.42/407.64 c | 132927 | 81575 544675 1582695 | 2147483647 129218 198 | 32.838 % |
408.22/408.41 c | 133061 | 81575 544675 1582695 | 2147483647 129352 198 | 32.838 % |
408.52/408.73 c | 133212 | 81575 544675 1582695 | 2147483647 129503 198 | 32.838 % |
409.52/409.73 c | 133375 | 81575 544675 1582695 | 2147483647 129666 198 | 32.838 % |
410.42/410.66 c | 133552 | 81573 544675 1582695 | 2147483647 129842 198 | 32.857 % |
411.62/411.80 c | 133746 | 81573 544675 1582695 | 2147483647 130036 199 | 32.857 % |
412.32/412.59 c | 133959 | 81573 544675 1582695 | 2147483647 130249 199 | 32.857 % |
413.22/413.48 c | 134193 | 81573 544675 1582695 | 2147483647 130483 199 | 32.857 % |
414.22/414.40 c | 134451 | 81573 544675 1582695 | 2147483647 130741 199 | 32.857 % |
415.92/416.11 c | 134733 | 81569 544675 1582695 | 2147483647 131021 199 | 32.890 % |
417.62/417.88 c | 135044 | 81569 544675 1582695 | 2147483647 131332 200 | 32.890 % |
420.22/420.41 c | 135383 | 81568 544675 1582695 | 2147483647 131670 200 | 32.939 % |
422.12/422.34 c | 135755 | 81282 542137 1575755 | 2147483647 131920 201 | 32.949 % |
423.33/423.58 c | 136165 | 81282 542137 1575755 | 2147483647 132330 201 | 32.949 % |
426.22/426.42 c | 136614 | 81282 542137 1575755 | 2147483647 132779 202 | 32.949 % |
429.22/429.44 c | 137108 | 81282 542137 1575755 | 2147483647 133273 202 | 32.949 % |
432.21/432.40 c | 137651 | 81282 542137 1575755 | 2147483647 133816 203 | 32.949 % |
436.51/436.73 c | 138249 | 81279 542137 1575755 | 2147483647 134412 204 | 32.956 % |
439.52/439.73 c | 138905 | 81278 542137 1575755 | 2147483647 135067 204 | 32.957 % |
443.41/443.60 c | 139628 | 81275 542137 1575755 | 2147483647 135787 204 | 32.973 % |
447.01/447.21 c | 140422 | 81275 542137 1575755 | 2147483647 136581 205 | 32.973 % |
451.41/451.62 c | 141294 | 81274 542137 1575755 | 2147483647 137450 206 | 33.038 % |
458.81/459.07 c | 142252 | 81166 541174 1573178 | 2147483647 138358 208 | 33.039 % |
464.80/465.06 c | 143305 | 81166 541174 1573178 | 2147483647 139411 209 | 33.039 % |
470.31/470.53 c | 144463 | 81166 541174 1573178 | 2147483647 140568 210 | 33.048 % |
477.00/477.28 c | 145739 | 81165 541174 1573178 | 2147483647 141843 211 | 33.048 % |
484.80/485.03 c | 147140 | 81165 541174 1573178 | 2147483647 143244 212 | 33.048 % |
493.50/493.71 c | 148680 | 81161 541174 1573178 | 2147483647 144779 214 | 33.076 % |
494.00/494.26 c | 148780 | 81161 541174 1573178 | 2147483647 144879 214 | 33.076 % |
494.40/494.65 c | 148892 | 81161 541174 1573178 | 2147483647 144991 214 | 33.076 % |
495.40/495.62 c | 149016 | 81120 540749 1572015 | 2147483647 145073 214 | 33.076 % |
496.30/496.52 c | 149151 | 81120 540749 1572015 | 2147483647 145208 214 | 33.076 % |
497.00/497.27 c | 149298 | 81120 540749 1572015 | 2147483647 145355 214 | 33.076 % |
497.59/497.87 c | 149459 | 81120 540749 1572015 | 2147483647 145516 214 | 33.076 % |
498.00/498.28 c | 149637 | 81120 540749 1572015 | 2147483647 145694 214 | 33.076 % |
498.39/498.64 c | 149830 | 81120 540749 1572015 | 2147483647 145887 214 | 33.076 % |
499.59/499.86 c | 150048 | 81120 540749 1572015 | 2147483647 146105 214 | 33.076 % |
500.89/501.10 c | 150281 | 81111 540749 1572015 | 2147483647 146333 214 | 33.115 % |
501.99/502.24 c | 150540 | 81111 540749 1572015 | 2147483647 146592 214 | 33.115 % |
503.99/504.21 c | 150822 | 81110 540749 1572015 | 2147483647 146873 214 | 33.116 % |
505.49/505.77 c | 151131 | 81110 540749 1572015 | 2147483647 147182 215 | 33.116 % |
507.39/507.62 c | 151470 | 81110 540749 1572015 | 2147483647 147521 215 | 33.116 % |
509.39/509.65 c | 151842 | 81109 540749 1572015 | 2147483647 147892 215 | 33.152 % |
512.39/512.68 c | 152253 | 81108 540749 1572015 | 2147483647 148301 215 | 33.170 % |
514.69/514.97 c | 152702 | 81107 540749 1572015 | 2147483647 148749 215 | 33.171 % |
516.19/516.42 c | 153196 | 81099 540749 1572015 | 2147483647 149240 215 | 33.228 % |
519.29/519.57 c | 153739 | 81096 540749 1572015 | 2147483647 149778 216 | 33.274 % |
522.98/523.20 c | 154338 | 81095 540749 1572015 | 2147483647 150376 216 | 33.284 % |
524.69/524.91 c | 154997 | 81094 540749 1572015 | 2147483647 151034 216 | 33.305 % |
526.48/526.72 c | 155718 | 81093 540749 1572015 | 2147483647 151753 216 | 33.311 % |
529.28/529.50 c | 156510 | 81091 540749 1572015 | 2147483647 152543 216 | 33.322 % |
532.48/532.77 c | 157383 | 81084 540749 1572015 | 2147483647 153411 216 | 33.426 % |
536.98/537.20 c | 158341 | 81082 540749 1572015 | 2147483647 154367 217 | 33.428 % |
543.28/543.52 c | 159396 | 80692 537227 1562889 | 2147483647 155135 218 | 33.439 % |
549.87/550.11 c | 160555 | 80692 537227 1562889 | 2147483647 156293 220 | 33.439 % |
555.37/555.66 c | 161828 | 80690 537227 1562889 | 2147483647 157564 220 | 33.453 % |
562.07/562.38 c | 163229 | 80688 537227 1562889 | 2147483647 158963 221 | 33.476 % |
570.37/570.61 c | 164769 | 80687 537227 1562889 | 2147483647 160500 222 | 33.532 % |
578.77/579.01 c | 166464 | 80687 537227 1562889 | 2147483647 162195 223 | 33.532 % |
579.17/579.48 c | 166564 | 80687 537227 1562889 | 2147483647 162295 223 | 33.532 % |
579.67/579.90 c | 166674 | 80686 537227 1562889 | 2147483647 162403 223 | 33.538 % |
579.77/580.05 c | 166798 | 80686 537227 1562889 | 2147483647 162527 222 | 33.538 % |
580.37/580.67 c | 166931 | 80686 537227 1562889 | 2147483647 162660 222 | 33.538 % |
581.27/581.56 c | 167089 | 80686 537227 1562889 | 2147483647 162818 222 | 33.538 % |
582.27/582.54 c | 167256 | 80686 537227 1562889 | 2147483647 162985 222 | 33.538 % |
582.77/583.08 c | 167433 | 80686 537227 1562889 | 2147483647 163162 223 | 33.538 % |
583.96/584.25 c | 167627 | 80685 537227 1562889 | 2147483647 163355 223 | 33.547 % |
585.26/585.53 c | 167840 | 80527 535963 1559559 | 2147483647 163472 223 | 33.566 % |
586.86/587.15 c | 168073 | 80527 535963 1559559 | 2147483647 163705 223 | 33.566 % |
588.27/588.60 c | 168336 | 80259 535963 1559559 | 2147483647 163966 223 | 34.059 % |
589.86/590.17 c | 168617 | 80258 535963 1559559 | 2147483647 164247 223 | 34.059 % |
592.06/592.33 c | 168930 | 80258 535963 1559559 | 2147483647 164560 224 | 34.059 % |
593.86/594.11 c | 169271 | 80256 535963 1559559 | 2147483647 164899 224 | 34.062 % |
596.06/596.32 c | 169646 | 80253 535963 1559559 | 2147483647 165272 224 | 34.125 % |
598.76/599.02 c | 170056 | 80252 535963 1559559 | 2147483647 165681 225 | 34.126 % |
600.46/600.78 c | 170505 | 80252 535963 1559559 | 2147483647 166130 225 | 34.126 % |
603.45/603.70 c | 171001 | 80251 535963 1559559 | 2147483647 166625 226 | 34.127 % |
606.45/606.74 c | 171543 | 80251 535963 1559559 | 2147483647 167167 226 | 34.127 % |
610.66/610.92 c | 172139 | 80250 535963 1559559 | 2147483647 167762 227 | 34.135 % |
615.36/615.65 c | 172798 | 80248 535963 1559559 | 2147483647 168419 227 | 34.210 % |
620.25/620.52 c | 173518 | 80244 535963 1559559 | 2147483647 169137 227 | 34.288 % |
625.15/625.40 c | 174310 | 80238 535963 1559559 | 2147483647 169922 227 | 34.352 % |
630.75/631.00 c | 175181 | 80235 535963 1559559 | 2147483647 170791 229 | 34.368 % |
635.74/636.03 c | 176139 | 80234 535963 1559559 | 2147483647 171747 230 | 34.518 % |
642.24/642.52 c | 177192 | 80231 535963 1559559 | 2147483647 172798 231 | 34.533 % |
649.15/649.49 c | 178353 | 79350 528844 1541619 | 2147483647 173522 231 | 34.556 % |
657.45/657.73 c | 179626 | 79347 528844 1541619 | 2147483647 174792 232 | 34.564 % |
667.44/667.75 c | 181026 | 79347 528844 1541619 | 2147483647 176192 234 | 34.564 % |
678.74/679.06 c | 182584 | 79347 528844 1541619 | 2147483647 177748 235 | 34.584 % |
688.63/688.96 c | 184279 | 79345 528844 1541619 | 2147483647 179439 236 | 34.600 % |
701.63/701.98 c | 186142 | 79248 527859 1538948 | 2147483647 181217 238 | 34.621 % |
702.32/702.64 c | 186242 | 79248 527859 1538948 | 2147483647 181317 238 | 34.621 % |
703.02/703.36 c | 186352 | 79247 527859 1538948 | 2147483647 181426 239 | 34.627 % |
703.73/704.04 c | 186473 | 79247 527859 1538948 | 2147483647 181547 239 | 34.627 % |
704.32/704.63 c | 186606 | 79247 527859 1538948 | 2147483647 181680 239 | 34.627 % |
705.22/705.52 c | 186755 | 79247 527859 1538948 | 2147483647 181829 239 | 34.627 % |
706.42/706.72 c | 186920 | 79247 527859 1538948 | 2147483647 181994 239 | 34.627 % |
707.42/707.73 c | 187096 | 79246 527859 1538948 | 2147483647 182169 239 | 34.635 % |
708.52/708.84 c | 187294 | 79246 527859 1538948 | 2147483647 182367 239 | 34.635 % |
709.32/709.66 c | 187507 | 79246 527859 1538948 | 2147483647 182580 239 | 34.635 % |
711.12/711.48 c | 187749 | 79245 527859 1538948 | 2147483647 182821 239 | 34.636 % |
712.92/713.25 c | 188008 | 79245 527859 1538948 | 2147483647 183080 239 | 34.636 % |
714.43/714.78 c | 188291 | 79245 527859 1538948 | 2147483647 183363 239 | 34.636 % |
716.32/716.61 c | 188601 | 79245 527859 1538948 | 2147483647 183673 239 | 34.636 % |
717.93/718.22 c | 188940 | 79242 527859 1538948 | 2147483647 184011 239 | 34.646 % |
719.62/719.93 c | 189313 | 79242 527859 1538948 | 2147483647 184384 240 | 34.646 % |
722.02/722.30 c | 189723 | 79242 527859 1538948 | 2147483647 184794 240 | 34.646 % |
725.22/725.56 c | 190172 | 79242 527859 1538948 | 2147483647 185243 240 | 34.646 % |
727.82/728.11 c | 190665 | 79240 527859 1538948 | 2147483647 185734 240 | 34.698 % |
732.22/732.57 c | 191207 | 79240 527859 1538948 | 2147483647 186276 241 | 34.698 % |
737.41/737.70 c | 191810 | 79239 527859 1538948 | 2147483647 186878 242 | 34.698 % |
741.51/741.83 c | 192465 | 79239 527859 1538948 | 2147483647 187533 242 | 34.698 % |
745.81/746.16 c | 193185 | 79238 527859 1538948 | 2147483647 188251 242 | 34.727 % |
749.61/749.91 c | 193977 | 79238 527859 1538948 | 2147483647 189043 242 | 34.727 % |
754.51/754.80 c | 194848 | 79238 527859 1538948 | 2147483647 189914 242 | 34.727 % |
760.30/760.60 c | 195807 | 79223 527859 1538948 | 2147483647 190870 242 | 35.187 % |
766.51/766.87 c | 196861 | 79222 527859 1538948 | 2147483647 191923 243 | 35.192 % |
773.10/773.43 c | 198021 | 78556 522479 1524651 | 2147483647 192728 244 | 35.192 % |
781.60/781.99 c | 199294 | 78556 522479 1524651 | 2147483647 194001 245 | 35.192 % |
790.70/791.04 c | 200697 | 78556 522479 1524651 | 2147483647 195404 246 | 35.192 % |
799.60/799.93 c | 202237 | 78556 522479 1524651 | 2147483647 196944 247 | 35.192 % |
809.09/809.47 c | 203932 | 78556 522479 1524651 | 2147483647 198639 249 | 35.192 % |
817.59/817.95 c | 205795 | 78556 522479 1524651 | 2147483647 200501 249 | 35.200 % |
828.78/829.14 c | 207844 | 78556 522479 1524651 | 2147483647 202548 249 | 35.210 % |
829.58/829.93 c | 207944 | 78556 522479 1524651 | 2147483647 202648 249 | 35.210 % |
830.38/830.76 c | 208056 | 78556 522479 1524651 | 2147483647 202760 249 | 35.210 % |
831.48/831.87 c | 208177 | 78556 522479 1524651 | 2147483647 202881 249 | 35.210 % |
832.58/832.99 c | 208312 | 78556 522479 1524651 | 2147483647 203016 249 | 35.210 % |
833.69/834.01 c | 208458 | 78556 522479 1524651 | 2147483647 203162 249 | 35.210 % |
834.19/834.57 c | 208618 | 78556 522479 1524651 | 2147483647 203322 249 | 35.210 % |
835.89/836.23 c | 208796 | 78556 522479 1524651 | 2147483647 203500 249 | 35.210 % |
837.19/837.58 c | 208992 | 78556 522479 1524651 | 2147483647 203696 250 | 35.210 % |
838.28/838.60 c | 209204 | 78556 522479 1524651 | 2147483647 203908 250 | 35.210 % |
840.18/840.52 c | 209437 | 78534 522277 1524072 | 2147483647 204126 250 | 35.210 % |
841.78/842.18 c | 209693 | 78534 522277 1524072 | 2147483647 204382 250 | 35.210 % |
843.78/844.17 c | 209977 | 78534 522277 1524072 | 2147483647 204666 250 | 35.210 % |
845.88/846.26 c | 210286 | 78534 522277 1524072 | 2147483647 204975 250 | 35.210 % |
848.48/848.88 c | 210626 | 78534 522277 1524072 | 2147483647 205315 250 | 35.210 % |
851.18/851.50 c | 211000 | 78532 522277 1524072 | 2147483647 205687 250 | 35.212 % |
853.57/853.98 c | 211417 | 78532 522277 1524072 | 2147483647 206103 250 | 35.212 % |
856.68/857.03 c | 211866 | 78532 522277 1524072 | 2147483647 206552 250 | 35.212 % |
860.08/860.41 c | 212359 | 78532 522277 1524072 | 2147483647 207045 251 | 35.212 % |
864.07/864.43 c | 212904 | 78532 522277 1524072 | 2147483647 207590 251 | 35.212 % |
867.98/868.37 c | 213503 | 78532 522277 1524072 | 2147483647 208189 252 | 35.212 % |
871.17/871.53 c | 214158 | 78532 522277 1524072 | 2147483647 208844 252 | 35.212 % |
875.87/876.21 c | 214881 | 78532 522277 1524072 | 2147483647 209565 252 | 35.220 % |
881.87/882.24 c | 215677 | 78532 522277 1524072 | 2147483647 210360 252 | 35.223 % |
888.47/888.82 c | 216549 | 78532 522277 1524072 | 2147483647 211232 253 | 35.223 % |
894.56/894.90 c | 217509 | 78529 522277 1524072 | 2147483647 212187 252 | 35.278 % |
902.36/902.70 c | 218564 | 78529 522277 1524072 | 2147483647 213242 253 | 35.278 % |
910.86/911.21 c | 219728 | 78528 522277 1524072 | 2147483647 214405 253 | 35.278 % |
918.25/918.64 c | 221003 | 78528 522277 1524072 | 2147483647 215679 253 | 35.279 % |
926.86/927.24 c | 222405 | 78448 521740 1522753 | 2147483647 216985 255 | 35.291 % |
937.25/937.63 c | 223946 | 78447 521740 1522753 | 2147483647 218525 256 | 35.292 % |
946.25/946.64 c | 225640 | 78446 521740 1522753 | 2147483647 220216 257 | 35.345 % |
956.14/956.53 c | 227503 | 78443 521740 1522753 | 2147483647 222078 258 | 35.355 % |
969.24/969.68 c | 229552 | 78442 521740 1522753 | 2147483647 224126 259 | 35.356 % |
981.14/981.54 c | 231806 | 78442 521740 1522753 | 2147483647 226380 259 | 35.356 % |
982.14/982.56 c | 231907 | 78442 521740 1522753 | 2147483647 226481 259 | 35.356 % |
982.84/983.22 c | 232017 | 78442 521740 1522753 | 2147483647 226591 260 | 35.356 % |
983.44/983.80 c | 232138 | 78442 521740 1522753 | 2147483647 226711 259 | 35.358 % |
984.54/984.93 c | 232271 | 78442 521740 1522753 | 2147483647 226844 260 | 35.358 % |
984.94/985.36 c | 232417 | 78442 521740 1522753 | 2147483647 226990 260 | 35.358 % |
986.14/986.53 c | 232577 | 78442 521740 1522753 | 2147483647 227150 260 | 35.358 % |
987.74/988.15 c | 232758 | 78442 521740 1522753 | 2147483647 227331 260 | 35.358 % |
989.43/989.80 c | 232951 | 78442 521740 1522753 | 2147483647 227524 260 | 35.358 % |
990.74/991.13 c | 233163 | 78441 521740 1522753 | 2147483647 227735 260 | 35.359 % |
992.44/992.89 c | 233398 | 78441 521740 1522753 | 2147483647 227970 260 | 35.359 % |
994.54/994.97 c | 233655 | 78441 521740 1522753 | 2147483647 228226 260 | 35.360 % |
996.64/997.01 c | 233936 | 78441 521740 1522753 | 2147483647 228507 260 | 35.360 % |
998.93/999.34 c | 234250 | 78441 521740 1522753 | 2147483647 228821 260 | 35.360 % |
1001.23/1001.64 c | 234589 | 78441 521740 1522753 | 2147483647 229160 260 | 35.360 % |
1003.83/1004.25 c | 234966 | 78441 521740 1522753 | 2147483647 229537 260 | 35.360 % |
1006.83/1007.29 c | 235375 | 78441 521740 1522753 | 2147483647 229946 260 | 35.360 % |
1010.73/1011.16 c | 235824 | 78350 520870 1520279 | 2147483647 230281 260 | 35.372 % |
1013.93/1014.33 c | 236322 | 78347 520870 1520279 | 2147483647 230777 260 | 35.427 % |
1018.13/1018.54 c | 236866 | 78347 520870 1520279 | 2147483647 231321 260 | 35.427 % |
1022.93/1023.34 c | 237474 | 78347 520870 1520279 | 2147483647 231928 260 | 35.429 % |
1028.13/1028.52 c | 238133 | 78347 520870 1520279 | 2147483647 232587 261 | 35.429 % |
1032.82/1033.25 c | 238853 | 78347 520870 1520279 | 2147483647 233307 261 | 35.429 % |
1037.32/1037.78 c | 239645 | 78347 520870 1520279 | 2147483647 234099 262 | 35.429 % |
1043.42/1043.82 c | 240518 | 78346 520870 1520279 | 2147483647 234971 262 | 35.430 % |
1049.92/1050.37 c | 241478 | 78344 520870 1520279 | 2147483647 235929 262 | 35.433 % |
1055.52/1055.95 c | 242531 | 78344 520870 1520279 | 2147483647 236982 262 | 35.433 % |
1061.52/1061.99 c | 243689 | 78340 520870 1520279 | 2147483647 238136 262 | 35.450 % |
1069.91/1070.39 c | 244963 | 78339 520870 1520279 | 2147483647 239407 263 | 35.466 % |
1079.51/1079.96 c | 246366 | 78338 520870 1520279 | 2147483647 240808 263 | 35.478 % |
1087.10/1087.58 c | 247906 | 78257 520870 1520279 | 2147483647 242346 264 | 35.618 % |
1098.00/1098.44 c | 249604 | 78257 520870 1520279 | 2147483647 244044 264 | 35.618 % |
1109.80/1110.22 c | 251467 | 78027 519056 1515776 | 2147483647 245661 265 | 35.628 % |
1122.70/1123.18 c | 253517 | 78026 519056 1515776 | 2147483647 247709 266 | 35.647 % |
1137.79/1138.21 c | 255770 | 78026 519056 1515776 | 2147483647 249960 267 | 35.682 % |
1155.69/1156.16 c | 258248 | 78026 519056 1515776 | 2147483647 252438 267 | 35.682 % |
1156.59/1157.03 c | 258355 | 78026 519056 1515776 | 2147483647 252545 267 | 35.682 % |
1157.49/1157.95 c | 258465 | 78026 519056 1515776 | 2147483647 252655 267 | 35.682 % |
1158.19/1158.68 c | 258587 | 78026 519056 1515776 | 2147483647 252777 267 | 35.682 % |
1159.19/1159.60 c | 258720 | 78026 519056 1515776 | 2147483647 252910 267 | 35.682 % |
1160.39/1160.87 c | 258867 | 78026 519056 1515776 | 2147483647 253055 267 | 35.694 % |
1161.28/1161.79 c | 259030 | 78026 519056 1515776 | 2147483647 253218 267 | 35.694 % |
1162.38/1162.89 c | 259207 | 78026 519056 1515776 | 2147483647 253395 267 | 35.694 % |
1162.98/1163.45 c | 259400 | 78026 519056 1515776 | 2147483647 253588 267 | 35.694 % |
1164.68/1165.17 c | 259612 | 78025 519056 1515776 | 2147483647 253799 267 | 35.703 % |
1166.68/1167.11 c | 259848 | 78025 519056 1515776 | 2147483647 254035 267 | 35.703 % |
1168.98/1169.43 c | 260104 | 78025 519056 1515776 | 2147483647 254291 267 | 35.703 % |
1171.48/1171.94 c | 260386 | 78025 519056 1515776 | 2147483647 254573 268 | 35.703 % |
1174.58/1175.08 c | 260695 | 78024 519056 1515776 | 2147483647 254881 268 | 35.712 % |
1178.18/1178.61 c | 261037 | 78024 519056 1515776 | 2147483647 255223 268 | 35.712 % |
1180.98/1181.40 c | 261411 | 78024 519056 1515776 | 2147483647 255597 268 | 35.712 % |
1182.97/1183.49 c | 261820 | 78024 519056 1515776 | 2147483647 256004 268 | 35.725 % |
1186.77/1187.29 c | 262270 | 78024 519056 1515776 | 2147483647 256454 268 | 35.725 % |
1190.28/1190.73 c | 262765 | 78023 519056 1515776 | 2147483647 256947 268 | 35.726 % |
1193.17/1193.69 c | 263309 | 78023 519056 1515776 | 2147483647 257491 269 | 35.726 % |
1197.57/1198.03 c | 263907 | 78022 519056 1515776 | 2147483647 258088 269 | 35.736 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833879-1242825735/watcher-1833879-1242825735 -o /tmp/evaluation-result-1833879-1242825735/solver-1833879-1242825735 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833879-1242825735.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 0.99 1.00 3/65 19056
/proc/meminfo: memFree=1849840/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
[startup+0.0952129 s]
/proc/loadavg: 1.01 0.99 1.00 3/65 19056
/proc/meminfo: memFree=1849840/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101214 s]
/proc/loadavg: 1.01 0.99 1.00 3/65 19056
/proc/meminfo: memFree=1849840/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301236 s]
/proc/loadavg: 1.01 0.99 1.00 3/65 19056
/proc/meminfo: memFree=1849840/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701281 s]
/proc/loadavg: 1.01 0.99 1.00 3/65 19056
/proc/meminfo: memFree=1849840/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50137 s]
/proc/loadavg: 1.01 0.99 1.00 2/67 19061
/proc/meminfo: memFree=1749152/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
[pid=19060] ppid=19056 vsize=116028 CPUtime=1.49
/proc/19060/stat : 19060 (SatELite_releas) R 19056 19056 18811 0 -1 4194304 26760 0 0 0 133 16 0 0 25 0 1 0 310606815 118812672 26578 1992294400 134512640 135223648 4294956128 18446744073709551615 134546390 0 0 4096 3 0 0 0 17 1 0 0
/proc/19060/statm: 29007 26578 70 173 0 28832 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121384
[startup+3.10155 s]
/proc/loadavg: 1.01 0.99 1.00 2/67 19061
/proc/meminfo: memFree=1732000/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
[pid=19060] ppid=19056 vsize=136104 CPUtime=3.08
/proc/19060/stat : 19060 (SatELite_releas) R 19056 19056 18811 0 -1 4194304 34143 0 0 0 288 20 0 0 25 0 1 0 310606815 139370496 31081 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/19060/statm: 34026 31081 76 173 0 33851 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 141460
[startup+6.30292 s]
/proc/loadavg: 1.01 0.99 1.00 2/67 19061
/proc/meminfo: memFree=1718752/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=0
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310606814 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19056/statm: 1339 237 197 169 0 50 0
[pid=19060] ppid=19056 vsize=137084 CPUtime=6.28
/proc/19060/stat : 19060 (SatELite_releas) R 19056 19056 18811 0 -1 4194304 36938 0 0 0 606 22 0 0 25 0 1 0 310606815 140374016 31426 1992294400 134512640 135223648 4294956128 18446744073709551615 134586715 0 0 4096 3 0 0 0 17 1 0 0
/proc/19060/statm: 34271 31426 76 173 0 34096 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 142440
[startup+12.7016 s]
/proc/loadavg: 1.01 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1779808/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=47004 CPUtime=3.35
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 11132 0 0 0 330 5 0 0 25 0 1 0 310607748 48132096 11085 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 11751 11085 77 171 0 11578 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 52360
[startup+25.5011 s]
/proc/loadavg: 1.01 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1778720/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=48508 CPUtime=16.14
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 11481 0 0 0 1608 6 0 0 25 0 1 0 310607748 49672192 11434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 12127 11434 77 171 0 11954 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 53864
[startup+51.102 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1774048/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=53260 CPUtime=41.74
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 12662 0 0 0 4166 8 0 0 25 0 1 0 310607748 54538240 12615 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 13315 12615 77 171 0 13142 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 58616
[startup+102.306 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1762016/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=65260 CPUtime=92.92
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 15645 0 0 0 9281 11 0 0 25 0 1 0 310607748 66826240 15598 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 16315 15598 77 171 0 16142 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 70616
[startup+162.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1746656/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=80692 CPUtime=152.91
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 19503 0 0 0 15275 16 0 0 25 0 1 0 310607748 82628608 19456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 20173 19456 77 171 0 20000 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 86048
[startup+222.301 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1729440/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=97604 CPUtime=212.88
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 23752 0 0 0 21267 21 0 0 25 0 1 0 310607748 99946496 23705 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 24401 23705 77 171 0 24228 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 102960
[startup+282.301 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1711648/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=115616 CPUtime=272.86
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 28215 0 0 0 27260 26 0 0 25 0 1 0 310607748 118390784 28168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 28904 28168 77 171 0 28731 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 120972
[startup+342.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1694624/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=132252 CPUtime=332.84
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 32405 0 0 0 33252 32 0 0 25 0 1 0 310607748 135426048 32358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 33063 32358 77 171 0 32890 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 137608
[startup+402.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1676960/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=149948 CPUtime=392.82
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 36824 0 0 0 39245 37 0 0 25 0 1 0 310607748 153546752 36777 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 37487 36777 77 171 0 37314 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 155304
[startup+462.302 s]
################
# More data... #
################
/proc/19062/statm: 48887 48154 77 171 0 48714 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 200904
[startup+642.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1616096/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=210232 CPUtime=632.74
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 51863 0 0 0 63220 54 0 0 25 0 1 0 310607748 215277568 51816 1992294400 134512640 135215339 4294956240 18446744073709551615 134738079 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 52558 51816 77 171 0 52385 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 215588
[startup+702.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1602400/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=223836 CPUtime=692.71
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 55283 0 0 0 69212 59 0 0 25 0 1 0 310607748 229208064 55236 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 55959 55236 77 171 0 55786 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 229192
[startup+762.305 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1589408/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=236528 CPUtime=752.7
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 58469 0 0 0 75208 62 0 0 25 0 1 0 310607748 242204672 58422 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 59132 58422 77 171 0 58959 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 241884
[startup+822.301 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1573920/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=251996 CPUtime=812.68
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 62359 0 0 0 81202 66 0 0 25 0 1 0 310607748 258043904 62312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 62999 62312 77 171 0 62826 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 257352
[startup+882.301 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1561632/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=264444 CPUtime=872.66
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 65378 0 0 0 87196 70 0 0 25 0 1 0 310607748 270790656 65331 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 66111 65331 77 171 0 65938 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 269800
[startup+942.302 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1548896/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=277256 CPUtime=932.64
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 68586 0 0 0 93190 74 0 0 25 0 1 0 310607748 283910144 68539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 69314 68539 77 171 0 69141 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 282612
[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1535392/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=290592 CPUtime=992.62
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 71907 0 0 0 99184 78 0 0 25 0 1 0 310607748 297566208 71860 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 72648 71860 77 171 0 72475 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 295948
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1523424/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=302488 CPUtime=1052.61
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 74910 0 0 0 105179 82 0 0 25 0 1 0 310607748 309747712 74863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 75622 74863 77 171 0 75449 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 307844
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1509344/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=316380 CPUtime=1112.59
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 78376 0 0 0 111174 85 0 0 25 0 1 0 310607748 323973120 78329 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 79095 78329 77 171 0 78922 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 321736
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1498336/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=327356 CPUtime=1172.57
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 81123 0 0 0 117169 88 0 0 25 0 1 0 310607748 335212544 81076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 81839 81076 77 171 0 81666 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 332712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1493984/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=331452 CPUtime=1190.77
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 82148 0 0 0 118987 90 0 0 25 0 1 0 310607748 339406848 82101 1992294400 134512640 135215339 4294956240 18446744073709551615 134532915 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 82863 82101 77 171 0 82690 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 336808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 0.99 1.00 2/67 19062
/proc/meminfo: memFree=1493984/2055920 swapFree=4177460/4192956
[pid=19056] ppid=19054 vsize=5356 CPUtime=9.31
/proc/19056/stat : 19056 (SatELiteGTI) S 19054 19056 18811 0 -1 4194304 336 42851 0 0 0 0 897 34 16 0 1 0 310606814 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19056/statm: 1339 239 197 169 0 50 0
[pid=19062] ppid=19056 vsize=331452 CPUtime=1190.77
/proc/19062/stat : 19062 (minisat_static) R 19056 19056 18811 0 -1 4194304 82148 0 0 0 118987 90 0 0 25 0 1 0 310607748 339406848 82101 1992294400 134512640 135215339 4294956240 18446744073709551615 134532915 0 0 4096 3 0 0 0 17 1 0 0
/proc/19062/statm: 82863 82101 77 171 0 82690 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 336808
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19056 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=978635
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=352946
# CPU time returned by wait4() is 9.33158
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1198.84
CPU system time (s): 1.24
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 336808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.97864
system time used= 0.352946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43187
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 17
runsolver used 1.14582 second user time and 3.2925 second system time
The end
Begin job on node32 at 2009-05-20 15:22:17
IDJOB=1833879
IDBENCH=71013
IDSOLVER=671
FILE ID=node32/1833879-1242825735
PBS_JOBID= 9322548
Free space on /tmp= 66228 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-5p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833879-1242825735/watcher-1833879-1242825735 -o /tmp/evaluation-result-1833879-1242825735/solver-1833879-1242825735 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833879-1242825735.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c530016627d60451f148c386bba0e9bf
RANDOM SEED=1655602596
node32.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.216
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.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1850320 kB
Buffers: 26564 kB
Cached: 106464 kB
SwapCached: 8548 kB
Active: 43168 kB
Inactive: 99940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1850320 kB
SwapTotal: 4192956 kB
SwapFree: 4177460 kB
Dirty: 24268 kB
Writeback: 0 kB
Mapped: 14288 kB
Slab: 48272 kB
Committed_AS: 1133652 kB
PageTables: 1492 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= 66200 MiB
End job on node32 at 2009-05-20 15:42:19